[論文レビュー] Choreography solutions of the $n$-body problem on $S^2$

Juan Manuel Sánchez-Cerritos, Shiqing Zhang|arXiv (Cornell University)|Jun 8, 2018

Spacecraft Dynamics and Control参考文献 17被引用数 3

ひとこと要約

本稿は、変分法を用いて2次元球面（$S^2$）上の3体問題に対してチャペラ図解解の存在を証明する。非衝突で周期的な配置の対称的部分集合 $H$ 上でラグランジアン作用関数を最小化することにより、8字型軌道を描く非衝突で周期的な解が得られ、古典的な平面上の8字型チャペラ図解を正の曲率を持つ曲がった空間へと拡張する。

ABSTRACT

We try to prove the existence of choreography solutions for the $n-$body problem on $S^2$. For the three-body problem, we show the existence of the 8-shape orbit on $S^2$.

研究の動機と目的

• 単位球面 $S^2$ における正の曲率を有する3体問題に対して、周期的チャペラ図解解の存在を確立すること。
• チェンシナーとモンゴメリーが発見した古典的平面8字型チャペラ図解解を、変分法を用いて $S^2$ の曲がった幾何に一般化すること。
• ラグランジアン作用関数が、チャペラ運動に対応する対称的部分集合 $H$ 上で最小値をとることを証明すること。
• この最小値が、$S^2$ 上の運動方程式の非衝突で周期的な解に対応することを示すこと。
• 曲がった天体力学における新しい対称的周期的解の族を構成するための変分的枠組みを提供すること。

提案手法

• 配置空間 $D$（$S^2$ 上の絶対連続で非衝突な $n$-組）上に、ラグランジアン作用関数 $f(q) = \int_0^1 \left(\frac{1}{2}\sum m_i|\dot{q}_i|^2 + U(q)\right) dt$ を定義する。
• 巡回的シフト、時間反転、空間的反転対称性に対応する対称的部分空間 $E_1$、$E_2$、$E_3$ を導入し、$H = E_1 \cap E_2 \cap E_3$ をチャペラ解の集合として定義する。
• パライスの対称的臨界性の原理を適用し、$f$ の $H$ 上への制限の臨界点が、全空間 $D$ における臨界点でもあることを保証する。これにより、運動方程式の解が得られる。
• 重力的相互作用をモデル化するため、$U = \sum_{i<j} m_i m_j \cot(d(q_i,q_j))$ を用いることで、ユークリッド幾何から球面幾何へのニュートン重力の一般化を行う。
• ユークリッド距離 $r_{ij}$ と $\cot(d(q_i,q_j))$ を含む不等式を用いて、二重衝突解の作用の下界を推定し、真の最小値が衝突閾値を超えることを証明する。
• 特定のパラメトリック座標を用いたテストループ $q_i(t) = q_1(t + i/3)$ を構築し、作用が衝突閾値未満であることを数値的に確認することで、非衝突解の存在を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 正の曲率を持つ2次元球面（$S^2$）上での3体問題に対して、非衝突のチャペラ図解解が存在するか？
• RQ2 古典的平面8字型チャペラ図解を、変分法を用いて球面幾何に一般化できるか？
• RQ3 対称的部分集合 $H$ 上でのラグランジアン作用関数の最小値が、正則で非衝突な解で達成されるか？
• RQ4 $S^2$ 上での一般化された二重衝突解の作用関数の下界は何か？ また、これはテストループの実際の作用とどのように比較されるか？
• RQ5 対称的臨界性は、曲がった $n$-体問題における周期的解の存在を効果的に証明するために適用可能か？

主な発見

• ラグランジアン作用関数は、$S^2$ 上のチャペラ運動に対応する対称的部分集合 $H$ 上で最小値をとり、その最小値は非衝突で周期的な運動方程式の解である。
• 最小作用は $\frac{3}{2}(12\pi)^{2/3} - 3 \approx 13.8647$ よりも厳密に小さい。テストループの作用 $f(q) \approx 13.76572$ が、下限が衝突解で達成されないことを確認する。
• 本稿では、任意の二重衝突解の作用が $\frac{3}{2}(12\pi)^{2/3} - 3$ で下から抑えられることを証明し、テストループの作用がそれより小さいことから、真の最小化子は正則解であることが示される。
• $S^2$ 上の8字型軌道は、三つの等しい質量を持つ非衝突で対称的な周期的解として実現され、巡回的、時間反転、反射対称性を満たす。
• 変分法および対称的臨界性を用いることで、この解の存在が確立され、古典的な平面的チャペラ図解が曲がった空間へと拡張される。
• 重力ポテンシャル関数 $U = \sum_{i<j} \cot(d(q_i,q_j))$ は、$S^2$ 上でのニュートン重力の正しい一般化であり、不等式 $\frac{1}{r_{ij}} - 1 < \cot(d(q_i,q_j)) < \frac{1}{r_{ij}}$ を用いて作用を下から抑えている。