Aurby-Mather theory for optimal control systems with nonholonomic constraints

In this work, we extend Aubry-Mather theory to the case of control systems with nonholonomic constraints. In this framework, we consider an optimal control problem where admissible trajectories are solutions of a control-affine equation. Such an equation is associated with a family of smooth vector fields that satisfy the Hörmander condition, which implies the controllability of the system. In this case, the Hamiltonian fails to be coercive, so results for Tonelli Hamiltonians cannot be applied. To overcome these obstacles, we develop an intrinsic approach based on the metric properties of the geometry induced on the state space by the sub-Riemannian structure.