[论文解读] An optimal dimension-free upper bound for eigenvalue ratios

Shiping Liu|arXiv (Cornell University)|May 9, 2014

Point processes and geometric inequalities参考文献 16被引用 13

一句话总结

该论文为具有非负 Bakry-Émery Ricci 曲率的闭加权黎曼流形上加权拉普拉斯算子的第 $k$ 个特征值与第一个特征值之比，建立了最优的无维数上界 $641k^2$。通过利用无维数的 Cheeger 不等式与谱分析，该研究解决了 Funano 提出的一个开放问题，并证实了 Funano 与 Shioya 关于非负曲率 Alexandrov 空间上的猜想。

ABSTRACT

On a closed weighted Riemannian manifold with nonnegative Bakry-Émery Ricci curvature, it is shown that the ratio of the $k$-th to first eigenvalues of the weighted Laplacian is dominated by $641k^2$, using an argument via the Cheeger constant. While improving the previous exponential upper bound, the order of $k$ here is optimal, and hence answers an open question of Funano. This approach works still on a compact finite-dimensional Alexandrov space of nonnegative curvature and proves affirmatively a conjecture of Funano and Shioya asserting a dimension free upper bound for eigenvalue ratios in that setting.

研究动机与目标

• 解决 Funano 提出的关于特征值比 $\lambda_k / \lambda_1$ 是否存在关于 $k$ 的多项式有界性的问题。
• 为具有非负 Bakry-Émery Ricci 曲率的闭加权黎曼流形上的特征值比建立无维数上界。
• 证实 Funano 与 Shioya 提出的猜想，即在具有非负曲率的紧致有限维 Alexandrov 空间上，特征值比存在无维数上界。
• 提供一个精确的、最优的 $k^2$ 阶上界，优于以往的指数估计。
• 通过度量测度空间上的广义 Sobolev 理论与谱理论，将结果推广至 Alexandrov 空间。

提出的方法

• 推导出无维数的 Cheeger 不等式：$ h_1(M,\mu) \leq 8\sqrt{2}k \frac{\lambda_1(M,\mu)}{\sqrt{\lambda_k(M,\mu)}} $，将 Cheeger 常数与特征值比联系起来。
• 以无维数方式应用 Kwok 等人改进的 Cheeger 不等式于加权黎曼流形。
• 利用 Bakry-Émery 梯度估计与热核分析，将结果推广至 Alexandrov 空间。
• 在度量测度空间中运用极小极大原理与等周不等式，将谱理论推广至 Alexandrov 空间。
• 依赖 $CD(0,\infty)$ 条件与 RCD$^*(0,N)$ 框架，将结果推广至满足该条件的加权 Alexandrov 空间。
• 将特征值上界与可观测直径估计相结合，推导出无维数的 Cheng 型不等式。

实验结果

研究问题

• RQ1 在具有非负 Bakry-Émery Ricci 曲率的闭加权黎曼流形上，特征值比 $\lambda_k / \lambda_1$ 是否能被 $k$ 的多项式有界？
• RQ2 特征值比上界中的 $k^2$ 依赖关系是否最优？能否进一步改进，或其本身即为紧致界？
• RQ3 在具有非负曲率的紧致有限维 Alexandrov 空间上，是否存在特征值比的无维数上界？
• RQ4 在黎曼流形上导出的谱界能否推广至如 Alexandrov 空间等奇异空间？
• RQ5 无维数特征值比上界中的精确常数是多少？其与几何与分析不变量之间有何关系？

主要发现

• 论文建立了最优的无维数上界 $ \lambda_k(M,\mu) \leq \left(\frac{16e}{e-1}\right)^2 k^2 \lambda_1(M,\mu) $，该式可简化为小于 $641k^2\lambda_1(M,\mu)$。
• 上界中 $k^2$ 的依赖关系被证明是最优的，通过圆与细长环面的实例得到验证。
• 该结果优于 Funano 之前的指数估计，将 $e^{ck}$ 替换为多项式 $k^2$。
• 该结果证实了 Funano 与 Shioya 对紧致有限维 Alexandrov 空间上非负曲率情形的猜想。
• 该方法可推广至满足 $CD(0,\infty)$ 条件的加权 Alexandrov 空间，证实了该更广泛设定下的上界。
• 推导出无维数的 Cheng 型不等式：$ \text{ObsDiam}((M,\mu); -\kappa) \leq \frac{152k}{\sqrt{\lambda_k(M,\mu)}} \log \frac{2}{\kappa} $，改进了先前的常数。