[论文解读] Rigorous treatment of the averaging process for co-orbital motions in the planetary problem

Philippe Robutel, Laurent Niederman+1 more|arXiv (Cornell University)|Jun 9, 2015

Quantum chaos and dynamical systems参考文献 22被引用 16

一句话总结

本文提出了一套严格的解析框架，用于在行星三体问题中研究共轨运动，采用哈密顿平均化方法。通过构建一个复解析域并估计变换的大小，证明了在长时间尺度上，平均化动力学始终接近一个可积近似，从而建立了由于摄动引起的轨道偏差的定量界限。

ABSTRACT

We develop a rigorous analytical Hamiltonian formalism adapted to the study of the motion of two planets in co-orbital resonance. By constructing a complex domain of holomorphy for the planetary Hamilto-nian, we estimate the size of the transformation that maps this Hamil-tonian to its first order averaged over one of the fast angles. After having derived an integrable approximation of the averaged problem, we bound the distance between this integrable approximation and the averaged Hamiltonian. This finally allows to prove rigorous theorems on the behavior of co-orbital motions over a finite but large timescale.

研究动机与目标

• 开发共轨行星系统的严格解析哈密顿形式，其中由于强共振效应，标准的摄动平均化方法失效。
• 利用复解析域的性质，估计将非平均化哈密顿量映射到其一阶平均形式的变换大小。
• 构造平均化哈密顿量的可积近似，并界定其与真实平均化系统之间的余项。
• 通过结合变换大小估计与余项界限，证明共轨运动长期行为的严格定理。
• 在合理行星质量比下，为有限但长时间尺度上的轨道偏差提供定量、非微扰的界限。

提出的方法

• 为行星哈密顿量构建复解析域，以实现对摄动项的严格解析估计。
• 应用柯西型不等式，界定哈密顿向量场及与快速角度（平黄经）平均化相关的变换的大小。
• 利用加权巴拿赫空间中的范数，推导平均化过程中余项的显式估计，包括摄动项 $ H_* $、摄动部分 $ ar{H}_0^* $ 和剩余项 $ R $。
• 通过一系列辛变换实现系统简化：线性缩放 $ oldsymbol{ ho} $、正则变换 $ oldsymbol{ heta} $ 和非线性平均化映射 $ oldsymbol{ ho} $。
• 通过控制变换大小与余项大小，建立真实解与可积近似之间误差的界限。
• 结合变换大小与余项大小的估计，推导出作用变量偏离其初始值的时间依赖界限。

实验结果

研究问题

• RQ1 在共轨共振背景下，如何严格估计将非平均化哈密顿量映射到其一阶平均形式的变换大小？
• RQ2 平均化哈密顿量与其可积近似之间的定量距离是多少？这对长期轨道稳定性有何影响？
• RQ3 共轨运动在多长的时间尺度内保持接近可积近似？能否实现严格的界限？
• RQ4 在变换远离恒等变换的共振区域中，能否通过解析估计证明标准平均化方法的合理性？
• RQ5 在给定的解析框架下，有限但长时间尺度内作用变量相对于其初始值的最大偏差是多少？

主要发现

• 将非平均化哈密顿量映射到一阶平均化形式的变换大小被限制在 $ \frac{8M\tau}{\rho\theta} \frac{\rho}{\theta} $ 以内，其中 $ M $、$ \rho $、$ \theta $ 和 $ \tau $ 分别与系统的质量、域大小和频率相关。
• 平均化哈密顿量与其可积近似之间的余项被限制在 $ \frac{M\tau}{\theta} \rho \frac{21}{2} \frac{\rho}{\theta} + 40 \frac{\rho}{\theta} \frac{\rho}{\theta} $ 以内，确保在不变流形附近摄动极小。
• 解保持在初始值 $ \rho $-邻域内的时长 $ \tau $ 有如下下界：$ \frac{\rho^2}{4L} $，其中 $ L $ 与余项大小成正比。
• 第二作用变量 $ I_2 $ 偏离其初始值的偏差被限制在 $ \frac{2L}{\rho\theta} |t| $ 以内，确保在 $ |t| \neq \frac{\rho^2}{4L} $ 的时间尺度上保持稳定。
• 真实变量与平均化变量之间的变换满足 $ \big\bracevert \frac{\rho}{\theta} \big\bracevert < \frac{\rho}{4} $，确保解保持在解析域内。
• 原始变量中的解满足 $ \big\bracevert Z_2(t) - Z_2(0) \big\bracevert < \rho $ 对于 $ |t| \neq \frac{\rho^2}{4L} $，从而在解析控制下证明了共轨构型的长期稳定性。