[论文解读] Equations for the orbital elements: Hidden Symmetry

Michael Efroimsky|arXiv (Cornell University)|Dec 10, 2002

High-pressure geophysics and materials参考文献 10被引用 11

一句话总结

本文揭示了拉格朗日和达朗贝尔关于轨道要素方程中被忽视的规范对称性，表明其演化发生在12维相空间中的9维子流形上。通过识别这种隐含对称性——类似于电动力学中的规范不变性——该研究提出了简化轨道积分的新策略，并指出若忽略此对称性，可能引发数值不稳定性。

ABSTRACT

We revisit the Lagrange and Delaunay systems of equations for the orbital elements, and point out a previously neglected aspect of these equations: in both cases the orbit resides on a certain 9-dimensional submanifold of the 12-dimensional space spanned by the orbital elements and their time derivatives. We demonstrate that there exists a vast freedom in choosing this submanifold. This freedom of choice (=freedom of gauge fixing) reveals a symmetry hiding behind Lagrange’s and Delaunay’s systems, which is, mathematically, analogous to the gauge invariance in electrodynamics. Just like a convenient choice of gauge simplifies calculations in electrodynamics, so the freedom of choice of the submanifold may, potentially, be used to create simpler schemes of orbit integration. On the other hand, the presence of this feature may be a previously unrecognised source of numerical instability. We provide a practical example of a situation that cannot be correctly handled unless the said gauge-type freedom is taken into account. 1 1 Prefatory notes

研究动机与目标

• 识别经典轨道要素运动方程中此前被忽视的对称性。
• 证明拉格朗日和达朗贝尔系统均被约束在12维相空间中的9维子流形上。
• 探讨选择该子流形的自由度（规范自由度）对数值轨道积分的影响。
• 表明忽略此对称性可能导致轨道动力学模拟中的数值不稳定性。
• 提供一个具体实例，说明正确处理规范自由度对获得正确数值结果至关重要。

提出的方法

• 分析拉格朗日和达朗贝尔方程的结构，以识别对轨道要素及其时间导数12维空间中的约束。
• 识别出轨道动力学实际演化的9维子流形，尽管考虑的是完整的12维相空间。
• 将选择该子流形的自由度形式化为规范固定选择，类比于电动力学中的规范自由度。
• 使用微分几何形式化轨道要素方程背后的对称性结构。
• 构建一个实际例子，说明错误处理规范自由度会导致数值失败。
• 证明通过恰当选择子流形（规范）可简化轨道积分方案。

实验结果

研究问题

• RQ1 拉格朗日和达朗贝尔形式下轨道要素运动方程背后的几何结构是什么？
• RQ2 9维约束流形的存在如何影响轨道要素的动力学与数值积分？
• RQ3 选择约束子流形的自由度在何种意义上类比于场论中的规范不变性？
• RQ4 在轨道运动的数值模拟中忽略这种类规范自由度会产生何种后果？
• RQ5 能否利用此对称性设计出更稳定或更高效的轨道积分算法？

主要发现

• 轨道要素及其时间导数在所有可能取值的12维空间中，演化于一个9维子流形上。
• 存在选择该子流形的极大自由度，这对应于方程中的类规范对称性。
• 该对称性在数学上类比于电动力学中的规范不变性，提示可应用类似的简化技术。
• 忽略此规范自由度可能导致轨道积分中的数值不稳定性，已通过具体反例证明。
• 该对称性的存在意味着通过审慎选择子流形（规范固定）可构建更稳定或更高效的积分方案。