[论文解读] The Morse index theorem for regular Lagrangian systems

Chaofeng Zhu|ArXiv.org|Sep 18, 2001

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

一句话总结

该论文通过使用Maslov型指标和谱流，利用正规拉格朗日系统在自伴边界条件下的广义Morse指数定理，解决了无限Morse指数和共轭点重数无定义等挑战。关键结果表明，Morse指数等于端点处Maslov型指标的差值，为几何力学中的变分问题提供了一个稳健的、有限维的不变量。

ABSTRACT

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

研究动机与目标

• 将经典Morse指数定理推广至具有自伴边界条件的正规拉格朗日系统。
• 解决作用泛函二阶变分中Morse指数无限的问题。
• 尽管共轭点重数可能无意义，仍定义一个有限且结构良好的指标不变量。
• 在框架变换下，建立Morse指数与Maslov型指标之间的关系。
• 为流形上具有通用边界约束的变分问题提供统一的指标计算框架。

提出的方法

• 在Sobolev空间 $ H^1 $ 上使用作用泛函二阶变分的指标形式，确保双线性形式有定义。
• 沿曲线引入一个框架 $ e $，以局部坐标表达变分，将指标形式转化为矩阵微分算子。
• 以满足对称性和非退化性条件的矩阵值函数 $ p, q, r $ 表示指标形式。
• 应用Maslov型指标，通过辛群 $ \mathrm{Sp}(2n,\mathbb{C}) $ 中算子路径的谱流来表征Morse指数。
• 利用框架变换下Maslov型指标的变换律（通过 $ \mathrm{diag}(a^*, a^{-1}) $ 共轭导出），关联不同边界条件下的指标。
• 将Morse指数确立为端点处Maslov型指标的差值：$ i_{W(R)}(\gamma_1) = \dim(\mathrm{Gr}(a(0)^{-1}) \cap R) - \dim(\mathrm{Gr}(a(T)^{-1}) \cap R) $。

实验结果

研究问题

• RQ1 当二阶变分具有无限指标时，如何为正规拉格朗日系统有意义地定义Morse指数？
• RQ2 在自伴边界条件下，Morse指数与Maslov型指标之间存在何种关系？
• RQ3 沿曲线改变框架时，Morse指数如何变化？
• RQ4 能否使用算子路径的谱流来计算此设定下的Morse指数？
• RQ5 Morse指数关于端点处拉格朗日子空间的精确公式是什么？

主要发现

• 二阶变分的Morse指数是有限的，且等于通过辛路径谱流定义的Maslov型指标 $ i_{W(R)}(\gamma_1) $。
• 该指标由差值 $ \dim_\mathbb{C}(\mathrm{Gr}(a(0)^{-1}) \cap R) - \dim_\mathbb{C}(\mathrm{Gr}(a(T)^{-1}) \cap R) $ 给出，其中 $ \mathrm{Gr}(a(t)^{-1}) $ 是逆框架的图像。
• 在框架 $ a(t) $ 变换下，Morse指数增加 $ \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)) $，保持辛结构。
• 该结果将Duistermaat定理推广至正规拉格朗日系统，并为半黎曼和子黎曼设定下的指标计算提供了稳健的框架。