[论文解读] Local Stable and Unstable Manifolds for Anosov Families

Jeovanny de Jesus Muentes Acevedo|arXiv (Cornell University)|Sep 2, 2017

Mathematical Dynamics and Fractals参考文献 3被引用 4

一句话总结

本文建立了Anosov族的局部稳定与不稳定流形定理——即在具有双曲行为的黎曼流形序列上定义的非自治动力系统。通过广义Hadamard-Perron方法，构造了与稳定和不稳定分布相切的可微子流形，证明了其存在性、不变性、指数收缩/扩张性以及对初值的连续依赖性。

ABSTRACT

Anosov families were introduced by A. Fisher and P. Arnoux motivated by generalizing the notion of Anosov diffeomorphism defined on a compact Riemannian manifold. In addition to presenting several properties and examples of Anosov families, in this paper we build local stable and local manifolds for such families.

研究动机与目标

• 将经典稳定流形理论推广至非自治、非平稳的动力系统，借助Anosov族实现。
• 解决非自治设定下正交性缺失与流形间几何变化的问题。
• 在适当的衰减条件下，证明可接受流形与实际稳定与不稳定集重合。
• 在全空间中建立流形对初值连续依赖性的证明。
• 将Hadamard-Perron定理推广至具有时变双曲结构的系统。

提出的方法

• 引入Anosov族作为紧致黎曼流形之间具有统一双曲分裂的微分同胚序列，其切丛存在双曲分解。
• 通过可接受的范数族与衰减速率定义稳定与不稳定流形，使用正数序列 $\delta_n'$ 和 $\epsilon_n'$。
• 应用广义Hadamard-Perron定理，构造与 $E^s$ 和 $E^u$ 分布相切的可微子流形。
• 对序列 $\delta_n$ 和 $\epsilon_n$ 施加衰减条件 (4.1)，以确保轨道上指数收缩/扩张。
• 利用不变性性质：$f_{n-1}^{-1}(\mathcal{N}^u) \subseteq \mathcal{N}^u$ 与 $f_n(\mathcal{N}^s) \subseteq \mathcal{N}^s$，确保时间上的一致性。
• 通过序列收敛性论证证明连续依赖性，表明 $\mathcal{N}^r(p_m, \eta)$ 中序列的极限属于 $\mathcal{N}^r(p, \eta)$。

实验结果

研究问题

• RQ1 能否为Anosov族构造局部稳定与不稳定流形，其中底层流形与度量随时间变化？
• RQ2 在何种条件下，通过广义Hadamard-Perron方法构造的可接受流形与实际稳定与不稳定集重合？
• RQ3 流形的大小如何沿轨道演化？衰减速率能否被控制？
• RQ4 流形对初值的依赖性在全空间中是否连续？
• RQ5 该框架在多大程度上可推广至非一致双曲或随机动力系统？

主要发现

• 定理 4.6 证明了局部不稳定流形 $\mathcal{N}^u(p, \eta)$ 的存在性，其为 $M_n$ 上的可微子流形，且在 $\mathbf{f}_0^n(p)$ 处的切空间等于 $E^u$。
• 不稳定流形满足 $f_{n-1}^{-1}(\mathcal{N}^u(\mathbf{f}_0^n(p), \eta)) \subseteq \mathcal{N}^u(\mathbf{f}_0^{n-1}(p), \eta)$，确保其向后不变。
• 指数收缩得到量化：对任意 $q \in \mathcal{N}^u(p_{n+1}, \delta)$，有 $d(\mathbf{f}_{n+1}^{-(k+1)}(q), \mathbf{f}_{n+1}^{-(k+1)}(p_{n+1})) \leq \frac{2}{\Delta_{n+1}} \tilde{\lambda}^{k+1} d(q, p_{n+1})$。
• $\mathcal{N}^u(p, \eta)$ 对 $p$ 的依赖关系是连续的，其证明基于紧致流形中的序列收敛性。
• 定理 4.7 建立了稳定流形 $\mathcal{N}^s(p, \eta)$ 的类似结果，具有前向不变性与指数增长的控制。
• 在衰减条件 (4.1) 下，构造的可接受流形与实际稳定与不稳定集重合，从而证明了唯一性。