[论文解读] Choreography solutions of the $n$-body problem on $S^2$

Juan Manuel Sánchez-Cerritos, Shiqing Zhang|arXiv (Cornell University)|Jun 8, 2018

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

一句话总结

本文通过变分法证明了在2-球面（$S^2$）上三体问题存在编舞解。作者在周期性且非共线配置的对称子集 $H$ 上最小化拉格朗日作用泛函，建立了具有8字形轨道的非碰撞周期解，将经典平面8字形编舞解推广至具有正曲率的弯曲空间。

ABSTRACT

We try to prove the existence of choreography solutions for the $n-$body problem on $S^2$. For the three-body problem, we show the existence of the 8-shape orbit on $S^2$.

研究动机与目标

• 在具有正曲率的单位球面 $S^2$ 上，建立 $n$-体问题周期编舞解存在的证明。
• 将切连钦与蒙哥马利发现的经典平面8字形编舞解推广至 $S^2$ 的弯曲几何结构。
• 证明拉格朗日作用泛函在对应于编舞运动的对称子集 $H$ 上取得最小值。
• 表明该最小值对应于 $S^2$ 上方程运动的非碰撞、周期解。
• 为在弯曲天体力学中构造新的对称周期解族提供变分框架。

提出的方法

• 在 $S^2$ 上的绝对连续且非共线 $n$-元组的配置空间 $D$ 上定义拉格朗日作用泛函 $f(q) = \int_0^1 \left(\frac{1}{2}\sum m_i|\dot{q}_i|^2 + U(q)\right) dt$。
• 引入对应于循环移位、时间反演和空间反射对称性的对称子空间 $E_1$、$E_2$、$E_3$，并定义 $H = E_1 \cap E_2 \cap E_3$ 为编舞解的集合。
• 应用帕拉依斯的对称临界性原理，确保 $f$ 在 $H$ 上的临界点也是全空间 $D$ 中的临界点，因此是运动方程的解。
• 使用势函数 $U = \sum_{i<j} m_i m_j \cot(d(q_i,q_j))$ 建模 $S^2$ 上的引力相互作用，将牛顿引力推广至球面几何。
• 利用欧氏距离 $r_{ij}$ 和 $\cot(d(q_i,q_j))$ 的不等式，估计二元碰撞解的作用下界，证明真实最小值高于碰撞阈值。
• 构造一个测试环路，其中 $q_i(t) = q_1(t + i/3)$，并采用特定参数坐标，数值验证作用低于碰撞阈值，从而确认非碰撞解的存在。

实验结果

研究问题

• RQ1 在具有正曲率的2-球面 ($S^2$) 上，三体问题是否存在非碰撞编舞解？
• RQ2 经典平面8字形编舞解能否通过变分法推广至球面几何？
• RQ3 拉格朗日作用泛函在对称子集 $H$ 上的最小值是否在正则、非共线解处取得？
• RQ4 在 $S^2$ 上，广义二元碰撞解的作用泛函下界是多少？与测试环路的实际作用相比如何？
• RQ5 对称临界性能否有效应用于证明弯曲 $n$-体问题中周期解的存在性？

主要发现

• 拉格朗日作用泛函在对应于 $S^2$ 上编舞运动的对称子集 $H$ 上取得最小值，且该最小值是运动方程的非碰撞、周期解。
• 最小作用严格小于 $\frac{3}{2}(12\pi)^{2/3} - 3 \approx 13.8647$，且测试环路的作用 $f(q) \approx 13.76572$ 确认下确界并非在碰撞解处取得。
• 本文证明了任意二元碰撞解的作用均被下界 $\frac{3}{2}(12\pi)^{2/3} - 3$ 所限制，而测试环路的作用更低，因此真实极小化器必为正则解。
• 在 $S^2$ 上的8字形轨道被实现为具有三个等质量的非碰撞、对称周期解，满足循环对称、时间反演对称和反射对称。
• 该解的存在性通过变分法与对称临界性得以确立，将经典平面编舞解推广至弯曲空间。
• 势函数 $U = \sum_{i<j} \cot(d(q_i,q_j))$ 正确地将牛顿引力推广至 $S^2$，且不等式 $\frac{1}{r_{ij}} - 1 < \cot(d(q_i,q_j)) < \frac{1}{r_{ij}}$ 被用于对作用从下方进行有界。