[论文解读] The essential spectrum of the Laplacian

Nelia Charalambous, Zhiqin Lu|arXiv (Cornell University)|Nov 14, 2012

Spectral Theory in Mathematical Physics参考文献 9被引用 6

一句话总结

本文提出了一种适用于完备非紧黎曼流形上拉普拉斯算子本质谱的新型威爾型判别法，利用近似特征函数的 $ L^∞ $-$ L^1 $ 范数。研究证明，在无需曲率或体积增长假设的前提下，收缩型里奇孤立子上拉普拉斯算子的 $ L^2 $-本质谱仍为 $[0,\infty)$，该结果超越了斯图尔姆定理与王氏条件的限制，扩展了先前结果。

ABSTRACT

In this article we prove a generalization of Weyl's criterion for the essential spectrum of a self-adjoint operator on a Hilbert space. We then apply this criterion to the Laplacian on functions over open manifolds and get new results for its essential spectrum.

研究动机与目标

• 将希尔伯特空间中自伴算子本质谱的威爾判别法推广至开流形上的拉普拉斯算子。
• 克服 $ \Delta r $（距离函数的拉普拉斯）在 $ L^2 $ 中不可积而导致经典谱判别法失效的问题。
• 建立适用于具有非光滑或奇异测试函数（如具有角点或非光滑边界）的流形的新判别法。
• 证明在无需最大体积增长或曲率有界性假设的前提下，收缩型里奇孤立子上拉普拉斯算子的 $ L^2 $-本质谱为 $[0,\infty)$。
• 将本质谱为整个非负实直线的流形类别扩展至超越先前依赖斯图尔姆定理或体积增长条件的结果。

提出的方法

• 提出一种新型威爾型判别法，利用不等式 $ \|u\|_{L^\infty} \cdot \|\Delta u + \lambda u\|_{L^1} \leq \sigma \|u\|_{L^2}^2 $（其中 $ \sigma > 0 $），该不等式蕴含 $ \sigma(-\Delta) \cap (\lambda - \varepsilon, \lambda + \varepsilon) \neq \emptyset $，且 $ \varepsilon = \min(1, (\lambda+1)\sigma^{1/3}) $。
• 将该判别法应用于完备非紧黎曼流形上的拉普拉斯算子，利用具有受控 $ L^\infty $-$ L^1 $ 范数的近似特征函数。
• 使用单位分解与截断函数，将连续紧支集函数逼近为光滑函数，同时保持对 $ \|(-\Delta - \lambda)h\|_{L^1} $ 的控制。
• 采用光滑化技术对紧支集函数进行光滑化处理，同时维持 $ (-\Delta - \lambda)h $ 的 $ L^1 $-范数有界。
• 建立一个推论，将谱包含关系与序列 $ \{\psi_n\} \subset \mathcal{C}_0^+(M) $ 联系起来，该序列满足 $ \|\psi_n\|_{L^\infty} \cdot \|(-\Delta - \lambda)\psi_n\|_{L^1} $ 与 $ \|\psi_n\|_{L^2}^2 $ 之比的衰减条件。
• 利用逼近结果证明：若可选取此类序列且其支集逃逸至任意紧集之外，则谱包含关系在本质谱中成立。

实验结果

研究问题

• RQ1 能否将威爾型判别法推广，以避免依赖于 $ \Delta u $ 的 $ L^2 $-有界性，特别是在 $ \Delta r $ 不属于 $ L^2 $-局部可积时？
• RQ2 在不假设最大体积增长或曲率有界性的情况下，收缩型里奇孤立子上拉普拉斯算子的本质谱是否仍为 $[0,\infty)$？
• RQ3 是否可利用 $ \Delta u + \lambda u $ 的 $ L^\infty $-$ L^1 $ 范数建立谱包含关系，即使 $ u $ 不光滑或 $ \Delta u $ 不属于 $ L^2 $-可积？
• RQ4 是否可利用该新判别法证明具有非光滑几何结构（如角点）的流形上本质谱包含关系？
• RQ5 该新判别法能否用于证明在斯图尔姆定理或王氏体积增长条件不适用的流形上，$ \sigma_{\text{ess}}(-\Delta) = [0,\infty) $？

主要发现

• 在任意完备收缩型里奇孤立子上，拉普拉斯算子的 $ L^2 $-本质谱为 $[0,\infty)$，即使在无曲率或体积增长假设下亦成立。
• 该新判别法表明：当存在某个 $ \sigma > 0 $ 使得 $ \|u\|_{L^\infty} \cdot \|\Delta u + \lambda u\|_{L^1} \leq \sigma \|u\|_{L^2}^2 $ 时，必有 $ \sigma(-\Delta) \cap (\lambda - \varepsilon, \lambda + \varepsilon) \neq \emptyset $，其中 $ \varepsilon = \min(1, (\lambda+1)\sigma^{1/3}) $。
• 若存在此类函数 $ u $ 且其支集逃逸至任意紧集之外，则 $ \lambda \in \sigma_{\text{ess}}(-\Delta) $，从而实现无需光滑性或 $ L^2 $-有界性的本质谱检测。
• 该判别法适用于经典方法失效的流形，如距离函数的拉普拉斯不可 $ L^2 $-可积的流形（包括某些扭曲积流形）。
• 该方法使对具有角点或奇点的流形的谱分析成为可能，此时标准 $ L^2 $-方法不再适用。
• 逼近结果确保可通过满足 $ L^\infty $-$ L^1 $-范数比衰减条件的连续紧支集函数序列来检测谱包含关系。