Two-boost problem for the rotating Kepler problem

技術要約：回転ケプラー問題における2回ブースト問題

問題設定
本論文は、回転ケプラー問題の文脈における「2回ブースト問題」を扱う。この問題は、位相空間内の任意の2点 $q_0$ と $q_1$ が、始点と終点の2回のインパルス的な機動（ブースト）のみを用いて、固定されたエネルギー準位 $c$ のハミルトン軌道によって接続可能であるかどうかを問うものである。古典的なケプラー問題（静止系）では、ホーマンによる楕円遷移を用いて解決されていたが、回転ケプラー問題ではコリオリ力が導入されるため、力学が複雑化する。この系のハミルトニアン $K$ は、2つの異なる特異点（天体への衝突を表す原点での衝突特異点と、宇宙への脱出を表す無限遠での挙動）により、非コンパクトである。主要な技術的課題は、エネルギー超曲面 $K^{-1}(c)$ の非コンパクト性にもかかわらず、解の存在を確立することである。

手法
著者は、ラビノウィッツ作用汎関数を用いた変分法を用いる。この汎関数の臨界点は、目的とするハミルトン弦（$q_0$ と $q_1$ のファイバーを接続する軌道）に対応する。非コンパクト性と特異点を扱うために、論文では以下の枠組みを利用している。

1. レヴィ＝チビタ正規化: レヴィ＝チビタ変換により、原点における特異性が除去される。元のハミルトニアン $K$ は、全余接束 $T^*\mathbb{R}^2$ 上で定義された正規化されたハミルトニアン $K_c$ と関連付けられている。元の問題の解は、正規化された問題の解に対応し、元の系における衝突軌道は、ゼロ切断と交差する正規化された系の特定の解へと写像される。
2. ラグランジュ・ラビノウィッツ・フロー・ホモロジー (LRFH): 本論文は、以前はコンパクトな超曲面に対して定義されていた LRFH を、より広い非コンパクトな超曲面のクラスへと一般化している。これには、ラビノウィッツ作用汎関数の臨界点から生成されるチェイン複体を構築し、フロー写像（勾配流の軌跡）を通じて境界作用素を定義するプロセスが含まれる。
3. 摂動とコンパクト性: ホモロジーの定式化を保証するために、著者はハミルトニアンに対する特定の摂動クラス $\mathcal{H}$ を導入する。核心となる技術的努力は、$H_a - h$（ここで $H_a$ は二次ハミルトニアン、$h \in \mathcal{H}$）という形のハミルトニアンに対して、臨界集合が「連続的にコンパクト」であり、かつフロー写像の空間が $L^\infty$ ノルムにおいて一様に有界であることを証明することである。これは、最大値原理とハミルトニアンの成長特性に関する注意深い推定を用い、作用、エネルギー、およびラグランジュ乗数 $\eta$ に関する具体的な境界を確立することに基づいている。
4. ホモロジーの計算: 著者は、摂動された系の正のラグランジュ・ラビノウィッツ・フロー・ホモロジーを計算する。このホモロジーが非消滅的であること（具体的には次数 $1/2$ において $\mathbb{Z}_2$ に同型であること）を示すことで、臨界点（解）の存在が保証される。
5. ハミルトニアンの関連付け: 正規化された回転ケプラー・ハミルトニアン $K_c$ の力学が、関連するコンパクト部分集合上で摂動されたハミルトニアン $H_a - h$ の力学と一致するように、特定の摂動 $h$ が構成される。これにより、抽象的なホモロジーの設定から、具体的な物理的問題へと存在性の結果を移転することが可能となる。

主な貢献と結果

• LRFHの一般化: 回転ケプラー問題に固有の二重の非コンパクト性（無限遠と衝突）の問題を克服し、非コンパクトな超曲面へのラグランジュ・ラビノウィッツ・フロー・ホモロジーの構成を拡張した。
• 解の存在（定理 1.1）: 本論文の主要な結果は、回転ケプラー問題において、任意の $q_0, q_1 \in \mathbb{R}^2 \setminus \{0\}$ およびエネルギー準位 $c \geq 2R^2$（ここで $R = \max\{|q_0|, |q_1|\}$）に対し、エネルギー準位 $K^{-1}(c)$ 上に2回ブースト問題の解が少なくとも2つ存在することを証明している。これらの解には、通常の軌道と衝突軌道の両方が含まれる。
• 不変性と非消滅性（定理 1.2 および 1.3）: 本論文は、指定された摂動クラスの下で LRFH がウェルディファインド（適切に定義）であり、不変であることを確立している。さらに、正の LRFH を明示的に計算し、それが非自明である（次数 $1/2$ で $\mathbb{Z}_2$）ことを示しており、これが臨界集合の非空性を直接的に意味している。
• 技術的境界: 非コンパクトな設定におけるフロー写像の有界性とノビコフ有限条件の厳密な証明を提供しており、これらはホモロジーがウェルディファインドであるための前提条件となっている。

意義
本論文は、宇宙機の回転重力場における運動の基本モデルである回転ケプラー問題に対し、2回ブースト問題への肯定的な回答を与えるものである。衝突のリスクや非有界なエネルギーレベルが存在する場合でも、Floerホモロジーの手法を非コンパクトな設定に適応させることに成功することで、位相不変量がミッションクリティカルな軌道（遷移）の存在を保証できることを示した。この結果は、静止系における古典的なホーマン遷移と同様に、エネルギーが十分に高ければ、回転座標系においても2回のブーストで位相空間の点間を接続できることを裏付けている。その手法は、標準的なコンパクト性の仮定が成立しない天体力学における同様の問題を分析するための、堅牢なフレームワークを提供するものである。