A regularity theorem for minimizers of real-analytic subriemannian metrics

Abstract

We prove, for real-analytic subriemannian metrics, that if a trajectory parametrized by arc-length is an arc-length minimizer, then the trajectory is real-analytic on an open dense subset of its interval of definition.