It is well known that there are periodical three-dimensional orbits around L1 and L2 libration points in circular restricted three-body problem called halo orbits. Existence of these orbits is justified numerically: anybody can state a system of nonlinear equations (conditions of symmetry and orthogonality to the xz plane) and solve it numerically to obtain a solution with high precision. But is there any analytical proof that these periodical orbits exist, mathematically?

As I know, existence of the Lyapunov orbits in CR3BP is a consequence of the Lyapunov's centre theorem:

  • Meyer, K. R. and Hall, G. R. (1992). Introduction to Hamiltonian Dynamical Systems and the N-Body Problem. Applied Mathematical Sciences, vol. 90. Springer-Verlag, New York.

But why halo orbits exist? Why there is an energy level at which there is a bifurcation from the planar Lyapunov orbits that gives rise to halo orbits?

Similar questions and discussions