[論文レビュー] Uniqueness and nondegeneracy of positive solutions of $\Ds u+u=u^p$ in $\R^N$ when $s$ is close to 1

Mouhamed Moustapha Fall, Enrico Valdinoci|arXiv (Cornell University)|Jan 21, 2013

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

ひとこと要約

本稿は、$s$ が 1 に十分近い場合、$\mathbb{R}^N$ 上の分数階楕円型方程式 $(-\Delta)^s u + u = u^p$ の正の径対称解の一意性と非退化性を確立する。コンパクト性と分岐論法を用いて、関連エネルギー汎関数の2次変分の核が解の空間微分によってちょうど張られることが示され、$s \to 1^-$ の極限において、平行移動を除いて一意性と非退化性が保証される。

ABSTRACT

We consider the equation $\Ds u+u=u^p$, with $s\in(0,1)$ in the subcritical range of $p$. We prove that if $s$ is sufficiently close to 1 the equation possesses a unique minimizer, which is nondegenerate.

研究の動機と目的

• 分数階方程式 $(-\Delta)^s u + u = u^p$ が $\mathbb{R}^N$ で $s$ が 1 に近い場合の正の径対称解の一意性を確立すること。
• エネルギー汎関数の2次変分の核を特徴づけることで、解の非退化性を証明すること。
• 局所的状況（$s=1$）と非局所的分数階状況（$s<1$）の間のギャップを、連続的依存性の議論によって埋めること。
• $s$ を 1 に近い値にわずかに摂動させたとき、解の対称性と正則性が保たれることを示すこと。

提案手法

• エネルギー汎関数 $J_s(u, \nu)$ を $L^{p+1}$-ノルムの制約の下で最小化する変分的枠組みを用いる。
• 集中・緊密性の原理と径対称性を適用し、$H^s_{\text{rad}}(\mathbb{R}^N)$ 内に最小化子 $u_s$ の存在を保証する。
• $s=1$ の近傍における摂動論法を用い、$s \in (s_0,1)$ を局所的状況からの小さなパラメータのずれとみなす。
• 線形化問題から導かれる非線形作用素方程式に対して、バナッハの不動点定理を適用し、$s=1$ 解に対する補正項 $\omega_s$ の存在と一意性を証明する。
• 陰関数定理と $H^s$-ノルムにおける一様推定を用いて、解が $s$ に依存する様子を制御し、$s \to 1^-$ での収束を保証する。
• $s$ が 1 に近い場合、2次変分 $J_s''(u_s, \nu_s)$ の核が $\partial_i u_s$ の線型包によってちょうど張られるという事実に依拠し、非退化性を証明する。

実験結果

リサーチクエスチョン

• RQ1 分数階ラプラシアンの非局所性にもかかわらず、$s$ が 1 に近いとき、$\mathbb{R}^N$ 上の $(-\Delta)^s u + u = u^p$ の正の径対称解は一意に保たれるか？
• RQ2 エネルギー汎関数の2次変分の核が、解の空間微分の線型包にちょうど一致するという意味で、解は非退化的か？
• RQ3 $s=1$ の局所的状況からの連続的変形によって、$s$ に近い領域での解構造を得られるか？
• RQ4 $s \to 1^-$ のとき、解の正則性と一意性が分数階パラメータ $s$ にどのように依存するか、正確に特定できるか？

主な発見

• 十分に 1 に近い $s_0 \in (0,1)$ をとると、任意の $s \in (s_0, 1)$ に対して、$(-\Delta)^s u + u = u^p$ の正の径対称解は平行移動を除いて一意である。
• 2次変分 $J_s''(u_s, \nu_s)$ の核はちょうど $\text{span}\{\partial_i u_s \}_{i=1}^N$ に一致し、解の非退化性が証明される。
• $s \to 1^-$ のとき、解 $u_s$ は $H^s(\mathbb{R}^N)$-ノルムで $s=1$ の解 $U_1$ に収束し、$\|u_s - U_1\|_s \to 0$ となる。
• 展開 $u_s = U_1 + \omega_s$ の補正項 $\omega_s$ は、$\|\omega_s\|_s \leq r_0 \max\{1-s, |\nu_1 - \nu_s|\}$ を満たし、$s \to 1^-$ において一様な制御が得られる。
• 解は $s$ の小さな摂動に対して安定であり、不動点論法により、$H^s_{\text{rad}}(\mathbb{R}^N)$ の小さな球内に $\omega_s$ の存在と一意性が保証される。
• $s \in (s_0, 1)$ に対して非退化性の結果は一様に成り立つため、予期される平行移動モード以外の非自明なジャコビ場は存在しない。