Dynamical Systems on 2- and 3-Manifolds pp 131-147 | Cite as

# An Energy Function for Morse–Smale Diffeomorphisms on 3-Manifolds

- 813 Downloads

## Abstract

Following the ideas of A. Lyapunov C. Conley introduced the notion of a *Lyapunov function* for a dynamical system (see Definition 7.1). In 1978 he proved the existence of a continuous Lyapunov function for every dynamical system [2]. This result is called *the fundamental theorem of dynamical systems*. If a Lyapunov function is smooth and the set of its critical points coincides with the chain recurrent set then this function is called the energy function. Very generally smooth flows admit an energy function (see, e.g. Theorem 6.12 in [1]), but it is not true for diffeomorphisms. First results on construction of an energy function (see Definition 7.2) belong to S. Smale. In 1961 [9] he proved the existence of an energy function, which is a Morse function, for every *gradient-like flow* (i.e. Morse-Smale flow without closed trajectories). K. Meyer [7] in 1968 generalized this result and constructed an energy function, which is a Morse-Bott function, for an arbitrary Morse-Smale flow. The only result of this kind for diffeomorphisms belongs to D. Pixton [8], who in 1977 proved the existence of an energy function, which is a Morse function, for Morse-Smale diffeomorphisms on surfaces. Furthermore, he constructed a diffeomorphism on the 3-sphere (we have already mentioned it in Chapter 4 as the Pixton’s example) which has no energy function, and he explained the phenomenon to be caused by the wild embedding of the separatrices of the saddle points. Recently the conditions of existence of an energy function were found in [3, 4, 5, 6]. In section 7.1 we present important properties of a Lyapunov function, which is a Morse function, for Morse-Smale diffeomorphisms on *n*-manifolds. In section 7.2 we introduce a *dynamically ordered Morse-Lyapunov function* for an arbitrary Morse-Smale diffeomorphism of a 3-manifold with the properties closely related to the dynamics of the diffeomorphism. We show that the necessary and sufficient conditions of the existence of an energy function with these properties are determined by the type of the embedding of the 1-dimensional attractors (repellers), each of which is the union of the 0-dimensional and the 1-dimensional unstable (stable) manifolds of the periodic points of the diffeomorphism.

## Keywords

Energy Function Lyapunov Function Periodic Point Morse Function Sink Point## References

- 1.Akin, E.: The General Topology of Dynamical Systems, vol. 1. American Mathematical Society, Providence (2010)zbMATHGoogle Scholar
- 2.Conley, C.C.: Isolated Invariant Sets and the Morse Index, vol. 38. American Mathematical Society, Providence (1978)zbMATHGoogle Scholar
- 3.Grines, V., Laudenbach, F., Pochinka, O.: The energy function for gradient-like diffeomorphisms on 3-manifolds. Dokl. Math.
**78**(2), 702–704 (2008)MathSciNetCrossRefzbMATHGoogle Scholar - 4.Grines, V., Laudenbach, F., Pochinka, O.: On the existence of an energy function for Morse–Smale diffeomorphisms on 3-manifolds. Dokl. Math.
**84**(2), 601–603 (2011)MathSciNetCrossRefzbMATHGoogle Scholar - 5.Grines, V., Laudenbach, F., Pochinka, O.: Dynamically ordered energy function for Morse–Smale diffeomorphisms on 3-manifolds. Proc. Steklov Inst. Math.
**278**, 34–48 (2012)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Grines, V., Laudenbach, F., Pochinka, O., et al.: Self-indexing energy function for Morse–Smale diffeomorphisms on 3-manifolds. Mosc. Math. J.
**9**(4), 801–821 (2009)MathSciNetzbMATHGoogle Scholar - 7.Meyer, K.R.: Energy functions for Morse–Smale systems. Amer. J. Math. pp. 1031–1040 (1968)Google Scholar
- 8.Pixton, D.: Wild unstable manifolds. Topology
**16**(2), 167–172 (1977)MathSciNetCrossRefzbMATHGoogle Scholar - 9.Smale, S.: On gradient dynamical systems. Ann. of Math. pp. 199–206 (1961)Google Scholar