On $C^{1,α}$-regularity for critical points of a geometric obstacle-type problem
We consider critical points of the geometric obstacle problem on vectorial maps $u: \mathbb{B}^2 \subset \mathbb{R}^2 \to \mathbb{R}^N$ \[ \int_{\mathbb{B}^2} |\nabla u|^2 \quad \mbox{subject to $u \in \mathbb{R}^N \backslash \mathbb{B}^N(0)$}. \] Our main result is $C^{1,α}$-regularity for any $α< 1$. Technically, we split the map $u=λv$, where $v: \mathbb{B}^2 \to \mathbb{S}^{N-1}$ is the vectorial component and $λ= |u|$ the scalar component measuring the distance to the origin. While $v$ satisfies a weighted harmonic map equation with weight $λ^2$, $λ$ solves the obstacle problem for \[ \int_{\mathbb{B}^2} |\nabla λ|^2+λ^2 |\nabla v|^2, \quad \mbox{subject to $λ\geq 1$}. \] where $|\nabla v|^2 \in L^1(\mathbb{B}^2)$. We then play ping-pong between the increases in the regularity of $λ$ and $v$ to obtain finally the $C^{1,α}$-result.