[論文レビュー] Symmetry groups of the planar 3-body problem and action--minimizing trajectories

Vivina Barutello, Davide L. Ferrario+1 more|ArXiv.org|Apr 28, 2004

Spacecraft Dynamics and Control参考文献 16被引用数 8

ひとこと要約

この論文は、平面三体問題におけるラグランジアン作用の対称的最小化子が、衝突を強制されない限り、任意の対称性群に関わらず常に衝突なしであることを確立する。同変変分法と回転する円の性質（RCP）を用いて、著者たちはすべての可能な対称性群を分類し、平均化技術と放物型軌道の吹き出し解析を活用して、局所的最小化子が衝突を避けることを証明する。

ABSTRACT

We consider periodic and quasi-periodic solutions of the three-body problem with homogeneous potential from the point of view of the equivariant calculus of variations. First, we show that symmetry groups of the Lagrangian action functional can be reduced to groups in a finite explicitly given list, after a suitable change of coordinates. Then, we show that local symmetric minimizers are always collisionless, without any assumption on the group other than the fact that collisions are not forced by the group itself. Moreover, we describe some properties of the resulting symmetric collisionless minimizers (Lagrange, Euler, Hill-type orbits and Chenciner--Montgomery figure-eight).

研究の動機と目的

• 同次ポテンシャルを伴う平面三体問題におけるラグランジアン作用関数のすべての可能な対称性群を分類すること。
• 衝突を強制する、完全に非強制的（non-coercive）である、または同形的（homographic）であるような対称性群を特定・除外すること。これらは意味のある最小化を妨げる。
• 局所的最小化子が作用関数の群構造にかかわらず、常に衝突なしである条件を確立すること。
• 同変変分法を用いて、対称的かつ衝突なしの周期的解を体系的に構成するフレームワークを提供すること。
• チェンチナー＝モンゴメリーの図8軌道および他の既知の対称的解が、適切な対称性制約の下で最小化子として生じることを証明すること。

提案手法

• 座標変換と群の共轭を用いて、ラグランジアン作用のすべての対称性群を有限リストに還元する。
• 回転する円の性質（RCP）を適用して、衝突を引き起こしやすい対称的配置を検出し、除外する。
• Marchalおよび[17]の平均化推定を用いて、RCP条件下では衝突軌道が作用を最小化できないことを示す。
• 衝突軌道の吹き出し極限を分析して、それが放物型 $g_0$-同変解に収束することを示し、最小性に矛盾することを示す。
• 群 $G$-同変変分法を用いて、対称的ループ空間における最小化子が滑らかで衝突なしであることを保証する。
• 時間-作用ホモオメルフィズム $\ker \tau$ を用いて、安定化部分群とその衝突行動を分析する。

実験結果

リサーチクエスチョン

• RQ1 平面三体問題におけるラグランジアン作用の対称性群のうち、どの群が衝突なしの作用最小化子を許容するか？
• RQ2 対称性群 $G$ に対して、作用関数の局所的最小化子が常に衝突なしであるための条件は何か？
• RQ3 回転する円の性質（RCP）を用いて、対称的最小化子における内部および境界衝突を除外できるか？
• RQ4 すべての非同形的で衝突を強制しない対称性群は、最小化子が非同形的解であることを保証するか？
• RQ5 境界時刻 $t=0$ における安定化部分群 $G_0$ の構造は、最小化子における衝突の可能性にどのように影響するか？

主な発見

• 平面三体問題におけるラグランジアン作用のすべての対称性群は、衝突を必然的に引き起こす、完全に非強制的である、同形的である、または表1にリストされた10個の群のいずれかに共轭される。
• 対称性群 $G$ が衝突を必然的に引き起こさない限り、作用関数の局所的最小化子は、ポテンシャルの同次指数 $\alpha$ にかかわらず常に衝突なしである。
• 回転する円の性質（RCP）により、$G$-同変最小化子において内部衝突は生じない。これは平均化と吹き出し解析によって示される。
• 境界での衝突 $t=0$ において、安定化部分群 $G_0$ が添え字集合に非自明に作用する場合、吹き出し極限が放物型 $g_0$-同変軌道に収束し、最小性に矛盾する。
• チェンチナー＝モンゴメリーの図8軌道は、RCP を満たし、同形的でもない $D_{12}$ 対称性群の下で最小化子である。
• $\alpha \geq 2$ の場合、作用関数は衝突で発散するため、最小化子は自動的に衝突なしである。$\alpha < 2$ の場合、RCP が衝突を除外するために不可欠である。