历史上称其为Minkowski问题.在Rn+1内,给定一个严格凸的闭超曲面,对于Sn上一点r=(x1,x2,…......
2023-11-23
在本讲,先讲述两个引理.
引理1 Rn+1内嵌入闭超曲面M至少有一个椭圆点,即在这点的所有截面曲率Rjiij>0,这里i≠j,1≤i,j≤n.
证明 取Rn+1的原点在闭超曲面M所围区域的内部,令函数
这里X(x)是M上点x在Rn+1内的位置向量.由于M是紧致的,必有一点x0∈M,使得f(x)在x=x0处达到最大值.于是,有
利用公式(2.1.1)和(2.1.2)的第一式,有
由公式(2.1.4)可以看到,X(x0)恰好是超曲面M在点x0的法向量.由于
这里en+1是M在Rn+1内的单位外法向量.上式两端在点x0取值,再利用公式(2.1.4),有
将公式(2.1.3)两端再微分一次,并且在点x0取值.利用公式(2.1.2)的第二式,有
因为(ωk(x0))2>0,且由公式(2.1.1)可以知道,点x0是M上离原点O的最远点,所以点x0不会是原点.利用公式(2.1.4)可以知道向量X(x0)平行于en+1(x0),由于原点在闭超曲面M所围区域内部,en+1(x0)是M在点x0的单位外法向量,则en+1(x0)与X(x0)两向量同方向.于是,有
由公式(2.1.7)和(2.1.8),有
所以点x0是椭圆点.
设N是m维紧致可定向连通Riemann流形,具有光滑边界∂N,设n是定义在∂N的单位外法向量.同以前类似,记ω1,…,ωm是N的局部定向正交标架场e1,…,em的对偶标架场.对N上任意m个光滑切向量场X,Y1,Y2,…,Ym-1,定义(见[1]第197页)
i(X)称为对X作内乘.
对于N上任意光滑切向量场X,定义
div X称为X的散度,这里dV=ω1∧ω2∧…∧ωm是N的体积元素.
引理2 设N是m维紧致可定向连通Riemann流形,具有光滑边界∂N,设n是定义在∂N上的单位外法向量,则对于N上任意光滑切向量场X,
这里dA是∂N的体积元素,〈,〉表示N的Riemann内积.
注:dA也称为∂N的面积元素,以表示与dV的名称区别.
证明 在∂N的任意一点x处,选取N的定向单位正交标架(又称正交基)e1,e2,…,em,使得n=e1,下面ω1,ω2,…,ωm是e1,e2,…,em的对偶基.于是,有
这是因为e2(x),e3(x),…,em(x)是∂N在点x的切空间的定向正交标架.
利用公式(2.1.13),对于∂N内任意一点x,有
利用上式可知,引理2的结论成立.
特别当N是Rm内某个区域时,设f是N上一个光滑函数,f的梯度gradf是N上一个光滑切向量场.定义如下:对于N上任意光滑切向量场Y,
这里〈,〉是Rm的内积.设x1,x2,…,xm是Rm内直角坐标系的坐标.取Y=,这里A=1,2,…,m.由上式,有
于是,有
这里fn表示f沿∂N的单位外法向量n的方向导数.
设N是一个n+1维紧致连通可定向Riemann流形,具有光滑边界∂N,∂N是一个n维紧致连通无边界可定向Riemann流形.设F是N上一个光滑函数,记F在∂N上的限制为f,f是∂N上的一个光滑函数.
设N的局部正交标架场是e1,e2,…,en+1,限制于∂N,en+1是∂N的单位外法向量,ω1,ω2,…,ωn+1是对偶基,限制于∂N,有
利用dF|∂N=df,有
记F沿en+1的方向导数为Fn+1,又记
g是∂N上一个光滑函数.
利用dFj|∂N=dfj,兼顾(2.1.24),限制于∂N,有
公式(2.1.26)的两端在∂N上求导,有
有了以上这些准备工作后,可以来证明下述著名定理了.
定理1(Alexsandrov) 设M是n+1维欧氏空间Rn+1内嵌入闭超曲面,如果M的平均曲率是常数,则M是一个n维球面.
证明 由于M是Rn+1内嵌入闭超曲面,利用引理1,M上必至少有一个椭圆点.设en+1是M的单位外法向量,在M上,沿-en+1的平均曲率H(常数)必是一个正常数.
类似前述,用Δ*表示Rn+1内的Laplace算子,用Δ表示M的Laplace算子.考虑下列Poisson方程的Dirichlet问题:
Δ*F=1,在M所包围的Rn+1的紧致区域N内;
根据椭圆型偏微分方程理论,方程(2.1.31)有唯一光滑解F.利用公式(2.1.26),(2.1.28)和(2.1.31)的第二式,有
这里hjk是M沿en+1的第二基本形式分量.可以知道
这里利用了公式(2.1.10),H是沿-en+1的平均曲率.
由于
这里利用了公式(2.1.32)和(2.1.33),利用(2.1.31)和(2.1.34),有
将上式两边同乘以g,并在M上积分,有
这里利用了(2.1.31),V(N)表示N的体积.
下面估计公式(2.1.36)的左端.对第一项利用Schwarz不等式,有
这里A(M)是M的面积.
由于常数H>0,有
用X表示Rn+1内N的位置向量场,即X=(x1,x2,…,xn+1),用〈,〉表示Rn+1的内积.
明显地,有
上式两端在N上积分,利用Green公式(2.1.23),有
这里利用了公式(2.1.40)后面的叙述,可以知道Xj=ej.
由于M是闭超曲面,可以知道
利用公式(2.1.42)—(2.1.44),有
利用公式(2.1.40)和(2.1.45),有
将公式(2.1.46)代入公式(2.1.38),有
现在来估计公式(2.1.36)左端的第二大项.记
上式左端恰是V(N),应等于上式右端.因此,前述一切不等式都应取等号.由于公式(2.1.51)的各步骤都应取等号,应当有
这里最后一个等式是利用方程(2.1.31).
由于区域N在Rn+1内,公式(2.1.54)中求导都是普通求导.利用公式(2.1.54),立即可以知道N内F是x1,x2,…,xn+1的二次函数,即(www.chuimin.cn)
这里aB(a≤B≤n+1)和b都是实常数,x1,x2,…,xn+1是Rn+1内直角坐标系的坐标.
由方程(2.1.31)的边界条件,公式(2.1.55)限制在M上,有
这恰说明闭超曲面M是Rn+1内n维球面.
下面讲述另一个著名的定理.
设M是n+1维欧氏空间Rn+1内一个n维嵌入超曲面.由第1章第6讲公式(1.6.4),可以知道
这里R是M的数量曲率,平均曲率由(2.1.33)定义.
由第1章第7讲公式(1.7.46)及上式,有
在M上定义一个n-1次光滑的微分形式
这里X是Rn+1内M的位置向量场;
*称为M上的Hodge算子.类似第1章第3讲引理3的证明,ω是M上整体定义的n-1次光滑的微分形式.
将上式右端第二大项的下标i与l互换,与第五大项之和是零.将上式右端第七大项的下标k换成j,j换成l,与第三大项之和是零.将上式右端倒数第一大项的下标k换成j,j换成l,与倒数第三大项之和是零.利用本讲公式(2.1.33),上式右端第一大项与倒数第五大项之和是零.又利用〈Xi,Xj〉=〈ei,ej〉=δij,以及公式(2.1.33),知上式右端第六大项等于-nH dA.
利用Rn+1内超曲面的Gauss公式、Xij=hij en+1及公式(2.1.33),公式(2.1.61)可以改写为
在M上积分上式,由于M是闭流形,利用Stokes公式,上式左端在M上积分是零.于是,可以得到
现在证明
定理2(Ros) 球面是n+1维欧氏空间Rn+1内具有常数量曲率的唯一n维嵌入闭超曲面.
证明 利用本讲引理1,Rn+1内n维嵌入闭超曲面M至少有一个椭圆点.在这点上,i≠j时,Rjiij>0,于是在这点的数量曲率R=由定理2条件可以知道,数量曲率R是一个正常数,由于en+1是Rn+1内M的单位外法向量,则矩阵(-hij)在这个椭圆点上是正定对称实矩阵(见引理1的证明).于是,由公式(2.1.33),在这点沿单位内法向量-en+1的平均曲率H>0.由于R是一个正常数,则在M上处处有R+S>0,再利用公式(2.1.57)可以知道,平均曲率函数H不会变号(否则利用H的连续性,M上至少有一点,H值是零,这与公式(2.1.57)矛盾).因而在M上,函数H处处大于零.
将公式(2.1.58)两端开方,有
在M上积分上式,利用R是一个正常数,有
将上式两端平方,可以得到
(2.1.66)等号成立当且仅当(2.1.64)等号成立,利用(2.1.57)可以知道,
(2.1.66)等号成立当且仅当S=n H2.而
则M上处处有S=n H2,当且仅当在M的每一点上,有
由于(2.1.64)取等号,利用R是正常数可以知道,H也是一个正常数.于是(2.1.66)取等号当且仅当M的每点都是脐点.(2.1.68)第二等式的最后一个等号利用了(2.1.33).
由于R是正常数,由公式(2.1.63),有
利用公式(2.1.40)和上式,有
这里N是Rn+1内一个紧致区域,N的边界就是M.由上式,有
将上式代入公式(2.1.66),有
由上式,有
利用前面的叙述,上式等号成立当且仅当M是Rn+1内全脐点嵌入闭超曲面.
利用方程(2.1.31)和公式(2.1.23),有
这里Fn+1表示函数F沿M的单位外法向量en+1的导数.
利用方程(2.1.31)及Cauchy不等式,有
另一方面,利用(2.1.51)的前半部分的推导,有
将上式两端在N上积分,并且利用Green公式(2.1.23),有
由公式(2.1.77)和(2.1.78),有
利用(2.1.26)和(2.1.35),有
利用(2.1.79)和(2.1.80),有
又利用方程(2.1.31)及Schwarz不等式,有
将上式两端平方,有
利用公式(2.1.81)和(2.1.82)的前半部分,有
利用不等式(2.1.64)、R是一个正常数以及上式,可以得到
将上式两端除以正数nV(N),化简后,可以看到
上式两端平方,有
综合不等式(2.1.73)和(2.1.87),在M上处处有
于是M是Rn+1内全脐点嵌入闭超曲面.由于这时S=nH2,R=n(n-1)H2,平均曲率H也是常数,利用定理1,M是一个n维球面.
不利用定理1,也可以给出一个简单证明.
利用Weingarten公式,有
由于M是全脐点超曲面,公式(2.1.68)成立,将此公式代入上式,有
考虑Rn+1内向量HX-en+1,这里X是M在Rn+1内的位置向量场.
显然,利用(2.1.90),有
因而HX-en+1等于一个常向量,记为a.从而有
向量场X-的长度处处等于正常数,这表明全脐点超曲面M位于球心在向量的终点(向量起点在原点)、半径为的n维球面上.特别当M是闭超曲面时,M必为上述整个n维球面.
编者的话
设M是Rn+1内一个n维嵌入闭超曲面,那么,M是一个紧致区域N⊂Rn+1的边界.这里利用了一个直观,关于这件事的严格证明属于微分拓扑范围(例如见[2]第277页至283页).
本讲是根据Alexsandrov的经典定理和A.Ros在1988年发表的精彩文章([3])组合写成的.所用知识点很少,但技巧性高.掌握这些技巧,运用于其他相关问题,是一件既困难又有意义的事情.
[1]伍鸿熙,沈纯理,虞言林.黎曼几何初步.北京大学出版社,1989.
[2]张筑生.微分拓扑新讲.北京大学出版社,2002.
[3]A.Ros.Compact hypersurfaces with constant scalar curvature and a congruence theorem.J.Diff.Geom.,27(1988):215-220.
有关微分几何十六讲的文章
,xn+1)是Rn+1内单位球面Sn的位置向量场,u是Sn上一个光滑函数.在Rn+1内引入一个超曲面M,其位置向量场这里eur是eur的缩写.显然M是一个微分同胚于Sn的闭超曲面.下面计算M的平均曲率.在Sn上,选择一个局部正交标架场e1,e2,…......
2023-11-23
本讲考虑4维欧氏空间R4内3维完备连通非零常平均曲率和非负常数量曲率超曲面.上一讲公式(1.6.61)以前的全部公式都可以在本讲应用.在本讲,H是非零常数.令利用上一讲上公式(1.6.2)及上式,有而且利用(1.7.1),有从下面开始,n=3,C*=0.即考虑R4内具有非零常平均曲率H和非负常数量曲率R的完备连通超曲面M.在M上的任一点P上,选择M的切向量e1,e2,e3,使得hij=λiδij,......
2023-11-23
,xn+2)Rn+2,这里=1,由上式,有依此公式,当代著名的微分几何学家猜测Sn+1内闭极小嵌入超曲面的Laplace算子的第一特征值本讲的两个定理是解决上述猜测的一个起点.参考文献[1]R.C.Reilly.Applications of the Hessian operator in a Riemannian manifold.Indiana Univ.Math.Jour.,Vol.26:459-472.[2]H.I.Choi and A.N.Wang.A first eigenvalue estimate for minimal hypersurfaces.Jour.Diff.Geom.,Vol.18:559-562.......
2023-11-23
在本讲,p=1,简记为hij,利用第3讲内公式(1.3.20),可以看到在n+1维常曲率C*的空间内,对于n维超曲面M,在本讲,M的平均曲率H和数量曲率R都是常数,利用上式,M的第二基本形式长度平方S也是常数.在这些条件下,公式(1.6.1)可简化为下述公式:利用第1讲内公式(1.1.10)和(1.1.33),即利用(1.3.34),(1.1.43),(1.1.47),有这里hijkl的沿es方向......
2023-11-23
在黎曼几何中,最重要的研究对象就是所谓常曲率空间。黎曼指出后两种情形分别对应于罗巴切夫斯基几何和欧几里得几何,而第一种情形则是其本人的创造。表1.10.2三种几何学的比较黎曼可以说是最先理解非欧几何全部意义的数学家,其创立的黎曼几何不仅承认了已有的非欧几何,而且显示了创造其他非欧几何的可能性。......
2023-11-23
下述平面上简单光滑闭曲线的等周不等式是众所周知的:这里M是平面内一区域,M的边界M是一条简单光滑闭曲线.A是M的面积,L是M的长度.本讲考虑n维欧氏空间Rn内极小曲面的情况.定义Rn内一个二维曲面M的边界曲线M称为弱连通的,如果存在Rn内一个直角坐标系{x1,x2,…......
2023-11-23
设M是欧氏空间Rn+p内一个n维(局部)等距浸入子流形.记M在Rn+p内的位置向量场为X,有M的第一基本形式这里〈,〉表示Rn+p的内积,〈ei,ej〉=δij.M沿单位法向量eα的第二基本形式这里利用了Weingarten公式.本讲的下标i,j,k,l,…,n.记利用的第一式,要证明考虑方程组是Rn×Rn+p的一个开集内的n+p个独立的Pfaff方程组,即在局部是含dx1,dx2,…,dFn+p的一组独立的Pfaff方程组.而且满足及dF=,i=1,2,…......
2023-11-23
相关推荐