Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices

DOI10.1137/140971075MaRDI QIDQ2940742zbMATH OpenOpenAlexFDO

Authors Thomas Stephens, Thomas Wanner

Publication date 20 January 2015

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

Full work available at URL http://hdl.handle.net/11299/181264

zbMATH Keywords

computer-assisted proofConley indexisolated invariant setisolating block

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) Dynamics induced by flows and semiflows (37C10) Homoclinic and heteroclinic orbits for dynamical systems (37C29) Attractors and repellers of smooth dynamical systems and their topological structure (37C70) Computational methods for bifurcation problems in dynamical systems (37M20)

Recommendations

• Isolating blocks for Morse flows
• The Conley index over a phase space for flows
• Regular blocks and Conley index of isolated invariant continua in surfaces
• Discretization strategies for computing Conley indices and Morse decompositions of flows
• Separation of variables for the constrained flows
• On the equivalence of constrained and unconstrained flows
• The r-matrix for constrained flows
• scientific article; zbMATH DE number 1390169
• Block structure and block stability of two-dimensional incompressible flows
• scientific article; zbMATH DE number 440668

Cited in

(13)

• On the cohomology of an isolating block and its invariant part
• Automatic differentiation for Fourier series and the radii polynomial approach
• On the existence of smooth Lyapunov functions for arbitrary closed sets
• On the existence of the Conley index for n-dimensional dynamical systems
• An algorithmic approach to lattices and order in dynamics
• Discretization strategies for computing Conley indices and Morse decompositions of flows
• Towards a formal tie between combinatorial and classical vector field dynamics
• scientific article; zbMATH DE number 4032664 (Why is no real title available?)
• Some properties of isolating blocks for planar systems
• Computer-assisted equilibrium validation for the diblock copolymer model
• Conley-Morse-Forman theory for generalized combinatorial multivector fields on finite topological spaces
• The existence of isolating blocks for multivalued semiflows
• Isolating blocks for periodic orbits

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices

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