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

DOI10.12775/TMNA.2015.051zbMATH Open1365.34079arXiv1401.3015OpenAlexW2963700396MaRDI QIDQ526118FDOQ526118

Anna Wasieczko-Zając, Maciej Capiński

Publication date: 8 May 2017

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

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.

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)

Cited In (11)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
• Title not available (Why is that?)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
• Automatic differentiation for Fourier series and the radii polynomial approach
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds

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)