Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori
From MaRDI portal
Publication:4588273
DOI10.1137/17M1113254zbMath1376.65149OpenAlexW2745959952MaRDI QIDQ4588273
Roberto Barrio, Daniel Wilczak
Publication date: 1 November 2017
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/17m1113254
algorithmPoincaré mapsHamiltonian systemsnormal formsresonancesinvariant toricontinuationcomputer-assisted proofMichelson systemHénon-Heiles Hamiltonianpendulum equationsstable elliptic periodic orbit
Numerical nonlinear stabilities in dynamical systems (65P40) Stability problems for finite-dimensional Hamiltonian and Lagrangian systems (37J25)
Related Items
Recent advances in a rigorous computation of Poincaré maps ⋮ Topological classification of periodic orbits in the generalized Lorenz-type system with diverse symbolic dynamics ⋮ Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ 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
- A database of rigorous and high-precision periodic orbits of the Lorenz model
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Systematic search of symmetric periodic orbits in 2DOF Hamiltonian systems
- Bounds for the chaotic region in the Lorenz model
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- A three-parametric study of the Lorenz model
- Steady solutions of the Kuramoto-Sivashinsky equation
- Uniqueness of connecting orbits in the equation \(Y^{(3)}=Y^ 2-1\)
- Bifurcations of periodic trajectories in non-integrable Hamiltonian systems with two degrees of freedom: Numerical and analytical results
- Reversible systems
- POMULT: A program for computing periodic orbits in Hamiltonian systems based on multiple shooting algorithms
- Reversing \(k\)-symmetries in dynamical systems
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
- Rigorous computer-assisted application of KAM theory: a modern approach
- Lectures on celestial mechanics. Transl. from the German by C. I. Kalme.
- Systematic computer assisted proofs of periodic orbits of Hamiltonian systems
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Qualitative analysis of the Rössler equations: bifurcations of limit cycles and chaotic attractors
- Qualitative analysis of the \((N+1)\)-body ring problem
- Quasi-periodic motions in families of dynamical systems. Order amidst chaos
- Heteroclinic bifurcations near Hopf-zero bifurcation in reversible vector fields in \(\mathbb R^3\)
- New aspects in the unfolding of the nilpotent singularity of codimension three
- The Lindstedt--Poincaré Technique as an Algorithm for Computing Periodic Orbits
- On computing periodic orbits
- Computer assisted proof for normally hyperbolic invariant manifolds
- Reliable Computation of Robust Response Tori on the Verge of Breakdown
- BIFURCATIONS AND CHAOS IN HAMILTONIAN SYSTEMS
- Resonant zones, inner and outer splittings in generic and low order resonances of area preserving maps
- THE "COCOON" BIFURCATIONS IN THREE-DIMENSONAL SYSTEMS WITH TWO FIXED POINTS
- Generic twistless bifurcations
- Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
- 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
- Near strongly resonant periodic orbits in a Hamiltonian system
- Cocoon bifurcation in three-dimensional reversible vector fields
- Generic Bifurcation of Periodic Points
- INSTABILITY IN A HAMILTONIAN SYSTEM AND THE DISTRIBUTION OF ASTEROIDS
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- Application of the characteristic bisection method for locating and computing periodic orbits in molecular systems