[论文解读] Perturbation determinants, the spectral shift function, trace identities, and all that

D. R. Yafaev|ArXiv.org|Jan 10, 2007

Quantum chaos and dynamical systems参考文献 15被引用 8

一句话总结

该论文将 M. G. Kreïn 的谱移函数（SSF）理论扩展至具有非迹类扰动的多维薛定谔算子，建立了 SSF 的高能渐近展开式以及整数与半整数阶的迹恒等式。通过使用预解式迹恒等式与 Birman-Kreïn 公式，推导出渐近系数的显式表达式，并利用围道积分与正则化行列式证明迹恒等式，解决了多维散射理论与谱分析中长期存在的难题。

ABSTRACT

We discuss applications of the M. G. Kre\uın theory of the spectral shift function to the multi-dimensional Schrödinger operator as well as specific properties of this function, for example, its high-energy asymptotics. Trace identities for the Schrödinger operator are derived.

研究动机与目标

• 将 M. G. Kreïn 的谱移函数（SSF）理论扩展至具有非迹类扰动的多维薛定谔算子，其中标准迹类假设不成立。
• 在对势函数 $v(x)$ 的正则性要求最小的条件下，建立 $d$ 维薛定谔算子在 $\lambda \to \infty$ 时 SSF 的高能渐近展开式（AE）。
• 通过正则化扰动行列式的渐近展开式与谱移函数，推导整数与半整数阶的迹恒等式。
• 利用热不变量与预解式展开，提供 SSF 及相关函数渐近系数的显式可计算表达式。

提出的方法

• 使用 Birman-Kreïn 公式 $\operatorname{Det} S(\lambda) = \exp(-2\pi i \xi(\lambda))$ 将散射矩阵与 SSF 联系起来。
• 应用散射矩阵 $S(\lambda)$ 的高能渐近展开式，推导 $\lambda \to \infty$ 时 SSF $\xi(\lambda)$ 的渐近行为。
• 通过关键路径 $\Gamma_{R,\varepsilon}$ 上的围道积分，将 $\ln D_2(z)$ 的积分与谱数据关联，利用解析性与衰减性质。
• 通过比较 $\operatorname{Tr}(R^m(z) - R_0^m(z))$ 与 $\ln D_2(z)$ 在 $m > d/2 - 1$ 时的渐近展开式中的系数，推导迹恒等式。
• 利用正则化行列式 $\operatorname{Det}_p(I + A)$（其中 $A \in \mathfrak{S}_p$）定义 $D_2(z)$，当 $V \notin \mathfrak{S}_1$ 时，可处理非迹类扰动。
• 依赖于预解式差 $R(z) - R_0(z)$ 的高能 AE，构造 $\xi(\lambda)$ 与 $\operatorname{Tr}(R^m(z) - R_0^m(z))$ 的 AE。

实验结果

研究问题

• RQ1 对于具有非迹类势的多维薛定谔算子，谱移函数 $\xi(\lambda)$ 如何在严格意义下定义并分析？
• RQ2 在对 $v(x)$ 的正则性要求最小的条件下，$d$ 维薛定谔算子在 $\lambda \to \infty$ 时，SSF $\xi(\lambda)$ 的高能渐近展开式是什么？
• RQ3 能否从 SSF 与正则化扰动行列式的渐近展开式中推导出整数与半整数阶的迹恒等式？
• RQ4 SSF 的渐近系数与热不变量 $\mathbf{g}_k$ 之间的精确关系是什么？
• RQ5 在奇数维与偶数维下，$\ln|D_2(\lambda \pm i0)|$ 的渐近行为有何不同，这对谱迹有何含义？

主要发现

• 尽管在一般情况下 $\xi(\lambda)$ 仅为 $L^1_{\text{loc}}$，但在多维情形下，$\xi(\lambda)$ 对于 $\lambda > 0$ 是连续的，其证明在 $d > 3$ 时尤为复杂。
• 当 $d$ 为奇数时，迹恒等式中 $t^n$ 的系数为零；当 $d$ 为偶数时，其值为 $(-1)^n (4\pi)^{-d/2} \mathbf{g}_{d/2+n}$，将恒等式与热不变量联系起来。
• 正则化扰动行列式 $D_2(z)$ 的高能渐近展开式为 $\ln D_2(z) = \sum_{n=1}^\infty \delta_n (-z)^{d/2-1-n}$，其中 $\delta_n = -(4\pi)^{-d/2} \Gamma(n+1 - d/2) \mathbf{g}_{n+1}$。
• 当 $d \leq 3$ 时，半整数阶迹恒等式为 $\pi^{-1}(-1)^n \int_0^\infty \ln|D_2(\lambda+i0)| \lambda^{n-1/2} d\lambda - (n+1/2)^{-1} \sum_j |\lambda_j|^{n+1/2} = \delta_{n+1}$，其中 $\delta_n$ 通过 $\mathbf{g}_k$ 定义。
• 围道积分 $\int_{\Gamma_{R,\varepsilon}} \ln D_2(z)(-z)^{n-1/2} dz$ 中的发散项在 $R \to \infty$ 时渐近抵消，确保迹恒等式的收敛性。
• 整数阶迹恒等式通过与半整数阶相同的方法推导，但需要比定理 7.1 更强的假设，特别是对 $v(x)$ 衰减性的要求。