[论文解读] Trace identities for commutators, with applications to the distribution of eigenvalues

Evans M. Harrell, Joachim Stubbbe|ArXiv.org|Mar 3, 2009

Spectral Theory in Mathematical Physics参考文献 22被引用 3

一句话总结

该论文为涉及酉算子的换位子建立了迹恒等式，从而推导出周期性Schrödinger算子和浸入流形上Laplace-Beltrami算子特征值的精确通用界。通过将求和规则和Riesz均值单调性推广至非自伴辅助算子，该研究证明了最优的Lieb-Thirring不等式，以及一个新型Reilly型特征值界，其量纲为$ olimits_{\infty}^{2}N^{2/d}$，并给出了显式且不可替代的谱参数平移，以确保单调性。

ABSTRACT

We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schroedinger operators and Schroedinger operators on immersed manifolds. In particular, we prove bounds on the eigenvalue lambda_{N+1} in terms of the lower spectrum, bounds on ratios of means of eigenvalues, and universal monotonicity properties of eigenvalue moments, which imply sharp versions of Lieb-Thirring inequalities. In the geometric context we derive a version of Reilly's inequality, bounding the eigenvalue lambda_{N+1} of the Laplace-Beltrami operator on an immersed manifold of dimension d by a universal constant times the square of the maximal mean curvature times N^{2/d}.

研究动机与目标

• 将此前仅适用于Dirichlet拉普拉斯算子和离散谱的通用谱界扩展至周期性Schrödinger算子和平均曲率有界的流形。
• 通过使用酉算子而非自伴算子，解决周期性设定下坐标乘法无法保持定义域的难题。
• 推导出周期性和几何谱问题的最优Lieb-Thirring不等式及Riesz均值的通用单调性。
• 为浸入流形上Laplace-Beltrami算子的特征值证明一个新型Reilly型不等式，其渐近行为最优。
• 通过显式例子（包括格点计数和周期性Schrödinger算子）验证所推导边界的最优性。

提出的方法

• 推导出当$G$为酉算子时，换位子$[H,G]$和$[G,[H,G]]$的抽象迹恒等式（定理2.2），绕过周期性问题中的定义域问题。
• 同时将迹恒等式应用于周期性Schrödinger算子和平均曲率有界的流形，使用相同的代数结构。
• 建立Riesz均值$R_2(z)$关于$z$的单调性，其平移量依赖于几何结构，推广了有界区域的结果。
• 采用[32]的方法，证明周期性和几何算子的Riesz均值具有通用单调性，从而推出精确的Lieb-Thirring不等式。
• 推导出浸入流形上Laplace-Beltrami算子的新Reilly型界$\lambda_{N+1} \leq C \|h\|_{\infty}^{2}N^{2/d}$，其中$C$为通用且最优的常数。
• 通过显式例子验证最优性：$S^1$上的周期性拉普拉斯算子、二维环面格点计数，以及具有特征值平移的周期性Schrödinger算子。

实验结果

研究问题

• RQ1 能否将通用谱界（如Lieb-Thirring不等式和Riesz均值单调性）扩展至标准换位子恒等式失效的周期性Schrödinger算子？
• RQ2 为保持周期性和几何算子的Riesz均值单调性，谱参数$z$的最优平移量是什么？
• RQ3 能否利用迹恒等式和酉换位子推导出浸入流形上特征值的精确Reilly型不等式？
• RQ4 所推导的周期性Schrödinger算子的Lieb-Thirring不等式是否最优？能否在不损失单调性的前提下减小$z$中的平移量？
• RQ5 所推导的边界与经典结果（如Gauss圆问题）在格点计数中的表现如何比较？

主要发现

• 对于周期性Schrödinger算子，Riesz均值$R_2(z)$仅在谱参数平移$\alpha/4$后才关于$z$非减小，且若减小该平移量将破坏单调性。
• 为维度$d$的浸入流形上Laplace-Beltrami算子证明了新的Reilly型界$\lambda_{N+1} \leq C \|h\|_{\infty}^{2}N^{2/d}$，其中$C$为通用且最优的常数。
• 在一维周期性拉普拉斯算子中，当$N=2n+1$时，所推导的边界达到等式，确认了谱参数中平移$\pi^2$的精确性。
• 在二维环面上，边界$R_2(x) \leq \frac{\pi}{3}(x + \frac{1}{2})^3$蕴含$\Delta_2(x) \leq \frac{\pi}{48}(12x^2 + 6x + 1)$，该单边估计与Weyl渐近性一致。
• 对于周期性Schrödinger算子$H(\alpha) = -\alpha\Delta - \gamma$，函数$\alpha \mapsto \sqrt{\alpha} \sum (z - \alpha/4 - \lambda_j)_+^2$为非减函数，从而证明了最优Lieb-Thirring不等式。
• 谱参数中的平移$\alpha/4$为最优：通过测试$\gamma/\alpha = m^2$（$m$为整数）可知，若减小该平移量将破坏单调性。