We add to the literature the well-known fact that an isoperimetric hypersurface S S of dimension at most six in a smooth Riemannian manifold M M is a smooth submanifold. If the metric is merely Lipschitz, then S S is still Hölder differentiable.
No takes yet. Share an insight, caveat, or question.
Frank Morgan (2003) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: