[论文解读] A new variational method with SPBC and many stable choreographic solutions of the Newtonian 4-body problem

Tiancheng Ouyang, Zhifu Xie|arXiv (Cornell University)|Jun 1, 2013

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

一句话总结

本文提出了一种新颖的变分方法，采用结构化预设边界条件（SPBC），证明了牛顿四体问题中存在无穷多条稳定的简单编排解。通过在具有特定边界结构的分段轨道上最小化拉格朗日作用量，作者构建了一族线性稳定的周期轨道，包括著名的稳定星形五边形解，并确立了无穷多条双编排解、非编排解及拟周期解的存在性及其稳定性。

ABSTRACT

After the existence proof of the first remarkably stable simple choreographic motion-- the figure eight of the planar three-body problem by Chenciner and Montgomery in 2000, a great number of simple choreographic solutions have been discovered numerically but very few of them have rigorous existence proofs and none of them are stable. Most important to astronomy are stable periodic solutions which might actually be seen in some stellar system. A question for simple choreographic solutions on $n$-body problems naturally arises: Are there any other stable simple choreographic solutions except the figure eight? In this paper, we prove the existence of infinitely many simple choreographic solutions in the classical Newtonian 4-body problem by developing a new variational method with structural prescribed boundary conditions (SPBC). Surprisingly, a family of choreographic orbits of this type are all linearly stable. Among the many stable simple choreographic orbits, the most extraordinary one is the stable star pentagon choreographic solution. The star pentagon is assembled out of four pieces of curves which are obtained by minimizing the Lagrangian action functional over the SPBC. We also prove the existence of infinitely many double choreographic periodic solutions, infinitely many non-choreographic periodic solutions and uncountably many quasi-periodic solutions. Each type of periodic solutions have many stable solutions and possibly infinitely many stable solutions.

研究动机与目标

• 解决长期以来关于在三体问题中除“双环”解外是否存在稳定非平凡简单编排解的开放性问题。
• 开发一种通用且数值可处理的变分方法，适用于无质量或对称性约束的n体问题。
• 严格证明无穷多条稳定周期解的存在性，包括编排解、双编排解和拟周期解等类型。
• 识别并表征一类新的稳定、对称且几何结构复杂的轨道，如星形五边形。

提出的方法

• 采用两步最小化过程：首先在SPBC定义的线段上最小化作用量，然后将这些线段组装成完整的周期轨道。
• 结构化预设边界条件（SPBC）由两个n×d矩阵Qstart和Qend定义，编码t=0和t=T时刻的特定几何构型。
• 该方法使用在边界构型之间具有恒定速度的测试路径来估计作用量，从而实现作用泛函的数值计算。
• 通过旋转与反射公式（公式10）扩展轨道，以生成完整的周期或拟周期轨迹。
• 通过线性化动力学分析稳定性，数值证据支持该方法对许多解具有线性稳定性。
• 该方法具有通用性，适用于任意n≥4，且对质量或对称性无限制。

实验结果

研究问题

• RQ1 在牛顿四体问题中，是否存在除“双环”外的稳定非平凡简单编排解？
• RQ2 能否构建一种适用于任意n体问题的通用变分方法，且无需对称性或质量约束？
• RQ3 使用该方法能否严格证明存在哪些类型的周期解——编排解、双编排解、非编排解或拟周期解？
• RQ4 该方法能否产生具有证明线性稳定性的解，特别是在复杂对称构型中？
• RQ5 是否存在一种系统性方法，用于生成和分类具有丰富几何结构的稳定周期轨道，如星形五边形？

主要发现

• 本文通过SPBC变分方法，证明了牛顿四体问题中存在无穷多条简单编排解。
• 通过在四个对称曲线段上最小化作用量，构建了一种新的稳定星形五边形编排解，并证明其具有线性稳定性。
• 该方法产生了无穷多条稳定的双编排解、非编排解及拟周期解，其稳定性经数值验证确认。
• 当T=1时，θ=2π/5处测试路径的作用量计算为𝒜(𝑞̄(t))=3.2484，为数值验证提供了基准。
• 在多种旋转角θ下发现了稳定解，包括θ=3π/7、5π/12和9π/22，同时给出了相应的初始条件。
• 数值模拟证实了周期𝑇=248T的周期解存在于θ=12π/31至17π/31范围内，表明该方法在广泛参数范围内的鲁棒性。