Estimates on the non-compact expanding gradient Ricci solitons

advertisement
DOI: 10.2478/auom-2013-0046
An. Şt. Univ. Ovidius Constanţa
Vol. 21(3),2013, 95–102
Estimates on the non-compact expanding
gradient Ricci solitons
Xiang Gao, Qiaofang Xing and Rongrong Cao
Abstract
In this paper, we deal with the complete non-compact expanding
gradient Ricci soliton (M n , g) with positive Ricci curvature. On the
condition that the Ricci curvature is positive and the scalar curvature
approaches 0 towards infinity, we derive a useful estimate on the growth
of potential Rfunctions. Based on this andRunder the same assumptions, we
t
t
prove that 0 Rc (γ 0 (s) , γ 0 (s))ds and 0 Rc (γ 0 (s) , ν)ds at least have
linear growth, where γ(s) is a minimal normal geodesic emanating from
the point where R obtains its maximum. Furthermore, some other results
on the Ricci curvature are also obtained.
1
Introduction and Main Results
Ricci solitons are fixed points of the Ricci flow as a dynamical system on
the space of Riemannian metrics modulo diffeomorphisms and scalings. From
the equation point of view, they are natural generalizations of the Einstein
metrics. In this paper, in particular we study the expanding gradient Ricci
solitons and the definition is as follows:
Definition 1.1. A complete Riemannian manifold (M n , g) is called an expanding gradient Ricci soliton if there is a smooth function f : M n → R, such
that
Rc + ∇∇f = λg,
(1)
Key Words: Ricci flow, expanding gradient Ricci soliton, Ricci curvature.
2010 Mathematics Subject Classification: Primary 53C25; Secondary 53C44.
Received: January, 2013.
Revised: April, 2013.
Accepted: April, 2013.
This work is supported by the National Natural Science Foundation of China (NSFC)
11301493, 11101267 and Fundamental Research Funds for the Central Universities.
95
96
Xiang Gao, Qiaofang Xing and Rongrong Cao
where Rc is the Ricci curvature tensor and λ is a negative real number.
Recall that gradient Ricci solitons are the most widely studied Ricci solitons, and quite a few results on the classification of gradient Ricci solitons
have appeared. In particular, if (M n , g) is compact, then by the maximum
principle, it is elementary to check that f in (1) has to be a constant so that
the expanding gradient Ricci soliton M n is actually an Einstein manifold with
negative Ricci curvature. Hence in this paper, we are only interested in the
non-compact case, on the condition that the Ricci curvature is positive and
the scalar curvature approaches 0 towards infinity, we derive a useful estimate
on the growth of the potential function f as follows:
Theorem 1.2. If (M n , g) is a complete expanding gradient Ricci soliton with
positive Ricci curvature and the scalar curvature approaches 0 towards infinity, then for any sufficient small ε > 0, there exists r0 such that when
r (x) > r0 , we have
1
−
2λ
2
p
λ
1
(r (x) − r0 ) − R0 + 2λf (x0 ) +
R0
1+ε
2λ
≤ − f (x)
p 2
1 λr (x) − R0 − R0 ,
≤−
2λ
where r0 = dist (O, x0 ).
Theorem 1.2, we can also derive an estimate on the integral
R t By using
0
0
Rc
(γ
(s)
,
γ
(s))ds as follows:
0
Theorem 1.3. If (M n , g) is a complete expanding gradient Ricci soliton with
positive Ricci curvature and the scalar curvature approaches 0 towards infinity, then for any sufficient small ε > 0, there is r0 such that when r (x) > r0 , we
have
Z t
Rc (γ 0 (s) , γ 0 (s))ds
0
≥−
1
2λr (x)
2
p
λ
1
(r (x) − r0 ) − R0 + 2λf (x0 ) +
R0
1+ε
2λr (x)
+ λr (x) ,
where γ(s) is a minimal normal geodesic emanating from O, x = γ (t) and
r0 = dist (O, x0 ).
ESTIMATES ON NON-COMPACT EXPANDING GRADIENT RICCI SOLITONS
97
Rt
Remark 1. Theorem 1.3 states that the integral 0 Rc (γ 0 (s) , γ 0 (s))ds as long
as the geodesic emanates from the origin is independent on the choice of a
particular geodesic and only dependent on the end point x. Moreover we also
have another similar result as follows:
Theorem 1.4. If (M n , g) is a complete expanding gradient Ricci soliton with
positive Ricci curvature and the scalar curvature approaches 0 towards infinity, then any sufficient small ε > 0, there is r0 such that when r (x) > r0 , we
have
Z t
Rc (γ 0 (s) , ν (s))ds
0
s
2 p 2
p
λ
(r (x) − r0 ) − R0 + 2λf (x0 ) − λr (x) − R0
≥
1+ε
+ λr (x) ,
∇f
where γ(s) is a minimal normal geodesic emanating from O, ν = − |∇f
|
and r0 = dist (O, x0 ).
The paper is organized as follows: In section 2, we derive a technical lemma
and then prove Theorem 1.2. In section 3, we derive another useful lemma and
present the proof of Theorem 1.3 and 1.4.
2
Lemmas and Proof of Theorem 1.2
In this section, we firstly show that if there is any maximum point of scalar
curvature R, then it is unique.
Lemma 2.1. If (M n , g) is a complete expanding gradient Ricci soliton with
positive Ricci curvature, then there is at most one maximum point of the scalar
curvature R.
Proof. On the expanding gradient Ricci soliton we have (see [4])
∇R = 2Rc (∇f, ·) ,
in particular at a critical point p, where ∇R (p) = 0 we have
0 = h∇R (p) , ∇f (p)i = 2Rc (∇f (p) , ∇f (p)) .
Then by strict positivity of the Ricci curvature we have ∇f (p) = 0. Furthermore, since
∇∇f = λg − Rc < 0
for the expanding gradient Ricci soliton, we conclude that p is the unique
maximum point of the potential function f.
98
Xiang Gao, Qiaofang Xing and Rongrong Cao
By Morse theory, Lemma 2.1 shows that M n is diffeomorphic to the Euclidean space Rn . Moreover if we assume that the Ricci curvature is positive
and the scalar curvature R approaches 0 towards spatial infinity, then there
must be at least one point where R obtains its maximum. By Lemma 2.1
we see that the point of maximum is unique. We denote O as the point of
maximum of R, called the origin, and assume f (O) = 0 by adding a constant
and R (O) > 1 by multiplying a constant. On the expanding gradient Ricci
soliton, we also have (see [4]):
2
R + |∇f | − 2λf = C,
(3)
thus
2
R + |∇f | − 2λf = R (O) = R0 .
(4)
n
For any x ∈ M , let r (x) = dist (O, x) and γ(s) denote the shortest geodesic
from O to x, where s is the arclength. Now we give the proof of Theorem 1.2.
Proof of Theorem 1.2. By (4) and positivity of R we have
2
|∇f | = R0 − R + 2λf < R0 + 2λf,
thus
|∇ (R + 2λf )|
p
0
< −λ.
∇ R0 + 2λf = √
2 R0 + 2λf
Along any geodesic γ(s) emanating from O we have
D
E
dp
p
0
ds R0 + 2λf (γ (s)) = ∇ R0 + 2λf , γ (s) p
≤ ∇ R0 + 2λf < −λ.
Notice that the maximum of f is 0 so that f < 0, we deduce that
p
p R0 + 2λf (x) − R0 ≤ −λr (x)
By using λ < 0, we have
1
−f (x) ≤ −
2λ
λr (x) −
p
R0
2
− R0
(5)
∇f
For the lower bound of f (x), we work on the integral curve of − |∇f
, which
|2
is denoted by β (σ). Since
ESTIMATES ON NON-COMPACT EXPANDING GRADIENT RICCI SOLITONS
99
*
+
df (β (σ))
∇f
0
= h∇f, β (σ)i = − ∇f,
= −1,
2
dσ
|∇f |
together with f (O) = 0 we have f (β (σ)) = −σ.
Since the scalar curvature R approaches 0 towards spatial infinity, we have
p
|∇f | → R0 + 2λf
√
as x → ∞. Then given any sufficient small ε such that 0 < ε < R0 − 1, there
is σ0 such that when σ ≥ σ0 , we have
p
|∇f (β (σ))| > R0 − 2λσ − ε
along the integral curve β (σ).
Let x0 = β (σ0 ), then the length of β from x0 to x can be estimated as
Z σ
Z σ
1
dσ
|β 0 (σ)|dσ =
σ0
σ0 |∇f |
Z σ
1
√
<
dσ
R0 − 2λσ − ε
σ0
Z σ
1+ε
√
<
dσ,
R0 − 2λσ
σ0
√
where we use 0 < ε < R0 − 1. Thus
Z σ
p
1 + ε p
|β 0 (σ)|dσ < −
R0 − 2λσ − R0 − 2λσ0
λ
σ0
p
1 + ε p
R0 + 2λf (x) − R0 + 2λf (x0 ) .
=−
λ
On the other hand,
Z
σ
|β 0 (σ)|dσ ≥ dist (x, x0 ) = r (x) − r0 ,
σ0
where r0 = dist (O, x0 ), so we have
p
1 + ε p
−
R0 + 2λf (x) − R0 + 2λf (x0 ) ≥ r (x) − r0 .
λ
Hence
1
−f (x) ≥ −
2λ
p
R0 + 2λf (x0 ) −
2
λ
1
(r (x) − r0 ) +
R0
1+ε
2λ
(6)
100
Xiang Gao, Qiaofang Xing and Rongrong Cao
Remark 2. Substituting (5) into (4), we can also get that:
Corollary 2.2. Under the same assumptions of Theorem 1.2, we have
p 2
R (x) ≤ R0 + 2λf (x) ≤ λr (x) − R0
3
(7)
Proof of Theorem 1.3 and 1.4
∇f
In this section, we present the proof of Theorem 1.3 and 1.4. Let ν = − |∇f
| and
0
θ (x) denote the angle between γ (x) and ν, using the notations of last section
we can prove the following result:
Lemma 3.1. θ (x) ≤
π
3
as x → ∞.
Proof. Since
∇∇f = λg − Rc < 0,
we see that −f is geodesically convex and furthermore
−f (x) + f (O)
−f (x)
d
(−f (γ (s))) ≥
=
ds
r (x)
r (x)
On the other hand
d
(−f (γ (s))) = h−∇f, γ 0 i = |∇f | hν, γ 0 i = |∇f | cos θ (x)
ds
and using (5) it follows that
p
p
|∇f | ≤ R0 + 2λf < R0 − λr (x) .
(8)
Hence we have
cos θ (x) ≥
1
−f (x)
·
|∇f | r (x)
2
p
1
λ
(r (x) − r0 )
R0 + 2λf (x0 ) −
1+ε
2λr (x) R0 − λr (x)
R
.
√ 0
+
2λr (x) R0 − λr (x)
≥−
√
Let x → ∞ we get cos θ (x) ≥ 21 , and the result follows.
Then by using Theorem 1.2 and Lemma 3.1, we can now prove Theorem
1.3.
ESTIMATES ON NON-COMPACT EXPANDING GRADIENT RICCI SOLITONS101
Proof of Theorem 1.3. Along a minimal geodesic γ (s) we have
d
(|∇f | cos θ) = γ 0 h−∇f, γ 0 i = h−∇γ 0 ∇f, γ 0 i = Rc (γ 0 , γ 0 ) − λ
ds
As the proof of Lemma 3.1 we have
|∇f | cos θ (x) ≥
−f (x)
,
r (x)
(9)
taking integral from 0 to x along γ (s) and using (6) we get
Z t
Z t
d
0
0
Rc (γ (s) , γ (s))ds =
(|∇f | cos θ) + λ ds
ds
0
0
= |∇f | cos θ (x) − |∇f | cos θ (0) + λr (x)
−f (x)
+ λr (x)
r (x)
2
p
1
λ
≥−
(r (x) − r0 ) − R0 + 2λf (x0 )
2λr (x) 1 + ε
1
+
R0 + λr (x) ,
2λr (x)
≥
where we use x = γ (t).
Now we turn to prove Theorem 1.4.
Proof of Theorem 1.4. As the proof of Theorem 1.3, instead of |∇f | cos θ we
take derivative of |∇f | along the geodesic γ(s), and get
1
d
|∇f | =
γ 0 h∇f, ∇f i = h−∇γ 0 ∇f, νi = Rc (γ 0 , ν) − λ cos θ.
ds
2 |∇f |
Taking integral from 0 to x along γ (s) and using (6) and (7) we get
Z t
Z t
d
0
|∇f | + λ cos θ ds
Rc (γ (s) , ν (s))ds =
ds
0
0
Z t
≥ |∇f | (x) − |∇f | (0) + λ
ds
0
p
= R0 − R + 2λf + λr (x)
s
2
p
λ
≥
(r (x) − r0 ) − R0 + 2λf (x0 )
1+ε
p 2
− λr (x) − R0 + λr (x) .
102
Xiang Gao, Qiaofang Xing and Rongrong Cao
References
[1] S. Brendle, R. Schoen, Manifolds with 1/4-pinched curvature are space
forms, J. Amer. Math. Soc. 22 (2009), 287-307.
[2] H. W. Chen, Pointwise quarter-pinched 4-manifolds, Ann. Global Anal.
Geom. 9 (1991), 161-176.
[3] B. Chow, S. C. Chu, D. Glickenstein, C. Guentheretc, J. Isenberg, T.
Ivey, D. Knopf, P. Lu, F. Luo and L. Ni, The Ricci flow: techniques
and applications. Part II: analytic aspects. Mathematical Surveys and
Monographs, 144, AMS, Providence, RI, (2008).
[4] Bennett Chow, Peng Lu, Lei Ni, Hamilton’s Ricci Flow. Lectures in Contemporary Mathematics, 3, Science Press and Graduate Studies in Mathematics, 77, American Mathematical Society (co-publication), 2006.
[5] R. S. Hamilton, Four manifolds with positive curvature operator, J. Diff.
Geom., 24, (1986), 153-179.
[6] Grisha Perelman, The entropy formula for the Ricci flow and its geometric
applications, arXiv:math.DG/0211159.
Xiang Gao,
School of Mathematical Sciences,
Ocean University of China,
Lane 238, SongLing Road, Laoshan District, Qingdao City,
Shandong Province, 266100, People’s Republic of China.
Email: gaoxiangshuli@126.com
Qiaofang Xing,
Institute of Science,
Information Engineering University,
Zhengzhou City, Henan Province, 450001, People’s Republic of China.
Rongrong Cao,
School of Mathematical Sciences,
Qingdao University,
Lane 308, Ningxia Road, Shinan District, Qingdao City,
Shandong Province, 266071, People’s Republic of China.
Download