[論文レビュー] On the non-existence of hyperbolic polygonal relative equilibria for the negative curved $n$--body problem with equal masses

Ernesto Pérez-Chavela, Juan Manuel Sánchez-Cerritos|arXiv (Cornell University)|Dec 29, 2016

Spacecraft Dynamics and Control参考文献 9被引用数 4

ひとこと要約

本稿は、一定負曲率の曲面上に等質量のn体問題に対して、双曲的多角形的相対的平衡が存在しないことを証明している。特に、ラグランジュ型（三体）配置が除外される。また、双曲空間における幾何学的・変分的手法を用いて、五体問題に対して新しい種類の双曲的直線状相対的平衡が存在することを確立している。

ABSTRACT

We consider the $n$--body problem defined on surfaces of constant negative curvature. For the case of $n$--equal masses we prove that the hyperbolic relative equilibria with a regular polygonal shape do not exist. In particular the Lagrangian (three equal distances) hyperbolic relative equilibria do not exist. We also show the existence of a new class of hyperbolic collinear relative equilibria for the five body problem on surfaces of constant negative curvature.

研究の動機と目的

• 一定負曲率の曲面上の曲がったn体問題における、正多角形配置の双曲的相対的平衡の存在を調査すること。
• 対称的配置、特にラグランジュ型三体解が、双曲空間内に相対的平衡として存在できるかどうかを特定すること。
• 負曲率幾何における五体問題に対して、新しい種類の直線状双曲的相対的平衡の存在を調査すること。
• 質量分布および角運動量が、負曲率下でのこのような平衡の安定化または不安定化に果たす役割を分析すること。

提案手法

• ペクトルスフィア（擬球）モデルおよびポincare上半平面モデルを用いて、双曲空間上でのn体問題を定式化する。
• 測地線距離の余割関数を用いて定義された双曲的ポテンシャルのもとで、Euler-Lagrange方程式を適用して運動方程式を導出する。
• 等長変換の1パラメータ部分群を、楕円型、双曲型、放物型に分類するための主軸定理を適用し、特に双曲的回転に注目する。
• 対称的五体配置における二組の等質量を持つ場合に、二つの角速度の二乗ω₁²とω₂²が等しくなる条件を導出する。
• 得られた方程式系に対して三角関数的および代数的変形を施し、ω₁² − ω₂² = f₁M + f₂m + f₃μの式における係数の符号を分析する。
• 連続性および根の存在証明の議論を用いて、特定の角変数αとβに対して係数f₂が負になることを示し、これによりω₁² = ω₂²となる正の質量を持つ解が存在可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 等質量の正n角形配置が、一定負曲率の曲面上のn体問題において、双曲的相対的平衡を形成できるか？
• RQ2 ラグランジュ型相対的平衡（正三角形の頂点に等質量が配置された三体）は、等質量の双曲的n体問題に存在するか？
• RQ3 負曲率空間における五体問題に対して、新しい種類の直線状双曲的相対的平衡が存在するか？
• RQ4 角速度差の式における係数f₂の符号が、相対的平衡の存在に与える影響は何か？
• RQ5 質量分布が、負曲率下でのこのような平衡の存在を可能にするか、あるいは禁止するかに果たす役割は何か？

主な発見

• 等質量のn体問題において、一定負曲率の曲面上には、正多角形配置の双曲的相対的平衡は存在しない。
• 特に、等質量が正三角形を形成するラグランジュ型相対的平衡は、双曲的n体問題に存在しない。
• 負曲率の曲面上の五体問題に対して、二組の等質量が対称的に配置された、新しい種類の双曲的直線状相対的平衡が存在する。
• ω₁² − ω₂² = f₁M + f₂m + f₃μの式における係数f₂は、特定の角変数αとβに対して負になることが示され、これによりω₁² = ω₂²となる解が存在可能である。
• すべてのα ∈ (0, π/2)およびβ ∈ (0, π/2 − α)に対して、係数f₃は正であり、均衡条件を満たすように質量パラメータμを選べることを保証する。
• 数値的証拠により、(α, β)平面上でf₂ < 0となる領域が存在することが確認され、新規の直線状平衡の存在に関する解析的結果を裏付けている。