Rigorous chaos verification in discrete dynamical systems
From MaRDI portal
Publication:1313331
Recommendations
- RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
- Rigorous verification of chaotic behaviour of maps using validated shadowing
- scientific article; zbMATH DE number 843185
- TOPOLOGICAL HORSESHOES AND COMPUTER ASSISTED VERIFICATION OF CHAOTIC DYNAMICS
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
Cites work
- scientific article; zbMATH DE number 3760340 (Why is no real title available?)
- scientific article; zbMATH DE number 42545 (Why is no real title available?)
- scientific article; zbMATH DE number 52928 (Why is no real title available?)
- scientific article; zbMATH DE number 193486 (Why is no real title available?)
- scientific article; zbMATH DE number 3204015 (Why is no real title available?)
- Chaos in the Duffing equation
- Chaotic behavior in the Henon mapping
- Chaotic trajectories in the standard map. The concept of anti- integrability
- Converse KAM: theory and practice
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Differentiable dynamical systems
- Exact numerical studies of Hamiltonian maps: Iterating without roundoff error
- Fractal boundary for the existence of invariant circles for area- preserving maps: Observations and renormalisation explanation
- Numerical orbits of chaotic processes represent true orbits
- On the geometry of transport in phase space. I. Transport in k-degree-of- freedom Hamiltonian systems, \(2\leq k<\infty\)
- Reality of chaos in the double scroll circuit: A computer-assisted proof
- Resonances in area-preserving maps
- Shadowing of physical trajectories in chaotic dynamics: Containment and refinement
Cited in
(25)- A verified optimization technique to locate chaotic regions of Hénon systems
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Numerical computation of orbits and rigorous verification of existence of snapback repellers
- Reliable representations of strange attractors
- 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
- INTERVAL-BASED TRACING OF STRANGE ATTRACTORS
- Covering relations, cone conditions and the stable manifold theorem
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
- Parameterization method for unstable manifolds of delay differential equations
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- 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
- Rigorous verification of chaotic behaviour of maps using validated shadowing
- A note on the convergence of parametrised non-resonant invariant manifolds
- Homoclinic shadowing
- Self-validating methods
- Computational complexity of iterated maps on the interval
- Rigorous proof of chaotic behaviour in a dumbbell satellite model
- Verification of chaotic behaviour in the planar restricted three body problem
- 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
- scientific article; zbMATH DE number 4055536 (Why is no real title available?)
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)
