Lagrangian dynamics, weak KAM theory, Variational methods, Arnold diffusion