现代科技综述知识文库：黎曼流形特征值的估计.pdf

现代科技综述系列—— 黎黎曼曼流流形形特特征征值值的的估估 计计 科技是人类区别于动物的重要文明之一， 是人类对自然规律研究 利用的学科。 本文提供对科技基本概念 “黎曼流形特征值的估计” 的解读，以供大家了解。 黎黎曼曼流流形形特特征征值值的的估估 计计 谱几何正问题的一个重要研究课题是计算流形的谱。 通常直接算出流形的谱是十分困难的，为此要对特征 值(即谱值)进行估计，找出其下控与上界。 此问题引伸到等周不等式的探讨，以及Pinching 问题的 研究，此外，在物理学中，确定鼓膜的形状也需用特 征值的计算。 设(M ，g)是紧致、连通的黎曼流形，则黎曼流形(M ， g) 的谱： Spec(M ，g)= ｛λ ∈R ｜△f=λf，λ≠0 ， f ∈C∞(M) ｝， 这里△是作用在C∞(M)上的Laplace算 子。 Spec(M ，g)= ｛0=λ0 ＜λ 1＜λ2 ＜…∞ ｝ 黎曼流形(M ，g) 的剖分函数Z( )定义为Z( )=Σmie↑ （－λi ，这里mi为特 征值的λi的重数。 由Z( )可决定(M ，g) 的谱值 其重数。 Minakshisundaram-Pleijel于1949年得到剖分函数的渐近 展开式：，这里ak是黎曼不变量。 实际上是流形M 的曲率张量与其各阶共变导数的函 数。 根据Mckean-Singer 引入的正交不变量方法，可得到 a0=vol(M ，g)，，，这里τ是数量曲率，ρ是Ricci 曲率， R是黎曼曲率。 a3 已由T ．Sakai于197 1年算出，而当k≥4 时，ak几何意 义至今尚不知。 第1个非零特征值λ 1的计算，不仅在谱几何研究中具有 一定的理论价值，而且在鼓膜振动 波方程中也具有 应用价值，A ．Lichnerowicz于1958年指出：设(M ， g)，是一个n维紧致的黎曼流形，若存在正数k ＞0 ，使 得ρ≥kg，其中ρ为Ricci张量，则△的第1个非零特征值 λ 1，满足。 它的逆定理就是M ．Oba a于1962年建立的Oba a定理： 设(M ，g)是一个n维紧致的黎曼流形，若存在正数k ＞ 0 ，使得ρ≥kg，并且，则(M ，g)与(Sn ，g0)等距。 J ．Cheeger于1970年得到λ 1的极小值原理： 这里 H 1(M)是与1正交的一切C 1函数所构成的空间。 如果采用范数，则H 1(M)关于范数ǁfǁ1是完全的。 J ．Cheeger于1968年得到λ 1的上界：如果对于任一自 然数n ，存在一数h(n)≥0 ，使得n维紧致黎曼流形(M ， g) 的截面曲率大于或等于0 ，则λ 1≤h(n)× ［diam(M ， g) ］2 。 在此，依赖于n 的h(n)如何选择为最佳? 曲率非负的条件 能否去掉，这一切有待于进一步改正。 Cheeger定理的证明与流形(M ，g)上一点m 的割迹C(m) 密切相关，而割迹的研究又同闭测地线的性质相联 系，为此，闭测地线理论与割迹性质的研究推动了谱 几何学科向纵深发展。 假设流形(M ，g)可分为两个开子流形M 1 M2 ，并以 闭子流形S为其共同边界，记 这是M ．Berger于1970年 建立的，本结果的证明需用Morse临界点理论。 至于是否为λ 1的最好下界?这个问题至今尚未解决。 此外，对第2个非零特征值λ2是否有估算的必要?如果 要进行计算，其下控与上界又是如何?这一切问题既难 而有趣。 设D是(Rn ，g0) 中光滑的有界区域，区域D 中Dirichle 特 征值为 ｛λk ｝。 置N(λ)=Card ｛j