The Morse equation in the Conley index theory for discrete multivalued dynamical systems (Q6132897)

The author presents a generalization of Morse equations to discrete multivalued dynamical systems. It builds on previous works which defined the Conley index in this setting. Throughout the paper the multivalued map \(F \colon X \to X\) is assumed to be upper semicontinuous. Preliminaries on Conley index theory are given, notably the definition of weak index pairs from whose cohomology the (cohomological) Conley index in this setting is obtained (via the Leray functor). Then, there are some topological results that prove the equivalence between Morse decompositions of an isolated invariant set \(S\) and nested sequences of attractors inside \(S\). In order to prove the Morse equation for \((A, A^*)\), an attractor-repeller pair in an isolated invariant set \(S\) (see Proposition 5.1), the author introduces the notion of the index triple \((P_0,P_1,P_2)\). This is a triple of compact subsets in an isolating neighborhood of \(S\) which can be used to compute the Conley index of \(A\), \(A^*\) and \(S\) (in a similar fashion as in [\textit{M. Mrozek}, Topology Appl. 38, 45--60 (1991; Zbl 0725.58022)]). The proof of the Morse equation for an attractor-repeller pair and the Morse equation associated to a Morse decomposition (given in Theorem 5.2) goes along the same lines as for single-valued maps.