Constructions of harmonic maps between Hadamard manifolds
Constructions of harmonic maps between Hadamard manifolds
Constructions of harmonic maps between Hadamard manifolds
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
4<br />
Introduction<br />
Let (M,g) and (M ′ ,g ′ ) be complete Riemannian <strong>manifolds</strong>, and u :(M,g) → (M ′ ,g ′ )<br />
a C 2 -map from M to M ′ . For a relatively compact domain D ⊂ M, we define the energy<br />
E D (u) <strong>of</strong>u over D by<br />
E D (u) := 1 ∫<br />
2<br />
D<br />
|d x u| 2 dv g ,<br />
where |d x u| is the Hilbert-Schmidt norm <strong>of</strong> the differential d x u : T x M → T u(x) M ′ <strong>of</strong> u at<br />
x ∈ M, and dv g denotes the volume measure <strong>of</strong> (M,g). We call u a <strong>harmonic</strong> map if it is a<br />
critical point <strong>of</strong> E D , considered as a functional defined on the space C 2 (M,M ′ )<strong>of</strong>C 2 -<strong>maps</strong><br />
from M to M ′ , for all variations with compact support for any D. In other words, u is a<br />
<strong>harmonic</strong> map if and only if it satisfies the Euler-Lagrange equation for the energy functional<br />
E D for any D, that is,<br />
τ(u)(x) :=<br />
n∑<br />
( ˜∇ ei du(e i ) − du(∇ ei e i ))(x) =0, x ∈ M,<br />
i=1<br />
where {e i } n i=1<br />
is an orthonormal frame field <strong>of</strong> M, ∇ is the Levi-Civita connection on the<br />
tangent bundle TM <strong>of</strong> M, and ˜∇ is the induced connection on the pull-back bundle u −1 TM ′<br />
<strong>of</strong> the tangent bundle TM ′ <strong>of</strong> M ′ by u. Geometrically, τ(u) defines a section, called the<br />
tension field <strong>of</strong> u, <strong>of</strong> u −1 TM ′ . It should be remarked that any C 2 <strong>harmonic</strong> map u is smooth,<br />
since τ(u) = 0 is in fact a system <strong>of</strong> semilinear elliptic partial differential equations <strong>of</strong> second<br />
order.<br />
In the case where (M,g) and (M ′ ,g ′ ) are compact and without boundaries, a remarkable<br />
existence result <strong>of</strong> <strong>harmonic</strong> <strong>maps</strong> was established in 1964 by Eells-Sampson [17].<br />
They<br />
proved that if the target manifold (M ′ ,g ′ ) has nonpositive sectional curvature everywhere,<br />
then there exists an energy minimizing <strong>harmonic</strong> map in each homotopy class <strong>of</strong> smooth<br />
<strong>maps</strong> from (M,g) to(M ′ ,g ′ ).<br />
On the other hand, when (M,g) and (M ′ ,g ′ ) are noncompact, complete <strong>manifolds</strong>, not<br />
much has been known for the existence <strong>of</strong> <strong>harmonic</strong> <strong>maps</strong> <strong>between</strong> them. However, in the