Two-boost problem for the rotating Kepler problem

技术摘要：旋转克卜勒问题中的“双脉冲问题”

问题陈述
本文探讨了旋转克卜勒问题（rotating Kepler problem）背景下的“双脉冲问题”（two-boost problem）。该问题探讨是否可以通过在轨迹起始和结束时仅使用两次脉冲操作（即 boost），将相空间中任意两个点 $q_0$ 和 $q_1$ 连接在固定能量级 $c$ 的哈密顿轨道上。虽然经典的克卜勒问题（静止情形）已通过霍曼转移（Hohmann transfers）得到解决，但旋转克卜勒问题引入了科里奥利力，使动力学过程变得更加复杂。该系统的哈密顿量 $K$ 是非紧致的，因为它存在两个不同的奇异性：原点处的碰撞奇异性（代表撞击天体）以及无穷远处的行为（代表逃逸至太空）。主要的挑战在于，尽管能量超曲面 $K^{-1}(c)$ 是非紧致的，仍需建立解的存在性。

方法论
作者采用了基于拉宾诺维茨作用泛函（Rabinowitz action functional）的变分法，其临界点对应于所需的哈密顿弦（连接 $q_0$ 与 $q_1$ 上纤维的轨道）。为了处理非紧致性和奇异性，论文采用了以下框架：

1. 列维-奇维塔正则化（Levi-Civita Regularization）： 通过列维-奇维塔变换消除了原点处的奇异性。原始哈密顿量 $K$ 与定义在整个余切丛 $T^*\mathbb{R}^2$ 上的正则化哈密顿量 $K_c$ 相关联。原始系统中的解对应于正则化问题中的解，其中原始系统中的碰撞轨迹映射为正则化系统中与零截面相交的特定解。
2. 拉格朗日拉宾诺维茨弗洛同调（Lagrangian Rabinowitz Floer Homology, LRFH）： 论文推广了此前仅针对紧致超曲面定义的 LRFH，将其扩展到更广泛的非紧致超曲面类。这涉及构建由拉宾诺维茨作用泛函的临界点生成的链复形，并通过弗洛轨迹（梯度流线）定义边界算子。
3. 扰动与紧致性： 为了确保同调的良定性，作者向哈密顿量引入了一类特定的扰动 $\mathcal{H}$。核心技术工作在于证明对于形式为 $H_a - h$（其中 $H_a$ 为二次哈密顿量且 $h \in \mathcal{H}$）的哈密顿量，其临界集是“连续紧致”的，且弗洛轨迹空间在 $L^\infty$-范数下是一致有界的。这依赖于利用极大值原理和对哈密顿量增长性质的仔细估计，来建立关于作用量、能量和拉格朗日乘子 $\eta$ 的特定界限。
4. 同调计算： 作者计算了扰动系统的正拉格朗日拉宾诺维茨弗洛同调。通过证明该同调是非零的（具体表现为在度数为 $1/2$ 时同构于 $\mathbb{Z}_2$），从而保证了临界点（解）的存在性。
5. 联系哈密顿量： 构建了一个特定的扰动 $h$，使得正则化旋转克卜勒哈密顿量 $K_c$ 在相关紧致子集上的动力学与扰动哈密顿量 $H_a - 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)$ 上至少存在两个双脉冲问题的解。这些解既包括常规轨道，也包括碰撞轨道。
• 不变性与非零性（定理 1.2 & 1.3）： 论文确立了 LRFH 在指定的扰动类下是良定的且具有不变性。此外，作者显式计算了正 LRFH，表明其是非平凡的（在度数为 $1/2$ 时为 $\mathbb{Z}_2$），这直接意味着临界集非空。
• 技术界限： 该工作为非紧致设置下弗洛轨迹的有界性和诺沃科夫有限性条件（Novikov finiteness condition）提供了严格证明，这些是使同调良定的前提条件。

意义
本文为旋转克卜勒问题的双脉冲问题提供了肯定的回答，该问题是研究旋转引力场中航天器运动的基础模型。通过成功地将弗洛同调方法应用于带有奇异性的非紧致设置，作者证明了即使在存在碰撞风险和无界能量级的情况下，拓扑不变量仍可用于保证任务关键型轨道（轨道间的转移）的存在性。结果证实，类似于经典静止情形下的霍曼转移，只要能量足够高，在旋转坐标系下，两次脉冲足以连接相空间中的点。该方法论为分析标准紧致性假设失效的类似天体力学问题提供了一个稳健的框架。