[論文レビュー] Non-local to local transition for ground states of fractional Schr\"{o}dinger equations on bounded domains

Bartosz Bieganowski, Simone Secchi|arXiv (Cornell University)|Jul 26, 2019

Advanced Mathematical Modeling in Engineering参考文献 15被引用数 7

ひとこと要約

本稿は、分数階シュレーディンガー方程式における非局所作用素 $(-\Delta)^s$ の指数 $s \to 1^-$ における基底状態解の収束を確立し、これらの解が $L^2(\Omega)$ で古典的局所シュレーディンガー方程式の基底状態解に収束することを示している。解析は変分法、ネハリ多様体技法、および分数ソボレフノルムの漸近的解析に依拠しており、非線形性およびポテンシャルの標準的構造的仮定の下で、部分列に沿った収束を証明している。

ABSTRACT

We show that ground state solutions to the nonlinear, fractional problem { (−∆)su + V (x)u = f(x, u) in Ω, u = 0 in RN \ Ω, on a bounded domain Ω ⊂ RN, converge (along a subsequence) in L2(Ω), under suitable conditions on f and V, to a solution of the local problem as s → 1−.

研究の動機と目的

• 分数階数 $s$ が 1 に近づく際の非局所的分数シュレーディンガー方程式の基底状態解の漸近的挙動を分析すること。
• 有界領域における基底状態の文脈で、非局所的から局所的挙動への厳密な遷移を確立すること。
• 線形のポisson問題に関する先行結果を、変分法およびネハリ多様体技法を用いて、半線形で非局所的な設定へと拡張すること。

提案手法

• 分数ソボレフ空間 $H^s_0(\Omega)$ と $s \in (1/2, 1)$ のエネルギー汎関数 $J_s$ を用いて問題を形式化する。
• エネルギーに制約を課えた $J_s$ の臨界点として基底状態を特徴付けるためにネハリ多様体法を用いる。
• 滑らかな関数に対して $\lim_{s \to 1^-} (-\Delta)^s u = -\Delta u$ であるという極限恒等式を、漸近的解析の指針として用いる。
• $L^\nu(\Omega)$ における収束を制御するため、コンパクト埋め込みおよび補間不等式を適用する。
• 背理法と一様可積分性を用いて、列 $\{u_s\}$ が $H^1_0(\Omega)$-ノルムにおいて有界であることを証明する。
• 分数ラプラシアンの収束およびバチリの収束定理を用いて、弱形式における弱収束と極限の取り扱いを確立する。

実験結果

リサーチクエスチョン

• RQ1 分数シュレーディンガー方程式の基底状態解は、$s \to 1^-$ の際に局所シュレーディンガー方程式の解に収束するか？
• RQ2 $L^2(\Omega)$ における収束は可能か？ また、非線形性およびポテンシャルにどのような条件下で成立するか？
• RQ3 極限解は局所問題の基底状態であるか？ また、エネルギー準位は極限で保存されるか？

主な発見

• 非局所問題の基底状態解 $u_s$ は、部分列に沿って $s \to 1^-$ の際に $L^2(\Omega)$ で局所問題の基底状態解 $u_0$ に収束する。
• 極限解 $u_0$ は、$\Omega$ 内で $-\Delta u + V(x)u = f(x,u)$ を弱解として満たし、境界 $\partial\Omega$ で $u_0 = 0$ を満たす。
• $\nu \in [2, 2N/(N-1))$ に対して、すべての $\nu$ において $L^\nu(\Omega)$ で収束が成立し、$L^\nu$-ノルムに一様な有界性が保証される。
• エネルギー準位 $c_s = \inf_{N_s} J_s$ は $c = \inf_N J$ に収束し、極限における基底状態エネルギーの保存が確認される。
• 極限解 $u_0$ は非自明であり、局所問題のネハリ多様体に属するため、基底状態であることが確認される。
• 解の非一意性の可能性があるため、収束は $s$ に関して一様ではない可能性がある。