[論文レビュー] Symmetry results in the half space for a semi-linear fractional Laplace equation through a one-dimensional analysis

Begoña Barrios, Leandro M. Del Pezzo+2 more|arXiv (Cornell University)|Apr 9, 2017

Nonlinear Partial Differential Equations参考文献 30被引用数 4

ひとこと要約

本稿は、半空間における非線形分数階ラプラシアン方程式の有界解について、1次元解析のアプローチを用いて対称性および1次元構造に関する結果を確立する。有界解がその上界 ρ を達成し、f(ρ) = 0 を満たす場合、解は必ず1次元的であることが示され、粘性解理論と比較原理を用いて、古典的な対称性結果が非局所的分数階設定へと拡張される。

ABSTRACT

In this paper we analyze the semi-linear fractional Laplace equation $$(-Δ)^s u = f(u) \quad ext{ in } \mathbb{R}^N_+,\quad u=0 \quad ext{ in } \mathbb{R}^N\setminus \mathbb{R}^N_+,$$ where $\mathbb{R}^N_+=\{x=(x',x_N)\in \mathbb{R}^N:\ x_N>0\}$ stands for the half-space and $f$ is a locally Lipschitz nonlinearity. We completely characterize one-dimensional bounded solutions of this problem, and we prove among other things that if $u$ is a bounded solution with $ρ:=\sup_{\mathbb{R}^N}u$ verifying $f(ρ)=0$, then $u$ is necessarily one-dimensional.

研究の動機と目的

• 半空間 ℝᴺ₊ における非線形分数階ラプラシアン方程式の有界かつ正の解を特徴づける。
• 局所的ラプラシアン（s=1）の場合の古典的な対称性および単調性結果を、非局所的分数階ラプラシアン（0<s<1）の設定へと拡張する。
• 有界解が上界 ρ を達成し、f(ρ)=0 を満たす場合、それが必ず1次元的であることを証明する。
• 全N次元問題を比較およびバリア関数法を用いて解明するための1次元的解析フレームワークを構築する。
• 部分および上位解の技法を用いて、非有界領域における粘性解の存在および最大性を確立する。

提案手法

• ℝ₊ における分数階ラプラシアン方程式の1次元版を解析し、有界解を特徴づける。
• 粘性解理論と比較原理を用いて、単調性および対称性の性質を確立する。
• 区間 (0,1) で (−Δ)ˢφ = 1 を満たし、(−∞,0) で0、(1,∞) で1となるバリア関数 φ を適用し、ℝᴺ₊ 内のストリップへと拡張する。
• f の切り捨てを用いた部分および上位解の技法を用い、有界性および解の存在を保証する。
• 拡大する定義域上での解の列の局所一様極限を抽出するために、コンパクト性および正則性理論を用いる。
• 文献[34, 13, 14] におけるブートストラップおよび正則性結果を用いて、有界な粘性解が古典解であることを示す。

実験結果

リサーチクエスチョン

• RQ1 半空間における分数階ラプラシアン方程式の有界解が、どのような条件下で必然的に1次元的であるか？
• RQ2 局所的ケース（s=1）における対称性結果を、非局所的分数階ケース（0<s<1）へと拡張できるか？
• RQ3 f(ρ)=0 の条件が、有界解の1次元的対称性を保証するために果たす役割は何か？
• RQ4 1次元的解析をどのように用いることで、高次元半空間における定性的性質を導けるか？
• RQ5 非有界領域におけるこの非局所的問題の粘性解の存在および最大性構造は何か？

主な発見

• 上界 ρ を達成し、f(ρ)=0 を満たす半空間における非線形分数階ラプラシアン方程式のすべての有界解は、必然的に1次元的である。
• 本稿は、ℝ₊ における1次元的有界解の完全な特徴づけを確立する。
• xₙ 方向における単調性は、f(0)<0 であっても、1次元的解析から引き継がれる。
• バリア関数とコンパクト性の議論を用いて、ℝᴺ₊ 内で部分および上位解の間の最大粘性解が存在する。
• f の切り捨ておよび拡大領域における極限過程において解構造が保存され、非有界設定でも存在が保証される。
• 本結果は、局所的ケース（s=1）における古典的対称性結果を、非局所的分数階設定（0<s<1）へと一般化する。