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

Abstract

Let $K\subset\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\"older scale.