[论文解读] Topological method for symmetric periodic orbits for maps with a reversing symmetry

Daniel Wilczak, Piotr Zgliczyński|ArXiv.org|Jan 14, 2004

Quantum chaos and dynamical systems参考文献 5被引用 3

一句话总结

本文提出一种基于覆盖关系的拓扑方法，利用计算机辅助证明，严格证明了四维可逆映射中存在无穷多个对称周期轨道。通过结合区间分析与不稳定/稳定流形的追踪，该方法建立了保证任意高阶周期对称周期点存在的横截条件。

ABSTRACT

We present a topological method of obtaining the existence of infinite number of symmetric periodic orbits for systems with reversing symmetry. The method is based on covering relations. We apply the method to a four-dimensional reversible map.

研究动机与目标

• 开发一种拓扑方法，用于证明可逆动力系统中存在无穷多个对称周期轨道。
• 克服传统方法在检测高阶周期轨道时需迭代映射至高阶次所带来的计算局限性。
• 应用基于区间分析的严格数值技术，验证有限计算中的横截性与覆盖关系。
• 建立适用于高维可逆系统（特别是四维映射）的框架，其中对称周期轨道的检测具有非平凡性。

提出的方法

• 该方法使用 h-集合——带有指定坐标系的立方体，用于表示不稳定与稳定方向——来定义水平与垂直圆盘。
• 以拓扑方式定义覆盖关系 $ N \stackrel{P}{\Longrightarrow} M $，确保映射 $ P $ 在一个 h-集合上的像以非平凡方式跨越另一个 h-集合。
• 通过覆盖关系链 $ N_0 \stackrel{P}{\Longrightarrow} N_1 \cdots \stackrel{P}{\Longrightarrow} N_k = M $，将拓扑横截性从初始 h-集合传播至最终 h-集合。
• 利用区间分析计算映射及其导数的包含集，验证不稳定流形与不动点集 $ \mathrm{Fix}(S) $ 的横截性。
• 该方法依赖同伦论证，验证不稳定坐标下不稳定流形的像始终位于单位球外，而在稳定坐标下始终位于单位球内。
• 基于区间分析的算法被实现，用于检查边界与墙面条件，确保同伦避开临界集 $ M_c^+ $，从而验证覆盖关系。

实验结果

研究问题

• RQ1 能否通过结合计算机辅助证明的拓扑方法，建立四维可逆映射中存在无穷多个对称周期轨道的严格证明？
• RQ2 如何利用覆盖关系在多个迭代之间传播拓扑横截性，以检测高阶对称周期轨道？
• RQ3 在存在非线性与可逆性的情况下，何种数值验证技术可确保横截条件的严格验证？
• RQ4 该方法是否可应用于四维可逆映射，其中标准迭代方法因计算复杂度而失效？
• RQ5 不动点集 $ \mathrm{Fix}(S) $ 在形成对称周期轨道中的作用是什么？如何通过覆盖链对其进行拓扑关联？

主要发现

• 该方法成功利用有限次计算，证明了四维可逆映射中存在无穷多个对称周期轨道。
• 证明依赖于任意长度的覆盖关系链，从而保证了任意高阶周期对称周期点的存在性。
• 算法 1 与 2 中使用区间分析，确保了对不稳定与稳定流形横截条件的严格验证。
• 对引理 11 与引理 13 的数值验证共使用了约 2.2 × 10⁸ 个盒子，耗时约 36 分钟（在 2.4 GHz 处理器上）。
• 该方法通过用覆盖关系的拓扑传播替代迭代的不动点搜索，推广了 Devaney 基于横截性的方法。
• 该框架具有鲁棒性，适用于具有一个不稳定方向与一个稳定方向的系统，如先前在 Michelson 系统、限制性三体问题与 Henon-Heiles 系统中的应用所示。