Rigorous chaos verification in discrete dynamical systems
From MaRDI portal
Publication:1313331
DOI10.1016/0167-2789(93)90169-2zbMath0783.58047OpenAlexW2069902401MaRDI QIDQ1313331
Publication date: 19 January 1994
Published in: Physica D (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-2789(93)90169-2
Related Items
Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ INTERVAL-BASED TRACING OF STRANGE ATTRACTORS ⋮ An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Parameterization method for unstable manifolds of delay differential equations ⋮ Towards a computer-assisted proof for chaos in a forced damped pendulum equation ⋮ Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations ⋮ Reliable Representations of Strange Attractors ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ A note on the convergence of parametrised non-resonant invariant manifolds ⋮ Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits ⋮ Computational complexity of iterated maps on the interval ⋮ RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS ⋮ Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ Self-validating methods ⋮ Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level ⋮ Verification of chaotic behaviour in the planar restricted three body problem ⋮ A verified optimization technique to locate chaotic regions of Hénon systems ⋮ Covering relations, cone conditions and the stable manifold theorem ⋮ Numerical computation of orbits and rigorous verification of existence of snapback repellers ⋮ Homoclinic shadowing ⋮ Rigorous proof of chaotic behaviour in a dumbbell satellite model
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Chaotic behavior in the Henon mapping
- Chaotic trajectories in the standard map. The concept of anti- integrability
- Fractal boundary for the existence of invariant circles for area- preserving maps: Observations and renormalisation explanation
- On the geometry of transport in phase space. I. Transport in k-degree-of- freedom Hamiltonian systems, \(2\leq k<\infty\)
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Converse KAM: theory and practice
- Resonances in area-preserving maps
- Exact numerical studies of Hamiltonian maps: Iterating without roundoff error
- Chaos in the Duffing equation
- Numerical orbits of chaotic processes represent true orbits
- Reality of chaos in the double scroll circuit: A computer-assisted proof
- Shadowing of physical trajectories in chaotic dynamics: Containment and refinement
- Differentiable dynamical systems
