Conley index
A tool to analyze the dynamics of continuous or discrete dynamical systems. It can be used, for instance, to find special orbits like stationary, periodic or heteroclinic orbits, or to prove chaotic behaviour of the system. It has been applied to a wide range of problems, e.g. to find travelling-wave solutions of partial differential equations; to investigate the structure of global attractors of reaction-diffusion equations or delay equations; to find periodic solutions of Hamiltonian systems; to give a rigorous computer-assisted proof of chaos in Lorenz equations; to prove bifurcation and to analyze the set of bifurcating solutions in various settings. The original work of C. Conley and his school took place in the 1970s and early 1980s. Standard references for this work are [a3], [a12] and [a4]. A recent overview on the Conley index and its applications is [a8].
In order to describe the basic version of the Conley index, consider a flow on a locally compact metric space
(cf. also Flow (continuous-time dynamical system)). A compact subset
is called isolated invariant if there exists a compact neighbourhood
of
in
such that
is the invariant part of
:
![]() |
In that case is said to be an isolating neighbourhood of
. The Conley index associates to an isolated invariant set
the homotopy type of a pointed topological space in the following way. An index pair
for an isolated invariant set
consists of compact subsets
of
such that:
i) is an isolating neighbourhood of
;
ii) is positively invariant in
: Given
and
with
, then
;
iii) is an exit set for
: Given
and
with
, there exists a
with
. Given an isolated invariant set
, it can be proved that index pairs exist. Moreover, if
and
are two index pairs for
, then the quotient spaces
and
are homotopy equivalent with base points
and
fixed (cf. also Homotopy). The Conley index
of
is by definition the homotopy type of the pointed space
, where
is an index pair for
.
As an example, consider the flow on
, where
has no eigenvalues on the imaginary axis; e.g.
with
![]() |
The origin is a hyperbolic stationary point of and
is an isolated invariant set. Any compact neighbourhood of
is an isolating neighbourhood of
. Suppose that the generalized eigenspace of
corresponding to the eigenvalues with positive real part is spanned by
, and the complementary generalized eigenspace is spanned by
. Then
is an index pair for
; here
is the unit ball in
with boundary
. Since
is contractible (cf. also Contractible space), the Conley index of
is equal to the homotopy type of
, which is the same as the homotopy type of
.
In this example one recovers the Morse index of the hyperbolic fixed point. Therefore the Conley index can be interpreted as a generalized Morse index. In applications one usually first has a set which is an isolating neighbourhood of some a priori unknown isolated invariant set
. Then one tries to compute
or to obtain some information, like its homology groups. For this computation the invariance of the Conley index under certain deformations of the flow, the continuation invariance, is very useful — in analogy to the homotopy invariance of the Brouwer degree. Finally one can use the knowledge about
in order to investigate the invariant set
itself. Whereas one can immediately deduce that
is not empty if
is not trivial, additional information on the flow inside
is needed in order to obtain more detailed results about
, for example that
contains a periodic orbit.
The original version of the Conley index has been refined and extended in several directions. For an equivariant version together with a product structure on the cohomology level, see [a6]. The Conley index and this additional structure played an important role in Floer's work on the Arnol'd conjecture and in the development of Floer homology. In [a11] and [a2] the Conley index has been generalized to semi-flows on metric spaces which need not be locally compact. This has been applied to parabolic differential equations and delay differential equations. Discrete dynamical systems are being considered in [a10] and [a9], multi-valued discrete dynamical systems in [a7]. The multi-valued version is the basis for rigorous numerical computations of the Conley index for concrete dynamical systems, since it allows one to incorporate interval arithmetic. Parametrized versions of the Conley index have been defined in [a1] and [a5]; an abstract categorical approach is given in [a13].
References
[a1] | T. Bartsch, "The Conley index over a space" Math. Z. , 209 (1992) pp. 167–177 |
[a2] | V. Benci, "A new approach to the Morse–Conley theory and some applications" Ann. Mat. Pura Appl. (4) , 4 (1991) pp. 231–305 |
[a3] | C. Conley, "Isolated invariant sets and the Morse index" , CBMS Regional Conf. Ser. , 38 , Amer. Math. Soc. (1978) |
[a4] | J. Smoller, "Shock waves and reaction-diffusion equations" , Springer (1983) |
[a5] | M. Mrozek, J. Reineck, R. Srzednicki, "The Conley index over a base" Trans. Amer. Math. Soc. , 352 (2000) pp. 4171–4194 |
[a6] | A. Floer, "A refinement of the Conley index and an application to the stability of hyperbolic invariant sets" Ergod. Th. Dynam. Syst. , 7 (1987) pp. 93–103 |
[a7] | T. Kaczyński, M. Mrozek, "Conley index for discrete multivalued dynamical systems" Topol. Appl. , 65 (1995) pp. 83–96 |
[a8] | K. Mischaikow, M. Mrozek, "Conley index theory" B. Fiedler (ed.) G. Iooss (ed.) N. Kopell (ed.) , Handbook of Dynamical Systems III: Towards Applications , Elsevier (to appear) |
[a9] | M. Mrozek, "Leray functor and the cohomological Conley index for discrete dynamical systems" Trans. Amer. Math. Soc. , 318 (1990) pp. 149–178 |
[a10] | J. Robbin, D. Salamon, "Dynamical systems, shape theory and the Conley index" Ergod. Th. Dynam. Syst. , 8 (1988) pp. 375–393 |
[a11] | K. Rybakowski, "The homotopy index and partial differential equations" , Springer (1987) |
[a12] | D. Salamon, "Connected simple systems and the Conley index of isolated invariant sets" Trans. Amer. Math. Soc. , 291 (1985) pp. 1–41 |
[a13] | A. Szymczak, "The Conley index for discrete dynamical systems" Topol. Appl. , 66 (1995) pp. 215–240 |
Conley index. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Conley_index&oldid=14232