[论文解读] Morse Theory of Attractors via Lyapunov Functions

Desheng Li|arXiv (Cornell University)|Mar 1, 2010

Stability and Controllability of Differential Equations参考文献 23被引用 6

一句话总结

本文通过构建连续且径向无界的全局莫尔斯-利雅普诺夫函数，为完备度量空间上半流的吸引子发展了一套莫尔斯理论框架，实现了变形引理与莫尔斯集临界群的定义。关键贡献在于仅使用连续利雅普诺夫函数即建立了吸引子的莫尔斯不等式与方程，将经典莫尔斯理论推广至非光滑情形，适用于动力系统与控制理论。

ABSTRACT

This paper is concerned with the Morse theory of attractors for semiflows on complete metric spaces. First, we construct global Morse-Lyapunov functions for Morse decompositions of attractors. Then we extend some well known deformation results in the critical-point theory to Morse-Lyapunov functions which are only continuous. Based on these works, we finally introduce the concept of critical groups for Morse sets and establish Morse inequalities and Morse equations for attractors.

研究动机与目标

• 将经典莫尔斯理论推广至完备度量空间上半流的吸引子，仅使用连续利雅普诺夫函数。
• 在吸引 basin 整个区域上构造全局莫尔斯-利雅普诺夫函数，而不仅限于吸引子本身。
• 将光滑临界点理论中的变形引理由光滑情形推广至连续莫尔斯-利雅普诺夫函数。
• 为莫尔斯集定义临界群，并在缺乏光滑性条件下建立莫尔斯不等式与方程。
• 探讨商相空间结构及其对临界群不变量的影响。

提出的方法

• 在吸引 basin $\Omega$ 上构造一个连续的莫尔斯-利雅普诺夫函数 $V \in C(\Omega)$，使得当 $x \to \partial\Omega$ 时 $V \to \infty$。
• 通过 Dini 导数 $D^+V(x) < -v(x) < 0$ 确保 $V$ 沿轨迹在 $\Omega \setminus \mathcal{R}$ 上严格递减，其中 $\mathcal{R} = \bigcup M_k$。
• 定义临界群 $C_q(M_k) = H_q(V_b, V_a)$，其中 $a < c_k < b$，且 $c_k = V(M_k)$ 为区间 $[a,b]$ 内唯一的广义临界值。
• 证明：若 $V^{-1}([a,b])$ 不包含任何莫尔斯集，则 $V_a$ 是 $V_b$ 的强形变收缩。
• 引入商相空间 $\tilde{X} = X / \sim$，并定义商临界群 $\tilde{C}_q(M_k) = H_q(\tilde{V}_b, \tilde{V}_a)$。
• 利用相对同调与有限秩假设，在原始与商设置下建立莫尔斯不等式与方程。

实验结果

研究问题

• RQ1 能否仅使用连续利雅普诺夫函数，将莫尔斯理论扩展至完备度量空间上半流的吸引子？
• RQ2 如何将光滑临界点理论中的变形引理由光滑情形推广至连续莫尔斯-利雅普诺夫函数？
• RQ3 在缺乏光滑性时，对莫尔斯集的临界群应如何正确定义？
• RQ4 商临界群与标准临界群有何不同？它们编码了哪些动力学信息？
• RQ5 在何种条件下，对于具有连续利雅普诺夫函数的吸引子，莫尔斯不等式与方程成立？

主要发现

• 本文构造了一个全局莫尔斯-利雅普诺夫函数 $V \in C(\Omega)$，其为径向无界且在莫尔斯集外沿轨迹严格递减。
• 证明了当 $V^{-1}([a,b])$ 不包含任何莫尔斯集时，$V_a$ 是 $V_b$ 的强形变收缩，将经典变形结果推广至连续函数情形。
• 对于单个平衡点莫尔斯集 $M_k$，若 $V^{-1}((c,b])$ 不包含其他莫尔斯集，则对所有 $b > c$，$V_c$ 是 $V_b$ 的强形变收缩。
• 临界群 $C_q(M_k)$ 定义为 $H_q(V_b, V_a)$，当 $M_k$ 为单个平衡点时，有 $C_q(M_k) = 0$ 对所有 $q$ 成立，如在 $M_2 = S^1$ 的例子中所示。
• 在商相空间中，$\tilde{C}_q(M_2) \cong H_q(S^2, [0]) \cong \mathbb{G}$ 对 $q=2$，其余情况为 $0$，表明商临界群可能与标准临界群不同。
• 本文在原始与商设置下均建立了莫尔斯不等式与莫尔斯方程，且对莫尔斯型数的交错和具有收敛条件。