×

Action-angle coordinates at singularities for analytic integrable systems. (English) Zbl 0707.58026

Let \((M,\sigma)\) be a real analytic symplectic manifold of dimension \(2n\) and \(F:=(F_ 1,...,F_ n): M\to {\mathbb{R}}^ n\) a mapping with n real analytic, functionally independent functions \(F_ i: M\to {\mathbb{R}}\) which are in involution. Then we say that the mapping F defines a real analytic integrable system. This paper is concerned with a normal form of F at its singularities, which gives a generalization of a well-known theorem by Arnol’d and Jost concerning action-angle coordinates.
Let \(X_{F_ i}\) denote the Hamiltonian vector field with Hamiltonian \(F_ i\). Suppose that \(rank(dF_ 1,...,dF_ n)=k\) at a point \(p_ 0\in M\). Then it is easily shown that a compact orbit of n vector fields \(X_{F_ 1},...,X_{F_ n}\) through \(p_ 0\) is a k-dimensional torus. Furthermore, it is shown that, under certain nondegeneracy condition, this torus belongs to a family of k-tori \(\{\Phi_ h\}\) which are invariant under the flows of the vector fields \(X_{F_ 1},...,X_{F_ n}\). Here \(h\) is a parameter running over a domain \(V\) of \({\mathbb{R}}^ k\). Under suitable conditions on the family \(\{\Phi_ h\}\), we can establish the existence of ‘generalized’ action-angle coordinates in a neighbourhood of each torus \(\Phi_ h\) so that the vector fields \(X_{F_ i}\) can be solved explicitly in this coordinate system. The conditions to be imposed on \(\{\Phi_ h\}\) are natural from the viewpoint of the theory of dynamical systems. In particular, if \(\text{rank}(dF_ 1,...,F_ n)=n\) at \(p_ 0\), this result reduces to the theorem by Arnol’d and Jost. On the other hand, if \(\text{rank}(dF_ 1,...,dF_ n)=0\) at \(p_ 0\), it reduces to a result proved by the author [Comment. Math. Helv. 64, No.3, 412-461 (1989; Zbl 0686.58021)] which establishes the convergence of Birkhoff normal form near a non-resonant equilibrium point for (real) analytic integrable systems.
Reviewer: H.Ito

MSC:

37J35 Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests
37K10 Completely integrable infinite-dimensional Hamiltonian and Lagrangian systems, integration methods, integrability tests, integrable hierarchies (KdV, KP, Toda, etc.)
37J99 Dynamical aspects of finite-dimensional Hamiltonian and Lagrangian systems
37G05 Normal forms for dynamical systems

Citations:

Zbl 0686.58021
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Abraham, R., Marsden, J.E.: Foundations of mechanics (2nd ed.). Reading, Massachusetts: Benjamin/Cummings 1978 · Zbl 0393.70001
[2] Arnol’d, V.I.: Mathematical methods of classical mechanics. Grad. Texts Math. 60. Berlin Heidelberg New York: Springer 1978
[3] Arnol’d, V.I., Kozlov, V.V., Neishtadt, A.I.: Dynamical systems III, Mathematical aspects of classical and celestial mechanics. Encycl. Math. Sci. 3. Berlin Heidelberg New York: Springer 1988
[4] Duistermaat, J.J.: On global action-angle coordinates. Comm. Pure Appl. Math.38, 687–706 (1980) · Zbl 0451.58016 · doi:10.1002/cpa.3160330602
[5] Eliasson, H.: Hamiltonian systems with Poisson commuting integrals. Thesis, Univ. of Stockholm (1984)
[6] Eliasson, H.: Perturbations of stable invariant tori for Hamiltonian systems. Ann. Sc. Norm. Super. Pisa, Cl. Sci.15, 115–148 (1988) · Zbl 0685.58024
[7] Ito, H.: Convergence of Birkhoff normal forms for integrable systems. Comment. Math. Helv.64, 412–461 (1989) · Zbl 0686.58021 · doi:10.1007/BF02564686
[8] Jost, R.: Winkel- und Wirkungsvariable für allgemeine mechanische Systeme. Helv. Phys. Acta41, 965–968 (1968)
[9] Markus, L., Meyer, K.R.: Generic Hamiltonian dynamical systems are neither integrable nor ergodic. Mem. Am. Math. Soc.144 (1974) · Zbl 0291.58009
[10] Moser, J.: Stable and random motions in dynamical systems, with special emphasis on celestial mechanics. Ann. Math. Stud.77 (1973) · Zbl 0271.70009
[11] Moser, J.: Drei Kapitel über Integrable Hamiltonsche Systeme. Lect. Note ETH-Zürich (1984)
[12] Pöschel, J.: On elliptic lower dimensional tori in Hamiltonian systems. Math. Z.202, 559–608 (1989) · Zbl 0662.58037 · doi:10.1007/BF01221590
[13] Salamon, D., Zehnder, E.: KAM theory in configuration space. Comment. Math. Helv.64, 84–132 (1989) · Zbl 0682.58014 · doi:10.1007/BF02564665
[14] Siegel, C.L., Moser, J.K.: Lectures on Celestial Mechanics. Berlin Heidelberg New York: Springer 1971 · Zbl 0312.70017
[15] Vey, J.: Sur certain systèmes dynamiques séparables. Am. J. Math.100, 591–614 (1978) · Zbl 0384.58012 · doi:10.2307/2373841
[16] Ziglin, S.L.: Branching of solutions and nonexistence of first integrals in Hamiltonian mechanics I. Funct. Anal. Appl.16, 181–189 (1983) · Zbl 0524.58015 · doi:10.1007/BF01081586
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.