[論文レビュー] Effective integrable dynamics for some nonlinear wave equation

Patrick Gérard, Sandrine Grellier|arXiv (Cornell University)|Oct 26, 2011

Advanced Mathematical Physics Problems被引用数 10

ひとこと要約

本稿では、1次元トーラス上での退化半波方程式の解が、長時間にわたり完全可積分な立方Szegö方程式の解によって効果的に近似可能であることを確立している。初期データが $H^s$ に属し、$s > 1$ かつ $L^2$ ノルムが小さい場合、解は時間 $ frac{1}{ϵ^{2} \log \u03f5^{-1}}$ までSzegö力学に近い状態を保ち、誤差は $ϵ^{3-\alpha}$ のオーダーとなる。さらに、より長い時間では $L^\infty$ ノルムが有界であることが示され、高階ソボレフノルムにおける不安定性が明らかになった。

ABSTRACT

We consider the following degenerate half wave equation on the one dimensional torus $$\quad i\partial_t u-|D|u=|u|^2u, \; u(0,\cdot)=u_0. $$ We show that, on a large time interval, the solution may be approximated by the solution of a completely integrable system-- the cubic Szegö equation. As a consequence, we prove an instability result for large $H^s$ norms of solutions of this wave equation.

研究の動機と目的

• トーラス上での非分散的で退化した半波方程式の解の長時間的挙動を理解すること。
• この方程式の力学が、長時間にわたり完全可積分な立方Szegö方程式によって効果的に支配されることを確立すること。
• 解の $H^s$ ノルムが時間とともに指数的に増大することを示すことによって、高階ソボレフノルムにおける不安定性を証明すること。
• 元の方程式とSzegö方程式との間の近似誤差を $H^s$ ノルムで定量的に評価すること。
• $H^s$ 近似区間よりも長い時間スケールにおける解の $L^\infty$ 界を確立すること。

提案手法

• 方程式内の正負の周波数モードを分離するために、正則変換 $\chi_\varepsilon^{-1}$ の使用。
• $B^1$ および $H^s$ 空間における事前推定を用いて、正周波数成分 $\tilde{u}_+$ の時間発展を制御すること。
• 微小パラメータ $\varepsilon$ のスケーリングを用いて、元の方程式を立方Szegö方程式の摂動版に還元すること。
• $H^s$ ノルムにおける元の解とSzegö解の差の増大を制御するため、Gronwall型不等式の使用。
• 立方Szegö方程式の完全可積分性を活用し、その解と誤差伝播の明示的制御を得ること。
• Littlewood-Paley分解と $L^4$ 型推定を用いて、Duhamel反復写像の適切な定義のための必要条件を導出すること。

実験結果

リサーチクエスチョン

• RQ1 退化半波方程式の力学は、長時間にわたり可積分な立方Szegö方程式によって効果的に記述可能か？
• RQ2 $s > 1$ に対して、半波方程式とSzegö方程式の解の $H^s$ ノルム差の定量的誤差は何か？
• RQ3 Szegö方程式による近似は、誤差が顕著になるまでのどのくらいの時間まで維持できるか？
• RQ4 半波方程式の解は、$H^s$ 近似区間よりも長い時間スケールで $L^\infty$ に有界のままであるか？
• RQ5 この非分散的方程式における高階ソボレフノルムにおける不安定性のメカニズムは何か？

主な発見

• 初期データ $u_0 \in H^s \cap L^2_+$ で $\|u_0\|_{H^s} = \varepsilon$ が小さい場合、半波方程式の解 $u(t)$ は、すべての $t \leq \frac{c_\alpha}{\varepsilon^2} \log \frac{1}{\varepsilon}$ に対して、立方Szegö方程式の解 $v(t)$ から $\mathcal{O}(\varepsilon^{3-\alpha})$ のオーダーで離れない。
• $H^s$ ノルムは、$\mathcal{O}(\exp(\exp(C_s t)))$ のオーダーで増大する可能性があることが示され、これは弱い事前制御を意味し、有効な力学の必要性を動機づけている。
• $\|u(t)\|_{L^\infty} = \mathcal{O}(\varepsilon)$ である $L^\infty$ 界が、すべての $t \leq \frac{c}{\varepsilon^3}$ に対して成り立ち、これは $H^s$ 近似時間スケールよりも長い。
• 負周波数成分 $\tilde{u}_-$ は、時間に依存せず $H^s$ ノルムで小さく保たれ、$t \lesssim \varepsilon^{-2} \log \varepsilon^{-1}$ に対して $\|\tilde{u}_-(t)\|_{H^s} \leq C_\alpha \varepsilon^{2-\alpha}$ が成り立つ。
• $H^s$ 近似誤差は、差分方程式にGronwallの議論を適用し、$B^1$ の代数的構造とSzegö解の $B^1$ での有界性を活用することで制御される。
• 結果は、Duhamel写像の適切な定義のための必要条件に依存しており、$e^{-it|D|}f$ に対する $L^4$ 型推定が $\|f\|_{H^{s/2}}^4$-有界性を示すが、$s < 1/2$ のときには成立せず、分散的スムージングの欠如を説明している。