We present a methodology for computer assisted proofs of Shil'nikov homoclinic intersections. It is based on geometric bounds on the invariant manifolds using rate conditions, and on propagating the bounds by an interval arithmetic integrator. Our method ensures uniqueness of the parameter for which the homoclinic takes place. We apply the method for the Lorenz-84 atmospheric circulation model, obtaining a sharp bound for the parameter, and also for where the homoclinic intersection of the stable/unstable manifolds takes place.

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.

No abstract