##
**Nekhoroshev estimates for quasi-convex Hamiltonian systems.**
*(English)*
Zbl 0857.70009

The paper is concerned with the stability of motions in nearly integrable autonomous Hamiltonian systems with \(n\) degrees of freedom, with Hamiltonian \(H=h(I)+ f_\varepsilon(I,\theta)\) in \(n\)-dimensional action-angle variables \(I\), \(\theta\) depending on a small parameter \(\varepsilon\) such that \(f_\varepsilon\sim\varepsilon\). Provided that the system is real analytic and that the unperturbed Hamiltonian \(h\) fulfills generic transversality conditions known as steepness, N. Nekhoroshev obtained certain stability bounds, called the “stability radius” and “stability time”, in order to prove that, generically, the variations of the actions of all orbits remain small over a finite but exponentially long time interval.

In this paper, the author gives simple and explicit expressions for these stability bounds in the case, when the unperturbed Hamiltonian \(h\) is assumed to be convex on all of its domain, or on each of its level sets, respectively. In order to obtain these results, he constructs normal forms on various subdomains of phase space known as “resonance blocks”, which are described as neighbourhoods of “admissible resonances”. Then, these normal forms lead to stability estimates, which turn out to be straightforward in the convex cases. Finally, a geometric argument is given how to cover the whole phase space by such resonance blocks. This last geometric construction is precisely a new one: resonance zones are described not through small divisor conditions, but they are given as tubular neighbourhoods of exact resonances, for which the required small divisor estimates are subsequently verified. This leads to a simpler and essentially optimal covering of action space by resonance blocks. In turn, this results in a substantial improvement of the stability exponent.

In this paper, the author gives simple and explicit expressions for these stability bounds in the case, when the unperturbed Hamiltonian \(h\) is assumed to be convex on all of its domain, or on each of its level sets, respectively. In order to obtain these results, he constructs normal forms on various subdomains of phase space known as “resonance blocks”, which are described as neighbourhoods of “admissible resonances”. Then, these normal forms lead to stability estimates, which turn out to be straightforward in the convex cases. Finally, a geometric argument is given how to cover the whole phase space by such resonance blocks. This last geometric construction is precisely a new one: resonance zones are described not through small divisor conditions, but they are given as tubular neighbourhoods of exact resonances, for which the required small divisor estimates are subsequently verified. This leads to a simpler and essentially optimal covering of action space by resonance blocks. In turn, this results in a substantial improvement of the stability exponent.

Reviewer: B.Valiño Alonso (Ciudao de La Habana)

### MSC:

70H05 | Hamilton’s equations |

37J99 | Dynamical aspects of finite-dimensional Hamiltonian and Lagrangian systems |

37C75 | Stability theory for smooth dynamical systems |

### Keywords:

perturbed Hamiltonian; nearly integrable autonomous Hamiltonian systems; small parameter; stability bounds; resonance blocks; stability exponent### References:

[1] | Arnold, V.I. (ed.): Dynamical Systems III. (Encycl. Math. Sci., vol. 3) Berlin Heidelberg New York: Springer 1988 |

[2] | Benettin, G., Galgani, L., Giorgilli, A.: A proof of Nekhoroshev’s theorem for the stability times in nearly integrable Hamiltonian systems. Celestial Mech.37, 1–25 (1985) · Zbl 0602.58022 |

[3] | Benettin, G., Galgani, L., Giorgilli, A.: Realization of holonomic constraints and freezing of high frequency degrees of freedom in the light of classical perturbation theory, part II: Commun. Math. Phys.121, 557–601 (1989) · Zbl 0679.70015 |

[4] | Benettin, G., Gallavotti, G.: Stability of motions near resonances in quasi-integrable Hamiltonian systems. J. Stat. Phys.44, 293–338 (1986) · Zbl 0636.70018 |

[5] | Delshams, A., Gutiérrez, P.: Effective stability for nearly integrable Hamiltonian systems. Barcelona (Preprint 1991) · Zbl 0938.37521 |

[6] | Fassò, F.: Lie series method for vector fields and Hamiltonian perturbation theory. J. Appl. Math. Phys.41, 843–864 (1990) · Zbl 0746.70012 |

[7] | Gallavotti, G.: Quasi-integrable mechanical systems. In: Osterwalder, K., Stora, R. (eds.) Phénomènes critiques, systèmes aléatoires, théories de jauge, part II. Les Houches 1984, pp. 539–624. Amsterdam New York: North-Holland 1986 |

[8] | Giorgilli, A.: New insights on the stability problem from recent results in classical perturbation theory. Università degli studi di Milano, quaderno n. 35 (Preprint 1990) |

[9] | Giorgilli, A., Galgani, L.: Rigorous estimates for the series expansions of Hamiltonian perturbation theory. Celestial Mech.37, 95–112 (1985) |

[10] | Giorgilli, A., Zehnder, E.: Exponential stability for time dependent potentials. ETH Zürich (Preprint 1991) · Zbl 0766.58032 |

[11] | Il’yashenko, Yu.S.: A steepness test for analytic functions. Usp. Mat. Nauk41, 193–194 (1986); Russ. Math. Surv.41, 229–230 (1986) |

[12] | Lochak, P.: Stabilité en temps exponentiels des systèmes Hamiltoniens proches de systèmes intégrables: résonances et orbites fermés. Laboratoire Math. Ec. Norm. Supér. (Preprint 1990) |

[13] | Lochak, P.: Canonical perturbation theory via simultaneous approximation. Ec. Norm. Supér. (Preprint 1991); Russ. Math. Surv. (to appear) |

[14] | Lochak, P., Meunier, C.: Multiphase Averaging for Classical Systems. (Appl. Math. Sci., vol. 72) Berlin Heidelberg New York: Springer 1988 · Zbl 0668.34044 |

[15] | Lochak, P., Neishtadt, A.I.: Estimates of stability time for nearly integrable systems with a quasiconvex Hamiltonian. Chaos (to appear) |

[16] | Molchanov, A.M.: The resonant structure of the solar system. Icarus8, 203–215 (1968) |

[17] | Molchanov, A.M.: The reality of resonances in the solar system. Icarus11, 104–110 (1969) |

[18] | Neishtadt, A.I.: The separation of motions in systems with rapidly rotating phase. J. Appl. Math. Mech.48(2), 133–139 (1984); Prikl. Mat. Mekh.48(2), 197–204 (1984) · Zbl 0571.70022 |

[19] | Nekhoroshev, N.N.: Behaviour of Hamiltonian systems close to integrable. Funct. Anal. Appl.5, 338–339 (1971) · Zbl 0254.70015 |

[20] | Nekhoroshev, N.N.: An exponential estimate of the time of stability of nearly-integrable Hamiltonian systems, I. Usp. Mat. Nauk32, 5–66, (1977); Russ. Math. Surv.32, 1–65 (1977) · Zbl 0389.70028 |

[21] | Nekhoroshev, N.N.: An exponential estimate of the time of stability of nearly-integrable Hamiltonian systems, II. Tr. Semin. Petrovsk.5, 5–50 (1979); In: Oleinik, O.A. (ed.) Topics in Modern Mathematics, Petrovskii Semin, no. 5. New York: Consultant Bureau 1985 |

[22] | Pöschel, J.: Integrability of Hamiltonian systems on Cantor sets. Commun. Pure Appl. Math.35, 653–695 (1982) · Zbl 0542.58015 |

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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.