[論文レビュー] Nonlinear wave interactions for the Benjamin-Ono equation

Herbert Koch, Nikolay Tzvetkov|ArXiv.org|Nov 19, 2004

Advanced Mathematical Physics Problems参考文献 13被引用数 43

ひとこと要約

本稿では、$H^s(\mathbb{R})$ 上の有界集合上で、Benjamin-Ono方程式の流れ写像が任意の $s > 0$ に対して一様連続でないことを、$H^s$ ノルムで初期値が任意に近いが時間とともに著しく乖離する2つの解の列を構成することで示している。解析は、高周波数波動の干渉における輸送効果と分散効果を分離し、近似解と摂動論的議論を用いて、初期データの微小な変化に対しても不安定性が生じることを示している。

ABSTRACT

We study the interaction of suitable small and high frequency waves evolving by the flow of the Benjamin-Ono equation. As a consequence, we prove that the flow map of the Benjamin-Ono equation can not be uniformly continuous on bounded sets of H^s(R) for s>0.

研究の動機と目的

• Benjamin-Ono方程式の流れ写像のSobolev空間 $H^s(\mathbb{R})$ における正則性および連続性の性質を調査すること。
• 初期データ $u_0 \mapsto u(t)$ の写像が、$s > 0$ のとき $H^s$ の有界集合上で一様連続であるかどうかを特定すること。
• 従来の流れ写像が $C^2$ でないことを示した結果を拡張し、より強い意味での一様連続性の失敗を証明すること。
• Picard反復法が $H^s(\mathbb{R})$ ($s > 0$) において解を構成できないことの根拠を、一様連続性の欠如から確立すること。
• Benjamin-Ono方程式の不安定性を、$s > -3/4$ のとき $H^s$ でリプシッツ連続な流れを示すKdV方程式と対比すること。

提案手法

• 周波数 $\lambda = 2^n$ と小さなパラメータ $\omega = \pm 1$ をパrameterとする、高周波数波動を滑らかな低周波数摂動で変調した2つの近似解 $u_{\omega,\lambda}$ を構成する。
• 解を高周波数成分と低周波数摂動に分解し、差 $v_{\omega,\lambda} = u_{\omega,\lambda} - u_{\text{ap}}$ を分析することで、分散と輸送の効果を分離する。
• $L^2$ とより高いソボレフノルムの間の補間を用いて、誤差 $v_{\omega,\lambda}$ の $H^s$ ノルムに対する境界を確立し、駆動項 $F$ の小ささと低周波数成分の小ささを活用する。
• $v_{\omega,\lambda}$ に対する $L^2$ エネルギー推定を用い、$1 - s < \delta < 1$ の条件下で、$|t| \leq 1$ に対して $\|v_{\omega,\lambda}(t,\cdot)\|_{L^2} \lesssim \lambda^{-\frac{\min\{\delta,1-\delta\}}{2} - s}$ を示す。
• $L^2$ と $H^k$ ノルムの間の補間不等式を適用し、$\|v_{\omega,\lambda}(t,\cdot)\|_{H^s} \lesssim \lambda^{-\frac{\min\{\delta,1-\delta\}}{4(s+2)}}$ という重要な推定を得る。これにより、誤差が主な波に対して小さく保たれることを証明する。
• 最後に、$\omega = 1$ と $\omega = -1$ の解同士の $H^s$ 距離を比較し、$c > 0$ に対して $c \sin t$ で下から抑えられることを示し、一様連続性の欠如を証明する。

実験結果

リサーチクエスチョン

• RQ1 Benjamin-Ono方程式の流れ写像は、$s > 0$ のとき $H^s(\mathbb{R})$ の有界集合上で一様連続であるか？
• RQ2 高周波数波動と小さな低周波数摂動の相互作用を通じて、一様連続性の欠如を示すことができるか？
• RQ3 一様連続性の欠如は、$H^s(\mathbb{R})$ ($s > 0$) においてPicard反復法で解を構成できないことを意味するか？
• RQ4 KdV方程式は $s > -3/4$ のとき $H^s$ でリプシッツ連続な流れを示すが、Benjamin-Ono方程式の不安定性はそれとどのように対比されるか？
• RQ5 高次保存則は、時間経過とともに真の解に近いまま保たれる近似解を構築する上で果たす役割は何か？

主な発見

• 任意の $s > 0$ に対して、Benjamin-Ono方程式の流れ写像は $H^s(\mathbb{R})$ の有界集合上で一様連続でない。これは、$H^s$ ノルムで初期値が任意に近いが時間とともに著しく乖離する2つの解の列を構成することで示された。
• $[0,1]$ 内のすべての $t$ に対して、2つの解の列間の $H^s$ 距離は $\liminf_{n \to \infty} \|u_n(t,\cdot) - \tilde{u}_n(t,\cdot)\|_{H^s} \geq c \sin t$ ($c > 0$) を満たし、強い不安定性が証明された。
• 近似解 $u_{\text{ap}}$ と真の解 $u_{\omega,\lambda}$ 間の誤差は、$\|v_{\omega,\lambda}(t,\cdot)\|_{H^s} \lesssim \lambda^{-\frac{\min\{\delta,1-\delta\}}{4(s+2)}}$ で有界であり、$\lambda \to \infty$ のとき 0 に近づくため、近似の妥当性が裏付けられた。
• $L^2$ ノルムにおける誤差は $\|v_{\omega,\lambda}(t,\cdot)\|_{L^2} \lesssim \lambda^{-\frac{\min\{\delta,1-\delta\}}{2} - s}$ で有界であり、$\lambda$ の増加に伴い減少するため、摂動の小ささが確認された。
• 不安定性は、高周波数波動と低周波数摂動の非線形干渉に起因し、摂動が波の位相速度を変化させるが、その変化は $H^s$ ノルムで連続でない。KdV方程式とは異なり、これは非線形効果の性質に起因する。
• 一様連続性の欠如は、$H^s(\mathbb{R})$ ($s > 0$) においてPicard反復法で解を構成できないことを意味する。このような反復法は収束のための一様連続性を要するためである。