Inserted: 2 feb 2023
Last Updated: 19 nov 2023
Journal: Calc. Var. Partial Differential Equations
Links: freely available
We prove an integral formula for the spherical measure of hypersurfaces in equiregular sub-Riemannian manifolds. Among various technical tools, we establish a general criterion for the uniform convergence of parametrized sub-Riemannian distances, and local uniform asymptotics for the diameter of small metric balls.