[論文レビュー] Orbital stability of standing waves of a class of fractional Schrodinger equations with a general Hartree-type integrand

Y. Cho, Mouhamed Moustapha Fall+3 more|arXiv (Cornell University)|Jul 21, 2013

Advanced Mathematical Physics Problems参考文献 15被引用数 5

ひとこと要約

本稿は、一般のハートリー型非線形性を有する非線形分数マクスウェル方程式の定常波解の存在、一意性、および軌道安定性を確立する。濃縮・コンパクトネスと変分法を用いて、エネルギー制約問題の最小化子が適切な非線形性およびポテンシャルパラメータの条件下で軌道安定であることを証明する。

ABSTRACT

This article is concerned with the mathematical analysis of a class of a nonlinear fractional Schrodinger equations with a general Hartree-type integrand. We prove existence and uniqueness of global-in-time solutions to the associated Cauchy problem. Under suitable assumptions, we also prove the existence of standing waves using the method of concentration-compactness by studying the associated constrained minimization problem. Finally we show the orbital stability of standing waves which are the minimizers of the associate variational problem.

研究の動機と目的

• 一般のハートリー型非線形性を有する分数シュレーディンガー方程式の初期値問題に対する時間全域解の存在と一意性を確立すること。
• エネルギー空間 $ H^s(\mathbb{R}^N) $ における制約付き最小化問題を解くことにより、定常波解の存在を調査すること。
• 関連する変分問題の最小化子として得られる定常波解の軌道安定性を証明すること。
• ボソン星や質量ゼロのシュレーディンガー方程式に関する先行研究を、より広い非線形性および分数階数のクラスに拡張すること。
• 最小化列の正則性およびコンパクトネスの性質を分析し、摂動に対して安定であることを保証すること。

提案手法

• エネルギー関数の制約付き変分問題に対する最小化列を分析するため、濃縮・コンパクトネスの原理を用いる。
• 分数ラプラシアン $ (-\Delta)^s $ をフーリエ変換を用いて定義する：$ \mathcal{F}[(-\Delta)^s \phi](\xi) = |\xi|^{2s} \mathcal{F}[\phi](\xi) $、$ 0 < s < 1 $。
• 非線形項を $ G(|\phi|) \star V(|x|) $ としてモデル化し、$ V(|x|) = |x|^{\beta - N} $、$ \beta > 0 $、$ \beta > N - 2s $、$ G: \mathbb{R}^+ \to \mathbb{R}^+ $ は $ G(0) = 0 $ を満たす滑らかさを持つ。
• ハリー＝リトルウッド＝ソボレフの不等式およびリーマン・ポテンシャルの正則性理論を用いて、解の局所 Hölder 空間および Hölder 連続微分可能性の正則性を確立する。
• 最小化列が $ H^s(\mathbb{R}^N) $ 内で相対的にコンパクトであることを証明する。これは軌道安定性の根幹を成す。
• 初期値問題におけるエネルギー保存則および質量保存則を用いて、定常波の安定性解析を支援する。

実験結果

リサーチクエスチョン

• RQ1 ハートリー型非線形性を有する分数シュレーディンガー方程式の初期値問題が、時間全域解を有するための条件は何か？
• RQ2 エネルギー関数の制約付き最小化問題の最小化子は存在するか？また、$ G $ および $ \beta $ に対して一般な仮定のもとで、それが径数的かつ単調減少であるか？
• RQ3 変分問題の最小化子として得られる定常波解の軌道安定性は、どのように確立できるか？
• RQ4 ポテンシャル $ V(|x|) = |x|^{\beta - N} $ および非線形項 $ G $ の正則性が、解の正則性および安定性にどのように影響するか？
• RQ5 パラメータ $ s, \beta, N $、および $ \mathcal{A}_0 $ 内の成長指数 $ \mu $ に対して、一意性および安定性が成り立つ必要十分条件は何か？

主な発見

• 非線形性 $ G $ に対して条件 $ \mathcal{A}_0 $ が成り立つとき、初期値 $ \phi_0 \in H^s(\mathbb{R}^N) $ を満たす弱い時間全域解 $ \phi \in L^\infty(\mathbb{R}; H^s(\mathbb{R}^N)) \cap W^{1,\infty}(\mathbb{R}; H^{-s}(\mathbb{R}^N)) $ が存在する。
• パラメータ $ s, \beta, N $ および $ \mu $ に対して特定の条件が満たされれば、解は一意的である。特に $ \mu \in \left(\max\left(2, 1 + \frac{2\beta - N}{N - 2s}\right), 2 + \frac{N}{N - 2s} \cdot \frac{2s - 1 - 2N + 2\beta}{2s - 1 + N}\right) $ の範囲で成立する。
• 仮定のもとで、変分問題 $ \mathcal{I}^G_\lambda $ の最小化子は存在し、径数的かつ単調減少である。
• $L^2$ ノルム制約下でのエネルギー関数の最小化子として得られる定常波解は、$ H^s $ ノルムにおける摂動が解の軌道に近いままであるという意味で軌道安定である。
• ポテンシャル $ V \star G(\phi) $ は、$ \beta \leq 1 $ のとき $ C^{0,\alpha}_{\text{loc}}(\mathbb{R}^N) $ に属し、$ \beta > 1 $ のとき $ C^{[\beta],\alpha}_{\text{loc}}(\mathbb{R}^N) $ に属する。これは非線形項の十分な正則性を保証する。
• 定常方程式の解 $ u $ は、$ \beta \leq 1 $ のとき $ C^{0,\alpha}_{\text{loc}}(\mathbb{R}^N) $ に属し、$ \beta > 1 $ のとき $ C^{1,\alpha}_{\text{loc}}(\mathbb{R}^N) $ に属する。これは非線形性を通じた正則性の伝播に起因する。