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

DOI10.12775/TMNA.2015.051MaRDI QIDQ526118zbMATH OpenOpenAlexFDO

Authors Maciej Capiński, Anna Wasieczko-Zając

Publication date 8 May 2017

Published in Topological Methods in Nonlinear Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.3015

zbMATH Keywords

invariant manifoldsfixed pointscenter manifolds

Mathematics Subject Classification ID

Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Invariant manifolds for ordinary differential equations (34C45) Dynamical systems involving smooth mappings and diffeomorphisms (37C05) Invariant manifold theory for dynamical systems (37D10) (n)-body problems (70F10)

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.

Recommendations

• Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
• A new proof of the stable manifold theorem for hyperbolic fixed points on surfaces
• GEOMETRY OF HOMOCLINIC CONNECTIONS IN A PLANAR CIRCULAR RESTRICTED THREE-BODY PROBLEM
• Existence of a center manifold in a practical domain around \(L_1\) in the restricted three-body problem
• Stable manifolds associated to fixed points with linear part equal to identity.

Cited in

(13)

• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
• Automatic differentiation for Fourier series and the radii polynomial approach
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
• Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
• Existence of a center manifold in a practical domain around \(L_1\) in the restricted three-body problem
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• scientific article; zbMATH DE number 3694647 (Why is no real title available?)
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
• Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• Stable manifolds associated to fixed points with linear part equal to identity.

This page was built for publication: Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526118)