[論文レビュー] Qualitative properties of singular solutions to semilinear elliptic problems

Francesco Esposito, Alberto Farina+1 more|arXiv (Cornell University)|Feb 8, 2018

Nonlinear Partial Differential Equations参考文献 22被引用数 27

ひとこと要約

本稿では、移動平面法を用いて、特異非線形項を有する半線形楕円型方程式の正の特異解の対称性および単調性に関する性質を確立する。非線形項および特異集合に関してやや弱い正則性および構造的仮定の下で、解が超平面に関して対称であり、対称軸に向かって厳密に増加していることを示す。これは、解が孤立的または低次元の特異点を有する場合でも、2-容量がゼロである場合に成立する。

ABSTRACT

We consider positive singular solutions to semilinear elliptic problems with possibly singular nonlinearity. We deduce symmetry and monotonicity properties of the solutions via the moving plane procedure.

研究の動機と目的

• 特異非線形項を有する半線形楕円型方程式の正の特異解の定性的性質（特に対称性および単調性）を調査すること。
• 解が2-容量がゼロである閉集合Γ上で特異性を示す状況にまで移動平面法を拡張すること。
• 非線形項が特異的であっても、解が完全なH¹正則性を欠く場合でも、解が対称的であり、対称軸方向に厳密に増加することを確立すること。
• 非線形項に特定の形（例：1/u^α）を要求しないで、局所リプシッツ連続性（上からの）のみを仮定することで、先行研究の結果を一般化すること。
• 特異集合が点または2-容量がゼロの低次元部分空間である場合、解が中心対称（k=0の場合）またはその部分空間を固定する回転に関して対称（k≥1の場合）であることを示すこと。

提案手法

• 移動平面法を、超平面{x₁ = 0}に関して対称で有界な凸領域に適用するが、特異集合Γを有する解に対しても適用する。
• 非線形項fは条件(h_f)を満たしており、左半領域におけるx₁方向への局所的リプシッツ連続性（上からの）および単調性を保証する。
• 解はH¹_loc(Ω∖Γ) ∩ C(Ω̅∖Γ)に属すると仮定し、テスト関数がC¹_c(Ω∖Γ)に属する関数との積分による弱い意味での方程式を解釈する。
• 証明は背理法に依拠しており、平面を対称軸を越えて移動できると仮定すると、エネルギー推定およびソボレフ不等式により矛盾が生じる。
• 重要な技術的ステップとして、解を切り詰め、uとその反射との差の正の部分を含むテスト関数を、切り捨て関数と組み合わせて用いる。
• 特異集合Γがn ≥ 3ではℝⁿにおける2-容量がゼロであり、n = 2では点であることに着目し、移動平面プロセス中に解が関連領域で適切に定義され、正則性を保つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 半線形楕円型方程式の特異解に移動平面法を適用できる条件は何か？
• RQ2 2-容量がゼロである特異集合Γの存在が、解の対称性および単調性に与える影響は何か？
• RQ3 非線形項が1/u^αのような特定の形ではなく、局所的リプシッツ連続性（上からの）のみを満たす場合に、移動平面法を拡張できるか？
• RQ4 特異集合が点または低次元閉集合である場合、解にどのような定性的性質（対称性、単調性）が得られるか？
• RQ5 特異集合が次元≤ n−2のアフィン部分空間である場合、解の対称性結果をどの程度一般化できるか？

主な発見

• 領域が凸かつ超平面{x₁ = 0}に関して対称であり、特異集合Γがこの超平面上にある場合、半線形楕円型問題の解は超平面{x₁ = 0}に関して対称である。
• 領域Ω ∩ {x₁ < 0}において、解はx₁方向に厳密に増加しており、この領域でu_{x₁} > 0が成り立つ。
• 解が境界に近づいてもH¹正則性を欠いても、非線形項が(h_f)を満たし、特異集合の2-容量がゼロであれば、移動平面法が正当に適用可能である。
• ℝⁿ∖Γにおける臨界ソボレフ指数問題−Δu = u^{2^*-1}に対して、無限遠点でのsummabilityや特異集合の滑らかさを仮定せずとも、対称性結果が得られる。
• 特異集合が点（k=0）またはk次元アフィン部分空間（1 ≤ k ≤ n−2）である場合、解は中心対称（k=0）またはその部分空間を固定する回転に関して対称（k≥1）であり、特異集合の2-容量がゼロであれば成立する。
• 特異集合が次元≤ n−2のアフィン部分空間である場合、解の対称性結果は、x₁方向にのみ凸である領域に対しても一般化可能であり、境界断面{x₁ = λ}が2-容量ゼロ、または2次元では離散的であれば成立する。