加权黎曼流形是黎曼几何和共形几何等学科共同研究的对象之一，在证明庞加莱猜想的过程中，Perelman证明了Ricci流就是加权黎曼流形的梯度流.近年来，在加权黎曼流形的背景下，关于Ricci流、平均曲率流、孤立子等问题的研究较多(见文献[1-8]).下面将介绍加权黎曼流形的一些基本概念.

定义加权黎曼流形(Mⁿ⁺¹，g，e^-fdv)上的张量

称Ric_f为∞-Bakry-Emery张量(见文献[3, 9]).当f为常数时，Ric_f=Ric.显然Ric_f是Ricci张量在加权黎曼流形中的推广.

设Σⁿ是加权黎曼流形(Mⁿ⁺¹，g，e^-fdv)中的超曲面，则在(Mⁿ⁺¹，g，e^-fdv)上选取局部标准正交标架{e_A}_A=1ⁿ⁺¹，使得限制在Σⁿ上时{e_i}_i=1ⁿ为切标架场，{e_n+1}为法标架场.记{ω_A}_A=1ⁿ⁺¹为{e_A}_A=1ⁿ⁺¹的对偶标架场，则Σⁿ的第二基本型为

平均曲率为

记H_f为Σⁿ的加权平均曲率，根据文献[10]，有

这里${\mathrm{\vec{n}}}$为Σⁿ的单位外法向量场.若H_f=0，则称Σⁿ是加权黎曼流形的f-极小超曲面.与此同时，对于Σⁿ上的任一向量场X，加权散度算子^[8]定义为

于是加权Lapacian算子为

定义Σⁿ的加权体积^{[1, 11]}为

则Σⁿ的第二加权体积变分为

其中

这里J_f为加权稳定算子(也称加权Jacobi算子).

对于Σⁿ上加权稳定算子的第一特征值λ₁，存在特征函数ρ∈C^∞(Σ)，使得

由(3)式可知，等价于

定义1  设Σⁿ是加权黎曼流形(Mⁿ⁺¹，g，e^-fdv)中的等距浸入超曲面，其上的加权稳定算子J_f由(3)式定义，J_f的第一特征值λ₁为

近年来，对于加权黎曼流形上加权稳定算子的第一非零特征值估计问题的研究已取得了一系列重要进展.文献[12]研究了3维加权黎曼流形(M³，g，f)中闭曲面的加权稳定算子，得到了如下的结论：

定理1^[12]   (M³，g，e^-fdv)是截面曲率Sec≥c的加权黎曼流形，且$\text{Hess}~f\ge \frac{\text{d}f\otimes \text{d}f}{2m}$，Σ²是M³中具有常加权平均曲率H_f的闭曲面.则：

(i) ${{\lambda }_{1}}\le -\frac{1}{2}\frac{H_{f}^{2}}{1+m}+4c$，等号成立当且仅当Σ²是全脐的，且$\text{Ric}\left( \mathrm{\vec{n}}, \mathrm{\vec{n}} \right)=2c, \text{d}f\left( {\mathrm{\vec{n}}} \right)=\frac{m}{1+m}{{H}_{f}}, \text{Hess}~f\left( \mathrm{\vec{n}}, \mathrm{\vec{n}} \right)=\frac{\text{d}f{{\left( {\mathrm{\vec{n}}} \right)}^{2}}}{2m}$；

(ii) ${{\lambda }_{1}}\le -\frac{H_{f}^{2}}{1+2m}-4c+\frac{2}{\text{vo}{{\text{l}}_{f}}\left( \mathit{\Sigma } \right)}\int_{\mathit{\Sigma }}{K\text{d}{{v}_{f}}}$，等号成立当且仅当高斯曲率K为常数，且$\overline{Sec}=c, ~\text{d}f\left( {\mathrm{\vec{n}}} \right)=\frac{m}{1+m}{{H}_{f}}, ~\text{Hess }\!\!~\!\!\text{ }f\left( \mathrm{\vec{n}}, \mathrm{\vec{n}} \right)=\frac{\text{d}f{{\left( {\mathrm{\vec{n}}} \right)}^{2}}}{2m}$.

自然地，本文将定理1中的加权黎曼流形(M³，g，e^-fdv)推广到更高维的情形，得到了如下结论：

定理2   (Mⁿ⁺¹，g，e^-fdv)是截面曲率Sec≥c的加权黎曼流形，且$\text{Hess}~f\ge \frac{\text{d}f\otimes \text{d}f}{nm}$，Σⁿ是(Mⁿ⁺¹，g，e^-fdv)中具有常加权平均曲率H_f的闭超曲面.则

等号成立当且仅当Σⁿ是全脐的，且

定义2  若加权稳定算子J_f的第一特征值λ₁≥0，则超曲面Σⁿ是强稳定的，否则Σⁿ是不稳定的.

设Σⁿ上的二阶无迹张量

其中I为恒等映射，通过计算，有

若|ϕ|=0，则Σⁿ为全脐的，称二阶无迹张量ϕ为Σⁿ的全脐张量.结合(3)式，则加权稳定算子即为

定理 2  的证明  对于任意的a，b∈$\mathbb{R}$和k>-1，有

等号成立当且仅当$b=-\frac{k}{1+k}a$.

令

则

令u=1，结合(4)，(6)式有

下面讨论定理2中(5)式等号成立的情形.

充分性  由于${{\lambda }_{1}}=-\frac{H_{f}^{2}}{n\left( 1+m \right)}-nc$，因此以上证明过程中所有不等式均取等号，易知Σⁿ为全脐的，且

必要性  由于Σⁿ为全脐的，

于是(1)，(2)式为

结合(3)式可得

因此

定理2得证.

当f为常数时，易知加权平均曲率和∞-Bakry-Emery张量即为通常的平均曲率和Ricci张量，由此可以得到如下推论.

推论1   (Mⁿ⁺¹，g)是截面曲率Sec≥c的黎曼流形. Σⁿ是Mⁿ⁺¹中具有常平均曲率H的闭超曲面.则

等号成立当且仅当Σⁿ是全脐的，且$\text{Ric}\left( \mathrm{\vec{n}}, \text{ }\mathrm{\vec{n}} \right)=nc$.

另一方面，考虑加权黎曼流形中超曲面的稳定性，根据定义2和定理2，有以下的推论：

推论2   (Mⁿ⁺¹，g，e^-fdv)是截面曲率Sec≥c的加权黎曼流形，且$\text{Hess}~f\ge \frac{\text{d}f\otimes \text{d}f}{nm}$，Σⁿ是(Mⁿ⁺¹，g，e^-fdv)中具有常加权平均曲率H_f的闭超曲面.则：

(i) 当c≥0，H_f≠0时，超曲面Σⁿ为不稳定的；

(ii) 当c=0，且超曲面Σⁿ强稳定时，H_f=0，即Σⁿ为(Mⁿ⁺¹，g，e^-fdv)的f-极小超曲面.