Harmonic maps with free boundary from degenerating bordered Riemann surfaces

TL;DR

This paper analyzes the behavior of harmonic maps with free boundary conditions from degenerating bordered Riemann surfaces, establishing a generalized energy identity using Pohozaev constants, which advances understanding of their blow-up phenomena.

Contribution

It introduces a new energy identity for harmonic maps with free boundary on degenerating surfaces, utilizing Pohozaev constants on collars, a novel approach in this context.

Findings

Established a generalized energy identity for harmonic maps with free boundary.

Analyzed blow-up behavior on degenerating collars of Riemann surfaces.

Utilized Pohozaev type constants to understand energy concentration.

Abstract

We study the blow-up analysis and qualitative behavior for a sequence of harmonic maps with free boundary from degenerating bordered Riemann surfaces with uniformly bounded energy. With the help of Pohozaev type constants associated to harmonic maps defined on degenerating collars, including vertical boundary collars and horizontal boundary collars, we establish a generalized energy identity.

Equations

$$C(K)=\left\{u\in C^2(\Sigma ,N);u(\partial \Sigma )\subset K\right\}.$$

$$E(u)={\int }_{\Sigma }|\nabla u{|}^{2}dvo{l}_h$$

$${\Delta }_{h}u=A(u)(\nabla u,\nabla u),$$

$${\Delta }_h:=-\frac{1}{\sqrt{h}}\frac{\partial }{\partial x^{\beta }}\left(\sqrt{h}{h}^{\alpha \beta }\frac{\partial }{\partial x^{\alpha }}\right).$$

$$u(x)\in K,du(x)(\overrightarrow{n})\perp T_{u(x)}K,\forall x\in \partial \Sigma ,$$

$$u(x)\in K,du(x)(\overrightarrow{n})=0,\forall x\in \partial \Sigma .$$

$$\tau (u)=-{\Delta }_{h}u+A(u)(\nabla u,\nabla u).$$

