Introduction to the modern theory of dynamical systems

Introduction to the Modern Theory of Dynamical SystemsThe theory of dynamical systems is a major mathematical discipline closely intertwined with most of the main areas of mathematics. Its mathematical core is the study of the global orbit structure of maps and flows with emphasis on properties invariant under coordinate changes. Its concepts, methods, and paradigms greatly stimulate research in many sciences and have given rise to the vast new area of applied dynamics (also called nonlinear science or chaos theory). Although the field of dynamical systems comprises several major disciplines, we are interested mainly in finite-dimensional differentiable dynamics. This theory is inseparably connected with several other areas, primarily ergodic theory, symbolic dynamics and topological dynamics. So far there has been no account that treats differentiable dynamics from a sufficiently comprehensive point of view encompassing the relations with these areas. This book attempts to fill this gap. It provides a self-contained coherent comprehensive exposition of the fundamentals of the theory of smooth dynamical systems together with the related areas of other fields of dynamics as a core mathematical discipline while providing researchers interested in applications with fundamental tools and paradigms. It introduces and rigorously develops the central concepts and methods in dynamical systems and their applications to a wide variety of topics.

What this book contains

We begin with a detailed discussion of a series of elementary but fundamental examples. These are used to formulate the general program of the study of asymptotic properties as well as to introduce the principal notions (differentiable and topological equivalence, moduli, structural stability, asymptotic orbit growth, entropies, ergodicity, etc.) and, in a simplified way, a number of important methods (fixed-point methods, coding, KAM-type Newton method, local normal forms, homotopy trick, etc.).

The main theme of the second part is the interplay between local analysis near individual (e.g., periodic) orbits and the global complexity of the orbit structure. This is achieved by exploring hyperbolicity, transversality, global topological invariants, and variational methods. The methods include the study of stable and unstable manifolds, bifurcations, index and degree, and construction of orbits as minima and minimaxes of action functionals.

In the third and fourth parts the general program outlined in the first part is carried out to considerable depth for low-dimensional and hyperbolic dynamical systems which are particularly amenable to such analysis. Hyperbolic systems are the prime example of well-understood complexity. This manifests itself in an orbit structure that is rich both from the topological and statistical point of view and stable under perturbation. At the same time the principal features can be described qualitatively and quantitatively with great precision. In low-dimensional dynamical systems on the other hand there are two situations. In the ``very low-dimensional'' case the orbit structure is simplified and admits only a limited amount of complexity. In the ``low-dimensional'' case some complexity is possible, yet additional major aspects of the orbit structure can be understood via hyperbolicity or related types of behavior.

Although we develop most themes related to differentiable dynamics in some depth we have not tried to write an encyclopedia of differentiable dynamics. Even if this were possible, the resulting work would be strictly a reference source and not useful as an introduction or a text. Consequently we also do not strive to present the most definitive results available but rather to provide organizing principles for methods and results. This is also not a book on applied dynamics and the examples are not chosen from those models that are widely studied in various disciplines. Instead our examples arise naturally from the internal structure of the subject and contribute to its understanding. The emphasis placed on various areas in the field is not dictated by the relative amount of published work or research activity in those areas, but reflects our understanding of what is basic and fundamental in the subject. An obvious disparity appears in the area of one-dimensional (real and especially complex) dynamics, which witnessed a great surge of activity in the past 15 years producing a number of brilliant results. It plays a relatively modest role in this book. Real one-dimensional dynamics is used mainly as an easy model situation in which various methods can be applied with considerable success. Complex dynamics, which is in our view a fascinating but rather specialized area, appears only as a source of examples of hyperbolic sets. On the other hand we try to point out and emphasize the interactions of dynamics with other areas of mathematics (probability theory, algebraic and differential topology, geometry, calculus of variations, etc.) even in some situations where the current state of knowledge is somewhat tentative.

How to use this book

This book can be used both as a text for a course or for self-study and as a reference book. As a text it would most naturally be used as the primary source for graduate students with background equivalent to one year of graduate study at a major U.S. university who are interested in becoming specialists in dynamical systems or want to acquire solid general knowledge of the field. Some portions of this book do not assume as much background and can be used by advanced undergraduate students or graduate students in science and engineering who want to learn about the subject without becoming experts. Those portions include Chapter 1, most of Chapters 2, 3, and 5, parts of Chapters 4, 6, 8, and 9, Chapters 10 and 11 and most of Chapters 12, 14, 15 and 16. The 472 exercises are a very important part of the book. They fall into several categories. Some of them directly illustrate the use of results or methods from the text, others explore examples that are not discussed in the text or indicate further developments. Sometimes an important side topic is developed in a series of exercises. Those 317 that we do not consider routine have been provided with hints or brief solutions in the back of the book. An asterisk indicates our subjective assessment of higher difficulty, due to the need for either inventiveness or familiarity with material not obviously related to the subject at hand.

