The Sharp $C^{1,1}$ Target Threshold for Minimizing Constraint Maps

Abstract

Let $K\subset {\mathbb{R}}^m$ be the closure of a bounded domain whose boundary is a compact embedded hypersurface, and let \( \overline M=\R^m\setminus\operatorname{int}K \) be the allowed target. We prove that if $\partial K$ is of class $C^{1,1}$, then every $\overline{M}$-valued local minimizer of the Dirichlet energy $E(u;B):=\int_B|Du|^2\dd x$ is locally $W^{2,\infty }$, and hence locally $C^{1,1}$, on its continuity set. For every $0<\alpha <1$, we also construct a convex body with $C^{1,\alpha }$ boundary and an everywhere continuous global minimizer that is not $C^{1,1}$. Thus $C^{1,1}$ is the sharp target regularity threshold in the Hölder scale.