Ricci 流方程解的局部存在性,唯一性及基本恒等式本节我们介绍Hamilton的Ricci流概念及其重要性质.由于主题庞大,我们只能不给证明地触及基本的要点.有兴趣的读者可参考相关参考文献以获取更多细节. 我们从介绍定义和记号开始.除非另有说明,一般地,表示完备紧(或非紧)Riemann流形,, 表示度量和Ricci曲率;分别是相应的梯度和Laplace-Beltrami算子;带或不带指标的代表一般的正常数,它们在不同式子之间的值可能不一样;如果度量随时间改变,则或将代表相应的距离函数;或者,或代表的体积元;我们将用或表示在度量下,以为心,半径为的测地球;表示按度量计算的体积.我们仍用, 分别表示的梯度和Laplace-Beltrami算子,在不会有混淆时不指明时间.
这个由Richard Hamilton 于1982年引进的方程组是退化的拟线性二阶抛物方程组. Hamilton 对于3维紧致流形证明了,如果初始度量的Ricci曲率为正,则Ricci流在有限时间内以一致方式产生奇点,通过仔细研究奇点的形成,他证明了具有正Ricci 曲率的3维紧致流形微分同胚于标准3维球. 我们以讨论Einstein流形上的Ricci流这个简单例子作为准备. 设是配备一族度量的Riemann流形,这族度量满足 这里,是常数,是由Ricci流确定的函数. 由于Ricci 曲率张量在伸缩变换下不改变,我们有 因此,Ricci 流方程化为 从而 如果, 则初始度量的Ricci 曲率为正, Ricci流在时出现奇性.而当 时, Ricci流在全部时间内都存在. Ricci 流是度量的二阶弱抛物方程组.最初,Hamilton借助于Nash-Moser 隐函数定理对紧流形上的Ricci流证明了局部存在性和唯一性.然后,De Turck 给出了一个简单得多的证明. De Turck 通过用一族与时间有关的微分同胚将Ricci 流转化为严格抛物方程组. 而通常的严格抛物方程组理论蕴含转化后的方程组和原来的Ricci流的存在性和唯一性.在非紧情形,施皖雄证明了曲率算子有界的流形上的Ricci流的局部存在性.陈兵龙和朱熹平在相同条件下证明了唯一性.田刚和吕鹏各自独立地证明了上径向对称度量的非紧Ricci 流的唯一性,即Ricci流标准解的唯一性.我们将这些结果总结为下面三个定理.
证明:我们将证明分成三步. 第一步,构造修改后的Ricci流对应的严格抛物方程组. 仿照De Turck的做法,考虑抛物方程组,它在与时间无关的局部法坐标系下可写成 上述方程组中各项的定义如下: (i)是关于下列向量场的Lie导数: (ii)和分别是的Ricci曲率和Christoffel符合. (iii)是初始度量的Christoffel符号. 下面证明(2)是度量的严格抛物方程组. 对向量场,,成立 因此,在局部坐标系下,有 这里, 代表关于的对偶1-形式的协变导数的第个分量,即的第个分量,其中, . (4)右端的主项是那些含度量的二阶导数的项,在局部坐标系下,利用下面的局部公式将它们写出来: 因为 从而 此处及以后证明中的低阶项是那些至多包含的一阶导数的项. 利用(3)知, 从而 将指标改为, 并将 互换, 得 结合 (5),得 因此, (4)可写为 从而,(2)是半线性严格抛物方程组.标准的抛物方程组理论表明, (2)至少在短时间内有光滑解. 第二步,证明修改后的方程组的解通过一族微分同胚产生最初的Ricci流的解. 令为(2)的光滑解,用方程 定义一族微分同胚 , 其中是 (3)中定义的向量场.注意,对上的光滑函数以及 点,有 我们证明度量 是最初的Ricci流方程的解.由于 ,计算得 另一方面, 因此这就证明了最初的Ricci 流的短时间存在性. 第三步, 证明唯一性. 首先,注意上述过程可逆.即若是Ricci流的解,则 是(2)的解. 为证明这个断言,我们只需要说明在度量下,构造的方程有段时间的光滑解. 这可在局部坐标系下方便地做到.令 是第一步中给出的与时间无关的法坐标系,假设由 给出,令 为已给出的的Christoffel符号,则由常规的计算,的Christoffel符号为 由第一步的构造 由于对任何光滑函数, . 因此 由此, (6)可以写为 注意, 这里 上面定理中的度量称为初始度量,有时需要适当伸缩度量,使其称为规范度量. 下面我们就来定义规范度量.
显然,总可以用一个较大的数乘以紧流形上的度量,使得配备放大了的度量的流形是一个规范流形. 下面两个定理将上面的Ricci流的存在性和唯一性的结果推广到了某些非紧流形上.
由于一些技术性问题,像控制曲率和单射半径等几何量在无穷远附近的性质,这两个定理的证明非常长.读者可以参考原始论文以获知证明的基本细节. 在下一命题中,我们将总结R.Hamilton所证明的一些公式,这些公式描述了几何量沿Ricci流的演变.
|
|
来自: taotao_2016 > 《几何》