[论文解读] Stability of fixed points and associated relative equilibria of the $3$-body problem on $\mathbb S^1$ and $\mathbb S^2$

Florin Diacu, Juan Manuel Sánchez-Cerritos+1 more|arXiv (Cornell University)|Mar 10, 2016

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

一句话总结

本文研究了在1-球面（$\mathbb{S}^1$）和2-球面（$\mathbb{S}^2$）上的曲面3体问题中，固定点解及其相关相对平衡的稳定性。在$\mathbb{S}^1$上，证明了固定点及其相对平衡的李雅普诺夫稳定性；在$\mathbb{S}^2$上，相对平衡的线性稳定性取决于角速度：当且仅当$\omega^2 > \lambda_1$时，它们是线性稳定的，其中$\lambda_1$是一个与构型相关的临界值。

ABSTRACT

We prove that the fixed points of the curved 3-body problem and their associated relative equilibria are Lyapunov stable if the solutions are restricted to $\mathbb S^1$, but unstable if the bodies are considered in $\mathbb S^2$.

研究动机与目标

• 在$\mathbb{S}^1$和$\mathbb{S}^2$上的曲面3体问题中，建立固定点解的存在性及其稳定性性质。
• 分析与这些固定点相关的相对平衡的稳定性，特别关注角速度在$\mathbb{S}^2$上的作用。
• 为$\mathbb{S}^2$上$n > 2$个质点提供固定点存在的通用判据，并对所有存在此类构型的质量三元组进行分类。
• 通过在不变子空间上分析线性化动力学，将经典稳定性框架扩展到曲面配置空间。
• 将$\mathbb{S}^1$上固定点的稳定性行为与牛顿$n$体问题中的经典共线中心构型进行比较。

提出的方法

• 将曲面3体问题表述为余切丛$W = (\mathbb{S}^2)^n \setminus \Delta$上的哈密顿系统，使用测地距离和包含$\cot d_{ij}$的余切势能。
• 将固定点定义为力函数$V = -U$的临界点，其中$U$为势能，以确保在球面上的零速度解。
• 使用雅可比型坐标对系统进行约化，并在约化相空间中分析稳定性，特别关注流的静止点。
• 应用西尔维斯特惯性定律和矩阵合同变换，分析力函数的黑塞矩阵，确定负特征值的个数，从而在$\mathbb{S}^1$上建立李雅普诺夫稳定性。
• 采用受里克·莫克尔启发的约化技术，识别出用于研究$\mathbb{S}^2$上线性稳定性的合适线性子空间$E_2$和$\tilde{E}$，并将线性化系统限制在$\tilde{E}$上。
• 计算线性化算子$HM^{-1} - \omega^2$的特征值，以确定稳定性条件：纯虚特征值意味着线性稳定，这恰好发生在$\omega^2 > \lambda_1$时。

实验结果

研究问题

• RQ1 在$\mathbb{S}^1$和$\mathbb{S}^2$上的曲面3体问题中，固定点解存在的条件是什么？
• RQ2 在$\mathbb{S}^1$上，固定点解及其相关相对平衡是否具有李雅普诺夫稳定性？
• RQ3 角速度$\omega$如何影响$\mathbb{S}^2$上相对平衡的线性稳定性？
• RQ4 在$\mathbb{S}^2$上，决定线性稳定性的精确临界值$\lambda_1$是什么？
• RQ5 在$\mathbb{S}^1$上固定点的稳定性特性与牛顿$n$体问题中经典共线中心构型的稳定性特性有何异同？

主要发现

• 在$\mathbb{S}^1$上，固定点解是李雅普诺夫稳定的，因为它们在约化相空间中对应于力函数$V$的局部极大值。
• 在$\mathbb{S}^2$上，仅当三个质量在大圆上构成锐角三角形时，固定点构型才存在。
• 在$\mathbb{S}^2$上，相关的相对平衡是线性稳定的当且仅当角速度平方超过一个临界值：$\omega^2 > \lambda_1$。
• 临界值$\lambda_1$被显式计算为$\lambda_1 = -\frac{m_2}{\sin^2\alpha}\frac{\sin\beta}{\sin(\alpha+\beta)\sin\alpha} - \frac{m_3}{\sin^2\beta}\frac{\sin\alpha}{\sin(\alpha+\beta)\sin\beta} - \frac{m_3}{\sin^2\beta}\frac{\sin(\alpha+\beta)}{\sin\alpha\sin\beta}$，其中$\alpha, \beta$是锐角三角形的内角。
• $\mathbb{S}^2$上的线性稳定性由矩阵$HM^{-1} - \omega^2$的谱决定，当$\omega^2 > \lambda_1$时，纯虚特征值表示稳定性。
• 该系统与经典$n$体问题存在根本性差异：在经典情形中，共线构型是势能在直线上的极小值点，而$\mathbb{S}^1$上的固定点是极大值点，且$\mathbb{S}^2$上的稳定性依赖于速度而非仅构型。