Composition of Lie transforms with rigorous estimates and applications to Hamiltonian perturbation theory

In this paper we exhibit a rigorous perturbation theory for nearly integrable Hamiltonian systems, based on the composition of Lie Transforms. Precisely, we first study the algorithm for the composition of Lie transforms, and provide rigorous estimates for the convergence radius and the truncation errors of the series; then we use our estimates for a particular model-example, namely a system of weakly coupled harmonic oscillators having Diophantine frequencies, and work out Nekhoroshev-like exponential estimates for the stability times.