Résurgence paramétrique et exponentielle petitesse de l'écart des séparatrices du pendule rapidement forcé

摘要

Henri Poincaré avait déjà remarqué que les variétés stable et instable du pendule perturbé, défini par l'hamiltonien H(q,p, t) = p~2/2 + (-1 + cos q)(1 - μ sin(t/ε)), ne coïncident pas lorsque que le paramètre μ, n'est pas nul, mais qu'on peut leur associer un même développement formel divergent en puissance de e. Cette divergence est ici analysée au moyen de la récente théorie de la résurgence, et du calcul étranger qui permet de trouver un équivalent asymptotique de l'écart des deux variétés pour e tendant vers zéro - du moins cela est-il montré pour le problème simplifié dans lequel sin(t/ε) est remplacé par e~(it/ε).%Henri Poincare had already noticed that the stable and unstable manifolds of the perturbed pendulum defined by the Hamiltonian H(q,p,t) = P~2/2 + (-1 + cos 9)(1 - μ sin(t/ε)), do not coincide when parameter μ, is not equal to zero, and that the same formal divergent series in powers of ε may be associated with both of them. Here this divergence is analyzed by means of the recent theory of resurgence and alien calculus which allows to estimate asymptotically the size of the splitting of the manifolds as ε tends to zero - at least this is proven for the simplified problem where sin(t/ε) is replace with e~(it/ε).