[論文レビュー] Graphical Krein Signature Theory and Evans-Krein Functions

Richard Kollár, Peter D. Miller|arXiv (Cornell University)|Sep 14, 2012

Quantum chaos and dynamical systems被引用数 1

ひとこと要約

本稿は、ハミルトニアン系における固有値のクレイン符号の図形的解釈を導入し、追加コストなしに一般化されたエヴァンズ関数（エヴァンズ・クレイン関数と呼ばれる）を用いてクレイン符号を単純かつ計算的に効率的に計算する手法を提供する。このアプローチにより、インデックス定理やスペクトル安定性基準（一般化されたバフチトフ＝コロコロフ基準を含む）の洗練された証明が可能となり、ペンシルパrameterizationにおける固有値曲線と実軸の相互作用を視覚化することで実現される。

ABSTRACT

Two concepts, very different in nature, have proved to be useful in analytical and numerical studies of spectral stability: (i) the Krein signature of an eigenvalue, a quantity usually defined in terms of the relative orientation of certain subspaces that is capable of detecting the structural instability of imaginary eigenvalues and hence their potential for moving into the right half-plane leading to dynamical instability under perturbation of the system, and (ii) the Evans function, an analytic function detecting the location of eigenvalues. One might expect these two concepts to be related, but unfortunately examples demonstrate that there is no way in general to deduce the Krein signature of an eigenvalue from the Evans function. The purpose of this paper is to recall and popularize a simple graphical interpretation of the Krein signature well-known in the spectral theory of polynomial operator pencils. This interpretation avoids altogether the need to view the Krein signature in terms of root subspaces and their relation to indefinite quadratic forms. To demonstrate the utility of this graphical interpretation of the Krein signature, we use it to define a simple generalization of the Evans function -- the Evans-Krein function -- that allows the calculation of Krein signatures in a way that is easy to incorporate into existing Evans function evaluation codes at virtually no additional computational cost. The graphical Krein signature also enables us to give elegant proofs of index theorems for linearized Hamiltonians in the finite dimensional setting: a general result implying as a corollary the generalized Vakhitov-Kolokolov criterion (or Grillakis-Shatah-Strauss criterion) and a count of real eigenvalues for linearized Hamiltonian systems in canonical form. These applications demonstrate how the simple graphical nature of the Krein signature may be easily exploited.

研究の動機と目的

• 有限次元ハミルトニアン系における固有値のクレイン符号を計算するための図形的手法を開発すること。
• クレイン符号情報を最小限の計算コストで組み込んだ新しいエヴァンズ・クレイン関数を定義すること。
• 複雑な部分空間や二次形式解析を回避する、クレイン符号の幾何的解釈を提供すること。
• 図形的フレームワークを用いて、スペクトル安定性理論における主要なインデックス定理を簡潔かつ洗練された形で証明すること。
• この手法を用いて一般化されたバフチトフ＝コロコロフ基準を導出し、正規ハミルトニアン系における実固有値の個数を数えること。

提案手法

• クレイン符号は、自己随伴ペンシル $ L(\lambda) = L - \lambda K $ の実固有値を用いた図形的解釈により行われる。ここで $ \lambda = i\nu \in \mathbb{R} $ であり、固有値は $ \mu(\lambda) $ 曲線と $ \mu = 0 $ の交点に対応する。
• エヴァンズ・クレイン関数は、標準エヴァンズ関数の変形であり、$ \mu(\lambda) $ 曲線の原点近傍における図形的挙動を通じて、固有値の位置とクレイン符号の両方を符号化する。
• 本手法は、$ \lambda \in \mathbb{R} $ における $ JL $ のスペクトルのペンシル $ L(\lambda) $ を用いたパラメータ化に依存し、特徴値は $ \det(L(\lambda)) = 0 $ の実根として特定される。
• ネストされた部分空間のフラッグ $ \{Y_s\} $ が、一般固有ベクトルおよびチェーン構造の特徴付けに用いられ、高次多重度およびジョルダンチェーンの解析が可能になる。
• ジョルダンチェーンの可解性は、$ U(\lambda) $, $ V(\lambda) $, $ D(\lambda) $ の $ \lambda_0 $ における導関数を用いた再帰的帰納法により解析され、$ D^{(s)}_0 \tilde{w}[m_0 - s] = 0 $ を含む可解性条件が得られる。
• 図形的解釈により、スペクトル安定性および分岐行動が $ \mu(\lambda) $ 曲線の幾何的条件に直接翻訳可能となり、特に原点近傍で顕著である。

実験結果

リサーチクエスチョン

• RQ1 固有値のクレイン符号は、自己随伴ペンシルのスペクトルに関して、どのように幾何学的に解釈できるか？
• RQ2 計算コストを増加させることなく、エヴァンズ関数をクレイン符号情報の符号化を可能にするように一般化できるか？
• RQ3 $ \mu(\lambda) $ 曲線の図形的挙動と、線形化ハミルトニアン系のスペクトル安定性の関係は何か？
• RQ4 図形的クレイン符号手法を用いて、線形化ハミルトニアンのインデックス定理をどのように導出できるか？
• RQ5 一般化されたバフチトフ＝コロコロフ基準は、この幾何的フレームワークを用いて再導出可能か？

主な発見

• 固有値のクレイン符号は、$ \mu(\lambda) = 0 $ となる点における導関数 $ \frac{d}{d\lambda} \mu(\lambda) $ の符号を分析することにより、図形的に決定可能であり、正（負）の導関数は正（負）の符号に対応する。
• エヴァンズ・クレイン関数は、標準エヴァンズ関数と図形的クレイン符号を組み合わせることで構築され、追加コストなしに固有値の位置と符号の両方を同時に計算可能である。
• 本手法により、ハミルトニアン系における孤立波のスペクトル安定性に関する一般化されたバフチトフ＝コロコロフ基準の、新規で初等的な証明が得られる。
• 正規線形化ハミルトニアン系における実固有値のインデックス定理が導出され、$ \mu(\lambda) $ 曲線における符号の変化の数を用いて実固有値の個数を数える。
• 長さ $ m $ のジョルダンチェーンの可解性が、$ m $ 個の独立した条件 $ D^{(s)}_0 \tilde{w}[m_0 - s] = 0 $ に等価であることが示され、これらは自然に図形的フレームワークに組み込まれる。
• 本フレームワークにより、ハミルトニアン＝ホップ分岐の条件が洗練された幾何的導出が可能となり、虚軸上に、逆符号のクレイン符号を持つ純虚数固有値の衝突が対応する。