[論文レビュー] An index theorem for the stability of periodic traveling waves of KdV type

Jared C. Bronski, Mathew A. Johnson+1 more|ArXiv.org|Jul 24, 2009

Advanced Mathematical Physics Problems参考文献 39被引用数 26

ひとこと要約

本稿では、KdV型方程式の周期的移動波の周囲における線形化作用素の不安定固有値の個数を数えるインデックス定理を確立する。この定理は、波形の微分の零点の個数と、保存量とラグランジュ乗数の間の写像の幾何的不変量を関連させることで、その個数を特定する。主な結果は、この写像のヤコビアンに基づくスペクトル安定性の基準であり、ストゥルムの振動定理を一般化し、孤立波の安定性理論を周期波に拡張するものである。

ABSTRACT

We consider periodic solutions to equations of Korteweg-Devries type. While the stability theory for periodic waves has received much some attention the theory is much less developed than the analogous theory for solitary wave stability, and appears to be mathematically richer. We prove an index theorem giving an exact count of the number of unstable eigenvalues of the linearized operator in terms of the number of zeros of the derivative of the traveling wave profile together with geometric information about a certain map between the constants of integration of the ordinary differential equation and the conserved quantities of the partial differential equation. This index can be regarded as a generalization of both the Sturm oscillation theorem and the classical stability theory for solitary wave solutions for equations of Korteweg-de Vries type. In the case of a polynomial nonlinearity this index, together with a related one introduced earlier by Bronski and Johnson, can be expressed in terms of derivatives of period integrals on a Riemann surface. Since these period integrals satisfy a Picard-Fuchs equation these derivatives can be expressed in terms of the integrals themselves, leading to an expression in terms of various moments of the solution. We conclude with some illustrative examples.

研究の動機と目的

• KdV型方程式の周期的移動波解の幾何的スペクトル安定性基準の開発。
• ストゥルムの振動定理と孤立波安定性理論を周期波の設定に一般化すること。
• 解の背後にあるODEおよびPDE構造の位相的・幾何的不変量を用いて、不安定固有値の個数を表現すること。
• 多項式非線形性の場合に、安定性インデックスをアーベル積分およびピカード＝フクス方程式に結びつけること。
• 保存量と作用原理に基づいて、周期的波におけるスペクトル不安定性を区別するフレームワークの提供。

提案手法

• KdV型方程式を摂動し、得られる固有値問題を解析することで、周期的移動波の周囲における線形化作用素を導出する。
• 方程式のハミルトニアン構造を用いて、線形化安定性問題を $ \mathbf{J} \mathcal{L} \phi = \mu \phi $ の形に表現する。ここで $ \mathcal{L} $ は周期的係数をもつシュレーディンガー型作用素である。
• 不安定固有値の個数（右半平面）に加え、負のクライン符号を持つ純虚数固有値の個数を合算したものを安定性インデックスとして定義する。
• ラグランジュ乗数 $ (a, c) $ から保存量 $ (T, M, P) $ への写像のヤコビアン行列式と関連付ける。ヤコビアンにはポisson括弧型の表記を用いる。
• 多項式非線形性の場合、このヤコビアンをリーマン面上での周期積分の微分として表現し、それらがピカード＝フクス方程式を満たすことを示す。
• 得られた代数的構造を用いて、インデックスを解のモーメントと保存量の関数として表現し、明示的な計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 周期的移動波の周囲における線形化作用素の不安定固有値の個数を幾何的にどのように数えられるか？
• RQ2 周期的波形の微分の零点の個数とスペクトル不安定性との関係は何か？
• RQ3 安定性インデックスを保存量とそれらのラグランジュ乗数への依存性の観点から表現できるか？
• RQ4 アーベル積分とピカード＝フクス方程式は、多項式非線形性における安定性インデックスの計算にどのように寄与するか？
• RQ5 モード変調不安定性インデックスは、周期的KdV型波におけるスペクトル不安定性の必要十分条件か？

主な発見

• 右半平面における不安定固有値の個数に加え、負のクライン符号を持つ純虚数固有値の個数は、$ u_x $ の零点の個数と、$ (a, E, c) $ から $ (T, M, P) $ への写像のヤコビアンに依存するインデックスで与えられる。
• $ \{T, M, P\}_{a,E,c} > 0 $ の領域では、$ k $ が十分に大きいとき $ L^2(\mathbb{T}_k) $ において軌道的安定であるが、スペクトル不安定性が存在する。
• $ \{T, M, P\}_{a,E,c} < 0 $ の場合、不安定固有値の個数は $ k_{\mathbb{I}}^{-} + k_{\mathbb{R}} + k_{\mathbb{C}} = 2k - 1 $ を満たし、強いスペクトル不安定性を示す。
• 多項式非線形性の場合、安定性インデックスはリーマン面上での周期積分の微分として表現でき、それらは解のモーメントとして表現可能である。
• 数値的証拠から、スペクトル不安定性はモード変調不安定性インデックスが負であるときにかつそのときにのみ発生すると示唆されているが、これはまだ予想のままである。
• 本手法は、不安定性を示す実固有値と、負のクライン符号を持つ純虚数固有値を区別できるが、2を法とするモジュロでしか特定できない。