Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
From MaRDI portal
Publication:967202
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
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
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
