[論文レビュー] Existence and symmetry results for a Schrödinger type problem involving the fractional Laplacian

Serena Dipierro, Giampiero Palatucci+1 more|arXiv (Cornell University)|Feb 2, 2012

Nonlinear Partial Differential Equations参考文献 23被引用数 198

ひとこと要約

本稿は、$\mathbb{R}^N$ 上の分数階ラプラシアン $(-\Delta)^s$ を含む分数階シュレーディンガー方程式の正の解の存在および径対称性を、分数階ソボレフ空間 $H^s(\mathbb{R}^N)$ 上での制約付き最小化手法を用いて確立する。主な結果は、$p \in \left(1, \frac{N+2s}{N-2s}\right)$ の範囲でグランドステート解の存在であり、$s=1$ の古典的局所ケースと類似した対称性と減衰性質を示す。解析は局所的状況から非局所的状況への変分法の拡張を図り、臨界ソボレフ指数 $2^*_s = \frac{2N}{N-2s}$ において古典的結果と整合性を保つ。証明は一様有界性、弱収束、およびファトウの補題と比較補題の精密な応用に依拠し、エネルギー汎関数の収束と制約の保存を保証する。

ABSTRACT

This paper deals with the following class of nonlocal Schrödinger equations $$ \displaystyle (-Δ)^s u + u = |u|^{p-1}u \ \ ext{in} \ \mathbb{R}^N, \quad ext{for} \ s\in (0,1). $$ We prove existence and symmetry results for the solutions $u$ in the fractional Sobolev space $H^s(\mathbb{R}^N)$. Our results are in clear accordance with those for the classical local counterpart, that is when $s=1$.

研究の動機と目的

• 局所的状況（$s=1$）における非線形シュレーディンガー型方程式の存在および対称性結果を、非局所的分数階ラプラシアン設定（$s \in (0,1)$）に拡張すること。
• 方程式 $(-\Delta)^s u + u = |u|^{p-1}u$ に対して、分数階ソボレフ空間 $H^s(\mathbb{R}^N)$ 内に正で径対称な解の存在を確立すること。
• その解が、$L^{p+1}$-ノルムに関連する制約の下でエネルギー汎関数を最小化することを証明すること。
• 非局所問題の臨界指数が $p = \frac{N+2s}{N-2s} - 1 = 2^*_s - 1$ に一致することを確認すること。

提案手法

• エネルギー汎関数 $\mathcal{E}(u)$ の制約付き最小化問題を、$H^s(\mathbb{R}^N)$ 上に定式化し、ガリャルド半ノルムおよび $L^2$ と $L^{p+1}$ ノルムを含む。
• 非負で径対称かつ単調減少な関数からなる最小化列 $\{u_n\}$ を構成し、$L^2$ および $L^{2N/(N-2s)}$ ノルムにおいて一様有界性を保証する。
• 分数階ポリヤ＝シュボの不等式（補題 2.4）を適用し、点ごとの減衰推定 $|u_n(x)| \leq C|x|^{-N/2}$ を得て、等積分可能性および無限遠における一様消滅性を示す。
• 弱収束性 $H^s(\mathbb{R}^N)$ 内とほとんど everywhere 収束を用いて極限に移行し、弱極限 $\overline{u}$ が径対称性と単調性を引き継ぐことを得る。
• 補題 2.5 を用いて非線形項 $G_1(u_n) = \frac{1}{p+1}|u_n|^{p+1}$ の収束を制御し、成長条件 $p < \frac{N+2s}{N-2s}$ と $Q(t) = t^2 + |t|^{2N/(N-2s)}$ との比較に依拠する。
• ファトウの補題とスケーリング論法を用いて、極限 $\overline{u}$ が制約 $\int_{\mathbb{R}^N} G(\overline{u}) \, dx = 1$ を満たし、半ノルムの下界を達成することを示し、最小化子（したがって解）であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的局所シュレーディンガー方程式（$s=1$）における存在および対称性結果は、非局所的分数階ラプラシアン設定（$s \in (0,1)$）に拡張可能か？
• RQ2 非自明な解が $H^s(\mathbb{R}^N)$ 内に存在するためのべき乗 $p$ の正確な範囲は何か？ また、臨界ソボレフ指数 $2^*_s = \frac{2N}{N-2s}$ とどのように関係するか？
• RQ3 制約付き最小化に基づく変分法は非局所状況に適応可能か？ また、径対称性および無限遠での減衰性を持つ解が得られるか？
• RQ4 この方法で得られた解はグランドステートか？ また、エネルギー汎関数に関連するオイラー＝ラグランジュ方程式を満たすか？
• RQ5 減衰性質および最小化列に対する一様有界性が、収束および制約の保存を保証するためにどのように寄与するか？

主な発見

• 分数階シュレーディンガー方程式 $(-\Delta)^s u + u = |u|^{p-1}u$ に対して、$p \in \left(1, \frac{N+2s}{N-2s}\right)$ の範囲で正で径対称な解 $u \in H^s(\mathbb{R}^N)$ が存在する。
• その解はグランドステートであり、制約 $\int_{\mathbb{R}^N} |u|^{p+1} \, dx = 1$ の下でエネルギー汎関数を最小化するため、関連する変分問題の臨界点である。
• 上界 $p < \frac{N+2s}{N-2s}$ は正確に臨界ソボレフ指数 $2^*_s = \frac{2N}{N-2s}$ に対応し、埋め込み $H^s(\mathbb{R}^N) \hookrightarrow L^{p+1}(\mathbb{R}^N)$ が連続であり、非線形項が適切に定義されることを保証する。
• 最小化列 $\{u_n\}$ は $L^2(\mathbb{R}^N)$ および $L^{2N/(N-2s)}(\mathbb{R}^N)$ において一様有界であり、$|u_n(x)| \leq C|x|^{-N/2}$ を満たすため、無限遠における一様減衰性を示す。
• 弱収束部分列の極限 $\overline{u}$ は径対称性と単調性を引き継ぎ、$\int_{\mathbb{R}^N} G(\overline{u}) \, dx = 1$ を満たす。ここで $G(t) = \frac{1}{p+1}|t|^{p+1}$ である。
• スケーリングによる背理法により、制約が極限で正確に保存され、解が自明でないことが示され、$H^s(\mathbb{R}^N)$ 内に非自明な最小化子が存在することを確認する。