[论文解读] A proof of Morse's theorem about the cancellation of critical points

François Laudenbach|arXiv (Cornell University)|Jul 9, 2013

Advanced Topology and Set Theory参考文献 5被引用 3

一句话总结

本文为闭流形上指标为 $k$ 和 $k+1$ 的一对非退化临界点的莫尔斯消去定理提供了几何证明。通过将问题约化为一维模型并利用伪梯度流，作者构造了一个显式的莫尔斯函数形变，使得临界点被消去的同时保持梯度结构，证明了在不稳定流形与稳定流形横截相交且满足轨道条件时，消去是可能的。

ABSTRACT

In this note, we give a proof of the famous theorem of M. Morse dealing with the cancellation of a pair of non-degenerate critical points of a smooth function. Our proof consists of a reduction to the one-dimensional case where the question becomes easy to answer.

研究动机与目标

• 为指标连续的临界点提供一个几何且可视化的莫尔斯消去定理证明。
• 通过明确指定扰动的支集，使莫尔斯函数的形变过程具体化。
• 将一般消去问题约化为一维情形，使其可处理。
• 阐明伪梯度结构与横截性条件在实现消去中的作用。
• 以更清晰、几何化的方式恢复并推广米尔诺与斯梅尔的结果。

提出的方法

• 通过分析指标为 $k$ 和 $k+1$ 的临界点之间的流线，将消去问题约化为一维模型。
• 使用满足李雅普诺夫条件与非退化条件的伪梯度向量场 $X$，定义稳定流形与不稳定流形。
• 构造连接轨道 $\ell$ 从 $p$ 到 $q$ 的一个管状邻域 $\widetilde{W}$，其纤维化于 $M$ 中的一条曲线 $A$ 上。
• 在纤维 $\widetilde{D}_u$ 上定义一族莫尔斯函数 $f_u$，每个函数在该纤维上仅有一个指标为 $k$ 的临界点。
• 应用引理 2，平稳减小 $f_u$ 的临界值，同时保持伪梯度结构。
• 将形变扩展至整个邻域 $U$，以实现对 $(p,q)$ 对的消去，仅在 $t=1/2$ 时函数具有一个三次奇点，其余时刻函数保持为莫尔斯函数。

实验结果

研究问题

• RQ1 在何种几何条件下，闭流形上指标连续的两个临界点可在莫尔斯函数中被消去？
• RQ2 如何使消去过程在流形中几何上清晰可见，并明确支持其在流形中的实现？
• RQ3 伪梯度结构在实现临界点消去中起到何种作用？
• RQ4 能否将一般消去问题约化为一维模型以简化分析？
• RQ5 不稳定流形 $W^u(p) \cap W^s(q)$ 的横截性与轨道结构如何影响消去的可能性？

主要发现

• 若其不稳定流形与稳定流形在单个轨道上横截相交，并满足相对于一个正则水平集的全局交叉条件，则指标为 $k$ 和 $k+1$ 的临界点对可被消去。
• 莫尔斯函数的形变仅在 $U$ 的邻域内发生，其中 $U$ 为 $W^u(p) \cap \{f \geq f(q) - \varepsilon\}$ 的闭包的邻域，确保该区域外无变化。
• 在 $t=1/2$ 时，函数 $f_t$ 出现一个三次奇点，此为消去过程的中间阶段。
• 最终函数 $f_1$ 在 $U$ 内无临界点，确认了 $(p,q)$ 对的消去成功。
• 该证明表明，消去过程与伪梯度结构相容，整个形变过程中保持了流场动力学。
• 该结果推广了米尔诺与斯梅尔的判据，并为消去过程提供了构造性、几何化的实现。