High energy rotation type solutions of the forced pendulum equation
Résumé
In this article we study the existence and asymptotic profiles of high-energy rotation type solutions of the singularly perturbed forced pendulum equation We prove that the asymptotic profile of these solutions is described in terms of an energy function which satisfy an integro-differential equation. Also we show that given a suitable energy function E satisfying the integro-differential equation, a family of solutions of the pendulum equation above exists having E as the asymptotic profile, when $\epsilon \rightarrow 0$.