[论文解读] Applications of Some Elliptic Equations in Riemannian Manifolds

Qin Huang, Qihua Ruan|arXiv (Cornell University)|Jan 7, 2013

Geometric Analysis and Curvature Flows参考文献 16被引用 4

一句话总结

本文通过基于散度定理和Reilly型不等式的加权平均曲率估计，建立了紧致黎曼流形上漂移拉普拉斯算子的第一非零特征值的精确下界，该流形具有非负Bakry-Emery Ricci曲率。关键结果为：等式成立当且仅当流形等距于一个欧几里得球且权函数为常数，将Reilly和Ros的经典刚性定理推广至包含Bakry-Emery曲率的加权情形。

ABSTRACT

Let $(M^{n+1}, g)$ be a compact Riemannian manifold with smooth boundary B and nonnegative Bakry-Emery Ricci curvature. In this paper, we use the solvability of some elliptic equations to prove some estimates of the weighted mean curvature and some related rigidity theorems. As their applications, we obtain some lower bound estimate of the first nonzero eigenvalue of the drifting Laplacian acting on functions on B and some corresponding rigidity theorems.

研究动机与目标

• 推导具有边界的紧致黎曼流形上漂移拉普拉斯算子的第一非零特征值的精确下界。
• 将Reilly和Ros的经典刚性定理推广至涉及Bakry-Emery Ricci曲率的加权情形。
• 在非负Bakry-Emery Ricci曲率条件下，建立加权平均曲率 $ H_h $ 的新估计。
• 刻画特征值与曲率估计中等式成立的情形，明确当流形等距于欧几里得球且权函数为常数时的条件。

提出的方法

• 利用散度定理和Bakry-Emery Ricci张量 $ Ric_m $ 的曲率界，推导出一个加权Reilly型不等式。
• 应用不等式 $ \int_M \frac{m-1}{m}((\bar{\triangle}_h f)^2 - Ric_m(\bar{\nabla}f, \bar{\nabla}f)) dV_h \geq \int_B (2(\triangle_h f)f_\nu + nH_h f_\nu^2 + \Pi(\nabla f, \nabla f)) dA_h $，其中 $ m \geq n+1 $。
• 使用加权平均曲率 $ H_h = H - \frac{1}{n} h_\nu $ 和边界上的加权测度 $ dA_h = e^{-h} dA $。
• 对函数 $ \frac{1}{2}|\bar{\nabla}f|^2 $ 应用散度定理，推导出涉及 $ f_\nu $ 和 $ \triangle_h f $ 的积分恒等式。
• 在边界上施加特征函数条件 $ \triangle_h u = -\lambda_1 u $，并通过Dirichlet问题将 $ u $ 调和延拓至内部。
• 利用不等式中的等式条件（例如 $ \bar{\nabla}^2 f = 0 $，$ |\bar{\nabla}f|^2 = \text{const} $）推导出刚性结论。

实验结果

研究问题

• RQ1 在具有非负Bakry-Emery Ricci曲率的紧致黎曼流形上，漂移拉普拉斯算子的第一非零特征值的精确下界是什么？
• RQ2 在加权平均曲率估计 $ \int_B \frac{dA_h}{H_h} \geq \frac{mn}{m-1} V_h $ 中，等式在什么条件下成立？
• RQ3 当 $ Ric_m \geq 0 $ 时，加权平均曲率 $ H_h $ 如何约束流形的几何结构？
• RQ4 Reilly和Ros的刚性定理能否推广至具有非恒定权函数的漂移拉普拉斯算子情形？
• RQ5 哪些几何条件可推出流形等距于欧几里得球且 $ h $ 为常数？

主要发现

• 漂移拉普拉斯算子的第一非零特征值 $ \lambda_1 $ 满足 $ \lambda_1 \geq (m-1)c^2 $，等式成立当且仅当 $ M $ 等距于半径为 $ \frac{1}{c} $ 的欧几里得球且 $ h $ 为常数。
• 加权平均曲率满足 $ \int_B \frac{dA_h}{H_h} \geq \frac{mn}{m-1} V_h $，等式成立当且仅当 $ M $ 等距于欧几里得球且 $ h $ 为常数。
• 若 $ H_h \geq \frac{(m-1)A_h}{mn V_h} $，则 $ M $ 等距于欧几里得球且 $ h $ 为常数，将Ros的结果推广至加权情形。
• 对于边界上漂移拉普拉斯算子的第一非零特征值 $ \lambda_1 $，有 $ \lambda_1 \leq (m-1)c^2 $，等式成立意味着 $ M $ 为欧几里得球且 $ h $ 为常数。
• 特征值估计中的等式情形蕴含 $ \bar{\nabla}^2 f = 0 $，$ |\bar{\nabla}f|^2 = 1 $，且 $ f_\nu = c u $，从而确定流形为欧几里得球。
• 在等式条件下，有关系式 $ \frac{A_h}{V_h} = \frac{\lambda_1 + c^2}{c} $，将边界面积与体积联系至特征值和曲率。