[論文レビュー] 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）を導出すること。
• ゲージ条件の正確な保持が保たれない場合に生じる偏差（すなわち非ゼロの ˜Φ）が、時間経過とともに「ゲージシフト誤差」として蓄積されることを示し、数値的影響を分析すること。
• 特に電磁力学を含む場の理論におけるゲージ理論と類似させ、この対称性をN体問題の隠れた内部対称性として位置づけること。

実験結果

リサーチクエスチョン

• RQ1 N体問題におけるラグランジュおよびデラウンイ方程式系の背後にある幾何学的・力学的構造は何か？
• RQ2 軌道要素の時間発展における部分多様体の選び方の自由度は、どのようにゲージ対称性と関係しているか？
• RQ3 これらの系におけるゲージ自由度は、数値的軌道積分の簡略化に利用可能か？
• RQ4 数値シミュレーションにおいて、ゲージ条件の正確な保持がなぜ重要であり、その違反の結果として何が生じるか？
• RQ5 ベクトル場 ˜Φ は、ゲージ自由度をパラメータ化し、数値誤差を補正するために果たす役割は何か？

主な発見

• ラグランジュおよびデラウンイ系が記述する運動は、軌道要素とその時間微分がなす12(N−1)次元位相空間内に、9(N−1)次元の部分多様体へ制約されている。
• この部分多様体の選び方の自由度は、電磁力学におけるそれと類似した隠れたゲージ対称性に対応しており、ゲージ条件は系の時間発展に対する制約である。
• ゲージ不変形の運動方程式（式66–71および式77）が導出され、物理的解がゲージの選び方とは無関係に不変であることが示された。
• ゲージ条件の違反（非ゼロの ˜Φ）に起因する数値積分誤差は、時間経過とともに蓄積され、系の正準的構造を歪める特徴的な誤差タイプを示す。
• このようなゲージ誤差は、標準的な積分法では除去されないため、数値的不安定性の原因となり得る。これは、軌道の形状や時間パrametrizationの両方に影響を及ぼす。
• 標準的なラグランジュ条件とは異なるゲージの選択により、運動方程式が単純化され、より効率的な数値積分法への道筋が開かれる可能性がある。