For a positive integer n and R>0, we set $$B_R^n=\left\{x\in {ℝ}^n|{∥x∥}_{\infty }<R\right\}$$ . Given R>1 and n≥4 we construct a sequence of analytic perturbations (H j) of the completely integrable Hamiltonian $$h\left(r\right)=\frac{1}{2}{r}_1^2+...\frac{1}{2}{r}_{n-1}^2+r_n$$ on $${𝕋}^n\times B_R^n$$ , with unstable orbits for which we can estimate the time of drift in the action space. These functions H j are analytic on a fixed complex neighborhood V of $${𝕋}^n\times B_R^n$$ , and setting $${\epsilon }_j:={∥h-H_j∥}_{C^0\left(V\right)}$$ the time of drift of these orbits is smaller than (C(1/ɛ j)1/2(n-3)) for a fixed constant c>0. Our unstable orbits stay close to a doubly resonant surface,...

In this article, we present a new approach of Nekhoroshev’s theory for a generic unperturbed Hamiltonian which completely avoids small divisors problems. The proof is an extension of a method introduced by P. Lochak, it combines averaging along periodic orbits with simultaneous Diophantine approximation and uses geometric arguments designed by the second author to handle generic integrable Hamiltonians. This method allows to deal with generic non-analytic Hamiltonians and to obtain new results of...

In the 70’s, Nekhorochev proved that for an analytic nearly integrable Hamiltonian system, the action variables of the unperturbed Hamiltonian remain nearly constant over an exponentially long time with respect to the size of the perturbation, provided that the unperturbed Hamiltonian satisfies some generic transversality condition known as steepness. Using theorems of real subanalytic geometry, we derive a geometric criterion for steepness: a numerical function $h$ which is real analytic around a...

We present a proof of Herman’s Last Geometric Theorem asserting that if $F$ is a smooth diffeomorphism of the annulus having the intersection property, then any given $F$-invariant smooth curve on which the rotation number of $F$ is Diophantine is accumulated by a positive measure set of smooth invariant curves on which $F$ is smoothly conjugated to rotation maps. This implies in particular that a Diophantine elliptic fixed point of an area preserving diffeomorphism of the plane is stable. The remarkable...

This talk is concerned with the Kolmogorov-Arnold-Moser (KAM) theorem in Gevrey classes for analytic hamiltonians, the effective stability around the corresponding KAM tori, and the semi-classical asymptotics for Schrödinger operators with exponentially small error terms. Given a real analytic Hamiltonian $H$ close to a completely integrable one and a suitable Cantor set $\Theta$ defined by a Diophantine condition, we find a family ${\Lambda }_{\omega },\omega \in \Theta$, of KAM invariant tori of $H$ with frequencies $\omega \in \Theta$ which is Gevrey smooth with...

We prove, under suitable non-resonance and non-degeneracy “twist” conditions, a Birkhoff-Lewis type result showing the existence of infinitely many periodic solutions, with larger and larger minimal period, accumulating onto elliptic invariant tori (of hamiltonian systems). We prove the applicability of this result to the spatial planetary three-body problem in the small eccentricity-inclination regime. Furthermore, we find other periodic orbits under some restrictions on the period and the masses...

We study spectral asymptotics and resolvent bounds for non-selfadjoint perturbations of selfadjoint $h$-pseudodifferential operators in dimension 2, assuming that the classical flow of the unperturbed part is completely integrable. Spectral contributions coming from rational invariant Lagrangian tori are analyzed. Estimating the tunnel effect between strongly irrational (Diophantine) and rational tori, we obtain an accurate description of the spectrum in a suitable complex window, provided that the...

We provide a crash course in weak KAM theory and review recent results concerning the existence and uniqueness of weak KAM solutions and their link with the so-called Mañé conjecture.