Let be a smooth connected and complete manifold of dimension , and be a smooth nonholonomic distribution of rank on . We prove that, if there exists a smooth Riemannian metric on for which no nontrivial singular path is minimizing, then there exists a smooth repulsive stabilizing section of on . Moreover, in dimension three, the assumption of the absence of singular minimizing horizontal paths can be dropped in the Martinet case. The proofs are based on the study, using specific results of nonsmooth analysis, of an optimal control problem of Bolza type, for which we prove that the corresponding value function is semiconcave and is a viscosity solution of a Hamilton-Jacobi equation, and establish fine properties of optimal trajectories.
Cite this article
Ludovic Rifford, Emmanuel Trélat, On the stabilization problem for nonholonomic distributions. J. Eur. Math. Soc. 11 (2009), no. 2, pp. 223–255DOI 10.4171/JEMS/148