Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
From MaRDI portal
Publication:2207440
DOI10.1016/j.cnsns.2019.03.005zbMath1464.65282arXiv1903.01195OpenAlexW2920399592WikidataQ128300267 ScholiaQ128300267MaRDI QIDQ2207440
Irmina Walawska, Daniel Wilczak
Publication date: 22 October 2020
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.01195
Three-body problems (70F07) Periodic orbits of vector fields and flows (37C27) Orbital mechanics (70M20) Algorithms with automatic result verification (65G20) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical bifurcation problems (65P30)
Related Items (6)
Recent advances in a rigorous computation of Poincaré maps ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system ⋮ Torus knot choreographies in the n-body problem ⋮ Structure of the centre manifold of the \(L_1\), \(L_2\) collinear libration points in the restricted three-body problem ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Rigorous verification of saddle-node bifurcations in ODEs
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Proposals for the masses of the three largest asteroids, the Moon-Earth mass ratio and the astronomical unit
- Period doubling in the Rössler system -- a computer assisted proof
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- Validated continuation over large parameter ranges for equilibria of PDEs
- Steady solutions of the Kuramoto-Sivashinsky equation
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Continuation of periodic orbits in conservative and Hamiltonian systems
- Computer assisted method for proving existence of periodic orbits
- Lissajous and halo orbits in the restricted three-body problem
- Halo orbits around the collinear points of the restricted three-body problem
- An equation for continuous chaos
- Algorithm 924
- Three-dimensional, periodic, ?halo? orbits
- A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
- ELEMENTAL PERIODIC ORBITS ASSOCIATED WITH THE LIBRATION POINTS IN THE CIRCULAR RESTRICTED 3-BODY PROBLEM
- MPFR
- Global smooth solution curves using rigorous branch following
- BIFURCATIONS AND CHAOS IN HAMILTONIAN SYSTEMS
- Interval Methods for Systems of Equations
- The existence of simple choreographies for theN-body problem—a computer-assisted proof
- Possible chaotic motion of comets in the Sun–Jupiter system—a computer-assisted approach based on shadowing
- Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori
- Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
- Continuation of Bifurcations of Periodic Orbits for Large-Scale Systems
- Numerical Continuation of Symmetric Periodic Orbits
- Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
- Rigorous verification of cocoon bifurcations in the Michelson system
- MATCONT
- Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum
- The dynamics around the collinear equilibrium points of the RTBP
This page was built for publication: Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
