[论文解读] Properties of positive solutions of an Elliptic Equation with negative exponents

Li Ma, Juncheng Wei|ArXiv.org|Jun 14, 2007

Nonlinear Partial Differential Equations参考文献 10被引用 3

一句话总结

本文研究带负指数的奇异椭圆方程的正解，推导出解的精确局部梯度估计与 L¹ 下界。在特定条件下，建立了表明在 n > 2 维中不存在稳定或凸的正解的 Liouville 型定理，并通过移动平面法与积分估计证明了解的对称性与紧致性结果。

ABSTRACT

In this paper, we study the existence and non-existence result of positive solutions to a singular elliptic equation with negative power on the bounded smooth domain or in the whole Euclidean space. Our model arises in the study of the steady states of thin films and other applied physics. We can get some useful local gradient estimate and L1 lower bound for positive solutions of the elliptic equation. A uniform positive lower bound for convex positive solutions is also obtained. We show that in lower dimensions, there is no stable positive solutions in the whole space. In the whole space of dimension two, we can show that there is no positive smooth solution with finite Morse index. Symmetry properties of related integral equations are also given.

研究动机与目标

• 推导奇异椭圆方程 Δu = u^τ（τ < 0）的正解的局部梯度估计与 L¹ 下界。
• 研究有界区域与整个空间中正解的存在性、非存在性及对称性性质。
• 在 n > 2 维与上半空间中，证明凸解的 Liouville 型结果。
• 对具有有界边界数据的解序列，推导紧致性与正则性结果。
• 通过带权核的移动平面法，将对称性结果推广至相关的积分方程。

提出的方法

• 以 u 与 |x| 表示 Δu = u^τ（τ ≤ 0）的正 C² 解的局部梯度估计，得到球体内形式为 |∇u|² ≤ C u² + u^{1+τ} 的界。
• 应用测试函数法证明 L¹ 下界：对任意正弱解，有 ∫_{B_R(x₀)} u ≥ C(n,τ) R^{n + 2/(1−τ)}。
• 在带权核的积分方程上应用移动平面法，证明解的对称性与单调性。
• 利用双重加权 Hardy-Littlewood-Sobolev 不等式控制移动平面论证中的积分项。
• 通过球对称平均应用比较论证与 ODE 技巧，在流形上推导 L¹ 下界。
• 在 Rⁿ 中建立正解的全局上界：u(x) ≤ C(n)(|x|² + 1)，并获得相应的梯度控制。

实验结果

研究问题

• RQ1 对于 Δu = u^τ（τ < 0）的正解，其精确的局部梯度估计为何？
• RQ2 在 Rⁿ 或 Rⁿ₊ 中，方程 Δu = u^τ 在何种条件下不承认正凸解？
• RQ3 能否在有界凸区域中对正凸解获得一致的正下界？
• RQ4 具有有界边界数据的正解序列在紧致性与正则性方面表现出何种行为？
• RQ5 在相关积分方程中，负指数下解的对称性与单调性性质如何产生？

主要发现

• 建立了局部梯度估计：对任意 x ∈ B_R(x₀) ⊂ Ω，有 |∇u(x)|² ≤ C(R) u(x)² + u(x)^{1+τ}，且当 τ = -1 时可显式控制。
• 当 τ = -1 且边界数据有界时，解序列在紧子集上一致为利普希茨连续，表明其收敛于某自由边界问题的利普希茨弱解。
• 证明了 L¹ 下界：对任意 Δu = u^τ 的正弱解，有 ∫_{B_R(x₀)} u ≥ C(n,τ) R^{n + 2/(1−τ)}。
• 在 Rⁿ 中，当 n > 2 且 τ ≤ -1 - 2n/(n-2) 时，不存在正凸解，从而确立了 Liouville 型非存在性结果。
• 在相同 τ 条件下，对凸区域 Ω 中的正凸解，获得了统一的正下界 C(Ω)。
• 对于方程 Δu = 1 在 Rⁿ 中，所有正解均为形如 a₀ + ∑ aⱼxⱼ² 的二次多项式，其中 a₀ > 0，aⱼ ≥ 0，且 2∑aⱼ = 1。