Dynamical System Prize, atorgat per la Societat Catalana de Matemàtiques
© 2015, SpringerVerlag Berlin Heidelberg. The restricted three body problem models the motion of a massless body under the influence of the Newtonian gravitational force caused by two other bodies called the primaries. When they move along circular Keplerian orbits and the third body moves in the same plane, one has the restricted planar circular three body problem (RPC3BP). In suitable coordinates, it is a Hamiltonian s...
+
Dynamical System Prize, atorgat per la Societat Catalana de Matemàtiques
© 2015, SpringerVerlag Berlin Heidelberg. The restricted three body problem models the motion of a massless body under the influence of the Newtonian gravitational force caused by two other bodies called the primaries. When they move along circular Keplerian orbits and the third body moves in the same plane, one has the restricted planar circular three body problem (RPC3BP). In suitable coordinates, it is a Hamiltonian system of two degrees of freedom. The conserved energy is usually called the Jacobi constant. Llibre and Simó [Math Ann 248(2):153–184, 1980] proved the existence of oscillatory motions for this system. That is, orbits which leave every bounded region but which return infinitely often to some fixed bounded region. To prove their existence they had to assume the ratio between the masses of the primaries to be small enough. In this paper we prove the existence of such motions for any value of the mass ratio(Formula presented.) closing the problem of existence of oscillatory motions in the RPC3BP. To obtain such motions, we restrict ourselves to the level sets of the Jacobi constant. We show that, for any value of the mass ratio and for large values of the Jacobi constant, there exist transversal intersections between the stable and unstable manifolds of infinity in these level sets. These transversal intersections guarantee the existence of a symbolic dynamics that creates the oscillatory orbits. The main achievement is to prove the existence of these orbits without assuming the mass ratio (Formula presented.) small. When (Formula presented.) is not small, this transversality can not be checked by means of classical perturbation theory. Since our method is valid for all values of v, we are able to detect a curve in the parameter space, formed by (Formula presented.) and the Jacobi constant, where cubic homoclinic tangencies between the invariant manifolds of infinity appear.
