Relative periodic solutions in spatial Kepler problem with symmetric perturbation

技術要約：対称な摂動を伴う空間ケプラー問題における相対周期解

問題設定
本論文は、特定の対称性（$z$軸に関する回転対称性と$(x, y)$平面に関する鏡映対称性）を満たす摂動を受ける空間ケプラー問題における、相対周期解の存在と多重性を調査している。研究の焦点は、主に2つの物理的な応用、すなわち、一様に質量分布された楕円体周囲の衛星の運動（「楕円体問題」）、および1つの質量が$z$軸に沿って動き、$n$個の等質量がその垂直な平面上に正$n$角形を形成する$n$-ピラミダル構成における運動である。

数学的な核心となる課題は、以下の摂動を受けたハミルトン系を解析することである：
$$\ddot{q} = -\frac{q}{|q|^3} - \varepsilon \nabla_q f(q, \varepsilon),$$
ここで、$f$は対称条件(2)を満たす。$z$軸まわりの角運動量$\varpi$を固定することで、系は2自由度のハミルトン系へと還元される。著者らは、摂動$\varepsilon$が十分に小さく、特定のエネルギーおよび角運動量パラメータに対して、コンパクトなエネルギー面が無限個の相対周期軌道を含むことを証明することを目的としている。

手法
著者らは、シンプレクティック幾何学、接触トポロジー、および変分法の組み合わせを用いている。手法は以下のステップで進行する：

1. 還元と位相幾何学的解析：
   系は、角運動量$\varpi \neq 0$を固定することによって還元される。$\varepsilon$が十分に小さく、エネルギー$h < 0$が$-1 < 2h\varpi^2 < 0$を満たすとき、エネルギー面$M(h, \varpi, \varepsilon)$は、$S^3$と微分同相なコンパクト多様体であることが示される。この曲面は接触構造を備えており、接触幾何学的なツールの適用を可能にしている。

2. 大域的断面（Global Surfaces of Section）：
   鏡映対称性を利用して、著者らは$(p_r, r)$平面内に完全に存在する唯一の$z$対称周期軌道$\xi_\varepsilon(t)$を特定する。著者らは、集合$\Sigma_{\pm, \varepsilon} = \{z=0, \pm p_z \geq 0\}$が、共通の境界として$\xi_\varepsilon(t)$を持つ、簡約化されたフローの円盤状の大域的断面を構成することを証明する。

3. シンプレクティック力学と代数的関係：
   無限個の周期軌道の存在は、接触体積とReeb軌道の作用およびセイフェルト回転数の間の代数的関係をテストすることによって確立される。これは、Cristofaro-Gardinerら（2023年）による最近の研究から導かれた結果である。具体的には、多様体がちょうど2つのReeb軌道を持つ場合、特定の等式が成立しなければならない。著者らは、摂幅系においてこの等式が特定の条件下で破綻することを示し、これにより、Franksの定理（円環へのポアンカレ・ビルクホフの定理の一般化）を通じて、無限個の周期軌道の存在を導く。

4. 摂動解析：
   代数的関係の破綻を検証するために、著者らは接触体積($Vol_\varepsilon$)、対称軌道の作用($A_\varepsilon$)、およびセイフェルト回転数($Rot_\varepsilon$)の、摂動パラメータ$\varepsilon$に関する1次の微分を計算する。これらの計算には、ヒル領域上の積分に関する推定や、周期軌道に沿った線形化方程式のトレース公式が含まれる。

5. ブレーキ軌道の存在：
   陰関数定理を用いて、著者らは、2つの異なる時刻で運動量が消失する、一意の$z$対称ブレーキ軌道$\xi_{bz, \varepsilon}(t)$が存在することを証明する。これは$\xi_\varepsilon(t)$とホップ連結（Hopf link）を形成する。

主要な貢献と結果

• 定理1.1（楕円体問題）： 小さな離心率を持つ扁平または長球楕円体の周囲を回る衛星について、系はコンパクトなエネルギー面内に無限個の相対周期解を持つ。この結果は、楕円体のポテンシャルが対称な摂動の枠組みに適合することを示すことで導かれる。
• 定理1.2および3.4（一般の摂動ケプラー系）： 一般の摂動ケプラー系において、以下のいずれかの場合に無限個の周期軌道が存在する：
  1. 摂動が対称軌道$\xi_\varepsilon$を双曲的（$D(f) < 0$によって示される）にする場合。
  2. 摂動が楕円性を保持する（$D(f) \geq 0$）が、非摂動のケプラー問題によって定義される特定の代数的体積・作用・回転数の関係を破る場合。
• 定理1.3（一意のブレーキ軌道）： 摂動が十分に小さいとき、$\xi_\varepsilon(t)$とホップ連結を形成する一意の$z$対称ブレーキ軌道が存在する。この軌道は、大域的断面を境界づける重要な役割を果たす。
• 定理1.4（$n$-ピラダル問題）： 結果は$n$-ピラダル問題（$z$軸上に1つの質量、$n$個の質量がリング状に配置）にも拡張される。質量比$\varepsilon$が十分に小さく、$2 \leq n \leq 472$である場合、系は無限個の相対周期解を持つ。$n$に対する制限は技術的なものであり、安定性と代数的条件に必要な不等式$2n > M(n)$から生じるものであるが、著者らはこの結果がすべての$n$に対して成り立つと予想している。

意義と主張

本論文は、対称な摂動を伴う空間ケプラー問題（非球形の天体や特定の幾何学的対称性が保持される$N$体構成など、天体力学に関連する問題のクラス）において、無限個の相対周期軌道の存在に関する厳密な証明を提供すると主張している。

その意義は以下の点にある：

1. 衝突の回避： 以前の研究の多くが、中心体との衝突の有無を不明瞭にする正規化手法（レヴィ＝チヴィタ、クスタネミド・シュテフェル、モーザーなど）に依存していたのに対し、本アプローチは、エネルギー面のコンパクト性と特定の角運動量制約により、中心体との軌道回避を保証している。
2. 現代的なシンプレクティック・ツールの適用： 本研究は、古典的な天体力学と、最新の接触トポロジー（Cristofaro-Gardinerら）および力学系（Franksの定理）の進展を橋渡しし、変分最小化やKAM理論のみに依存することなく、軌道の多重性を証明するための新しいメカニズムを提供している。
3. 特定の幾何学的構造： $\xi_\varepsilon(t)$とホップ連結を形成する一意の$z$対称ブレーキ軌道の特定は、$S^3$エネルギー面上の力学における具体的な幾何学的骨格を提供する。

著者らは、$n$-ピラダルに関する結果については、制限事項$n \leq 472$が証明における技術的な推定によるものであることを認めつつも、控えめな表現を用いているが、この結果はすべての$n$に対して成り立つと考えている。また、彼らは一般的な$N$体問題を解こうとしているのではなく、中心体が点質量ではない場合や、特定の幾何学的対称性が保持されている場合の、特定の対称還元された問題を扱っている。