[论文解读] Eigenvalue Asymptotics of Perturbed Self-adjoint Operators

А. А. Шкаликов|arXiv (Cornell University)|Feb 23, 2012

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

一句话总结

本论文在扰动算子满足局部次从条件的假设下，建立了自伴正则算子扰动后的特征值渐近性质。证明了原算子与扰动算子的特征值计数函数之差被原算子的谱分布函数所控制，且该界依赖于谱增长速率 α 和扰动强度 β，条件为 γ = max(0, β, 2β + α − 1) < 1。

ABSTRACT

We study perturbations of a self-adjoint positive operator $T$, provided that a perturbation operator $B$ satisfies "local" subordinate condition $\|Bφ_k\|\leqslant bμ_k^β$ with some $β&lt;1$ and $b&gt;0$. Here $\{φ_k\}_{k=1}^\infty$ is an orthonormal system of the eigenvectors of the operator $T$ corresponding to the eigenvalues $\{μ_k\}_{k=1}^\infty$. We introduce the concept of $α$-non-condensing sequence and prove the theorem on the comparison of the eigenvalue-counting functions of the operators $T$ and $T+B$. Namely, it is shown that if $\{μ_k\}$ is $α-$non-condensing then the difference of the eigenvalue-counting functions is subject to relation $$|n(r,\, T)- n(r,\, T+B)| \leqslant C[n(r+ar^γ,\, T) - n(r-ar^γ,\, T)] +C_1 $$ with some constants $C, C_1, a$ and $γ= \max(0, β, 2β+α-1)\in [0,1)$.

研究动机与目标

• 分析在特定类型扰动下自伴算子特征值的渐近分布。
• 通过在扰动上引入更弱的局部次从条件，拓展现有扰动算子特征值比较结果。
• 定义并利用 α-非凝聚序列的概念，将特征值计数界推广至经典非凝聚情形之外。
• 建立原算子与扰动算子特征值计数函数之差的定量界，其依赖于谱增长与扰动强度。
• 提供一个包含并改进先前结果（特别是 Markus 和 Matsaev 的结果）的框架，通过放松对扰动所需条件的要求。

提出的方法

• 引入 α-非凝聚序列的概念，通过 {μₖ^α} 的非凝聚行为定义，以推广谱分布假设。
• 对扰动算子 B 施加局部次从条件：‖Bφₖ‖ ≤ bμₖ^β，其中 β < 1，该条件弱于标准的 β-次从条件。
• 利用函数 Sγ(r) = n(r + ar^γ, T) − n(r − ar^γ, T) 推导 |n(r, A) − n(r, T)| 的界，其中 γ = max(0, β, 2β + α − 1) < 1。
• 采用复分析技术，包括围道积分与幅角变化估计，以控制谱区间内特征值的数量。
• 应用 Tauber 型论证与谱投影估计，将算子 T 与 A = T + B 的特征值计数函数联系起来。
• 通过控制收缩区间内特征值数量，处理当围道经过 A 的特征值时计数函数的跳跃。

实验结果

研究问题

• RQ1 在满足局部次从条件的扰动下，自伴算子的特征值分布如何变化？
• RQ2 谱增长速率 α 与扰动强度 β 满足何种条件时，可保证扰动算子的特征值计数函数与原算子保持接近？
• RQ3 经典非凝聚假设能否推广至 α-非凝聚序列，同时保持特征值比较界？
• RQ4 界 |n(r, A) − n(r, T)| ≤ C Sγ(r) + C₁ 中的最优指数 γ 是什么？其如何依赖于 α 与 β？
• RQ5 局部次从条件 ‖Bφₖ‖ ≤ bμₖ^β 相较于标准 β-次从条件，是否能给出更优或更一般的结果？

主要发现

• 差值 |n(r, A) − n(r, T)| 被有界于 C[n(r + ar^γ, T) − n(r − ar^γ, T)] + C₁，其中常数 C、C₁、a 及 γ = max(0, β, 2β + α − 1) < 1。
• 即使围道经过 A 的特征值，该界依然成立，因为计数函数的跳跃可通过收缩区间内特征值数量加以控制。
• 当 α = 1 时，证明依赖于幅角变化估计与围道积分技术，以控制谱矩形区域内特征值的数量。
• 该结果通过允许扰动满足更弱的局部条件，推广了 Markus 与 Matsaev 的先前工作，该条件无需在整个 T 的定义域上一致成立。
• 当 n(r, T) = r^α + O(r^η) 且 η < α 时，差值 |n(r, A) − n(r, T)| 为 O(r^{α+γ−1}) + O(r^η)，表明了特征值位移的渐近衰减速率。
• 指数 γ 是最优的，因为它准确捕捉了谱增长（α）、扰动强度（β）与谱的非凝聚行为之间的相互作用。