Regularity and relaxed problems of minimizing biharmonic maps into spheres

Abstract

For $n\ge 5$ and $k\ge 4$, we show that any minimizing biharmonic map from $Ω\subset R^n$ to $S^k$ is smooth off a closed set whose Hausdorff dimension is at most $n-5$. When $n=5$ and $k=4$, for a parameter $λ\in [0,1]$ we introduce a $λ$-relaxed energy $\H_λ$ for the Hessian energy for maps in $W^{2,2}(Ω,S^4)$ so that each minimizer $u_λ$ of $\H_λ$ is also a biharmonic map. We also estabilish the existence and partial regularity of a minimizer of $\H_λ$ for $λ\in [0,1)$.