[論文レビュー] Strong instability of ground states to a fourth order Schrödinger equation

Denis Bonheure, Jean‐Baptiste Casteras+2 more|arXiv (Cornell University)|Mar 23, 2017

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

ひとこと要約

本稿は、質量臨界定域および超臨界定域（$\sigma N = 4$ または $\sigma N > 4$）における第四階非線形シュレーディンガー方程式（bi-NLS）の基底状態解の強い不安定性を確立する。正則化された重み関数を用いた修正されたバービル恒等式とエネルギー推定を用いて、回転対称な基底状態が一般の条件下で有限時間 blow-up を示すことを証明し、数値的予想を裏付け、かつ初期エネルギーが負である必要があった以前の結果を拡張する。

ABSTRACT

In this note we prove the instability by blow-up of the ground state solutions for a class of fourth order Schr\" odinger equations. This extends the first rigorous results on blowing-up solutions for the biharmonic NLS due to Boulenger and Lenzmann \cite{BoLe} and confirm numerical conjectures from \cite{BaFi, BaFiMa1, BaFiMa, FiIlPa}.

研究の動機と目的

• 第四階シュレーディンガー方程式の基底状態解について、質量臨界定域および超臨界定域における強不安定性（blow-up）を確立すること。
• これまでの解析的結果が負の初期エネルギーを要していた場合に限られていた、bi-NLSにおける基底状態の動的不安定性に関する未解決問題を解消すること。
• 長年の数値的予想である bi-NLS モデルにおける blow-up を、一般の仮定の下で初めて厳密に証明すること。
• バービル型手法の適用範囲を、非標準的な分散と非線形性を有する第四階分散方程式へ拡張すること。

提案手法

• 局所化された領域における解のダイナミクスを制御するため、正則化された重み関数 $\varphi_R$ を用いた修正されたバービル恒等式を構築する。
• バービル量を運動エネルギー、ポテンシャルエネルギー、誤差項に分解し、Sobolevおよび補間不等式を用いて低次の項を精密に制御するエネルギー推定を導出する。
• 大域的存続を仮定する背理法を用い、バービル量が有限時間で発散する微分不等式を導く。
• BoulengerおよびLenzmann（2015）の手法を応用するが、$\sigma N \geq 4$ の全範囲および $\mu = 0$ と $\mu > 0$ の両ケースを扱えるように拡張する。
• $\mu > 0$ の場合、勾配ノルムの減衰率を用いてバービル量の時間微分に負の下界を導出する。
• $\mu = 0$ の場合、ラプラシアンノルムを用い、blow-up を強制する第四階微分不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 双曲的NLS方程式の基底状態解は、質量臨界定域および超臨界定域で有限時間 blow-up を示すことができるか？
• RQ2 初期エネルギーが負ではなく、基底状態に必要な正のエネルギーをとる場合でも、基底状態の不安定性は維持されるか？
• RQ3 $\Delta^2$ および $\Delta$ 項を有する第四階分散方程式に対して、バービル法を適応させ、blow-up を証明できるか？
• RQ4 このモデルにおける強不安定性（blow-up）の証明において、基底状態の回転対称性は本質的か？
• RQ5 与えられた仮定の下で、バービル量が有限時間に発散する正確なメカニズムは何か？

主な発見

• 基底状態解は、$\sigma N \geq 4$ かつ基底状態が回転対称であるとき、第四階NLS方程式において有限時間内に強力に不安定（blow-up）である。
• 初期データが $H^2(\mathbb{R}^N)$ に属し、初期エネルギーが正であっても、blow-up が成立する。これは、$E_0(u_0) < 0$ を要件としていた以前の結果を拡張する。
• 積分により有限時間 blow-up を引き起こす形で、$z'(t) \geq C z(t)^2$ または $z'(t) \geq C z(t)^4$ の形の微分不等式が確立される。
• $\mu > 0$ の場合、バービル量の時間微分は $\frac{d}{dt}M_{\varphi_R} \leq -\delta \|\nabla\phi(t)\|_2^2$ を満たし、発散を保証する。
• $\mu = 0$ の場合、不等式 $\frac{d}{dt}M_{\varphi_R} \leq -\delta \|\Delta\phi(t)\|_2^2$ が用いられ、第四階微分不等式により blow-up を強制する。
• 本結果は、複数の研究からの数値予測を裏付け、一般の条件下で、bi-NLS モデルにおける基底状態の最初の厳密な blow-up 結果を確立する。