[论文解读] Small eigenvalues and thick-thin decomposition in negative curvature

Ursula Hamenstaedt|arXiv (Cornell University)|Oct 11, 2018

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

一句话总结

本文建立了有限体积、截面曲率夹在负值之间的流形的拉普拉斯特征值与其厚-薄分解之间尖锐的谱比较估计。当 $ k $ 满足 $ \lambda_k(M) < (n-2)^2/12 $ 时，证明了全流形 $ M $ 的第 $ k $ 个特征值至少为具有诺伊曼边界条件的其厚部 $ M_{\rm thick} $ 的三分之一。对于三维双曲流形，进一步表明当 $ \lambda_k(M_{\rm thick}) < 1/96 $ 时，有 $ \lambda_k(M) \leq C \log({\rm vol}(M_{\rm thin})+2) \lambda_k(M_{\rm thick}) $，从而在小特征值与薄部几何之间建立了定量联系。

ABSTRACT

Let $M$ be a finite volume oriented Riemannian manifold of dimension $n\geq 3$ and curvature in $[-b^2,-1]$, with thick-thin decomposition $M=M(thick)\cup M(thin)$. Denote by $λ_k(M(thick))$ the k-th eigenvalue for the Laplacian on $M(thick)$, with Neumann boundary conditdions. We show that $λ_k(M(thick))/3\leq λ_k(M)$ for all k for which $λ_k(M)0$ provided that $λ_k(M(thick))&lt;1/96$.

研究动机与目标

• 理解维度 $ n \geq 3 $ 的有限体积、曲率夹在负值之间的流形上拉普拉斯算子的小谱，特别是其与厚-薄分解的关系。
• 弥合高维负曲率流形小特征值理解上的空白，这些理解远不如二维双曲情形清晰。
• 建立全流形 $ M $ 与其中厚部 $ M_{\rm thick} $ 特征值之间的定量比较，尤其关注小特征值。
• 将已知的双曲曲面谱结果推广至具有夹紧负曲率的高维流形。
• 分析薄部几何（特别是其体积）如何影响全流形的谱。

提出的方法

• 使用 $ M $ 的厚-薄分解，其中 $ M_{\rm thick} $ 由内接半径至少为 $ \varepsilon $ 的点构成，而 $ M_{\rm thin} $ 是马加里斯管与柱面的并集。
• 在 $ M_{\rm thick} $ 上施加诺伊曼边界条件，确保特征值问题适定且与流形几何兼容。
• 通过在薄部使用受控 $ L^2 $-范数与能量的径向延拓，将 $ M_{\rm thick} $ 上的特征函数 $ f $ 扩展为 $ M $ 上的函数 $ F $。
• 利用边界超曲面之间径向投影的双李普希茨控制，以有界方式控制扩展函数 $ F $ 的雷利商。
• 利用 $ M_{\rm thick} $ 与有界度数的有限图之间具有统一拟等距性这一事实，通过图拉普拉斯特征值实现谱比较。
• 运用施瓦茨不等式与能量估计，比较原函数与扩展函数的 $ L^2 $-范数与狄利克雷能量，确保 $ F $ 的雷利商可由 $ \lambda_k(M_{\rm thick}) $ 控制。

实验结果

研究问题

• RQ1 有限体积、夹紧负曲率的流形上拉普拉斯算子的小特征值，与具有诺伊曼边界条件的其厚部特征值之间有何关系？
• RQ2 当 $ \lambda_k(M) $ 较小时，能否为 $ \lambda_k(M) $ 建立关于 $ \lambda_k(M_{\rm thick}) $ 的通用下界？
• RQ3 在三维双曲流形中，$ \lambda_k(M) $ 对薄部 $ M_{\rm thin} $ 体积的依赖关系如何？
• RQ4 是否厚部 $ M_{\rm thick} $ 的谱隙能控制全流形 $ M $ 的小谱？若是，其常数是否统一？
• RQ5 薄部的几何结构（特别是其体积与构造）如何约束全流形的小特征值？

主要发现

• 对于任意维度 $ n \geq 3 $、曲率位于 $ [-b^2, -1] $ 之间的有限体积、定向黎曼 $ n $-流形，当 $ \lambda_k(M) < \frac{(n-2)^2}{12} $ 时，有 $ \lambda_k(M) \geq \frac{1}{3} \lambda_k(M_{\rm thick}) $。
• 在三维双曲流形的情形下，若 $ \lambda_k(M_{\rm thick}) < \frac{1}{96} $，则存在固定常数 $ C > 0 $，使得 $ \lambda_k(M) \leq C \log({\rm vol}(M_{\rm thin}) + 2) \cdot \lambda_k(M_{\rm thick}) $。
• 常数 $ \frac{(n-2)^2}{12} $ 是尖锐的，即在无额外假设下无法改进，其源于曲率与维度的约束。
• 厚部 $ M_{\rm thick} $ 与有界度数的有限图之间具有统一拟等距性，从而可通过图拉普拉斯特征值实现谱比较。
• 扩展函数 $ F $ 的构造确保其 $ L^2 $-范数与狄利克雷能量由 $ M_{\rm thick} $ 上原特征函数的对应量控制，且常数仅依赖于 $ n $ 与 $ b $。
• 证明依赖于径向投影的双李普希茨控制与通过施瓦茨不等式获得的能量估计，确保 $ F $ 的雷利商可由 $ \lambda_k(M_{\rm thick}) $ 控制。