[论文解读] Eigenvalues of collapsing domains and drift Laplacians

Zhiqin Lu, Julie Rowlett|arXiv (Cornell University)|Feb 28, 2010

Geometric Analysis and Curvature Flows参考文献 24被引用 5

一句话总结

本文建立了从一族薄黎曼流形坍缩至Bakry-Émery流形时特征值的收敛性，表明坍缩区域的诺伊曼特征值收敛至漂移拉普拉斯算子的特征值，误差为$O(\varepsilon^2)$。关键贡献在于提出了一种新的最大值原理，可将黎曼几何中的梯度估计转移至Bakry-Émery几何，从而实现经典结果向加权流形的直接推广。

ABSTRACT

By introducing a weight function to the Laplace operator, Bakry and Émery defined the "drift Laplacian" to study diffusion processes. Our first main result is that, given a Bakry-Émery manifold, there is a naturally associated family of graphs whose eigenvalues converge to the eigenvalues of the drift Laplacian as the graphs collapse to the manifold. Applications of this result include a new relationship between Dirichlet eigenvalues of domains in $\R^n$ and Neumann eigenvalues of domains in $\R^{n+1}$ and a new maximum principle. Using our main result and maximum principle, we are able to generalize \emph{all the results in Riemannian geometry based on gradient estimates to Bakry-Émery manifolds}.

研究动机与目标

• 建立薄区域在坍缩至Bakry-Émery流形时其诺伊曼特征值与该流形上漂移拉普拉斯算子特征值之间的谱收敛性。
• 通过一种新颖的最大值原理，将经典黎曼梯度估计与特征值结果推广至Bakry-Émery流形的设定。
• 通过加权坍缩构造，在$\mathbb{R}^n$中的狄利克雷特征值与$\mathbb{R}^{n+1}$中的诺伊曼特征值之间建立几何联系。
• 为具有可变厚度的薄区域上的特征函数，开发技术工具，包括Schauder估计与边界正则性控制。
• 在不从头推导的前提下，将Li-Yau型梯度估计的适用范围扩展至加权流形。

提出的方法

• 构造一维参数族区域$M_\varepsilon \subset M \times \mathbb{R}^+$，其高度为$\varepsilon e^{-\phi(x)}$，当$\varepsilon \to 0$时坍缩至底流形$M$。
• 在$M_\varepsilon$上定义拉普拉斯算子$\tilde{\Delta} = \Delta + \partial_y^2$，并分析其诺伊曼特征值$\mu_k(\varepsilon)$。
• 利用$M$上漂移拉普拉斯算子$\Delta_\phi = \Delta - \nabla\phi \cdot \nabla$的变分原理，将其与$\mu_k(\varepsilon)$进行比较。
• 应用新的最大值原理控制$M_\varepsilon$上特征函数的梯度，从而实现一致的$C^{2,\alpha}$估计。
• 利用Schauder估计与插值不等式，将$\|\nabla r_{k,\varepsilon}\|_{C^{2,\alpha}}$以$\varepsilon$与$\|h\|_{C^{4,\alpha}}$表示。
• 通过特征函数比较与能量估计，建立关键收敛关系$\mu_k(\varepsilon) = \mu_k + O(\varepsilon^2)$。

实验结果

研究问题

• RQ1 在某一方向坍缩的薄区域的诺伊曼特征值如何收敛至底流形上漂移拉普拉斯算子的特征值？
• RQ2 能否建立一种最大值原理，实现从黎曼几何到Bakry-Émery几何的梯度估计转移？
• RQ3 通过坍缩构造，$\mathbb{R}^n$中的狄利克雷特征值与$\mathbb{R}^{n+1}$中的诺伊曼特征值之间存在何种精确的谱关系？
• RQ4 在谱收敛的框架下，经典黎曼几何中的特征值估计在多大程度上可推广至Bakry-Émery流形？
• RQ5 在具有可变厚度的坍缩薄区域上，何种技术条件可保证特征函数的一致$C^{2,\alpha}$正则性？

主要发现

• 当$\varepsilon \to 0$时，坍缩区域$M_\varepsilon$的诺伊曼特征值$\mu_k(\varepsilon)$收敛至$M$上漂移拉普拉斯算子的特征值$\mu_k$，误差为$O(\varepsilon^2)$。
• 提出了一种新的最大值原理，可在黎曼与Bakry-Émery流形的梯度估计之间建立一一对应关系。
• 在$M \subset \mathbb{R}^n$中，第一个狄利克雷特征值$\lambda_1$与$M_\varepsilon \subset \mathbb{R}^{n+1}$上诺伊曼特征值$\mu_{k-1}(\varepsilon)$的极限相关，满足$\lim_{\varepsilon \to 0} \mu_{k-1}(\varepsilon) = \lambda_k - \lambda_1$。
• $M_\varepsilon$上特征函数梯度的$C^{2,\alpha}$范数受$O(\varepsilon^2 + \varepsilon \|\nabla r_{k,\varepsilon}\|_{C^{2,\alpha}})$控制，从而实现一致收敛。
• Schauder估计与插值不等式被用于完成归纳论证，证明$\|\nabla r_{k,\varepsilon}\|_{C^{2,\alpha}}$在$\varepsilon$上一致有界。
• 该方法可直接将所有黎曼几何中的梯度估计技术转移至Bakry-Émery几何，无需重新推导，显著推广了经典结果。