Star pentagon and many stable choreographic solutions of the Newtonian 4-body problem

• Develop variational method with structural prescribed boundary conditions (SPBC).
• This method numerically finds solutions and periodic solutions for NN-body problem.
• This method analytically proves the existence of such solutions numerically found.
• Stable star pentagon choreography are analytically proved and numerically found.
• Many stable choreographic and other periodic solutions are discovered and proved.

In this paper, we give a rigorous proof of the existence of infinitely many simple choreographic solutions in the classical Newtonian 4-body problem. These orbits are discovered by a variational method with structural prescribed boundary conditions (SPBC). This method provides an initial path that is obtained by minimizing the Lagrangian action functional over the SPBC. We prove that the initial path can be extended to a periodic or quasi-periodic solution. With computer-assistance, a family of choreographic orbits of this type is shown to be linearly stable. Among the many linearly stable simple choreographic orbits, the most extraordinary one is the stable star pentagon choreographic solution. 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 has many stable solutions and possibly infinitely many stable solutions. Our results with SPBC largely complement the current results by minimizing the action on a loop space.