[论文解读] Extension of Reilly formula with applications to eigenvalue estimates for drifting Laplacins

Li Ma, Sheng-hua Du|ArXiv.org|Nov 25, 2009

Mathematical Biology Tumor Growth参考文献 3被引用 19

一句话总结

本文将 Reilly 公式推广至具有边界的紧致黎曼流形上的漂移拉普拉斯算子，利用 Bakry-Émery-Ricci 张量导出精确的特征值估计。在曲率与边界几何条件约束下，建立了第一特征值的下界，推广了 Reilly、Choi 与 Wang 的经典结果。

ABSTRACT

In this paper, we extend the Reilly formula for drifting Laplacian operator and apply it to study eigenvalue estimate for drifting Laplacian operators on compact Riemannian manifolds boundary. Our results on eigenvalue estimates extend previous results of Reilly and Choi and Wang.

研究动机与目标

• 将经典的 Reilly 公式推广至具有光滑边界的紧致黎曼流形上漂移拉普拉斯算子的情形。
• 在曲率与边界几何假设下，推导 h-Laplacian 的特征值估计。
• 利用加权 Ricci 曲率与边界条件，推广 Reilly 与 Choi-Wang 的先前特征值估计。
• 在将闭流形分割为极小超曲面的漂移拉普拉斯算子上，建立第一特征值的下界。

提出的方法

• 通过分部积分与包含 Bakry-Émery-Ricci 张量 $\mathrm{Ric}^h = \mathrm{Ric} + \mathrm{Hess}\,h$ 的 Bochner 公式，推导 h-Laplacian 的扩展 Reilly 公式。
• 将扩展的 Reilly 公式应用于在 Dirichlet 或 Neumann 边界条件下满足特征值问题的情形。
• 利用不等式 $ (a+b)^2 \geq \frac{a^2}{z+1} - \frac{b^2}{z} $ 将 $ |L_h u|^2 $ 以 $ \lambda^2 $ 与 $ |\nabla h \cdot \nabla u|^2 $ 的形式有界，从而实现曲率估计。
• 在曲率假设 $ \mathrm{Ric}^h \geq \frac{|\nabla h|^2}{nz} + A $ 与边界条件（非负平均曲率或凸性）下，导出特征值的下界。
• 构造一个满足 $ \Delta_h f = 0 $ 且在边界上 $ f = u $ 的测试函数 $ f $，利用扩展公式将 $ \int |\nabla f|^2 $ 与特征值估计关联起来。

实验结果

研究问题

• RQ1 如何将 Reilly 公式推广至具有边界的流形上漂移拉普拉斯算子的情形？
• RQ2 在 Bakry-Émery Ricci 曲率与边界几何约束下，h-Laplacian 的特征值下界可否被推导？
• RQ3 能否利用 h-Laplacian 框架将闭流形中极小超曲面的特征值估计加以推广？
• RQ4 对 $ \mathrm{Ric}^h $、$ H - h_\nu $ 与凸性的假设如何影响漂移拉普拉斯算子的第一特征值？

主要发现

• 推导出包含 Bakry-Émery-Ricci 张量与涉及第二基本形式及加权法向导数的边界项的 h-Laplacian 扩展 Reilly 公式。
• 在曲率条件 $ \mathrm{Ric}^h \geq \frac{|\nabla h|^2}{nz} + A $ 且 $ A > 0 $ 下，若 $ H - h_\nu \geq 0 $ 或 $ \partial M $ 为凸，则第一特征值满足 $ \lambda \geq \frac{n(z+1)A}{n(z+1) - 1} $。
• 对于满足 $ \mathrm{Ric}^h \geq (n-1)K > 0 $ 的闭定向流形，其极小超曲面上 h-Laplacian 的第一特征值满足 $ \lambda_1(-\Delta_P^h) \geq \frac{(n-1)K}{2} $。
• 该特征值下界是精确的，因为它在更强的曲率假设下推广并改进了 Choi 与 Wang 的早期结果。
• 该方法依赖于构造一个满足 $ \Delta_h f = 0 $ 的调和测试函数 $ f $，并利用扩展 Reilly 公式将 $ \int |\nabla f|^2 $ 与特征值关联。
• 在几何假设下，边界积分项消失或为非负，从而可推导出最终的特征值不等式。