[论文解读] Eigenvalues of the Laplacian on a compact manifold with density

Bruno Colbois, Soufi, Ahmad El+1 more|Oct 5, 2013

Geometric Analysis and Curvature Flows被引用 5

一句话总结

本文建立了带密度的紧致黎曼流形上加权拉普拉斯算子（Bakry-Émery 或 Witten 拉普拉斯算子）的第k个特征值的上界，表明这些上界与 Weyl 渐近公式所预测的一致地随k正确缩放。论文证明了上界对密度的L^p范数的依赖关系是精确的，并将 Hersch 不等式推广至球面上的加权情形，提供了最优的第一非零特征值估计。

ABSTRACT

In this paper, we study the spectrum of the weighted Laplacian (also called Bakry-Emery or Witten Laplacian) $L_σ$ on a compact, connected, smooth Riemannian manifold $(M,g)$ endowed with a measure $σdv_g$. First, we obtain upper bounds for the $k-$th eigenvalue of $L_σ$ which are consistent with the power of $k$ in Weyl's formula. These bounds depend on integral norms of the density $σ$, and in the second part of the article, we give examples showing that this dependence is, in some sense, sharp. As a corollary, we get bounds for the eigenvalues of Laplace type operators, such as the Schrödinger operator or the Hodge Laplacian on $p-$forms. In the special case of the weighted Laplacian on the sphere, we get a sharp inequality for the first nonzero eigenvalue which extends Hersch's inequality.

研究动机与目标

• 推导紧致黎曼流形上具有光滑正密度 $ \sigma = e^{-f} $ 的加权拉普拉斯算子 $ L_{\rho} $ 的第k个特征值的上界。
• 确保这些上界反映 Weyl 渐近公式所预测的正确k次幂缩放行为。
• 通过显式反例证明上界对密度 $ \sigma $ 的L^p范数的依赖关系是精确的。
• 将经典特征值不等式（如 Hersch 不等式）推广至球面上的加权拉普拉斯算子情形。
• 为相关算子（包括 Schr"odinger 算子和p-形式上的 Hodge 拉普拉斯算子）提供特征值的界。

提出的方法

• 利用变分原理和加权黎曼几何中的比较技术，推导 $ \lambda_k(L_{\sigma}) $ 的上界。
• 利用 $ L_{\sigma} $ 与 Schr"odinger 算子 $ H_{\sigma} = \Delta_g + \frac{1}{4}|\nabla f|^2 + \frac{1}{2}\Delta_g f $ 之间的酉等价性，通过势论实现谱分析。
• 构造显式测试函数和度量模型（如扭曲积），以分析在密度剧烈变化时的特征值行为。
• 应用拟等距论证和比较定理，估计在密度快速变化的小区域上的特征值。
• 利用极小-极大原理和 Neumann 特征值比较，以几何与分析量为基准，界定 $ \lambda_2(L_{\sigma}) $。
• 通过构造密度序列 $ \sigma_j $，使得 $ \lambda_k(L_{\sigma_j}) \sim c j^2 $，从而证明上界的精确性，与 Weyl 缩放一致。

实验结果

研究问题

• RQ1 加权拉普拉斯算子 $ L_{\sigma} $ 的特征值如何随k缩放？这种缩放能否通过依赖于密度 $ \sigma $ 的L^p范数的上界来捕捉？
• RQ2 上界对密度 $ \sigma $ 的依赖关系是否精确，即是否存在一个对所有密度都成立的更优依赖关系？
• RQ3 Hersch 在球面上关于第一非零特征值的等周不等式能否推广至加权拉普拉斯算子情形？
• RQ4 当函数 $ f $ 具有许多临界点或梯度快速变化时，密度 $ \sigma = e^{-f} $ 的变化对谱有何影响？
• RQ5 加权拉普拉斯算子 $ L_{\sigma} $ 的特征值与标准拉普拉斯算子或其他相关算子（如 Schr"odinger 或 Hodge 拉普拉斯算子）的特征值有何关系？

主要发现

• 本文建立了 $ \lambda_k(L_{\sigma}) $ 的上界，其随k的缩放行为与 Weyl 定律一致，且上界依赖于密度 $ \sigma $ 的L^p范数。
• 通过显式构造密度 $ \sigma_j $，证明了上界对 $ \|\sigma\|_{L^p} $ 的依赖关系是精确的，且满足 $ \lambda_k(L_{\sigma_j}) \sim c j^2 $，与 Weyl 缩放一致。
• 在球面 $ \mathbb{S}^n $ 上，加权拉普拉斯算子的第一非零特征值满足一个精确不等式，该不等式推广了 Hersch 的结果，且在标准度量下取等。
• 该上界被应用于推导 Schr"odinger 算子和p-形式上 Hodge 拉普拉斯算子的特征值估计，显示出类似的缩放行为。
• 当 $ f $ 为具有 $ m_0 $ 个稳定临界点的 Morse 函数时，通过令 $ \sigma \to e^{-\varepsilon f} $，可使 $ L_{\sigma} $ 的谱中出现任意大的特征值，表明不存在与 $ \sigma $ 无关的统一上界。
• 在所构造的区域上，加权拉普拉斯算子的第一正特征值 $ \lambda_2(L_{\sigma_j}) $ 满足 $ \lambda_2(L_{\sigma_j}) \geq C j^2 $，证实了 Weyl 公式中k^2缩放的精确性。