[论文解读] Universal inequalities for the eigenvalues of Laplace and Schrödinger operators on submanifolds,

Ahmad El Soufi, Evans M. Harrell+1 more|ArXiv.org|Jun 6, 2007

Spectral Theory in Mathematical Physics参考文献 19被引用 15

一句话总结

本文建立了欧氏空间、球面和射影空间中紧致子流形上的拉普拉斯算子与薛定谔算子特征值的普遍不等式，明确引入了平均曲率。通过代数框架，该文推广了Payne-Pólya-Weinberger型与Yang型不等式，拓展了Reilly不等式，并推导了海森堡群上Kohn拉普拉斯算子的类似结果，提供了将流形等距嵌入齐性空间的谱判据。

ABSTRACT

We establish inequalities for the eigenvalues of Schrödinger operators on compact submanifolds (possibly with nonempty boundary) of Euclidean spaces, of spheres, and of real, complex and quaternionic projective spaces, which are related to inequalities for the Laplacian on Euclidean domains due to Payne, Pólya, and Weinberger and to Yang, but which depend in an explicit way on the mean curvature. In later sections, we prove similar results for Schrödinger operators on homogeneous Riemannian spaces and, more generally, on any Riemannian manifold that admits an eigenmap into a sphere, as well as for the Kohn Laplacian on subdomains of the Heisenberg group. Among the consequences of this analysis are an extension of Reilly's inequality, bounding any eigenvalue of the Laplacian in terms of the mean curvature, and spectral criteria for the immersibility of manifolds in homogeneous spaces.

研究动机与目标

• 推导欧氏空间、球面和射影空间中具有边界的紧致子流形上薛定谔算子的普遍特征值不等式。
• 将子流形的平均曲率显式纳入普遍特征值界中，推广经典结果。
• 将这些不等式推广至齐性黎曼流形及海森堡群上的Kohn拉普拉斯算子。
• 利用特征值界提供流形等距嵌入齐性空间的谱判据。
• 通过适用于多种几何设定的代数框架，统一并拓展现有普遍特征值不等式结果。

提出的方法

• 采用基于迹恒等式与变分原理的代数技术，推导普遍特征值不等式。
• 利用平均曲率向量场 $ h $ 与势函数 $ q $ 定义修正的特征值项 $ \delta_i = \int_M \left( \frac{|h|^2}{4} - q \right) u_i^2 $。
• 应用广义Hessian比较原理与含向量场的换位子恒等式，推导特征值间隔的界。
• 利用柯西-施瓦茨不等式与谱归一化，估计 $ \lambda_{k+1} $ 关于低阶特征值与曲率项的表达式。
• 建立涉及 $ D_{nk} $ 的不等式，$ D_{nk} $ 是特征值与曲率项的非负二次型，确保界的有效性。
• 通过利用子黎曼结构与非交换向量场 $ X_i, Y_i $，将该方法拓展至海森堡群上的Kohn拉普拉斯算子。

实验结果

研究问题

• RQ1 如何将拉普拉斯算子的普遍特征值不等式推广至包含欧氏空间与曲率环境空间中子流形的平均曲率？
• RQ2 当环境空间为球面或射影空间时，经典Payne-Pólya-Weinberger型与Yang型不等式需作何修改？
• RQ3 能否为海森堡群上的Kohn拉普拉斯算子推导类似的普遍界？其与欧氏情形有何不同？
• RQ4 何种谱条件可推出黎曼流形可等距嵌入齐性空间？
• RQ5 在薛定谔算子中引入势函数 $ q $ 对普遍特征值界有何几何影响？

主要发现

• 本文建立了普遍不等式（定理2.1.I）：$ n\sum_{i=1}^{k}(\lambda_{k+1}-\lambda_i)^2 \leq 4\sum_{i=1}^{k}(\lambda_{k+1}-\lambda_i)(\lambda_i + \delta_i) $，其中 $ \delta_i $ 依赖于平均曲率与势函数。
• 定理2.1.II中推导出 $ \lambda_{k+1} $ 的精确上下界，涉及前 $ k $ 个特征值的平均值与曲率项。
• $ D_{nk} $ 的非负性（特征值与曲率项的二次型）确保了界的有效性，并推广了Reilly不等式。
• 对于海森堡群上的Kohn拉普拉斯算子，定理5.1给出了新的普遍不等式：$ \sum_{i=1}^{k}(\lambda_{k+1}-\lambda_i)^2 \leq 2\sum_{i=1}^{k}(\lambda_{k+1}-\lambda_i)\lambda_i $，优于先前结果。
• 由定理5.1导出界 $ \lambda_{k+1} \leq \left(\frac{1}{k} + \frac{2}{nk}\right)\sum_{i=1}^{k}\lambda_i $，改进了Niu与Zhang的结果。
• 结果提供了嵌入的谱判据：若满足关于平均曲率的特征值界，则流形可能可嵌入球面或射影空间。