[論文レビュー] The Morse index theorem for regular Lagrangian systems

Chaofeng Zhu|ArXiv.org|Sep 18, 2001

Geometric and Algebraic Topology参考文献 18被引用数 7

ひとこと要約

本稿は、自己随伴境界条件を満たす正則ラグランジュ系に対して、マスロフ型インデックスとスペクトルフローを用いることで、無限大のモーレス指数や意味のない共役点の重複度といった課題を解決し、一般化されたモーレス指数定理を確立する。主な結果は、モーレス指数が端点におけるマスロフ型インデックスの差として与えられることであり、微分幾何学的力学における変分問題に対して、有限次元的で頑健な不変量を提供する。

ABSTRACT

In this paper, we prove a Morse index theorem for the index form of regular Lagrangian system with selfadjoint boundary condition.

研究の動機と目的

• 古典的モーレス指数定理を自己随伴境界条件を満たす正則ラグランジュ系へ拡張すること。
• 作用関数の第二変分における無限大のモーレス指数という問題を解決すること。
• 共役点の重複度が意味を持たない可能性があるにもかかわらず、有限で整合性のあるインデックス不変量を定義すること。
• フレーム変換の下で、モーレス指数とマスロフ型インデックスとの関係を確立すること。
• 一般の境界制約を伴う多様体上の変分問題におけるインデックス計算の統一的枠組みを提供すること。

提案手法

• 作用関数の第二変分のインデックス形式を、$ H^1 $ 上のソボレフ空間上で扱い、適切に定義された双線形形式を保証する。
• 曲線上のフレーム $ e $ を導入し、局所座標で変動を表現することで、インデックス形式を行列微分作用素に変換する。
• 対称性および非退化性の条件を満たす行列値関数 $ p, q, r $ を用いて、インデックス形式を表現する。
• シンプレクティック群 $ \mathrm{Sp}(2n,\mathbb{C}) $ 内の作用素のパスのスペクトルフローを用いて、マスロフ型インデックスによるモーレス指数の特徴づけを実行する。
• フレームの変更におけるマスロフ型インデックスの変換法則を、$ \mathrm{diag}(a^*, a^{-1}) $ による共役を用いて導出し、異なる境界条件下でのインデックスを関連付ける。
• モーレス指数が端点におけるマスロフ型インデックスの差として与えられることを確立する：$ i_{W(R)}(\gamma_1) = \dim(\mathrm{Gr}(a(0)^{-1}) \cap R) - \dim(\mathrm{Gr}(a(T)^{-1}) \cap R) $。

実験結果

リサーチクエスチョン

• RQ1 第二変分のインデックスが無限大である場合、正則ラグランジュ系に対してモーレス指数をどのように意味的に定義できるか？
• RQ2 自己随伴境界条件の下で、モーレス指数とマスロフ型インデックスとの関係は何か？
• RQ3 曲線上のフレーム変更によって、モーレス指数はどのように変化するか？
• RQ4 この設定において、作用素のパスのスペクトルフローを用いてモーレス指数を計算できるか？
• RQ5 端点におけるラグランジュ部分空間を用いて、モーレス指数の明確な公式は何か？

主な発見

• 第二変分のモーレス指数は有限であり、シンプレクティックパスのスペクトルフローによって定義されるマスロフ型インデックス $ i_{W(R)}(\gamma_1) $ に等しい。
• インデックスは、$ \mathrm{Gr}(a(t)^{-1}) $ をフレームの逆行列のグラフとするとき、$ \dim_\mathbb{C}(\mathrm{Gr}(a(0)^{-1}) \cap R) - \dim_\mathbb{C}(\mathrm{Gr}(a(T)^{-1}) \cap R) $ の差として与えられる。
• フレーム $ a(t) $ の変更の下で、モーレス指数は $ \dim_\mathbb{C}(\mathrm{Gr}(I) \cap R') - \dim_\mathbb{C}(\mathrm{Gr}(I) \cap R) $ だけ変化し、境界条件のシフトを反映する。
• インデックス形式は、$ D^2E(c)(X,Y) = \int_0^T \left( (p\dot{x} + qx, \dot{y}) + (q^*\dot{x}, y) + (rx, y) \right) dt $ と表現され、$ p, r $ は対称的で $ p $ は正則である。
• フレーム変更による基本解 $ \gamma_1 $ の変換は、$ \gamma_1' = \mathrm{diag}(a^*, a^{-1}) \gamma_1 \mathrm{diag}(a(0)^{*-1}, a(0)) $ であり、シンプレクティック構造を保存する。
• 本結果は、デュイステルマートの定理を正則ラグランジュ系へ一般化し、半リーマンおよび部分リーマン設定におけるインデックス計算のための頑健な枠組みを提供する。