$$\{\begin{array}{rlr}& \tau (u)=0& \text{ in }\Sigma ;\\ & du(\vec{n})\perp T_{u}K& \text{ on }\partial \Sigma ,\end{array}$$

$$\bar{g}=2g+k-1>1,$$

$$E(u_n)\le \Lambda <\infty .$$

$$P_n=[-T_n,T_n]\times S^1.$$

$${\alpha }_n:={\int }_{\{t\}\times S^1}\left(|{\partial }_t{u}_n{|}^2-|{\partial }_{\theta }{u}_n{|}^2\right)d\theta ,\text{ for }{P}_n,$$

$$Q_n^{+}=[-T_n,T_n]\times [0,\pi ],$$

$$P_n^{+}=[0,T_n]\times S^1,$$

$${\alpha }_n:=\{\begin{array}{rlr}& {\int }_{\{t\}\times [0,\pi ]}\left(|{\partial }_t{u}_n{|}^2-|{\partial }_{\theta }{u}_n{|}^2\right)d\theta ,& \text{ for }{Q}_n^{+};\\ & {\int }_{\{t\}\times S^1}\left(|{\partial }_t{u}_n{|}^2-|{\partial }_{\theta }{u}_n{|}^2\right)d\theta ,& \text{ for }{P}_n^{+}.\end{array}$$

$$\underset{n\to \infty }{\lim }E(u_n)=E(u)$$

$$+\sum _{i=1}^3\sum _{j=1}^{p_i}\sum _{l=1}^{L_i^j}E(v_i^{j,l})+\sum _{i=2}^3\sum _{j=1}^{p_i}\sum _{k=1}^{K_i^j}E(w_i^{j,k})$$

$$+\sum _{j=1}^{p_1}\underset{n\to \infty }{\lim }\frac{2{\pi }^2}{l_{1n}^j}{\alpha }_{1n}^j+\sum _{i=2}^3\sum _{j=1}^{p_i}\underset{n\to \infty }{\lim }\frac{{\pi }^2}{l_{in}^j}{\alpha }_{in}^j,$$

$$d{s}^2={\left(\frac{l}{2\pi \cos (\frac{lt}{2\pi })}\right)}^2(d{t}^2+d{\theta }^2).$$

$${\xi }_n=\{(t,\theta )|\theta =0,\pi \}\subset {\tilde{P}}_n.$$

$${\tilde{\gamma }}_n=\{(t,\theta )|t=0\}\subset {\tilde{P}}_n.$$

$$Q_n^{+}=[-T_n,T_n]\times [0,\pi ]$$

$$E(u_n,Q_n^{+})\le \Lambda$$

$$P_n^{+}=[0,T_n]\times S^1$$

$$E(u_n,P_n^{+})\le \Lambda ,$$

$$[-T_n,T_n]\times \{0,\pi \}=[-T_n,T_n]\times \{0\}\cup [-T_n,T_n]\times \{\pi \}.$$

$${\int }_{\{t\}\times S^1}\varphi (u)d\theta$$

$${\int }_{\{t\}\times [0,\pi ]}\left(|{\partial }_{t}u{|}^2-|{\partial }_{\theta }u{|}^2\right)d\theta$$

$${\int }_{\{t\}\times S^1}\left(|{\partial }_{t}u{|}^2-|{\partial }_{\theta }u{|}^2\right)d\theta$$

$$0$$

$$={\int }_{Q_{t_1{t}_2}}({\partial }_t^{2}u+{\partial }_{\theta }^{2}u)\cdot {\partial }_{t}ud\theta dt$$

$$=\frac{1}{2}{\int }_{Q_{t_1{t}_2}}\frac{\partial }{\partial t}(|{\partial }_{t}u{|}^2-|{\partial }_{\theta }u{|}^2)d\theta dt+{\int }_{t_1}^{t_2}{\partial }_{t}u\cdot {\partial }_{\theta }u{|}_0^{\pi }dt$$

Full text

1. Introduction

Let $(\Sigma,c)$ be a compact bordered Riemann surface with smooth boundary $\partial\Sigma$ and with complex structure $c$. Let $(N,g)$ be a compact Riemannian manifold. Let $K\subset N$ be a $k-$dimensional closed submanifold with $1\leq k\leq n$ and denote

[TABLE]

Let $h$ be a Riemannian metric on $\Sigma$ which is compatible with the complex structure $c$. A critical point of the energy functional

[TABLE]

over the space $C(K)$ is called a harmonic map with free boundary on $K$.

By Nash’s embedding theorem, we embed $(N,h)$ isometrically into some Euclidean space $\mathbb{R}^{N}$. Then the Euler-Lagrange equation of the functional (1.1) is

[TABLE]

where $A$ is the second fundamental form of $N\subset\mathbb{R}^{N}$ and $\Delta_{h}$ is the Laplace-Beltrami operator on $M$ which is defined as follows

[TABLE]

Moreover, for $1\leq k\leq n-1$, $u$ has free boundary $u(\partial\Sigma)$ on $K$, namely, the following holds

[TABLE]

where $\overrightarrow{n}$ is the outward unit normal vector on $\partial\Sigma$ and $\perp$ means orthogonal. For $k=n$, $u$ satisfies a homogeneous Neumann boundary condition on $K$, that is

[TABLE]

The tension field $\tau(u)$ of a map $u$ is defined by

[TABLE]

Thus, if $u:(\Sigma,h)\to(N,g)$ is a harmonic map with free boundary on $K$ then it satisfies the Euler-Lagrangian equation

[TABLE]

where $\tau(u)$ is the tension field of $u$. It is well known that both the energy functional (1.1) and the harmonic map system (1.5) are conformally invariant, hence they are independent of the choice of the metric $h$ in the same conformal class $c=[h]$.

Now suppose $(\Sigma_{n},c_{n})$ is a sequence of bordered Riemann surface of the same topological type $(g,k)$ such that

[TABLE]

here $g$ is the genus of $\Sigma_{n}$, $k$ is the number of components of $\partial\Sigma_{n}$ and $\bar{g}$ is the genus of the complex double $\Sigma_{n}^{c}$ of $\Sigma_{n}$ (see Section 2). Let $u_{n}:\Sigma_{n}\to N$ be a sequence of harmonic maps with free boundary on the submanifold $K\subset N$, whose energy is uniformly bounded

[TABLE]

When the domain surface is fixed, namely $\Sigma_{n}=\Sigma$, it was shown in [8] that the sequence $u_{n}$ converges to a limit harmonic map modulo finitely many bubbles, i.e. harmonic spheres or harmonic disks with free boundary on $K$. Moreover, the energy identity and the no neck property hold, extending the classical case of a closed domain surface developed in [14, 7, 12] etc. and the case of harmonic functions [10].

If we allow the conformal structure $c_{n}$ on the domain surface to vary. Then, the conformal structure might degenerate and in such a case, the limit surface is a nodal bordered Riemann surface. When the Riemann surface $(\Sigma_{n},c_{n})$ is closed, by the uniformization theorem, there is a hyperbolic metric $h_{n}$ in this conformal class $c_{n}$. It is well-known that the degeneration of conformal structures $(\Sigma_{n},h_{n},c_{n})$ is obtained by shrinking finitely many simple closed geodesics $\gamma_{n}$ (for simplicity of notation, we assume there is only one such geodesic) to a point, which is known as the node. Moreover, there is a collar area near $\gamma_{n}$ which is conformal to a long standard cylinder

[TABLE]

In [18], the asymptotic behaviour of the maps in the limit process was successfully characterized by associating to each $P_{n}$ a quantity, called Pohozaev type constant, defined by the Hopf differential of the map. More precisely, by integrating the Hopf differential on a slice of $P_{n}$, one gets a constant

[TABLE]

then the limit energy and length of $u_{n}$ on $P_{n}$ can be expressed in terms of $\alpha_{n}$ and $T_{n}$. This result can be considered as a 2nd order extension of Gromov’s compactness for J-holomorphic curves [4].

In the present paper, we shall investigate the situation that the underlying Riemann surface $(\Sigma_{n},c_{n})$ is bordered and in particular, the degeneration of $(\Sigma_{n},c_{n})$ occurs at the boundary. In fact, for each $(\Sigma_{n},c_{n})$, we can construct a double cover $(\tilde{\Sigma}_{n},\tilde{c}_{n})$, which is closed. Then the degeneration of $(\tilde{\Sigma}_{n},\tilde{c}_{n})$ is exactly the same as in the closed case described above. We will see that, if the degeneration happens at the boundary, then there is a collar area which is conformal to the following two types of half cylinders:

Type I: a vertical half cylinder

[TABLE]

Type II: a horizontal half cylinder

[TABLE]

to which we can associate a similar quantity defined in terms of the Hopf differential of the map.

More precisely, in this paper, we shall define the Pohozaev type constant associated to $u_{n}$ over the above two types of half cylinders (see Lemma 3.1) by

[TABLE]

Combined with the case of interior degeneration studied in [18], now we state the following:

Theorem 1.1**.**

Let $u_{n}:(\Sigma_{n},h_{n},c_{n})\to(N,g)$ be a sequence of harmonic maps with free boundary and with uniformly bounded energy $E(u_{n},\Sigma_{n})\leq\Lambda<\infty$, where $(\Sigma_{n},h_{n},c_{n})$ is a sequence of compact hyperbolic Riemann surfaces with smooth boundary $\partial\Sigma_{n}$ and of genus $\bar{g}>1$ (see 1.6), degenerating to a hyperbolic Riemann surface $(\Sigma,h,c)$ by the following three ways:

• •

interior degeneration:*  collapsing finitely many pairwise disjoint interior simple closed geodesics $\left\{\gamma_{1n}^{j},j=1,...,p_{1}\right\}\subset\Sigma_{n}\setminus\partial\Sigma_{n}$;*

• •

Type I boundary degeneration:*  collapsing finitely many pairwise disjoint simple geodesics *

$\left\{\gamma_{2n}^{j},j=1,...,p_{2}\right\}$, where each geodesic $\gamma_{2n}^{j}$, connects two points on the boundary $\partial\Sigma_{n}$;

• •

Type II boundary degeneration:*  collapsing finitely many pairwise disjoint boundary simple closed geodesics $\left\{\gamma_{3n}^{j},j=1,...,p_{3}\right\}\subset\partial\Sigma_{n}$.*

For each $j=1,2...,p_{i}$, $i=1,2,3$, the geodesic $\gamma_{in}^{j}$ degenerates into a pair of punctures $(\varepsilon_{i}^{j,1},\varepsilon_{i}^{j,2})$. Here we use the convention that $p_{i}=0$ for some $i=1,2,3$ means that such type of degeneration does not occur.

Denote the $h_{n}$-length of $\gamma_{in}^{j}$ by $l_{in}^{j}$. Then, after passing to a subsequence, there exist finitely many blow-up points $\{x_{1},...,x_{I}\}$ which are away from the punctures $(\varepsilon_{i}^{j,1},\varepsilon_{i}^{j,2}),i=1,2,3;j=1,...,p_{i}$, and finitely many harmonic maps:

• •

$u:(\overline{\Sigma},\overline{c})\to N$* with free boundary $u(\partial\overline{\Sigma})$ on $K$, where $(\overline{\Sigma},\overline{c})$ is the normalization of $(\Sigma,c)$;*

• •

$\widetilde{v}^{l}_{m}:S^{2}\to N$, $l=1,2,...,\widetilde{L}_{m}$, near the blow-up point $x_{m}$, $m=1,2,...,I$;

• •

$\widetilde{w}^{k}_{m}:D_{1}(0)\to N$* with free boundary $\widetilde{w}^{k}_{m}(\partial D_{1}(0))$ on $K$, $k=1,2,...,\widetilde{K}_{m}$, near the blow-up point $x_{m}$, $m=1,2,...,I$;*

• •

$v^{j,l}_{i}:S^{2}\to N$, $l=1,2,...,L^{j}_{i}$, near the puncture $(\varepsilon_{i}^{j,1},\varepsilon_{i}^{j,2}),i=1,2,3;j=1,...,p_{i}$ ;

• •

$w^{j,k}_{i}:D_{1}(0)\to N$* with free boundary $w^{j,k}_{i}(\partial D_{1}(0))$ on $K$, $k=1,2,...,K^{j}_{i}$, near the puncture $(\varepsilon_{i}^{j,1},\varepsilon_{i}^{j,2}),i=2,3;j=1,...,p_{i}$ ;*

such that $u_{n}$ converges to $u$ in $C^{\infty}_{loc}(\Sigma\setminus\{x_{1},...,x_{I}\})$ and the following generalized energy identity holds

[TABLE]

where $\alpha^{j}_{in}$ is the Pohozev type constant defined on the collar area near $\gamma^{j}_{in}$, $i=1,2,3$, $j=1,2,...,p_{i}$.

Remark 1.2**.**

Theorem 1.1 can be compared with the compactness results of (twisted) holomorphic curves with Lagrangian boundary conditions (cf. [11, 17]), which can be viewed as a 1st order analog of the case of harmonic maps with free boundary investigated in this paper.

The rest of the paper is organized as follows. In Section 2, we describe the geometric structure of nodal bordered Riemann surface and the two types of boundary nodes. In section 3, we develop some analytic properties of harmonic maps from two types of long half cylinders and then prove our main Theorem 1.1.

2. Geometric structure of nodal bordered Riemann surface

In this section, we collect some facts about nodal bordered Riemann surfaces and the two types of boundary nodes as well as the corresponding two types of boundary collar regions. For more details, we refer to e.g. [11, 9].

2.1. Bordered Riemann surface

A smooth bordered Riemann surface $\Sigma$ is said to be of type $(g,k)$ if $\Sigma$ is topologically a sphere attached with $g$ handles and $k$ disks removed. It is topologically equivalent to a compact surface of genus $g$ with $k$ punctures.

For any bordered Riemann surface $\Sigma$, there exists a compact double cover surface $\Sigma^{c}$ with an anti-holomorphic involution map $\sigma:\Sigma^{c}\to\Sigma^{c}$ such that $\Sigma=\Sigma^{c}/\sigma$, and $\partial\Sigma$ is just the fixed point set of $\sigma$. Given a type $(g,k)$ smooth bordered Riemann surface $\Sigma$, the genus of its complex double $\Sigma^{c}$ is $\tilde{g}=2g+k-1$. In fact, we have

Theorem 2.1**.**

Let $\Sigma$ be a bordered Riemann surface. There exists a double cover $\pi:\Sigma^{c}\to\Sigma$ of $\Sigma$ by a compact Riemann surface $\Sigma^{c}$ and an anti-holomorphic involution $\sigma:\Sigma^{c}\to\Sigma^{c}$ such that $\pi\circ\sigma=\pi$. There is a holomorphic embedding $\iota:\Sigma\to\Sigma^{c}$ such that $\pi\circ\iota$ is the identity map. The triple $(\Sigma^{c},\pi,\sigma)$ is unique up to isomorphism.

Proof.

See [1][Theorem 1.6.1] and also [16]. ∎

Actually, the double cover $\Sigma^{c}$ is decided only by the differentiable structure of $\Sigma$, which can be constructed as follows. First, take a maximal atlas $\mathcal{U}=\{U_{i}\ |\ i\in I\}$ of $\Sigma$, such that any compatible atlas of $\Sigma$ is contained in $\mathcal{U}$. Then the coordinate charts in $\mathcal{U}$ can be divided into two classes according to the orientation. Now let $S=\amalg_{i\in I}U_{i}$ be the disjoint union. For each point in $U_{i}\cap U_{j}$, we identify the corresponding points in $U_{i}$ and $U_{j}$ if their transition map is orientation-preserving. In this way, we obtain the orientable covering $\Sigma^{o}$.

If $\partial\Sigma\neq\emptyset$, then for all $p\in\partial\Sigma$, we identify the corresponding two points in $\Sigma^{o}$ to get the complex double $\Sigma^{c}$, which is closed. The covering $\pi:\Sigma^{o}\to\Sigma$ induces a mapping $\pi:\Sigma^{c}\to\Sigma$ which is a ramified double covering of $\Sigma$. It is a local homeomorphism at all points $p\in\Sigma^{c}$ for which $\pi(p)\notin\partial\Sigma$. At points lying over the boundary of $\Sigma$, the projection is a folding similar to the mapping $x+iy\to x+i|y|$ at the real axis.

If $\Sigma$ is orientable, then $\Sigma^{o}$ is a trivial double covering of $\Sigma$, which is disconnected and consists of two copies of $\Sigma$ with opposite orientations. Then $\Sigma^{c}$ is obtained by simply gluing the boundary of the two components.

2.2. Nodes

A nodal bordered Riemann surface is of type $(g,k)$ if it is a degeneration of a smooth bordered Riemann surface of the same type.

Let $\Sigma$ be a (smooth) bordered Riemann surface of type $(g,k)$, then the following are equivalent:

• •

$\Sigma$ is stable, i.e., $Aut(\Sigma)$ is finite

• •

Its complex double $\Sigma^{c}$ is stable

• •

The genus $\tilde{g}=2g+k-1$ of $\Sigma^{c}$ is greater than one

• •

The Euler characteristic $\chi(\Sigma)=2-2g-k$ is negative

There are three types of nodes for a nodal bordered Riemann surface. Let $(z,w)$ be the coordinate on $\mathbb{C}^{2}$ and $\sigma(z,w)=(\bar{z},\bar{w})$ be the complex conjugation. A node on a bordered Riemann surface is a singularity which is locally isomorphic to one of the following:

1. (a)

Interior node: $(0,0)\in\{zw=0\}$ 2. (b)

Type I boundary node: $(0,0)\in\{z^{2}-w^{2}=0\}/\sigma$ 3. (c)

Type II boundary node: $(0,0)\in\{z^{2}+w^{2}=0\}/\sigma$

2.3. Interior nodes

Let $U$ be a neighborhood of $(0,0)\in\mathbb{C}^{2}$ and $\Sigma=\{(z,w)\in U|zw=0\}$. Then $\Sigma$ has two components $\Sigma_{1}=\{(z,w)\in U|z=0\}$ and $\Sigma_{2}=\{(z,w)\in U|w=0\}$, which are attached at the nodal point $\Sigma_{1}\cap\Sigma_{2}=\{(0,0)\}$. Note that the metric near the node on each component is flat.

2.4. Type I boundary nodes

Let $\Sigma=\{(z,w)\in U|z^{2}-w^{2}=0\}$. Then $\Sigma$ has two components $\Sigma_{1}=\{(z,w)\in U|z=w\}$ and $\Sigma_{2}=\{(z,w)\in U|z=-w\}$, which are attached at the point $\Sigma_{1}\cap\Sigma_{2}=\{(0,0)\}$. The map $\sigma$ gives an involution ($\sigma^{2}=id$) on each component $\Sigma_{i}$. The fixed point set of $\sigma$ is $F=\{(z,w)\in\mathbb{C}^{2}|Im(z)=Im(w)=0\}$. The boundary of $\Sigma_{1}/\sigma$ is just the fixed point set of the involution in $\Sigma_{1}$, i.e. $\gamma_{1}=F\cap\Sigma_{1}=\{z=w\in\mathbb{R}^{1}\}$, which is a 1-dimensional curve. Similarly, the boundary of $\Sigma_{2}/\sigma$ is the curve $\gamma_{2}=F\cap\Sigma_{2}=\{z=-w\in\mathbb{R}^{1}\}$. Thus the boundary curves $\gamma_{1}$ and $\gamma_{2}$ intersects at the node $(0,0)$.

By sending $(z,w)$ to $(z-w,z+w)$, it is clear that the surface $\Sigma$ here is isomorphic to the one in the interior node case. Indeed, $\Sigma$ is the complex double of $\Sigma/\sigma$. Thus by using the involution map $\sigma$, the picture of Type 1 boundary node is actually a (vertical) half of the interior node case.

2.5. Type II boundary nodes

Let $\Sigma=\{(z,w)\in U|z^{2}+w^{2}=0\}$. Then $\Sigma$ has two components $\Sigma_{1}=\{(z,w)\in U|z=iw\}$ and $\Sigma_{2}=\{(z,w)\in U|z=-iw\}$, which are attached at the point $\Sigma_{1}\cap\Sigma_{2}=\{(0,0)\}$. The map $\sigma$ gives an anti-holomorphic ivolution between $\Sigma_{1}$ and $\Sigma_{2}$. The only fixed point of $\sigma$ on $\Sigma$ is the node $(0,0)$. Thus the boundary of $\Sigma/\sigma$ is simply the node itself.

By sending $(z,w)$ to $(z-iw,z+iw)$, it is clear that the surface $\Sigma$ here is also isomorphic to the one in the interior node case. Indeed, $\Sigma$ is the complex double of $\Sigma/\sigma$. Thus by using the symmetry map $\sigma$, the picture of Type 2 boundary node is actually a (horizontal) half of the interior node case.

2.6. Hyperbolic geometry picture near nodes

Suppose $\Sigma$ is a bordered surface of general type $(g,k)$. Let $(\tilde{\Sigma},\pi,\sigma)$ be the corresponding complex double which is a closed surface with genus $\tilde{g}=2g+k-1>1$. Then by uniformization theorem, for each complex structure $c$ on $\Sigma$, there exists a hyperbolic metric $h$ on $\Sigma$. It is easy to see that $h$ and $c$ can be extended to its complex double $\tilde{\Sigma}$ such that $\tilde{h}$ and $\tilde{c}$ is symmetric w.r.t. the (anti-holomorphic) involution $\sigma$.

Now suppose $\Sigma_{n}=(\Sigma,h_{n},c_{n})$ is a sequence of degenerating hyperbolic surfaces which converges to a hyperbolic surface $\Sigma_{\infty}=(\Sigma_{\infty},h,c)$, with finitely many nodes $\{y_{1},\cdots,y_{m};z_{1},\cdots,z_{l}\}$ where $y_{i}$’s are on the boundary and $z_{j}$’s are interior nodes. Then the complex double $(\tilde{\Sigma},\tilde{h},\tilde{c})$ converges to the complex double $\tilde{\Sigma}_{\infty}$ of $\Sigma_{\infty}$, with nodes $\{y_{1},\cdots,y_{m};z_{1},\cdots,z_{l},z_{1}^{\prime},\cdots,z_{l}^{\prime}\}$ where $z_{j}^{\prime}=\sigma(z_{j})\in\Sigma_{\infty}^{\prime}$. By classical results, $\tilde{\Sigma}_{\infty}$ is obtained by pinching $m+2l$ pairwise disconnected Jordan curves to the nodes.

For simplicity, we first assume there is only one node $z$. If $z$ is an interior nodes, i.e. $z\notin\partial\Sigma_{\infty}=\Sigma_{\infty}^{\sigma}$, then there exists a collar area $A_{n}\subset\Sigma_{n}$ near a closed geodesic $\gamma_{n}\subset\Sigma_{n}$, which is isomorphic to a hyperbolic cylinder $P_{n}=[-T_{n},T_{n}]\times S^{1}$ with $T_{n}\to\infty$ with metric (cf. [18, 13])

[TABLE]

Moreover, $\Sigma_{n}\setminus A_{n}$ converges to $\Sigma_{\infty}\setminus\{z\}$ smoothly. The local geometry near the node $z$ on each component of $\Sigma_{\infty}$ is a standard hyperbolic cusp with metric $(\frac{|dz|}{|z|\ln|z|})^{2}$.

If $y\in\partial\Sigma_{\infty}$ is a boundary node, then there also exists a collar area $\tilde{A}_{n}\subset\tilde{\Sigma}_{n}$ which lies in the complex double, near a closed geodesic $\tilde{\gamma}_{n}\subset\tilde{\Sigma}_{n}$ and isomorphic to a hyperbolic cylinder $\tilde{P}_{n}=[-T_{n},T_{n}]\times S^{1}$. Note that the cylinder $\tilde{P}_{n}$ is the $\delta$-thin part of $\tilde{\Sigma}_{n}$, and hence is symmetric w.r.t. the involution $\sigma$, i.e. $\sigma^{*}ds^{2}=ds^{2}$. However, there are only two possible involutions on the hyperbolic cylinder $\tilde{P}_{n}$ which is anti-holomorphic as follows. (The antipodal map $\theta\to\pi+\theta$ is holomorphic.)

The first one corresponds to the symmetry of $\tilde{P}_{n}$ w.r.t. the horizontal lines

[TABLE]

Namely, the involution $\sigma:\tilde{P}_{n}\to\tilde{P}_{n}$ maps $(t,\theta)$ to $(t,2\pi-\theta)$. In this case, $\xi_{n}$ lies in the boundary $\partial\Sigma_{n}$. Let $Q^{+}_{n}=[-T_{n},T_{n}]\times[0,\pi]$ be the vertical half of $\tilde{P}_{n}$ in $\Sigma_{n}$. Then $\Sigma_{n}\setminus Q^{+}_{n}$ converges to $\Sigma_{\infty}\setminus\{y\}$ smoothly. In hyperbolic geometry, the node is obtained by shrinking a geodesic $\gamma_{n}^{+}=\{0\}\times[0,\pi]$ which connects two points at the boundary. This is exactly the type I node described in the algebraic language above.

The second one corresponds to the symmetry of $\tilde{P}_{n}$ w.r.t. the vertical middle circle

[TABLE]

Namely, the involution $\sigma:\tilde{P}_{n}\to\tilde{P}_{n}$ maps $(t,\theta)$ to $(-t,\theta)$. In this case, $\tilde{\gamma}_{n}$ is fixed by $\sigma$ and hence belongs to the boundary $\partial\Sigma_{n}$. Let $P_{n}^{+}=[0,T_{n}]\times S_{1}$ be the horizontal half of $\tilde{P}_{n}$ in $\Sigma_{n}$. Then $\Sigma_{n}\setminus P_{n}^{+}$ converges to $\Sigma_{\infty}\setminus\{y\}$ smoothly. In hyperbolic geometry, the node is obtained by shrinking a boundary curve $\gamma_{n}=\tilde{\gamma}_{n}$ (also a closed geodesic). This is exactly the type II node described in the algebraic language.

3. Harmonic maps from half cylinders and proof of Theorem 1.1

In this section, we develop the blow-up analysis for harmonic maps from long half cylinders and then complete the proof of Theorem 1.1.

Let $u_{n}$ be a sequence of harmonic maps defined on the vertical half cylinder

[TABLE]

with free boundary $u_{n}([-T_{n},T_{n}]\times\{0,\pi\})$ on $K$ and with uniformly bounded energy

[TABLE]

or defined on the horizontal half cylinder

[TABLE]

with free boundary $u_{n}(\{0\}\times S^{1})$ on $K$ and with uniformly bounded energy

[TABLE]

where

[TABLE]

For a harmonic map $u$ from a cylinder $[-T,T]\times S^{1}$, using the fact that the Hopf differential $\phi(u)$ is holomorphic, it was observed in [18] that the integration

[TABLE]

is independent of $t$, which is a complex constant. Here, for harmonic maps from half cylinders, by integrating by parts, we can also define a quantity independent of $t$, which plays an important role to characterize the asymptotic properties of the maps in the limit process.

Lemma 3.1**.**

If $u$ is a harmonic map defined on $Q_{n}^{+}$ with free boundary $u([-T_{n},T_{n}]\times\{0,\pi\})$ on $K$, then

[TABLE]

is independent of $t$, where $\partial_{t}u=\frac{\partial u}{\partial t}$ and $\partial_{\theta}u=\frac{\partial u}{\partial\theta}$.

If $u$ is a harmonic map defined on $P^{+}_{n}$ with free boundary $u_{n}(\{0\}\times S^{1})$ on $K$, then

[TABLE]

is independent of $t$.

Proof.

We shall only prove for first case, since the second case is similar and easier.

Since $u$ is a harmonic map defined on $Q_{n}$, denoting $Q_{t_{1}t_{2}}=[t_{1},t_{2}]\times[0,\pi]$, then we have

[TABLE]

where we used the free boundary condition, i.e.

[TABLE]

Then the conclusions of lemma follow immediately. ∎

By above lemma, we shall give the following definition of Pohozaev type constant.

Definition 3.1**.**

The constant

[TABLE]

or

[TABLE]

is called the Pohozaev type constant for $u_{n}$ on $Q^{+}_{n}$ or $P_{n}^{+}$, respectively.

In this paper, we want to study the energy concentration of $u_{n}$ on $Q_{n}^{+}$ and $P^{+}_{n}$. Firstly, by the classical blow-up theory of harmonic maps near an interior energy concentration point [3], near a (free) boundary energy concentration point [8] and near the interior degenerating area [18], it is not hard to prove the following:

Theorem 3.2**.**

$u_{n}:P^{+}_{n}\to N$* be a sequence of harmonic maps with free boundary $u_{n}(\{0\}\times S^{1})$ on $K$ and with uniformly bounded energy*

[TABLE]

where $P_{n}^{+}$ is a cylinder with standard flat metric $ds^{2}=dt^{2}+d\theta^{2}$ and $T_{n}\to\infty$ as $n\to\infty$.

Then there exist a finite harmonic spheres $v^{i}:S^{2}\to N,\ i=1,...,I$ and harmonic disks $w^{j}:D_{1}(0)\to N,\ j=1,...,J$ with free boundary $w^{j}(\partial D_{1}(0))$ on $K$ such that, after passing to a subsequence, there holds

[TABLE]

where $\alpha_{n}$ is defined by (3.2).

Proof.

With the help of [3] and [8], one can refer to a similar proof in [18] or [2]. We omit the details here. ∎

Next, we will focus on the case of $Q_{n}^{+}$. We first consider a simpler case by assuming that there is no energy concentration points in $Q_{n}^{+}$, i.e.

[TABLE]

By the small energy regularity theory of harmonic maps in the interior case [14] and the free boundary case [8], we have

Lemma 3.3**.**

Let $u_{n}:Q_{n}^{+}\to N$ be a sequence of harmonic maps with free boundary $u_{n}([-T_{n},T_{n}]\times\{0,\pi\})$ on $K$. Assuming (3.3) holds, then for any $\epsilon>0$, there hold

[TABLE]

and

[TABLE]

when $n$ is big enough, where

[TABLE]

In particular, the free boundary condition tells us that the image of $u_{n}$ is contained in a small tubular neighborhood of $K$ in $N$, i.e.

[TABLE]

where $K_{C(N)\epsilon}$ denotes the $C(N)\epsilon$-tubular neighborhood of $K$ in $N$.

Denote by $K_{\delta_{0}}$ the $\delta_{0}$-tubular neighborhood of $K$ in $N$. Taking $\delta_{0}>0$ small enough, then for any $y\in K_{\delta_{0}}$, there exists a unique projection $y^{\prime}\in K$. Set $\overline{y}=exp_{y^{\prime}}\{-exp^{-1}_{y^{\prime}}y\}$. So we may define an involution $\sigma$, $i.e.$ $\sigma^{2}=Id$ as in [6, 5, 15] by

[TABLE]

Then it is easy to check that the linear operator $D\sigma:TN|_{K_{\delta_{0}}}\to TN|_{K_{\delta_{0}}}$ satisfies $D\sigma(V)=V$ for $V\in TK$ and $D\sigma(\xi)=-\xi$ for $\xi\in T^{\perp}K$.

By Lemma 3.3, we can define an extension of $u_{n}$ to $Q_{n}:=[-T_{n}+1,T_{n}-1]\times S^{1}$ that

[TABLE]

where $\rho(t,\theta):=(t,2\pi-\theta)$.

Now, we derive the equation for the extended map $\widehat{u}_{n}$. One can see that it is no longer a harmonic map, but it satisfies the following property.

Proposition 3.4**.**

Let $u\in W^{2,p}([T_{1},T_{2}]\times[0,\pi],N)$, $1\leq p\leq\infty$, be a map with free boundary $u([T_{1},T_{2}]\times\{0,\pi\})$ on $K$. Let $u([T_{1},T_{2}]\times[0,\pi])\subset K_{\delta_{0}}$, then the extended map $\widehat{u}$ defined by 3.6 satisfying $\widehat{u}\in W^{2,p}([T_{1},T_{2}]\times S^{1})$ and

[TABLE]

where $\Upsilon_{\widehat{u}}(\cdot,\cdot)$ is a bounded bilinear form defined by

[TABLE]

satisfying

[TABLE]

Proof.

According to the properties of $D\sigma$, it is easy to see that $\widehat{u}\in W^{2,p}([T_{1},T_{2}]\times S^{1})$ since $u\in W^{2,p}([T_{1},T_{2}]\times[0,\pi],N)$ and satisfies free boundary condition. Next, we derive the equation for $\widehat{u}$.

Firstly, for $(t,\theta)\in(T_{1},T_{2})\times(\pi,2\pi)$, we have

[TABLE]

where $\nabla^{\widehat{u}^{*}TN}$ is the covariant derivative on the pull back bundle.

Computing directly in local normal coordinates $\{\frac{\partial}{\partial y^{i}}\}_{i=1}^{n}$ of target manifold $N$, we get

[TABLE]

where the last second equality follows from the fact that $u$ is a harmonic map which is equivalent to say that $\Delta u^{i}=0,\ i=1,...,n$ in local normal coordinate system $\{\frac{\partial}{\partial y^{i}}\}_{i=1}^{n}$.

Combining this with the fact that $\widehat{u}$ is a harmonic map in $[T_{1},T_{2}]\times[0,\pi]$, the conclusions of the proposition follows immediately. ∎

Now, we estimate the energy of $u_{n}$ on $Q_{n}^{+}$ when there is no energy concentration. We have

Theorem 3.5**.**

Let $N$ be a compact Riemannian manifold and $K\subset N$ is a smooth submanifold. Let $u_{n}:Q_{n}^{+}\to N$ be a sequence of harmonic maps with free boundary $u_{n}([-T_{n},T_{n}]\times\{0,\pi\})$ on $K$ and with uniformly bounded energy

[TABLE]

where $Q_{n}^{+}$ is a cylinder with standard flat metric $ds^{2}=dt^{2}+d\theta^{2}$ and $T_{n}\to\infty$ as $n\to\infty$.

Suppose there is no energy concentration for $u_{n}$, i.e. (3.3) holds, then we have

[TABLE]

where $\alpha_{n}$ is defined by (3.1).

Proof.

Since (3.3) holds, by Lemma 3.3, we know that for any $\epsilon>0$, there holds

[TABLE]

when $n$ is big enough. Taking $\epsilon>0$ small such that $C(N)\epsilon\leq\delta_{0}$, then we can use the definition (3.6) to extend $u_{n}$ to $\widehat{u}_{n}$, which is defined on $[-T_{n}+1,T_{n}-1]\times S^{1}$ and satisfies equation (3.7).

Setting

[TABLE]

then, by (3.3) and Lemma 3.3, we have

[TABLE]

when $n$ is big enough.

Multiplying the equation (3.7) by $\widehat{u}_{n}-\widehat{u}_{n}^{*}$ and integrating by parts, we get

[TABLE]

Using Hölder’s inequality, we have

[TABLE]

where the last inequality follows from the fact that

[TABLE]

Combining (3) and (3), we arrived

[TABLE]

A direct computation yields that

[TABLE]

Note that

[TABLE]

where $(D\sigma)^{*}$ is the adjoint operator of linear operator $D\sigma:TN|_{K_{\delta_{0}}}\to TN|_{K_{\delta_{0}}}$.

Similarly,

[TABLE]

Noting that $(D\sigma)^{*}\cdot D\sigma|_{K}=Id$, by the continuity of eigenvalues of $(D\sigma)^{*}\cdot D\sigma$, we have that for any $\delta^{\prime}>0$, there exists a constant $\delta_{1}=\delta_{1}(\delta^{\prime},K,N)$, such that for any $y\in K_{\delta_{1}}$ and $\xi\in TN|_{K_{\delta_{1}}}$, there holds

[TABLE]

By Lemma 3.3, for any $\epsilon>0$, when $n$ is big enough, there holds

[TABLE]

Thus,

[TABLE]

which implies that

[TABLE]

Therefore, we have

[TABLE]

Combining this with (3), (3) and Lemma 3.3, it yields

[TABLE]

For the boundary terms, by trace theory and Lemma 3.3, we have

[TABLE]

where the last inequality follows from (3.3).

Similarly,

[TABLE]

Then by (3) and Lemma 3.1, we have

[TABLE]

which implies

[TABLE]

We finished the proof of theorem. ∎

Next, we will consider the more general case of allowing the phenomenon of energy concentration, i.e. (3.3) does not hold. Combining Theorem 3.5 with [3, 8, 18], we can prove the following theorem.

Theorem 3.6**.**

Let $N$ be a compact Riemannian manifold and $K\subset N$ is a smooth submanifold. Let $u_{n}:Q_{n}^{+}\to N$ be a sequence of harmonic maps with free boundary $u_{n}([-T_{n},T_{n}]\times\{0,\pi\})$ on $K$ and with uniformly bounded energy

[TABLE]

where $Q_{n}^{+}$ is a cylinder with standard flat metric $ds^{2}=dt^{2}+d\theta^{2}$ and $T_{n}\to\infty$ as $n\to\infty$.

Then there exist a finite harmonic spheres $v^{i}:S^{2}\to N,\ i=1,...,I$ and harmonic disks $w^{j}:D_{1}(0)\to N,\ j=1,...,J$ with free boundary $w^{j}(\partial D_{1}(0))$ on $K$ such that, after passing to a subsequence, there holds

[TABLE]

where $\alpha_{n}$ is defined by (3.1).

Proof.

Based on the neck analysis scheme in [3], Zhu [18] gives a refined “bubble domain and neck domain” decomposition for a sequence of harmonic maps from a long cylinder. Here, Combining [18] with the blow-up theory for a blow-up sequence of harmonic maps near a (free) boundary point [8], it is not hard to see this kind of decomposition also holds for a sequence of harmonic maps $u_{n}$ from a long half cylinder $Q_{n}^{+}$ with free boundary $u_{n}([-T_{n},T_{n}]\times\{0,\pi\})$ on $K$. We leave the detailed proof to interested readers.

Precisely, we can show that there exists a constant $L>0$ independent of $n$ and $2L$ sequences $\{a_{n}^{1}\}$, $\{b_{n}^{1}\}$, $\{a_{n}^{2}\}$, $\{b_{n}^{2}\}$,…, $\{a_{n}^{L}\}$, $\{b_{n}^{L}\}$, such that

[TABLE]

and $(b_{n}^{i}-a_{n}^{i})\ll T_{n}$, i.e.

[TABLE]

Denote

[TABLE]

[TABLE]

Then, after passing to a subsequence, which we still denote by $\{u_{n}\}$, there hold

• (1)

$\forall i=0,1,...,L$,

[TABLE]

The maps $\phi_{n}$ on $I_{n}^{i}$ are necks corresponding to collapsing homotopically nontrivial curves.

• (2)

$\forall j=1,...,L$, there are finitely many harmonic maps $v^{j,l}:S^{2}\to N$, $l=1,...,l_{j}$, and finitely harmonic maps $w^{j,m}:D_{1}(0)\to N$, $m=1,...,m_{j}$ with free boundary $w^{j,m}(\partial D_{1}(0))$ on $K$, such that

[TABLE]

By Theorem 3.5, we have

[TABLE]

Combining this with (3.14), we proved the conclusion of the theorem. ∎

At the end of this section, we give the proof of our main Theorem 1.1.

Proof of Theorem 1.1 .

With the help of the blow-up analysis for a sequence of harmonic maps near an interior blow-up point [3], near a free boundary point [8], and the asymptotic behaviour near an interior node [18], it is easy to see that the conclusions of Theorem 1.1 follow immediately from Theorem 3.6 and Theorem 3.2. ∎