Uniqueness of tangent cones for biharmonic maps with isolated singularities (Q2420116)

Let $B$ be the unit ball in $\mathbb{R}^m$ ($m\geq 5$) and let $N$ be an analytic submanifold of $\mathbb{R}^p$. Consider minimizing biharmonic map $u: B\to N$ (i. e. $u\in W^{2,2}(B,\mathbb{R}^p)$ is a critical point of the energy functional $E$, such that for all $v\equiv u$ on some $B\setminus B_r(x)$ we have $E(v)\geq E(u)$). The authors prove that if $u$ is of finite energy and $0$ is a singularity of $u$, and one of the tangent maps of $u$ at 0 is of the form $\varphi(x/|x|)$ for smooth $\varphi: \partial B \to N$, then this tangent map is the unique tangent map at 0. The proof follows the framework of \textit{L. Simon}'s book [Theorems on regularity and singularity of energy minimizing maps. Based on lecture notes by Norbert Hungerbühler. Basel: Birkhäuser (1996; Zbl 0864.58015)]. In particular, versions of the $\varepsilon$-regularity lemma of Schoen and Uhlenbeck and the Lojasiewicz inequality are proved.