[論文レビュー] 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¹下界を導出する。安定性または凸性を満たす正の解が存在しないことを示すLiouville型定理を確立し、次元n > 2において特定の条件下で成立する。また、移動平面法と積分推定を用いて対称性およびコンパクト性に関する結果を証明する。

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 = u^τ (τ ≤ 0) の正のC²解について、uと|x|を用いた局所的勾配推定を導出し、球体内で |∇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 τ < 0 である Δu = u^τ の正の解について、鋭い局所的勾配推定は何か？
• RQ2 Δu = u^τ がRⁿまたはRⁿ₊で正の凸解をもたない条件は何か？
• RQ3 有界な凸領域における正の凸解に対して、一様な正の下界を得ることは可能か？
• RQ4 境界データが有界である正の解の列のコンパクト性および正則性に関する挙動は何か？
• RQ5 負の指数を伴う関連する積分方程式において、解の対称性および単調性の性質はどのように生じるか？

主な発見

• 局所的勾配推定が確立された：x ∈ B_R(x₀) ⊂ Ω に対して |∇u(x)|² ≤ C(R) u(x)² + u(x)^{1+τ} が成り立ち、τ = -1 の場合に明示的な制御が可能である。
• τ = -1 かつ境界データが有界であるとき、解の列はコンパクト集合上で一様にリプシッツ的であり、自由境界問題のリプシッツ的弱解への収束を示唆する。
• L¹下界が証明された：任意の正の弱解に対して ∫_{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 を満たす。