A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps

DOI10.1137/15M100794XzbMath1325.65175OpenAlexW1049009211MaRDI QIDQ3192582

Marian Mrozek, Frank Weilandt, Roman Srzednicki

Publication date: 13 October 2015

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/15m100794x

zbMATH Keywords

numerical exampleinterval arithmeticConley indexPoincaré maprigorous numerical algorithmtime-periodic nonautonomous ordinary differential equation

Mathematics Subject Classification ID

Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Symbolic dynamics (37B10) 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 ⋮ Refinements of topological invariants of flows ⋮ On determining the homological Conley index of Poincaré maps in autonomous systems

Uses Software

• CAPD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Global dynamics in a stage-structured discrete-time population model with harvesting
• Discretization strategies for computing Conley indices and Morse decompositions of flows
• The Conley index on compact ANR's is of finite type
• Recent development in rigorous computational methods in dynamical systems
• Index pairs algorithms
• Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
• Periodic Lotka-Volterra competition equations
• Topological-numerical approach to the existence of periodic trajectories in ODE's
• Computational homology
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• \(C^1\) Lohner algorithm.
• The Conley index for discrete semidynamical systems
• The Conley index and symbolic dynamics
• Computer assisted method for proving existence of periodic orbits
• Combinatorial-topological framework for the analysis of global dynamics
• Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System
• Index pairs and the fixed point index for semidynamical systems with discrete time
• Connected Simple Systems and The Conley Index of Isolated Invariant Sets
• 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
• The Lorenz attractor exists
• Periodic and bounded solutions in blocks for time-periodic nonautonomous ordinary differential equations
• Chaos in the Lorenz equations: a computer-assisted proof
• A combinatorial procedure for finding isolating neighbourhoods and index pairs
• Dynamical systems, shape theory and the Conley index
• Shift equivalence and the Conley index
• A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
• A dynamical model for plasma confinement transitions
• Isolated Invariant Sets and Isolating Blocks