Discretization strategies for computing Conley indices and Morse decompositions of flows

DOI10.3934/JCD.2016001zbMATH Open1373.37043arXiv1511.04426OpenAlexW2963440743MaRDI QIDQ333770FDOQ333770

Authors: Frank Weilandt, Marian Mrozek, K. Mischaikow 

Publication date: 31 October 2016

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

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.

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

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

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)

Cites Work

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

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

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)