[论文解读] Lyapunov stable chain recurrent classes

Jiagang Yang|ArXiv.org|Dec 4, 2007

Mathematical Dynamics and Fractals参考文献 24被引用 11

一句话总结

本文证明了在远离同宿横截的 $C^1$ 拓扑稠密微分同胚中，周期点的稳定流形在全空间中稠密。通过通用性论证与连接引理，证明了李雅普诺夫稳定链递归类是同宿类，并具有特定的主导分裂，为博纳蒂猜想及更广泛的帕利斯 $C^1$ 通用动力学猜想提供了部分证据。

ABSTRACT

We show that for a $C^1$ residual subset of diffeomorphisms far away from homoclinic tangency, the stable manifolds of periodic points cover a dense subset of the ambient manifold. This gives a partial proof to a conjecture of C. Bonatti.

研究动机与目标

• 为 C. 博纳蒂关于周期点稳定流形在通用 $C^1$ 微分同胚中稠密的猜想提供部分证明。
• 在通用动力学背景下，研究李雅普诺夫稳定链递归类的结构。
• 通过验证特殊链递归类中关于主导分裂与同宿类结构的较弱猜想，支持更广泛的 $C^1$ 帕利斯猜想。
• 确立李雅普诺夫稳定链递归类为同宿类，并具有与指标相关的主导分裂。

提出的方法

• 使用 $C^1$ 拓扑稠密集 $R \subset (\overline{HT^{1}})^c$ 分析远离同宿横截的通用动力学。
• 在动态一致区域应用连接引理，构造扰动以生成在指定集合中具有高密度的周期轨道。
• 采用收敛于 $f$ 的微分同胚序列 $g_n$，使得 $g_n$ 的周期轨道中超过比例 $s$ 的点位于有限个集合 $\bigcup_{i=1}^N \Phi_i$ 内，从而保证通用性。
• 利用通用性质引理，将 $g_n$ 上的稠密性性质提升至原始微分同胚 $f$，确保 $f$ 本身也存在一个周期点，其轨道在 $\bigcup_{i=1}^N \Phi_i$ 中具有高密度。
• 通过局部动力学与受控扰动分析李雅普诺夫稳定链递归类附近的动力学，以验证主导分裂的存在性。
• 应用克罗维西耶的中心模型及基本极限的性质，刻画通用设定下同宿类的结构。

实验结果

研究问题

• RQ1 在远离同宿横截的通用 $C^1$ 微分同胚中，李雅普诺夫稳定链递归类是否必为同宿类？
• RQ2 每个李雅普诺夫稳定同宿类是否都具有指标 $i_0$ 的主导分裂，且满足 $E^{cs}_{i_0}$ 收缩，或具有余维一的次级主导分裂？
• RQ3 在无双曲性与无同宿横截条件下，能否建立周期点稳定流形的通用稠密性？
• RQ4 关于链递归类结构的猜想（如猜想 4、7）在李雅普诺夫稳定类的特殊情形下在多大程度上成立？
• RQ5 能否通过李雅普诺夫稳定链递归类的结构推进 $C^1$ 帕利斯猜想？

主要发现

• 对于拓扑稠密集 $R \subset (\overline{HT^{1}})^c$，周期点稳定流形的并集在流形 $M$ 中稠密，支持博纳蒂猜想。
• 此类通用微分同胚中，每个李雅普诺夫稳定链递归类均为同宿类。
• 对于任意最小指标为 $i_0$ 的李雅普诺夫稳定同宿类 $C$，其在 $C$ 上的切丛 admits 主导分裂 $T_C M = E^{cs}_{i_0} \oplus E^{cu}_{i_0+1}$。
• 若 $E^{cs}_{i_0}$ 收缩，则 $C$ 为指标 $i_0$ 的基本极限；或其可分解为 $E^{s}_{i_0-1} \oplus E^{c}_1$，其中 $E^{s}_{i_0-1}$ 收缩且 $\dim(E^c_1|_C) = 1$，此时 $C$ 同时为指标 $i_0-1$ 与 $i_0$ 的基本极限。
• 结果为猜想 4 与 7 提供了强有力证据，尤其在李雅普诺夫稳定情形下，支持更广泛的 $C^1$ 帕利斯猜想。
• 证明方法依赖于扰动与轨道稠密性论证，确认此类通用 $C^1$ 微分同胚展现出丰富但结构清晰的轨道结构。