AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Hamiltonian perturbation theory for ultra-differentiable functions
About this Title
Abed Bounemoura Bounemoura and Jacques Féjoz
Publication: Memoirs of the American Mathematical Society
Publication Year:
2021; Volume 270, Number 1319
ISBNs: 978-1-4704-4691-8 (print); 978-1-4704-6526-1 (online)
DOI: https://doi.org/10.1090/memo/1319
Published electronically: June 16, 2021
Keywords: KAM theory,
Nekhoroshev theory,
Arnold diffusion,
ultra-differentiable functions
Table of Contents
Chapters
- Introduction
- 1. Estimates on ultra-differentiable functions
- 2. Application to KAM theory
- 3. Application to Hamiltonian normal forms and Nekhoroshev theory
- A. On the moderate growth condition
Abstract
Some scales of spaces of ultra-differentiable functions are introduced, having good stability properties with respect to infinitely many derivatives and compositions. They are well-suited for solving non-linear functional equations by means of hard implicit function theorems. They comprise Gevrey functions and thus, as a limiting case, analytic functions. Using majorizing series, we manage to characterize them in terms of a real sequence $M$ bounding the growth of derivatives.
In this functional setting, we prove two fundamental results of Hamiltonian perturbation theory: the invariant torus theorem, where the invariant torus remains ultra-differentiable under the assumption that its frequency satisfies some arithmetic condition which we call BR$_M$, and which generalizes the Bruno-Rüssmann condition; and Nekhoroshev’s theorem, where the stability time depends on the ultra-differentiable class of the pertubation, through the same sequence $M$. Our proof uses periodic averaging, while a substitute for the analyticity width allows us to bypass analytic smoothing.
We also prove converse statements on the destruction of invariant tori and on the existence of diffusing orbits with ultra-differentiable perturbations, by respectively mimicking a construction of Bessi (in the analytic category) and Marco-Sauzin (in the Gevrey non-analytic category). When the perturbation space satisfies some additional condition (we then call it matching), we manage to narrow the gap between stability hypotheses (e.g. the BR$_M$ condition) and instability hypotheses, thus circumbscribing the stability threshold.
The formulas relating the growth $M$ of derivatives of the perturbation on the one hand, and the arithmetics of robust frequencies or the stability time on the other hand, bring light to the competition between stability properties of nearly integrable systems and the distance to integrability. Due to our method of proof using width of regularity as a regularizing parameter, these formulas are closer to optimal as the the regularity tends to analyticity.
- V.I. Arnold, Instability of dynamical systems with several degrees of freedom, Sov. Math. Doklady 5 (1964), 581–585.
- Ugo Bessi, An approach to Arnol′d’s diffusion through the calculus of variations, Nonlinear Anal. 26 (1996), no. 6, 1115–1135. MR 1375654, DOI 10.1016/0362-546X(94)00270-R
- Ugo Bessi, Arnold’s example with three rotators, Nonlinearity 10 (1997), no. 3, 763–781. MR 1448586, DOI 10.1088/0951-7715/10/3/010
- Ugo Bessi, An analytic counterexample to the KAM theorem, Ergodic Theory Dynam. Systems 20 (2000), no. 2, 317–333. MR 1756972, DOI 10.1017/S0143385700000146
- Abed Bounemoura and Stéphane Fischler, A Diophantine duality applied to the KAM and Nekhoroshev theorems, Math. Z. 275 (2013), no. 3-4, 1135–1167. MR 3127051, DOI 10.1007/s00209-013-1174-5
- Abed Bounemoura and Stéphane Fischler, The classical KAM theorem for Hamiltonian systems via rational approximations, Regul. Chaotic Dyn. 19 (2014), no. 2, 251–265. MR 3189261, DOI 10.1134/S1560354714020087
- A. Bounemoura and J. Féjoz, KAM, $\alpha$-Gevrey regularity and the $\alpha$-Bruno-Rüssmann condition, preprint, 2017.
- Abed Bounemoura, Bassam Fayad, and Laurent Niederman, Superexponential stability of quasi-periodic motion in Hamiltonian systems, Comm. Math. Phys. 350 (2017), no. 1, 361–386. MR 3606478, DOI 10.1007/s00220-016-2782-9
- Abed Bounemoura and Jean-Pierre Marco, Improved exponential stability for near-integrable quasi-convex Hamiltonians, Nonlinearity 24 (2011), no. 1, 97–112. MR 2739833, DOI 10.1088/0951-7715/24/1/005
- Abed Bounemoura and Laurent Niederman, Generic Nekhoroshev theory without small divisors, Ann. Inst. Fourier (Grenoble) 62 (2012), no. 1, 277–324 (English, with English and French summaries). MR 2986272
- Abed Bounemoura, Effective stability for Gevrey and finitely differentiable prevalent Hamiltonians, Comm. Math. Phys. 307 (2011), no. 1, 157–183. MR 2835876, DOI 10.1007/s00220-011-1306-x
- Abed Bounemoura, Optimal stability and instability for near-linear Hamiltonians, Ann. Henri Poincaré 13 (2012), no. 4, 857–868. MR 2913624, DOI 10.1007/s00023-011-0137-9
- Abed Bounemoura, Normal forms, stability and splitting of invariant manifolds I. Gevrey Hamiltonians, Regul. Chaotic Dyn. 18 (2013), no. 3, 237–260. MR 3061808, DOI 10.1134/S1560354713030040
- Abed Bounemoura, Normal forms, stability and splitting of invariant manifolds I. Gevrey Hamiltonians, Regul. Chaotic Dyn. 18 (2013), no. 3, 237–260. MR 3061808, DOI 10.1134/S1560354713030040
- A. D. Brjuno, Analytic form of differential equations. I, II, Trudy Moskov. Mat. Obšč. 25 (1971), 119–262; ibid. 26 (1972), 199–239 (Russian). MR 0377192
- A. D. Brjuno, Analytical form of differential equations II, Trans. Moscow Math. Soc. 26 (1972), 199–239.
- Timoteo Carletti, The Lagrange inversion formula on non-Archimedean fields. Non-analytical form of differential and finite difference equations, Discrete Contin. Dyn. Syst. 9 (2003), no. 4, 835–858. MR 1903046, DOI 10.3934/dcds.2003.9.835
- Jacques Chaumat and Anne-Marie Chollet, Surjectivité de l’application restriction à un compact dans des classes de fonctions ultradifférentiables, Math. Ann. 298 (1994), no. 1, 7–40 (French, with French summary). MR 1252815, DOI 10.1007/BF01459723
- Timoteo Carletti and Stefano Marmi, Linearization of analytic and non-analytic germs of diffeomorphisms of $(\textbf {C},0)$, Bull. Soc. Math. France 128 (2000), no. 1, 69–85 (English, with English and French summaries). MR 1765828
- Chong-Qing Cheng and Lin Wang, Destruction of Lagrangian torus for positive definite Hamiltonian systems, Geom. Funct. Anal. 23 (2013), no. 3, 848–866. MR 3061774, DOI 10.1007/s00039-013-0213-z
- Francesco Fassò, Lie series method for vector fields and Hamiltonian perturbation theory, Z. Angew. Math. Phys. 41 (1990), no. 6, 843–864. MR 1082741, DOI 10.1007/BF00945838
- Bassam R. Fayad, Weak mixing for reparameterized linear flows on the torus, Ergodic Theory Dynam. Systems 22 (2002), no. 1, 187–201. MR 1889570, DOI 10.1017/S0143385702000081
- M. Guzzo, L. Chierchia, and G. Benettin, The steep Nekhoroshev’s theorem, Comm. Math. Phys. 342 (2016), no. 2, 569–601. MR 3459160, DOI 10.1007/s00220-015-2555-x
- Maurice Gevrey, Sur la nature analytique des solutions des équations aux dérivées partielles. Premier mémoire, Ann. Sci. École Norm. Sup. (3) 35 (1918), 129–190 (French). MR 1509208
- Nikolaos Karaliolios, Local rigidity of Diophantine translations in higher-dimensional tori, Regul. Chaotic Dyn. 23 (2018), no. 1, 12–25. MR 3759967, DOI 10.1134/S1560354718010021
- A. N. Kolmogorov, On conservation of conditionally periodic motions for a small change in Hamilton’s function, Dokl. Akad. Nauk SSSR (N.S.) 98 (1954), 527–530 (Russian). MR 0068687
- Hikosaburo Komatsu, The implicit function theorem for ultradifferentiable mappings, Proc. Japan Acad. Ser. A Math. Sci. 55 (1979), no. 3, 69–72. MR 531445
- Hikosaburo Komatsu, Ultradifferentiability of solutions of ordinary differential equations, Proc. Japan Acad. Ser. A Math. Sci. 56 (1980), no. 4, 137–142. MR 575993
- Peter D. Lax, Nonlinear hyperbolic equations, Comm. Pure Appl. Math. 6 (1953), 231–258. MR 56176, DOI 10.1002/cpa.3160060204
- P. Lochak and A. I. Neĭshtadt, Estimates of stability time for nearly integrable systems with a quasiconvex Hamiltonian, Chaos 2 (1992), no. 4, 495–499. MR 1195881, DOI 10.1063/1.165891
- P. Lochak, A. I. Neistadt, and L. Niederman, Stability of nearly integrable convex Hamiltonian systems over exponentially long times, Seminar on Dynamical Systems (St. Petersburg, 1991) Progr. Nonlinear Differential Equations Appl., vol. 12, Birkhäuser, Basel, 1994, pp. 15–34. MR 1279386
- P. Loshak, Canonical perturbation theory: an approach based on joint approximations, Uspekhi Mat. Nauk 47 (1992), no. 6(288), 59–140 (Russian); English transl., Russian Math. Surveys 47 (1992), no. 6, 57–133. MR 1209145, DOI 10.1070/RM1992v047n06ABEH000965
- Jean-Pierre Marco and David Sauzin, Stability and instability for Gevrey quasi-convex near-integrable Hamiltonian systems, Publ. Math. Inst. Hautes Études Sci. 96 (2002), 199–275 (2003). MR 1986314, DOI 10.1007/s10240-003-0011-5
- N. N. Nehorošev, An exponential estimate of the time of stability of nearly integrable Hamiltonian systems, Uspehi Mat. Nauk 32 (1977), no. 6(198), 5–66, 287 (Russian). MR 0501140
- N. N. Nehorošev, An exponential estimate of the time of stability of nearly integrable Hamiltonian systems II, Trudy Sem. Petrovs 5 (1979), 5–50.
- G. Popov, KAM theorem for Gevrey Hamiltonians, Ergodic Theory Dynam. Systems 24 (2004), no. 5, 1753–1786. MR 2104602, DOI 10.1017/S0143385704000458
- Jürgen Pöschel, Nekhoroshev estimates for quasi-convex Hamiltonian systems, Math. Z. 213 (1993), no. 2, 187–216. MR 1221713, DOI 10.1007/BF03025718
- Rafael de la Llave, A tutorial on KAM theory, Smooth ergodic theory and its applications (Seattle, WA, 1999) Proc. Sympos. Pure Math., vol. 69, Amer. Math. Soc., Providence, RI, 2001, pp. 175–292. MR 1858536, DOI 10.1090/pspum/069/1858536
- Jean-Pierre Ramis and Reinhard Schäfke, Gevrey separation of fast and slow variables, Nonlinearity 9 (1996), no. 2, 353–384. MR 1384480, DOI 10.1088/0951-7715/9/2/004
- Helmut Rüssmann, On optimal estimates for the solutions of linear partial differential equations of first order with constant coefficients on the torus, Dynamical systems, theory and applications (Rencontres, Battelle Res. Inst., Seattle, Wash., 1974) Springer, Berlin, 1975, pp. 598–624.Lecture Notes in Phys., Vol. 38. MR 0467824
- H. Rüssmann, Invariant tori in non-degenerate nearly integrable Hamiltonian systems, Regul. Chaotic Dyn. 6 (2001), no. 2, 119–204. MR 1843664, DOI 10.1070/RD2001v006n02ABEH000169
- Chang Eon Shin, Soon-Yeong Chung, and Dohan Kim, Gevrey and analytic convergence of Picard’s successive approximations, Integral Transforms Spec. Funct. 14 (2003), no. 1, 19–30. MR 1949213, DOI 10.1080/10652460304545
- Vincent Thilliez, Division by flat ultradifferentiable functions and sectorial extensions, Results Math. 44 (2003), no. 1-2, 169–188. MR 2011916, DOI 10.1007/BF03322923
- Vincent Thilliez, On quasianalytic local rings, Expo. Math. 26 (2008), no. 1, 1–23. MR 2384272, DOI 10.1016/j.exmath.2007.04.001
- Dmitry Treschev and Oleg Zubelevich, Introduction to the perturbation theory of Hamiltonian systems, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2010. MR 2554208, DOI 10.1007/978-3-642-03028-4
- Jordi Villanueva, Kolmogorov theorem revisited, J. Differential Equations 244 (2008), no. 9, 2251–2276. MR 2413841, DOI 10.1016/j.jde.2008.02.010
- Jean-Christophe Yoccoz, Linéarisation des germes de difféomorphismes holomorphes de $(\textbf {C}, 0)$, C. R. Acad. Sci. Paris Sér. I Math. 306 (1988), no. 1, 55–58 (French, with English summary). MR 929279
- Jean-Christophe Yoccoz, Small divisors in dimension one (Petits diviseurs en dimension 1), Astérisque. 231. Paris: Société Math. de France, 242 p., 1995.
- Ke Zhang, Speed of Arnold diffusion for analytic Hamiltonian systems, Invent. Math. 186 (2011), no. 2, 255–290. MR 2845619, DOI 10.1007/s00222-011-0319-6
- Jianlu Zhang and Ke Zhang, Improved stability for analytic quasi-convex nearly integrable systems and optimal speed of Arnold diffusion, Nonlinearity 30 (2017), no. 7, 2918–2929. MR 3670012, DOI 10.1088/1361-6544/aa72b7