Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds

DOI10.1007/s10208-009-9053-5zbMath1192.65152OpenAlexW2117233628MaRDI QIDQ967202

Marian Mrozek, Roman Srzednicki

Publication date: 28 April 2010

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10208-009-9053-5

zbMATH Keywords

algorithminvariant seterror boundsPoincaré mapchaotic dynamical systems

Mathematics Subject Classification ID

Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Index theory for dynamical systems, Morse-Conley indices (37B30) Numerical chaos (65P20) Topological dynamics of nonautonomous systems (37B55)

Related Items

On computer-assisted proving the existence of periodic and bounded orbits ⋮ A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps ⋮ Nested set of periodic segments ⋮ Chaotic dynamics via index maps ⋮ Strong pairs of periodic segments ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Hyperbolicity and averaging for the Srzednicki-Wójcik equation

Uses Software

• CAPD
• RODES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A geometric method for detecting chaotic dynamics
• Index pairs algorithms
• Generalized Lefschetz theorem and a fixed point index formula
• A rigorous ODE solver and Smale's 14th problem
• Topological invariants, multivalued maps and computer assisted proofs in dynamics
• \(C^1\) Lohner algorithm.
• An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
• Isolating segments, fixed point index, and symbolic dynamics
• Steenrod-Sitnikov homology for arbitrary spaces
• On spurious asymptotic numerical solutions of explicit Runge-Kutta methods
• Spurious solutions of numerical methods for initial value problems
• Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
• Periodic and bounded solutions in blocks for time-periodic nonautonomous ordinary differential equations
• Chaos in the Lorenz equations: a computer-assisted proof
• Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
• Set arithmetic and the enclosing problem in dynamics
• Isolated Invariant Sets and Isolating Blocks