[论文解读] An Estimate of the Gap of the First Two Eigenvalues in the Schrödinger Operator

Shing‐Tung Yau|ArXiv.org|Feb 13, 2009

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

一句话总结

本文在势能 $V$ 的 Hessian 矩阵下界为正的条件下，建立了凸域上 Sroedinger 算符 $-\Delta + V$ 的谱隙 $\lambda_2 - \lambda_1$ 的维度无关下界。通过分析特征函数比值 $u_2/u_1$ 并应用曲率与向量场约束，作者推导出仅依赖于区域直径与 Hessian 下界之谱隙估计，借助对 $-\log u_1$ 的 Hessian 控制，将先前结果推广至非凸势能。关键贡献在于当 $V$ 为强凸时，获得了一个与维度无关的通用下界。

ABSTRACT

We give a lower estimate of the gap of the first two eigenvalues of the Schrodinger operator in the case when the potential is strongly convex. In particular, if the Hessian of the potential is bounded from below by a positive constant, the gap has a lower bound independent of the dimension. We also estimate the gap when the potential is not necessarily convex.

研究动机与目标

• 改进先前工作，对 Sroedinger 算符 $-\Delta + V$ 的谱隙 $\lambda_2 - \lambda_1$ 提供更优的下界估计。
• 在势能 $V$ 为强凸（即 $\operatorname{Hess}(V) \geq c > 0$）时，建立一个与区域维度无关的谱隙估计。
• 通过控制 $-\log u_1$ 的 Hessian 矩阵，将谱隙估计推广至非凸势能，其中 $u_1$ 为第一特征函数。
• 利用涉及比值 $u_2/u_1$ 与 Neumann 边界条件的几何与分析技术，推导出 $\lambda_2 - \lambda_1$ 的通用下界。

提出的方法

• 定义 $u = u_2 / u_1$，其中 $u_1 > 0$ 为第一特征函数，$u_2$ 为第二特征函数，将特征值问题转化为关于 $u$ 的二阶 PDE，并满足 Neumann 边界条件。
• 利用恒等式 $\Delta u = -(\lambda_2 - \lambda_1)u + 2\nabla\varphi_1 \cdot \nabla u$，其中 $\varphi_1 = -\log u_1$，将 $u$ 的拉普拉斯算子表示为谱隙与 $\varphi_1$ 梯度的函数。
• 引入类似李雅普诺夫的函数 $F = |\nabla u|^2 + \alpha u^2$，并分析其拉普拉斯算子，以导出涉及谱隙的微分不等式。
• 应用曲率与 Hessian 假设：非负 Ricci 曲率、凸边界，以及 $W_{i,i} \geq \sqrt{c/2}$，以控制 $\Delta F - 2W \cdot \nabla F$ 的下界。
• 在 $F$ 上应用最大值原理，除非 $\lambda_2 - \lambda_1$ 超过依赖于 $c$、$\mathrm{diam}(\Omega)$ 与参数 $\beta$ 的阈值，否则将导致矛盾。
• 对于非凸势能，通过 $\varphi_1 = -\log u_1$ 满足 $\varphi_{1,ii} \geq -a$ 来控制其 Hessian，并使用对数障碍函数以有界 $|\nabla u|/(c - u)$，从而导出以 $a$ 与 $\mathrm{diam}(\Omega)$ 表示的谱隙估计。

实验结果

研究问题

• RQ1 在势能强凸性条件下，Sroedinger 算符的谱隙 $\lambda_2 - \lambda_1$ 是否可被一个与维度无关的常数下界控制？
• RQ2 当势能非必然凸时，$-\log u_1$ 的 Hessian 如何影响谱隙的下界？
• RQ3 在何种几何与分析条件下，可确保谱隙存在一个通用下界？
• RQ4 通过控制 $\varphi_1 = -\log u_1$ 的曲率，是否可将谱隙估计推广至凸势能之外？

主要发现

• 当势能 $V$ 的 Hessian 满足 $\operatorname{Hess}(V) \geq c > 0$ 时，谱隙满足 $\lambda_2 - \lambda_1 \geq \frac{\theta^2(\beta)}{\mathrm{diam}(\Omega)^2} + \beta\sqrt{c}$，其中对任意 $0 < \beta < \sqrt{2}$，有 $\theta(\beta) = \sin^{-1}\left(\frac{1}{\sqrt{1 + \frac{\beta}{\sqrt{2} - \beta}}}\right)$。
• 在 $V$ 为强凸时，$\lambda_2 - \lambda_1$ 的下界与区域维度无关，相较于先前估计有显著改进。
• 对于一般光滑势能，若 $-\log u_1$ 的 Hessian 下界为 $-a$，则 $\lambda_2 - \lambda_1 \geq 2\mathrm{diam}(\Omega)^{-2}\exp(-a\mathrm{diam}(\Omega)^2)$。
• 该方法依赖于对 $F = |\nabla u|^2 + \alpha u^2$ 应用最大值原理，其中 $u = u_2/u_1$，除非谱隙超过包含曲率与向量场项的阈值，否则将导致矛盾。
• 只要 $\operatorname{Hess}(-\log u_1) \geq -a$，则对任意有限直径的凸区域 $\Omega$，有 $\lambda_2 - \lambda_1 \geq 2\mathrm{diam}(\Omega)^{-2}\exp(-a\mathrm{diam}(\Omega)^2)$。
• 分析表明，基态 $u_1 = \exp(-\varphi_1)$ 的衰减速率不会快于 $\sqrt{(V - \lambda_1)_+}$ 的积分，意味着 $\varphi_1$ 的增长受到控制。