[论文解读] The Broucke-Hénon orbit and the Schubart Orbit in the planar three-body problem with equal masses

Wentian Kuang, Tiancheng Ouyang+2 more|arXiv (Cornell University)|Jul 3, 2016

Spacecraft Dynamics and Control参考文献 26被引用 7

一句话总结

本文证明，在平面三体问题中，当质量相等且满足特定拓扑约束时，作用量最小化器必为 Schubart 轨道或 Broucke-Hénon 轨道。通过采用具有自由边界条件的两步变分法，作者证明 Schubart 轨道是在共线构型与二元碰撞之间作用量最小的解，从而通过一种新颖的几何论证解决了长期悬而未决的开放问题。

ABSTRACT

In this paper, we study the variational properties of two special orbits: the Schubart orbit and the Broucke-Hénon orbit. We show that under an appropriate topological constraint, the action minimizer must be either the Schubart orbit or the Broucke-Hénon orbit. One of the main challenges is to prove that the Schubart orbit coincides with the action minimizer connecting a collinear configuration with a binary collision and an isosceles configuration. A new geometric argument is introduced to overcome this challenge.

研究动机与目标

• 解决长期悬而未决的开放问题：Broucke-Hénon 轨道是否为同调类 (1,0,1) 下的作用量最小化器？
• 确立 Schubart 轨道为连接共线构型至二元碰撞与等腰构型的作用量最小化器。
• 提出一种新的几何论证，以克服在给定约束下证明 Schubart 轨道最小性的挑战。
• 证明在两点自由边界值问题中，作用量最小化器必为 Schubart 或 Broucke-Hénon 轨道。

提出的方法

• 将问题表述为在固定时间区间 [0,1] 上使用拉格朗日作用量泛函的两点自由边界值问题。
• 应用两步最小化程序：首先在端点固定的路径中进行最小化，然后在自由边界参数中进行最小化。
• 施加对称性约束与拓扑条件（同调类 (1,0,1)），以限制允许路径的集合。
• 使用一种新颖的几何论证，证明 Schubart 轨道与指定边界问题中的作用量最小化器完全一致。
• 采用路径延拓方法，利用反射对称性（R_x 与 R_y），从最小化器构造出一个周期解。
• 通过比较作用量数值验证结果：Schubart 轨道的 𝒜₁₀ ≈ 3.43，Broucke-Hénon 轨道的 𝒜₂₀ ≈ 3.46。

实验结果

研究问题

• RQ1 在同调类 (1,0,1) 约束下，Broucke-Hénon 轨道是否为作用量泛函的最小化器？
• RQ2 Schubart 轨道是否在连接共线构型至二元碰撞与等腰构型的路径中最小化作用量？
• RQ3 能否构建一种新的几何论证，以证明在该变分设定下 Schubart 轨道的最小性？
• RQ4 由作用量最小化器生成的周期解中存在哪些对称性？
• RQ5 在给定约束下，Schubart 与 Broucke-Hénon 两轨道中哪一个具有更低的作用量值？

主要发现

• 在具有拓扑约束 (1,0,1) 的两点自由边界值问题中，作用量最小化器必为 Schubart 轨道或 Broucke-Hénon 轨道。
• 通过一种新颖的几何论证，证明 Schubart 轨道是连接共线构型至二元碰撞与等腰构型的作用量最小化器。
• Broucke-Hénon 轨道的作用量值更高（𝒜₂₀ ≈ 3.46），高于 Schubart 轨道（𝒜₁₀ ≈ 3.43），表明 Schubart 轨道是全局最小化器。
• 由最小化器生成的周期解表现出 D₂ 对称性，包含时间 2 和时间 4 的对称性，涉及对 x 轴与 y 轴的反射。
• 可通过反射对称性将最小化路径平滑延拓为 4-周期解，从而确认经典周期轨道的存在性。
• 数值证据表明，Schubart 轨道的作用量低于 Broucke-Hénon 轨道，支持其在此设定下为唯一最小化器的结论。