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

• Viacheslav Z. Grines
• Timur V. Medvedev
• Olga V. Pochinka
Chapter
Part of the Developments in Mathematics book series (DEVM, volume 46)

## 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
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## References

1. 1.
Akin, E.: The General Topology of Dynamical Systems, vol. 1. American Mathematical Society, Providence (2010)
2. 2.
Conley, C.C.: Isolated Invariant Sets and the Morse Index, vol. 38. American Mathematical Society, Providence (1978)
3. 3.
Grines, V., Laudenbach, F., Pochinka, O.: The energy function for gradient-like diffeomorphisms on 3-manifolds. Dokl. Math. 78(2), 702–704 (2008)
4. 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)
5. 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)
6. 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)
7. 7.
Meyer, K.R.: Energy functions for Morse–Smale systems. Amer. J. Math. pp. 1031–1040 (1968)Google Scholar
8. 8.
Pixton, D.: Wild unstable manifolds. Topology 16(2), 167–172 (1977)
9. 9.
Smale, S.: On gradient dynamical systems. Ann. of Math. pp. 199–206 (1961)Google Scholar

© Springer International Publishing Switzerland 2016

## Authors and Affiliations

• Viacheslav Z. Grines
• 1
Email author
• Timur V. Medvedev
• 2
• 3
• Olga V. Pochinka
• 1
1. 1.Department of Fundamental MathematicsNational Research University Higher School of EconomicsNizhny NovgorodRussia
2. 2.Department of Differential Equations, Mathematical and Numerical AnalysisNizhny Novgorod State UniversityNizhny NovgorodRussia
3. 3.Laboratory of Algorithms and Technologies for Networks AnalysisNational Research University Higher School of EconomicsNizhny NovgorodRussia