Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
From MaRDI portal
Publication:526118
DOI10.12775/TMNA.2015.051zbMath1365.34079arXiv1401.3015OpenAlexW2963700396MaRDI QIDQ526118
Anna Wasieczko-Zając, Maciej J. Capiński
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
Invariant manifold theory for dynamical systems (37D10) Invariant manifolds for ordinary differential equations (34C45) (n)-body problems (70F10) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Dynamical systems involving smooth mappings and diffeomorphisms (37C05)
Related Items
Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
