LECTURE NOTES ON GEOMETRIC ANALYSIS
Peter Li
Department of Mathematics University of California Irvine, CA 926973875 USA pli@math.uci.edu
July 16, 1992; RevisedJanuary 1, 2009
Table of Contents
§0 Introduction §1 First and Second Variational Formulas for Area §2 Bishop Comparison Theorem §3 BochnerWeitzenb¨ock Formulas §4 Laplacian Comparison Theorem §5 Poincar´e Inequality and the First Eigenvalue §6 Gradient Estimate and Harnack Inequality §7 Mean Value Inequality §8 Reilly’s Formula and Applications §9 Isoperimetric Inequalities and Sobolev Inequalities §10 Lower Bounds of Isoperimetric Inequalities §11 Harnack Inequality and Regularity Theory of De GiorgiNashMoser References
§0 Introduction
This set of lecture notes originated from a series of lectures given by the author at a Geometry Summer Program in 1990 at the Mathematical Sciences Research Institute in Berkeley. During the Fall quarter of 1990, the author also taught a course in Geometric Analysis at the University of Arizona. For that purpose, the lecture notes were revised and expanded. During the author’s visit with the Global Analysis Research Institute at Seoul National University, he was encouraged to submit these notes in the present, but still rather crude, form for publication in their lecture notes series. The readers should be aware that these notes are meant to address the entry level geometric analysts by introducing the basic techniques in geometric analysis in the most economical way. The theorems discussed are chosen sometimes for their fundamental usefulness and sometimes for purpose of demonstrating various techniques. In many cases, they do not represent the best possible results which are available. Moreover, little time was spent on historical accounts and chronological ordering. The author would like to express his gratitude to the Global Analysis Research Institute and the Math ematics Department of Seoul National University for their hospitality. In particular, special thanks to Pro fessor Dong Pyo Chi, Professor Hyeong In Choi, Professor Hyuk Kim, and the geometry graduate students for making his visit a memorable one.
1
2
PETER LI
§1. First and Second Variational Formulas for Area
Let M be a Riemannian manifold of dimension m with metric denoted by ds ^{2} . In terms of local coordinates
{x _{1} ,
, x _{m} } the metric is written in the form
ds ^{2} = g _{i}_{j} dx _{i} dx _{j} ,
where we are adopting the convention that repeated indices are being taken the summation over. If X and
Y are tangent vectors at a point p ∈ M, we will also denote their inner product by
ds ^{2} (X, Y ) = X, Y .
If we denote S (TM ) to be the set of smooth vector ﬁelds on M, then the Riemannian connection ∇ :
S(TM ) × S(TM ) → S(TM ) satisﬁes the following properties:
(1)
(2) ∇ _{X} (g _{1} Y _{1}
∇ _{(}_{f} _{1} _{X} _{1} _{+}_{f} _{2} _{X} _{2} _{)} Y = f _{1} ∇ _{X} _{1} Y + f _{2} ∇ _{X} _{2} Y, for all X _{1} , X _{2} , Y ∈ S(TM )
+
g _{2} Y _{2} )
=
X(g _{1} )Y _{1}
+
g _{1} ∇ _{X} Y _{1}
+
and for all f _{1} , f _{2} ∈ C ^{∞} (M );
+
g _{2} ∇ _{X} Y _{2} ,
for
X(g _{2} )Y _{2}
(3)
(4)
X, Y _{1} , Y _{2} ∈ S(TM ) and for all g _{1} , g _{2} ∈ C ^{∞} (M ); X Y, Z = ∇ _{X} Y, Z + Y, ∇ _{X} Z , for all X, Y, Z ∈ S(TM ); and ∇ _{X} Y − ∇ _{Y} X = [X, Y ], for all X, Y ∈ S(TM ).
all
Property (3) says that ∇ is compatible with the Riemannian metric, while property (4) means that ∇ is torsion free. The curvature tensor of the Riemannian metric is then given by
R _{X}_{Y} Z = ∇ _{X} ∇ _{Y} Z − ∇ _{Y} ∇ _{X} Z − ∇ _{[}_{X}_{,}_{Y} _{]} Z,
for X, Y, Z ∈ S(TM ). The curvature tensor satisﬁes the properties:
(1)
(2) R _{X}_{Y} Z + R _{Y} _{Z} X + R _{Z}_{X} Y = 0, for all X, Y, Z ∈ S(TM ); and (3) R _{X}_{Y} Z, W = R _{Z}_{W} X, Y , for all X, Y, Z, W ∈ S(TM ).
R _{X}_{Y} Z = −R _{Y} _{X} Z, for all X, Y, Z ∈ S(TM );
The sectional curvature of the 2plane section spanned by a pair of orthonormal vectors X and Y are deﬁned by
K(X, Y ) = R _{X}_{Y} Y, X .
If we take {e _{1} ,
, e _{m} } to be an orthonormal basis of the tangent space of M , then the Ricci curvature is
deﬁned to be the symmetric 2tensor given by
Observe that
R ij =
m
k=1
R _{e} _{i} _{,}_{e} _{k} e _{k} , e _{j} .
R ii =
k
=i
K(e _{i} , e _{k} ).
Let N be an ndimensional submanifold in M with n < m. The Riemannian metric ds _{M} ^{2} deﬁned on
M when restricted to N induces a Riemannian metric ds _{N} ^{2} on N. One checks easily that for vector ﬁelds
X, Y ∈ S (TM ), if we deﬁne
∇ _{X} ^{t} Y = (∇ _{X} Y ) ^{t}
to be the tangential component of ∇ _{X} Y to N, then ∇ ^{t} is the Riemannian connection of N with respect to
ds _{N} ^{2} . The normal component of ∇ yields the second fundamental form of N. In particular, one deﬁnes
− ^{−}^{→} II(X, Y ) = (∇ _{X} Y ) ^{n}
LECTURE NOTES ON GEOMETRIC ANALYSIS
3
and checks that it is tensorial with respect to X, Y ∈ S(TM ). Taking the trace of the bilinear form −→ II over the tangent space of N yields that mean curvature vector, given by
−→ _{=} −→
tr II
H .
In the remaining of this section we will derive the ﬁrst and second variational formulas for the area functional of a submanifold. Let N ^{n} ⊂ M ^{m} be a ndimensional submanifold of a mdimensional manifold M with m > n. Consider a 1parameter family of deformations of N given by N _{t} = φ(N, t) for t ∈ (− , ) with
N _{0} = N. Let {x _{1} ,
, n
be a coordinate system of N × (− , ) near the point (p, 0). Let us denote e _{i} = dφ _{∂}_{x} _{i} for i = 1,
, x _{n} , t} to
, x _{n} } be a coordinate system around a point p ∈ N. We can consider {x _{1} ,
∂
and T = dφ ^{} _{∂}_{t} ^{} . The induced metric on N _{t} from M is then given by g _{i}_{j} = e _{i} , e _{j} . We may further assume
, x _{n} } form a normal coordinate system at p ∈ N. Hence g _{i}_{j} (p, 0) = δ _{i}_{j} and ∇ _{e} _{i} e _{j} (p, 0) = 0. Let
us deﬁne dA _{t} to be the area element of N _{t} with respect to the induced metric. For t suﬃciently close to 0,
we can write dA _{t} = J(x, t) dA _{0} . With respect to the normal coordinate system {x _{1} , J (x, t) is given by
J(x, t) = _{} ^{g}^{(}^{x}^{,} ^{t}^{)}
, x _{n} }, the function
that {x _{1} ,
∂
^{} g(x, 0)
with g(x, t) = det(g _{i}_{j} (x, t)). To compute the ﬁrst variation for the area of N, we compute J ^{} (p, t) = ^{∂}^{J} (p, t).
∂t
1
By the assumption that g _{i}_{j} (p, 0) = δ _{i}_{j} , we have J ^{} (p, 0) = _{2} g ^{} (p, 0). However,
g
= det(g _{i}_{j} )
n
=
j=1
g 1j c 1j
where c _{i}_{j} are the cofactors of g _{i}_{j} . Therefore
g ^{} (p, 0) =
n
j=1
g _{1}_{j} ^{} (p, 0) c _{1}_{j} (p, 0) +
= g _{1}_{1} ^{} (p, 0) + c _{1}_{1} ^{} (p, 0).
n
j=1
g _{1}_{j} (p, 0) c _{1}_{j} ^{} (p, 0)
By induction on the dimension, we conclude that g ^{} (p, 0) = ^{} ^{n}
i=1 ^{g}
g _{i}_{i} =
T e _{i} , e _{i}
= 2 ∇ _{T} e _{i} , e _{i}
= 2 ∇ _{e} _{i} T, e _{i}
_{i}_{i} . On the other hand,
because {x _{1} ,
, x _{n} , t} form a coordinate system for N × (− , ). Let us point out that the quantity
n
i=1
∇ _{e} _{i} T, e _{i}
is now welldeﬁned under orthonormal change of basis and hence is globally deﬁned. If we write T = T ^{t} +T ^{n} where T ^{t} is the tangential component of T on N and T ^{n} its normal component, then
n
i=1
∇ _{e} _{i} T, e _{i} =
=
=
n
i=1
∇ _{e} _{i} T ^{t} , e _{i} +
n
i=1
∇ _{e} _{i} T ^{n} , e _{i}
n n
div(T ^{t} ) +
e _{i} T ^{n} , e _{i} −
i=1 i=1
div(T ^{t} ) + T ^{n} , ^{−}^{→}
H
T ^{n} , ∇ _{e} _{i} e _{i}
4
PETER LI
where ^{−}^{→}
H is the mean curvature vector of N. Hence the ﬁrst variation for the volume form at the point (p, 0)
is given by
_{d}_{t} dA _{t}  _{(}_{p}_{,}_{0}_{)} = (divT ^{t} + T ^{n} , ^{−}^{→}
d
H )dA _{0}  _{(}_{p}_{,}_{0}_{)} .
However, the right hand side is intrinsically deﬁned independent on the choice of coordinates and this formula is valid at any arbitrary point. If T is a compactly supported variational vector ﬁeld on N, then using the divergence theorem the ﬁrst variation of the area of N is given by
_{d}_{t} A(N _{t} ) _{} t=0 = N T ^{n} , ^{−}^{→}
d
H .
This shows that the mean curvature of N is identically 0 if and only if N is a critical point of the area functional. Such a manifold is said to be minimal. When N is a curve in M that is parametrized by arclength with unit tangent vector e, then the ﬁrst variational formula for length can be written as
d
dt ^{L}
^{} t=0
=
=
T ^{t} , e ^{}
0 ^{−} l
l
0
T ^{n} , ∇ _{e} e
T, e 
0 ^{−} l
l
0
T, ∇ _{e} e .
We will now proceed to derive the second variational formula for area. Let φ : N × (− , ) × (− , ) −→ M be a 2parameter families of variations of N . Following the similar notation, we denote dφ( _{∂}_{x} _{i} ) = e _{i} for
i = 1,
coordinate system, the ﬁrst partial derivative of J can be written as
, n, and we denote the variational vector ﬁelds by dφ( _{∂}_{t} ) = T and dφ( _{∂}_{s} ) = S. In terms of a general
∂
∂
∂
∂J
_{∂}_{t} (x, t, s) =
n
i,j=1
g ^{i}^{j} ∇ _{e} _{i} T, e _{j} J(x, t, s),
where (g ^{i}^{j} ) denotes the inverse matrix of (g _{i}_{j} ). Diﬀerentiating this with respect to s and evaluating at (p, 0, 0) we have
(1.1)
∂ ^{2} J
∂s∂t ^{=}
=
=
^{n}
Diﬀerentiating the formula ^{} _{k}_{=}_{1}
n
i,j=1
n
i,j=1
S
^{} g ^{i}^{j} ∇ _{e} _{i} T, e _{j} J ^{}
(Sg ^{i}^{j} ) ∇ _{e} _{i} T, e _{j} J +
n
+
i,j=1
g ^{i}^{j} ∇ _{e} _{i} T, e _{j} S(J)
n
i,j=1
g ^{i}^{j} (S ∇ _{e} _{i} T, e _{j} ) J
n
i,j=1
(Sg ^{i}^{j} ) ∇ _{e} _{i} T, e _{j} +
n
i=1
S ∇ _{e} _{i} T, e _{i}
+
n
i=1
∇ _{e} _{i} T, e _{i}
n
j=1
∇ _{e} _{j} S, e _{j}
.
g ^{i}^{k} g _{k}_{j} = δ _{i}_{j} , we obtain
n
(Sg ^{i}^{k} )g _{k}_{j} = −
n
g ^{i}^{k} (Sg _{k}_{j} ).
k=1 k=1
LECTURE NOTES ON GEOMETRIC ANALYSIS
5
Hence
Sg ^{i}^{j} = −
n
g ^{i}^{k} (Sg _{k}_{l} )g ^{l}^{j}
k,l=1
−Sg _{i}_{j}
−S e _{i} , e _{j}
=
=
= − ∇ _{S} e _{i} , e _{j} − ∇ _{S} e _{j} , e _{i}
= − ∇ _{e} _{i} S, e _{j} − ∇ _{e} _{j} S, e _{i} .
The ﬁrst term on the right hand side of (1.1) becomes
n
i,j=1
(Sg ^{i}^{j} ) ∇ _{e} _{i} T, e _{j} = −
n
i,j=1
∇ _{e} _{i} S, e _{j} ∇ _{e} _{i} T, e _{j} −
n
i,j=1
∇ _{e} _{j} S, e _{i} ∇ _{e} _{i} T, e _{j} .
The second term on the right hand side of (1.1) can be written as
n 
n 
n 


S ∇ _{e} _{i} T, e _{i} = 

∇ _{S} ∇ _{e} _{i} T, e _{i} + 

∇ _{e} _{i} T, ∇ _{S} e _{i} 

i=1 
i=1 
i=1 

n 
n 
n 
=
i=1
R _{S}_{e} _{i} T, e _{i} +
i=1
∇ _{e} _{i} ∇ _{S} T, e _{i} +
i=1
∇ _{e} _{i} T, ∇ _{e} _{i} S
where the term R _{S}_{e} _{i} T, e _{i} on the right hand side denotes the curvature tensor of M. Therefore, we have
(1.2)
∂ ^{2} J
∂s∂t ^{=} ^{−}
+
n
∇ _{e} _{i} S, e _{j} ∇ _{e} _{i} T, e _{j} −
n
∇ _{e} _{j} S, e _{i} ∇ _{e} _{i} T, e _{j}
i,j=1
n
R _{S}_{e} _{i} T, e _{i} +
i,j=1
n n
∇ _{e} _{i} ∇ _{S} T, e _{i} +
∇ _{e} _{i} T, ∇ _{e} _{i} S
i=1
i=1
i=1
+
n
i=1
∇ _{e} _{i} T, e _{i}
n
j=1
∇ _{e} _{j} S, e _{j} .
When N is a geodesic parametrized by arclength in M with unit tangent vector given by e, the second variational formula for the length is given by
∂ ^{2} L ∂s∂t
^{} (s,t)=(0,0) = l
0
{− ∇ _{e} S, e ∇ _{e} T, e + R _{S}_{e} T, e }
+
l { ∇ _{e} ∇ _{S} T, e + ∇ _{e} T, ∇ _{e} S } .
0
If we further assumed that N is a geodesic, ie. ∇ _{e} e ≡ 0, then we have
∂ ^{2} L ∂s∂t
^{} (s,t)=(0,0) = l
0
{−(e S, e )(e T, e ) + R _{S}_{e} T, e }
=
+
l {e ∇ _{S} T, e + ∇ _{e} T, ∇ _{e} S }
0
l { ∇ _{e} T,
0
+ ∇ _{S} T, e 
∇ _{e} S + R _{S}_{e} T, e − (e S, e )(e T, e }
l
0 ^{.}
6
PETER LI
When N is a general ndimensional manifold and if the two variational vector ﬁelds are the same and are normal to N , then (1.2) becomes
(1.3)
∂ ^{2} J
∂t ^{2}
^{} t=0
=
n
− ∇ _{e} _{i} T, e _{j} ^{2} −
i,j=1
n
+ R _{T}_{e} _{i} T, e _{i} +
+
i=1
n
i=1
n
∇ _{e} _{i} T ^{2} +
=
n
i,j=1
n
i=1
∇ _{e} _{j} T, e _{i} ∇ _{e} _{i} T, e _{j}
∇ _{e} _{i} ∇ _{T} T, e _{i}
n
i=1
∇ _{e} _{i} T, e _{i} 2
n
i,j=1
− ∇ _{e} _{i} T, e _{j} ^{2} −
i,j=1
∇ _{e} _{j} T, e _{i} ∇ _{e} _{i} T, e _{j}
n
−
i=1
+
n
i=1
R _{e} _{i} _{T} T,
e _{i} + div(∇ _{T} T) ^{t} + (∇ _{T} T) ^{n} , ^{−}^{→} H
∇ _{e} _{i} T ^{2} + T, ^{−}^{→}
H ^{2} .
On the other hand, if {e _{n}_{+}_{1} ,
, e _{m} } denotes an orthonormal set of vectors normal to N in M , then
n
i=1
∇ _{e} _{i} T, ∇ _{e} _{i} T =
n
i,j=1
∇ _{e} _{i} T, e _{j} ^{2} +
n
i=1
m
ν=n+1
∇ _{e} _{i} T, e _{ν} ^{2} .
Also
∇ _{e} _{i} T, e _{j} = T, −→ II
ij
= ∇ _{e} _{j} T, e _{i}
where ^{−}^{→}
II _{i}_{j} denotes the second fundamental form with value in the normal bundle of N . Hence, (1.3) becomes
∂ ^{2} J ∂t ^{2}
^{} t=0 ^{=} ^{−}
i, j
T, −→ II
ij ^{2} −
+ (∇ _{T} T) ^{n} , ^{−}^{→}
H +
n
i=1
R _{e} _{i} _{T} T, e _{i} +
div(∇ _{T} T) ^{t}
n
i=1
m
ν=n+1
∇ _{e} _{i} T, e _{ν} ^{2} + T, ^{−}^{→}
H ^{2} .
Therefore, the second variational formula for area in terms of compactly supported normal variations is given by
d
^{2}
dt
_{2}
A(N _{t} ) ^{} t=0 ^{=} N ^{−}
^{+} N
i, j
n
i=1
T, −→ II
m
ν=n+1
ij ^{2} −
n
i=1
R _{e} _{i} _{T} T, e _{i} + (∇ _{T} T) ^{n} , ^{−}^{→}
H ^{}
∇ _{e} _{i} T, e _{ν} ^{2} + T, ^{−}^{→}
H ^{2} ^{} .
For the special case when N is an orientable codimension1 minimal submanifold of an orientable manifold M , we can write any normal variation in the form T = ψe _{m} where e _{m} is a unit normal vector ﬁeld to N.
LECTURE NOTES ON GEOMETRIC ANALYSIS
7
Then the second variational formula can be written as
d
^{2}
dt
_{2}
A(N _{t} ) ^{} t=0 ^{=} N ^{−}
i, j
T, ^{−}^{→}
II _{i}_{j} ^{2} − R(T, T) +
n
i=1
∇ _{e} _{i} T, e _{m} ^{2} ^{}
=
N ^{} − ψ ^{2} h _{i}_{j} − ψ ^{2} R(e _{m} , e _{m} ) +
2
∇ψ ^{2} ^{}
where ^{−}^{→}
II _{i}_{j} = h _{i}_{j} e _{m} , R(T, T ) denotes the Ricci curvature of M in the direction of T, and we have used the
fact that
∇ _{e} _{i} T, e _{m} =
ψ ∇ _{e} _{i} e _{m} , e _{m} + e _{i} (ψ) e _{m} , e _{m}
= e _{i} (ψ).
If we further assume restrict the variation to be given by hypersurfaces which are constant distant from N, the variational vector ﬁeld is then given by e _{m} with ∇ _{e} _{m} e _{m} ≡ 0. This situation is particularly useful for −→ the purpose of controlling the growth of the volume of geodesic balls of radius r. In this case, if we write
H = H e _{m} , the ﬁrst variational formula for the area element becomes
(1.4)
^{∂}^{J} ∂t (x, 0) = H(x) J(x, 0),
and the second variational formula can be written as
(1.5)
^{∂} ^{2} ^{J} (x, 0) = −
∂t ^{2}
m−1
i,j=1
h _{i}_{j} (x) J(x, 0) − R(e _{m} , e _{m} )(x) J(x, 0) + H ^{2} (x) J(x, 0).
2
§2 Bishop Comparison Theorem
In this section, we will develop a volume comparison theorem originally proved by Bishop (see [BC]). Let p ∈ M be a point in a complete Riemannian manifold of dimension m. In terms of polar normal coordinates at p, we can write the volume element as
J(θ, r)dr ∧ dθ
where dθ is the area element of the unit (m−1)sphere. By the Gauss lemma, the area element of submanifold
∂B _{p} (r) which is the boundary of the geodesic ball of radius r is given by J (θ, r)dθ. By the ﬁrst and second
variational formulas (1.4) and (1.5), if x = (θ, r) is not in the cutlocus of p, we have
(2.1)
J ^{} (θ, r) = ^{∂}^{J} ∂r (θ, r)
= H(θ, r) J(θ, r)
and
(2.2)
J ^{}^{} (θ, r) = ^{∂} ^{2} ^{J} (θ, r)
∂r ^{2}
= −
m−1
i,j=1
h _{i}_{j} (θ, r) J(θ, r) − R _{r}_{r} (θ, r) J(θ, r) + H ^{2} (θ, r) J(θ, r)
2
where R _{r}_{r} = R(
curvature and the second fundamental form of ∂B _{p} (r) at the point x = (θ, r) with respect to the unit normal
_{∂}_{r} ∂ ), H(θ, r), and (h _{i}_{j} (θ, r)) denote the Ricci curvature in the radius direction, the mean
∂
∂r ^{,}
∂
vector _{∂}_{r} , respectively.
8
PETER LI
Using the inequalities
(2.3)
we can estimate (2.2) by
(2.4)
m−1
h
2
ij
i,j=1
m
− 2
J ^{}^{} ≤
− 1
_{=} m − 2
m − 1
m
^{≥}
m−1
h
2
ii
i=1
≥ ^{} m−1
h ii 2
i=1
m − 1 ^{H} ^{2} m − 1 ^{,}
=
H ^{2} J − R _{r}_{r} J
(J ^{} ) ^{2} J ^{−}^{1} − R _{r}_{r} J.
By the fact that any metric is locally euclidean, we have the initial conditions
J(θ, r) ∼ r ^{m}^{−}^{1}
and
J ^{} (θ, r) ∼ (m − 1)r ^{m}^{−}^{2} ,
as r → 0. Let us point out that if M is a simply connected constant curvature space form with constant sectional curvature K, then all the above inequalities become equalities. In particular (2.4) becomes
_{J} _{}_{} _{=} m − 2
m − 1
(J ^{} ) ^{2} J ^{−}^{1} − (m − 1)K J.
Theorem 2.1. (Bishop [BC]) Let M be a complete Riemannian manifold of dimension m, and p a ﬁxed point of M. Let us assume that the Ricci curvature tensor of M at any point x is bounded below by (m−1)K(r(p, x)) for some function K depending only on the distance from p. If J(θ, r) dθ is the area element of ∂B _{p} (r) as
deﬁned above and J(r) dθ is the solution of the ordinary diﬀerential equation
_{J} _{}_{} _{=} m − 2
m − 1
(J ^{} ) ^{2} J ^{−}^{1} − (m − 1)K J
with initial conditions
J(r) ∼ r ^{m}^{−}^{1}
and
J ^{} (r) ∼ (m − 1)r ^{m}^{−}^{2} ,
as r → 0, then within the cutlocus of p, the function ^{J}^{(}^{θ}^{,}^{r}^{)} is a nonincreasing function of r. Also, if
J(r)
H(r) = ^{J} _{J} , then H(θ, r) ≤ H(r) whenever (θ, r) is within cutlocus of p. In particular, if K is a constant,
then Jdθ corresponds to the area element on the simply connected space form of constant curvature K.
1
Proof. By setting f = J m−1 , (2.1) and (2.4) can be written as
f ^{} =
1
m − 1 ^{H} ^{f}
LECTURE NOTES ON GEOMETRIC ANALYSIS
9
and
The initial conditions become
and
1
^{−}^{1}
f ^{}^{} ≤
_{1} R rr f
m − ≤ −K f.
f (θ, 0) = 0
f ^{} (θ, 0) = 1.
Let f = J ^{m}^{−}^{1} be the corresponding function deﬁned using J. The function f satisﬁes
f ^{}^{} = −K f,
f (0) = 0,
and
f ^{} (0) = 1.
Observe that when K = constant the function f
r ∈ (0, deﬁne
> 0 for all values of r ∈ (0, ∞) when K ≤ 0, and for
_{K} ) when K > 0. In general, f > 0 on an interval (0, a) for some a > 0. At those values of r we can
π
√
F (θ, r) = ^{f}^{(}^{θ}^{,} ^{r}^{)}
f(r)
^{.}
We have 

F ^{} = f ^{−}^{2} 
(f ^{} f − f f ^{} ) 

and 

F ^{}^{} = 
f ^{−}^{1} f ^{}^{} − 2f ^{−}^{2} f ^{} f ^{} − f ^{−}^{2} f f ^{}^{} + 2f ^{−}^{3} f (f ^{} ) ^{2} 

≤ 
−2f ^{−}^{1} f ^{} F ^{} . 

Hence 
Integrating from to r yields
F
(f
^{2} F ^{} ) ^{} =
f ^{2} (F ^{}^{} + 2f ^{−}^{1} f ^{} F ^{} )
≤ 0.
^{} (r) ≤ F ^{} ( ) f ^{2} ( ) f ^{−}^{2} (r)
=
(f( ) f ^{} ( ) − f( ) f ^{} ( )) f ^{−}^{2} (r).
Letting → 0, the initial conditions of f and f implies that
In particular, f f ^{} − f ^{} f ≤ 0, which
implies
F ^{} (r) ≤ 0.
H(θ, r) ≤ H(r).
Moreover, F is a nonincreasing function of r implies that ^{J}^{(}^{θ}^{,}^{r}^{)}
J(r)
is also a nonincreasing function of r.
By computing the area element and the mean curvature of the constant curvature space form explicitly, we have the follow corollary.
10
PETER LI
Corollary 2.1. Under the same assumption of the theorem, if K is a constant, then
^{a}^{n}^{d}
H ≤
(m − 1) ^{√} K cot( ^{√} Kr),
(m − 1)r ^{−}^{1} ,
(m − 1) ^{√} −K coth( ^{√} −Kr),
J(θ, r)
J(r)
is a nonincreasing function of r, where
J(r) =
K ^{} m−1
1
√
sin ^{m}^{−}^{1} ( ^{√} Kr),
r ^{m}^{−}^{1} ,
√ −K m−1
1
sinh ^{m}^{−}^{1} ( ^{√} −Kr),
for K > 0
for K = 0
for K < 0,
for K > 0
for K = 0
for K < 0.
Let us take this opportunity to point out that this estimate implies that when K > 0, one must encounter
a cut point along any geodesic which has length
Corollary 2.2. (Myers) Let M be an mdimensional complete Riemannian manifold with Ricci curvature bounded from below by
R _{i}_{j} ≥ (m − 1)K
for some constant K > 0. Then M must be compact with diameter d bounded from above by
π
_{K} . In particular, this proves Myers’ theorem.
√
d ≤
π
^{√} K ^{.}
Corollary 2.3. Let M be an mdimensional complete Riemannian manifold with Ricci curvature bounded
from below by a constant (m − 1)K. Suppose M is an mdimensional simply connected space form with constant sectional curvature K. Let us denote A _{p} (r) to be the area of the boundary of the geodesic ball
∂B _{p} (r) centered at p ∈ M of radius r and A(r) to be the area of the boundary of a geodesic ball ∂ B (r) of
radius r in M. Then for 0 ≤ r _{1} ≤ r _{2} < ∞, we have
(2.5)
A _{p} (r _{1} ) A(r _{2} ) ≥ A _{p} (r _{2} ) A(r _{1} ).
If we denote V _{p} (r) and V (r) to be the volume of B _{p} (r) and B(r) respectively, then for 0 ≤ r _{1} ≤ r _{2} , r _{3} ≤ r _{4} < ∞ we have
(2.6)
(V _{p} (r _{2} ) − V _{p} (r _{1} )) ^{} V (r _{4} ) − V (r _{3} ) ^{} ≥ (V _{p} (r _{4} ) − V _{p} (r _{3} )) ^{} V (r _{2} ) − V (r _{1} ) ^{} .
Proof. Let us deﬁne C(r) to be a subset of the unit tangent sphere S _{p} (M ) at p such that for all θ ∈ C(r) the geodesic given by γ(s) = exp _{p} (sθ) is minimizing up to s = r. Clearly for r _{1} ≤ r _{2} we have C (r _{2} ) ⊂ C(r _{1} ). By Theorem 2.1, we have
J(θ, r _{1} ) J(r _{2} ) ≥ J(θ, r _{2} ) J(r _{1} )
for θ ∈ C(r _{2} ). Integrating over C(r _{2} ) yields
C(r 2 ) J(θ, r _{1} ) dθ J(r _{2} ) ≥ C(r 2 ) J(θ, r _{2} ) dθ J(r _{1} )
= A _{p} (r _{2} ) J(
Viel mehr als nur Dokumente.
Entdecken, was Scribd alles zu bieten hat, inklusive Bücher und Hörbücher von großen Verlagen.
Jederzeit kündbar.