[論文レビュー] Maslov index of Hamiltonian systems

Алессандро Порталури|ArXiv.org|May 9, 2004

Quantum chaos and dynamical systems参考文献 9被引用数 8

ひとこと要約

本稿では、線形非自励ハミルトニアン系の基本解のマスロフ指数を計算するための、簡素化された新しい証明を提示する。この証明は、コンリーゼンダー指数と、ラグランジュ部分空間の三重のカシワラ指数を含む補正項を用いる。主な結果は、マスロフ指数がコンリーゼンダー指数と、時刻1のフローマトリクスから導かれる対称行列の符号の半分の和として表されることを示しており、特にフローマトリクスが単位行列に戻る特殊ケースでは、マスロフ指数がコンリーゼンダー指数に一致する。

ABSTRACT

The aim of this paper is to give an explicit formula in order to compute the Maslov index of the fundamental solution of a linear autonomous Hamiltonian system, in terms of the Conley-Zehnder index and the time one flow.

研究の動機と目的

• 線形非自励ハミルトニアン系の基本解のマスロフ指数に対する明示的公式の提供。
• マスロフ指数をコンリーゼンダー指数と関連づけ、ラグランジュ部分空間の三重のカシワラ指数を用いて補正項を導出すること。
• 既知のマスロフ指数の公式（[8]で以前に確立済み）を、シンプレクティック線形代数における幾何学的・代数的技法を用いて、新しい簡素化された証明を提示すること。
• 時刻1のフローマトリクスがマスロフ指数を決定する際の役割を、符号計算を通じて明確にすること。

提案手法

• この手法は、コンリーゼンダー指数を基本不変量とし、ラグランジュ部分空間の三重のカシワラ指数に基づく補正項を導入する。
• ラグランジュ・グラスマンニアン、シンプレクティック自己同型、および単位円上に存在する固有値のクレイン符号といったシンプレクティック幾何学の道具を応用する。
• 補正項は、$ \psi(1) = \begin{pmatrix} A & B \\ C & D \end{pmatrix} $ が時刻1のフローマトリクスであるとき、対称行列 $ \widetilde{X} = C + (D - I_n)B^{-1}(I_n - A) $ から得られる。
• 行列 $ \widetilde{X} $ の符号は直交的対角化により計算され、特徴多項式の2次因子は、各ペアごとに正と負の固有値を1つずつ与えるため、符号に寄与しない。
• 証明は、行列 $ U = B^{-1}A $ の対称性の確認に依存しており、これにより $ \widetilde{X} $ の対称性が保証され、シンプレクティック行列の性質（例えば $ A^T D - C^T B = I_n $）を用いた恒等式が用いられる。
• 最終的な公式は、コンリーゼンダー指数と $ \widetilde{X} $ の符号の半分の和として得られ、$ \mu_{L_0}(\psi) = \mu_{CZ}(\psi) + \frac{1}{2} \mathrm{sign}(\widetilde{X}) $ となる。

実験結果

リサーチクエスチョン

• RQ1 線形非自励ハミルトニアン系の基本解のマスロフ指数は、既知の不変量を用いてどのように明示的に計算できるか？
• RQ2 このような系において、マスロフ指数とコンリーゼンダー指数を結ぶ正確な補正項は何か？
• RQ3 時刻1のフローマトリクスはマスロフ指数にどのように影響を与えるか？その背後にある代数的構造は何か？
• RQ4 マスロフ指数がコンリーゼンダー指数に簡略化される条件は何か？
• RQ5 ラグランジュ部分空間の三重のカシワラ指数は、マスロフ指数の計算において果たす役割は何か？

主な発見

• 線形非自励ハミルトニアン系 $ w'(x) = Hw(x) $ の基本解 $ \psi $ のマスロフ指数は、$ \mu_{L_0}(\psi) = \mu_{CZ}(\psi) + \frac{1}{2} \mathrm{sign}(\widetilde{X}) $ で与えられ、ここで $ \widetilde{X} = C + (D - I_n)B^{-1}(I_n - A) $ である。
• $ \psi(1) = I_{2n} $ のとき、補正項は消え、マスロフ指数はコンリーゼンダー指数に等しくなる：$ \mu_{L_0}(\psi) = \mu_{CZ}(\psi) $。
• $ \psi(1) $ の純虚数のクレイン正固有値 $ e^{i\alpha_j} $ に対して、マスロフ指数は $ \sum_{j=1}^k g\left(\frac{\alpha_j}{\pi}\right) + \frac{1}{2} \mathrm{sign}(\widetilde{X}) $ となる。ここで $ g $ は二重整数部関数である。
• 行列 $ \widetilde{X} $ は対称であり、その符号が補正項を決定する。符号に寄与するのは、対称行列 $ X $ の固有値のみである。
• 証明により、$ B^{-1}A $ が対称であることが示され、これにより $ \widetilde{X} $ の対称性が保証され、符号計算に不可欠である。
• 導出により、$ Y $ の特徴多項式から得られる $ X $ の2次因子が、各根に対して正と負の固有値を1つずつ与え、符号に寄与しないことが確認された。