Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem

Abstract

We present a method for establishing strong stable/unstable manifolds of fixed points for maps and ODEs. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs. In the case of ODEs, assumptions follow from estimates on the vector field, and it is not necessary to integrate the system. We apply our method to the restricted three body problem and show that for a given choice of the mass parameter, there exists a homoclinic orbit along matching strong stable/unstable manifolds of one of the libration points.