[論文レビュー] Stability of fixed points and associated relative equilibria of the $3$-body problem on $\mathbb S^1$ and $\mathbb S^2$

Florin Diacu, Juan Manuel Sánchez-Cerritos+1 more|arXiv (Cornell University)|Mar 10, 2016

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

ひとこと要約

本稿は、1次元球面（$\mathbb{S}^1$）および2次元球面（$\mathbb{S}^2$）上の曲がった3体問題における固定点解および関連する相対的平衡の安定性を調査する。$\mathbb{S}^1$上では固定点およびその相対的平衡がリャプノフ安定であることを証明するが、$\mathbb{S}^2$上では相対的平衡の線形安定性は角速度に依存する。具体的には、$\omega^2 > \lambda_1$ であるときかつそのときに限り線形安定である。ここで $\lambda_1$ は配置に依存する臨界値である。

ABSTRACT

We prove that the fixed points of the curved 3-body problem and their associated relative equilibria are Lyapunov stable if the solutions are restricted to $\mathbb S^1$, but unstable if the bodies are considered in $\mathbb S^2$.

研究の動機と目的

• 曲がった3体問題の固定点解の存在および安定性特性を、$\mathbb{S}^1$ および $\mathbb{S}^2$ 上で確立すること。
• これらの固定点に関連する相対的平衡の安定性を分析し、特に $\mathbb{S}^2$ 上での角速度の役割に注目すること。
• $\mathbb{S}^2$ 上の $n > 2$ 個の質点に対して固定点が存在するための一般条件を提示し、このような配置を許容する質量の三つ組を分類すること。
• 不変部分空間上の線形化運動を分析することで、曲がった配置空間への古典的安定性枠組みの拡張を試みること。
• $\mathbb{S}^1$ 上の固定点の安定性行動を、ニュートン的 $n$-体問題における古典的同一直線上の中心配置と比較すること。

提案手法

• 測地線距離と $\cot d_{ij}$ を含む余接ポテンシャルを用いて、配置空間 $W = (\mathbb{S}^2)^n \setminus \Delta$ の余接 bundle 上に曲がった3体問題をハミルトニアン系として定式化する。
• 固定点を力関数 $V = -U$ の臨界点として定義する（ここで $U$ はポテンシャル）。これにより、球面上の零速度解が保証される。
• ヤコビ型座標を用いて系を簡約化し、特に流れの静止点に注目して、簡約化された位相空間における安定性を分析する。
• スティーブンソンの慣性法則および行列の合同変換を用いて、力関数のヘッセ行列を分析し、負の固有値の数を特定することで、$\mathbb{S}^1$ 上でのリャプノフ安定性を確立する。
• モエケルが考案した手法にインspiredされた簡約化技術を用い、$\mathbb{S}^2$ 上での線形安定性を調べるための適切な線形部分空間 $E_2$ および $\tilde{E}$ を特定する。線形化系を $\tilde{E}$ に制限する。
• 線形化作用素 $HM^{-1} - \omega^2$ の固有値を計算し、安定性条件を特定する。純虚数固有値が得られることで線形安定性が成立し、これは $\omega^2 > \lambda_1$ のときに限り成立する。

実験結果

リサーチクエスチョン

• RQ1 曲がった3体問題が $\mathbb{S}^1$ および $\mathbb{S}^2$ 上で固定点解を持つための条件は何か？
• RQ2 固定点解およびそれに関連する相対的平衡は $\mathbb{S}^1$ 上でリャプノフ安定か？
• RQ3 角速度 $\omega$ は $\mathbb{S}^2$ 上の相対的平衡の線形安定性にどのように影響するか？
• RQ4 $\mathbb{S}^2$ 上での線形安定性の閾値を決定する正確な臨界値 $\lambda_1$ は何か？
• RQ5 $\mathbb{S}^1$ 上の固定点の安定性特性は、ニュートン的 $n$-体問題における古典的同一直線上の中心配置とどのように比較できるか？

主な発見

• $\mathbb{S}^1$ 上の固定点解は、簡約化された位相空間において力関数 $V$ の局所的最大値に対応するため、リャプノフ安定である。
• $\mathbb{S}^2$ 上では、固定点配置が存在するのは、3つの質量が大円上に鋭角三角形を形成する場合に限る。
• 関連する相対的平衡は、$\mathbb{S}^2$ 上で $\omega^2 > \lambda_1$ であるときかつそのときに限り線形安定である。
• 臨界値 $\lambda_1$ は明示的に計算され、$\lambda_1 = -\frac{m_2}{\sin^2\alpha}\frac{\sin\beta}{\sin(\alpha+\beta)\sin\alpha} - \frac{m_3}{\sin^2\beta}\frac{\sin\alpha}{\sin(\alpha+\beta)\sin\beta} - \frac{m_3}{\sin^2\beta}\frac{\sin(\alpha+\beta)}{\sin\alpha\sin\beta}$ である。ここで $\alpha, \beta$ は鋭角三角形の角である。
• $\mathbb{S}^2$ 上の線形安定性は、行列 $HM^{-1} - \omega^2$ の固有値スペクトルによって決定され、$\omega^2 > \lambda_1$ のとき純虚数固有値が得られ、これが安定性を示す。
• 古典的 $n$-体問題とは根本的に異なる性質を示す：古典的同一直線上の配置は直線上のポテンシャルの極小点として安定であるのに対し、$\mathbb{S}^1$ 上の固定点は極大点であり、$\mathbb{S}^2$ 上の安定性は配置のみに依存するのではなく、速度（角速度）に依存する。