[論文レビュー] Opening the Maslov Box for Traveling Waves in Skew-Gradient Systems

Paul Cornwell|arXiv (Cornell University)|Sep 6, 2017

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 17被引用数 7

ひとこと要約

本稿では、非対称勾配反応拡散系における移動パルスのスペクトル安定性を分析するための幾何学的道具として、マスロフ指数を確立する。この手法により、不安定固有値の数に対する下界が得られ、フィッツフーリュ・ナグumo系における高速波では正確な固有値数え上げが可能であることが証明された。この方法はシンプレクティック幾何学とエヴァンズ関数を用い、位相的巻き数と固有値の重複度を結びつける。代数的重複度と幾何的重複度の違いを交差理論により解消する。

ABSTRACT

We obtain geometric insight into the stability of traveling pulses for reaction-diffusion equations with skew-gradient structure. For such systems, a Maslov index of the traveling wave can be defined and related to the eigenvalue equation for the linearization $L$ about the wave. We prove two main results about this index. First, for general skew-gradient systems, it is shown that the Maslov index gives a lower bound on the number of real, unstable eigenvalues of $L$. Second, we show how the Maslov index gives an exact count of all unstable eigenvalues for fast traveling waves in a FitzHugh-Nagumo system. The latter proof involves the Evans function and reveals a new geometric way of understanding algebraic multiplicity of eigenvalues.

研究の動機と目的

• ハミルトニアン系に限らない非対称勾配反応拡散方程式へのマスロフ指数の応用を拡張すること。
• 一般の非対称勾配系における移動パルスに対して、マスロフ指数が実数の不安定固有値の数に対する下界を提供することを確立すること。
• フィッツフーリ・ナグumo系における高速移動波に対して、マスロフ指数がすべての不安定固有値（実数および虚数を含む）の正確な数え上げを提供することを示すこと。
• エヴァンズ関数とシンプレクティック交差形式を用いて、固有値の代数的重複度の幾何的解釈を提供すること。
• シンプレクティック交差理論を用いて、固有値問題を直接解かずに代数的重複度と幾何的重複度の違いを解消すること。

提案手法

• 移動波の不安定・安定多様体に関連するラグランジュ部分空間の曲線を解析するため、'マスロフボックス'構成を適応すること。
• スペクトルフローまたはパスリフトに依存しない、シンプレクティック幾何学に基づく交差に基づくマスロフ指数の定式化を用いること。
• 線形化固有値問題の解から構成されるシンプレクティック行列の行列式としてエヴァンズ関数を定義すること。
• 固有値におけるエヴァンズ関数の微分を解析し、交差を検出するとともに、交差形式を計算して重複度を決定すること。
• ライブニッツの公式を用いてエヴァンズ関数の高階微分を計算し、非退化交差を検出することで単純固有値を特定すること。
• 交差形式の非退化性を用いて、単純固有値においてエヴァンズ関数の2階微分が非ゼロであることを証明し、幾何的重複度が1であることを確認すること。

実験結果

リサーチクエスチョン

• RQ1 マスロフ指数は、非対称勾配反応拡散系の移動波における不安定固有値の数を評価できるか？
• RQ2 フィッツフーリ・ナグumo系における高速移動波において、マスロフ指数は不安定固有値の正確な数え上げを提供するか？
• RQ3 エヴァンズ関数のシンプレクティック構造は、固有値の代数的重複度と幾何的重複度の違いをどのように明らかにするか？
• RQ4 移動波安定性の文脈において、ゼロ固有値の単純性の幾何的意味は何か？
• RQ5 ラグランジュ部分空間の交差理論を用いて、固有値問題を直接解かずに固有値の重複度を特定できるか？

主な発見

• マスロフ指数は、ハミルトニアン構造を持たない一般の非対称勾配系に対しても、実数の不安定固有値の数に対する下界を提供する。
• フィッツフーリ・ナグumo系における高速移動波に対して、マスロフ指数はすべての不安定固有値（実数および複素数を含む）の正確な数え上げを提供する。
• 固有値におけるエヴァンズ関数の2階微分が非ゼロであることは、かつてその条件が交差形式が非退化であることにのみ依存する。このとき、固有値の幾何的重複度は1である。
• 固有値の代数的重複度は、正規形における交差形式がゼロになる回数に等しく、その乖離は交差形式の固有値がゼロである個数に等しい。
• 線形化作用素のゼロ固有値が単純であることは、かつてλ=0における不安定部分空間の曲線がシンプレクティックな意味で安定部分空間と横断的に交わることと同値である。
• 固有値の幾何的重複度が1であることは、かつてその交点における相対的交差形式が非退化であることと同値であり、これはエヴァンズ関数の2階微分が非ゼロであることで検出可能である。