Analytic stratifications and the cut locus of a class of distance functions

We study the analytic singularities of viscosity solutions of equations of eikonal type and obtain that the analytic singular support of these functions has an analytic stratification. The singular support can be identified with the cut locus of the distance to the boundary of an open set, when the interior is equipped with a degenerate Riemannian metric. We apply the result to elliptic equations as well as to model operators of Grušin type.