[论文解读] Positive radial solutions for the Minkowski-curvature equation with Neumann boundary conditions

Alberto Boscaggin, Francesca Colasuonno+1 more|arXiv (Cornell University)|Jun 15, 2018

Nonlinear Partial Differential Equations被引用 10

一句话总结

该论文通过等价常微分方程组的射击法，证明了在环形或球形区域中，具有诺伊曼边界条件的闵可夫斯基曲率方程至少存在 2k 个不同的非平凡正常解。关键贡献在于无需非线性项的次临界性条件即可证明解的多重性，这得益于闵可夫斯基算子的奇异结构，其确保了速度项有界，从而允许具有与常数解 s₀ 预定交点数的振荡解存在。

ABSTRACT

We analyze existence, multiplicity and oscillatory behavior of positive radial solutions to a class of quasilinear equations governed by the Lorentz-Minkowski mean curvature operator. The equation is set in a ball or an annulus of $\\mathbb R^N$, is subject to homogeneous Neumann boundary conditions, and involves a nonlinear term on which we do not impose any growth condition at infinity. The main tool that we use is the shooting method for ODEs.

研究动机与目标

• 建立在径向区域中具有齐次诺伊曼边界条件的闵可夫斯基曲率方程的正径向解的存在性与多重性。
• 通过统计解与常数解 s₀ 的交点数，分析解的振荡行为。
• 消除在拉普拉斯或 p-拉普拉斯情形下通常所需的对 f 的次临界增长条件。
• 证明闵可夫斯基算子的奇异结构可使速度有界，从而在一般非线性条件下仍能保证存在满足 u(R₁) > s₀ 的解。
• 通过相平面中围绕 (s₀, 0) 的半圈数来刻画解，将其与振荡次数关联。

提出的方法

• 将偏微分方程转化为等价的径向形式常微分方程组：u′ = v / (r^{N-1} √(1 + (v/r^{N-1})²))，v′ = -r^{N-1} f(u)。
• 通过变化初始值 d = u(R₁) ≠ s₀ 应用射击法，并在 (u, v) 相平面中追踪解轨迹。
• 引入以 (s₀, 0) 为中心的类极坐标 (θd, ρd)，以追踪角度演化并计算围绕平衡点的半圈数。
• 利用常微分方程的比较定理，基于特征值条件 f′(s₀) > λrad_{k+1} 估计 θd(R₂) − θd(R₁)。
• 利用闵可夫斯基算子带来的 |u′| ≤ 1 的有界性，推导出对 d 的先验估计，从而保证存在满足 u(R₁) > s₀ 的解。
• 证明解映射 d ↦ θd(R₂) 的连续性，以应用介值定理，定位恰好具有 j 个半圈数的解。

实验结果

研究问题

• RQ1 能否将拉普拉斯算子下具有预设振荡模式的解的多重性结果推广至闵可夫斯基曲率算子？
• RQ2 闵可夫斯基算子的奇异结构是否可消除对 f 的次临界性条件要求，以保证存在满足 u(R₁) > s₀ 的解？
• RQ3 u(r) 与 s₀ 的交点数如何与径向诺伊曼拉普拉斯算子的特征值 λrad_{k+1} 相关联？
• RQ4 射击法能否被适配至拟线性闵可夫斯基曲率设定中，以刻画振荡解？
• RQ5 |u′| 的有界性在何种程度上使无需对 f 的增长施加限制即可实现先验估计？

主要发现

• 对于任意满足 f′(s₀) > λrad_{k+1} 的整数 k ≥ 1，方程 (1.1) 至少存在 2k 个不同的非平凡径向解。
• 在相同条件下，存在满足 u(R₁) < s₀ 的解（前 k 个）和满足 u(R₁) > s₀ 的解（后 k 个），且无需次临界性假设。
• 对于 j = 1, ..., k，uj(r) − s₀ 在 (R₁, R₂) 内的零点数恰好为 j，uj+k(r) − s₀ 同样如此。
• 角变量 θd(R₂) − θd(R₁) 计数围绕 (s₀, 0) 的半圈数，其值等于与 s₀ 的交点数。
• 条件 f′(s₀) > λrad_{k+1} 确保从 s₀ 附近出发的解旋转超过 kπ 弧度，从而保证存在 j 个交点的解。
• 闵可夫斯基算子速度项的有界性（|u′| ≤ 1）提供了对 d 的先验控制，使得在 f 于无穷远处无增长限制下仍可获得存在性结果。