| Preface |
|
xiii | |
|
|
|
1 | (48) |
|
Linear Symplectic Geometry |
|
|
1 | (3) |
|
Symplectic and Poisson Manifolds |
|
|
4 | (7) |
|
|
|
5 | (1) |
|
The Complex Space Cn and Its Complex Submanifolds. Kahler Manifolds |
|
|
6 | (1) |
|
Orbits of Coadjoint Representation |
|
|
6 | (5) |
|
|
|
11 | (3) |
|
Liouville Integrable Hamiltonian Systems. The Liouville Theorem |
|
|
14 | (7) |
|
Non-resonant and Resonant Systems |
|
|
21 | (1) |
|
|
|
22 | (3) |
|
The Momentum Mapping of an Integrable System and Its Bifurcation Diagram |
|
|
25 | (2) |
|
Non-degenerate Critical Points of the Momentum Mapping |
|
|
27 | (19) |
|
The Case of Two Degrees of Freedom |
|
|
27 | (3) |
|
Bott Integrals from the Viewpoint of the Four-Dimensional Symplectic Manifold |
|
|
30 | (7) |
|
Non-degenerate Singularities in the Case of Many Degrees of Freedom |
|
|
37 | (3) |
|
Types of Non-degenerate Singularities in the Multidimensional Case |
|
|
40 | (6) |
|
Main Types of Equivalence of Dynamical Systems |
|
|
46 | (3) |
|
The Topology of Foliations on Two-Dimensional Surfaces Generated by Morse Functions |
|
|
49 | (80) |
|
|
|
49 | (2) |
|
Reeb Graph of a Morse Function |
|
|
51 | (1) |
|
|
|
52 | (2) |
|
|
|
54 | (5) |
|
The Case of Minimum and Maximum. The Atom A |
|
|
54 | (1) |
|
The Case of an Orientable Saddle. The Atom B |
|
|
55 | (1) |
|
The Case of a Non-orientable Saddle. The Atom B |
|
|
56 | (1) |
|
The Classification of Simple Atoms |
|
|
57 | (2) |
|
|
|
59 | (9) |
|
Notion of a Simple Molecule |
|
|
59 | (1) |
|
|
|
59 | (1) |
|
Examples of Simple Morse Functions and Simple Molecules |
|
|
60 | (4) |
|
The Classification of Minimal Simple Morse Functions on Surfaces of Low Genus |
|
|
64 | (4) |
|
|
|
68 | (4) |
|
|
|
72 | (23) |
|
|
|
72 | (1) |
|
Algorithm of Enumeration of Atoms |
|
|
72 | (1) |
|
Algorithm of Recognition of Identical Atoms |
|
|
73 | (1) |
|
|
|
74 | (5) |
|
Oriented Atoms and Subgroups in the Group Z * Z2 |
|
|
79 | (2) |
|
Representation of Atoms as Immersions of Graphs into the Plane |
|
|
81 | (1) |
|
Atoms as Cell Decompositions of Two-Dimensional Closed Surfaces |
|
|
82 | (1) |
|
Table of Atoms of Low Complexity |
|
|
83 | (1) |
|
|
|
84 | (11) |
|
Symmetry Groups of Oriented Atoms and the Universal Covering Tree |
|
|
95 | (20) |
|
|
|
95 | (1) |
|
The Universal Covering Tree over f-Graphs. An f-Graph as a Quotient Space of the Universal Tree |
|
|
96 | (3) |
|
The Correspondence between f-Graphs and Subgroups in Z * Z2 |
|
|
99 | (1) |
|
The Graph J of the Symmetry Group of an f-Graph. Totally Symmetric f-Graphs |
|
|
100 | (5) |
|
The List of Totally Symmetric Planar Atoms. Examples of Totally Symmetric Atoms of Genus g > 0 |
|
|
105 | (7) |
|
Atoms as Surfaces of Constant Negative Curvature |
|
|
112 | (3) |
|
|
|
115 | (5) |
|
Approximation of Complicated Molecules by Simple Ones |
|
|
120 | (4) |
|
Classification of Morse-Smale Flows on Two-Dimensional Surfaces by Means of Atoms and Molecules |
|
|
124 | (5) |
|
Rough Liouville Equivalence of Integrable Systems with Two Degrees of Freedom |
|
|
129 | (30) |
|
Classification of Non-degenerate Critical Submanifolds on Isoenergy 3-Surfaces |
|
|
129 | (6) |
|
The Topological Structure of a Neighborhood of a Singular Leaf |
|
|
135 | (7) |
|
Topologically Stable Hamiltonian Systems |
|
|
142 | (4) |
|
Example of a Topologically Unstable Integrable System |
|
|
146 | (1) |
|
|
|
147 | (5) |
|
Classification of 3-Atoms |
|
|
152 | (1) |
|
3-Atoms as Bifurcations of Liouville Tori |
|
|
153 | (1) |
|
The Molecule of an Integrable System |
|
|
154 | (2) |
|
Complexity of Integrable Systems |
|
|
156 | (3) |
|
Liouville Equivalence of Integrable Systems with Two Degrees of Freedom |
|
|
159 | (36) |
|
Admissible Coordinate Systems on the Boundary of a 3-Atom |
|
|
159 | (7) |
|
Gluing Matrices and Superfluous Frames |
|
|
166 | (2) |
|
Invariants (Numerical Marks) r, e, and n |
|
|
168 | (3) |
|
|
|
168 | (1) |
|
Marks nk and Families in a Molecule |
|
|
169 | (2) |
|
The Marked Molecule is a Complete Invariant of Liouville Equivalence |
|
|
171 | (1) |
|
The Influence of the Orientation |
|
|
172 | (2) |
|
Change of Orientation of an Edge of a Molecule |
|
|
172 | (1) |
|
Change of Orientation on a 3-Manifold Q |
|
|
173 | (1) |
|
Change of Orientation of a Hamiltonian Vector Field |
|
|
174 | (1) |
|
|
|
174 | (3) |
|
Simple Examples of Molecules |
|
|
177 | (7) |
|
Hamiltonian Systems with Critical Klein Bottles |
|
|
184 | (3) |
|
Topological Obstructions to Integrability of Hamiltonian Systems with Two Degrees of Freedom |
|
|
187 | (8) |
|
|
|
187 | (1) |
|
|
|
188 | (1) |
|
|
|
188 | (1) |
|
The Class (W) of Graph-Manifolds |
|
|
189 | (1) |
|
The Class (H) of Manifolds Related to Hamiltonians with Tame Integrals |
|
|
190 | (1) |
|
The Coincidence of the Four Classes of 3-Manifields |
|
|
190 | (5) |
|
Orbital Classification of Integrable Systems with Two Degrees of Freedom |
|
|
195 | (16) |
|
Rotation Function and Rotation Vector |
|
|
195 | (4) |
|
Reduction of the Three-Dimensional Orbital Classification to the Two-Dimensional Classification up to Conjugacy |
|
|
199 | (8) |
|
|
|
199 | (2) |
|
Poincare' Flow and Poincare' Hamiltonian |
|
|
201 | (3) |
|
|
|
204 | (3) |
|
General Concept of Constructing Orbital Invariants of Integrable Hamiltonian Systems |
|
|
207 | (4) |
|
Classification of Hamiltonian Flows on Two-Dimensional Surfaces up to Topological Conjugacy |
|
|
211 | (28) |
|
Invariants of a Hamiltonian System on a 2-Atom |
|
|
211 | (11) |
|
|
|
212 | (6) |
|
Δ-Invariant and Z-Invariant |
|
|
218 | (4) |
|
Classification of Hamiltonian Flows with One Degree of Freedom up to Topological Conjugacy on Atoms |
|
|
222 | (4) |
|
Classification of Hamiltonian Flows on 2-Atoms with Involution up to Topological Conjugacy |
|
|
226 | (2) |
|
The Pasting-Cutting Operation |
|
|
228 | (6) |
|
Description of the Sets of Admissible Δ-Invariants and Z-Invariants |
|
|
234 | (5) |
|
Smooth Conjugacy of Hamiltonian Flows on Two-Dimensional Surfaces |
|
|
239 | (16) |
|
Constructing Smooth Invariants on 2-Atoms |
|
|
239 | (9) |
|
Theorem of Classification of Hamiltonian Flows on Atoms up to Smooth Conjugacy |
|
|
248 | (7) |
|
Orbital Classification of Integrable Hamiltonian Systems with Two Degrees of Freedom. The Second Step |
|
|
255 | (44) |
|
Superfluous t-Frame of a Molecule (Topological Case). The Main Lemma on t-Frames |
|
|
256 | (7) |
|
The Group of Transformations of Transversal Sections. Pasting-Cutting Operation |
|
|
263 | (4) |
|
The Action of GP on the Set of Superfluous t-Frames |
|
|
267 | (1) |
|
Three General Principles for Constructing Invariants |
|
|
268 | (1) |
|
|
|
268 | (1) |
|
|
|
269 | (1) |
|
|
|
269 | (1) |
|
Admissible Superfluous t-Frames and a Realization Theorem |
|
|
269 | (9) |
|
Realization of a Frame on an Atom |
|
|
269 | (4) |
|
Realization of a Frame on an Edge of a Molecule |
|
|
273 | (3) |
|
Realization of a Frame on the Whole Molecule |
|
|
276 | (2) |
|
Construction of Orbital Invariants in the Topological Case. A t-Molecule |
|
|
278 | (8) |
|
The R-Invariant and the Index of a System on an Edge |
|
|
278 | (2) |
|
b-Invariant (on the Radicals of a Molecule) |
|
|
280 | (2) |
|
|
|
282 | (1) |
|
|
|
283 | (2) |
|
Final Definition of a t-Molecule for an Integrable System |
|
|
285 | (1) |
|
Theorem on the Topological Orbital Classification of Integrable Systems with Two Degrees of Freedom |
|
|
286 | (5) |
|
A Particular Case: Simple Integrable Systems |
|
|
291 | (1) |
|
Smooth Orbital Classification |
|
|
292 | (7) |
|
Liouville Classification of Integrable Systems with Two Degrees of Freedom in Four-Dimensional Neighborhoods of Singular Points |
|
|
299 | (74) |
|
l-Type of a Four-Dimensional Singularity |
|
|
299 | (5) |
|
The Loop Molecule of a Four-Dimensional Singularity |
|
|
304 | (2) |
|
|
|
306 | (2) |
|
|
|
308 | (5) |
|
|
|
313 | (26) |
|
The Structure of a Singular Leaf |
|
|
313 | (5) |
|
|
|
318 | (4) |
|
The List of Saddle-Saddle Singularities of Small Complexity |
|
|
322 | (17) |
|
Almost Direct Product Representation of a Four-Dimensional Singularity |
|
|
339 | (9) |
|
Proof of the Classification Theorems |
|
|
348 | (2) |
|
|
|
348 | (1) |
|
Proof of Theorem 9.4 (Realization Theorem) |
|
|
349 | (1) |
|
|
|
350 | (13) |
|
The Structure of a Singular Leaf of Focus-Focus Type |
|
|
350 | (3) |
|
Classification of Focus-Focus Singularities |
|
|
353 | (3) |
|
Model Example of a Focus-Focus Singularity and the Realization Theorem |
|
|
356 | (2) |
|
The Loop Molecule and Monodromy Group of a Focus-Focus Singularity |
|
|
358 | (5) |
|
Almost Direct Product Representation for Multidimensional Non-degenerate Singularities of Liouville Foliations |
|
|
363 | (10) |
|
Methods of Calculation of Topological Invariants of Integrable Hamiltonian Systems |
|
|
373 | (36) |
|
General Scheme for Topological Analysis of the Liouville Foliation |
|
|
373 | (4) |
|
|
|
373 | (1) |
|
Construction of the Bifurcation Diagram |
|
|
374 | (1) |
|
Verification of the Non-degeneracy Condition |
|
|
374 | (1) |
|
Description of the Atoms of the System |
|
|
375 | (1) |
|
Construction of the Molecule of the System on a Given Energy Level |
|
|
376 | (1) |
|
|
|
377 | (1) |
|
Methods for Computing Marks |
|
|
377 | (1) |
|
|
|
378 | (4) |
|
List of Typical Loop Molecules |
|
|
382 | (4) |
|
Loop Molecules of Regular Points of the Bifurcation Diagram |
|
|
382 | (2) |
|
Loop Molecules of Non-degenerate Singularities |
|
|
384 | (2) |
|
The Structure of the Liouville Foliation for Typical Degenerate Singularities |
|
|
386 | (3) |
|
Typical Loop Molecules Corresponding to Degenerate One-Dimensional Orbits |
|
|
389 | (6) |
|
Computation of r- and e-Marks by Means of Rotation Functions |
|
|
395 | (3) |
|
Computation of the n-Mark by Means of Rotation Functions |
|
|
398 | (4) |
|
Relationship Between the Marks of the Molecule and the Topology of Q3 |
|
|
402 | (7) |
|
Integrable Geodesic Flows on Two-Dimensional Surfaces |
|
|
409 | (68) |
|
|
|
409 | (3) |
|
Topological Obstructions to Integrability of Geodesic Flows on Two-Dimensional Surfaces |
|
|
412 | (4) |
|
Two Examples of Integrable Geodesic Flows |
|
|
416 | (4) |
|
|
|
416 | (2) |
|
|
|
418 | (2) |
|
Riemannian Metrics Whose Geodesic Flows are Integrable by Means of Linear or Quadratic Integrals. Local Theory |
|
|
420 | (14) |
|
Some General Properties of Polynomial Integrals of Geodesic Flows. Local Theory |
|
|
420 | (3) |
|
Riemannian Metrics Whose Geodesic Flows Admit a Linear Integral. Local Theory |
|
|
423 | (1) |
|
Riemannian Metrics Whose Geodesic Flows Admit a Quadratic Integral. Local Theory |
|
|
424 | (10) |
|
Linearly and Quadratically Integrable Geodesic Flows on Closed Surfaces |
|
|
434 | (43) |
|
|
|
434 | (13) |
|
|
|
447 | (10) |
|
|
|
457 | (15) |
|
|
|
472 | (5) |
|
Liouville Classification of Integrable Geodesic Flows on Two-Dimensional Surfaces |
|
|
477 | (44) |
|
|
|
477 | (14) |
|
|
|
491 | (9) |
|
Quadratically Integrable Geodesic Flow on the Klein Bottle |
|
|
491 | (5) |
|
Linearly Integrable Geodesic Flows on the Klein Bottle |
|
|
496 | (2) |
|
Quasi-Linearly Integrable Geodesic Flows on the Klein Bottle |
|
|
498 | (1) |
|
Quasi-Quadratically Integrable Geodesic Flows on the Klein Bottle |
|
|
498 | (2) |
|
|
|
500 | (15) |
|
Quadratically Integrable Geodesic Flows on the Sphere |
|
|
500 | (10) |
|
Linearly Integrable Geodesic Flows on the Sphere |
|
|
510 | (5) |
|
|
|
515 | (6) |
|
Quadratically Integrable Geodesic Flows on the Projective Plane |
|
|
515 | (3) |
|
Linearly Integrable Geodesic Flows on the Projective Plane |
|
|
518 | (3) |
|
Orbital Classification of Integrable Geodesic Flows on Two-Dimensional Surfaces |
|
|
521 | (30) |
|
|
|
521 | (11) |
|
Flows with Simple Bifurcations (Atoms) |
|
|
521 | (9) |
|
Flows with Complicated Bifurcations (Atoms) |
|
|
530 | (2) |
|
|
|
532 | (3) |
|
Examples of Integrable Geodesic Flows on the Sphere |
|
|
535 | (7) |
|
|
|
535 | (4) |
|
|
|
539 | (2) |
|
|
|
541 | (1) |
|
Non-triviality of Orbital Equivalence Classes and Metrics with Closed Geodesics |
|
|
542 | (9) |
|
The Topology of Liouville Foliations in Classical Integrable Cases in Rigid Body Dynamics |
|
|
551 | (96) |
|
Integrable Cases in Rigid Body Dynamics |
|
|
551 | (9) |
|
Topological Type of Isoenergy 3-Surfaces |
|
|
560 | (20) |
|
The Topology of the Isoenergy Surface and the Bifurcation Diagram |
|
|
560 | (3) |
|
|
|
563 | (2) |
|
|
|
565 | (4) |
|
|
|
569 | (2) |
|
|
|
571 | (3) |
|
Goryachev-Chaplygin-Sretenskii Case |
|
|
574 | (2) |
|
|
|
576 | (3) |
|
|
|
579 | (1) |
|
Liouville Classification of Systems in the Euler Case |
|
|
580 | (10) |
|
Liouville Classification of Systems in the Lagrange Case |
|
|
590 | (8) |
|
Liouville Classification of Systems in the Kovalevskaya Case |
|
|
598 | (10) |
|
Liouville Classification of Systems in the Goryachev-Chaplygin-Stretenskii Case |
|
|
608 | (6) |
|
Liouville Classification of Systems in the Zhukovskii Case |
|
|
614 | (8) |
|
Rough Liouville Classification of Systems in the Clebsch Case |
|
|
622 | (5) |
|
Rough Liouville Classification of Systems in the Steklov Case |
|
|
627 | (4) |
|
Rough Liouville Classification of Integrable Four-Dimensional Rigid Body Systems |
|
|
631 | (13) |
|
The Complete List of Molecules Appearing in Integrable Cases of Rigid Body Dynamics |
|
|
644 | (3) |
|
Maupertuis Principle and Geodesic Equivalence |
|
|
647 | (40) |
|
General Maupertuis Principle |
|
|
647 | (5) |
|
Maupertuis Principle in Rigid Body Dynamics |
|
|
652 | (4) |
|
Classical Cases of Integrability in Rigid Body Dynamics and Related Integrable Geodesic Flows on the Sphere |
|
|
656 | (7) |
|
Euler Case and the Poisson Sphere |
|
|
657 | (1) |
|
Lagrange Case and Metrics of Revolution |
|
|
658 | (1) |
|
Clebsch Case and Geodesic Flow on the Ellipsoid |
|
|
658 | (2) |
|
Goryachev-Chaplygin Case and the Corresponding Integrable Geodesic Flow on the Sphere |
|
|
660 | (1) |
|
Kovalevskaya Case and the Corresponding Integrable Geodesic Flow on the Sphere |
|
|
661 | (2) |
|
Conjecture on Geodesic Flows with Integrals of High Degree |
|
|
663 | (6) |
|
Dini Theorem and the Geodesic Equivalence of Riemannian Metrics |
|
|
669 | (8) |
|
Generalized Dini--Maupertuis Principle |
|
|
677 | (2) |
|
Orbital Equivalence of the Neumann Problem and the Jacobi Problem |
|
|
679 | (2) |
|
Explicit Forms of Some Remarkable Hamiltonians and Their Integrals in Separating Variables |
|
|
681 | (6) |
|
Euler Case in Rigid Body Dynamics and Jacobi Problem about Geodesics on the Ellipsoid. Orbital Isomorphism |
|
|
687 | (18) |
|
|
|
687 | (1) |
|
Jacobi Problem and Euler Case |
|
|
688 | (2) |
|
|
|
690 | (2) |
|
|
|
692 | (5) |
|
|
|
697 | (1) |
|
|
|
698 | (3) |
|
Topological Non-conjugacy of the Jacobi Problem and the Euler Case |
|
|
701 | (4) |
| References |
|
705 | (20) |
| Subject Index |
|
725 | |