[論文レビュー] On the uniqueness of solutions of an nonlocal elliptic system

Kelei Wang, Juncheng Wei|arXiv (Cornell University)|Mar 10, 2014

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

ひとこと要約

本稿では、1次元における分数ラプラシアンを含む非局所楕円系に対して、平行移動およびスケーリングを除き正の解が一意であることを確立する。解の多項式的境界を証明し、Almgrenのモナリティック公式および移動平面法を適用することで、すべての解が1次元的プロファイルであることが示され、局所的状況における既知の結果が非局所的状況における分数拡散へと拡張される。

ABSTRACT

We consider the following elliptic system with fractional laplacian $$ -(-Δ)^su=uv^2,\ \ -(-Δ)^sv=vu^2,\ \ u,v>0 \ \mbox{on}\ \R^n,$$ where $s\in(0,1)$ and $(-Δ)^s$ is the $s$-Lapalcian. We first prove that all positive solutions must have polynomial bound. Then we use the Almgren monotonicity formula to perform a blown-down analysis to $s$-harmonic functions. Finally we use the method of moving planes to prove the uniqueness of the one dimensional profile, up to translation and scaling.

研究の動機と目的

• 1次元における分数ラプラシアンを含む非局所楕円系に対する正の解の一意性を確立すること。
• 局所的ラプラシアンの場合における1次元的プロファイルに関する既知の結果を、非局所的分数ラプラシアン設定へと拡張すること。
• blown-down 分析およびAlmgren型モナリティック公式を用いて、解の漸近的挙動を分析すること。
• 対称性および最大値原理の議論を用いて、すべての正の解が平行移動およびスケーリングを除き1次元的であることを証明すること。
• 競合種モデルにおける分数拡散の下での解の構造を理解するための厳密な基礎を提供すること。

提案手法

• エネルギーおよび減衰推定を用いて、系の正の解に対する多項式的境界を確立する。
• blown-down リミットを用いて $s$-調和関数の漸近的挙動を分析するため、Almgrenのモナリティック公式を適用する。
• 非局所的状況において移動平面法を用いて、1次元的プロファイルの対称性および一意性を証明する。
• 拡張法を用いて、分数ラプラシアンを1つ高い次元における退化する楕円型問題に関連付ける。
• 鋭い点ごとの推定を導出し、強力な最大値原理を用いて平行移動された解を比較する。
• 原点近傍における極座標での解の展開を用いて係数を比較し、対称性制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 1次元における分数ラプラシアンを含む非局所楕円系のすべての正の解は、平行移動およびスケーリングを除き一意的か？
• RQ2 分数ラプラシアンを含む非局所方程式に対して、移動平面法を適応可能か？
• RQ3 系の解の漸近的挙動は何か？ そして、それが解のプロファイルにどのような制約を課えるか？
• RQ4 Almgren型モナリティック公式および blown-down 分析は、解の分類にどのように寄与するか？
• RQ5 多項式的成長は、解の構造が1次元的プロファイルに制限される役割を果たすか？

主な発見

• 系 $-(- riangle)^s u = u v^2$, $-(- riangle)^s v = v u^2$ において、$bR^n$ 上で $s \to 1^-$ のとき、すべての正の解は多項式的成長を示す。
• Almgrenのモナリティック公式が $s$-調和関数に適用され、blown-down 分析を用いて漸近的プロファイルを分類する。
• 移動平面法が非局所的状況へとうまく拡張され、すべての解が平行移動およびスケーリングを除き1次元的であることが証明された。
• 解は反射対称性を示す：$u(x - x_0) = v(x_0 - x)$、これはプロファイルが平行移動およびスケーリングを除き一意に定まることを示唆する。
• 原点における漸近的展開の係数は $a = -b$ を満たし、これにより異なる解間での対称性および一意性が強制される。
• 多項式的成長の仮定の下で一意性結果が成り立ち、証明は平行移動された解の比較および強力な最大値原理を用いた背理法に依存する。