Abstract
Dirac-harmonic maps couple a second order harmonic map type system with a first nonlinear Dirac equation. We consider approximate Dirac-harmonic maps \(\{(\phi _n,\psi _n)\}\), that is, maps that satisfy the Dirac-harmonic system up to controlled error terms. We show that such approximate Dirac-harmonic maps defined on a Riemann surface, that is, in dimension 2, continue to satisfy the basic properties of blow-up analysis like the energy identity and the no neck property. The assumptions are such that they hold for solutions of the heat flow of Dirac-harmonic maps. That flow turns the harmonic map type system into a parabolic system, but simply keeps the Dirac equation as a nonlinear first order constraint along the flow. As a corollary of the main result of this paper, when such a flow blows up at infinite time at interior points, we obtain an energy identity and the no neck property.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Dirac-harmonic maps were introduced and studied in [2, 3]. They were motivated by the supersymmetric nonlinear sigma model from quantum field theory [6, 10], and they combine and generalize the theories of harmonic maps and harmonic spinors.
Let us recall the precise definiton. Let M be a compact Riemann surface, equipped with a Riemannian metric h and with a fixed spin structure, \(\Sigma M\) be the spinor bundle over M and \(\langle \cdot ,\cdot \rangle _{\Sigma M}\) be the metric on \(\Sigma M\) induced by the Riemannian metric h. Choosing a local orthonormal basis \({e_\alpha ,\alpha =1,2}\) on M, the usual Dirac operator is defined as , where \(\nabla \) is the spin connection on \(\Sigma M\). The usual Dirac operator on a surface can be seen as the Cauchy-Riemann operator. Consider \(\mathbb {R}^2\) with the Euclidean metric \(dx^2+dy^2\). Let \(e_1=\frac{\partial }{\partial x}\) and \(e_2=\frac{\partial }{\partial y}\) be the standard orthonormal frame. A spinor field is simply a map \(\psi :\mathbb {R}^2\rightarrow \Delta _2=\mathbb {C}^2\), and the action of \(e_1\) and \(e_2\) on spinors can be identified with multiplication with matrices
If \(\psi :=\begin{pmatrix}\psi _1 \\ \psi _2\end{pmatrix}:\mathbb {R}^2\rightarrow \mathbb {C}^2\) is a spinor field, then the Dirac operator is
where
For more details on spin geometry and Dirac operators, one can refer to [14].
Let \(\phi \) be a smooth map from M to another compact Riemannian manifold (N, g) with dimension \(n\ge 2\). Let \(\phi ^\star TN\) be the pull-back bundle of TN by \(\phi \) and then we get the twisted bundle \(\Sigma M\otimes \phi ^\star TN\). Naturally, there is a metric \(\langle \cdot ,\cdot \rangle _{\Sigma M\otimes \phi ^\star TN}\) on \(\Sigma M\otimes \phi ^\star TN\) which is induced from the metrics on \(\Sigma M\) and \(\phi ^\star TN\). Also we have a natural connection \(\widetilde{\nabla }\) on \(\Sigma M\otimes \phi ^\star TN\) which is induced from the connections on \(\Sigma M\) and \(\phi ^\star TN\). Let \(\psi \) be a section of the bundle \(\Sigma M\otimes \phi ^\star TN\). In local coordinates, it can be written as
where each \(\psi ^i\) is a usual spinor on M and \({\partial _{y^i}}\) is the nature local basis on N. Then \(\widetilde{\nabla }\) becomes
where \(\Gamma ^i_{jk}\) are the Christoffel symbols of the Levi-Civita connection of N. The Dirac operator along the map \(\phi \) is defined by .
We consider the following functional
The functional \(L(\phi ,\psi )\) is conformally invariant. That is , for any conformal diffeomorphism \(f:M\rightarrow M\), setting
Then \(L(\widetilde{\phi },\widetilde{\psi })=L(\phi ,\psi )\). For the proof, one can refer to [3]. Here \(\lambda \) is the conformal factor of the conformal map f, i.e. \(f^*h=\lambda ^2h\). Critical points \((\phi ,\psi )\) are called Dirac-harmonic maps from M to N.
The Euler-Lagrange equations of the functional L are
where \(R(\phi ,\psi )\) is defined by
Here \(R^m_{lij}\) stands for the Riemann curvature tensor of the target manifold (N, g). One can refer to [2, 3].
By the Nash embedding theorem, we embed N into \(\mathbb {R}^K\). Then, the critical points \((\phi ,\psi )\) satisfy the Euler-Lagrange equations
where is the usual Dirac operator, A is the second fundamental form of N in \(\mathbb {R}^K\), and
Here \(P(\xi ;\cdot )\) denotes the shape operator, defined by \(\langle P(\xi ;X),Y\rangle =\langle A(X,Y),\xi \rangle \) for \(X,Y\in \Gamma (TN)\), and Re(z) denotes the real part of \(z\in \mathbb {C}\). We refer to [2, 3, 5, 11, 24, 30, 33] for more details.
Denote
In this paper, with applications for the Dirac-harmonic heat flow in mind, we want to consider pairs \((\phi ,\psi )\) that satisfy the Euler-Lagrange equations up to an error term in \(L^1\). Here is the precise
Definition 1.1
\((\phi ,\psi )\in W^{2,2}(M,N)\times W^{1,\frac{4}{3}}(M,\Sigma M\times \phi ^\star TN)\) is called an approximate Dirac-harmonic map if there exist \((\tau (\phi ,\psi ),h(\phi ,\psi ))\in L^1(M)\) such that
Thus, \((\phi ,\psi )\) is a Dirac-harmonic map if and only if \(\tau (\phi ,\psi )=h(\phi ,\psi )=0\). In the sequel, we shall need to assume that the error terms are in stronger spaces than \(L^1\), however. See for instance Theorem 1.2.
As for harmonic maps, the conformal invariance of the energy functional L leads to non-compactness of the set of Dirac-harmonic maps in dimension 2. This has been studied extensively by [2, 18, 32], and in [11] for a more general case. For the harmonic map case, we refer to [7, 15,16,17, 22, 29, 31]. Roughly speaking, the results of those papers assert that the failure of strong convergence occurs at finitely many concentration points of the energy. At such points, finitely many bubbles (i.e. nonconstant Dirac-harmonic spheres) separate, and the total energies from these bubbles account for the total loss of Dirichlet energies during the process of convergence. Moreover, the image of the remaining the base map and those of the bubbles are connected in the target manifold. This is called the no neck property.
In this paper, we will extend the results from [2, 18, 32] to the approximate Dirac-harmonic maps from a closed Riemann surface M to a compact Riemannian manifold N.
Denote the energy of \(\phi \) on \(\Omega \subset M\) by
the energy of \(\psi \) on \(\Omega \subset M\) by
and the energy of the pair \((\phi ,\psi )\) on \(\Omega \subset M\) by
We shall often omit the domain M from the notation and simply write \(E(\phi )=E(\phi ;M), E(\psi )=E(\psi ;M)\) and \(E(\phi ,\psi )=E(\phi ,\psi ;M)\).
Our first main result is
Theorem 1.2
For a sequence of smooth approximate Dirac-harmonic maps \(\{(\phi _n,\psi _n)\}\) from a closed Riemann surface M to a compact Riemannian manifold N with uniformly bounded energy
and
defining the blow-up set
where \(\epsilon _0>0\) is as in Theorem 2.1, then \(\mathcal {S}\) is a finite set \(\{p_1,\ldots ,p_I\}\). There exists an approximate Dirac-harmonic map \((\phi ,\psi )\) so that, up to a subsequence, still denoted by \(\{(\phi _n,\psi _n)\}\), converges weakly in \(W^{2,2}_{loc}(M{\setminus } \mathcal {S})\times W^{1,2}_{loc}(M{\setminus } \mathcal {S})\) to \((\phi ,\psi )\) and there are a finite set of Dirac-harmonic spheres \((\sigma _i^l,\xi _i^l):S^2\rightarrow N, i=1,\ldots ,I\); \(l=1,...,L_i\) such that
and the image \(\phi (M)\cup _{i=1}^I\cup _{l=1}^{L_i}(\sigma ^l_i(S^2))\) is a connected set.
Remark 1.3
From the proof of Theorem 4.1 in Sect. 4, it is easy to see that also the following identities hold:
This is due to the fact that both \(\int _M|\nabla \psi |^{\frac{4}{3}}dM\) and \(L(\phi ,\psi )\) are conformally invariant [3].
As an application of Theorem 1.2, we study the asymptotic behavior at infinite time for the Dirac-harmonic map flow in dimension 2.
For that purpose, we first review the heat flow for Dirac-harmonic maps as introduced and studied in [4, 12] (a different flow has been introduced and studied in [1]). One tries to find \((\phi ,\psi ):M\times [0,\infty )\rightarrow N\times \phi ^\star TN\) that solves
with the following boundary-initial data:
where \(\tau (\phi )=\Delta \phi -A(\phi )(d\phi ,d\phi )\) is the tension field of \(\phi , M\) is a compact Riemannian spin manifold with smooth boundary \(\partial M, \phi _0\in W^{1,2}(M,N), \varphi \in C^{2+\alpha }(\partial M;N), \chi \in C^{1+\alpha }(\partial M;\Sigma M\otimes \phi ^\star TN)\) are given maps and \(\mathcal {B}=\mathcal {B}^{\pm }\) is the chiral boundary operator defined as follows:
where \(\overrightarrow{n}\) is the outward unit normal vector field on \(\partial M\), and G is the chiral operator satisfying:
for any \(X\in \Gamma (TM)\).
In dimension dim \(M = 2\), [4] established the short-time existence for (1.14) with smooth initial-boundary data (1.15). Later, [12] showed that, under some smallness assumption for \(\Vert \phi _0\Vert _{H^{1}}+\Vert \mathcal {B}\chi \Vert _{L^{2}}\), there exists a unique global weak solution to (1.14) with initial-boundary data (1.15), which has at most finitely many singular times and enjoys the property
It follows from (1.19) that there exists a sequence \(t_n\uparrow \infty \) such that \((\phi _n,\psi _n):=(\phi (\cdot ,t_n),\psi (\cdot ,t_n)) \in W^{2,2}(M,N)\times W^{1,\frac{4}{3}}(M,\Sigma M\times \phi ^\star TN)\) is an approximate Dirac-harmonic map with boundary-data
which satisfies the assumptions of Theorem 1.2. In fact, \(h(\phi _n,\psi _n)=0\) and
Thus, as an immediate corollary, we obtain
Theorem 1.4
For \(\mathrm{dim}\ M = 2\) and \(\phi _0\in H^1(M,N), \varphi \in C^{2+\alpha }(\partial M,N), \chi \in C^{1+\alpha }(\partial M,\Sigma M\otimes \varphi ^\star TN)\), let \((\phi ,\psi ):M\times [0,\infty )\rightarrow N\times \phi ^\star TN\) be a global weak solution of (1.14) and (1.15), which has finitely many singular times and satisfies (1.19). Moreover, we assume that \((\phi ,\psi )\) blows up at infinite time and at interior points. Then there exist \(t_n\uparrow \infty \), a Dirac-harmonic map \((\phi _\infty ,\psi _\infty )\in C^{2+\alpha }(M,N)\times C^{1+\alpha }(M,\Sigma M\otimes \phi _\infty ^{*}TN)\) with boundary data \(\phi _\infty |_{\partial M}=\varphi \) and \(\mathcal {B}\psi _\infty |_{\partial M}=\mathcal {B}\chi \), and a nonnegative integer I and finitely many points \(\{p_1,...,p_I\}\in M\) such that
-
(1)
\((\phi _n,\psi _n):=(\phi (\cdot ,t_n),\psi (\cdot ,t_n))\rightharpoonup (\phi _\infty ,\psi _\infty )\ in\ W^{1,2}(M,N)\times W^{1,\frac{4}{3}}(M,\Sigma M\times \phi ^\star TN)\);
-
(2)
\((\phi _n,\psi _n)\rightarrow (\phi _\infty ,\psi _\infty )\ in\ W_{loc}^{1,2}(M{\setminus } \{p_1,...,p_L\})\times L_{loc}^{4}(M{\setminus } \{p_1,...,p_I\})\);
-
(3)
For \(1\le i\le I\), there exist a positive integer \(L_i\) and \(L_i\) nontrivial Dirac-harmonic spheres \((\sigma _i^l,\xi _i^l):S^2\rightarrow N, i=1,...,I\); \(l=1,...,L_i\) such that
$$\begin{aligned} \lim _{n\rightarrow \infty }E(\phi _n)= & {} E(\phi _\infty )+\sum _{i=1}^I\sum _{l=1}^{L_i}E(\sigma _i^l),\end{aligned}$$(1.21)$$\begin{aligned} \lim _{n\rightarrow \infty }E(\psi _n)= & {} E(\psi _\infty )+\sum _{i=1}^I\sum _{l=1}^{L_i}E(\xi _i^l), \end{aligned}$$(1.22)and
$$\begin{aligned} \lim _{n\rightarrow \infty }\Vert \phi (\cdot ,t_n)-\phi _\infty (\cdot )-\sigma _i^l(\cdot )\Vert _{L^\infty (M)}=0. \end{aligned}$$(1.23)
Remark 1.5
In this Theorem 1.4, we only consider the interior blow-up phenomenon for the Dirac-harmonic maps flow. The boundary blow-up case is treated in a subsequent paper [13].
This paper is organized as follows. In Sect. 2, we shall prove some basic lemmas, called small energy regularity, Pohozaev’s identity and removable singularity, so that the expert will readily know what we are talking about, and we shall recall some known results for later use. In Sect. 3, we shall establish the three circle theorem for approximate Dirac-harmonic maps which ensures the exponential decay of the tangential energy. Our main result Theorem 1.2 will be proved in Sect. 4.
2 Some basic lemmas
In this section, we will prove some basic lemmas and recall some known results which will be used in this paper.
Firstly, we prove a small energy regularity theorem.
Theorem 2.1
There is a small constant \(\epsilon _0>0\) such that if \((\phi ,\psi )\in W^{2,p}(D,N)\times W^{1,q}(D,\Sigma D\otimes \phi ^\star TN)\) is an approximate Dirac-harmonic map from the unit disc D in \(\mathbb {R}^2\) to a compact Riemannian manifold (N, g) with \(\tau \in L^p, h\in L^q\) for some \(\frac{4}{3}\le p\le 2, \frac{8}{5}\le q\le 2\), and satisfies
then
where \(\overline{\phi }:=\frac{1}{|D_{1/2}|}\int _{D_{1/2}}\phi dx\) and \(C>0\) is a constant depending only on \(p,\ q,\ \Lambda ,\ N\).
Moreover, by the Sobolev embedding \(W^{2,p}(\mathbb {R}^2)\subset C^0(\mathbb {R}^2)\), we have
Proof
Without loss of generality, we assume \(\frac{1}{|D_{1/2}|}\int _{D_{1/2}}\phi dx=0\).
Choosing a cut-off function \(\eta \in C_0^\infty (D)\) satisfying \(0\le \eta \le 1,\eta |_{D_{3/4}}\equiv 1,|\nabla \eta |+|\nabla ^2\eta |\le C\), by the standard theory of first order elliptic equations, for any \(1<q<2\), we have
Taking \(q=\frac{8}{5}\) and \(\epsilon _0>0\) sufficiently small, by Sobolev embedding, we obtain
Computing directly, we get
By standard elliptic estimates,
Taking \(\epsilon _0>0\) sufficiently small, we have
By the interior elliptic estimates, for any \(\frac{4}{3}\le p\le 2\) we have
By the interior elliptic estimates for first order equations, for any \(\frac{8}{5}\le q\le 2\), we get
\(\square \)
Secondly, by a direct computation, we have the following proposition.
Proposition 2.2
Suppose \(\phi \in C^2(M,N), \psi \in C^2(M,\Sigma M\otimes \phi ^\star TN)\). Let \(\{e_\alpha \}_{\alpha =1}^2\) be a unit normal basis of TM and \(e_\beta \in \Gamma (TM)\) a section satisfying
then
where \([\cdot ,\cdot ]\) is the Lie bracket, \(\phi _\beta =d\phi (e_\beta )\) and \(\psi _\beta =\widetilde{\nabla }_{e_\beta }\psi \).
Proof
Proposition 2.2 is proved in [3]. For the reader’s convenience, we recall it here.
On the one hand, we have
On the other hand, by a direct computation, we get
where \(R^{\Sigma M}\) is the curvature operator of the connection on the spinor bundle \(\Sigma M\). For this curvature, we have (see [3, 6, 14])
Thus we obtain
Therefore,
Then, the conclusion of the proposition follows immediately. \(\square \)
Thirdly, we compute Pohozaev’s identity for approximate Dirac-harmonic maps.
Lemma 2.3
Let \(D\subset \mathbb {R}^2\) be the unit disk and \((\phi ,\psi )\) be a smooth approximate Dirac-harmonic map, then for any \(0<t<\frac{1}{2}\), we have
where \((r,\theta )\) are polar coordinates in D centered at \(0, \phi _r=d\phi (\frac{\partial }{\partial r}), \psi _r=\widetilde{\nabla }_{\frac{\partial }{\partial r}}\psi \) and \(\psi _\theta =\widetilde{\nabla }_{\frac{\partial }{\partial \theta }}\psi \).
Proof
Multiplying the equation (1.7) by \(r\phi _r\) and integrating over \(D_t\), by Proposition 2.2 and the fact that \(r\phi _r=x^\beta \frac{\partial \phi }{\partial x^\beta }=x^\beta d\phi (\frac{\partial }{\partial x^\beta })\), we get
On the one hand, integrating by parts, we have
On the other hand, by Lemma 2.6, we get
and
Combining the preceding equations, we get the conclusion of the lemma. \(\square \)
Corollary 2.4
Under the assumption of Lemma 2.3, if \(\Vert \tau (\phi ,\psi )\Vert _{L^2(D)}+\Vert h(\phi ,\psi )\Vert _{L^4(D)}\le C\), then for any \(0<t<\frac{1}{4}\), we have
Proof
By Lemma 2.3, for any \(0<s<\frac{1}{2}\), we have
It is easy to see that
and
where we used the fact that
Multiplying (2.7) by \(\frac{1}{s}\) and integrating from t to 2t, we get
\(\square \)
Thirdly, we state an interior removable singularity result.
Theorem 2.5
Let \((\phi ,\psi )\in W^{2,2}_{loc}(D{\setminus }\{0\})\times W^{1,2}_{loc}(D{\setminus }\{0\})\) be an approximate Dirac-harmonic map from \(D{\setminus }\{0\}\) to N with finite energy
that satisfies
then \((\phi ,\psi )\) can be extended to a field in \(W^{2,2}(D)\times W^{1,2}(D)\).
Proof
By a standard argument as in Lemma A.2 in [9], it is easy to see that \((\phi ,\psi )\) is a weak solution of (2.12) and (2.13). It is known that the equation of \(\phi \) can be written as an elliptic system with an anti-symmetric potential [5, 24, 30]:
with \(\Omega \in L^2(B_1,so(N)\otimes \mathbb {R}^2)\) satisfying \(|\Omega |\le C (|\nabla \phi |+|\psi |^2)\). Then it follows from Riviere’s regularity result and its extensions (see [26,27,28]) that \(\phi \in W^{2,p}(D)\) for any \(1<p<2\) which implies \(\phi \in W^{1,4}(D)\). Applying a simple argument to the Dirac equation for \(\psi \) gives that \(\psi \in W^{1,2}(D)\). This indicate that \(\psi \in L^{8}(D)\). Then by (2.12), we have \(\Delta \phi \in L^2(D)\) which implies the conclusion of the theorem. \(\square \)
In the end of this section, we recall two lemmas which are used in this paper.
Lemma 2.6
([5]) For any \(\psi ,\omega \in W^{1,3/4}(M,\Sigma M\otimes \phi ^\star TN)\), we have
where \(\langle \psi ,\omega \rangle :=h_{ij}\langle \psi ^i,\omega ^j\rangle \).
Proposition 2.7
([2]) Let N be a compact Riemannian manifold. Then there exists a constant \(\epsilon _1=\epsilon _1(N)>0\) such that if \((\phi ,\psi )\) is a smooth Dirac-harmonic map from the standard sphere \(S^2\) to N satisfying
then both \(\phi \) and \(\psi \) are trivial.
3 Three circle theorem for approximate Dirac-harmonic maps
In this section, we will extend the three circle theorem for Dirac-harmonic maps in [18] to the case of approximate Dirac-harmonic maps. The idea is from Qing-Tian’s paper [22], which used a special case of the three circle theorem due to Simon [25] to show that the tangential energy of the sequence in the neck region decays exponentially. The second author in cooperation with H.Yin has extended this idea to some fourth order equations, see [19, 20].
Let us first state the three circle theorem for harmonic functions (see [18, 22, 25]).
Theorem 3.1
There exists a constant \(L>0\), such that if u is a nontrivial smooth harmonic function defined in \([(i-1)L,(i+2)L]\times S^1\) that satisfies
then
Next, we prove an \(L^2\) interior estimate for the following integro-differential equations.
Lemma 3.2
Suppose \(u\in W^{2,2}(D_{4}{\setminus } D_{1}), v\in W^{1,2}(D_{4}{\setminus } D_{1})\) and satisfies
where
Then there exists a positive constant \(\rho _0\) such that if \(\rho \le \rho _0\), there holds
Proof
The proof is similar to Lemma 3.1 in [18] where \(f_1=f_2=0\).
Denote \(B_{\sigma }=D_{3+\sigma }{\setminus } D_{2-\sigma }, 0<\sigma <1\). Let \(\sigma '=\frac{\sigma +1}{2}\). Take a cut-off function \(\eta (x)=\eta (|x|)\) with compact support in \(B_{\sigma '}\) satisfying \(\eta (x)\equiv 1\) in \(B_{\sigma }\) and \(|\nabla \eta |\le \frac{4}{(1-\sigma )}\) and \(|\Delta \eta |\le \frac{16}{(1-\sigma )^2}\). Computing directly, we get
By the standard elliptic estimate and Sobolev embedding, we have
Similarly, we can compute
By the first order elliptic estimate, we have
Taking \(\rho _0\) sufficiently small, we get
We now introduce seminorms, and define for \(j=0,1,2\)
Multiplying (3.6) by \((1-\sigma )^2\) and noting that \(1-\sigma '=\frac{1-\sigma }{2}\), we have
We claim now that \(\Xi _j\) satisfy an interpolation inequality
for any \(\epsilon >0\), where \(C>0\) is a universal constant. In fact, by the definition of \(\Xi _1\), for any \(\gamma >0\), we have
where the second inequality is derived from the interpolation Theorem 7.27 (or Theorem 7.28) in [8].
By letting \(\gamma \rightarrow 0\), we obtain (3.8). Using (3.8) in (3.7), we then obtain
this is
Taking \(\sigma =\frac{1}{2}\), it follows
Choosing a new cut-off function \(\eta \) in (3.6) and using (3.9), we get
Then it is easy to see that the lemma follows from (3.9) and (3.10). \(\square \)
Denote \(P_i:=D_{e^{(i+1)L}r_2}{\setminus } D_{e^{iL}r_2}\) and
where \(L>0\) is the constant in Theorem 3.1.
We have the following three circle theorem:
Theorem 3.3
Suppose \(u\in W^{2,2}(P_{i-1}\cup P_{i}\cup P_{i+1}), v\in W^{1,2}(P_{i-1}\cup P_{i}\cup P_{i+1})\) satisfy equations (3.2) and (3.3). Then there exists a positive constant \(\rho _0\), such that if \(0<\rho _1<\rho _0\) and
and for any \(e^{(i-1)L}r_2\le r\le \frac{1}{2}e^{(i+2)L}r_2\), there hold
and
then, there hold
-
\((a)\ F_{i+1}(u,v)\le e^{-L}F_{i}(u,v)\) implies \(F_{i}(u,v)\le e^{-L}F_{i-1}(u,v)\);
-
\((b)\ F_{i-1}(u,v)\le e^{-L}F_{i}(u,v)\) implies \(F_{i}(u,v)\le e^{-L}F_{i+1}(u,v)\);
-
(c) either \(F_{i}(u,v)\le e^{-L}F_{i-1}(u,v)\) or \(F_{i}(u,v)\le e^{-L}F_{i+1}(u,v)\).
Proof
Since \(F_i(u,v)\), (3.11) and (3.12) are scaling invariant, we may assume \(r_2=1\) and \(i=2\). If the conclusion does not hold, there exist sequences \(\rho _{1k}\rightarrow 0, A^j_{k}, B^j_{k} \) (j=1,...,6), \(f_{1k}, f_{2k}, u_k, v_k\) such that \(u_k\) and \(v_k\) satisfy
and
Moreover, for any \(e^{(i-1)L}\le r\le e^{(i+2)L}, A^j_{k}, B^j_{k}, f_{1k}, f_{2k}\) satisfy
and
But, \(u_k\) does not satisfy at least one of the conclusions in (a), (b) and (c).
If (a) does not hold, then we have
If (b) does not hold, then we have
If (c) does not hold, then we have
In all those three cases, we may get the same conclusion that
Without loss of generality, we assume \(F_{2}(u_k,v_k)=1\) (if not, we consider \(\widetilde{u_k}=\frac{u_k}{F_2(u_k,v_k)}\) and \(\widetilde{v_k}=\frac{v_k}{F_2(u_k,v_k)}\)). Then we obtain
By Lemma 3.2, we have \(\Vert u_k\Vert _{W^{2,2}( P_2)}+\Vert v_k\Vert _{W^{1,2}( P_2)}\le C\). So, there exists a subsequence of \((u_k,v_k)\) (we still denote it by \((u_k,v_k)\)), such that
It is easy to see that u is a harmonic function and v is a holomorphic function in \(D_{e^{(i+2)L}}{\setminus } D_{e^{(i-1)L}}\) and they satisfy
Let \(f:\mathbb {R}^1\times \mathbb {S}^1\rightarrow \mathbb {R}^2, f(t,\theta )=(e^{t},\theta ) (t,\theta )\in \mathbb {R}^1\times \mathbb {S}^1\) where \(\mathbb {R}^1\times \mathbb {S}^1\) is equipped with the metric \(g=dt^2+d\theta ^2\), which is conformal to the standard Euclidean metric \(ds^2\) on \(\mathbb {R}^2\). In fact,
Then we know that \(u\circ f\) is a harmonic function and \(e^{\frac{t}{2}}v\circ f\) is a holomorphic function in \([L,4L]\times S^1\).
According to Theorem 3.1, we know
and
which implies
and
Thus,
But, letting \(k\rightarrow \infty \) in (3.13) which implies
This contradiction finishes the proof. \(\square \)
As a direct corollary of the three circle theorem, we can get the following decay lemma.
Lemma 3.4
Let \(\rho _1>0\) be the constant in Theorem 3.3. Let \(u\in W^{2,2}(D_{e^{(l+1)L}r_2}{\setminus } D_{r_2}), v\in W^{1,2}(D_{e^{(l+1)L}r_2}{\setminus } D_{r_2}), f_i\in L^{2}(D_{e^{(l+1)L}r_2}{\setminus } D_{r_2}), i=1,2\), and some integer \(l>1\), satisfying equations (3.2), (3.3) and for any \(r_2\le r\le \frac{1}{2} e^{(l+1)L}r_2\), there hold
and
Then we have
Proof
Denote the set of \(j\ (0<j<l)\) for which
by \(J:=\{j_1,...,j_k\}\). If \(J=\emptyset \), according to (c) of Theorem 3.3, we get
Then using the (a) and (b) of Theorem 3.3, by iterating, we obtain
So, we have
which implies (3.17) immediately.
If \(J\ne \emptyset \), without loss of generality, we may assume
Then for each \(j_m, m=1,...,k\), we have
By the choice of \(j_m\), the condition (3.11) holds for \(j_m<i<j_{m+1}, m=1,...,k-1\). Similar to deriving (3.19), we obtain
Thus, we know for \(j_1\le i\le j_k\), there exists \(m\in \{1,...,k-1\}\) such that \(j_m\le i\le j_{m+1}\). Then we get
So, if \(j_1=1\) and \(j_k=l-1\), then the inequality (3.19) follows immediately. If not, assuming \(j_1>1\), similar to deriving (3.20), we have, for \(1\le i\le j_1\),
Similarly, if \(j_k<l-1\), then for \(j_k\le i\le l\), we have
Combining the preceding estimates proves the lemma. \(\square \)
Corollary 3.5
Under the assumptions of Lemma 3.4, we have
Proof
By Lemma 3.2, Lemma 3.4 and a standard scaling argument, we get
\(\square \)
4 Energy identity and no neck result
In this section, we will prove our main result Theorem 1.2.
We first consider the following simpler case of a single interior blow-up point.
Theorem 4.1
Let \((\phi _n,\psi _n)\) be a sequence of smooth approximate Dirac-harmonic maps from \(D_1(0)\) to N with
-
(a)
\(\ \Vert \phi _n\Vert _{W^{1,2}(D)}+\Vert \psi _n\Vert _{L^{4}(D)}+\Vert \tau _n\Vert _{L^{2}(D)} +\Vert h_n\Vert _{L^{4}(D)}\le \Lambda ,\)
-
(b)
\(\ (\phi _n,\psi _n)\rightarrow (\phi ,\psi ) \text{ strongly } \text{ in } W_{loc}^{1,2}(D{\setminus }\{0\},\mathbb {R}^N)\times W_{loc}^{1,\frac{4}{3}}(D{\setminus }\{0\},\mathbb {R}^N)\ as\ n\rightarrow \infty \),
where \(\tau _n:=\tau (\phi _n,\psi _n)\) and \(h_n:=h(\phi _n,\psi _n)\). Then there exist a subsequence of \((\phi _n,\psi _n)\) (still denoted by \((\phi _n,\psi _n)\)) and a nonnegative integer Q such that, for any \(i=1,...,Q\), there exist point \(x^i_n\), positive numbers \(\lambda ^i_n\) and a nonconstant Dirac-harmonic sphere \((\sigma ^i,\xi ^i):S^2\rightarrow N\) such that:
-
(1)
\(\ x^i_n\rightarrow 0,\ \lambda ^i_n\rightarrow 0\), as \(n\rightarrow \infty \);
-
(2)
\(\ \lim _{n\rightarrow \infty }\big (\frac{\lambda ^i_n}{\lambda ^j_n}+\frac{\lambda ^j_n}{\lambda ^i_n} +\frac{|x^i_n-x^j_n|}{\lambda ^i_n+\lambda ^j_n}\big )=\infty \) for any \(i\ne j\);
-
(3)
\(\ (\sigma ^i,\xi ^i)\) is the weak limit of \((\phi _n(x^i_n+\lambda ^i_nx),\sqrt{\lambda ^i_n}\psi _n(x^i_n+\lambda ^i_nx))\) in \(W^{1,2}_{loc}(\mathbb {R}^2)\times W^{1,\frac{4}{3}}_{loc}(\mathbb {R}^2)\);
-
(4)
Energy identity: we have
$$\begin{aligned} \lim _{n\rightarrow \infty }E(\phi _n)= & {} E(\phi )+\sum _{i=1}^{Q}E(\sigma ^i), \end{aligned}$$(4.1)$$\begin{aligned} \lim _{n\rightarrow \infty }E(\psi _n)= & {} E(\psi )+\sum _{i=1}^{Q}E(\xi ^i), \end{aligned}$$(4.2) -
(5)
No neck property: The image
$$\begin{aligned} \phi (D)\cup \bigcup _{i=1}^Q\sigma ^i(S^2) \end{aligned}$$(4.3)is a connected set.
Proof
Assume 0 is the only blow-up point of the sequence \(\{(\phi _n,\psi _n)\}\) in D, i.e.
By the standard argument of blow-up analysis we can assume that, for any n, there exist sequences \(x_n\rightarrow 0\) and \(r_n\rightarrow 0\) such that
Denoting
then we have
where \(\tau (\phi '_n,\psi '_n)=r_n^2\tau (\phi _n,\psi _n)\) and \(h(\phi '_n,\psi '_n)=r_n^{3/2}h(\phi _n,\psi _n)\). Noting that for any \(D_{R}(y)\subset \mathbb R^2\) with \(R>0\), there holds
for n large enough. By the small energy regularity Theorem 2.1, the removable singularity Theorem 2.5 and conformal invariance of Dirac-harmonic maps in dimension two, we can take a subsequence, still denoted by \((\phi '_n,\psi '_n)\), that strongly converges to a nonconstant Dirac-harmonic sphere. This is the first bubble.
By the standard induction argument in [7], we only need to prove the theorem in the case where there is only one bubble. Under this assumption, we have the following:
Claim
For any \(\epsilon >0\), there exist \(\delta >0\) and \(R>0\) such that
when n is large enough.
Proof
In fact, if (4.9) is not true, then we can find \(\overline{\epsilon }>0, t_n\rightarrow 0\), such that \(\lim _{n\rightarrow \infty }\frac{t_n}{r_n}=\infty \) and
Setting
then it is easy to see that 0 is an energy concentration point for \((u_n,v_n)\). We have to consider the following two cases:
- \(\mathbf (a) \) :
-
\((u_n,v_n)\) has no other energy concentration points except 0.
By Theorem 2.1, passing to a subsequence, we may assume that \((u_n,v_n)\) converges to a Dirac-harmonic map \((\sigma ,\xi ):\mathbb R^2\rightarrow N\) strongly in \(W^{1,2}_{loc}(\mathbb R^2)\times L^4_{loc}(\mathbb R^2)\) as \(n\rightarrow \infty \). In particular, we have
$$\begin{aligned} \lim _{n\rightarrow \infty }E(u_n,v_n;D_8{\setminus } D_1)=E(\sigma ,\xi ;D_8{\setminus } D_1)\ge \overline{\epsilon }. \end{aligned}$$According to the standard theory of Dirac-harmonic maps, we know that \((\sigma ,\xi )\) is a nontrivial Dirac-harmonic sphere. This is the second bubble. This is a contradiction to the “one bubble” assumption.
- \(\mathbf (b) \) :
-
\((u_n,v_n)\) has another energy concentration point \(p\ne 0\).
Without loss of generality, we may assume that p is the only blow-up point in \(D_r(p)\) for some small \(r>0\). By the standard theory of blow-up analysis, there exist \(x_n'\rightarrow p\) and \(r_n'\rightarrow 0\) such that
$$\begin{aligned} E(u_n,v_n;D_{r_n'}(x_n'))=\sup _{\begin{array}{c} x\in D_r(p),s\le r_n\\ D_s(x)\subset D_r(p) \end{array}}E(u_n,v_n;D_s(x))=\frac{\epsilon _0^2}{4}. \end{aligned}$$(4.11)From the process of constructing the first bubble, we know that there exists a nontrivial Dirac-harmonic sphere \((\widetilde{\sigma },\widetilde{\xi })\) such that
$$\begin{aligned} (u_n(x_n'+r_n'x),r_n'^{1/2}v_n(x_n'+r_n'x))\rightarrow (\widetilde{\sigma },\widetilde{\xi }) \text{ strongly } \text{ in } W^{1,2}_{loc}(\mathbb R^2)\times L^4_{loc}(\mathbb R^2) \end{aligned}$$as \(n\rightarrow \infty \). This is
$$\begin{aligned}&(\phi _n(x_n+t_nx_n'+t_nr_n'x),(t_nr_n')^{1/2}\psi _n(x_n+t_nx_n'+t_nr_n'x))\rightarrow (\widetilde{\sigma },\widetilde{\xi })\\&\text{ strongly } \text{ in } W^{1,2}_{loc}(\mathbb R^2)\times L^4_{loc}(\mathbb R^2) \end{aligned}$$as \(n\rightarrow \infty \). By (4.11), \((\widetilde{\sigma },\widetilde{\xi })\) is nontrivial. Therefore, we again get the second bubble contradicting the “one bubble” assumption. So, we proved Claim (4.9).
By Theorem 2.1, for any \(t\in (r_nR,\delta )\), we obtain
For simplicity, we will denote \(\phi _n, \psi _n, \tau _n, h_n\) by \(\phi , \psi , \tau \) and h respectively.
We define \(\phi ^*(r)\) and \(\psi ^*(r)\) as follows:
Next, we use the same method as in [18] to compute the equation for \((\phi -\phi ^*,\psi -\psi ^*)\). Here, for reader’s convenience, we repeat this process again.
By equation (1.7), we have
Computing directly, we have
and
where \(A^i\) may differ from line to line and just stands for an expression satisfying
Moreover, (4.12) implies
for any \(t\in (\frac{1}{2}r_nR,2\delta )\). Then, we get
Using the same method, we get
and
where \(A^i,\ B^i,\ i=1,...,6\) satisfy
and
for any \(t\in (\frac{1}{2}r_nR,2\delta )\) by (4.12).
Without loss of generality, we may assume \(\delta =e^{m_nL}r_nR\) for some positive integer \(m_n\) which tends to \(\infty \) as \(n\rightarrow \infty \). Substituting \(u=\phi -\phi ^*\) and \(v=\psi -\psi ^*\) in Corollary 3.5, we obtain the energy decay in the \(\theta \)-direction,
where the last inequality follows from Poincaré’s inequality and the assumption (4.9).
By Corollary 2.4, we get
Therefore,
Then, by Theorem 2.1, we have
and
So, we have proved (4.1) and (4.3).
Combining this with equation (1.8), we get
Thus,
Taking a cut-off function \(\eta \in C^\infty _0(D_\delta )\), such that \(0\le \eta \le 1, \eta \equiv 1\) in \(D_{\frac{1}{2}\delta }{\setminus } D_{2r_nR}\) and
by the elliptic estimates for first order equations and Sobolev embedding, we obtain
where the last inequality follows from (4.22). This is
This is (4.2) and we finished the proof of Theorem 4.1. \(\square \)
Proof of Theorem 1.2
It is easy to see that Theorem 1.2 is a consequence of Theorem 4.1, the removable singularity Theorem 2.5 and the standard argument in [7]. \(\square \)
References
Branding, V.: On the evolution of regularized Dirac-harmonic maps from closed surfaces, arXiv:1406.6274
Chen, Q., Jost, J., Li, J., Wang, G.: Regularity theorems and energy identities for Dirac-harmonic maps. Mathematische Zeitschrift 251(1), 61–84 (2005)
Chen, Q., Jost, J., Li, J., Wang, G.: Dirac-harmonic maps. Mathematische Zeitschrift 254(2), 409–432 (2006)
Chen, Q., Jost, J., Sun, L., Zhu, M.: Estimates for solutions of Dirac equations and an application to a geometric elliptic-parabolic problem. J. Eur. Math. Soc. 79/2014 (Preprint)
Chen, Q., Jost, J., Wang, G., Zhu, M.: The boundary value problem for Dirac-harmonic maps. J. Eur. Math. Soc. (JEMS) 15(3), 997–1031 (2013)
Deligne, P.: Quantum Fields and Strings: A Course for Mathematicians, vol. 2. Amer Mathematical Society, New York (1999)
Ding, W., Tian, G.: Energy identity for a class of approximate harmonic maps from surfaces. Comm. Anal. Geom. 3(3–4), 543–554 (1995)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer Verlag, Heidelberg (2001)
Jost, J.: Two-Dimensional Geometric Variational Problems. Wiley, New York (1991)
Jost, J.: Geometry and Physics. Springer, Berlin (2009)
Jost, J., Liu, L., Zhu, M.: Geometric analysis of the action functional of the nonlinear supersymmetric sigma model, MPI MIS Preprint: 77/2015
Jost, J., Liu, L., Zhu, M.: A global weak solution of the Dirac-harmonic map flow, to appear in Ann. Inst. H. Poincare Anal. Non Lineaire (2017). doi:10.1016/j.anihpc.2017.01.002
Jost, J., Liu, L., Zhu, M.: Energy identity for a class of approximate Dirac-harmonic maps from surfaces with boundary, MPI MIS Preprint: 11/2017
Lawson, H., Michelsohn, M.: Spin Geometry, vol. 38. Princeton University Press, Princeton (1989)
Li, J., Zhu, X.: Energy identity for the maps from a surface with tension field bounded in \(L^p\). Pacific J. Math. 260(1), 181–195 (2012)
Li, Y., Wang, Y.: A weak energy identity and the length of necks for a sequence of Sacks-Uhlenbeck -harmonic maps. Adv. Math. 225(3), 1134–1184 (2010)
Lin, F., Wang, C.: Energy identity of harmonic map flow from surfaces at finite singular time. Calc. Var. Partial Differ. Equ. 6, 369–380 (1998)
Liu, L.: No neck for Dirac-harmonic maps. Calcul. Var. Partial Differ. Equ. 52(1–2), 1–15 (2015)
Liu, L., Yin, H.: Neck analysis for biharmonic maps. Mathematische Zeitschrift 283(3–4), 807–834 (2016)
Liu, L., Yin, H.: On the finite time blow-up of biharmonic map flow in dimension four. J. Elliptic Parabolic Equ. 1, 363–385 (2015)
Parker, T.: Bubble tree convergence for harmonic maps. J. Diff. Geom. 44(3), 595–633 (1996)
Qing, J., Tian, G.: Bubbling of the heat flows for harmonic maps from surfaces. Commun. Pure Appl. Math. 50(4), 295–310 (1997)
Sacks, J., Uhlenbeck, K.: The existence of minimal immersions of 2-spheres. Ann. Math. 113, 1–24 (1981)
Sharp, B., Zhu, M.: Regularity at the free boundary for Dirac-harmonic maps from surfaces. Calc. Var. Partial Differ. Equ. 55(2), 55:27 (2016)
Simon, L.: Asympotics for a class of nolinear evolution equations with applications to geometric problems. Ann. Math. 118, 525–571 (1983)
Sharp, B., Topping, P.: Decay estimates for Rivières equation, with applications to regularity and compactness. Trans. Am. Mathe. Soc. 365(5), 2317–2339 (2013)
Rivière, T.: Conservation laws for conformally invariant variational problems. Invent. Math. 168, 1–22 (2007)
Rivière, T.: Conformally Invariant 2-dimensional Variational Problems. Cours joint de lInstitut Henri Poincaré, Paris XII Creteil, November (2010)
Wang, C.: Remarks on approximate harmonic maps in dimension two. Calc. Var. Partial Differ. Equ. 56:23(2), 56 (2017). 24 pp
Wang, C., Xu, D.: Regularity of Dirac-harmonic maps. Int. Math. Res. Not. IMRN 20, 3759–3792 (2009)
Wang, W., Wei, D., Zhang, Z.: Energy identity for approximate harmonic maps from surface to general targets. J. Funct. Anal. 272(2), 776–803 (2017)
Zhao, L.: Energy identities for Dirac-harmonic maps. Calcul. Var. Partial Differ. Equ. 28(1), 121–138 (2007)
Zhu, M.: Regularity of weakly Dirac-harmonic maps to hypersurfaces. Ann. Global Anal. Geom. 35(4), 405–412 (2009)
Acknowledgements
Open access funding provided by Max Planck Society.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by L. Ambrosio.
The research leading to these results is building upon work that has received funding from the European Research Council under the European Union’s Seventh Framework Programe (FP7/2007-2013) / ERC Grant Agreement No. 267087. The third author was supported in part by National Natural Science Foundation of China (No. 11601325). The authors would like to thank the referee for detailed and useful comments.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Jost, J., Liu, L. & Zhu, M. Blow-up analysis for approximate Dirac-harmonic maps in dimension 2 with applications to the Dirac-harmonic heat flow. Calc. Var. 56, 108 (2017). https://doi.org/10.1007/s00526-017-1202-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-017-1202-0