1. 引言以及主要结果
对于Ricci曲率具有负下界
的紧致黎曼流形Laplace算子的高阶特征值的下界估计,Li-Yau [1] 给出了此类型Ricci曲率条件下的下界估计,即
,其中
,
是仅依赖于常数
,这仅是对此得到定性的估计。 因此,本文考虑的是在Ricci曲率具有负下界
的紧致黎曼流形上Laplace算子高阶特征值下界估计的问题,这个下界估计的结论是定量,简单地说,本文给出
的具体形式。
已知热核是热方程
,在
。 (1.1)
的基本解,这也是研究Laplace算子的有效工具之一。本文遵循孙和军 [2] 提供的方法,即借助于热核的性质以及已得到的Ricci曲率具有负下界的第一特征值
下界估计的结果,来推导出Laplace算子高阶特征值的下界估计,并且所得的估计都是定量的。
但不同于 [2] 中建立的梯度函数为
,
。
注意到此处
的系数
是一个函数,而不是一般的常数,因此对梯度函数进行梯度估计时避免不了的是给出函数
的具体形式,进而获得一个新的Harnark不等式,这样就在一定程度上增加了难度。本文所建立的梯度函数为
,
对于任意固定的
。并且对
的梯度估计均来自原文献,因此证明获得的Harnark不等式的证明过程相对简单。
另一方面,蔡开仁 [3] 获得了关于Ricci曲率满足
假设条件下n维的紧致黎曼流形,Laplace算子第一特征值
的下界估计为
, (1.2)
贾方 [4] 在相同的Ricci曲率的假设条件下,n维紧致黎曼流形上的Laplace算子第一特征值
的下界估计为
, (1.3)
其中d是流形的直径,
。
杨洪苍 [5] 在研究狄利克雷边界条件的第一特征值下界估计时,引进了具有负下界
的Ricci曲率和具有负下界的边界平均曲率,在满足下列条件时
则
, (1.4)
其中
是流形的内接半径。
对此,本文在第2节先完成建立Harnack不等式的预备工作,第3节将给出了在Ricci曲率具有负下界
的紧致黎曼流形上Laplace算子的高阶特征值的下界定量估计主要定理的证明,本文对定理1.1,定理1.2和定理1.3的证明虽然在一些证明的策略上类似于 [2] ,但因为采用了得当的梯度函数
的梯度估计,因此在一定程度上简化对定理的证明。其中定理1.3的结论说明了高阶特征值下界估计的结论不仅仅是与
中四个几何量有关,还与黎曼流形上新的几何量有关。
定理1.1设M是n维紧致黎曼流形,其Ricci曲率
,其中常数
,d为M的直径,则
。 (1.5)
其中,
,
。
注意到当
时,
,
,这样可以部分的证明了存在某个
,则
定理1.2 设M是n维紧致黎曼流形,其Ricci曲率
,其中常数
,d为M的直径,当
时,则
, (1.6)
其中,
,
。
而当
时,则
, (1.7)
其中,
,
。
当
时,
,此时就有
。
仅依赖于常数n。
定理1.3设M是n维紧致黎曼流形,其Ricci曲率
,其中常数
,
为M的内接半径,则
, (1.8)
其中,
,
。
2. Harnack不等式
设M为一个n维完备黎曼流形,
,
是M上的局部正交标架场。 用下标i,j分别表示对
,
方向协变导数。u是(1.1)式的正解,
,令
,则f满足
。 (2.1)
其中
表示为
的梯度,设Ricci曲率满足
,对于固定的常数
,令
,对此,Schoen-Yau [6] 得到了如下梯度估计
,
,
。(2.2)
在相同的条件下,Davies [7] 将上述的结果改进为
,
,
。 (2.3)
事实上,我们可以获得如下的Harnack不等式。
引理2.1设M为n维完备黎曼流形,Ricci曲率满足
,设
是定义在
热方程(1.1)的正解,对
,
,下列不等式成立
。 (2.4)
证明在M中取连接
和
的极小测地线,
,使得
,
,在
上定义曲线
,
,则
,
。
令
,则
,
于是
。 (2.5)
若记
,则
,由(2.3)式得到
。 (2.6)
从而有
。
上式右端被积分项可以看成关于
的二次三项式,其极大值为
。(2.7)
令
,直接由(2.7)式得到
(2.8)
(2.8)式不等式两边同时取指数函数exp,就可以得到(2.4)式。特别地,取
时,(2.4)式就可以得到
。 (2.9)
3. 主要定理的证明
引理3.1 [2] 设M是一个n维的紧致黎曼流形,并且Ricci曲率满足
,d是流形M的直径,以
表示中心在x点,半径为r的测地球体积,以
表示体积元,则
。 (3.1)
完成上述的工作后,现在对定理1.1,定理1.2和定理1.3作出证明。
定理1.1的证明设
是M的热核,由(2.9)式可知,下述Harnack不等式成立
。
取
,
,移项并对y作积分,因为
,因此有
。 (3.2)
直接由引理3.1可得
。
将上式代入代入到(3.2)式,并注意到
,
对x作积分可以得到
。 (3.3)
令
,则
。假设r是确定的,对t取极小值,(3.3)式可得
。(3.4)
取
,从而有
。 (3.5)
进一步可得
。
取
,
。
即得到(1.5)式。
当
时,
,,(1.5)式可表示为
,
这样可以部分地证明了对存在某个
,使得
。
证毕。
定理1.2的证明当
时,
,此时(1.3)式可等价于
进一步地,
。 (3.6)
由(3.6)式的右式后得
。
再将上式的结果代入到(3.5)后得
。 (3.7)
令
,
。
即得到(1.6)式。
当
时,
,直接由(1.3)式可等价于
。(3.8)
进一步地,
。 (3.9)
显然地,当
时,总有
。同样地,直接由(3.9)式的右式得
。
再将上式的结果代入到(3.5)后得
。
令
,
。
即得到(1.6)式,当
时,
,此时就有
,
仅依赖于常数n,证毕。
定理1.3的证明与定理1.2当
的证明相似,这里不作叙述。
4. 结束语
黎曼流形上Laplace算子高阶特征值的下界估计是可以作定量估计的,这是借助于热核的性质以及已得到的Ricci曲率具有负下界的第一特征值
的下界估计所推导出的结论。本文还借助到狄利克雷边界条件的第一特征值的下界估计得到高阶特征值的下界估计还与流形上的几何量内接半径有关,这个结论推广了Li-Yau定性估计的结论。
基金项目
广西民族大学研究生教育创新项目[gxun-chxzs2018037]。
NOTES
*通讯作者。