Abstract
Generalising classical result of Müller and Šverák (J. Differ. Geom. 42(2), 229-258, 1995), we obtain a pointwise estimate of the conformal factor of sequences of conformal immersions from the unit disk of the complex plane of uniformly bounded total curvature and converging strongly outside of a concentration point towards a branched immersions for which the quantization of energy holds. We show that the multiplicity associated to the conformal parameter becomes eventually constant to an integer equal to the order of the branch point of the limiting branched immersion. Furthermore, we deduce a \(C^0\) convergence of the normal unit in the neck regions. Finally, we show that these improved energy quantizations hold for Willmore surfaces of uniformly bounded energy and precompact conformal class, and for Willmore spheres arising as solutions of min-max problems in the viscosity method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Sigma \) be a Riemann surface (not necessarily closed) and \(\vec {\Phi }:\Sigma \rightarrow {\mathbb {R}}^n\) be a smooth immersion. Denote by \(g=\vec {\Phi }^{*}g_{{\mathbb {R}}^n}\) the induced metric on \(\Sigma \). We say that \(\vec {\Phi }\) has finite total curvature if
where \(\vec {{\mathbb {I}}}\) is the second fundamental form of \(\vec {\Phi }\). In 1994, T. Toro proved the surprising result that assuming only that \(u\in W^{2,2}(\Sigma ,{\mathbb {R}})\), the graph \({\mathscr {S}}={\mathbb {R}}^3\cap \left\{ (x,y): y=u(x)\;\,\text {for some}\;\, x\in \Sigma \right\} \) admits a bi-Lipschitz parametrisation. The following year, Müller and Šverák extended this result and showed that immersed surfaces with finite total curvature are conformally equivalent to a punctured Riemann surface. Furthermore, they proved a pointwise estimate of the conformal parameter of immersions of finite total curvature at the ends. The result can be restated in terms of branched immersions of the disk, and this is the statement due to T. Rivière that we will now state ([29], Lemma A.5). Here, \(B_1(0)\subset {\mathbb {C}}\) is the open unit ball of the complex plane.
Theorem
(Müller and Šverák [23], Rivière [29]). Let \(n\ge 3\), and \(\vec {\Phi }\in W^{2,2}_{{\mathrm {loc}}}(B_1(0),{\mathbb {R}}^n)\cap W^{1,2}(B_1(0),{\mathbb {R}}^n)\) be a conformal immersion of \(B_1(0)\setminus \left\{ 0\right\} \) of finite total curvature and assume that
Then, \(\vec {\Phi }\) can be extended to a Lipschitz conformal immersion of \(B_1(0)\), and there exist a positive integer \(\theta _0\ge 1\) and \(C>0\) such that for all \(z\in B_1(0)\)
More precisely, there exists \(\mu \in W^{2,1}(B_1(0))\) (so that \(\mu \in C^0(B_1(0))\) in particular) and a harmonic function \(\nu : B_1(0)\setminus \left\{ 0\right\} \rightarrow {\mathbb {R}}\) such that
and
where \(h:B_1(0)\rightarrow {\mathbb {R}}\) is a harmonic function. In particular, we have for some constant \(C>0\) depending only on \(\vec {\Phi }\)
In the study of bubbling of sequences of Willmore immersions (or equivalently of the compactness of the moduli space), it is of great interest to understand the pointwise behaviour of degenerations of immersions of uniformly bounded Willmore energy, or equivalently finite total curvature and in the viscosity method (see [16] and [34]).
In the following theorem, we obtain a pointwise expansion of the conformal factor in the full neck region of an arbitrary sequence of immersions (not necessarily Willmore).
The following theorem shows that the multiplicity of weakly converging sequence of immersions becomes eventually constant to an integer. This is a significant improvement of the fundamental work of Müller and Šverák ([23]).
Theorem A
Let \(n\ge 3\) be a fixed integer. There exists a universal constant \(C_0(n)>0\) with the following property. Let \(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}}\) be a sequence of smooth conformal immersions from the disk \(B_1(0)\subset {\mathbb {C}}\) into \({\mathbb {R}}^n\) and \(\left\{ \rho _k\right\} _{k\in {\mathbb {N}}}\subset (0,1)\) be such that \(\rho _k\underset{k\rightarrow \infty }{\longrightarrow }0\), \(\Omega _k=B_1\setminus \overline{B}_{\rho _k}(0)\) and define for all \(0<\alpha <1\) the sub-domain \(\Omega _k(\alpha )=B_{\alpha }\setminus \overline{B}_{\alpha ^{-1}\rho _k}(0)\). For all \(k\in {\mathbb {N}}\), let
be the conformal factor of \(\vec {\Phi }_k\). Assume that
and that there exists a \(W^{2,2}_{{\mathrm {loc}}}(B_1(0)\setminus \left\{ 0\right\} )\cap C^{\infty }(B_1(0)\setminus \left\{ 0\right\} )\) immersion \(\vec {\Phi }_{\infty }\) such that
and \(\vec {\Phi }_k\underset{k\rightarrow \infty }{\longrightarrow }\vec {\Phi }_{\infty }\) in \(C^l_{{\mathrm {loc}}}(B_1(0)\setminus \left\{ 0\right\} )\) (for all \(l\in {\mathbb {N}}\)). Then, there exists an integer \(\theta _0\ge 1\), \(\mu _k\in W^{1,(2,1)}(B_1(0))\) such that
and a harmonic function \(\nu _k\) on \(\Omega _k\) such that \(\nu _k=\lambda _k\) on \(\partial B_1(0)\), \(\lambda _k=\mu _k+\nu _k\) on \(\Omega _k\) and such that for all \(0<\alpha <1\) and for all \(k\in {\mathbb {N}}\) sufficiently large, we have
Finally, we have for all \(\rho _k\le r_k\le 1\) and k large enough
In particular, there exists a constant \(C>0\) independent of \(k\in {\mathbb {N}}\) such that for all \(k\in {\mathbb {N}}\), and for all \(z\in \Omega _k(1)=B_1\setminus \overline{B}_{\rho _k}(0)\)
Remark
Theorem A corresponds to Theorem 3.1.
This theorem has also been obtained recently by Nicolas Marque in the case of minimal simple bubbling ([17]). It constitutes a fundamental ingredient to show that in this special case, there is an obstruction to the singularity of the limiting Willmore immersion at branch points (it is stated using the second residue, see [1]). As such, this result may be seen as a technical result aimed at providing new applications to the loss compactness of Willmore immersions and in particular an extension of Marque’s main result to arbitrary codimension. This result also constitutes an improvement of Lemma V.3 of Bernard and Rivière ([2]) since it identifies the multiplicity \(d_k\) corresponding to \(\vec {\Phi }_k\) to be the integer \(\theta _0-1\ge 0\) eventually (i.e. for \(k\in {\mathbb {N}}\) large enough), which also restricts the possibilities of bubbling of Willmore surfaces. If the limiting branched immersions have a branch point of order, then the bubble that appears at this point must have a branch point of the same order. Since the result also applies to the viscosity method, we expect that it should help shedding some light on the problem to determining the Morse index of branched Willmore spheres realising the min-max sphere eversion (see [18,19,20,21, 34]).
More generally, an \(L^{2,1}\) quantization of the energy permits to obtain a pointwise expansion of the conformal parameter by constructing—using by Hélein’s methods ([11]) and their extension to Willmore immersions by T. Rivière ([2, 28])—a controlled \(L^{2,1}\) Coulomb frame.
Theorem B
Under the conditions of Theorem A, assume furthermore that the following strong \(L^{2,1}\) no-neck energy holds
Then, there exists \(\alpha _0>0\) such that for all \(k\in {\mathbb {N}}\) large enough, there exists a moving frame \((\vec {f}_{k,1},\vec {f}_{k,2})\in W^{1,(2,1)}(B_{\alpha _0}(0))\times W^{1,(2,1)}(B_{\alpha _0}(0))\) and a universal constant \(C_{1}(n)\) (independent of k) such that
Furthermore, there exists a sequence of functions \(\mu _k\in W^{2,1}(B_{\alpha _0}(0))\) and a universal constant \(C_{2}(n)\) such that
and there exists a sequence of holomorphic functions \(\psi _k:B_{\alpha _0}(0)\rightarrow {\mathbb {C}}\) and \(\chi _k:B_{\alpha _0}(0)\rightarrow {\mathbb {C}}\) such that \(\chi _k(0)=0\), \(c\in {\mathbb {C}}\) and \(\left\{ c_k\right\} _{k\in {\mathbb {N}}}\subset {\mathbb {C}}\) such that \(c_k\underset{k\rightarrow \infty }{\longrightarrow }c\) and
and
Finally, there exists \(\vec {A}_0\in {\mathbb {C}}^n\) (satisfying \(\langle \vec {A}_0,\vec {A}_0\rangle =0\)) and \(\{\vec {A}_{k,0}\}_{k\in {\mathbb {N}}}\in {\mathbb {C}}^n\) such that \(\vec {A}_{k,0}\underset{k\rightarrow \infty }{\longrightarrow }\vec {A}_0\) and for all \(z\in \Omega _k(\alpha _0)\), we have the pointwise identities
Remark
Theorem B corresponds to Theorem 3.5 below.
These two theorems have analogues in the case of multiple bubbles but we will not state them here for the sake of simplicity of presentation.
We also prove that this stronger quantization property holds for sequences of Willmore immersions of uniformly bounded Willmore energy and for Willmore spheres arising in min-max constructions in the viscosity method.
Theorem C
Let \(\Sigma \) be a closed Riemann surface and assume that \(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}}\) is a sequence of smooth Willmore immersions such that
Assume furthermore that the conformal class of \(\{\vec {\Phi }_k^{*}g_{{\mathbb {R}}^n}\}_{k\in {\mathbb {N}}}\) lies in a compact subset of the moduli space. Then, for all \(0<\alpha <1\), let \(\Omega _k(\alpha )=B_{\alpha R_k}\setminus \overline{B}_{\alpha ^{-1}r_k}(0)\) be a neck domain and \(\theta _0\in {\mathbb {N}}\) such that (by Theorem 3.1)
and define
Then, there exist a universal constant \(C_{3}=C_{3}(n)\), and \(\alpha _0=\alpha _0(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}})>0\) such that for all \(0<\alpha <\alpha _0\) and \(k\in {\mathbb {N}}\) large enough,
In particular, we deduce by the \(L^{2,1}\) no-neck energy
Remark
Theorem C corresponds to Theorem 4.1 below.
A similar result was proved by Lamm and Sharp ([12]) in the case of conformally invariant problems and in the more general setting introduced by Rivière ([27]) of elliptic systems with antisymmetric potentials, and by Changyou Wang in the case of harmonic maps ([36]).
Finally, we show that this hypothesis is indeed satisfied for sequences of Willmore immersions of precompact conformal class or in the viscosity method for spheres. The proof of such a result builds on the previous work of Rivière ([28, 29]), Bernard and Rivière ([1, 2]) and Laurain and Rivière ([13,14,15]) and on the general philosophy of integration by compensation and geometric analysis on surfaces (including [4, 11, 23, 35]). We refer to Theorems4.1 and 6.2 for the precise (and somewhat technical) statement.
Corollary 1.4
Let \(\Sigma \) be a closed Riemann surface and assume that \(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}}\) is a sequence of Willmore immersions from \(\Sigma \) into \({\mathbb {R}}^n\) such that
Assume furthermore that the conformal class of \(\{\vec {\Phi }_k^{*}g_{{\mathbb {R}}^n}\}_{k\in {\mathbb {N}}}\) lies in a compact subset of the moduli space. Then, there exists \(\left\{ a_1,\cdots ,a_m\right\} \subset \Sigma \), sequences \(\{x_{k}^{i,j}\}_{k\in {\mathbb {N}}}\), \(1\le i\le n\), \(1\le j\le m_i\) such that \(x_{k}^{i,j}\underset{k\rightarrow \infty }{\longrightarrow }a_i\) for all i, j and branched Willmore immersions \(\vec {\Phi }_{\infty }:\Sigma \rightarrow {\mathbb {R}}^n\), \(\vec {\Phi }_{\infty }^{i,j}:S^2={\mathbb {C}}\cup \left\{ \infty \right\} \rightarrow {\mathbb {R}}^n\) and \(\{\rho _k^{i,j}\}_{k\in {\mathbb {N}}}\subset (0,\infty )\) with \(\rho _{k}^{i,j}\underset{k\rightarrow \infty }{\longrightarrow }0\) and for all \(1\le i\le m\) and \(1\le j\ne j'\le m\),
such that
In particular, we have
The proof of Corollary is found at the end of Sect. 4.
Remark
-
(1)
The writing of (1.6) and (1.7), classical in concentration compactness theory, makes use of implicit cutoff functions (see [36]).
-
(2)
This result is optimal in the \(C^{l,\beta }\) topology since the \(C^{0,\beta }\) norm for \(\beta >0\) is not scaling invariant. For another \(C^0\) theory for the blow-up of elliptic equations of order 2, see [12, 24, 36].
More precisely, the \(C^0\) energy quantization permits to link the values of the normal of the limiting immersion of the one of bubbles. Let us state the result in the case of a single bubble for simplicity.
Corollary 1.5
Let \(\Sigma \) be a closed Riemann surface and assume that \(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}}\) is a sequence of Willmore immersions from \(\Sigma \) in \({\mathbb {R}}^n\) such that
Assume furthermore that the conformal class of \(\{\vec {\Phi }_k^{*}g_{{\mathbb {R}}^n}\}_{k\in {\mathbb {N}}}\) lies in a compact subset of the moduli space. Following [2], let \(\vec {\Phi }_{\infty }:\Sigma \rightarrow {\mathbb {R}}^n\) be such that for some finite collection \(\left\{ a_1,\cdots ,a_m\right\} \subset \Sigma \), we have
Let \(1\le i\le n\) and assume that a single bubble \(\vec {\Psi }_{\infty }^i:S^2\rightarrow {\mathbb {R}}^n\) forms at \(a_i\). Then, we have
In the case of bubbles over bubbles, normals at junctions coincide with the value of the normal at \(N=\infty \in S^2\) of the bubble. The proof is exactly the same.
2 Uniform Control of the Conformal Factor in Necks
For the definitions related to Lorentz spaces, we refer the reader to the Appendix (Sect. 7.1).
In this section, we obtain a refinement of Lemma V.3 of [2].
Theorem 2.1
There exists a positive real numbers \(\varepsilon _1=\varepsilon _1(n)>0\) and \(\Gamma _0(n)>0\) with the following property. Let \(0<2^6r<R<\infty \) be fixed radii and \(\vec {\Phi }:\Omega =B_R\setminus \overline{B}_r(0)\rightarrow {\mathbb {R}}^n\) be a weak immersion of finite total curvature such that
Fix some \(\left( \dfrac{r}{R}\right) ^{\frac{1}{3}}<\alpha <1\), and define \(\Omega _{\alpha }=B_{\alpha R} \setminus \overline{B}_{\alpha ^{-1}r}(0)\). Then, we have
and for all \(r\le \rho <R\), we have
In particular, there exists a universal constant \(\Gamma _0'=\Gamma _0'(n)\) and \(A_{\alpha }\in {\mathbb {R}}\) such that
The proof relies on the strategy developed in [2] (and the lemmas from [13, 15] for the Lemmas 2.2 and 2.3) and the following two lemmas, which will allow us to move from a \(L^{2,\infty }\) bound to a \(L^{2,1}\) bound in a quantitative way.
Lemma 2.2
Let \(u:B_R\setminus \overline{B}_r(0)\rightarrow {\mathbb {R}}\) be a harmonic function such that for some \(\rho _0\in (r,R)\)
Then, there exists a universal constant \(\Gamma _1>0\) (independent of \(0<4r<R<\infty \)) such that for all \(\left( \dfrac{r}{R}\right) ^{\frac{1}{2}}<\alpha <\dfrac{1}{2}\), we have
Proof
First, we show that for all \(\alpha ^{-1}r\le \rho \le \alpha R\), and for all \(0<\alpha <\dfrac{1}{2}\), we have
By a slight abuse of notation, we will write r instead of \(\rho \) in the following estimates.
As \(0<\alpha <\dfrac{1}{2}\), we have for all \(x\in \partial B_r(0)\), the inclusion \(B_{(1-\alpha )r}(x)\subset B_{\alpha ^{-1}r}\setminus \overline{B}_{\alpha r}(0)\). Therefore, thanks to the mean value property, we have for all \(0<\beta <(1-\alpha )r\)
Now, thanks to the co-area formula, we have \(\Big (\)if \(I_{\alpha }(r)=\left( \frac{(1-\alpha )}{2}r,(1-\alpha )r\right) \) \(\Big )\)
Therefore, there exists \(\beta \in \left( \frac{(1-\alpha )r}{2},(1-\alpha )r\right) \) (notice that this shows that the limiting values \(\rho =\alpha ^{-1}r\) and \(\rho =\alpha R\) are admissible) such that
or
Now, notice that
Furthermore, as \(\beta >\dfrac{(1-\alpha )r}{2}\), we have
Therefore, we have by the mean value property (2.6), the inequalities (2.7), (2.8), (2.9) and the duality \(L^{2,1}/L^{2,\infty }\)
As \(x\in \partial B_{r}(0)\) was arbitrary, this proves the inequality (2.5). Now, as u is harmonic, there exists \(\left\{ a_n\right\} _{n\in {\mathbb {Z}}}\subset {\mathbb {C}}\) such that
which implies by the hypothesis that
so that for all \(r<\rho <R\)
Therefore, integrating by parts, we find
where is the average of u on \(\rho \), for all \(r<\rho <R\).
Now, if \(\Gamma _2=\Gamma _2(H^{\frac{1}{2}}(S^1),L^1(S^1))\) is the constant of the injection \(H^{\frac{1}{2}}(S^1)\hookrightarrow L^1(S^1)\) (for the norm defined by the \(L^2\) norm of the harmonic extension), we get by (2.5) for all \(r<\rho <R\)
which implies by (2.11) that
and this concludes the proof of the Lemma. \(\square \)
In the following Lemma, we obtain a slight improvement from [15] and generalise it to a \(W^{2,1}\) estimate, that will be used in the proof of Theorem 4.1.
Lemma 2.3
Let \(0<4r<R<\infty \) be fixed radii, and \(u:\Omega =B_R\setminus \overline{B}_r(0)\rightarrow {\mathbb {R}}\) be a harmonic function such that for some \(\rho _0\in (r,R)\)
Then for all \(\left( \dfrac{r}{R}\right) ^{\frac{1}{2}}<\alpha <1\), we have
Proof
As u is harmonic on \(B_R\setminus \overline{B}_r(0)\), there exists \(\left\{ a_n\right\} _{n\in {\mathbb {Z}}}\subset {\mathbb {C}}\) and \(d\in {\mathbb {R}}\) such that
Thanks to (2.10), we deduce that \(d=0\). Furthermore, taking polar coordinates \(z=\rho e^{i\theta }\), we have the identity
This implies by the inequality \(0<4r<R<\infty \) that
First \(L^{2,1}\) estimate. Now, we have
while for all \(m\ge 1\),
Likewise, for all \(m\ge 2\)
By (2.12), we have
and the following estimates by Cauchy–Schwarz inequality
Combining (2.13) and (2.14) yields
which concludes the proof of the first part of the Lemma.
Second \(W^{1,1}\) estimate. As \(\Delta u=0\), we have \(|\nabla ^2 u|=4|\partial _{z}^2u|\), and
Now, for all \(m\in {\mathbb {Z}}\setminus \left\{ -2\right\} \), we have
In particular, we have by the triangle inequality and Cauchy–Schwarz inequality
Now, notice that
Recalling from (2.3) that
we deduce that
which concludes the proof as \(|\nabla ^2u|=4|\partial _{z}^2u|\). \(\square \)
Remark 2.4
Notice that \( \left\| \nabla \log |z|\right\| _{{\mathrm {L}}^{2}(B_R\setminus \overline{B}_r(0))}=\sqrt{2\pi }\sqrt{\log \left( \dfrac{R}{r}\right) } \) while
In particular, for all fixed \(0<\alpha <1\), if \(\left\{ R_k\right\} _{k\in {\mathbb {N}}},\left\{ r_k\right\} _{k\in {\mathbb {N}}}\subset (0,\infty )\) are sequences chosen such that \(\dfrac{R_k}{r_k}\underset{k\rightarrow \infty }{\longrightarrow } \infty \), we have
If the assumption \(4r<R\) does not hold, observe that we get the estimate
Proposition 2.5
Let \(0<2^6r<R<\infty \) be fixed radii, and \(u:\Omega =B_R\setminus \overline{B}_r(0)\rightarrow {\mathbb {R}}\) be a harmonic function such that for some \(\rho _0\in (r,R)\)
Then, for all \(\left( \dfrac{r}{R}\right) ^{\frac{1}{3}}<\alpha <\dfrac{1}{4}\),
where \(\Gamma _1\) is given in Lemma 2.2.
Proof
Let \(\beta =\sqrt{\alpha }\). Then, by Lemma 2.3, we have
Furthermore, by Lemma 2.3, we have
Therefore, as \(\beta =\sqrt{\alpha }<1/2\), we find
which concludes the proof of the corollary. \(\square \)
We will also need a quantitative estimate of the Lorentz–Sobolev embedding \(W^{1,(2,1)}(\Omega )\rightarrow C^0(\Omega )\).
Lemma 2.6
Let \(n\ge 2\), \(\Omega \subset {\mathbb {R}}^n\) be a bounded connected open set and \(u\in W^{1,(n,1)}(\Omega )\). Then, \(u\in C^0(\Omega )\) and for all \(x,y\in \Omega \) such that \(B_{2|x-y|}(x)\cup B_{2|x-y|}(y)\subset \Omega \), we have
Furthermore, if \(\Omega \) is a bounded Lipschitz open subset of \({\mathbb {R}}^n\), then there exists a constant \(C_{4}=C_{4}(\Omega )\) such that
where is the mean of u.
Remarks on the proof
The proof proceeds in a fairly standard way, using an estimate on averages, the \(L^{n,1}/L^{\frac{n}{n-1},\infty }\) duality and Lebesgue differentiation theorem on \({\mathbb {R}}^n\). The extension to the case of domains is easily given by extension operators and interpolation theory to obtain a continue linear extension operator \(W^{1,(n,1)}(\Omega )\rightarrow W^{1,(n,1)}({\mathbb {R}}^n)\) (using the Stein-Weiss interpolation theorem).
Proof
Let \(x\in \Omega \) and \(d={\mathrm {dist}}(x,\partial \Omega )>0\). For all \(0<r<d\), let
![](http://media.springernature.com/lw301/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ571_HTML.png)
Then, for all \(0<r<d\), we have
so that
![](http://media.springernature.com/lw464/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ25_HTML.png)
Therefore, we have by Fubini theorem and the duality \(L^{n,1}/L^{\frac{n}{n-1},\infty }\) (see the estimate (7.8)) for all \(0<t\le d\)
as for all \(x\in {\mathbb {R}}^n\)
Therefore, by the Sobolev embedding \(W^{1,1}({\mathbb {R}})\subset C^0({\mathbb {R}})\), the function \((0,d]\rightarrow {\mathbb {R}}, r\mapsto u_{x,r}\) is continuous, and for all \(0<s<t\le d\), we have
Let \(\left\{ r_n\right\} _{n\in {\mathbb {N}}}\subset (0,\infty )\) such that \(r_n\underset{n\rightarrow \infty }{\longrightarrow }0\). Then (2.19) implies that
which implies that \(\left\{ u_{x,r_n}\right\} _{n\in {\mathbb {N}}}\) is a Cauchy sequence. Now, recall that by the Lebesgue differentiation theorem, for \({\mathscr {L}}^n\) almost all \(x\in \Omega \), we have
Therefore, for \({\mathscr {L}}^n\) almost all \(x\in \Omega \) and for all \(0<r<\text {d}(x)={\mathrm {dist}}(x,\partial \Omega )\), we have
To prove that u is continuous, let \(x,y\in \Omega \) such that (2.20) holds for x and y (the proof is an adaptation of the Hölder continuous embedding of Campanato spaces of the right indices). Furthermore, without loss of generality, we can assume that \(x\ne y\), and \(2|x-y|<\max \left\{ \text {d}(x),\text {d}(y)\right\} \), so that
Therefore, if \(r=|x-y|\), we have
so we need only estimate \(|u_{x,r}-u_{y,r}|\), as
We have
Furthermore, for all \(t\in [0,1]\) and \((z_1,z_2)\in B_r(x)\times B_r(y)\), we have \(z_2+t(z_1-z_2)\in B_{2r}(x)\) and \(|z_1-z_2|\le 2r\). Therefore, Fubini’s theorem implies that (by (7.8))
Therefore, by (2.22) and (2.23), we find
Furthermore, as the argument is symmetric in x and y notice that
Finally, thanks to (2.21) and (2.24), we get
which implies that u is continuous, with modulus of continuity at x
Now, for the \(L^{\infty }\) bound, first consider the case \(\Omega ={\mathbb {R}}^n\), and let \(G:{\mathbb {R}}^n\times {\mathbb {R}}^n\rightarrow {\mathbb {R}}\cup \left\{ \infty \right\} \) be the Green’s function of the Laplacian on \({\mathbb {R}}^n\). Then
and we have for all \(x\in {\mathbb {R}}^n\)
and (2.18) implies that
Now, (thanks to [3] IX.7) there exists a linear extension operator
such that for \(1\le p<\infty \) the restriction \(P|W^{1,p}(\Omega )\rightarrow W^{1,p}({\mathbb {R}}^n)\) be a continuous linear operator. Then by identifying \(W^{1,p}(\Omega )\) with a closed subset of \(L^p({\mathbb {R}}^n)^{n+1}\), the Stein-Weiss interpolation theorem implies that for all P extends as a continuous linear operator \(W^{1,(n,1)}(\Omega )\) into \(W^{1,(n,1)}({\mathbb {R}}^n)\), as the Sobolev embedding \(L^n(\Omega )\hookrightarrow L^q(\Omega )\) for all \(1\le q<\infty \) shows that \(\nabla u\in L^{n,1}(\Omega )\) implies that \(u\in L^{n,1}(\Omega )\). Therefore, by (2.26), for all \(u\in W^{1,(n,1)}(\Omega )\), we have
where we have used in the last line the embedding \(W^{1,n}(\Omega )\hookrightarrow L^{n,1}(\Omega )\).
Now, (2.27) implies by the classical Poincaré-Wirtinger inequality and the continuous embedding \(L^{n,1}(\Omega )\hookrightarrow L^n(\Omega )\)
and this concludes the proof of the Lemma. \(\square \)
Now, we will need to refine the \(L^{\infty }\) bound to obtain an estimate independent of the conformal class (bounded away from \(-\infty \)) of flat annuli in \({\mathbb {R}}^n\).
Proposition 2.7
Let \(0<2r<R<\infty \) and \(\Omega =B_R\setminus \overline{B}_r(0)\subset {\mathbb {R}}^n\). Then, there exists a universal constant \(\Gamma _4=\Gamma _4(n)\) such that for all \(u\in W^{1,(n,1)}(\Omega )\), we have
Remarks on the proof
By scaling invariance of the inequality of Lemma 2.6, the constant \(C_{4}(\Omega (r))\) inequality (2.16) for annuli \(\Omega (r)=B_{2r}\setminus \overline{B}_r(0)\) is independent of \(0<r<\infty \), which allows one to introduce a dyadic decomposition of the annulus \(\Omega =B_{R}\setminus \overline{B}_{r}(0)\) since the conformal class \(\log \left( \frac{R}{r}\right) \ge \log (2)\) is bounded from below. Using once more the \(L^{n,1}/L^{\frac{n}{n-1},\infty }\) duality and Fubini’s theorem, we deduce that the various averages can be controlled by the \(L^{n,1}\) norm of \(\nabla u\) which finally permits after a suitable decomposition to obtain the inequality (2.28).
Proof
First, observe that the \(L^{\infty }\) norm and the (n, 1) norm of the gradient \(\left\| \nabla \,\cdot \,\right\| _{{\mathrm {L}}^{n,1}(\Omega )}\) are scaling invariant (see (2.40) for the case \(n=2\)). Therefore, the constant \(C_{4}(\Omega )\) in Theorem 2.1 is scaling invariant. In particular, there exists a universal constant \(C_{4}'(n)=C_{4}(B_{2}\setminus B_1(0))\) such that for all \(0<r<\infty \) and \(u\in W^{1,(n,1)}(B_{2r}\setminus \overline{B}_r(0))\), we have
Now, as \(2r<R\) let \(J\in {\mathbb {N}}\) such that
Then, we have
For the convenience of notation, let us write \(\Omega _j=B_{2^{j+1}r}\setminus \overline{B}_{2^{j}r}\) for all \(0\le j\le J-1\). Thanks to (2.29) for all \(0\le j\le J\), we have
![](http://media.springernature.com/lw429/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ38_HTML.png)
Now define for all \(r<t<R\)
![](http://media.springernature.com/lw148/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ572_HTML.png)
For all \(r<t<R\), thanks to a similar argument as given in (2.17), we have
![](http://media.springernature.com/lw179/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ573_HTML.png)
Furthermore, if \(r\le r_1<R\) is a fixed radius, thanks to the co-area formula, we have for \({\mathscr {L}}^1\) almost all \(t\in (r_1,R)\)
Therefore, we have
Furthermore, observe that
while by Fubini’s theorem
Finally, we get by (2.31), (2.32), (2.33), (2.34) and (2.18)
Therefore, we have for all \(r\le r_1<r_2\le R\)
Furthermore, recalling that \(\beta (n)={\mathscr {H}}^{n-1}(S^{n-1})=n\alpha (n)\), we obtain for all \(r\le s<t\le R\), thanks to (2.35) that
![](http://media.springernature.com/lw582/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ574_HTML.png)
and the reverse inequality (given by (2.35))
shows that for all \(r\le s<t\le R\)
![](http://media.springernature.com/lw432/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ575_HTML.png)
Therefore, by the triangle inequality, we finally obtain that for all \(0\le j\le J-1\),
![](http://media.springernature.com/lw607/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ44_HTML.png)
and likewise,
Finally, thanks to (2.30), (2.36) and (2.37), we have
and this concludes the proof of the Proposition. \(\square \)
We now come back to the proof of Theorem 2.1.
Remarks on the proof
The proof closely follows the one of [2], using the \(L^{2,1}\) estimate in lieu of the \(L^2\) one, using the previous Lemma (2.5) to prove the inequality (2.2), and Proposition 2.7 for the inequality (2.3).
Proof of Theorem 2.1
Thanks to Lemma IV.1 [2], there exists a universal constant \(\Gamma _6=\Gamma _6(n)>0\) and an extension \({\widetilde{\vec {n}}}:B_R(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) of \(\vec {n}\) such that
Therefore, by Lemma IV.3 of [2], there exists a universal constant \(\Gamma _7=\Gamma _7(n)\) and a moving Coulomb frame \((\vec {e}_1,\vec {e}_2)\in W^{1,2}(B_R(0),S^{n-1})\times W^{1,2}(B_R(0),S^{n-1})\) such that
Furthermore, notice that for all \(u\in W^{1,{(2,1)}}_{{\mathrm {loc}}}({\mathbb {R}}^2)\), and for all \(\rho >0\), we have
where \(\varphi _{\rho }(y)=\rho y\). Now, if \(\mu :B_R(0)\rightarrow {\mathbb {R}}\) is the unique solution of the system
then \({\widetilde{\mu }}=\mu \circ \varphi _R\) solves (with evident notations)
Therefore, the improved Wente inequality ([11], 3.4.1) shows that there exists a universal constant \(\Gamma _8>0\) such that
Furthermore, notice that we also have the optimal inequality
Now, let \(\upsilon =\lambda -\mu \) on \(\Omega =B_R\setminus \overline{B}_r(0)\). Then, \(\upsilon \) is harmonic on \(\Omega \) and \(\upsilon =\lambda \) on \(\partial B_R(0)\). Then, as \(\upsilon \) is harmonic, there exists \(d\in {\mathbb {R}}\) and \(\left\{ a_k\right\} _{k\in {\mathbb {Z}}}\subset {\mathbb {C}}\) such that
Now, noticing that for all \(r<\rho <R\)
this implies that \(\upsilon -d\log |z|\) satisfies the hypothesis of Proposition 2.5. Therefore, using the identity \(\upsilon =\lambda -\mu \), the inequalities (2.43) and \(\left\| \,\cdot \,\right\| _{{\mathrm {L}}^{2,\infty }(\,\cdot \,)}\le 2\left\| \,\cdot \,\right\| _{{\mathrm {L}}^{2}(\,\cdot \,)}\), we have for all \(\left( \dfrac{r}{R}\right) ^{\frac{1}{3}}<\alpha <\dfrac{1}{4}\)
Furthermore, notice that by the co-area formula, for all \(s\in (r,R)\) such that \(2s<R\), we have
Therefore, there exists \(\rho \in (s,2s)\) such that
This implies by (2.44) that
As \(\left\| \nabla \log |z|\right\| _{{\mathrm {L}}^{2,\infty }(\Omega )}= 2\sqrt{\pi }\), by (2.45) and (2.46) there exists a universal constant \(\Gamma _9=\Gamma _9(n)\) such that
Finally, putting together (2.42), (2.47) and recalling that \(\lambda =\mu +\upsilon \), we have for all \(\left( \dfrac{r}{R}\right) ^{\frac{1}{4}}\le \alpha <\dfrac{1}{4}\)
Now, we estimate for \(r\le \rho < R\) the following quantity
We have, recalling that \(\mu \) is well defined on \(B_R(0)\) and satisfies (2.41), we find
First, the previous estimate (2.42) yields
Now, using once more Lemma IV.3 of [2], we see that exists a Coulomb moving frame \((\vec {f_1},\vec {f}_2)\in W^{1,2}(B_{\rho }(0),S^{n-1})\times W^{1,2}(B_{\rho }(0),S^{n-1})\) such that
and using the same inequalities as in (2.38) and (2.39)
Now, let \(\psi \) be the solution of
As in (2.51), we get
Furthermore, we have
while by the Cauchy–Schwarz inequality
We estimate as previously by (2.52)
Therefore, (2.53), (2.54) and (2.55) yield
Finally, by (2.49), (2.50) and (2.56), we obtain for some universal constant \(\Gamma _0=\Gamma _0(n)\)
which completes the proof of the theorem, up to the \(L^{\infty }\) estimate which is a direct consequence of the inequality \(4r<R\) and of Proposition 2.7. \(\square \)
3 Pointwise Expansion of the Conformal Factor and of the Immersion
3.1 Case of One Bubbling Domain
In the next Theorem, we obtain an integrality result for the multiplicity of a sequence of weak immersions from annuli converging strongly outside of the origin.
Theorem 3.1
Let \(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}}\) be a sequence of smooth conformal immersions from the disk \(B_1(0)\subset {\mathbb {C}}\) into \({\mathbb {R}}^n\), let
be the conformal factor of \(\vec {\Phi }_k\), and \(\left\{ \rho _k\right\} _{k\in {\mathbb {N}}}\subset (0,1)\) be such that \(\rho _k\underset{k\rightarrow \infty }{\longrightarrow }0\), \(\Omega _k=B_1\setminus \overline{B}_{\rho _k}(0)\) and assume that
where \(\varepsilon _1(n)\) is given by the proof of Theorem 2.1. Define for all \(0<\alpha <1\) and \(k\in {\mathbb {N}}\) large enough \(\Omega _k(\alpha )=B_{\alpha }\setminus \overline{B}_{\alpha ^{-1}\rho _k}(0)\), and assume that
and that there exists a \(W^{2,2}_{{\mathrm {loc}}}(B_1(0)\setminus \left\{ 0\right\} )\cap C^{\infty }(B_1(0)\setminus \left\{ 0\right\} )\) immersion \(\vec {\Phi }_{\infty }\) such that
and \(\vec {\Phi }_k\underset{k\rightarrow \infty }{\longrightarrow }\vec {\Phi }_{\infty }\) in \(C^l_{{\mathrm {loc}}}(B_1(0)\setminus \left\{ 0\right\} )\) (for all \(l\in {\mathbb {N}}\)). Then, there exists an integer \(\theta _0\ge 1\), \(\mu _k\in W^{1,(2,1)}(B_1(0))\) such that
and a harmonic function \(\nu _k\) on \(\Omega _k\) such that \(\nu _k=\lambda _k\) on \(\partial B_1(0)\), \(\lambda _k=\mu _k+\nu _k\) on \(\Omega _k\) and such that for all \(0<\alpha <1\) and such that for all \(k\in {\mathbb {N}}\) sufficiently large
for some universal constant \(\Gamma _{10}=\Gamma _{10}(n)\). Furthermore, we have for all \(\rho _k\le r_k\le 1\) and k large enough
Remarks on the proof
In Step 1, we first use the classical fact that branch points of Willmore surfaces are positive integers, Theorem 2.1 and the strong convergence outside of 0 to show that the multiplicity \(d_k\) converges towards a non-negative integer.
In Step 2, as in [29] (see Lemma A.2, A.3 and A.5), we construct a moving frame that allows us to obtain a precise expansion of \(\partial _{z}\vec {\Phi }_k\) in the annular region and show how the existence of a holomorphic function implies in virtue of the first step that for k large enough, the multiplicity must be an integer.
Proof
First, applying Lemma A.5 of [29], we deduce that there exists an integer \(\theta _0\ge 1\) and \(\vec {A}_0\in {\mathbb {C}}^{n}\setminus \left\{ 0\right\} \) such that
Step 1: Asymptotic Integrality
First, define \(\Omega _k(\alpha )=B_{\alpha }\setminus \overline{B}_{\alpha ^{-1}\rho _k}(0)\) and recall that by Theorem 2.1, we have (applying the inequality on \(\Omega _{\alpha }\)) for all \(\alpha ^{-1} \rho _k<\rho <\alpha \)
Now, taking \(\rho =\alpha ^2\), we get
Therefore, the no-neck energy (see [2])
implies that
Furthermore, as \(\vec {\Phi }_{\infty }\) has a branch point of order \(\theta _0-1\ge 0\) at \(z=0\), we have the expansion for some \(\beta \in {\mathbb {R}}\)
we have by the strong convergence
Finally, this implies that
Now, recalling that \(d_k\) is independent of \(\alpha >0\) (as it corresponds to the coefficient in front of the logarithm of the associated harmonic function \(\nu _k\) on \(B_1\setminus \overline{B}_{\alpha ^{-1}\rho _k}(0)\)), we deduce that (3.2) implies that
Step 2: Moving Frames and Integrality
As in the proof of the forthcoming Theorem 2.1, we introduce an extension of \(\widetilde{\vec {n}_k}:B_1(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) of \(\vec {n}_k:\Omega _k=B_1\setminus \overline{B}_{\rho _k}(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) such that
Therefore, by Lemma IV.3 of [2], there exists a constant \(\Gamma _7(n)\) and a Coulomb moving frame \((\vec {f}_{k,1},\vec {f}_{k,2})\in W^{1,2}(B_1(0),S^{n-1})\times W^{1,2}(B_1(0),S^{n-1})\) of \(\widetilde{\vec {n}_k}\) such that
Now, define for all \(j=1,2\) \(\vec {e}_{k,j}=e^{-\lambda _k}\partial _{x_j}\vec {\Phi }_k\). As \(\vec {\Phi }_k\) is conformal, \((\vec {e}_{k,1},\vec {e}_{k,2})\) is a Coulomb frame of \(\vec {n}_k\) on \(\Omega _k\). Furthermore, as \(\widetilde{\vec {n}_k}=\vec {n}_k\) on \(\Omega _k\), both \((\vec {f}_{k,1},\vec {f}_{k,2})\) and \((\vec {e}_{k,1},\vec {e}_{k,2})\) are Coulomb frames of \(\vec {n}_k\) on \(\Omega _k\), so there exists a rotation \(e^{i\theta _k}\) such that
Now, we let \(f_{k,1},f_{k,2}\) be the vector fields such that
Then observe as \(\vec {\Phi }_k\) is conformal that
so we have
Likewise, if \((f_{k,1}^{*},f_{k,j}^{*})\) is the dual framing, we deduce that
Now, let \(\mu _k\) be the unique solution of
Furthermore, introduce the notation \(\nu _k=\lambda _k-\mu _k\). Then, \(\nu _k\) is harmonic, and by Step 1, we have
As \(\vec {f}_{k,1}\cdot \partial _{\nu }\vec {f}_{k,2}=0\) on \(\partial B_1(0)\), we also have
Then, we compute with \({\mathbb {Z}}_2\) indices for all \(j\in \left\{ 1,2\right\} \)
Likewise, as in [29], we compute
Therefore, we have
In particular, by Stokes theorem, we have for all \(\rho _k\le r_1<r_2\le 1\)
Therefore, we introduce the constants \(c_j\in {\mathbb {R}}\) defined for all \(\rho _k\le \rho \le 1\) by
Now, introduce the complex valued 1-forms
so that
Notice also that
Furthermore, if
then for all smooth function \(\varphi :\Omega _k\rightarrow {\mathbb {C}}\), we have
Now, we introduce the differential form \(\alpha \in \Omega ^1({\mathbb {R}}^2\setminus \left\{ 0\right\} )\)
In particular, notice that
As \(\log \) is harmonic on \({\mathbb {R}}^2\setminus \left\{ 0\right\} \), the differential form \(\alpha \) is closed on \(\Omega _k\) and we deduce that the 1-form
is also closed. Furthermore, as
we deduce by Poincaré lemma that there exists \((\sigma _{k,1},\sigma _{k,2})\in W^{1,2}(\Omega _k,{\mathbb {R}}^2)\) such that
Therefore, we deduce if \(c_k=c_{k,1}+ic_{k,2}\) and \(\sigma _k=\sigma _{k,1}+i\sigma _{k,2}\) that
This implies by (3.10) that
Therefore, the function
is holomorphic. Now, let \(\left( \frac{\partial }{\partial \tau _{k,1}},\frac{\partial }{\partial \tau _{k,2}}\right) \) be the dual basis of \((\tau _{k,1},\tau _{k,2})\), where \(\tau _k=\tau _{k,1}+i\tau _{k,2}\). Then, we define
and we notice that (3.11) implies that
Therefore, we deduce that
This implies that
Now, defining
we compute thanks to (3.6) and (3.13)
Therefore, we deduce that
Now, recall by (3.5) that there exists a rotation \(e^{i\theta _k}\) (beware that the function \(\theta _k\) is multi-valued) such that
Therefore, (3.14), and \(\lambda _k=\mu _k+\nu _k\) imply that
Recalling that
we will now show that \(d_k=\theta _0-1\) for k large enough. First, recall that there exists a rotation \(e^{i\theta _k}\) such that
and that there exists vector fields \(f_{k,1},f_{k,2}\) such that
To simplify the notations, we will now delete the subscript k in the following formulas. Now, rewrite (3.16) as
so that
Now, write \(f_{1}=(f_1^1,f_1^2)\), \(f_2=(f_2^1,f_2^2)\), and observe that
implies that
Therefore, we deduce that
Recall the definitions (from (3.9))
Introducing
we have for some holomorphic function \(\chi \) on \(\Omega _k\) and for all \(z\in \Omega _k\) (in the preceding notations, we have \(\chi =\tau '_k\) in the previous notations) by (3.15)
Notice that \(e^{i\theta }=\cos (\theta )+i\sin (\theta )\) implies that
Therefore, recalling the notation \(z=x_1+ix_2\), (3.19) and (3.20) imply that
Now, as the left-hand side of (3.21) is real, taking imaginary parts of the right-hand side, we find that
Multiplying this identity by \(e^{i\theta }\), we deduce that
This implies that
Finally, as \(e^{\nu }>0\), we deduce thanks to (3.21) that
Letting now \(\psi \) be the holomorphic function such that
we deduce that
This implies readily that
Indeed, we have formally (in other words, the following expression must be understood as the equality of two multi-valued functions, i.e. modulo \(2\pi i\))
Therefore, we have
As \(\theta \) is real, we deduce that
Using that \(\mathrm{d}=\partial +\overline{\partial }\), we deduce from (3.24) and (3.25) that
Finally, we deduce from (3.23) that
Now, a classical computation shows that
This can be directly checked using the Coulomb condition, but as we have already used it to obtain the closedness of \(e^{-\mu }f_{1}^{*}\) and \(e^{-\mu }f_2^{*}\), we can also check this property with these 1-forms. Recall that thanks to (3.18)
Therefore, that \(e^{-\mu }f_1^{*}\) be closed is equivalent to
or (writing scripts for partial derivatives)
Likewise, the closedness of \(e^{-\mu }f_2^{*}\) is equivalent to
Therefore, (3.26) and (3.27) are equivalent to the system
As
we deduce that
In other words, (3.28) is equivalent to \(\nabla \nu =\nabla ^{\perp }\theta \), or
Therefore, thanks to (3.1) and (3.28), we deduce that for k large enough
This argument concludes the proof of the Proposition. \(\square \)
We are now going to improve the expansion of the conformal parameter to obtain a pointwise estimate of \(\nabla \vec {\Phi }_k\).
We first need an extension lemma which is a refinement of Lemma IV.1 of [2]. For the sake of completeness, we add all details.
Lemma 3.2
Let \(0<r<1\) and \(\vec {n}\in W^{1,(2,1)}(B_{2r}\setminus \overline{B}_r(0),{\mathscr {G}}_{n-2}({\mathbb {R}}^n))\). There exists \(\varepsilon _2(n)>0\) with the following property. Assume that
Then, there exists an extension \(\widetilde{\vec {n}}\in W^{1,(2,1)}(B_{2r}(0),{\mathscr {G}}_{n-2}({\mathbb {R}}^n))\) such that \(\widetilde{\vec {n}}=\vec {n}\) on \(B_{2r}\setminus \overline{B}_r(0)\) and a universal constant \(C_{5}(n)\) such that
Proof
First, as in [5] 3.2.28, we view \({\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) as a submanifold of \({\mathbb {R}}^{N(n)}\) for some (large) N(n). Thanks to the Sobolev embedding \(W^{1,(2,1)}(B_{2r}\setminus \overline{B}_r(0))\subset C^0(B_{2r}\setminus \overline{B}_r(0))\) and scaling invariance, there exists \(\vec {p}\in {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\subset {\mathbb {R}}^{N(n)}\) and a universal constant \(\Gamma _{11}(n)>0\) independent of \(r>0\) such that
As \({\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) is a compact smooth submanifold, its injectivity radius is strictly positive, there exists \(\varepsilon _3(n)>0\) independent of \(\vec {p}\in {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) such that (3.30) implies that \(\vec {n}(B_{2r}\setminus \overline{B}_r(0))\) is included in a geodesic ball of \({\mathscr {G}}_{n-2}({\mathbb {R}}^n)\). Therefore, we deduce that there exists \(\delta =\delta (n)>0\) such that \(\vec {n}(B_{2r}\setminus \overline{B}_r(0))\subset B_{\delta }(\vec {p})\) global coordinates \(\varphi :B_{\delta }(\vec {p})\rightarrow \varphi (B_{\delta }(\vec {p}))\subset {\mathbb {R}}^{m(n)}\) (where \(m(n)=\dim {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\)). Once more, by compactness, we can assume that \(\delta =\delta (n)\) has been fixed independently of \(\vec {p}\) and such that
depends only on n. Furthermore, we can assume without loss of generality that \(\varphi (B_{\delta }(\vec {p}))=B_{\delta }^{{\mathbb {R}}^{m(n)}}(0)=B_{\delta }^m(0)\) is the standard geodesics ball in \({\mathbb {R}}^m\) of radius \(\delta >0\). Now, apply the extension Theorem 7.2 to the composition \(\vec {n}_{\varphi }=\varphi \circ \vec {n}:B_{2r}\setminus \overline{B}_r(0)\rightarrow {\mathbb {R}}^{m(n)}\) to find an extension \(\widetilde{\vec {n}}_{\varphi }:B_{2r}(0)\rightarrow {\mathbb {R}}^{m(n)}\) such that
We deduce by the Poincaré-Wirtinger inequality that
Taking \(\widetilde{\vec {n}}=\varphi ^{-1}\circ \widetilde{\vec {n}}_{\varphi }\) finishes the proof of the theorem by the previous remark in (3.31). \(\square \)
The next lemma is an easy consequence of Lemme (5.1.4) of [11] (see also Lemma IV.3 of [2]).
Lemma 3.3
(\(W^{1,(2,1)}\)-controlled Coulomb frame) Let \(0<r<\dfrac{1}{2}\) and \(\vec {n}\in W^{1,(2,1)}(B_1\setminus \overline{B}_r(0))\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\). Then, there exists \(0<\varepsilon _3(n)<\varepsilon _2(n)\) with the following property. Assume that
Then, there exists \((\vec {e}_1,\vec {e}_2)\in W^{1,(2,1)}(B_1(0))\times W^{1,(2,1)}(B_1(0))\rightarrow {\mathbb {R}}^n\) which is a Coulomb frame on \(B_1\setminus \overline{B}_r(0)\) associated to \(\vec {n}\) such that
and there exists a universal constant \(C_{6}(n)>0\) such that
Remark 3.4
Notice that we do not have in general \(\vec {e}_1\cdot \partial _{\nu }\vec {e}_2=0\) on \(\partial B_r(0)\).
Proof
First, as \(\varepsilon _3(n)<\varepsilon _2(n)\), we have
Therefore, by Lemma 3.2, there exists an extension \(\widetilde{\vec {n}}:B_1(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) (such that \(\widetilde{\vec {n}}=\vec {n}\) on \(B_1\setminus \overline{B}_r(0)\)) and satisfying (up to replacing \(C_{5}(n)\) by \(\max \left\{ 1,C_{5}(n)\right\} \) in Lemma 3.2)
By the inequality \(\Vert \,\cdot \,\Vert _{{\mathrm {L}}^2}\le \dfrac{1}{2\sqrt{2}}\Vert \,\cdot \,\Vert _{{\mathrm {L}}^{2,1}}\) (see the Appendix (7.6)), we deduce by (3.33) that
so taking
we deduce by Lemme 5.1.4 of [11] that there exists a Coulomb frame \((\vec {e}_1,\vec {e}_2)\in W^{1,2}(B_1(0))\times W^{1,2}(B_1(0))\rightarrow {\mathbb {R}}^n\) such that
and (by [11], (5.23, 5.24) p. 244) and the elementary inequality
we deduce that
Now, let \(\mu :B_1(0)\rightarrow {\mathbb {R}}\) be the unique solution of
Then, by the generalised Wente inequality (or [4] and the Sobolev embedding \(W^{2,1}({\mathbb {R}}^2)\hookrightarrow W^{1,(2,1)}({\mathbb {R}}^n)\)), we have
Now recall the identity ([11], (5.39), p. 247)
Therefore, we have
The identity (3.37) and the estimates (3.33), (3.34) and (3.35) yield
where
The estimate (3.38) finishes the proof of the lemma. \(\square \)
We can finally state the precise pointwise estimate.
Theorem 3.5
Under the conditions of Theorem 3.1, assume furthermore that the following strong \(L^{2,1}\) no-neck energy holds
Then, there exists \(\alpha _0>0\) such that for all \(k\in {\mathbb {N}}\) large enough, there exists a moving frame \((\vec {f}_{k,1},\vec {f}_{k,2})\in W^{1,(2,1)}(B_{\alpha _0}(0))\times W^{1,(2,1)}(B_{\alpha _0}(0))\) and a universal constant \(C_{7}(n)\) (independent of k) such that
Furthermore, there exists a sequence of functions \(\mu _k\in W^{2,1}(B_{\alpha _0}(0))\) and a universal constant \(C_{8}(n)\) such that
and there exists a sequence of holomorphic functions \(\psi _k:B_{\alpha _0}(0)\rightarrow {\mathbb {C}}\) and \(\chi _k:B_{\alpha _0}(0)\rightarrow {\mathbb {C}}\) such that \(\chi _k(0)=0\), \(c\in {\mathbb {C}}\) and \(\left\{ c_k\right\} _{k\in {\mathbb {N}}}\subset {\mathbb {C}}\) such that \(c_k\underset{k\rightarrow \infty }{\longrightarrow }c\) and
and
Finally, there exists \(\vec {A}_0\in {\mathbb {C}}^n\) (such that \(\langle \vec {A}_0,\vec {A}_0\rangle =0\)) and \(\left\{ \vec {A}_{k,0}\right\} _{k\in {\mathbb {N}}}\in {\mathbb {C}}^n\) such that \(\vec {A}_{k,0}\underset{k\rightarrow \infty }{\longrightarrow }\vec {A}_0\) and for all \(z\in \Omega _k(\alpha _0)\), we have the pointwise identities
Proof
Step 1: Expansion of \(\nabla \vec {\Phi }_k\) in the Neck Region By, fix \(\alpha _0>0\) such that for all \(k\in {\mathbb {N}}\) large enough
where \(\varepsilon _3(n)>0\) is given by Lemma 3.3. Then, we define as in the proof of Theorem 3.1 for all \(j=1,2\) \(\vec {e}_k,j=e^{-\lambda }_k\partial _{x_j}\vec {\Phi }_k\), and by Lemmas (refextension, 3.3, 3.42 and 3.43), there exists a controlled extension \(\widetilde{\vec {n}_k}:B_{\alpha _0}(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) if \(\vec {n}_k:\Omega _k(\alpha _0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) such that
and a Coulomb frame \((\vec {f}_{k,1},\vec {f}_{k,2})\in W^{1,(2,1)}(B_{\alpha _0}(0),S^{n-1})\times W^{1,(2,1)}(B_{\alpha _0}(0),S^{n-1})\) associated to \(\widetilde{\vec {n}_k}\) such that
and
Finally, we introduce the rotation \(\theta _k\) (which is a multi-valued function on \(\Omega _k(\alpha )\)) such that
As previously, let \(\mu _k\) the unique solution of
Then, we have by the improved Wente inequality \(\mu _k\in W^{1,(2,1)}(B_{\alpha _0}(0))\cap C^0(B_{\alpha _0}(0))\) and (3.45) for some universal constant \(C_{9}(n)\)
Furthermore, introduce the notation \(\nu _k=\lambda _k-\mu _k\). Then, \(\nu _k\) is harmonic, and implies that for k large enough
Indeed, recall that by the proof of Theorem 3.1, \(*\, \text {d}\nu _k=\text {d}\theta _k\) and that there exists a holomorphic function \(\psi _k:\Omega _k(\alpha _0)\rightarrow {\mathbb {C}}\) such that
In particular, a computation of the proof of Theorem 3.1 shows that
so that for all \(\alpha _0^{-1}\rho _k<\rho <\alpha _0\)
As
we deduce that
for all k large enough. In other words, \(\nu _k\) satisfies as in (3.28)
Therefore, we deduce by (3.50) that
As \(\text {d}\theta _k=\partial \theta _k+\overline{\partial }\theta _k\), (3.49) implies that
as \(\partial _{\overline{z}}\psi _k=0\) implies that \(\partial _{z}\overline{\psi _k}=\overline{\partial _{\overline{z}}\psi _{k}}=0\) and
Therefore, (3.51) and (3.52) show that
So the function \(\nu _k-\log |\psi _k|\) is anti-holomorphic and real, so it must be constant by the maximum principle as \(\Omega _k(\alpha _0)=B_{\alpha _0}\setminus \overline{B}_{\alpha _0^{-1}\rho _k}\) is connected. Therefore, there exists \(\gamma _k\in {\mathbb {R}}\) such that
or
Now, as \(\widetilde{\psi _k}=e^{\gamma _k}\psi _k\) is holomorphic and satisfies
we can assume without loss of generality that \(\gamma _k=0\). Furthermore, (3.55) shows that the holomorphic 1-form \(\frac{\partial \psi _k}{\psi _k}\) on \(\Omega _k(\alpha _0)\) admits the expansion
where \(\xi _k\) admits a holomorphic extension on \(B_{\alpha _0}(0)\). In particular, \(\psi _k\) admits a Laurent series expansion
where \(a_{\theta _0-1}\ne 0\). Therefore, \(\psi _k\) extends holomorphically in \(B_{\alpha _0}(0)\), and letting \(c_k\in {\mathbb {C}}\) be such that
there exists a holomorphic function \(\chi _k:B_{\alpha _0}(0)\rightarrow {\mathbb {C}}\) such that \(\chi _k(0)=0\) and
where we have explicitly
Notice in particular as \(\lambda _k=\mu _k+\nu _k\) that
where \(\psi _k\) is holomorphic and admits the expansion (3.56). Now, we come back to the identity (3.46) to observe that
Now, observe that by (3.48) and (3.57)
Therefore, (3.58), (3.59) and (3.56) finally yield the expansion
By (3.45) and (3.47), \(e^{\mu _k}\left( \vec {f}_{k,1}-i\,\vec {f}_{k,2}\right) \in W^{1,(2,1)}\cap C^0(B_{\alpha _0}(0),S^{n-1})\) and
In particular, if
then (notice that \(\vec {A}_{k,0}\ne 0\) as \(\vec {\Phi }_k\) is an immersion) (3.60) becomes
Furthermore by the strong convergence of \(\vec {\Phi }_k\) towards \(\vec {\Phi }_{\infty }\) in \(C^l_{{\mathrm {loc}}}(B_1(0)\setminus \left\{ 0\right\} )\) (for all \(l\in {\mathbb {N}}\)) which satisfies
we deduce that
This concludes the proof of the theorem. \(\square \)
3.2 General Case
Theorem 3.6
Let \(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}}\) be a sequence of smooth conformal immersions from the disk \(B_1(0)\subset {\mathbb {C}}\) into \({\mathbb {R}}^n\). Let \(m\in {\mathbb {N}}\), and for all \(1\le j\le m\), let \(\{a_k^j\}_{k\in {\mathbb {N}}}\subset B_1(0)\), \(\{\rho _k^j\}_{k\in {\mathbb {N}}}\subset (0,\infty )\) and define for \(0<\alpha <1\) and k large enough
Assume that for all \(1\le j\ne j'\le m\), and all \(0<\alpha <1\), we have \(B_{\alpha ^{-1}\rho _k^j}(a_k^j)\cap B_{\alpha ^{-1}\rho _k^{j'}}(a_k^{j'})=\varnothing \) for k large enough, and
Furthermore, assume that
where \(\varepsilon _1(n)\) is given by the proof of Theorem 2.1. Finally, assume that
and that there exists a \(W^{2,2}_{{\mathrm {loc}}}(B_1(0)\setminus \left\{ 0\right\} )\cap C^{\infty }(B_1(0)\setminus \left\{ 0\right\} )\) immersion \(\vec {\Phi }_{\infty }\) such that
and \(\vec {\Phi }_k\underset{k\rightarrow \infty }{\longrightarrow }\vec {\Phi }_{\infty }\) in \(C^l_{{\mathrm {loc}}}(B_1(0)\setminus \left\{ 0\right\} )\). For all \(k\in {\mathbb {N}}\), let
be the conformal factor of \(\vec {\Phi }_k\). Then, there exists a positive integer \(\theta _0\ge 1\), and for all \(k\in {\mathbb {N}}\) integers \(\theta _k^1,\cdots ,\theta _k^m\in {\mathbb {N}}\) such that for all \(k\in {\mathbb {N}}\) large enough
and for all \(k\in {\mathbb {N}}\), there exists \(1/2<\alpha _k<1\) and \(A_k\in {\mathbb {R}}\) such that
for some universal constant \(\Gamma _{14}=\Gamma _{14}(n)\). Furthermore, we have for all \(0< \rho _k\le 1\) such that
and for all \(k\in {\mathbb {N}}\) large enough
Finally, for all \(k\in {\mathbb {N}}\) and \(j\in \left\{ 1,\cdots ,m\right\} \), we have
Proof
Indeed, the same argument shows that there exists a holomorphic function \(\varphi _k\) on \(\Omega _k\) and \(c_k^1,\cdots ,c_k^m\in {\mathbb {C}}\) such that
and the same computation shows if
then
Therefore, we have
and for all \(1\le j\le m\)
Furthermore, we have
In particular, if \(\left\{ \rho _k\right\} _{k\in {\mathbb {N}}}\subset (0,\infty )\) is such that \(\rho _k\underset{k\rightarrow \infty }{\longrightarrow } 0\) and
then we also have for \(k\in {\mathbb {N}}\) large enough
which implies that \(\psi _k\) admits a holomorphic extension on \(B_1(0)\). Analytic continuation then implies that for all \(1\le j\le m\)
Therefore, we have by (3.63) for k large enough
Then, we deduce by the argument of Lemma V.3 of [2] that there exists a universal constant \(\Gamma _{15}(n)=\Gamma _{15}(n)\) such that for all \(k\in {\mathbb {N}}\) there exists \(1/2<\alpha _k<1\) such that for all \(k\in {\mathbb {N}}\) large enough
In particular, as \(\mu _k\in L^{\infty }(B_1(0))\), we get the estimate (3.62) from (3.64) and \(\left\| \mu _k\right\| _{{\mathrm {L}}^{\infty }(B_1(0))}\le \Gamma _{16}\) for some universal \(\Gamma _{16}=\Gamma _{16}(\Lambda ,n)\) (thanks to Wente’s estimate), we deduce that there exists a universal constant \(C=C(n,\Lambda )\), where
such that for all k large enough and \(z\in \Omega _k(1/2)\) (noticing that \(A_k\) is bounded by the strong convergence outside of 0)
These additional remarks complete the proof of the Proposition. \(\square \)
Remarks 3.7
-
(1)
The integers \(\theta _k^j\) a priori depend on k, but we will see in the case of interest of bubbling of Willmore immersions, they must stabilise for k large enough.
-
(2)
The reader will notice that we do not need the limiting immersion to be smooth, but merely \(C^{1,\alpha }\) for some \(0<\alpha <1\) (this allows one to define branch points, [8]). As in the application we restrict to Willmore immersions, we automatically get the smoothness of the limiting immersion outside of the point of concentration.
Theorem 3.5 also has an analogue in this setting, but we will not state it for the sake of brevity of the paper.
4 Improved Energy Quantization for Willmore Immersions
In this section, we build on [2] to obtain an improved no-neck energy.
Theorem 4.1
Let \(\Sigma \) be a closed Riemann surface and assume that \(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}}\) is a sequence of smooth Willmore immersions such that
Assume furthermore that the conformal class of \(g_k=\vec {\Phi }_k^{*}g_{{\mathbb {R}}^n}\) is precompact in the moduli space. Then for all \(0<\alpha <1\) let \(\Omega _k(\alpha )=B_{\alpha R_k}\setminus \overline{B}_{\alpha ^{-1}r_k}(0)\) be a neck domain and \(\theta _0\in {\mathbb {N}}\) such that (by Theorem 3.1)
and define
Then, there exist a universal constant \(\Gamma _{17}=\Gamma _{17}(n)\), and \(\alpha _0=\alpha _0(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}})>0\) such that for all \(0<\alpha <\alpha _0\) and \(k\in {\mathbb {N}}\) large enough,
In particular, we deduce by the \(L^2\) no-neck energy
Proof
Step 1: \(L^{2,1}\)-quantization of the mean curvature Here, we will prove that
This statement is a consequence of the following lemma.
Theorem 4.2
There exists constants \(R_0(n),\varepsilon _4(n)>0\) with the following property. Let \(0<100r<R\le R_0(n)\), and \(\vec {\Phi }:B_R(0)\rightarrow {\mathbb {R}}^n\) be a weak conformal Willmore immersion of finite total curvature, such that
Set \(\Omega =B_R\setminus \overline{B}_r(0)\), and
where \(\lambda \) is the conformal parameter of \(\vec {\Phi }\). Then there exists a universal constant \(\Gamma _{18}=\Gamma _{18}(n)\) such that for all \(\left( \dfrac{4r}{5R}\right) ^{\frac{1}{3}}<\alpha <\dfrac{1}{5}\), we have
Remarks on the proof
The proof closely follows the proof in [2]. In Step 1, we use the previous results to obtain the \(L^{2,1}\cap W^{1,1}\) control for the harmonic parts of tensors, and the Wente inequality for the part with Dirichlet boundary conditions.
In Step 2, we use a structural property of the unit normal \(\vec {n}\) to transfer the \(L^{2,1}\) control of \(e^{\lambda }\vec {H}\) into a \(L^{2,1}\) control of \(\nabla \vec {n}\). The proof uses other results on moving frames from [11], and the rest follows again by classical Calderón–Zygmund estimates, Wente inequality, and an averaging lemma. The proof is quite lengthy but globally straightforward.
Remark 4.3
Notice that by \(L^{2,1}/L^{2,\infty }\) duality, we have
Proof
Define for all \(\left( \dfrac{r}{R}\right) ^{\frac{1}{2}}<\alpha <1\) the open subset \(\Omega _{\alpha }=B_{\alpha R}\setminus \overline{B}_{\alpha ^{-1}r}\) of \(\Omega \). We follow step by steps the proof of Lemma VI.6 of [2]. First, the pointwise estimate on \(\nabla \vec {n}\) is identical and we find that there exists \(\Gamma _{19}=\Gamma _{19}(n),\Gamma _{19}'=\Gamma _{19}'(n)>0\) such that for all \(z\in B_{4R/5}\setminus \overline{B}_{5r/4}(0)\)
so that
and we can choose \( \varepsilon _4(n)=\dfrac{\varepsilon _1(n)^2}{\sqrt{\pi }\Gamma _{19}'(n)}. \) Therefore, thanks to Theorem 2.1, there exists \(d\in {\mathbb {R}}\) such that
and for all \(\left( \dfrac{5}{4}\right) ^{\frac{2}{3}}\left( \dfrac{r}{R}\right) ^{\frac{1}{3}}=\left( \dfrac{\frac{5r}{4}}{\frac{4R}{5}}\right) ^{\frac{1}{3}}<\dfrac{5\alpha }{4}<\dfrac{1}{4}\), there exists \(A_{\alpha }\in {\mathbb {R}}\) such that
As \(\vec {\Phi }\), is Willmore, the following 1-form is closed :
As \(\vec {\Phi }\) is well defined on \(B_R(0)\), the Poincaré lemma implies that there exists \(\vec {L}:B_R(0)\rightarrow {\mathbb {R}}^n\) such that
Now, introduce for \(0<s<R/2\)
Then, we have trivially for all \(2r<s<R/2\)
and Fubini’s theorem implies that for all \(r\le r_1<r_2\le R/2\)
Now, (4.4) shows that for some \(C_{10}=C_{10}(n)\)
Furthermore, the same argument of [2] (see [1] for more details) using a Theorem from [7] implies that there exists a constant \(C_{11}=C_{11}(n)\) such that
Therefore, we have thanks to (4.6), (4.9) and (4.10)
Now assume for simplicity that \(\alpha =1/2\) (then we do not need to use the precised form (4.5) and we can use instead Lemma V.3 from [2]). Denoting for all \(r<s<R\)
![](http://media.springernature.com/lw122/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ576_HTML.png)
we deduce from (4.10) that for all \(z\in \Omega _{1/2}\) (taking \(\alpha =1/2\) in (4.5))
Then, we get
Now, we continue the proof in an exact same way to obtain the pointwise estimate (for some universal constant \(C_{12}=C_{12}(n)\))
Therefore, we get
Combining (4.13) and (4.15) implies as \(\left\| \,\cdot \,\right\| _{{\mathrm {L}}^{2,\infty }(\,\cdot \,)}\le \left\| \,\cdot \,\right\| _{{\mathrm {L}}^{2}(\,\cdot \,)}\) that
The estimates (4.12), (4.14) and (4.7) imply that for all \(z\in \Omega _{1/2}\)
Now, recall that there exists \(S:B_R(0)\rightarrow {\mathbb {R}}\) and \(\vec {R}:B_R(0)\rightarrow \Lambda ^2{\mathbb {R}}^n\) such that
we trivially obtain from the pointwise inequality (4.16), (4.9) and (4.7) for all \(z\in \Omega _{1/2}\)
and
Therefore, if \(C_{15}(n)=4\sqrt{\pi }(C_{14}(n)+2C_{10}(n))>0\), we deduce that
Now, define for all \(2r\le \rho <\dfrac{R}{2}\)
![](http://media.springernature.com/lw311/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ577_HTML.png)
Following the exact same steps as [2], we find that for some universal constant \(C_{16}=C_{16}(n)\)
Therefore, (4.8) and (4.18) imply that
We will now use a precised version of Lemma VI.2 of [2] (proved in [13], see also [15]).
Lemma 4.4
There exists a universal constant \(R_0>0\) with the following property. Let \(0<4r<R<R_0\), \(\Omega =B_R\setminus \overline{B}_r(0)\rightarrow {\mathbb {R}}\), \(a,b:\Omega \rightarrow {\mathbb {R}}\) such that \(\nabla a\in L^{2,\infty }(\Omega )\) and \(\nabla b\in L^2(\Omega )\), and \(u:\Omega \rightarrow {\mathbb {R}}\) be a solution of
Furthermore, define for \(r\le \rho \le R\)
![](http://media.springernature.com/lw298/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ578_HTML.png)
Then \(\nabla \varphi \in L^2(\Omega )\), and there exists a positive constant \(\Gamma _{20}>0\) independent of \(0<4r<R\) such that for all \(\left( \dfrac{r}{R}\right) ^{\frac{1}{2}}<\alpha <\dfrac{1}{2}\)
Proof
Let \(\widetilde{a}:B_R(0)\rightarrow {\mathbb {R}}\) and \(\widetilde{b}:B_R(0)\rightarrow {\mathbb {R}}\) the extensions of a and b given by Theorem 7.2. As \(0<4r<R\) and scaling invariance of the \(L^{2,\infty }\) and the \(L^{2}\) norm of the gradient, we deduce that there exists a universal constant \(\Gamma _{20}>>0\) such that
Thanks to Poincaré-Wirtinger inequality, and as \(\widetilde{a}=a\) and \(\widetilde{b}=b\) on \(\Omega \), we deduce that
Therefore, if \(\Gamma _{20}C_{PW}(L^{2,\infty })R_0\le \dfrac{1}{2}\), we find
and likewise, provided \(\Gamma _{20}C_{PW}(L^2)R_0\le \dfrac{1}{2}\), we find
Now, let \(u:B_R(0)\rightarrow {\mathbb {R}}\) be the solution of
Then, the improved Wente inequality of Bethuel ([11], 3.3.6) and the scaling invariance show that there exists a universal constant \(\Gamma _{21}>>0\) such that
Now, let \(v=\varphi -u-\overline{(\varphi -u)}_r\). Then, v is a harmonic function such that for all \(r<\rho <R\)
Therefore, Lemma 2.2 implies that
which concludes the proof. \(\square \)
Now, recall that the following system holds
![](http://media.springernature.com/lw312/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ579_HTML.png)
First, thanks to Lemma IV.1 of [2], we extend the restriction \(\vec {n}:B_R\setminus \overline{B}_r(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) to a map \(\widetilde{\vec {n}}:B_R(0) \rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) such that
In particular, we have
![](http://media.springernature.com/lw388/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ150_HTML.png)
Therefore, applying the proof of Lemma 4.4 by using the already constructed extension of \(\vec {n}\), we deduce thanks to (4.17) and (4.19) that
As in [2], we obtain readily
Now, introduce the following slight variant from a Lemma of [13].
Lemma 4.5
Let \(R_0>0\) be the constant of Lemma 4.4. Let \(0<16r<R<R_0\), \(\Omega =B_R\setminus \overline{B}_r(0)\rightarrow {\mathbb {R}}\), \(a,b:\Omega \rightarrow {\mathbb {R}}\) such that \(\nabla a\in L^{2}(\Omega )\) and \(\nabla b\in L^2(\Omega )\), and \(\varphi :\Omega \rightarrow {\mathbb {R}}\) be a solution of
Assume that \(\left\| \varphi \right\| _{{\mathrm {L}}^{\infty }(\partial \Omega )}<\infty \). Then there exists a universal constant \(\Gamma _{22}>0\) such that for all \(\left( \dfrac{r}{R}\right) ^{\frac{1}{2}}<\alpha <\dfrac{1}{4}\),
Proof
As in the proof of Lemma 4.4, introduce extensions \(\widetilde{a}:B_R(0)\rightarrow {\mathbb {R}}\) and \(\widetilde{b}:B_R(0)\rightarrow {\mathbb {R}}\) of a and b, such that
Now, let \(v:B_R(0)\rightarrow {\mathbb {R}}\) be the solution of
Then, the improved Wente inequality and the Coifman-Lions-Meyer-Semmes estimate [4] show (by scaling invariance of the different norms considered) that
Now let \(u=\varphi -v\). Then, u is harmonic, and let \(d\in {\mathbb {R}}\), \(\left\{ a_n\right\} _{n\in {\mathbb {Z}}}\subset {\mathbb {C}}\) such that
Then, we have by the maximum principle for all \(r\le \rho \le R\)
Therefore, we have
Now, recall that
Therefore, as \(R>4r\), (4.23) and (4.24) imply that
These estimates (4.23) imply by Lemmas 2.3 and 4.5 imply that
Now, recall that the mean value formula and the maximum principle ([9] 1.10) imply that for all \(x\in B_{R}\setminus \overline{B}_r(0)\), and \(0<\rho <{\mathrm {dist}}(x,\partial \Omega )\),
As
the estimate (4.27) shows that
Therefore, we have by (4.28) and (4.29)
Combining (4.26) and (4.30) shows that
Combining the maximum principle and inequalities (4.22), (4.31) yields the expected estimate. \(\square \)
Now, apply Lemma 4.5 to the estimates (4.21) shows by using the previous extension \(\widetilde{\vec {n}}\) of \(\vec {n}\) that
As (see [28] for the definition of the restriction operator
between a 2-vector and a vector)
![](http://media.springernature.com/lw258/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ163_HTML.png)
we trivially have
Now, (4.33) implies that
![](http://media.springernature.com/lw544/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ580_HTML.png)
so that
![](http://media.springernature.com/lw467/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ581_HTML.png)
As \(\nabla \lambda \in L^{2,\infty }\), \(e^{\lambda }\vec {H}\in L^{2,1}\) and \(e^{-\lambda }\nabla ^2\vec {\Phi }\in L^{2,\infty }\), we deduce by (4.32) and (4.34) that
and this concludes the proof of the Theorem. \(\square \)
For all neck region of the form \(\Omega _k=B_{R_k}\setminus \overline{B}_{r_k}(0)\), define for all \(0<\alpha <1\)
The estimate (4.3) implies that
where
is finite by hypothesis. Therefore, the no-neck energy
implies by (4.35) that
Step 2: \(L^{2,1}\)-quantization of the Weingarten tensor The proof relies on an algebraic computation first given in [28] (II.10). We will give its easy derivation in codimension 1.
Algebraic identity in codimension 1. Let \(\vec {\Phi }:B_1(0)\rightarrow {\mathbb {R}}^3\) be a conformal immersion, and \(\vec {n}:B_1(0)\rightarrow S^2\) be its unit normal. If \(e^{\lambda }=\dfrac{1}{\sqrt{2}}|\nabla \vec {\Phi }|\) is the associated conformal parameter and \(\vec {e}_j=e^{-\lambda }\partial _{x_j}\vec {\Phi }\) for \(j=1,2\), we have by definition
where \(\times \) is the vector product. Recall the Grassmann identity valid for all \(\vec {u},\vec {v},\vec {w}\in {\mathbb {R}}^3\)
Therefore, we deduce that
As \(|\vec {n}|=1\), we have for all \(j=1,2\)
This implies that
and (4.37) combined with the identity \(\vec {u}\times \vec {v}=-(\vec {v}\times \vec {u})\) (valid for all \(\vec {u},\vec {v}\in {\mathbb {R}}^3\)) yield
Therefore, we deduce that
As
the identities (4.39) and (4.40) show that
Comparing (4.41) and (4.38), we deduce that
Taking the divergence of this equation, we find
Argument in arbitrary codimension Then, we can find a trivialisation of \(\vec {n}\) such that \(\vec {n}=\vec {n}_1\wedge \vec {n}_2\wedge \cdots \wedge \vec {n}_{n-2}\) satisfying the Coulomb condition
Furthermore, recall that for all \(1\le \beta \le n-2\), [28] implies that (using (4.43) for the second condition)
Taking the divergence of this equation yields by the Coulomb condition (4.43)
Now, as in (2.39) (recall that this comes from Lemma IV.1. in [2]), construct for small enough \(\alpha >0\) and k large enough (thanks to the no-neck property) an extension \(\widetilde{\vec {n}}_k:B_{\alpha R_k}(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) of \(\vec {n}_k:\Omega _k(\alpha )=B_{\alpha R_k}(0)\setminus \overline{B}_{\alpha ^{-1}r_k}(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) such that for some universal constant \(C_{22}=C_{22}(n)>0\)
Furthermore, as in Lemma IV.1 of [2] (see also [11] 4.1.3–4.1.7), we can construct extensions \(\widetilde{\vec {n}}_{k}^{\beta }\) of \(\vec {n}_k^{\beta }\) on \(B_{\alpha R_k}(0)\) such that
satisfying the Coulomb condition for all \(1\le \beta ,\gamma \le n-2\)
and for all \(1\le \beta \le n-2\) (by (4.46) for the second inequality)
Furthermore, using [11] 4.1.7, we have the estimate for all \(1\le \beta \le n-2\)
Let us recall the argument for this crucial step. By (4.47), there exists \(\vec {A}_{\beta ,\gamma }:B_{\alpha R_k}(0)\rightarrow {\mathbb {R}}^n\) such that
Furthermore, the boundary conditions of (4.47) imply that we can choose \(\vec {A}_{\beta \gamma }\) such that \(\vec {A}_{\beta ,\gamma }=0\) on \(\partial B_{\alpha R_k}(0)\). Therefore, we have
Therefore, we get by the improved Wente estimate and (4.48)
Combining the pointwise identity (4.50) with (4.52) yields (4.49).
Now fix some \(1\le \beta \le n-2\) and let \(\vec {u}_k:B_{\alpha R_k}(0)\rightarrow {\mathbb {R}}^n\) be the unique solution of
Now, thanks to (4.43), we can apply [4], scaling invariance and (4.46) to find that there exists \(C_{23}=C_{23}(n)>0\) such that
Furthermore, as \(\vec {u}_k=0\) on \(\partial B_{\alpha R_k}(0)\), and scaling invariance (of \(\left\| u_k\right\| _{{\mathrm {L}}^{\infty }(B_{\alpha R_k}(0))}\), \(\left\| \nabla \vec {u}_k\right\| _{{\mathrm {L}}^{2,1}(B_{\alpha R_k}(0))}\) and \(\left\| \nabla ^2u_k\right\| _{{\mathrm {L}}^{1}(B_{\alpha R_k}(0))}\)) and Sobolev embedding, there exists \(C_{24}=C_{24}(n)>0\) such that
Now, by Theorem (4.2), \(H_k^{\beta }\nabla \vec {\Phi }_k\in L^{2,1}(\Omega _k(\alpha ))\). Furthermore, as
there exists by Theorem 7.2 an extension \(\vec {F}_k:B_{\alpha R_k}(0)\rightarrow {\mathbb {R}}^n\) of \(H_k^{\beta }\nabla \vec {\Phi }_k\) such that for all k large enough
where \(C_{25}(n)>0\) is independent of k large enough and \(0<\alpha <\alpha _0(n)\) fixed (small enough with respect to some \(\alpha _0(n)>0\)). Now, let \(\vec {v}_k:\Omega _k(\alpha )\rightarrow {\mathbb {R}}^n\) be the solution of the system
As we trivially have
scaling invariance and standard Calderón–Zygmund estimates show that there exits a universal constant \(C_{26}=C_{26}(n)\) such that
Furthermore, the Sobolev embedding shows that for some universal constant \(\Gamma _{23}>0\)
Finally, let \(\vec {\varphi }_k=\vec {n}_k^{\beta }-\vec {u}_k-\vec {v}_k\). The \(\vec {\varphi }_k:\Omega _k(\alpha )\rightarrow {\mathbb {R}}^n\) is harmonic and
In particular, as \(\vec {u}_k,\vec {v}_k,\vec {n}_k^{\beta }\in L^{\infty }(\Omega _k(\alpha ))\) (as \(|\vec {n}_k^{\alpha }|=1\) and using the bounds (4.54) and (4.69)), if \(\vec {d}_k\in {\mathbb {R}}\) and \(\left\{ \vec {a}_n\right\} _{n\in {\mathbb {Z}}}\subset {\mathbb {C}}^n\) are such that
then
so that by the proof of Lemma 4.5
Finally, we have by (4.54), (4.55), (4.58) and Theorem 4.2 for some \(C_{29}(n)>0\)
Therefore, the no-neck energy yields for all \(1\le \beta \le n-2\)
Now, as
we deduce from (4.60) that
Now, define \(\overline{\vec {n}}_{k}:B_{\alpha R_k}(0)\setminus \overline{B}_{\alpha ^{-1}r_k}(0)\) such that for all \(z\in \Omega _k(\alpha )\) such that \(|z|=r\)
![](http://media.springernature.com/lw162/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ582_HTML.png)
We will prove that for certain universal constants \(C_{30}(n)\)
and this will finish the proof of the Theorem by using Lemmas 4.4, 4.5. Indeed, notice that the following lemma implies by (4.54) and (4.55) that
Lemma 4.6
Let \(n\ge 2\), \(0<r<R<\infty \), \(\Omega =B_R\setminus \overline{B}_r(0)\subset {\mathbb {R}}^n\), \(1\le p<\infty \) and assume that \(u\in W^{1,p}(B_R\setminus \overline{B}_r(0))\). Define \(\overline{u}:\Omega \rightarrow {\mathbb {R}}\) to be the radial function such that for all \(r<t<R\) if \(t=|x|\), then
![](http://media.springernature.com/lw407/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ583_HTML.png)
Then, \(\overline{u}\in W^{1,p}(\Omega )\) and
Furthermore, for all \(1<p<\infty \), and \(1\le q\le \infty \), there exists a constant C(p, q) independent of \(0<r<R<\infty \) such that for all \(u\in W^{1,(p,q)}(\Omega )\), \(\overline{u}\in W^{1,(p,q)}(\Omega )\) and
Proof
First, assume that \(u\in W^{1,p}(\Omega )\) for some \(1\le p<\infty \). Recall that by the proof of Proposition 2.7, we have
![](http://media.springernature.com/lw198/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ195_HTML.png)
Therefore, as \(\overline{u}\) is radial, we have by the co-area formula
Furthermore, by Hölder’s inequality and (4.65),
Putting together (4.66) and (4.67), we find by a new application of the co-area formula
The last statement comes from the Stein-Weiss Interpolation Theorem ([11], 3.3.3). \(\square \)
Now, in order to obtain (4.63), recall the algebraic equation on \(\Omega _k(\alpha )\) from (4.44)
To simplify notations, let
Then, (4.49) implies that
We have
![](http://media.springernature.com/lw380/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ200_HTML.png)
Furthermore, by (4.69) and Lemma 4.6, we have (as \(\overline{\vec {G}}_k\) is radial)
Now, the \(\varepsilon \)-regularity ([28], I.5) combined with the small \(L^2\) norm of \(\nabla \vec {n}_k\) in \(\Omega _k(2\alpha )\) implies that there exists a universal constant \(C_{34}(n)\) such that
so that
Therefore,
![](http://media.springernature.com/lw555/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ202_HTML.png)
The proof of Lemma 4.6 now implies by (4.72) that
![](http://media.springernature.com/lw599/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ203_HTML.png)
Finally, thanks to (4.70), (4.71) and (4.73), we find
Therefore, (4.59) and (4.74) imply that
Therefore, (4.64) and (4.75) imply that
We can now use Lemma 2.3 (or equivalently Proposition 2.5) and Lemma 4.6 to get for all \(0<\beta <1\)
Therefore, taking \(\beta =1/2\) in (4.77), we get by (4.76) and (4.77) show that
Finally, by (4.54), (4.55) and (4.56), we obtain the expected estimate for \(\vec {n}_k^{\beta }=\vec {u}_k+\vec {v}_k+\vec {\varphi }_k\) on \(\Omega _k(\alpha /2)\), and for \(\vec {n}_k\) by the algebraic inequality (4.61). \(\square \)
Remark 4.7
Observe that for the mean curvature, we have the improved (because of the Sobolev embedding \(W^{1,1}({\mathbb {R}}^2)\hookrightarrow L^{2,1}({\mathbb {R}}^2)\)) no-neck energy
but this is not completely clear if this also holds for \(\nabla ^2\vec {n}_k\) (here, \(\Omega _k(\alpha )=B_{\alpha R_k}\setminus \overline{B}_{\alpha ^{-1}r_k}(0)\)). However, notice that (4.51) implies that
and as \(\nabla ^{\perp }\vec {A}_{\beta ,\gamma }=\nabla \widetilde{\vec {n}}_k^{\beta }\cdot \widetilde{\vec {n}}_k^{\gamma }\), we deduce that
and by the Cauchy–Schwarz inequality, this implies that for all \(1\le \beta ,\gamma \le n-2\)
Therefore, we deduce as \(\widetilde{\vec {n}}_k^{\beta }=\vec {n}_k^{\beta }\) on \(\Omega _k(\alpha )\) that
(where \(\pi _{\vec {n}_k}\) is the projection on the normal bundle) but this is not completely clear how one may obtain the same result for the tangential part of \(\nabla ^2\vec {n}_k\).
We finish this section by the proof of Corollary 1.4.
Proof of Corollary 1.4
Introduce for all \(\alpha >0\) small enough the domain decomposition of [2]:
where
and
and for all \(1\le i\le m\), for all \(1\le j\le m_i\), we have
Thanks to the no-neck property, we have
By the strong convergence, for all \(0<\alpha \le \alpha _0\), we have
where \(\Sigma _{\alpha }=\Sigma \setminus \bigcup _{i=1}^m\overline{B}_{\alpha }(a_i)\). This implies by Proposition 2.7 that there exist sequences of constants \(\{\vec {c}_k^{\,i}(\alpha )\}_{k\in {\mathbb {N}}}, \{\vec {c}_k^{\,i,j,j'}(\alpha )\}_{k\in {\mathbb {N}}}\subset \Lambda ^{n-2}{\mathbb {R}}^n\) such that for all i, j
Since \(|\vec {n}_k|=1\), we deduce that up to a subsequence \(\vec {c}_k^{\,i}(\alpha _0)\underset{k\rightarrow \infty }{\longrightarrow }\vec {c}_{\infty }^{\,i}(\alpha _0)\) such that \(|\vec {c}_{\infty }^{\,i}(\alpha _0)|=1\). Likewise, there exists \(\left\{ \alpha _k\right\} _{k\in {\mathbb {N}}}\subset (0,\infty )\) such that \(\vec {c}_{\infty }^{\,i}(\alpha _k)\rightarrow \vec {c}_{\infty }^{\,i}\) where \(|\vec {c}_{\infty }^{\,i}|=1\). Therefore, we deduce that there exists \(\vec {c}_{\infty }^{\,i},\vec {c}_{\infty }^{\,i,j,j'}\in S^{n-1}\) such that
Finally, in a bubble domain \(B(i,j,\alpha ,k)\), there exists a sequence \(\{\mu _k^{i,j}\}_{k\in {\mathbb {N}}}\subset {\mathbb {R}}\) such that the function
converges smoothly towards to the branched Willmore sphere \(\vec {\Phi }_{\infty }^{i,j}:{\mathbb {C}}\rightarrow {\mathbb {R}}^n\). Since
we deduce that for all \(0<\alpha <\alpha _0\),
This implies that there exists \(\{\vec {d}_k^{\,i,j}(\alpha )\}_{k\in {\mathbb {N}}}\subset \Lambda ^{n-2}{\mathbb {R}}^{n}\) such that
Since \(\vec {n}_k\) and \(\vec {n}_{\vec {\Phi }_{\infty }^{\,i,j}}\) are unitary, we deduce that
so that
Notice that the function \(\vec {n}_k-\vec {n}_{\vec {\Phi }_{\infty }^{\,i,j}}((\rho _k^{i,j})^{-1}\,\cdot \,)\) is independent of \(\alpha \) and that \(B(i,j,\alpha ,k)\subset B(i,j,\beta ,k)\) for \(\alpha <\beta \), which implies that
Now, using the proof of Proposition 2.7, we deduce that we can take
![](http://media.springernature.com/lw197/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ584_HTML.png)
and since \(\vec {\Phi }_{\infty }^{i,1}:{\mathbb {C}}\rightarrow {\mathbb {R}}^n\) extends to an immersion \(S^2\rightarrow {\mathbb {R}}^n\), the normal has a continuous extension and identifying \(N=(0,0,1)\in S^2\) and \(\infty \in {\mathbb {C}}\cup \left\{ \infty \right\} \), we deduce that
and likewise for all \(1\le i\le m\) and \(1\le j\le m_i\), we have
which completes the proof of the theorem. \(\square \)
In the next section, we recall basic facts on the viscosity method for the Willmore energy, and then in the following section, we show the improved \(L^{2,1}\) quantization in this setting.
5 The Viscosity Method for the Willmore Energy
We first introduce for all weak immersion \(\vec {\Phi }:S^2\rightarrow {\mathbb {R}}^n\) of finite total curvature the associated metric \(g=\vec {\Phi }^{*}g_{{\mathbb {R}}^n}\) on \(S^2\). By the uniformisation theorem, there exists a function \(\omega :S^2\rightarrow {\mathbb {R}}\) such that
where \(g_0\) is a metric of constant Gauss curvature \(4\pi \) and unit volume on \(S^2\). Furthermore, in all fixed chart \(\varphi :B_1(0)\rightarrow S^2\), we define \(\mu :B_1(0)\rightarrow {\mathbb {R}}\) such that
where in the given chart
For technical reasons, we will have to make a peculiar choice of \(\omega \) (see [34], Definition III.2).
Definition 5.1
Under the preceding notations, we say that a choice \((\omega ,\varphi )\) of a map \(\omega :S^2\rightarrow {\mathbb {R}}\) and of a diffeomorphism \(\varphi :S^2\rightarrow S^2\) is an Aubin gauge if
where \(g_{S^2}\) is the standard metric on \(S^2\).
We also recall that the limiting maps arise from a sequence of critical point of the following regularisation of the Willmore energy (see [34] for more details) :
where \(\omega :S^2\rightarrow {\mathbb {R}}\) is as above.
We need a refinement of a standard estimate (see [11], 3.3.6).
Lemma 5.2
Let \(\Omega \) be a open subset of \({\mathbb {R}}^2\) whose boundary is a finite union of \(C^1\) Jordan curves. Let \(f\in L^1(\Omega )\) and let u be the solution of
Then, \(\nabla u\in L^{2,\infty }(\Omega )\), and
Remark 5.3
We need an estimate independent of the domain for a sequence of annuli of conformal class diverging to \(\infty \), but the argument applies to a general domain (although some regularity conditions seem to be necessary).
Proof
First assume that \(f\in C^{0,\alpha }(\overline{\Omega })\) for some \(0<\alpha <1\). Then by Schauder theory, \(u\in C^{2,\alpha }(\overline{\Omega })\), and by Stokes theorem ([10], 1.2.1), we find as \(u=0\) on \(\partial \Omega \) that for all \(z\in \Omega \)
As \(\Delta u=4\,\partial _{z\overline{z}}^2u\) and \(|\mathrm{d}\zeta |^2=\dfrac{\text {d}\overline{\zeta }\wedge \text {d}\zeta }{2i}\), the pointwise estimate (5.2) implies that
Now, define \(\overline{f}\in L^1({\mathbb {R}}^2)\) by
and \(U:{\mathbb {R}}^2\rightarrow {\mathbb {C}}\) by
where \(*\) indicates the convolution on \({\mathbb {R}}^2\). Now, recall that for all \(1\le p<\infty \) and \(g\in L^p({\mathbb {R}}^2,{\mathbb {C}})\), we have
Interpolating between \(L^1\) and \(L^p\) for all \(p>2\) shows by the Stein-Weiss interpolation theorem ([11], 3.3.3) that for all \(g\in L^{2,\infty }({\mathbb {R}}^2,{\mathbb {C}})\)
Taking the infimum in \(p>2\) (that is, \(p\rightarrow \infty \)) shows that for all \(g\in L^{2,\infty }({\mathbb {R}}^2)\),
Therefore, we deduce from (5.3) and (5.5) that
Now, as \(U=\partial _{z}u\) on \(\Omega \) and \(2|\partial _{z}u|=|\nabla u|\), we finally deduce that
In the general case \(f\in L^1(\Omega )\), by density of \(C^{\infty }_c(\Omega )\) in \(L^1(\Omega )\), let \(\left\{ f_k\right\} _{k\in {\mathbb {N}}}\subset C_{c}^{\infty }(\Omega )\) such that
Then, \(u_k\in C^{\infty }(\overline{\Omega })\) (defined to be the solution of the system (5.1) with f replaced by \(f_k\) and the same boundary conditions) so for all \(k\in {\mathbb {N}}\), \(\nabla u_k\in L^{2,\infty }(\Omega )\) and
As \(\left\{ \left\| f_k\right\| _{{\mathrm {L}}^{1}(\Omega )}\right\} _{k\in {\mathbb {N}}}\) is bounded, up to a subsequence \(u_k\underset{k\rightarrow \infty }{\rightharpoonup } u_{\infty }\) in the weak topology of \(W^{1,(2,\infty )}(\Omega )\). Therefore, (5.7) and (5.8) yield
Furthermore, as \(f_k\underset{k\rightarrow \infty }{\longrightarrow }f\) in \(L^1(\Omega )\), we have \(\Delta u_{\infty }=f\) in \({\mathscr {D}}'(\Omega )\), so we deduce that \(u_{\infty }=u\) and this concludes the proof of the lemma. \(\square \)
Finally, recall the following Lemma from [2] (se also [6]).
Lemma 5.4
Let \(\Omega \) be a Lipschitz bounded open subset of \({\mathbb {R}}^2\), \(1<p<\infty \) and \(1\le q\le \infty \), and \((a,b)\in W^{1,(p,q)}(B_1(0))\times W^{1,(2,\infty )}(B_1(0))\). Let \(u:B_1(0)\rightarrow {\mathbb {R}}\) be the solution of
Then, there exists a constant \(C_{p,q}(\Omega )>0\) such that
Remark 5.5
Notice that by scaling invariance, we have for all \(R>0\) if \(\Omega _R=B_R(0)\)
6 Improved Energy Quantization in the Viscosity Method
The viscosity method [21, 22, 25, 26, 31,32,33,34] developed by the T. Rivière and collaborators aims at constructing solutions of min-max problems for functionals that do not satisfy the Palais–Smale condition or defined on spaces that are not Banach manifolds. Here, we will be focussing on the viscosity method for Willmore surfaces [34]. Let us recall a couple of definitions
Definition 6.1
Let \({\mathcal {M}}=W^{2,4}_{\iota }(S^2,{\mathbb {R}}^n)\) be the space of \(W^{2,4}\) immersions from the sphere \(S^2\) into \({\mathbb {R}}^n\). We say that a family \({\mathcal {A}}\subset {\mathcal {P}}({\mathcal {M}})\) is an admissible family if for every homeomorphism \(\Psi \) of \({\mathscr {M}}\) isotopic to the identity, we have
Now fix some admissible family \({\mathscr {A}}\subset {\mathcal {P}}(W^{2,4}_{\iota }(S^2,{\mathbb {R}}^n))\) and define
For all \(\sigma >0\) and all smooth immersion \(\vec {\Phi }:S^2\rightarrow {\mathbb {R}}^n\), recall the definition
where \({\mathscr {O}}\) is the Onofri energy (see above or [34] for more details), and define
We can now introduce the main result of this section.
Theorem 6.2
Let \(\left\{ \sigma _k\right\} _{k\in {\mathbb {N}}}\subset (0,\infty )\) be such that \(\sigma _k\underset{k\rightarrow \infty }{\longrightarrow } 0\) and let \(\{\vec {\Phi }_k\}_{k\in {\mathbb {N}}}:S^2\rightarrow {\mathbb {R}}^n\) be a sequence of critical points associated to \(W_{\sigma _k}\) such that
Let \(\left\{ R_k\right\} _{k\in {\mathbb {N}}}, \left\{ r_k\right\} _{k\in {\mathbb {N}}}\subset (0,\infty )\) be such that
and for all \(0<\alpha <1\) and \(k\in {\mathbb {N}}\), let \(\Omega _k(\alpha )=B_{\alpha R_k}\setminus \overline{B}_{\alpha ^{-1}r_k}(0)\) be a neck region, i.e. such that
Then, we have
Remarks on the proof
The proof is in the same spirit of the proof of the no-neck energy for the \(L^{2,1}\) norm in the case of Willmore immersions, up to the need to introduce more conversation laws and derive more estimates to obtain the \(L^{2,1}\) estimates.
Proof
As in [34], we give the proof in the special case \(n=3\). By Theorem 4.1, this is not restrictive.
and
Furthermore, the entropy condition (6.1) and the improved Onofri inequality show (see [2], III.2)
Thanks to [34], we already have
Therefore, as in Lemma IV.1 in [2] (and using the same argument as in Lemma 4.4), there exists a controlled extension \(\widetilde{\vec {n}}_k:B_{\alpha R_k}(0)\rightarrow {\mathscr {G}}_{n-2}({\mathbb {R}}^n)\) such that \(\widetilde{\vec {n}}_k=\vec {n}_k\) on \(\Omega _k(\alpha )=B_{\alpha R_k}(0)\setminus \overline{B}_{\alpha ^{-1}r_k}(0)\) and
in all equations involving \(\vec {n}_k\) on \(B_{\alpha R_k}(0)\), we replace \(\vec {n}_k\) by \(\widetilde{\vec {n}}_k\) as one need only obtain estimates on \(\Omega _k(\alpha )\), where \(\widetilde{\vec {n}}_k=\vec {n}_k\). Likewise, \(\vec {H}_k\) can be replaced by a controlled extension using Lemma B.4 in [15] (see also the Appendix).
Now, by [34], let \(\vec {L}_k:B_1(0)\rightarrow {\mathbb {R}}^3\) be such that
![](http://media.springernature.com/lw503/springer-static/image/art%3A10.1007%2Fs12220-022-01058-z/MediaObjects/12220_2022_1058_Equ220_HTML.png)
Then, following [34], we have
so that
Now let \(Y_k:B_{\alpha R_k}(0)\rightarrow {\mathbb {R}}\) (see [34], VI.21) be the solution of
Then, we have (recall that \(K_{g_0}=4\pi \) by the chosen normalisation in Definition 5.1)
Therefore, Lemma 5.2 implies by (6.6) that
for k large enough. Now, let \(\vec {v}_k:B_{\alpha R_k}(0)\rightarrow {\mathbb {R}}^3\) be the solution of
By scaling invariance and the inequality of Lemma 5.4, we deduce by (6.7) that for some universal constant \(\kappa _2>0\)
Furthermore, we have by Lemma 5.4 and scaling invariance
Now, recall that the Codazzi identity ([34], III.58) implies that
Therefore, by the Poincaré Lemma, there exists \(\vec {D}_k:B_{\alpha R_k}(0)\underset{k\rightarrow \infty }{\longrightarrow } {\mathbb {R}}^3\) such that
Notice that we have the trivial estimate
Furthermore,
Now, let \(\vec {E}_k:B_{\alpha R_k}(0)\rightarrow {\mathbb {R}}^3\) be the solution of
The improved Wente estimate, the scaling invariance and the estimates (6.1) and (6.12) imply that
Now, let \(\vec {F}_k:B_{\alpha R_k}(0)\rightarrow {\mathbb {R}}^3\) be such that
Combining (6.13), (6.15), and recalling that \(l(\sigma _k)\left\| \omega _k\right\| _{{\mathrm {L}}^{\infty }(B_{\alpha R_k}(0))}=o(\widetilde{l}(\sigma _k))\) (by (6.1)), we deduce that
Finally, let \(\vec {w}_k:B_{\alpha R_k}(0)\rightarrow {\mathbb {R}}^3\) be the solution of
As previously, the improved Wente implies that
for k large enough. Finally, if \(\vec {Z}_k:\Omega _k(\alpha )\rightarrow {\mathbb {R}}^3\) satisfies
the estimates (6.9), (6.15), (6.17) show that (as \(\widetilde{\vec {n}}_k=\vec {n}_k\) on \(\Omega _k(\alpha )\))
Finally, following constants and using the controlled extension \(\widetilde{\vec {n}}_k\) of \(\vec {n}_k\), we deduce as in [34] (see (VI.75)) that
Furthermore, as \(l(\sigma _k)\left\| \omega _k\right\| _{{\mathrm {L}}^{\infty }(\Omega _k(\alpha ))}=o(\widetilde{l}(\sigma _k))\), we have \(2(1+2\sigma _k^2(1+H_k^2)-l(\sigma _k)\omega _k)\ge 1\) for k large enough and by the estimates (6.9), (6.13), (6.16), (6.18), (6.19), we deduce that
Thanks to the proof of Theorem 3.1 and (6.20), we have
Furthermore, thanks to the \(\varepsilon \)-regularity ([28]), we obtain
Finally, by (6.21) and (6.22), we have
which directly implies as \(\widetilde{l}(\sigma _k)\underset{k\rightarrow \infty }{\longrightarrow }0\) that for k large enough
and the improved no-neck energy
This concludes the proof of the Theorem. \(\square \)
We close this article with a short appendix concerning Lorentz spaces.
References
Bernard, Y., Rivière, T.: Singularity removability at branch points for Willmore surfaces. Pac. J. Math. 265(2), 257 (2013)
Bernard, Y., Rivière, T.: Energy quantization for Willmore surfaces and applications. Ann. Math. 180, 87–136 (2014)
Brezis, H.: Analyse fonctionnelle. Théorie et Applications. Collection Mathématiques Appliquées pour la Maîtrise, p. 234. Masson, Paris (1983)
Coifman, R., Lions, P.-L., Meyer, Y., Semmes, S.W.: Compensated compactness and Hardy spaces. J. Math. Pures Appl. 72(3), 247–286 (1993)
Federer, H.: Geometric Measure Theory. Springer, Berlin (1969)
Ge, Y.: A remark on generalized harmonic maps into spheres. Nonlinear Anal. Ser. A Theory Methods 36(4), 495–506 (1999)
Grüter, M., Widman, K.-O.: The Green function for uniformly elliptic equations. Manuscr. Math. 37(3), 303–342 (1982)
Gulliver, R., Osserman, R., Halsey, R.: A theory of branched immersions of surfaces. Am. J. Math. 95, 750–812 (1973)
Han, Q., Lin, F.: Elliptic Partial Differential Equations. Courant Lecture Notes in Mathematics, 1, p. 144. American Mathematical Society, Providence, RI (1997)
Hörmander, L.: An Introduction to Complex Analysis in Several Variables. Elsevier, Amsterdam (1990)
Hélein, F.: Applications harmoniques, lois de conservation, et repères mobiles. Diderot éditeur, Sciences et Arts (1996)
Lamm, T., Sharp, B.: Global estimates and energy identities for elliptic systems with antisymmetric potentials. Commun. Partial Differ. Equ. 41(4), 579–608 (2016)
Laurain, P., Rivière, T.: Angular energy quantization for linear elliptic systems with antisymmetric potentials and applications. Anal. Partial Differ. Equ. 7(1), 1–41 (2014)
Laurain, P., Rivière, T.: Optimal estimate for the gradient of Green functions on degenerating surfaces and applications. Commun. Anal. Geom. 26(4), 887 (2018)
Laurain, P., Rivière, T.: Energy quantization of Willmore surfaces at the boundary of the moduli space. Duke Math. J. 167(11), 2073–2124 (2018)
Marque, N.: An \(\varepsilon \)-regularity with mean curvature control for willmore immersions and application to minimal bubbling. https://arxiv.org/1904.05215 (2019)
Marque, N.: Minimal bubbling for Willmore surfaces. Int. Math. Res. Not. 2021, 17708 (2020)
Michelat, A.: On the Morse Index of Willmore spheres in \(S^3\). Commun. Anal. Geom. 28(6), 1337–1406 (2020)
Michelat, A.: Morse Index estimates of min-max Willmore surfaces. arXiv:1808.07700 (2018)
Michelat, A.: On the Morse Index of Branched Willmore spheres in 3-space. Calc. Var. Partial Differ. Equ. 60, 97 (2021)
Michelat, A.: On the Morse Index of critical points in the viscosity method. Calc. Var. Partial Differ. Equ. 61(2), 42 (2022)
Michelat, A., Rivière, T.: A viscosity method for the min-max construction of closed geodesics. ESAIM Control Optim. Calc. Var. 22, 1282–1324 (2016)
Müller, S., Šverák, V.: On surfaces of finite total curvature. J. Differ. Geom. 42(2), 229–258 (1995)
Olivier, D., Emmanuel, H., Robert, F.: A \(C^0\)-theory for the blow-up of second order elliptic equations of critical sobolev growth. Electron. Res. Announc. Am. Math. Soc. 9, 19–25 (2003)
Pigati, A., Rivière, T.: A proof of the multiplicity one conjecture for min-max minimal surfaces in arbitrary codimension. Duke Math. J. 169(11), 2005–2044 (2020)
Pigati, A., Rivière, T.: The regularity of parametrized integer stationary varifolds in two dimensions. Commun. Pure Appl. Math. 73(9), 1981–2042 (2020)
Rivière, T.: Conservation laws for conformally invariant variational problems. Invent. Math. 168(1), 1–22 (2007)
Rivière, T.: Analysis aspects of Willmore surfaces. Invent. Math. 174, 1–45 (2008)
Rivière, T.: Variational principles for immersed surfaces with \(L^2\)-bounded second fundamental form. J. Reine Angew. Math. 695, 41–98 (2014)
Rivière, T.: Conformally invariant variational problems. In preparation (2021)
Rivière, T.: Lower semi-continuity of the index in the visosity method for minimal surfaces. Int. Math. Res. Not. IMRN 8, 5651–5675 (2021)
Rivière, T.: The regularity of conformal target harmonic maps. Calc. Var. Partial Differ. Equ. 56(4), 15 (2017)
Rivière, T.: A viscosity method in the min-max theory of minimal surfaces. Publ. Math. Inst. Hautes Études Sci. 126(1), 177–246 (2017)
Rivière, T.: Willmore minmax surfaces and the cost of the sphere eversion. J. Eur. Math. Soc. (JEMS) 23(2), 349–423 (2021)
Toro, T.: Geometric conditions and existence of bi-Lipschitz parameterizations. Duke Math. J. 77(1), 193–227 (1995)
Wang, C.: Remarks on approximate harmonic maps in dimension two. Calc. Var. Partial Differ. Equ. 56(2), 24 (2017)
Acknowledgements
The authors are grateful to the anonymous referee for making many useful suggestions that permitted us to improve the presentation of the article. The first author was financed by the SNSF No. 172707.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 Some Basic Properties of Lorentz Spaces
Fix a measured space \((X,\mu )\). Define for all \(0<t<\infty \) the measurable function \(f_{*}\) on \((0,\infty )\) by
and recall that for all \(\lambda >0\)
In particular, using twice the usual slicing formula (valid for an arbitrary measure \(\mu \) that need not be \(\sigma \)-finite), we find
To simplify notations we will often remove the reference to the measure \(\mu \). This motivates the introduction of the following quasi-norm for \(1<p<\infty \) and \(1\le q<\infty \)
If we define \( \displaystyle f_{**}(t)=\dfrac{1}{t}\int _{0}^{t}f_{*}(s)\text {d}s, \) then the associated norm to \(L^{p,q}\) is
and \((L^{p,q}(X,\mu ),\left\| \,\cdot \,\right\| _{{\mathrm {L}}^{p,q}(X)})\) is a Banach space for all \(1<p<\infty \) and \(1\le q< \infty \). Now, we have by Fubini’s theorem for all \(f\in L^{p,q}(X,\mu )\)
Therefore, \(\left| \,\cdot \,\right| _{{\mathrm {L}}^{p,1}(X)}\) is a norm for all \(1<p<\infty \). Furthermore, notice that Fubini’s theorem also shows ([30]) that
In particular, for \(q=1\) each of the quantities (7.1), (7.2) and (7.3) defines a norm on \(L^{p,1}(X,\mu )\). Finally, for \(q=\infty \), we define the quasi-norm
and the norm
makes \((L^{p,\infty }(X),\left\| \,\cdot \,\right\| _{{\mathrm {L}}^{p,\infty }(X)})\) a Banach space (they are the classical Marcinkiewicz weak \(L^p\) spaces). Notice however that \(L^{1,\infty }\) is not a Banach space. We have the general inequality for all \(1<p<\infty \)
The norms are related as follows (see [30]).
Lemma 7.1
For all \(1<p<\infty \) and \(1\le q\le r<\infty \), and for all \(f\in L^{p,q}(X,\mu )\), we have
Proof
As \(f_{*}\) is decreasing, we have for all \(0<t<\infty \)
which implies that for all \(1\le q<\infty \)
Now, assume that \(1\le q<r<\infty \). Then, (7.4) implies that
This concludes the proof of the Lemma. \(\square \)
In particular, if \(q=1\), as \(\left\| f\right\| _{{\mathrm {L}}^{p,1}(X)}=\frac{p}{p-1}\left| f\right| _{{\mathrm {L}}^{p,1}(X)}\), we deduce by (7.5) that
In particular as \(\left| \,\cdot \,\right| _{{\mathrm {L}}^{p,p}(X)}=\left\| \,\cdot \,\right\| _{{\mathrm {L}}^{p}(X)}\), we have
Notice that for \(p=2\). this yields
Finally, recall the inequality
It implies that for all \(1<p<\infty \)
while for all \(1<p<\infty \) and \(1\le q< \infty \), we have by Hölder’s inequality (applied to the Haar measure \(\nu =\dfrac{\text {d}t}{t}\) on \((0,\infty )\))
Therefore, we have for all \(1<p<\infty \) and \(1\le q\le \infty \)
and one shows that for all \(1<p<\infty \) and \(1\le q< \infty \), the dual space of \(L^{p,q}(X,\mu )\) is \(L^{p',q'}(X,\mu )\). In particular, (7.7) implies that for all \(1<p<\infty \)
The main case of interest in this article is the \(L^{2,1}\) norm, which now can be defined as
and
As
we have for all open subset \(\Omega \subset {\mathbb {R}}^n\) and \(f\in L^{n,1}(\Omega )\), for all \(y\in {\mathbb {R}}^n\)
In particular, if \(\Omega \subset {\mathbb {R}}^2\), we have
1.2 Extension Operators on Annuli
The following result was used in [2] and [15].
Lemma 7.2
Let \(n\ge 2\), \(\varepsilon >0\) and \(1+\varepsilon<R<\infty \) and \(\Omega _{R}=B_R\setminus \overline{B}_1(0)\) be the associated annulus. Then, there exists a linear extension operator
such that for all \(1\le p<\infty \), there exists a universal constant \(C_1(n,\varepsilon )>0\) (independent of \(R>1+\varepsilon \)) such that for all \(1\le p<\infty \)
Furthermore, for all \(1<p<\infty \) and \(1\le q\le \infty \), T extends as a linear operator \(W^{1,(p,q)}(\Omega _R)\rightarrow W^{1,(p,q)}(B_R(0))\) such that for some universal constant \(C_2(n,p,q,\varepsilon )\)
Proof
The second assertion follows directly from the Stein-Weiss interpolation theorem ([11], 3.3.3). For the first part, construct by [3], IX.7 a linear extension operator \(\widetilde{T}\) such that for all \(u \in W^{1,p}(B_{1+\varepsilon }\setminus \overline{B}_1(0))\), \(\widetilde{T} u\in W^{1,p}(B_{1+\varepsilon }(0))\) and such that
Now, if \(u\in W^{1,p}(B_R(0))\), just consider the restriction \(\overline{u}|B_{1+\varepsilon }(0)\setminus \overline{B}_1(0)\), and define
As \(\widetilde{T}u=u\) on \(B_{1+\varepsilon }\setminus \overline{B}_1(0)\), T satisfies the claimed properties by (7.10). \(\square \)
Remark 7.3
Although the norm of the operator \(T:W^{1,p}(\Omega _R)\rightarrow W^{1,p}(B_R(0))\) does not depend on \(1<p<\infty \), the norm of \(T:W^{1,(p,q)}(\Omega _R)\rightarrow W^{1,(p,q)}(B_R(0))\) depends a priori on \(1<p<\infty \) and \(1\le q\le \infty \), as the constant of the Stein-Weiss interpolation theorem depends on these parameters.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Michelat, A., Rivière, T. Pointwise Expansion of Degenerating Immersions of Finite Total Curvature. J Geom Anal 33, 24 (2023). https://doi.org/10.1007/s12220-022-01058-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01058-z
Keywords
- Pointwise expansion
- Conformal immersions of finite total curvature
- Willmore immersions
- Viscosity method