[論文レビュー] A Stability Index for Traveling Waves in Activator-Inhibitor Systems

Paul Cornwell, Christopher K. R. T. Jones|arXiv (Cornell University)|Mar 22, 2017

Advanced Differential Equations and Dynamical Systems参考文献 25被引用数 3

ひとこと要約

本稿では、アダプタ-インヒビター反応拡散系における移動波の安定性指数を、エヴァンズ関数のシンプレクティック形式とマスロフ指数を用いて導入する。マスロフ指数の偶奇がゼロにおけるエヴァンズ関数の微分の符号を決定することを示すことにより、スペクトル安定性の幾何的基準を提供する。インデックスは、シンプレクティック検出形式によって特定される共役点を介して計算される。

ABSTRACT

We consider the stability of nonlinear traveling waves in a class of activator-inhibitor systems. The eigenvalue equation arising from linearizing about the wave is seen to preserve the manifold of Lagrangian planes for a nonstandard symplectic form. This allows us to define a Maslov index for the wave corresponding to the spatial evolution of the unstable bundle. We formulate the Evans function for the eigenvalue problem and show that the parity of the Maslov index determines the sign of the derivative of the Evans function at the origin. The connection between the Evans function and the Maslov index is established by a "detection form," which identifies conjugate points for the curve of Lagrangian planes.

研究の動機と目的

• トポロジカル不変量を用いて、アダプタ-インヒビター系における移動波の幾何的安定性基準を開発すること。
• ゼロにおけるエヴァンズ関数の微分と波の不安定束のマスロフ指数との間の関係を確立すること。
• ラグランジュ平面を保存する非標準的シンプレクティック構造を用いて、エヴァンズ関数のシンプレクティック版を定式化すること。
• 不安定束の空間的進化に沿うラグランジュ平面の曲線上の共役点を特定する検出形式を導入すること。
• 特異摂動領域、例えば高速-低速ダイナミクスに理論を適用し、移動波解のマスロフ指数を計算すること。

提案手法

• 線形化された移動波の固有値問題を、ラグランジュ平面の多様体を保存する非標準的シンプレクティック形式を用いてシンプレクティック枠組みに再定式化する。
• マスロフ指数は、空間的進化に伴い不安定束が固定ラグランジュ部分空間と交差する符号付き交差回数として定義されるトップロジカル不変量である。
• 曲線上のラグランジュ平面に沿う共役点を特定するための検出形式を導入し、ここで不安定束が非自明に固定部分空間と交差する。
• エヴァンズ関数をシンプレクティックな用語に再定式化し、そのλ=0における微分が交差理論を介してマスロフ指数の偶奇と関連づけられる。
• 特異摂動されたアダプタ-インヒビター系（高速・低速ダイナミクスを有する）にこの手法を適用し、波形に沿ってマスロフ指数を部分的に計算する。
• 各セグメント（高速ジャンプと低速多様体）におけるマスロフ指数への寄与を、交差形式を用いて計算し、符号はシンプレクティック構造によって決定される。

実験結果

リサーチクエスチョン

• RQ1 マスロフ指数は、アダプタ-インヒビター系における移動波のゼロにおけるエヴァンズ関数の微分の符号をどのように決定するか？
• RQ2 シンプレクティック構造は、空間的進化に伴う不安定束のラグランジュ性をどのように維持するか？
• RQ3 シンプレクティック設定において、微分形式を用いて不安定束に沿う共役点をどのように検出できるか？
• RQ4 特異移動波の高速部と低速部が、総マスロフ指数にどのように寄与するか？
• RQ5 マスロフ指数の偶奇は、チューリング型非線形性を有するアダプタ-インヒビター系におけるスペクトル安定性を予測できるか？

主な発見

• マスロフ指数の偶奇が、λ=0におけるエヴァンズ関数の微分の符号を決定し、偶数指数は微分が正であることを示唆する。
• 研究対象のアダプタ-インヒビター系における移動波のマスロフ指数はゼロに計算され、これは偶数性を示し、結果としてゼロにおけるエヴァンズ関数の微分が正であることを意味する。
• 2つの高速ジャンプそれぞれに1つの共役点があり（それぞれ-1寄与）、2つの低速多様体それぞれにも1つの共役点があり（それぞれ+1寄与）るため、総マスロフ指数はゼロとなる。
• 交差形式の計算により、高速ジャンプの交差は負定値であり、低速多様体の交差は正定値であることが確認され、指数への寄与と整合的である。
• この結果は、D′(0) > 0 を示し、λが大きい場合のD(λ) > 0 および正の固有値が存在しないことと併せ、高速移動波のスペクトル安定性を支持する。
• 本手法は、反応拡散系における安定性解析のための、直接的固有値計算とは異なる幾何的・トポロジカルな代替手法を提供する。