Weak KAM theory for subriemannian Lagrangians
We extend weak KAM theory to Lagrangians that are defined only on the horizontal distribution of a sub-Riemannian manifold. The main tool is Tonelli's theorem which allows dispending on a Lagrangian dynamics.