Abstract
An example of an analytic system of differential equations in \(\mathbb{R}^{6}\) with an equilibrium formally stable and stable for most initial conditions is presented. By means of a divergent formal transformation this system is reduced to a Hamiltonian system with three degrees of freedom. Almost all its phase space is foliated by three-dimensional invariant tori carrying quasi-periodic trajectories. These tori do not fill all phase space. Though the “gap” between these tori has zero measure, this set is everywhere dense in \(\mathbb{R}^{6}\) and unbounded phase trajectories are dense in this gap. In particular, the formally stable equilibrium is Lyapunov unstable. This behavior of phase trajectories is quite consistent with the diffusion in nearly integrable systems. The proofs are based on the Poincaré – Dulac theorem, the theory of almost periodic functions, and on some facts from the theory of inhomogeneous Diophantine approximations. Some open problems related to the example are presented.
Notes
The author got acquainted with preprint [8] after the present work was completed.
References
Markeev, A. P., Libration Points in Celestial Mechanics and Space Dynamics, Moscow: Nauka, 1978 (Russian).
Birkhoff, G. D., Dynamical Systems, Amer. Math. Soc. Colloq. Publ., vol. 9, Providence, R.I.: AMS, 1966.
Whittaker, E. T., A Treatise on the Analytical Dynamics of Particles and Rigid Bodies, 4th ed., New York: Cambridge Univ. Press, 1989.
Moser, J., Stabilitätsverhalten kanonischer Differentialgleichungssysteme, Nachr. Akad. Wiss. Göttingen. Math.-Phys. Kl. IIa, 1955, vol. 1955, pp. 87–120.
Glimm, J., Formal Stability of Hamiltonian Systems, Comm. Pure Appl. Math., 1964, vol. 17, no. 4, pp. 509–526.
Bryuno, A. D., Formal Stability of Hamiltonian Systems, Math. Notes, 1967, vol. 1, no. 3, pp. 216–219; see also: Mat. Zametki, 1967, vol. 1, no. 3, pp. 325-330.
Douady, R. and Le Calvez, P., Exemple de point fixe elliptique non topologiquement stable en dimension \(4\), C. R. Acad. Sci. Paris (1), 1983, vol. 296, pp. 895–898.
Fayad, B., Lyapunov Unstable Elliptic Equilibria, J. Amer. Math. Soc., 2023, vol. 36, no. 1, pp. 81–106.
Arnol’d, V. I. and Il’yashenko, Yu. S., Ordinary Differential Equations, in Dynamical Systems: 1. Ordinary Differential Equations and Smooth Dynamical Systems, D. V. Anosov, V. I. Arnol’d (Eds.), Encyclopaedia Math. Sci., vol. 1, Berlin: Springer, 1988, pp. 1–148.
Nemytskii, V. V. and Stepanov, V. V., Qualitative Theory of Differential Equations, Princeton Math. Ser., vol. 22, Princeton, N.J.: Princeton Univ. Press, 1960.
Arnol’d, V. I., Small Denominators and Problems of Stability of Motion in Classical and Celestial Mechanics, Russian Math. Surveys, 1963, vol. 18, no. 6, pp. 85–191; see also: Uspekhi Mat. Nauk, 1963, vol. 18, no. 6(114), pp. 91-192.
Arnold, V. I., On the Nonstability of Dynamical Systems with Many Degrees of Freedom, Soviet Math. Dokl., 1964, vol. 5, no. 3, pp. 581–585; see also: Dokl. Akad. Nauk SSSR, 1964, vol. 156, no. 1, pp. 9-12.
Arnol’d, V. I., Kozlov, V. V., and Neĭshtadt, A. I., Mathematical Aspects of Classical and Celestial Mechanics, 3rd ed., Encyclopaedia Math. Sci., vol. 3, Berlin: Springer, 2006.
Kozlov, V. V. and Moshchevitin, N. G., Diffusion in Hamiltonian Systems, Chaos, 1998, vol. 8, no. 1, pp. 245–247.
Kozlov, V. V. and Treschev, D. V., Instability, Asymptotic Trajectories and Dimension of the Phase Space, Mosc. Math. J., 2018, vol. 18, no. 4, pp. 681–692.
Fayad, B., Marco, J.-P., and Sauzin, D., Attracted by an Elliptic Fixed Point, in Some Aspects of the Theory of Dynamical Systems: A Tribute to Jean-Christophe Yoccoz: Vol. 2, Astérisque, vol. 416, Paris: Soc. Math. France, 2020, pp. 321–340.
Bohr, H., Almost Periodic Functions, New York: Chelsea, 1947.
Cassels, J. W. S., An Introduction to Diophantine Approximation, Camb. Tracts Math. Math. Phys., vol. 45, New York: Cambridge Univ. Press, 1957.
Arnol’d, V. I., Geometrical Methods in the Theory of Ordinary Differential Equations, 2nd ed., Grundlehren Math. Wiss., vol. 250, New York: Springer, 1988.
Moshchevitin, N. G., On the Recurrence of an Integral of a Smooth Conditionally Periodic Function, Math. Notes, 1998, vol. 63, no. 5–6, pp. 648–657; see also: Mat. Zametki, 1998, vol. 63, no. 5, pp. 737-748.
Kozlov, V. V., On a Problem of Poincaré, J. Appl. Math. Mech., 1976, vol. 40, no. 2, pp. 326–329; see also: Prikl. Mat. Mekh., 1976, vol. 40, no. 2, pp. 352-355.
Demidovich, B. P., Lectures on the Mathematical Stability Theory, Moscow: Nauka, 1967 (Russian).
Lyapunov, A. M., The General Problem of the Stability of Motion, London: Fracis & Taylor, 1992.
ACKNOWLEDGMENTS
The author cordially thanks N. G. Moschevitin and D. V. Treschev for discussions.
Funding
This work was supported by the Russian Science Foundation under Grant No. 19-71-30012.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The author declares that he has no conflicts of interest.
Additional information
MSC2010
34D20, 37C75
Rights and permissions
About this article
Cite this article
Kozlov, V.V. Formal Stability, Stability for Most Initial Conditions and Diffusion in Analytic Systems of Differential Equations. Regul. Chaot. Dyn. 28, 251–264 (2023). https://doi.org/10.1134/S1560354723030012
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1560354723030012