Relative periodic solutions in spatial Kepler problem with symmetric perturbation

技术摘要：具有对称摄动的空间开普勒问题中的相对周期解

问题陈述
本文研究了在满足特定对称性（关于 $z$ 轴的旋转对称性和关于 $(x, y)$ 平面的反射对称性）的摄动下，空间开普勒问题中相对周期解的存在性与多重性。研究重点关注两个主要的物理应用：卫星绕均匀质量分布椭球体的运动（“椭球问题”），以及在 $n$-金字塔构型中的运动（其中一个质量沿 $z$ 轴运动，另外 $n$ 个等质量形成垂直于该轴的正则 $n$ 边形）。

核心数学挑战在于分析受扰动的哈密顿系统：
$$\ddot{q} = -\frac{q}{|q|^3} - \varepsilon \nabla_q f(q, \varepsilon),$$
其中 $f$ 满足对称性条件 (2)。通过固定关于 $z$ 轴的角动量 $\varpi$，该系统简化为一个具有两个自由度的哈密顿系统。作者旨在证明，对于足够小的摄动 $\varepsilon$ 以及特定的能量/角动量参数，紧致能量面包含无限多个相对周期轨道。

方法论
作者结合使用了辛几何、接触拓扑和变分方法。其方法论通过以下步骤进行：

1. 约化与拓扑分析：
   通过固定角动量 $\varpi \neq 0$ 对系统进行约化。对于足够小的 $\varepsilon$ 以及满足 $-1 < 2h\varpi^2 < 0$ 的能量 $h < 0$，能量面 $M(h, \varpi, \varepsilon)$ 被证明是一个同胚于 3-球面 $S^3$ 的紧致流形。该曲面赋予了一个接触结构，从而允许应用接触几何工具。

2. 全局截面：
   利用反射对称性，作者识别出一个完全位于 $(p_r, r)$ 平面内的唯一 $z$-对称周期轨道 $\xi_\varepsilon(t)$。他们证明集合 $\Sigma_{\pm, \varepsilon} = \{z=0, \pm p_z \geq 0\}$ 构成了约化流的圆盘状全局截面，且 $\xi_\varepsilon(t)$ 是它们的共同边界。

3. 辛动力学与代数关系：
   通过测试接触体积与 Reeb 轨道的作用量/Seifert 旋转数之间的代数关系来建立无限多周期轨道的存在性，这一结果源于 Cristofaro-Gardiner 等人（2023）的最新研究。具体而言，如果流形恰好有两个 Reeb 轨道，则必须满足一个特定的等式。作者证明，对于受扰动的系统，在特定条件下该等式被违反，从而通过 Franks 定理（将 Poincaré-Birkhoff 定理推广到环面）暗示了无限多周期轨道的存在。

4. 摄动分析：
   为了验证代数关系的违反情况，作者计算了接触体积 ($Vol_\varepsilon$)、对称轨道作用量 ($A_\varepsilon$) 以及 Seifert 旋转数 ($Rot_\varepsilon$) 关于摄动参数 $\varepsilon$ 的一阶导数。这些计算涉及对 Hill 区域上的积分进行估计，并利用沿周期轨道的线性化方程的迹公式。

5. 制动轨道的存在性：
   利用隐函数定理，作者证明了存在唯一的 $z$-对称制动轨道 $\xi_{bz, \varepsilon}(t)$（其动量在两个不同时刻消失），该轨道与 $\xi_\varepsilon(t)$ 构成 Hopf 链路。

主要贡献与结果

• 定理 1.1（椭球问题）： 对于绕着小偏心率的扁椭球或长椭球运动的卫星，系统在紧致能量面内存在无限多个相对周期解。该结果是通过证明椭球势能符合对称摄动框架而得出的。
• 定理 1.2 & 3.4（一般摄动开普勒系统）： 如果满足以下任一条件，则存在无限多周期轨道：
  1. 摄动使得对称轨道 $\xi_\varepsilon$ 呈现双曲性（由 $D(f) < 0$ 表征）；或
  2. 摄动保持了椭圆性（$D(f) \geq 0$），但违反了由未受扰动的开普勒问题定义的特定代数体积-作用量-旋转数关系。
• 定理 1.3（唯一制动轨道）： 对于足够小的摄动，存在唯一的 $z$-对称制动轨道，该轨道与平面对称轨道 $\xi_\varepsilon$ 构成一个 Hopf 链路。该轨道作为全局截面的边界至关重要。
• 定理 1.4（$n$-金字塔问题）： 研究结果可推广至 $n$-金字塔问题（一个质量在 $z$ 轴上，$n$ 个质量在一个环上）。对于质量比 $\varepsilon$ 足够小且 $2 \leq n \leq 472$ 的情况，系统存在无限多个相对周期解。对 $n$ 的限制是技术性的，源于稳定性与代数条件所需的不等式 $2n > M(n)$，尽管作者推测该结果对所有 $n$ 均成立。

意义与主张
本文声称为具有对称摄动的空间开普勒问题（此类问题与天体力学相关，例如非球形天体和对称 $N$-体构型）中无限多个相对周期轨道的存在性提供了严格证明。

其意义在于：

1. 避免碰撞： 不同于以往的研究通常依赖于正则化技术（如 Levi-Civita, Kustaanheimo-Stiefel, Moser），这些技术往往会模糊解是否与中心天体发生碰撞，而本方法由于能量面的紧致性和特定的角动量约束，保证了轨道避开中心天体。
2. 应用现代辛工具： 本工作将经典天体力学与接触拓扑（Cristofaro-Gardiner 等人）及动力系统（Franks 定理）的最新突破联系起来，提供了一种无需仅依赖变分极小化或 KAM 理论来证明多重性的新机制。
3. 特定的几何结构： 识别出一个与平面轨道 $\xi_\varepsilon$ 构成 Hopf 链路的唯一 $z$-对称制动轨道，为 $S^3$ 能量面上的动力学提供了具体的几何骨架。

作者对 $n$-金字塔问题的结论保持谨慎，指出 $n \leq 472$ 的限制是由于证明中的技术性估计，但他们认为该结果对所有 $n$ 都应成立。他们并不声称解决了一般的 $N$-体问题，而是针对中心天体不是质点或特定几何对称性得以保持的特定对称约化情形。