Regularity results for the minimum time function with Hörmander vector fields

Abstract: In a bounded domain of $\mathbb{R}^n$ with smooth boundary, we study the regularity of the viscosity solution, $T$, of the Dirichlet problem for the eikonal equation associated with a family of smooth vector fields ${X_1,\ldots ,X_N}$, subject to H\"ormander's bracket generating condition. Due to the presence of characteristic boundary points, singular trajectories may occur in this case. We characterize such trajectories as the closed set of all points at which the solution loses point-wise Lipschitz continuity. We then prove that the local Lipschitz continuity of $T$, the local semiconcavity of $T$, and the absence of singular trajectories are equivalent properties. Finally, we show that the last condition is satisfied when the characteristic set of ${X_1,\ldots ,X_N}$ is a symplectic manifold. We apply our results to Heisenberg's and Martinet's vector fields.