Abstract
In this paper, we study the blow-up phenomena on the \(\alpha _k\)-harmonic map sequences with bounded uniformly \(\alpha _k\)-energy, denoted by \(\{u_{\alpha _k}: \alpha _k>1 \quad \text{ and } \quad \alpha _k\searrow 1\}\), from a compact Riemann surface into a compact Riemannian manifold. If the Ricci curvature of the target manifold has a positive lower bound and the indices of the \(\alpha _k\)-harmonic map sequence with respect to the corresponding \(\alpha _k\)-energy are bounded, then we can conclude that, if the blow-up phenomena occurs in the convergence of \(\{u_{\alpha _k}\}\) as \(\alpha _k\searrow 1\), the limiting necks of the convergence of the sequence consist of finite length geodesics, hence the energy identity holds true. For a harmonic map sequence \(u_k:(\Sigma ,h_k)\rightarrow N\), where the conformal class defined by \(h_k\) diverges, we also prove some similar results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \((\Sigma ,g)\) be a compact Riemann surface and (N, h) be an n-dimensional smooth compact Riemannian manifold which is embedded in \(\mathbb {R}^K\) isometrically. Usually, we denote the space of Sobolev maps from \(\Sigma \) into N by \(W^{k,p}(\Sigma , N)\), which is defined by
For \(u\in W^{1,2}(\Sigma ,N)\), we define locally the energy density e(u) of u at \(x\in \Sigma \) by
The energy of u on \(\Sigma \), denoted by E(u) or \(E(u, \Sigma )\), is defined by
and the critical points of E are called harmonic maps.
We know that the energy functional E does not satisfy the Palais–Smale condition. In order to overcome this difficulty, Sacks and Uhlenbeck [16] introduced the so called \(\alpha \)-energy \(E_\alpha \) of \(u: \Sigma \rightarrow N\) as the following
where \(\alpha >1\). The critical points of \(E_\alpha \) in \(W^{1,2\alpha }(\Sigma ,N)\) are called as the \(\alpha \)-harmonic maps from \(\Sigma \) into N. It is well-known that this \(\alpha \)-energy functional \(E_\alpha \) satisfies the Palais–Smale condition and therefore there always exists an \(\alpha \)-harmonic maps in each homotopy class of map from \(\Sigma \) into N.
The strategy of Sacks and Uhlenbeck is to employ such a sequence of \(\alpha _k\)-harmonic maps to approximate a harmonic map as \(\alpha _k\) tends decreasingly to 1. If the convergence of the sequence of \(\alpha _k\)-harmonic map is smooth, the limiting map is just a harmonic map from \(\Sigma \) into N.
The energy of a map u from a closed Riemann surface \(\Sigma \) is conformally invariance, it means that, if we let \(g'=e^{2\varphi }g\) be another conformal metric of \(\Sigma \), then
Let \(\mathcal {C}_g\) denote the conformal class induced by a metric g, then, the following definition
does make sense. Moreover, it is well-known that the critical points of \(E(u,\mathcal {C}_g)\) are some branched minimal immersions (see [16, 17]). Hence, in order to get a branched minimal surface, we also need to study the convergence behavior of a sequence of harmonic maps \(u_{k}:(\Sigma ,h_k)\rightarrow N\) with uniformly bounded energy \(E(u_{\alpha _k}) <C\).
No doubt, it is very important to study the convergence of a sequence of \(\alpha _k\)-harmonic maps from a fixed Riemann surface \((\Sigma , g)\) and a sequence of harmonic maps from \((\Sigma ,h_k)\) into N, where \(h_k\) is the metric with constant curvature. In fact, these problems on the convergence of harmonic map or approximate harmonic map sequences have been studied extensively by many mathematicians. Although these sequences converge smoothly to harmonic maps under some suitable geometric and topological conditions, generally one found that the convergence of such two classes of sequences might blow up.
First, let’s recall the convergence behavior of \(\alpha _k\)-harmonic map sequences. Suppose that \(\{u_{\alpha _k}\}\) be a sequence of \(\alpha _k\)-harmonic maps from \((\Sigma , g)\) with bounded uniformly \(\alpha _k\)-energy, i.e. \(E_{\alpha _k}(u_{\alpha _k})\le \Theta \). By the theory of Sacks-Uhlenbeck, there exists a subsequence of \(\{u_{\alpha _k}\}\), still denoted by \(\{u_{\alpha _k}\}\), and a finite set \(\mathcal {S}\subset \Sigma \) such that the subsequence converges to a harmonic map \(u_0\) in \(C^\infty _{loc}(\Sigma \backslash \mathcal {S})\). We know that, at each point \(p_i\in \mathcal {S}\), the energy of the subsequence concentrates and the blow-up phenomena occur. Moreover, there exist point sequences \(\{x_{i_k}^l\}\) in \(\Sigma \) with \(\lim \limits _{k\rightarrow +\infty }x_{i_k}^l= p_i\) and scaling constant number sequences \(\{\lambda _{i_k}^l\}\) with
such that
where all \(v^i\) are non-trivial harmonic maps from \(S^2\) into N, and \(\mathcal {A}^i\subset \mathbb {R}^2\) is a finite set. In order to explore and describe the asymptotic behavior of \(\{u_{\alpha _k}\}\) at each blow-up point, the following two problems were raised naturally.
One is whether or not the energy identity, which states that all the concentrated energy can be accounted for by harmonic bubbles, holds true, i.e.,
Here, \(B^\Sigma _{r_0}(p_i)\) is a geodesic ball in \(\Sigma \) which contains only one blow-up point \(p_i\).
The other is whether or not the limiting necks connecting bubbles are some geodesics in N of finite length?
For a harmonic map sequence \(\{u_k\}\) from \((\Sigma , h_k)\) into (N, h), one also encountered the same problems as above.
Up to now, for both cases one has made considerably great progress in these two problems [1, 3,4,5,6,7,8,9,10,11, 13,14,15, 18, 19].
In particular, in [9] it is proven that if energy concentration does occur, then a generalized energy identity holds. Moreover, from the view point of analysis some sufficient and necessary conditions were given such that the energy identity holds true. On the other hand, a relation between the blowup radii and the values of \(\alpha \) was discovered to ensure the “no neck property”. If necks do occur, however, they must converge to geodesics and an example was given to show that there are even some limiting necks (geodesics) of infinite length.
Generally, the energy identity does not hold true. For the case of harmonic map sequence \(u_k: (\Sigma , h_k)\rightarrow (N,h)\) one has found a counter-example for the energy identity in [13]. Very recently, in [10] a counter-example for the energy identity was given for the case of \(\alpha _k\)-harmonic map sequence.
Furthermore, from the study in [9, 10] we can see that except for \(\alpha \), the topology and geometry of the target manifold (N, h) also play an important role in the convergence of \(\alpha \)-harmonic map sequence from a compact surface. From the viewpoint of differential geometry, it is therefore natural and interesting to find some reasonable geometric and topological conditions on the domain or target manifold such that the energy identity holds. In particular, a natural question is whether or not we can exploit some geometric and topological conditions to ensure the limiting necks are some geodesics of finite length, which implies that the energy identity holds true? For this goal, in this paper we obtain the following two theorems:
Theorem 1.1
Let \((\Sigma ,g)\) be a closed Riemann surface and (N, h) be a closed Riemannian manifold with \(Ric_N>\lambda >0\). Let \(\alpha _k\rightarrow 1\) and \(\{u_{\alpha _k}\}\) be a sequence of maps from \((\Sigma , g)\rightarrow (N,h)\) such that each \(u_k\) is an \(\alpha _k\)-harmonic map, the indices and energy satisfy respectively
If \(\{u_{\alpha _k}\}\) blows up, then the limiting necks consist of some finite length geodesics.
Theorem 1.2
Let \(\Sigma \) be a closed Riemann surface with genus \(g(\Sigma )\ge 1\). In the case \(g(\Sigma )\ge 2\), \(\Sigma \) is equipped a sequence of smooth metrics \(h_k\) with curvature \(-1\). In the case \(g(\Sigma )=1\), \(\Sigma \) is equipped a sequence of smooth metrics \(h_k\) with curvature 0 and the area \(A(\Sigma , h_k) = 1\). Let (N, h) be a Riemannian manifold with the Ricci curvature \(\text{ Ric }_N>\lambda > 0\). Suppose that \((\Sigma , h_k)\) diverges in the moduli space and \(\{u_k\}\) is a harmonic map sequence from \((\Sigma , h_k)\) into (N, h) with bounded index and energy. If the set of the limiting necks of \(u_k\) is not empty, then it consists of finite length geodesics.
Remark 1.3
By the results in [1] or [9], the fact the limiting necks are of finite length implies that the energy identity is true. We should also mention that, when each \(u_{\alpha _k}\) in \(\{u_{\alpha _k}\}\) is the minimizer of the corresponding \(E_{\alpha _k}\) in a fixed homotopy class, Chen and Tian [1] have proved that the necks are just some geodesics of finite length in N.
Remark 1.4
The curvature condition in Theorem 1.1 and 1.2 is used to ensure that any geodesic of infinite length lying on N is not stable. In fact, we will prove in this paper that, if the necks contain an unstable geodesic of infinite length, then the indices of the harmonic (or \(\alpha \)-harmonic) map sequence can not be bounded from the above.
2 The Proofs of Theorem 1.1
Our strategy is to show that the indices of the sequence \(\{u_{\alpha _k}\}\) in Theorem 1.1 are not bounded if there exists a infinite length geodesic in the set of the limiting necks \(\{u_{\alpha _k}\}\). For this goal, first we need to recall the definition of the index of a \(\alpha \)-harmonic map and the second variational formula of \(\alpha \)-energy functional.
2.1 The index of a \(\alpha \)-harmonic map
Let \(u:(\Sigma ,g)\rightarrow (N,h)\) be an \(\alpha \)-harmonic map. \(L=u^{-1}(TN)\) is a smooth pull-back bundle over \(\Sigma \). Let V be a section of L and
Obviously, \(u_0=u\). Then, the formula of the second variation of \(E_\alpha \) reads
For more details we refer to [12].
Let \(\Gamma (L)\) denotes the linear space of the smooth sections of L. Then, the index of u is the maximal dimension of the linear subspaces of \(\Gamma (L)\) on which the (2.1) is negative definite.
2.2 The index of the necks
We have known the limiting necks of \(\{u_{\alpha _k}\}\) are some geodesics in N, a natural question is there exists some relations between the indices of these geodesics and the indices of the necks of \(\{u_{\alpha _k}\}\). In this subsection we need to analyse the asymptotic behavior of the necks of \(\{u_{\alpha _k}\}\) and try to establish the desired relations.
Let \(\alpha _k\rightarrow 1\) and each \(u_{\alpha _k}\) of the map sequence \(\{u_{\alpha _k}: k=1,2,\ldots \}\) be a \(\alpha _k\) harmonic map from \((\Sigma ,g)\) into (N, h). For convenience we always embed (N, h) into \(\mathbb {R}^K\) isometrically and set \(u_k=u_{\alpha _k}\). Assume that \(\{u_k\}\) blows up only at a point \(p\in \Sigma \). Then, for any \(\epsilon \), we have
Choose an isothermal coordinate chart \((D;x^1,x^2)\) centered at p, such that
For simplicity, we assume \(u_{k}\) has only one blowup point in D. Put
Then, we have that \(x_k\rightarrow 0\), \(r_k\rightarrow 0\) and there exists a bubble v, which can be considered as a harmonic map from \(S^2\) into N, such that \(u_k(x_k+r_kx)\) converges to v. Without loss of generality, we may assume \(x_k=0\).
By the arguments in [9], we only need to prove Theorem 1.1 for the case there exists one bubble in the convergence of \(\{u_k\}\). So, we always assume that only one bubble appears in the convergence of \(\{u_{k}\}\) in this section.
Now, we consider the case that the limiting necks contain a geodesic of infinite length. In fact, the present paper is a follow up of the papers [9] and [2], first of all, we need to recall some results proved in [9].
Lemma 2.1
Let \(\alpha _k\rightarrow 1\) and \(\{u_{k}\}\) be a map sequence such that each \(u_{k}\) is an \(\alpha _k\)-harmonic map from \((\Sigma ,g)\) into (N, h). If there is a positive constant \(\Theta \) such that \(E_{\alpha _k}(u_{k})<\Theta \) for any \(\alpha _k\), then, there exists a positive constant C such that, neglecting a subsequence, there holds
For the proof of this Lemma and more details we refer to Remark 1.2 in [9]. Moreover, for the convergence radii and \(\alpha _k\) we have following relations:
Lemma 2.2
Let \(\{u_{k}\}\) satisfy the same conditions as in Lemma 2.1. If there exists only one bubble in the convergence of \(\{u_{k}\}\) and the limiting neck is of infinite length, then, the following hold true
Here, \(r_k\) is defined as before.
Proof
From Remark 1.2 in [9], we have \(\mu =\liminf _{\alpha _k\rightarrow 1}r_k^{2-2\alpha _k}\in [1,\,\mu _{\max }]\) where \(\mu _{\max }\ge 1\) is a positive constant. Therefore, it follows that there holds
Since the limiting neck is of infinite length, from Theorem 1.3 in [9] we known that
It follows that
Thus we complete the proof. \(\square \)
As a direct corollary of the Proposition 4.3 in [9], we have
Lemma 2.3
Let \(\alpha _k\rightarrow 1\) and \(\{u_{k}\}\) be a map sequence such that each \(u_{k}\) is an \(\alpha _k\)-harmonic map from \((\Sigma ,g)\) into \((N,h)\subset \mathbb {R}^K\). Suppose that there is a positive constant \(\Theta \) such that \(E_{\alpha _k}(u_{k})<\Theta \) for any \(\alpha _k\) and there exists only one bubble in the convergence of \(\{u_{k}\}\). Then, for any \(t_k\rightarrow t\in (0, 1)\), there exist a vector \(\xi \in \mathbb {R}^K\) and a subsequence of \(\{u_k\}\) such that
and
as \(k\rightarrow \infty \). Moreover,
where \(\mu \) is defined by
Now we define the approximate curve of \(u_k\), denoted by \(u_k^*(r)\), by
Since the target manifold (N, h) is embedded in \(\mathbb {R}^K\), \(u_k^*(r)\) is a space curve of \(\mathbb {R}^K\) and we denote the arc-length parametrization of \(u_k^*\) by s such that \(s(r_k^{t_1})=0\), where \(t_1\in (0,1)\). Then, by Proposition 4.6 in [9], we have
Lemma 2.4
Let \(\{u_{k}\}\) satisfy the same conditions as in Lemma 2.3. Suppose that the limiting neck of \(\{u_{k}\}\) is a geodesic of infinite length. Then, there exists a subsequence of \(\{u^*_k(s)\}\) which converges smoothly on [0, a] to a geodesic \(\gamma \) for any fixed \(a>0\).
Without loss of generality, from now on, we assume that \(u_k^*(s)\) converges smoothly to \(\gamma \) on any [0, a]. As a corollary, we have
Corollary 2.5
Let \(\{u_{k}\}\) satisfy the same conditions as in Lemma 2.3. Suppose that the limiting neck of \(\{u_{k}\}\) is a geodesic of infinite length. Then, for any given \(a>0\) and any fixed \(\theta \), \(u_k(se^{\sqrt{-1}\theta })\) converges to \(\gamma \) in \(C^1[0,a]\). Moreover, we have
Proof
Let
By Lemma 2.3, we have
On the other hand, Lemma 2.2 (see Theorem 1.3 in [9]) tells us
since the limiting neck (geodesic) is of infinite length. Hence, from (2.5) and the above fact, we have
We assume that \(u_k(se^{\sqrt{-1}\theta })\) does not converge to \(\gamma \) in \(C^1[0,a]\). Then there exists \(s_{k_i}\in [0,a]\), such that
Let \(s_{k_i}=r_k^{t_{k_i}}\). Obviously, \(t_{k_i}\in [t_1,\,t_{k_i}^a]\). Thus \(t_{k_i}\rightarrow t_1\). By Lemma 2.3, after passing to a subsequence, we have
Therefore, noting
and
we have
Thus, we get a contradiction. Hence, it follows
From the arguments in the above and [9] we conclude that for any fixed \(\theta \)
By the same way, we can prove (2.4). \(\square \)
Lemma 2.6
Suppose that \(\{u_{k}\}\) satisfies the same conditions as in Lemma 2.3. Then, for any fixed \(R>0\) and \(0<t_1<t_2<1\), we have
where
Proof
Assume this is not true. After passing to a subsequence, we can find \(t_k\rightarrow t\in [t_1,t_2]\), such that
However, by Proposition 4.2 in [9],
This is a contradiction, Thus we complete the proof of the lemma. \(\square \)
Now, let’s recall the definition of stability of a geodesic on a Riemannian manifold (N, h). A geodesic \(\gamma \) is called unstable if and only if the second variation formula of its length satisfies
Here R is the curvature operator of N. We have
Lemma 2.7
Suppose that \(\{u_{k}\}\) satisfies the same conditions as in Lemma 2.3. If the limiting neck of \(\{u_{k}\}\) is a unstable geodesic which is parameterized on \([0,\, a]\) by arc length, then, for sufficiently large k, there exists a section \(V_k\) of \(u_{k}^{-1}(TN)\), which is supported in \(D_{r_k^{t_1}}\backslash D_{r_k^{t_k^a}}(x_k)\), such that
Proof
Since the limiting neck of \(\{u_{k}\}\), denoted by \(\gamma :[0,\, a]\rightarrow N\), is not a stable geodesic, there exists a vector field \(V_0\) on \(\gamma \) with \(V_0|_{\gamma (0)}=0\) and \(V_0|_{\gamma (a)}=0\) such that
Let P be projection from \(T\mathbb {R}^K\) to TN. We define
where s is the arc-length parametrization of \(u_{k}^*(t)\) with \(s(r_k^{t_1})=0\). Then, \(V_k\) is smooth section of \(u_{k}^{-1}(TN)\) which is supported in \(D_{r_k^{t_1}}\backslash D_{r_k^{t_k^a}}(x_k)\). By Corollary 2.5, for any fixed \(\theta \), we have that \(V_k(u_k(se^{\sqrt{-1}\theta }))\) converges to \(V_0(\gamma (s))\) in \(C^1[0,a]\). Then
Next, we will show that
We compute
Firstly, we calculate \(\mathbf {I}\):
By Lemma 2.3 we can see easily that
It follows from the fact \(\mu \ge 1\) (see [9]) and the above
Hence, we infer from the above and Corollary 2.5
Next, we calculate the term \(\mathbf {II}\). By the definition we have
where \(\frac{\partial V_k}{\partial \theta }\) is the derivative in \(\mathbb {R}^n\). This leads to
Hence, we have
For a given \(R>0\), set
It is easy to see that
By (2.5), we have
Then
It follows from Lemma 2.6 and the above inequality that there holds
Lastly, we consider the term \(\mathbf {III}\). It is easy to check that
So, there exists a constant C such that
This leads to
Thus, we obtain the desired estimate and finish the proof. \(\square \)
Since that (N, h) is a complete Riemannian manifold with \(\text{ Ric }_N\ge \lambda >0\), then, the well-known Myers theorem tells us that the diameter of (N, h) satisfies
and any geodesic \(\gamma \) lying on (N, h) is unstable if its length \(l(\gamma )\) satisfies
Hence, for any given positive number a such that \(a \ge l_N+2\epsilon \) and any geodesic \(\gamma \) lying on (N, h) which is parameterized by arc-length in [0, a], there always exists a vector field \(V_0(s)\), which is smooth on \(\gamma \), and 0 on \(\gamma |_{[0,\,\epsilon ]}\) and \(\gamma |_{[a-\epsilon ,\,a]}\), such that the second variation of the length of \(\gamma \) satisfies
Lemma 2.8
Let (N, h) be a closed Riemannian manifold with \(\text{ Ric }(N)\ge \lambda >0\). Suppose that \(\{u_{k}\}\) satisfies the same conditions as in Lemma 2.3. If the limiting neck of \(\{u_{k}\}\) is a geodesic of infinite length, then the indices of \(\{u_{k}\}\) with respect to the corresponding \(E_{\alpha _k}\) can not be bounded from above.
Proof
Since the limiting neck of \(\{u_{k}\}\) is a geodesic of infinite length, then, for given \(t_1\), the above arguments in Lemma 2.7 tell us that we can always choose a suitable positive constant \(\epsilon _1\) such that, as k is large enough, the arc length a of \(u^*_k(s)\) on \(D_{r_k^{t_1}}\backslash D_{r_k^{t_1+\epsilon }}(x_k)\) satisfies
Therefore, there exists a section \(V^1_k\) of \(u_k^{-1}(TN)\), which is 0 outside \(D_{r_k^{t_1}}\backslash D_{r_k^{t_1+\epsilon }}(x_k)\), satisfying
By the same method, for \(t_2=t_1+2\epsilon _1\), we can also pick \(\epsilon _2>0\) and construct a section \(V_k^2\), which is 0 outside \(D_{r_k^{t_2}}\backslash D_{r_k^{t_2+\epsilon _2}}(x_k)\), such that
Since the limiting neck is a geodesic of infinite length, then, when k is sufficiently large, there exists \(i_k\) with \(i_k\rightarrow \infty \) such that we can construct by the same way as above a series of sections \(\{V_k^3, V_k^4, \ldots , V_k^{i_k}\}\) satisfying that for any \(1\le i\le i_k\) there holds true
Obviously, \(V_k^1\), \(V_k^2\), \(\ldots \), \(V_k^{i_k}\) are linearly independent. This means that
Therefore, we get
Thus, we complete the proof of the lemma. \(\square \)
The proof of Theorem 1.1
Obviously, Theorem 1.1 is just a direct corollary of the above lemma. \(\square \)
3 The Proofs of Theorem 1.2
From the arguments and the Appendix in [2] we know that one only need to consider the convergence behavior of harmonic map sequences from two dimensional flat cylinders, although the original harmonic map sequence is from a sequence of hyperbolic or flat closed Riemann surfaces respectively. First, we recall some fundamental notions such as the index of a harmonic map with respect to the energy functional.
Let \(T_k\rightarrow \infty \) be a series of positive numbers and \(u:(-T_k,T_k)\times S^1\rightarrow (N,h)\) be a harmonic map. \(L=u^{-1}(TN)\) is the pull-back bundle over \((-T_k,T_k)\times S^1\). Let V be a section of L which is 0 near \(\{\pm T_k\}\times S^1\) and
It is well-known that the second variational formula of energy functional E is the following:
Let \(\Gamma (L)\) denote the linear space of the smooth sections of L. Then, the index of u is just the maximal dimension of a linear subspace of \(\Gamma (L)\) on which the above is negative definite.
Let \(u_k\) be an harmonic map from \((-T_k,T_k)\times S^1\) into (N, h). We assume that, for any \(t_k\in (-T_k,T_k)\),
Moreover, we assume that \(u_k((-T_k,T_k)\times S^1)\) converges to an infinite length geodesic.
By the arguments in [2], we can see easily that Theorem 1.2 in this paper can be deduced from the following lemma:
Proposition 3.1
Let \(\{u_k:(-T_k,T_k)\times S^1\rightarrow N, k=1, 2, \ldots \}\) be a harmonic map sequence such that for any \(t_k\in (-T_k,T_k)\), there holds true \(|\nabla u_k(\theta ,t_k)|\rightarrow 0\). If \(\text{ Ric }_N\ge \lambda >0\) and \(u_k((-T_k,T_k)\times S^1)\) converges to an infinite length geodesic, then the index of \(u_k\) tends to infinity.
In order to prove Proposition 3.1, we need to recall some known results which were established in [2]. We first recall a useful observation in [19].
Lemma 3.2
Let u be a harmonic map from \((-T,\, T)\times S^1 \rightarrow N\). Then, the following function defined by
is independent of \(t\in (-T,\, T)\).
Next, we recall some known results proved in [2], which are used in the following arguments.
Lemma 3.3
Let \(\{u_k:(-T_k,\,T_k)\times S^1\rightarrow N, \,\, k=1, 2, \ldots \}\) be a sequence of harmonic maps such that for any \(t_k\in (-T_k,\,T_k)\), there holds true \(|\nabla u_k(\theta ,t_k)|\rightarrow 0\). Assume that \(u_k((-T_k,\,T_k)\times S^1)\) converges to an infinite length geodesic. Then, as \(k\rightarrow 0\), we have
Lemma 3.4
Let \(\{u_k\}\) satisfy the same conditions as in Lemma 3.3. Then, for any \(\lambda <1\) and \(t_k\in [-\lambda T_k,\,\lambda T_k]\), there exists a vector \(\xi \in \mathbb {R}^K\) and a subsequence of
such that the subsequence converges to \(\xi \). Moreover, we have
By Lemma 2.6 in [2], we also have
Lemma 3.5
Let \(\{u_k\}\) satisfy the same conditions as in Lemma 3.3. Then, for any fixed \(0<\lambda <1\) and \(T>0\), we have
As in [2], we introduce the following sequence of curves in \(\mathbb {R}^K\) defined by
Obviously, these curves are smooth. Now, for each k, let s be the arc-length parametrization of the the curve \(u_k^*(t)\) with \(s(0)=0\). By the arguments in [2], we have
Lemma 3.6
Under the same conditions as Lemma 3.3, we have that \(u^*_k(s)\) converges smoothly on [0, a] to a geodesic \(\gamma \) on N for any fixed \(a>0\).
From now on, we assume \(u_k^*(s)\) converges to \(\gamma \) on [0, a] for any fixed \(a>0\). Set \(s(t_k^a)=a\). Similar to Corollary 2.5, we have
Corollary 3.7
Let \(\{u_k\}\) satisfy the same conditions as in Lemma 3.3. Then, for any fixed \(\theta \), \(u_k(s,\theta )\) converges to \(\gamma \) in \(C^1[0,a]\). Moreover, we have
and
Here C(a) is a positive constant which depends on a.
Now we turn to the discussions on the asymptotic behavior of the index and the second variation of the energy of \(u_k\). Since \(\text{ Ric }_N\ge \lambda >0\), by the well-known Myers theorem we know that, if
then there exists a tangent vector field \(V_0(s)\) on N, which is smooth on \(\gamma \), and 0 on \(\gamma |_{[0,\epsilon ]}\) and \(\gamma |_{[a-\epsilon ,a]}\), such that the second variational of length of \(\gamma \) satisfies
Following the arguments in Sect. 2, we can see easily that the conclusions in Proposition 3.1 are implied by the following Lemma.
Lemma 3.8
Let \(\{u_k\}\) satisfy the same conditions as in Lemma 3.3. Then, for sufficiently large k, there exists a section \(V_k\) of \(u_{k}^*(TN)\), which is supported in \([0,t_k^a]\), such that
Proof
Let P be projection from \(T\mathbb {R}^K\) to TN. We define
where s is the arc-length parametrization of \(u_{k}^*(t)\) with \(s(0)=0\). Then, \(V_k\) is a smooth section of \(u_{k}^{-1}(TN)\) which is supported in \([0,\, t_k^a]\times S^1\). By Corollary 3.7, for any fixed \(\theta \), we have
Next, we will show
Since
Noting
we infer from Corollary 3.7
On the other hand, we have
For any given \(T>0\), we set
By Corollary 3.7, there holds
Hence, it follows
In view of Lemma 3.5, we concludes
Immediately, it follows
Hence, for k large enough, we have the desired inequality
Thus, we complete the proof of this lemma. \(\square \)
References
Chen, J., Tian, G.: Compactification of moduli space of harmonic mappings. Comment. Math. Helv. 74, 201–237 (1999)
Chen, L., Li, Y., Wang, Y.: The refined analysis on the convergence behavior of harmonic map sequence from cylinders. J. Geom. Anal. 22(4), 942–963 (2012)
Ding, W.: Lectures on the heat flow of harmonic maps. http://www.math.pku.edu.cn:8000/var/teacher_writings/20080327073216.pdf
Ding, W., Tian, G.: Energy identity for a class of approximate harmonic maps from surfaces. Commun. Anal. Geom. 3, 543–554 (1996)
Hong, M., Yin, H.: On the Sacks–Uhlenbeck flow of Riemannian surfaces. Commun. Anal. Geom. 21, 917–955 (2013)
Jost, J.: Two-Dimensional Geometric Variantional Problems. Wiley, Chichester (1991)
Lamm, T.: Energy identy for approximations of harmonic maps from surfaces. Trans. Am. Math. Soc. 362, 4077–4097 (2010)
Li, J., Zhu, X.: Energy identity and necklessness for a sequence of Sacks–Uhlenbeck maps to a sphere (in preparation)
Li, Y., Wang, Y.: A weak energy identity and the length of necks for a Sacks–Uhlenbeck-harmonic map sequence. Adv. Math. 225, 1134–1184 (2010)
Li, Y., Wang, Y.: A counterexample to the energy identity for sequences of -harmonic maps. Pacific J. Math. 274, 107–123 (2015)
Lin, F., Wang, C.: Energy identity of harmonic map flows from surfaces at finite singular time. Calc. Var. Partial Differ. Equ. 6, 369–380 (1998)
Micallef, M.J., Moore, J.D.: Minimal two-spheres and the topology of manifolds with positive curvature on totally isotropic two-planes. Ann. Math. 127(2), 199–227 (1988)
Parker, T.H.: Bubble tree convergence for harmonic maps. J. Differ. Geom. 44, 595–633 (1996)
Qing, J.: On sigularities of the heat flow for harmonic maps from surfaces into spheres. Commun. Anal. Geom. 3, 297–315 (1995)
Qing, J., Tian, G.: Bubbling of the heat flow for harmonic maps from surfaces. Commun. Pure Appl. Math. 50, 295–310 (1997)
Sacks, J., Uhlenbeck, K.: The existence of minimal immersions of 2-spheres. Ann. Math. 113, 1–24 (1981)
Sacks, J., Uhlenbeck, K.: Minimal immersions of closed Riemann surfaces. Trans. Am. Math. Soc. 271(2), 639–652 (1982)
Zhou, X.: On the existence of min–max minimal torus. J. Geom. Anal. 20, 1026–1055 (2010)
Zhu, M.: Harmonic maps from degenerating Riemann surfaces. Math. Z. 264(1), 63–85 (2010)
Acknowledgements
Open access funding provided by Max Planck Society. The authors would like to thank the referee for detailed and useful comments. Y. Li supported by NSFC (Grant No. 11131007), Y. Wang supported by NSFC (Grant No. 11471316).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Jost.
In Memory of Prof. Weiyue Ding.
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
Li, Y., Liu, L. & Wang, Y. Blowup behavior of harmonic maps with finite index. Calc. Var. 56, 146 (2017). https://doi.org/10.1007/s00526-017-1211-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-017-1211-z