Polygonal approximation of flows

The analysis of the qualitative behavior of flows generated by ordinary differential equations often requires quantitative information beyond numerical simulation which can be difficult to obtain analytically. In this paper we present a computational scheme designed to capture qualitative information using ideas from the Conley index theory. Specifically we design an combinatorial multivalued approximation from a simplicial decomposition of the phase space, which can be used to extract isolating blocks for isolated invariant sets. These isolating blocks can be computed rigorously to provide computer-assisted proofs. We also obtain local conditions on the underlying simplicial approximation that guarantees that the chain recurrent set can be well-approximated.