[論文レビュー] Freezing Traveling and Rotating Waves in Second Order Evolution Equations

Wolf‐Jürgen Beyn, Denny Otten+1 more|Repository KITopen (Karlsruhe Institute of Technology)|Jan 1, 2016

Differential Equations and Numerical Methods参考文献 7被引用数 4

ひとこと要約

本稿は、冷凍法を2階時間発展方程式へ拡張し、減衰波動方程式を偏微分代数方程式（PDAE）に再定式化することで、移動波および回転波の数値計算を可能にする。十分な減衰を有する半線形波動方程式に対して、この手法の実用可能性を示し、線形化作用素のスペクトル特性を分析。安定波動解は左半平面にスペクトルを有することを示し、1次元および2次元空間における点スペクトルおよび連続スペクトルに関する重要な知見を提供する。

ABSTRACT

In this paper we investigate the implementation of the so-called freezing method for second order wave equations in one and several space dimensions. The method converts the given PDE into a partial differential algebraic equation which is then solved numerically. The reformulation aims at separating the motion of a solution into a co-moving frame and a profile which varies as little as possible. Numerical examples demonstrate the feasability of this approach for semilinear wave equations with sufficient damping. We treat the case of a traveling wave in one space dimension and of a rotating wave in two space dimensions. In addition, we investigate in arbitrary space dimensions the point spectrum and the essential spectrum of operators obtained by linearizing about the profile, and we indicate the consequences for the nonlinear stability of the wave.

研究の動機と目的

• 2階減衰波動方程式における移動波および回転波を数値的に計算するためのフレームワークを構築すること。
• 移動座標系と位相条件を導入することで、元のPDEをPDAEに再定式化し、波形の安定化を図ること。
• 1次元および多次元空間における波形の周りの線形化作用素の点スペクトルおよび連続スペクトルの特性を分析すること。
• スペクトルの配置を解の長期的挙動と関連付けることで、波動解の非線形安定性を調査すること。
• 5次非線形性を有する半線形波動方程式に対して、数値的妥当性を検証すること。

提案手法

• アービトラリー $ u(x,t) = v(x - \tau(t), t) $ を用いて、移動座標系を導入し、2階波動方程式をPDAEに再定式化する。ここで $ \tau(t) $ は未知関数である。
• 波形 $ v $ の変動を最小限に抑えるために、位相条件（冷凍制約）を導入し、移動対称性や回転対称性を除去する。
• 1次元空間における移動波および2次元空間における回転波に対して、時間依存のシフトおよび回転を伴う移動座標系を用いて、冷凍法を適用する。
• 波形の周りでPDAEを線形化し、線形化作用素 $ \tilde{\rho} $ を導出し、点スペクトルおよび連続スペクトルの特性を分析する。
• 分散曲線解析を用いて、$ \rho $ の2次行列の行列式条件 $ \text{Re}(\text{det}(\text{quadratic matrix})) = 0 $ を通じて連続スペクトルを特徴づけ、$ \rho $-曲線の明示的パラメトリック表現を導出する。
• 2次元 $ \bbR^2 $ における立方-5次Ginzburg-Landau波動方程式に対して、ノイマン境界条件を満たす球領域を用いて、スペクトルの数値的近似を実施する。

実験結果

リサーチクエスチョン

• RQ1 冷凍法は、1階時間発展方程式から2階時間発展方程式へどのように拡張可能か。これにより、移動波および回転波の計算が可能になるか。
• RQ2 1次元および2次元空間における波形の周りの線形化作用素の連続スペクトルおよび点スペクトルの構造はいかなるものか。
• RQ3 線形化作用素の非ゼロスペクトル全体が、厳密に左半平面に位置するような減衰条件は何か。これは非線形安定性を示唆する。
• RQ4 PDAEのスペクトル特性は、元の波動解の安定性とどのように関連するか。
• RQ5 強い減衰を有する2階波動方程式に対する冷凍法の実用性と精度を裏付ける数値的証拠は何か。

主な発見

• 冷凍法は、2階減衰波動方程式をPDAEに再定式化することに成功し、1次元および2次元空間における移動波および回転波の数値的計算を可能にした。
• 5次非線形性と十分な減衰を有する半線形波動方程式に対して、安定な数値解が得られ、実用的妥当性が確認された。
• 連続スペクトルは、$ \rho $ に関する2次行列の行列式から導かれる分散曲線によって特徴づけられ、固有値は垂直線 $ \mathrm{Re} = -\rho/(2\varepsilon) $ 上および整数 $ n \in \bbZ $ でパラメータ化された水平セグメント上に位置する。
• 点スペクトルには、シフト不変性に起因するゼロ固有値が含まれ、さらに8組の複素共役固有値および2つの実固有値を有する孤立固有値が存在し、弱安定性を示唆する。
• 固有関数の数値的近似により、ゼロ固有値が移動モードに対応し、$ \lambda \approx i\sigma $ の固有値が回転モードに対応することが確認された。
• スペクトルの解析から、立方-5次Ginzburg-Landau方程式のスピンソリトンは弱安定であることが判明。これは、3つの孤立固有値が虚軸に非常に近い位置に存在し、臨界安定性を示唆する。