Towards a rigorous treatment of the Jeans-Landau-Teller method for the energy exchanges of harmonic oscillators

For classical Hamiltonian systems containing an harmonic oscillator of high frequency, one has the problem of controlling the energy exchange between the oscillator and the remaining "slow" degrees of freedom; under very general conditions, such an exchange turns out to be exponentially small with the frequency of the oscillator. In the Jeans-Landau-Teller method, one aims to prove the exponential dependence, and to estimate the coefficient of the exponential, by exploiting the analyticity properties of the solution of the differential equations describing the motion of the system. However, in practice, since the exact solution is not known, such properties are inferred from those of an approximate solution, with no control of the difference; this fact might a priori even invalidate the exponential dependence itself. In the present paper a rigorous treatment is given, for a particular model of interest in the domain of atomic collisions, by keeping control of the difference between the exact and the approximate solution.