Rigorous chaos verification in discrete dynamical systems
From MaRDI portal
Publication:1313331
DOI10.1016/0167-2789(93)90169-2zbMATH Open0783.58047OpenAlexW2069902401MaRDI QIDQ1313331FDOQ1313331
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Differentiable dynamical systems
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Numerical orbits of chaotic processes represent true orbits
- Shadowing of physical trajectories in chaotic dynamics: Containment and refinement
- Converse KAM: theory and practice
- Chaotic trajectories in the standard map. The concept of anti- integrability
- Chaos in the Duffing equation
- Reality of chaos in the double scroll circuit: A computer-assisted proof
- Resonances in area-preserving maps
- Chaotic behavior in the Henon mapping
- On the geometry of transport in phase space. I. Transport in k-degree-of- freedom Hamiltonian systems, \(2\leq k<\infty\)
- Fractal boundary for the existence of invariant circles for area- preserving maps: Observations and renormalisation explanation
- Exact numerical studies of Hamiltonian maps: Iterating without roundoff error
Cited In (25)
- Homoclinic shadowing
- Numerical computation of orbits and rigorous verification of existence of snapback repellers
- Parameterization method for unstable manifolds of delay differential equations
- Title not available (Why is that?)
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Computational complexity of iterated maps on the interval
- Rigorous verification of chaotic behaviour of maps using validated shadowing
- Self-validating methods
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Computation of maximal local (un)stable manifold patches by the parameterization method
- RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
- A verified optimization technique to locate chaotic regions of Hénon systems
- Covering relations, cone conditions and the stable manifold theorem
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Rigorous proof of chaotic behaviour in a dumbbell satellite model
- Reliable Representations of Strange Attractors
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
- Verification of chaotic behaviour in the planar restricted three body problem
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- A note on the convergence of parametrised non-resonant invariant manifolds
- INTERVAL-BASED TRACING OF STRANGE ATTRACTORS
Recommendations
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map 👍 👎
- TOPOLOGICAL HORSESHOES AND COMPUTER ASSISTED VERIFICATION OF CHAOTIC DYNAMICS 👍 👎
- Rigorous verification of chaotic behaviour of maps using validated shadowing 👍 👎
- RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Rigorous chaos verification in discrete dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1313331)
