[论文解读] Uniform convergence of spectral shift functions

Peter D. Hislop, Peter Müller|arXiv (Cornell University)|Jul 15, 2010

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

一句话总结

该论文在狄利克雷边界条件下，针对紧支集有界势的薛定谔算符，建立了有限体积谱移函数（SSF）在系统尺寸 $ L \to \infty $ 时的统一收敛性。通过涉及费曼-卡茨表示和控制收敛定理的概率方法，作者证明了即使在 $ d \geq 2 $ 时由于本征值简并导致逐点收敛失败，能量平均的 SSF 仍会一致收敛于无限体积谱移函数。

ABSTRACT

The spectral shift function ξ_{L}(E) for a Schrödinger operator restricted to a finite cube of length L in multi-dimensional Euclidean space, with Dirichlet boundary conditions, counts the number of eigenvalues less than or equal to E \in \RR created by a perturbation potential V. We study the behavior of this function ξ_{L}(E) as L to infinity for the case of a compactly-supported and bounded potential V. After reviewing results of Kirsch [Proc. Amer. Math. Soc. 101, 509-512 (1987)], and our recent pointwise convergence result for the Cesàro mean [Proc. Amer. Math. Soc. 138, 2141-2150 (2010)], we present a new result on the convergence of the energy-averaged spectral shift function that is uniform with respect to the location of the potential V within the finite box.

研究动机与目标

• 解决在 $ d \geq 2 $ 时有限体积谱移函数（SSF）非一致收敛的问题，其中由于本征值简并导致逐点极限发散。
• 建立能量平均 SSF 相对于紧支集势 $ V $ 位置的一致收敛性，克服先前结果中缺乏一致性的缺陷。
• 通过引入能量平均，将收敛框架从逐点极限扩展至更广范围，确保在势位置变化下具有鲁棒性。
• 利用费曼-卡茨表示和控制收敛定理，提供收敛性的严格概率证明。
• 证明极限谱移函数与盒子位置无关，并在所有空间位移下一致捕捉无限体积行为。

提出的方法

• 使用费曼-卡茨公式表示预解子差的迹 $ \mathrm{tr}[e^{-tH_0} - e^{-tH_{1,x_0}}] $，将谱移函数与随机过程联系起来。
• 通过时间平均迹表达式定义能量平均谱移函数 $ \widetilde{\xi}^{(n)}_{x_{L_n}}(t) $，确保在 $ L \to \infty $ 时的稳定性。
• 对核 $ \varphi^{(n)}_{x_{L_n}}(t) $ 的路径极限应用控制收敛定理，依赖于一致可积性与高斯尾部界。
• 利用柯西-施瓦茨不等式与贝塞尔桥尾部估计构造控制函数 $ G(x) \in L^1(\mathbb{R}^d) $，以证明极限交换的合理性。
• 使用卡托类条件 $ U \in \mathcal{K}_{\pm}(\mathbb{R}^d) $，$ V \in \mathcal{K}_{\mathrm{loc}}(\mathbb{R}^d) $，以确保势的所需随机可积性与有界性。
• 通过证明极限与位移序列 $ x_{L_n} \in A_{L_n}(x_0) $（即 $ V $ 在盒子内所有位置）无关，实现对所有空间位移的统一收敛。

实验结果

研究问题

• RQ1 在 $ L \to \infty $ 时，有限体积薛定谔算符的谱移函数是否能在能量与位置上一致收敛，即使在 $ d \geq 2 $ 时逐点发散？
• RQ2 能量平均是否消除了在 $ L \to \infty $ 时紧支集势 $ V $ 位置的依赖性？
• RQ3 极限谱移函数是否与有限盒子内 $ V $ 的空间位置无关，并且是否与无限体积 SSF 一致？
• RQ4 当逐点收敛失败时，通过费曼-卡茨表示的概率方法是否能为 SSF 提供一致收敛框架？
• RQ5 对势（如卡托类）的何种条件能确保能量平均 SSF 存在一致极限？

主要发现

• 能量平均谱移函数 $ \widetilde{\xi}^{(n)}_{x_{L_n}}(t) $ 随 $ n \to \infty $ 一致收敛于无限体积谱移函数 $ \xi(E; H_{1,x_0}, H_0) $，对所有空间位移 $ x_{L_n} \in A_{L_n}(x_0) $ 成立。
• 极限与序列 $ (x_{L_n})_{n \in \mathbb{N}} $ 的选择无关，证明了相对于盒子内势 $ V $ 位置的一致性。
• 收敛性通过费曼-卡茨表示与控制收敛定理建立，控制函数 $ G(x) \in L^1(\mathbb{R}^d) $ 由贝塞尔桥尾部估计导出。
• 结果表明，即使逐点收敛失败，无限体积谱移函数仍可通过能量平均的有限体积近似获得。
• 证明依赖于 $ U $ 的卡托类条件与 $ V $ 的局部可积性，以确保随机可积性与一致有界性。
• 关键技术进展在于对路径核 $ F_n(x) $ 的统一控制，其极限通过概率估计被证明存在且可积。