[论文解读] Spectral perturbation bounds for selfadjoint operators

Krešimir Veselić|ArXiv.org|Apr 6, 2007

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

一句话总结

本文通过解析性与单调性而非变分原理，为自伴算子在广义形式和扰动下建立了精确的谱和特征值扰动界。它将相对界推广至无界算子，并提供了考虑谱隙中特征值的双边估计，关键结果为统一且紧致的界 $|\mu_k - \lambda_k| \leq a + b|\lambda_k|$，即使在 $b \geq 1$ 的情况下，只要满足适当的不可穿透性和有界性条件，该界依然成立。

ABSTRACT

We give general spectral and eigenvalue perturbation bounds for a selfadjoint operator perturbed in the sense of the pseudo-Friedrichs extension. We also give several generalisations of the aforementioned extension. The spectral bounds for finite eigenvalues are obtained by using analyticity and monotonicity properties (rather than variational principles) and they are general enough to include eigenvalues in gaps of the essential spectrum.

研究动机与目标

• 推导自伴算子在广义形式和扰动下的通用谱和特征值扰动界，将已知结果推广至无界算子。
• 统一并推广文献中关于伪弗里德里希斯扩张及相关形式和扩展的现有构造。
• 提供即使在特征值位于本质谱间隙中时依然有效的双边特征值界，克服经典变分原理的局限性。
• 建立谱在扰动下保持稳定的条件，特别关注谱隙中的不可穿透性和单调性。
• 证明界 $|\mu_k - \lambda_k| \leq a + b|\lambda_k|$ 是紧致的，并自然推广经典结果如威爾不等式和相对界。

提出的方法

• 本文利用全纯算子族的解析性与单调性性质，推导有限特征值的下半连续界，避免依赖变分原理。
• 提出一个一般性抽象定理，统一各种形式和构造，包括伪弗里德里希斯扩张与拟定性算子扩展。
• 该方法依赖于将扰动算子分解为形式和结构，特别是利用 (10) 式中的矩阵表示及其通过 $F = H_+^{-1/2} B H_-^{-1/2}$ 推广至无界算子的推广形式。
• 施加不可穿透性条件，以确保谱隙中的特征值在扰动过程中不会进入或离开该间隙，从而实现精确计数与定位。
• 使用卡林代数将有限维与无限维设置中的可逆性与谱控制相联系，保持单调性与稳定性。
• 关键估计基于形式界条件 $|(A\psi,\psi)| \leq a\|\psi\|^2 + b(|H|\psi,\psi)$ 且 $b < 1$，该条件确保形式和扩展的存在性与唯一性。

实验结果

研究问题

• RQ1 如何将双边特征值扰动界推广至无界自伴算子，特别是在特征值位于本质谱间隙中的情况下？
• RQ2 在扰动在算子范数下无界时，何种条件可确保扰动后自伴算子的谱仍保持在原谱附近？
• RQ3 当 $b \geq 1$ 时，是否可通过使用适当的扰动分解，将相对界 $|\mu_k - \lambda_k| \leq b|\lambda_k|$ 推广至此类情形？
• RQ4 如何形式化“不可穿透性”概念，以确保谱隙中的特征值在扰动下仍保持在受控区间内？
• RQ5 全纯算子族中的解析性与单调性在推导特征值移动下界时起到何种作用？

主要发现

• 本文为自伴算子 $T = H + A$ 的有限特征值建立了形式为 $|\mu_k - \lambda_k| \leq a + b|\lambda_k|$ 的双边特征值界，其中 $A$ 满足形式界 $|(A\psi,\psi)| \leq a\|\psi\|^2 + b(|H|\psi,\psi)$ 且 $b < 1$，将已知结果推广至无界算子。
• 该界是紧致的，在标量情形下取等，确认其最优性。
• 当 $a = 0$（即非负形式）时，该界简化为 $|\mu_k - \lambda_k| \leq b|\lambda_k|$，恢复了文献 [9] 中对有限矩阵的相对界。
• 当 $b = 0$ 时，该界简化为 $|\mu_k - \lambda_k| \leq a = \|A\|$，恢复经典威爾型估计。
• 该方法确保只要满足不可穿透性条件（如 $\lambda_{--} + a + b|\lambda_k| < \lambda_{++}$），谱隙中的特征值就保持局部化，从而实现精确计数与排序。
• 利用全纯算子族与卡林代数技术，即使在 $b \geq 1$ 的情况下，也能控制总谱与本质谱中谱的移动，前提是保持算子结构（如拟定性形式）不变。