[論文レビュー] Sobolev stability of plane wave solutions to the cubic nonlinear Schrödinger equation on a torus

Erwan Faou, Ludwig J. Gauckler+1 more|arXiv (Cornell University)|Sep 12, 2011

Advanced Mathematical Physics Problems参考文献 25被引用数 8

ひとこと要約

本稿は、d次元トーラス上での三次非線形シュレーディンガー方程式（NLS）の平面波解について、高階ソボレフノルムにおける一般の小さな摂動のもとで、長時間にわたるソボレフ安定性を確立している。ハミルトニアン還元、バーチャルフォーム、または変調されたフーリエ展開を用いて、$ \varepsilon^{-N} $ 時間の間、$ H^s $-ノルムにおいて摂動が小さく保たれることを証明し、$ s \gg 1 $ に対して軌道安定性が保証される。これは、$ d > 1 $ における共振的三次NLSに対して、初めてのこのような結果である。

ABSTRACT

It is shown that plane wave solutions to the cubic nonlinear Schrödinger equation on a torus behave orbitally stable under generic perturbations of the initial data that are small in a high-order Sobolev norm, over long times that extend to arbitrary negative powers of the smallness parameter. The perturbation stays small in the same Sobolev norm over such long times. The proof uses a Hamiltonian reduction and transformation and, alternatively, Birkhoff normal forms or modulated Fourier expansions in time.

研究の動機と目的

• d次元トーラス上での三次非線形シュレーディンガー方程式（NLS）の平面波解の高階ソボレフノルムにおける長時間の軌道安定性を確立すること。
• $ d > 1 $ における共振的ダイナミクスの課題を解決すること。ここでは、周波数共振のため、標準的な安定性結果が失敗する。
• 初期データの摂動が $ H^s $ で小さい場合、任意に長い時間 $ \varepsilon^{-N} $ の間、$ H^s $ ノルムで有界に保たれることを示すこと。$ N $ は任意である。
• 摂動された解のダイナミクスが、元のフーリエモード $ m $ の周辺に局在し続け、正則性と軌道的構造が保たれることを示すこと。

提案手法

• ハミルトニアン還元を適用して、正規形解析に適したNLSの形に変換する。
• 時間に関するバーチャルフォームまたは変調されたフーリエ展開を用いて、近似解を構成し、誤差の増大を制御する。
• 周波数の同じ二乗ノルム $ |\ell|^2 = n $ を持つモードの作用 $ I_\ell $ の和として、超作用 $ \mathcal{J}_n $ を定義し、エネルギー分布を追跡する。
• 周波数 $ \Omega_n $ に対する非共振条件を確立し、近似共振がまれであり、$ \varepsilon $-依存の境界によってその影響が制御されることを保証する。
• 非線形項が $ \ell^2_s $ でゼロ運動量条件および減衰条件を満たすことを確認し、$ s > d/2 $ に対して正規形展開の収束を可能にする。
• 非共振仮定の下で、繰り返しによる変調関数の構成を用いて、長時間にわたる超作用のほぼ保存性を証明する。

実験結果

リサーチクエスチョン

• RQ1 トーラス上での三次NLSの平面波解は、一般の小さな摂動のもとで、任意に長い時間にわたって高階ソボレフノルム $ H^s $ で安定するだろうか？
• RQ2 初期データおよび系のパrameterにどのような条件を課すと、解が $ H^s $ で元の平面波の軌道に近いままで保たれるか？
• RQ3 $ d > 1 $ における共振的ダイナミクスは、通常は不安定性を引き起こすが、どのようにして $ s \gg 1 $ における $ H^s $-安定性を達成できるか？
• RQ4 周波数ギャップが存在しないにもかかわらず、バーチャルフォームまたは変調されたフーリエ展開の手法を、共振状態においても長時間安定性を証明するために適応可能か？
• RQ5 超作用 $ \mathcal{J}_n $ は、高周波モードの増大を制御し、正則性を保つために果たす役割は何か？

主な発見

• 任意の $ N > 1 $ に対して、$ s_0 > 0 $ および全測度集合 $ \mathcal{P} \subset (0, \rho_0] $ が存在し、すべての $ s \geq s_0 $ および $ \rho \in \mathcal{P} $ に対して、摂動が $ \varepsilon^{-N} $ 時間の間 $ H^s $-ノルムで有界に保たれる。
• 解は $ t \leq \varepsilon^{-N} $ に対して $ \| e^{-im\cdot\bullet}u(\cdot,t) - u_m(t) \|_{H^s} \leq C\varepsilon $ を満たし、$ C \geq 1 $ は $ \varepsilon $ に依存しない。これにより、長時間にわたる $ H^s $-安定性が証明される。
• 軌道安定性が成立する：$ t \leq \varepsilon^{-N} $ に対して $ \inf_{\varphi \in \mathbb{R}} \| e^{-im\cdot\bullet}u(\cdot,t) - e^{i\varphi}u_m(0) \|_{H^s} \leq \sqrt{2}C\varepsilon $ が成り立ち、解が平面波の位相軌道に近いままであることが保証される。
• $ \rho \in \mathcal{P} $ に対して、周波数 $ \Omega_n $ に対する非共振条件は一般に満たされ、$ \varepsilon $-依存の境界により、近似共振が不安定性を引き起こさない。
• 超作用 $ \mathcal{J}_n $ は長時間にわたってほぼ保存され、フーリエモード間のエネルギー分布の制御に役立つメカニズムを提供する。
• 本結果は、$ d > 1 $ における共振的三次NLSに対して、長時間 $ H^s $-安定性を示す初の結果であり、粗い摂動に対しては既知の不安定性結果とは対照的である。