[論文レビュー] High-frequency instabilities of small-amplitude solutions of Hamiltonian PDEs

Bernard Deconinck, Olga Trichtchenko|arXiv (Cornell University)|May 14, 2015

Nonlinear Waves and Solitons参考文献 33被引用数 4

ひとこと要約

本稿では、ハミルトニアンPDEの小振幅周期的解における高周波数不安定性を分析するためのハミルトニアン枠組みを構築する。線形化系の分散関係とクレイン符号を用い、不安定性は虚軸上の特定の点におけるクレイン衝突に起因することを示す。さらに、ボッシネスク＝ウィスラム方程式の例を用いて、負平均解では有界でない成長率により不適切な問題（ill-posedness）が生じることを示している。

ABSTRACT

Generalizing ideas of MacKay, and MacKay and Saffman, a necessary condition for the presence of high-frequency ( i.e., not modulational) instabilities of small-amplitude periodic solutions of Hamiltonian partial differential equations is presented, entirely in terms of the Hamiltonian of the linearized problem. With the exception of a Krein signature calculation, the theory is completely phrased in terms of the dispersion relation of the linear problem. The general theory changes as the Poisson structure of the Hamiltonian partial differential equation is changed. Two important cases of such Poisson structures are worked out in full generality. An example not fitting these two important cases is presented as well, using a candidate Boussinesq-Whitham equation.

研究の動機と目的

• ハミルトニアンPDEの小振幅周期的解における高周波数不安定性の必要条件を、非線形ダイナミクスに依存せずに導出すること。
• スペクトル解析を直接行わず、線形化ハミルトニアンと分散関係のみを用いて不安定性基準を完全に表現すること。
• ポisson構造の変更が不安定性の発生に与える影響、特にクレイン符号の観点から検討すること。
• 非標準的なケースとしてボッシネスク＝ウィスラム方程式を分析し、線形分散関係が正しくても、負平均解では不適切な問題が生じることを示すこと。
• 近似水波モデルにおけるスペクトル安定性と適切な問題性の違いを明確にすること、特にガリレオ不変でない定式化の下で検討すること。

提案手法

• ゼロ振幅解のまわりでハミルトニアンPDEを線形化し、二次項のみを残して、線形化ダイナミクスを記述するハミルトニアン $ H_c^0 $ を構築する。
• フーリエモード解 $ \text{exp}(ikx - i\rho t) $ を仮定することで、線形化系から分散関係 $ F(\rho, k) = 0 $ を導出し、$ M $ 個の分岐 $ \rho_j(k) $ を得る。
• 非自明な周期的解がゼロ解から分岐する点（分岐点）を特定する。これは分散関係のヤコビアンが消える条件によって決定される。
• フロケ理論を用いてゼロ振幅解のスペクトル安定性を計算し、$ \rho_j(k) $ の実数分岐が純虚数スペクトル（スペクトル安定性）をもたらすことを示す。
• クレイン符号理論を適用し、虚軸上の固有値の衝突を検出し、不安定モードの出現を示唆する潜在的不安定性の発生を特定する。
• ボッシネスク＝ウィスラム方程式を事例として分析し、その分散関係と安定性スペクトルを完全な水波問題と比較し、負平均解における不適切な問題性を評価する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアンPDEの小振幅周期的解において、包絡不安定性に依存せずに高周波数不安定性が発生する条件は何か？
• RQ2 スペクトル問題を完全に解かずに、線形化ハミルトニアンと分散関係からのみ、このような不安定性の発生を予測可能か？
• RQ3 ポアソン構造の選択が、スペクトルにおける高周波数不安定性の位置と性質に与える影響はいかほどか？
• RQ4 ボッシネスク＝ウィスラム方程式のような近似モデルが、完全な水波問題の不安定性構造をどの程度引き継ぐか？
• RQ5 なぜボッシネスク＝ウィスラムモデルの負平均解では不適切な問題性が生じるのか？また、数値シミュレーションにどのような影響を与えるか？

主な発見

• 高周波数不安定性の必要条件が、スペクトル問題の明示的解法を一切用いずに、分散関係とクレイン符号に基づいて導出された。
• ボッシネスク＝ウィスラム方程式において、正平均解の小振幅解の安定性スペクトルは有界のままであるが、負平均解では実部が無限大に発散し、不適切な問題性を示している。
• ボッシネスク＝ウィスラム方程式の不安定性スペクトルは原点の上に水平な領域を示しており、クレイン衝突理論と整合的である。数値的爆発は虚軸付近の不安定性を確認している。
• 完全な水波問題と線形分散関係が一致するにもかかわらず、ボッシネスク＝ウィスラム方程式はガリレオ不変でないため、負平均解では誤った不安定性が生じる。
• 本研究では、線形分散関係が同一であっても、異なるポアソン構造が安定性および適切な問題性の性質に異なる影響を与えることが確認され、ハミルトニアン構造が非線形ダイナミクスに与える役割が強調された。
• 数値実験により、負平均解の不適切な問題性は数値誤差によって悪化するが、高精度なシミュレーションにより、$ |k| \to \infty $ の極限でスペクトルの実部が無限大に発散することが確認された。