Nekhoroshev Theorem for time quasiperiodic perturbations of P-Steep systems

We prove a Nekhoroshev type result for a time quasiperiodic perturbation of an integrable Hamiltonian system.

More precisely, we assume that the integrable part is analytic and fulfills a generic nondegeneracy condition introduced by Nekhoroshev and called P-Steepness.

We add a small perturbation which depends in a quasiperiodic way on time (with Diophantine frequency) and prove that -- for times exponentially long with the inverse of the size $\varepsilon$ of the perturbation -- the actions of the unperturbed system remain approximately constant.

The proof is based on an extension to the time dependent case of the proof {of classical Nekhoroshev's theorem} given by Guzzo, Chierchia and Benettin, which however requires new ideas in order to deal with the more complex geometry of resonances of the time dependent case.