[论文解读] Ghosts of Order on the Frontier of Chaos

Mark Muldoon|arXiv (Cornell University)|Oct 28, 2016

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

一句话总结

这篇1989年博士论文研究了哈密顿系统中在KAM定理之外的秩序持久性，聚焦于高维辛映射。通过数值逼近布氏周期轨道并结合严格的机器辅助计算，论文表明在受扰系统中，混沌区域仍包含被破坏的不变环面的残余——'秩序的幽灵'——以类似Cantori的结构形式存在，即使没有KAM环面留存，从而将Aubry-Mather理论扩展至四维。

ABSTRACT

What kinds of motion can occur in classical mechanics? We address this question by looking at the structures traced out by trajectories in phase space; the most orderely, completely integrable systems, are charactrized by phase trajectories confined to low-dimensional, invariant tori. The KAM theory examines what happens to the tori when an integrable system is subjected to a small perturbation and finds that, for small enough perturbations, most of them survive. The KAM theory is mute on the suject of the disrupted tori, but, for two dimensional systems, Aubry and Mather discovered an astonishing picture: the broken tori are replaced by "cantori", tattered, Cantor-set remnants of the original invariant curves. We seek to extend Aubry and Mather's picture to higher dimensional systems and report two kinds of studies; both concern perturbations of a completely integrable, four-dimensional symplectic map. In the first study we compute some numerical approximations to Birkhoff periodic orbits; sequences of such orbits should approximate any higher dimensional analogs of the cantori. In the second study we prove converse KAM theorems; that is, we use a combination of analytic arguments and rigorous, machine-assisted computations to find perturbations so large that no KAM tori survive. We are able to show that the last few of our Birkhoff orbits exist in a regime where there are no tori.

研究动机与目标

• 将Aubry和Mather关于Cantori（被破坏的不变环面的破碎残余）的理论从二维扩展至高维哈密顿系统。
• 研究在KAM环面不再存在的受扰可积系统中的相空间结构。
• 开发并应用严格的计算方法，以验证在大扰动下KAM环面的非存在性。
• 通过数值逼近布氏周期轨道，作为高维Cantori的候选者。
• 结合解析论证与机器辅助计算，建立反向KAM定理，以确认不变环面的不存在性。

提出的方法

• 在四维辛映射中数值计算布氏周期轨道，作为高维Cantori的近似。
• 应用变分原理，通过最小化作用泛函来定位周期轨道。
• 使用区间算术和任意精度算术，以确保计算误差的数学严格性与可控性。
• 实施利普希茨锥族与改进的坐标系，以分析双曲性及不变环面的非存在性。
• 通过全局估计与锥场优化，利用严格的机器辅助计算验证在大扰动下不存在KAM环面。
• 将从柱面空间推广的反向KAM技术适配至高维相空间，包括对称性利用与棱柱像的边界控制。

实验结果

研究问题

• RQ1 四维辛映射中的布氏周期轨道能否作为高维系统中Cantori的类比？
• RQ2 当KAM环面不再存在时，受扰四维可积系统中的相空间结构如何？
• RQ3 如何利用严格的计算方法证明在大扰动下不变环面的非存在性？
• RQ4 Aubry-Mather关于Cantori的图像在两自由度以上能在多大程度上被推广？
• RQ5 李雅普诺夫指数与轨道形状在识别混沌区域中秩序残余方面起什么作用？

主要发现

• 论文成功计算了四维辛映射中布氏周期轨道的数值近似，表明其可作为高维Cantori的候选者。
• 通过解析论证与机器辅助严格计算的结合，证明了在大扰动下KAM环面的非存在性。
• 最后计算的几条布氏轨道在无KAM环面存在的区域仍持续存在，表明以类似Cantori的结构形式存在'秩序的幽灵'。
• 使用区间算术与任意精度算术，确保所有计算边界的数学严格性与误差控制。
• 利普希茨锥族方法与棱柱像的边界控制，实现了对双曲性的全局严格估计，确认了不变环面的不存在性。
• 论文在高维中建立了反向KAM定理，证明对于足够大的扰动，即使在具有复杂相空间结构的系统中，KAM环面也均不复存在。