《流形上的特征值理论》读书报告

潘列波

Abstract
这是关于论文 A FIRST EIGENVALUE ESTIMATE FOR MINIMAL HYPERSURFACES 的读书报
告.

1 引言
本文利用 Reilly 公式得到了正 Ricci 曲率的紧致定向流行里的紧致定向极小嵌入超曲面的第一特征
值的下界估计. 并以此推广了 Yau 和 Yang 关于 S3 中极小超曲面的结果.

2 Reilly 公式
Reilly 公式是积分形式的 Lichnerowicz-Bochner 公式. 令 M 为有光滑边界 B M 的 n 维黎曼流形.
那么 f 的 Laclican, 梯度模长有如下的积分等式.

定理 1.
ż ż ż
ˇ 2 ˇ2
s )2 ´ ˇD
(∆f s fˇ = Ric(∇f,
s ∇fs )+ (∆z + Ku)u ´ x∇z, ∇uy + II(∇z, ∇z),
M M BM

其中 Ric(¨, ¨) 是 M 上的 Ricci 曲率.

证明 正交标架下, 我们有 Lichnerowicz-Bochner 公式

( )
1
|∇f |2 = (fi,j )2 ´ (fi,i )2 + (fi fj,j )i + fi fm Rk
2 j,j

= (fi,j )2 + fi fk,k,i + fi

两边积分, 就得到 ż n ż
1s ÿ ˇ 2 ˇ2
∆|∇f | ´
2
fi (∆f
s )i = s f ˇ + Ric(∇f, ∇f ).
ˇD
M 2 i=1 M

对左边使用 Stoke’s theorem, 我们得到

ż n ż ÿ n n ż
1s s 2 ÿ ÿ
∆|∇f | ´ fi (∆f )i =
s fi fi,n ´ fn fi,i + s )2
(∆f
M 2 i=1 BM i=1 i=1 M
ż n´1ÿ n´1
ÿ ż
= fi fi,n ´ fn fi,i + s )2
(∆f (˚)
BM i=1 i=1 M

如果 i ‰ n, 那么
n´1
ÿ
s 2 f )(ei , en ) = ei (en f ) ´ (D
fi,n = (D s ei en )f = ui ´ hij zj
j=1

1
其中 hij = II(ei , ej ). 同时
n´1
ÿ n´1
ÿ [ ]
fi,i = ei (ei f ) ´ (D
s ei e i f )
i=1 i=1
n´1
ÿ [ ]
= ei (ei f ) ´ (Dei ei )f ´ [(D
s ei ei f ) ´ (Dei ei )f ]
i=1

= ∆z + Ku

其中 D 是 B M 上的联络. 将上式带回到 (˚), 就能得到 Reilly 公式.

3 主要结果
定理 2. 令 M 为一紧致有向黎曼流形 N 的紧致有向嵌入极小超曲面. 假设 N 的 Ricci 曲率以一正数 k
为下界. 那么 λ1 (M ) ě k/2, 其中 λ1 (M ) 是 M 上第二边界条件下的 Laplace 算子的第一特征值.

证明. 因为 N 的 Ricci 曲率严格正, 所以第一个 Betti 数为 0. 我们就知道 M 将 N 分成两个部分 Ω1 和

Ω2 , 并且 M = B Ω1 = B Ω2 .
令 z 为 M 的第一特征值对应的函数, f 是以下 Dirichlet 问题的解
#
s = 0, in M
∆f
f = z. on B M

根据 Cauchy-Schwartz 不等式, 有 (∆fs )2 ď n|Ds 2 f |2 . 再结合 Reilly 公式, 就得到

ż ż ż
n´1 s 2
(∆f ) ě k |∇f 2
s | + (∆z)u ´ x∇z, ∇uy + II(∇z, ∇z).
Ω1 n Ω1 BΩ1

左边第一项显然等于 0, 对右边第二项和第三项用分部积分, 就得到

ż ż ż
0ě k |∇f | +
¯ 2
´2λ1 zu + II(∇z, ∇z).
Ω1 BΩ1 BΩ1

推论 3. 令 M 为 S 紧致嵌入极小超曲面, 其中 S 的截面曲率为 1. 那么有 λ ě (n ´ 1)/2.

n n

注记 Choi 和 Wang 的结果已经很接近 Yau 在 [] 猜想的. 众所周知, 座标函数是 Sn 中极小超曲面 M 上

对应于 n ´ 1 的特征函数. Yau 猜想其第一特征值确确实实就是 n ´ 1. Choi 和 Wang 对 λ1 的下界估计
为这个猜想增加了可信度.

4 应用
Yang 和 Yau 证明了面积为 A 亏格 g 的有向黎曼面, 有第一特征值的上界估计 λ1 ď 8π(g + 1). 结合
定理 2, 就能得到如下结果

命题 4. M 和 N 是如定理 2 所言的黎曼流形, 若 M 的维数是 2, 则有 A ď 8π(g + 1).

推论 5. 令 M 为 S3 中的紧致嵌入极小超曲面, 那么 A ď 8π(g + 1)

并且, 利用这篇文章的结果和 Bumpy 度量定理, 可以证明装备以正高斯曲率的 generic 度量的 S2 只

有有限多条测地线.