From the Lagrange Triangle to the Figure Eight Choreography: Proof of Marchal's Conjecture

Renato Calleja,Carlos García-Azpeitia,Olivier Hénot,Jean-Philippe Lessard,Jason D. Mireles James
2024-06-25
Abstract:For the three body problem with equal masses, we prove that the most symmetric continuation class of Lagrange's equilateral triangle solution, also referred to as the $P_{12}$ family of Marchal, contains the remarkable figure eight choreography discovered by Moore in 1993, and proven to exist by Chenciner and Montgomery in 2000. This settles a conjecture of Marchal which dates back to the 1999 conference on Celestial Mechanics in Evanston Illinois, celebrating Donald Saari's 60th birthday.
Dynamical Systems
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove Marchal's conjecture, that is, in the three - body problem, the most symmetric continuation class (P12 family) of three celestial bodies with equal masses contains the famous "figure - eight choreography" orbit discovered by Moore in 1993 and proven to exist by Chenciner and Montgomery in 2000. Specifically, the goal of the paper is to verify whether the P12 family starting from the Lagrange triangle solution can be connected to the "figure - eight choreography" orbit through continuous changes in the frequency parameter. The following are the main goal decompositions of the paper: 1. **Verify Marchal's Conjecture**: The core problem of the paper is to prove the conjecture proposed by Marchal, that is, the P12 family does indeed contain the "figure - eight choreography" orbit. This requires constructing a continuous branch from the Lagrange triangle solution to the "figure - eight choreography" orbit. 2. **Describe the Global Structure of the P12 Family**: By analyzing the properties of the P12 family, the paper attempts to provide its global description, including the complete path from the Lagrange triangle to the "figure - eight choreography" orbit. 3. **Use Computer - Aided Methods to Prove Existence**: The paper adopts computer - aided methods, combining analytical techniques and numerical calculations, to verify the existence of the P12 family and its relationship with the "figure - eight choreography" orbit. 4. **Study Symmetry and Non - linear Equations**: The paper reformulates the problem as a functional equation and uses techniques such as symmetry reduction, desingularization, and polynomial embedding to simplify the problem - solving. ### Formula Summary The following are some key formulas and their functions: 1. **Equation of Motion**: \[ m_j \ddot{q}_j = -\frac{\partial U}{\partial q_j}, \quad U = -\sum_{j < l} \frac{G m_j m_l}{\|q_j - q_l\|} \] It describes the dynamics of the three - body problem. 2. **Lagrange Triangle Solution**: \[ q_j(t) = 3^{-1/6} e^{(t + 2\pi j / 3) \bar{J}} e_1 = 3^{-1/6} \begin{pmatrix} \cos(t + 2\pi j / 3) \\ \sin(t + 2\pi j / 3) \\ 0 \end{pmatrix}, \quad j = 1, 2, 3 \] It represents the periodic solution of the Lagrange triangle. 3. **Symmetry of the P12 Family**: \[ U_j(t, \Omega) = U_3(t + 4\pi j / 3, \Omega), \quad j = 1, 2 \] It defines the symmetry of the periodic solutions of the P12 family. 4. **System of Delay Differential Equations**: \[ 0 = G(U) \equiv \ddot{U} - 2\Omega \bar{J} \dot{U} - \Omega^2 \bar{I} U + 2 \sum_{j = 1}^2 \frac{U - S_j U}{\|U - S_j U\|^3} \] It describes the dynamic equations in the rotating coordinate system. 5. **Desingularization Equation**: \[ \beta e_1 - \Omega^2 \bar{I} U - 2\Omega \bar{J} \dot{U} + \ddot{U} + 2 \sum_{j = 1}^2 \frac{U - S_j U}{\|L \sqrt{a} u - S_j L \sqrt{a} u\|^3} = 0 \] It introduces the expansion parameter \(\beta\) to handle the singularity problem at the endpoints. 6. **Polynomial Embedding System**: \[ \begin{aligned} \partial_t v &= -\beta e_