[论文解读] Infimum of the exponential volume growth and the bottom of the essential spectrum of the Laplacian

Hironori Kumura|ArXiv.org|Jul 2, 2007

Analytic Number Theory Research参考文献 7被引用 6

一句话总结

本文通过在非紧黎曼流形上拉普拉斯算子本质谱底的指数体积增长条件中，将上极限（limsup）替换为下极限（liminf），修正了 Brooks 关于本质谱底的两个定理。证明了无论流形体积无限还是有限，本质谱底的上界均不超过指数体积增长速率下确界的平方，所得估计比 Brooks 原结果更优。

ABSTRACT

The purpose of this paper is to point out that `supremum' in two inequalities of Brooks should be replaced with `infimum'. The results of this paper are already known by Professor Higuci. Hence, I want to delete this paper from this preprint server.

研究动机与目标

• 修正 Brooks 关于完备非紧黎曼流形上拉普拉斯算子本质谱底的定理中的错误。
• 证明在无限体积与有限体积流形中，Brooks 不等式中的上极限（limsup）应替换为下极限（liminf）。
• 利用指数体积增长的下确界，建立本质谱底的更优上界。
• 通过体积增长振荡的显式例子，证明改进后定理的紧致性。
• 讨论距离球在等周估计中的局限性，并建议使用有限个覆盖变换球的并集作为替代候选。

提出的方法

• 通过在 μ_inf 和 μ_f,inf 的定义中以 liminf 替代 limsup，重新表述 Brooks 的定理。
• 应用 Brooks 定理 2.1 的变体，该定理将 M−K 上的狄利克雷拉普拉斯算子的谱隙与 e^{2αr(x)} 的可积性联系起来。
• 采用反证法：假设 α > μ_inf/2，则有 ∫_M-K e^{2αr(x)} dv_M = ∞，与定理 2.1 的可积性条件矛盾。
• 构造了旋转对称流形的显式例子，其体积增长在 0 与 n−1 之间振荡，表明 μ_inf = 0 而 μ = n−1。
• 利用 Følner-Brooks 定理指出，在可迁覆盖中，距离球并非等周估计的最优候选，建议使用有限个变换球的并集作为更优候选。
• 应用 Kumura（K1, K2）的判据，在曲率与距离函数条件下刻画完整的本质谱。

实验结果

研究问题

• RQ1 为何 Brooks 原定理中使用上极限（limsup）在估计本质谱底时次优？
• RQ2 通过下确界定义的指数体积增长速率，是否能为本质谱底提供更优的上界？
• RQ3 M−K 上的狄利克雷拉普拉斯算子在通过变分原理刻画谱底时起何作用？
• RQ4 振荡的体积增长模式如何影响谱界估计的紧致性？
• RQ5 在可迁覆盖中，为何距离球无法作为等周候选？存在哪些替代方案？

主要发现

• 定理 1.3 将 Brooks 的 limsup 替换为 liminf，证明了对无限体积流形有 minσ_ess(−Δ) ≤ μ_inf²/4。
• 定理 1.4 将 Brooks 的 limsup 替换为 liminf，证明了对有限体积流形有 minσ_ess(−Δ) ≤ μ_f,inf²/4。
• 显式例子表明 μ_inf = 0 而 μ = n−1，且 minσ_ess(−Δ) = 0，证明定理 1.3 比定理 1.1 更为严格。
• 在可迁覆盖（如可迁群）中，μ_inf > 0 但 minσ_ess(−Δ) = 0，表明定理 1.3 并非总是紧致，原因在于等周候选次优。
• Følner-Brooks 定理表明，在可迁情形下，有限个覆盖变换球 H_i 比距离球更优作为等周候选。
• 在曲率与距离函数条件下，完整本质谱为 σ_ess(−Δ) = [c²/4, ∞)，其中 c 是 Δr 沿 r→∞ 的极限。