[论文解读] A convex embedding for the rotating Kepler problem

Urs Frauenfelder, Otto van Koert+1 more|arXiv (Cornell University)|May 23, 2016

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

一句话总结

该论文通过组合 Ligon-Schaaf 和 Levi-Civita 正则化映射，构建了平面旋转开普勒问题有界能量超曲面在 $ℝ^4$ 中的凸辛嵌入。关键结果是嵌入后超曲面的高斯-克罗内克曲率为正，从而证明了动力凸性，并为通过全纯曲线方法解决伯克霍夫猜想开辟了新途径。

ABSTRACT

In this note, we prove that below the first critical energy level, a proper combination of the Ligon-Schaaf and Levi-Civita regularization mappings provides a convex symplectic embedding of the energy surfaces of the planar rotating Kepler problem into $R^4$ endowed with its standard symplectic structure. A direct consequence is the dynamical convexity of the planar rotating Kepler problem, which has been established by Albers-Fish-Frauenfelder-van Koert by direct computations. This result opens up new approaches to attack the Birkhoff conjecture about the existence of a global surface of section in the restricted planar circular three body problem using holomorphic curve techniques.

研究动机与目标

• 在第一临界能量水平以下，建立平面旋转开普勒问题中能量超曲面有界分支的凸辛嵌入。
• 通过引入两步正则化程序，解决 Levi-Civita 正则化本身无法实现凸性的缺陷。
• 为在限制性三体问题中攻击伯克霍夫猜想（即全局截面的存在性）提供几何基础。
• 证明正则化后能量曲面的高斯-克罗内克曲率为正，从而蕴含动力凸性。
• 通过确保辛嵌入中的凸性，为在限制性三体问题中应用全纯曲线技术奠定基础。

提出的方法

• 对旋转开普勒问题应用 Ligon-Schaaf 正则化映射，将能量超曲面变换为新的辛流形。
• 然后对 Ligon-Schaaf 正则化后的系统应用 Levi-Civita 正则化映射，得到一个嵌入到 $ℝ^4$ 的辛嵌入。
• 在复坐标 $(w,z) \in \u2102^2$ 中表示能量水平集，此时哈密顿量变为 $L.C.^*H_r = -\frac{1}{2(\|w\|^2 + \|z\|^2)^2} + 2(w_1z_2 - w_2z_1)$。
• 定义函数 $F = -1 + 4(w_1z_2 - w_2z_1)(\|w\|^2 + \|z\|^2)^2 - 2c(\|w\|^2 + \|z\|^2)^2$，其零水平集即为正则化后的能量曲面。
• 计算限制在能量曲面切空间上的 $F$ 的海森矩阵，并通过将其因式分解为多项式 $f_1, f_2, f_3, f_4$，证明其行列式为正，且在能量约束下所有因子均为正。
• 利用梯度的四元数识别构造正交切向量场，并计算曲率行列式 $DH = 524288a^6 f_1f_2f_3f_4^2$，从而证明严格凸性。

实验结果

研究问题

• RQ1 能否在第一临界能量水平 $c = -3/2$ 以下，将旋转开普勒问题的有界能量超曲面辛嵌入到 $\u211d^4$ 中，并使其为严格凸超曲面？
• RQ2 Ligon-Schaaf 和 Levi-Civita 正则化的组合是否能产生一个凸嵌入，而任一正则化单独使用时均无法实现凸性？
• RQ3 对于所有 $c < -3/2$，正则化后能量曲面的高斯-克罗内克曲率是否为正，从而蕴含动力凸性？
• RQ4 该凸嵌入技术能否推广至限制性三体问题，以支持伯克霍夫猜想关于全局截面的存在性？
• RQ5 曲率行列式的代数结构是什么？是否可因式分解以实现曲率估计？

主要发现

• Ligon-Schaaf 与 Levi-Civita 正则化的组合，为有界能量超曲面 $\Sigma_c^b$ 提供了一个 2 对 1 的辛嵌入，将其嵌入 $\u211d^4$，且对所有 $c < -3/2$ 均为严格凸。
• 通过证明 $F$ 的限制海森矩阵行列式为正，并可因式分解为正项 $f_1, f_2, f_3, f_4$，得出嵌入后超曲面的高斯-克罗内克曲率为正。
• 曲率行列式被显式计算为 $DH = 524288a^6 f_1f_2f_3f_4^2$，其中 $a = \|w\|^2 + \|z\|^2$，且在能量约束 $c < -3/2$ 下所有因子均严格为正。
• 通过代入 $b = \frac{1}{4a^2} + \frac{c}{2}$ 并分析所得关于 $c$ 的二次式，证明 $f_3$ 为正，该式在 $0 < a < 1$ 且 $c < -3/2$ 时恒为正。
• 该嵌入在碰撞集合上可光滑延拓为 $\u211d^4$ 中的闭严格凸超曲面，从而确认了正则化后能量曲面的全局凸性。
• 作为直接推论，能量超曲面的有界分支具有动力凸性，与文献 [2] 中通过直接计算获得的结果一致。