Discretization strategies for computing Conley indices and Morse decompositions of flows

DOI10.3934/JCD.2016001MaRDI QIDQ333770zbMATH OpenOpenAlexFDO

Authors Frank Weilandt, Marian Mrozek, K. Mischaikow

Publication date 31 October 2016

Published in Journal of Computational Dynamics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1511.04426

zbMATH Keywords

Conley indexMorse decompositioninterval arithmeticrigorous numerical algorithm

Mathematics Subject Classification ID

Index theory for dynamical systems, Morse-Conley indices (37B30) Gradient-like behavior; isolated (locally maximal) invariant sets; attractors, repellers for topological dynamical systems (37B35) Numerical nonlinear stabilities in dynamical systems (65P40) Algorithms with automatic result verification (65G20)

Abstract: Conley indices and Morse decompositions of flows can be found by using algorithms which rigorously analyze discrete dynamical systems. This usually involves integrating a time discretization of the flow using interval arithmetic. We compare the old idea of fixing a time step as a parameters to a time step continuously varying in phase space. We present an example where this second strategy necessarily yields better numerical outputs and prove that our outputs yield a valid Morse decomposition of the given flow.

Recommendations

• Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices
• Algorithmic computation of the Conley index
• Efficient automation of index pairs in computational Conley index theory
• A topological approach to the algorithmic computation of the Conley index for Poincaré maps
• scientific article; zbMATH DE number 1759826

Cites work

• scientific article; zbMATH DE number 3587733 (Why is no real title available?)
• scientific article; zbMATH DE number 3616736 (Why is no real title available?)
• scientific article; zbMATH DE number 1787316 (Why is no real title available?)
• scientific article; zbMATH DE number 1787320 (Why is no real title available?)
• A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
• A combinatorial procedure for finding isolating neighbourhoods and index pairs
• A dynamical model for plasma confinement transitions
• An algorithmic approach to chain recurrence
• Combinatorial-topological framework for the analysis of global dynamics
• Computational homology
• Computer assisted method for proving existence of periodic orbits
• Covering relations for multidimensional dynamical systems
• Covering relations for multidimensional dynamical systems. II
• Dynamical systems, shape theory and the Conley index
• Index pairs algorithms
• Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
• Ordinary differential equations and dynamical systems
• Polygonal approximation of flows
• Recent development in rigorous computational methods in dynamical systems
• Rigorous numerics in dynamics
• Shift equivalence and the Conley index
• The Conley index on compact ANR's is of finite type
• The homotopy index and partial differential equations

Cited in

(8)

• Topological techniques for efficient rigorous computation in dynamics
• Refinements of topological invariants of flows
• Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices
• An algorithmic approach to lattices and order in dynamics
• A topological approach to the algorithmic computation of the Conley index for Poincaré maps
• Computational Discrete Morse Theory for Divergence-Free 2D Vector Fields
• Global dynamics for steep nonlinearities in two dimensions
• Creating semiflows on simplicial complexes from combinatorial vector fields

Describes a project that uses

Uses Software

• CAPD

This page was built for publication: Discretization strategies for computing Conley indices and Morse decompositions of flows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q333770)