[论文解读] Implicit gauge symmetry emerging in the N-body problem of celestial mechanics

Michael Efroimsky|ArXiv.org|Dec 10, 2002

Geophysics and Gravity Measurements参考文献 22被引用 9

一句话总结

本文揭示了天体力学N体问题中一种隐含的规范对称性，表明拉格朗日方程与达朗贝尔方程将运动约束在12(N−1)维轨道元素及其时间导数空间中的一个9(N−1)维子流形上。选择该子流形的自由度——等价于规范固定——揭示了一种类比于电动力学中的隐藏对称性，为改进数值积分方案提供了可能，同时也指出了当计算中未保持规范条件时，存在数值不稳定的根源。

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.

研究动机与目标

• 识别天体力学中拉格朗日与达朗贝尔系统中此前被忽视的对称性。
• 证明轨道运动被约束在轨道元素及其时间导数的12(N−1)维相空间中的一个9(N−1)维子流形上。
• 表明选择该子流形的自由度对应于规范自由度，类比于电动力学中的规范自由度。
• 探讨该对称性对数值积分的影响，包括可能的简化与不稳定性来源。
• 在不施加特定规范条件的前提下，推导拉格朗日型与达朗贝尔型方程的规范不变形式。

提出的方法

• 将拉格朗日与达朗贝尔方程重新表述为在由轨道元素及其时间导数张成的12(N−1)维相空间上的约束系统。
• 识别物理轨道所处的9(N−1)维子流形，该子流形由拉格朗日规范条件及其推广定义。
• 通过向量场˜Φ引入广义规范条件，参数化选择子流形的自由度。
• 推导运动方程的规范不变形式（拉格朗日型为式66–71，达朗贝尔型为式77），这些形式在任意规范变换下保持不变。
• 通过分析表明，偏离精确规范条件（即˜Φ ≠ 0）会随时间累积为一种“规范位移”型误差，揭示其数值影响。
• 借鉴场论中的规范理论，特别是电动力学，将该对称性框架化为N体问题的隐藏内部对称性。

实验结果

研究问题

• RQ1 拉格朗日与达朗贝尔方程组在N体问题中的几何与动力学结构基础是什么？
• RQ2 选择轨道元素演化子流形的自由度如何与规范对称性相关联？
• RQ3 能否利用这些系统中的规范自由度来简化数值轨道积分？
• RQ4 为何在数值模拟中精确保持规范条件至关重要？其违反会产生何种后果？
• RQ5 向量场˜Φ在参数化规范自由度及校正数值误差方面起到何种作用？

主要发现

• 由拉格朗日与达朗贝尔系统描述的运动被约束在轨道元素及其时间导数的12(N−1)维相空间中的一个9(N−1)维子流形上。
• 选择该子流形的自由度对应一种隐藏的规范对称性，类比于电动力学中的规范对称性，其中规范条件是系统演化的一个约束。
• 推导出方程的规范不变形式（式66–71与式77），表明物理解与规范选择无关。
• 违反规范条件的数值积分误差（即˜Φ ≠ 0）会随时间累积，构成一种独特的误差类型，扭曲系统的正则结构。
• 此类规范误差可能成为数值不稳定的根源，因为它们无法被标准积分器消除，且会影响轨道形状与时间参数化。
• 选择不同于标准拉格朗日条件的规范，可能简化运动方程，为更高效的数值积分方案开辟路径。