[論文レビュー] Semilinear equations involving the fractional Laplacian on domains

Wenxiong Chen, Yanqin Fang+1 more|arXiv (Cornell University)|Sep 28, 2013

Nonlinear Partial Differential Equations参考文献 25被引用数 16

ひとこと要約

この論文は、Caffarelli-Silvestre拡張を避けるためにグリーン関数を用いた直接的な積分表現を用いて、単位球および半空間上での半線形分数階ラプラシアン方程式を研究する。単位球上では正の解の径対称性と単調性を確立し、非線形性 f(u) にやや弱い条件を課したもとで、半空間上では積分形の移動平面法を用いて正の解の非存在性を証明する。

ABSTRACT

Applying the method of moving planes in integral forms, we establish radial symmetry for positive solutions to a class of semilinear equations involving the fractional Laplacian in the unit ball and obtain Liouville type theorems concerning the non-existence of positive solutions in the half space. The regularity of solutions are also investigated.

研究の動機と目的

• 単位球上での半線形分数階ラプラシアン方程式の正の解の径対称性と単調性を確立すること。
• 非線形性に適切な条件を課したもとで、半空間上での正の解の非存在性を証明すること。
• Caffarelli-Silvestre拡張法の代替手段として、グリーン関数を含む積分表現に直接的に基づく方法を提供すること。
• 有界および非有界領域における分数階楕円型方程式の解の正則性および定性的性質を調査すること。
• 境界を持つ領域上での分数階ラプラシアン設定への積分形の移動平面法の拡張を試みること。

提案手法

• 領域内でのグリーン関数 $ G(x,y) $ を用いて、分数階ラプラシアン問題を等価な積分方程式に定式化する。
• 単位球上での解の対称性と単調性を証明するために、積分形の移動平面法を用いる。
• 解析の中心方程式として、積分表現 $ u(x) = \int_{\Omega} G(x,y) f(u(y)) \, dy $ を用いる。
• 半空間におけるグリーン関数の漸近的推定を用いて、解の減衰および成長特性を導出する。
• 比較および反復技法を用いて、解の成長に関する下界を導出し、非存在性証明における矛盾に至る。
• テスト関数が $ C_0^\infty(\Omega) $ に属する関数との双対性を用いて分布的解を定義し、弱解が適切に定義されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 単位球上での分数階ラプラシアン方程式の正の解が、どのような条件下で原点を中心とする径対称性と単調減少性を示すか？
• RQ2 積分形の移動平面法は、有界領域上での分数階ラプラシアンに成功裏に適用可能か？
• RQ3 半空間上での半線形分数階ラプラシアン方程式に対して、正の解が存在しないための十分条件は何か？
• RQ4 半空間上でのグリーン関数の振る舞いは、解の減衰および成長にどのように影響するか？
• RQ5 分数階ラプラシアン方程式の解は、非線形性および領域の幾何構造からどのような正則性性質を引き継ぐか？

主な発見

• 非線形性 $ f $ にやや弱い条件を課したもとで、単位球上での方程式 $ (-\Delta)^{\alpha/2}u = f(u) $ の正の解は原点を中心に径対称的かつ厳密に単調減少である。
• Caffarelli-Silvestre拡張に依存せずに、積分形の移動平面法が正しく対称性と単調性を確立した。
• 非線形性 $ f(u) = u^p $ のもとで、$ p \leq \frac{n+\alpha}{n-\alpha} $ のとき半空間上に非正の解が存在し、$ p > \frac{n+\alpha}{n-\alpha} $ のとき非存在性が成立する。
• 半空間上での $ f(u) = u^p $ の場合、反復的な下界を用いて、$ p > \frac{n+\alpha}{n-\alpha} $ のとき正の解が存在しないことを証明する。
• 大きな $ x_n $ に対して、半空間上での解は $ u(x_n) \geq C x_n^{p^m(\alpha/2 - 1) + \frac{p^m - 1}{p - 1}\alpha} $ を満たし、減衰推定と矛盾を生じる。
• 非存在性の証明は、$ u^p(x_n)x_n^{\alpha/2} $ の成長率が 0 に近づく必要があるが、正の定数で下から抑えられることから、矛盾を導く。