[论文解读] Arnold Diffusion, Quantitative Estimates and Stochastic Behavior in the Three-Body Problem

Maciej J. Capiński, Marian Gidea|arXiv (Cornell University)|Dec 10, 2018

Quantum chaos and dynamical systems参考文献 49被引用 4

一句话总结

本论文提出了一种拓扑方法，严格证明了在小时间周期扰动下哈密顿系统中的阿诺德扩散，证明了能量漂移独立于扰动大小 $\varepsilon$ 的轨道存在，存在混沌能量振荡，且当 $\varepsilon \to 0$ 时收敛于带漂移的布朗运动。该方法给出了扩散时间（$O(1/\varepsilon)$）、扩散轨道的勒贝格测度、混沌轨道的豪斯多夫维数以及随机极限的显式定量估计，并可应用于计算机辅助证明，以处理如平面椭圆限制性三体问题中的海王星-特里顿系统等具体模型。

ABSTRACT

We consider a class of autonomous Hamiltonian systems subject to small, time-periodic perturbations. When the perturbation parameter is set to zero, the energy of the system is preserved. This is no longer the case when the perturbation parameter is non-zero. We describe a topological method to establish orbits which diffuse in energy for every suitably small perturbation parameter $\varepsilon>0$. The method yields quantitative estimates: (i) The existence of orbits along which the energy drifts by an amount independent of $\varepsilon$. The time required by such orbits to drift is $O(1/\varepsilon)$; (ii) The existence of orbits along which the energy makes chaotic excursions; (iii) Explicit estimates for the Hausdorff dimension of the set of such chaotic orbits; (iv) The existence of orbits along which the time evolution of energy approaches a stopped diffusion process (Brownian motion with drift), as $\varepsilon$ tends to $0$. For each $\varepsilon$ fixed, the set of initial conditions of the orbits that yield the diffusion process has positive Lebesgue measure, and in the limit the measure of these sets approaches zero. Moreover, we can obtain any desired values of the drift and variance for the limiting Brownian motion, for appropriate sets of initial conditions. A key feature of our topological method is that it can be implemented in computer assisted proofs. We give an application to a concrete model of the planar elliptic restricted three-body problem, on the motion of an infinitesimal body relative to the Neptune-Triton system.

研究动机与目标

• 在任意小的时间周期扰动下，建立哈密顿系统中具有大能量漂移的轨道的存在性。
• 对扩散时间、扩散轨道的测度以及混沌轨道的豪斯多夫维数提供显式定量估计。
• 证明某些轨道的能量演化时间序列在扰动参数 $\varepsilon \to 0$ 时收敛于一个吸收扩散过程（带漂移的布朗运动）。
• 开发一种可在计算机辅助证明中实现的方法，利用验证性数值计算处理具体物理模型。
• 将该框架应用于平面椭圆限制性三体问题，特别是海王星-特里顿系统，在物理上合理的参数条件下进行分析。

提出的方法

• 基于相空间中不变流形和覆盖关系构造过渡链的拓扑方法。
• 通过有限精度验证有限个显式条件，推断 $\varepsilon > 0$ 的区间（包括趋近于零的值）的渐近行为。
• 使用符号动力学和圆盘传播来追踪集合在流作用下的演化，并建立扩散。
• 将该方法应用于具有作用量-角度变量的哈密顿系统，其中在未扰动情况下（$\varepsilon = 0$）$I$ 保持守恒。
• 通过在相空间中构造类似康托集的方法，估计混沌轨道的豪斯多夫维数。
• 通过证明某些轨道的能量演化在 $\varepsilon \to 0$ 时趋近于带漂移的布朗运动，推导出随机极限，并对漂移和方差进行显式控制。

实验结果

研究问题

• RQ1 阿诺德扩散能否在具体物理模型（如三体问题）中，于小扰动下被严格建立？
• RQ2 能量漂移固定量所需时间的显式定量边界是什么，且该边界是否独立于 $\varepsilon$？
• RQ3 对每个固定的 $\varepsilon > 0$，导致能量扩散的初始条件集合的勒贝格测度是多少？该测度在 $\varepsilon \to 0$ 时的行为如何？
• RQ4 表现出混沌能量振荡的轨道集合的豪斯多夫维数是多少？
• RQ5 当 $\varepsilon \to 0$ 时，能量演化的极限随机过程能否被显式描述？漂移和方差是否可通过初始条件进行控制？

主要发现

• 存在沿特定轨道的能量漂移，其大小独立于 $\varepsilon$，且实现该漂移所需的时间为 $O(1/\varepsilon)$。
• 对每个固定的 $\varepsilon > 0$，导致能量扩散的初始条件集合具有正的勒贝格测度，且该测度在 $\varepsilon \to 0$ 时趋于零。
• 表现出混沌能量振荡的轨道集合的豪斯多夫维数被显式估计，并且其下界为一个与 $\varepsilon$ 无关的正常数。
• 某些轨道的能量演化时间序列在 $\varepsilon \to 0$ 时收敛于一个吸收扩散过程（带漂移的布朗运动），且漂移和方差可通过初始条件显式控制。
• 该方法可应用于计算机辅助证明，利用验证性数值方法，实现对具体模型（如海王星-特里顿系统）的严格验证。
• 结果适用于平面椭圆限制性三体问题，且在物理上合理的参数条件下成立，包括海王星-特里顿系统的观测质量比和偏心率。