Geometric Proof of Strong Stable/Unstable Manifolds, with Application to the Restricted Three Body Problem
arXiv:1401.3015
Abstract
We present a method for establishing invariant manifolds for saddle--center fixed points. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs, and does not require rigorous integration of the vector field in order to prove the existence of the invariant manifolds. 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 to one of the libration points.
34 pages, 6 figures
References in corpus (4)
- Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof
- Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds
- Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum
- Rigorous Enclosures of a Slow Manifold