Each of the four parts of the book can be the basis of a course roughly at the second-year graduate level running one semester or longer. From this book one can tailor many courses dedicated to more specialized topics, such as variational methods in classical mechanics, hyperbolic dynamical systems, twist maps and applications, an introduction to ergodic theory and smooth ergodic theory, and the mathematical theory of entropy.

There are various kinds of material used in this book. First of all we tacitly use, and assume familiarity with, the results of linear algebra (including Jordan normal forms), calculus of several variables, the basic theory of ordinary differential equations (including systems), elementary complex analysis, basic set theory, elementary Lebesgue integration, basic group theory, and some Fourier series. There is a next higher level of essential background material which is reviewed in the appendix. Most of the material in the appendix is of this nature, namely, the standard theory of topological, metric, and Banach spaces, elementary homotopy theory, the basic theory of differentiable manifolds including vector fields, bundles and differential forms, and the definition and basic properties of Riemannian metrics. Some topics are used on isolated occasions only. This last level of material includes the basic topology and geometry of surfaces and the general theory of measures, sigma-algebras, and Lebesgue spaces, homology theory, material related to Lie groups and symmetric spaces, curvature and connections on manifolds, transversality, and normal families of complex functions. Most, but not all, of this material is also reviewed in the appendix, usually in a less detailed fashion. Either such material can be taken on faith without loss to the application in the text, or otherwise the pertinent portion of the text can be skipped without great loss.

On several occasions we include an important background fact without proof in the text. This happens when a certain result is organically related to a particular section. The Lefschetz Fixed-Point Formula is a good example of such a result.

Sources

Most of the material in this book does not consist of original results. Nevertheless the presentation of most of the material is our own and consists of original or considerably modified proofs of known results, explanations of the structure and interconnectedness of the subject, and so forth. Some portions of the text, roughly a sixth of it, mostly in Parts 3 and 4, closely follow other published sources, the majority of these being original research articles. An outstanding example is the presentation of portions of the hyperbolic theory in Chapters 18 and 20 which was given such a clear treatment by R. Bowen in his articles in the seventies that it could hardly be improved. On several occasions we follow the exposition of a subject in existing books. With the exception of some basic subjects such as Hamiltonian formalism or variational calculus this occurs only in Part 3. The reason for this is that low-dimensional dynamics has a much better developed expository literature than the field as a whole. We acknowledge all borrowings of proofs and presentations of which we are aware in the notes near the end of the book.

Since we aim to present the subject by developing it from first principles and in a self-contained way, rather than by giving an exhaustive account of the development and current state of the field, we do not attempt a comprehensive listing of relevant references which would easily increase our bibliography to a thousand items or more. In particular, not all theorems are attributed to the original authors, especially if the results are part of the broader developments in the field, rather than landmark results or of a rather special nature. Most of the attributions are relegated to the notes. These consist of general comments arranged by section and some numbered remarks to particular points in the main text. Furthermore, in order not to interrupt the logical flow of the text all bibliographical references for the main part of the book are also relegated to the notes. Our historical comments, in both the introduction and the notes, do not aim to present a coherent account of the development of the subject, but to subjectively select some of its major moments.

We have included several types of literature in the bibliography. First, we have tried to list all major monographs and representative textbooks and surveys covering the principal branches of dynamics. Next there are landmark papers that introduce and develop various branches of our subject, define principal notions, or contain proofs of major results. We try to list all the sources on which the presentation in various parts of the book is based, or that inspired our presentation in other places and many (but not all) of the original sources for specific results presented in the text. Finally there is a sample of references to important work, both original and surveys, in some areas touched upon but not treated in the text. According to our principle of selecting models for their intrinsic interest rather than their value for concrete scientific problems we omit works by nonmathematicians (even important ones) that are dedicated to the study of models motivated by scientific problems so long as these contain only hypotheses and numerical results. References to such works are widely available in many of the books and surveys that we quote.