1. 引言
特征值问题的主要目标之一是通过尽可能明确的几何量,例如等周常数、流形的体积、流形的直径以及有关的曲率条件对特征值的上下界进行估计 [1] 。Laplace算子为最重要的微分算子之一,其特征值估计对几何、分析及物理等都有极其重要的作用。丘成桐(Yau)等著名数学家对微分算子的特征值估计问题做出了许多重要的贡献,直到现在特征值估计依然是流形分析上的重要问题,在许多数学家的不懈努力下,特征值估计问题迅速发展并拓展出许多新的更加精确的结果。本节将首先介绍微分流形上特征值估计问题的研究背景与研究意义,然后介绍特征值估计问题的基本发展。
1.1. 微分流形上特征值估计问题的研究背景与意义
爱因斯坦广义相对论需要用弯曲空间来描述物理世界,黎曼流形为描述解释广义相对论提供了工具,因此研究黎曼流形上的特殊算子有助于解决广义相对论及爱因斯坦场方程等问题。Laplace算子为微分流形上最重要的一类微分算子,是因为很多重要的非线性算子在线性化之后就是某个黎曼度量的Laplace算子,因此Laplace算子对微分流形的谱(即Laplace算子的特征值全体) [2] 的研究具有重要的意义。丘成桐在2000年发表的《几何与分析回顾》中提出了十个有待解决的问题,其中第二个问题就是:理解一个完备流形的Laplace算子的谱。微分流形上特征值问题的研究始于20世纪60年代,经过多年的发展获得了丰富有效的成果 [1] [3] [4] ,已经成为流形分析的重要研究课题之一,谱几何也成为大范围几何分析的一个重要分支。
20世纪,微分几何与物理学及数学中的分析数学、代数几何、拓扑学等相互影响相互促进,得到了迅猛发展。分析方法的引入更是对微分几何的发展产生了深远的影响,促进了许多著名问题的解决。一个微分流形的全体特征值能够反映出很多几何或拓扑信息?众所周知:一个等距的流形必然是等谱的。但是等谱的流形是否必然等距呢?1911年,Weyl证明了平面区域的面积可以由谱来决定;1964年,著名数学家Milnor构造出等谱而不等距的16维平坦环面;1966年,Kac提出一个问题“你能听出鼓的形状吗”化为数学问题即两个平面等谱区域是否等距同构?并证明答案是否定的,即等谱的流形不一定等距。Laplace算子的谱与流形的几何性质及拓扑性质有着密切的联系,谱理论对数学与物理具有重要的作用,但是已经求出谱的只有等腰直角三角形、标准单位球面、平坦球面、Klein瓶、复射影空间、酉群等很少的流形。鉴于大部分的流形的谱尚无法完全计算,而主特征值是谱的主项,故近几十年来数学家们主要研究主特征值(第一特征值)的尽可能精确的结果。主要有三类研究方法:一是Cheeger引入的等周常数的方法;二是Li-Yau发展的梯度估计方法;三是概率中的耦合方法。
特征值问题也促进了数学其他分支中相关问题的研究与应用,如非线性科学,计算数学中的反散射理论,谱方法的数值分析,湍流等。Laplace方程在数学物理中起着十分重要的作用,求解热传导问题或薄膜振动问题实际就是求解Laplace方程的特征值问题,在薄膜情况下特征值对应于薄膜振动的固有频率。Laplace算子推广到黎曼流形上后成为现代微分几何中一个极其重要的微分算子,其特征值问题促进了许多物理问题的解决。将黎曼度量进行推广得到新的Finsler流形是比黎曼流形更广泛的流形,在特殊的Finsler-Berwald空间上建立引力场方程有利于解决推广的狭义相对论(例如Sitter狭义相对论、Doubly狭义相对论和Very狭义相对论)问题。并可以在此基础上研究超高能粒子在宇宙空间的运动特征,对于解释星系旋转曲线观测实验的暗物质假设替代模型修改的牛顿力学和宇宙加速膨胀的现象也具有重要作用。在Finsler几何的框架下研究Berwald空间上的引力场方程在弱场近似下的行为,会发现一特殊的Finsler结构所导出的动力学方程与MOND给出的方程一致。微分算子的谱理论在工程和物理领域有着广泛的应用,兴起于20世纪的量子力学理论是研究微观粒子状态的主要工具,大大促进了现代科学技术的发展,使人们掌握了先进的科学技术如激光、光纤等,量子力学已经成为现代物理的重要支柱,而量子力学研究中的一个重要问题就是考虑微分算子的谱理论。例如,量子跃迁是量子力学中一个非常重要的问题(即在某种外界作用下体系在定态之间的跃迁几率问题),这个问题主要考虑本征态即特征函数空间。另外,一个量子体系能级分布在理论与观测上都有重要的性质,厄米算符可以用来表示量子力学体系的哈密顿量,而厄米算符的本征值对应该量子力学体系的能级。在量子力学中求解系统能谱是基础而重要的问题,处理此类问题时,通常使用的是Schrodinger方程,但是由于涉及到微分方程很多时候不容易求解。另一方面,与Schrodinger方程同样重要的Heisenberg方程却很少被直接用于求解能谱。其实由Heisenberg的思想出发并结合Schrodinger算子可以得出一种求解系统能谱的新方法,称为“不变本征算符方法”。此方法主要从Heisenberg创建矩阵力学的思想出发,关注能级的间隙同时结合Schrodinger算符的物理意义,把本征态的思想推广到“不变本征算符”的概念对算符进行操作,无须涉及系统的具体量子态或波函数,从而回避了复杂的微分方程,更方便对很多系统进行求解,为量子力学、量子光学和固体物理提供了新方法,也为经典力学的简正坐标理论提供了新思路。
1.2. 特征值估计问题的发展
对Laplace算子的特征值进行估计时,由于边界条件的不同主要分为Dirichlet边界问题与Neumann边界问题:
Dirichlet边界问题:
Neumann边界问题:
其中
为
上的外法向量。
特征值问题的研究中有两个密切相关的方向:一是研究序列
的渐近性质,著名的Weyl公式 [2] 给出了
渐近展开的第一项,Ivrii在研究
渐近展开的第二项的方向上做了重要的工作;另一方面是对一般流形利用梯度估计、等周不等式、极大极小原理等估计开头几个特征值。鉴于大部分流形的谱尚无法完全计算,而主特征值是谱的主项,故我们主要研究主特征值(即第一特征值)的尽可能精确的结果。
Cheng [5] 给出了仅依赖于流形的直径及Ricci曲率的主特征值的经典的上界估计:
定理1.1 设M为一个m维带边界的完备黎曼流形,Ricci曲率满足
,则M上Laplace算子的第一非零特征值满足上界估计:
Li-Yau [6] 得到了只依赖于直径及Ricci曲率的主特征值的经典的下界估计:
定理1.2 设M为一个m维无边界的紧致黎曼流形,其Ricci曲率非负,直径为d,则M上Laplace算子的第一非零特征值满足下界估计:
在此基础上,Zhong-Yang [7] 得到了此类问题的主特征值下界的最优估计。
推论1.3 设M为一个m维无边界的紧致黎曼流形,且其Ricci曲率非负,M的直径为d,则M上Laplace算子的第一非零特征值下界满足:
最近,Hang-Wang [8] 对此类问题进行改进并证明了Ricci曲率满足
的光滑紧致黎曼流形,若
,则流形M等距于半径为
的圆。
2. 主特征值估计
黎曼流形上最基本的椭圆算子是Laplace算子,若M是紧致的则其Laplace算子具有离散的谱,记作
,显然
时,
。典型Laplace算子的特征值估计主要是根据某些几何不变量在黎曼流形上进行的,那么在流形本身、曲率条件或其他估计条件发生改变时,特征值会发生怎样的变化?本节将归纳总结一般的p-Laplacian的特征值估计;由黎曼流形推广到Finsler流形上的特征值估计;以及添加特征函数得到的Schrödinger算子的特征值估计。
2.1. Li-猜想的发展
1958年,Lichnerowicz [9] 证明了特殊曲率条件下的第一非零特征值的一个下界估计。
定理2.1.1 设M为一个m维无边界的紧致黎曼流形,Ricci曲率满足
,则M上Laplace算子的第一非零特征值满足下界估计:
随后,Choi-Wang [10] 优化了该问题。
推论2.1.2 设M为一个m维可定向的嵌入到
维可定向紧致黎曼流形N中的最小超曲面,且流形N的Ricci曲率满足
,常数
,则其第一非零特征值满足:
Li-Yau [6] 得到了只依赖于流形M的直径d及Ricci曲率的主特征值的下界的估计(即定理1.2),随后钟家庆与杨洪苍利用极大值原理 [11] 优化选择更恰当的试验函数后给出这类问题的最优估计(即定理1.3)同时,Li-Yau [6] 给出了依赖于直径d并满足一定Ricci曲率条件的一个下界估计。
定理2.1.3 设M为一个m维无边界紧致黎曼流形,Ricci曲率满足
,常数
,则存在仅取决于m的常数
,使得Laplace算子的第一非零特征值满足:
随后Yang [12] 优化了此类估计。
推论2.1.4 设M为一个m维无边界紧黎曼流形,Ricci曲率满足
,常数
,M的直径为d,则存在仅取决于维数m的常数
,使得M上Laplace算子的第一非零特征值满足下界估计:
结合流形根据直径与曲率的特征值估计,Li提出猜想:
。特别地,当
时,即定理1.3,当
时,即定理2.1。Yang [12] 在此基础上又进一步提出猜想:
。为证明Li猜想,数学家们探索研究了
对哪些常数a成立 [13] - [19] 。
定理2.1.5 设M为一个m维闭黎曼流形,且其Ricci曲率满足
,常数
,记M的直径为d,则M上Laplace算子的第一非零特征值满足:
推论2.1.6 设M为一个m维带边界的紧致黎曼流形,Ricci曲率满足
,常数
,且关于边界
的单位法向量的平均曲率非负,d为M的直径,
为M中最大内接球的直径,
。则Laplace算子的第一非零特征值满足:
推论2.1.7 设M为一个m (
)维紧致黎曼流形,M关于外法向量的第二基本形式非负,设Ricci曲率满足
,常数
,则有:
推论2.1.8 设M为一个m维紧致黎曼流形,M关于外法向量的第二基本形式非负,Ricci曲率满足
,常数
,且具有对称性(即第一特征函数最小值与最大值互为相反数),则M上Laplace算子的第一非零特征值满足:
定理2.1.9 设M为一个m维无边界(或有凸边界)的紧致黎曼流形,且其Ricci曲率满足
,记M的直径为d,则关于Neumann边界条件的Laplace算子的第一非零特征值满足下界估计:
其中
。特别地,
即
,从而证明Yang-猜想是正确的。
而Andrews-Clutterbuck [20] 证明
对于
为最优估计,故Li-猜想是错误的。虽然Li-猜想最终被证明是错误的,但是由该猜想延伸拓展产生的很多特征值的估计结果等对流形的分析依然具有十分重要的作用。
2.2. P-Laplacian的特征值估计
一般的Laplace算子可以推广到高阶情形,设M为一个光滑黎曼流形,区域
,对
,
,
上的p-Laplacian定义为
。特别地,
即为一般的Laplace-Beltrami算子。非线性特征值问题也分为Dirichlet与Neumann边界问题:
Dirichlet边界问题:
Neumann边界问题:
其中
为
上的外法向量。设
且具有非空紧致闭边界
,则
上的第一特征值为:
。当
有分段光滑的边界时,
为Dirichlet边界问题的第一特征值。特别地,当M为无边紧致流形时,有:
当M为完备非紧致流形时,
,其中
是为以
为圆心以r为半径的测地球。
p-Laplacian作为一般Laplace算子的自然推广有以下三种特征值估计 [21] :
定理2.2.1 (Cheng型估计)设M为一个m维完备黎曼流形,
,
,
,
,
,记
,存在仅取决于m,p,
,K,r的常数
,满足
非空,且
,则存在常数C,使得p-Laplacian特征值满足:
其中
为单连通常曲率K的完备空间形式,
为以r为半径的球,
为
中Dirichlet边界条件的p-Laplacian的第一非零特征值。
定理2.2.2 (Lichnerowicz型估计)设M为一个m维完备黎曼流形,对于
,
,
,
,存在仅取决于m,p,
,K,r的常数
,若
,则M关于Neumann边界条件的p-Laplacian的特征值下界估计满足:
当
时,
。
定理2.2.3 (Lichnerowicz-Obata型估计)设M为一个m维完备黎曼流形,对于
,
,
,
,存在仅取决于m,p,
,K,r的常数
满足
,则M关于Neumann边界条件的p-Laplacian的特征值满足:
在此基础上,数学家们 [22] [23] [24] [25] 得到很多更精确的对p-Laplacian特征值的估计结果:
定理2.2.4 设M为光滑黎曼流形,则p-Laplacian的第一非零特征值下界满足:
定理2.2.5 设M为一个m维完备非紧致的单连通黎曼流形,截面曲率k满足
,则p-Laplacian的第一非零特征值满足:
定理2.2.6 设M为带凸边界的紧致黎曼流形,且具有非负Ricci曲率,记d为M的直径,则M关于Neumann边界条件的p-Laplacian的第一非平凡特征值下界满足:
其中
。特别地,当
时,
。
定理2.2.7 设M为一个紧致黎曼流形,具有非负Ricci曲率
,记d为M的直径,
,则M关于Neumann边界问题的p-Laplacian的第一非平凡特征值下界满足:
定理2.2.8 设M为一个紧致黎曼流形,且其Ricci曲率拟正(即
,但至少存在一点使
),
,则有Neumann边界的p-Laplacian的第一非平凡特征值满足:
2.3. Finsler流形上的特征值的估计
一般的特征值估计主要是在黎曼流形上进行的,Finsler流形是一种比黎曼流形更广泛的度量空间。设
是微分流形
的一个坐标系,
为一条曲线,弧长s记为
,其中
,
是Finsler度量函数,这样的微分流形
称为Finsler流形。
是黎曼度量
的推广。同黎曼流形一样,Finsler流形上两点之间的距离定义为连接这两点的曲线弧长的下确界。由于Finsler流形是度量空间,其度量拓扑和原来微分流形拓扑一致,显然黎曼流形上的许多性质可以推广到Finsler空间。芬斯勒(Finsler)于1918年在学位论文中系统地研究了这种度量,把经典的曲线和曲面论中的许多概念和定理进行推广,开展了整体Finsler几何的研究。Finsler流形几何理论在广义相对论和其他物理学领域中有许多应用,近年来无限维Finsler流形在非线性分析中也有越来越重要的作用。由于Finsler流形是比黎曼流形更广泛的流形,自然地可以研究Finsler流形上的Finsler-Laplace算子的特征值的估计。但由于Finsler流形上的Laplace算子是一个非线性微分算子,故很多黎曼流形上的估计方法不再适用,为了克服这些困难,需引进加权梯度、加权Ricci曲率及加权Laplace算子。比较黎曼流形上Laplace算子特征值估计的经典结果,也有很多关于Finsler流形上的Finsler-Laplace算子的特征值估计的重要结论 [26] [27] 。
定理2.3.1 设
为一个m维完备的连通Finsler流形,其加权Ricci曲率及S-曲率满足
,
,常数
,
,
表示S-曲率在测地线上的曲率改变量,则
上Finsler-Laplace算子的第一非零特征值满足:
推论2.3.2 设
为一个m维完备的连通Finsler流形,
且Ricci曲率满足
,
,则Finsler-Laplace算子的第一非零特征值满足:
定理2.3.3 设
为一个m维紧致Finsler流形,其加权Ricci曲率满足
,d为M的直径,则
上Finsler-Laplace算子的第一非零特征值满足下界估计为:
2.4. Schrödinger算子的特征值估计
前面我们主要研究Laplace算子在几何不变量或流形本身改变时特征值的改变,进一步当改变特征函数后特征值会有什么变化呢?本节将研究加上势函数的Schrödinger算子的主特征值的估计。
引进势函数后,新的Dirichlet边界问题为:
。其中算子
称为Schrödinger算子,记为
,M上的光滑函数V称为势函数,
为Laplace算子。紧致黎曼流形上Laplace算子特征值的渐近性质可以推广到Schrödinger算子上,记
为Schrödinger算子H的特征值,则其特征值序列为
,显然
时
。一般Laplace算子的特征值估计主要取决于流形的维数、Ricci 曲率等几何不变量,但由于Schrödinger算子中引进了势函数,故其特征值估计不仅与几何不变量有关,还取决于势函数的积分值。
定理2.4.1 设M为一个紧致黎曼流形,给定常数
,
,且每个半径为r的球可被M中半径为
的一组球覆盖,设
,
,有
,则对任意势函数V,流形M上Schrödinger算子的一般特征值满足:
其中
为仅取决于N的常数,
为取决于
的常数,
。进一步,若Schrödinger算子为非负算子,则
,
仅取决于N。
对于Schrödinger算子,也有很多它在黎曼流形上第一特征值的估计结果 [28] [29] 。
定理2.4.2 设M为一个紧致黎曼流形,V为光滑函数,则M上Schrödinger算子的第一特征值满足:
定理2.4.3 设M为一个紧致黎曼流形,任意势函数V为光滑函数,Schrödinger算子定义在(0, L)上,具有周期边界条件,定义
。则流形M上Schrödinger算子的第一特征值满足:
3. 结论
黎曼流形上特征值的估计会由于直径、曲率等条件及估计方法的不同得到不同的估计结果。进一步,我们发现改变流形本身时也有很多较好的结果:将Laplace算子推广到高维的p-Laplacian时其特征值估计与Ricci曲率的联系更加密切;将黎曼流形推广到更广泛的Finsler流形时,通过引进加权梯度、加权Ricci曲率及Ricci-Laplace算子等对其上Laplace算子的特征值估计得到了与黎曼流形上一般Laplace算子特征值估计相似的估计结果。
一方面,典型微分算子特征值的估计结果越来越精确。另一方面,随着研究范围的延伸许多新的问题不断出现,如p-Laplacian的特征值估计中Ricci曲率满足一定的下界条件时主特征值的上下界估计是否会更精确?能否得到与一般的Laplace算子的主特征值估计相似的结果?Finsler流形上已经证明了同黎曼流形上类似的Lichnerowicz型估计结果与Zhong-Yang型估计结果,那么在Finsler流形上是否能满足黎曼流形上其他类型的估计结果?是否可以研究Finsler流形上的p-Laplacian的主特征值估计问题?Schrödinger算子中取某些特殊的势函数时其主特征值估计是否会有更精确的结果?这些问题会激励着我们不断尝试,更好地促进特征值估计问题的发展,促进分析流形的发展。应用到物理方面可以更好地求解热传导问题或薄膜振动问题,更精确地解决量子力学中量子跃迁、求解系统能谱等非常重要的问题,为量子力学、量子光学和固体物理提供新方法,也为经典力学的简正坐标理论提供新思路,促进现代科学技术的发展。
基金项目
本文由山东省自然科学基金(ZR2018MA006)及山东省研究生导师指导能力提升项目(SDYY17009)支持。
NOTES
*通讯作者。