[论文解读] Regularity of Eigenstates in Regular Mourre Theory

Jacob Moeller, Matthias Westrich|arXiv (Cornell University)|Jun 2, 2010

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

一句话总结

本文在正规Mourre理论的框架下建立了一个通用的抽象方法，用于证明自伴算符 $ H $ 的本征态属于 $ A^k $ 的定义域，其中 $ A $ 是一个满足在本征值附近正性对易子条件的共轭算符。在 $ H $ 具备 $ C^{k+1}(A) $ 正则性的条件下，本征态被证明是 $ A $ 的解析向量，且给出了最优的正则性界，并应用于膨胀解析系统和带质量的自旋-玻色子模型。

ABSTRACT

The present paper gives an abstract method to prove that possibly embedded eigenstates of a self-adjoint operator $H$ lie in the domain of the $k^{th}$ power of a conjugate operator $A$. Conjugate means here that $H$ and $A$ have a positive commutator locally near the relevant eigenvalue in the sense of Mourre. The only requirement is $C^{k+1}(A)$ regularity of $H$. Regarding integer $k$, our result is optimal. Under a natural boundedness assumption of the multiple commutators we prove that the eigenstate 'dilated' by $\exp(iθA)$ is analytic in a strip around the real axis. In particular, the eigenstate is an analytic vector with respect to $A$. Natural applications are 'dilation analytic' systems satisfying a Mourre estimate, where our result can be viewed as an abstract version of a theorem due to Balslev and Combes. As a new application we consider the massive Spin-Boson Model.

研究动机与目标

• 在正规Mourre理论的背景下，发展一种证明本征态正则性的抽象方法。
• 建立关于本征态 $ \psi $ 的 $ \|A^k \rho\| $ 范数的尖锐界，其中 $ \rho $ 是本征值附近的谱投影。
• 推导出多个对易子满足的条件，以确保本征态关于 $ A $ 是解析向量。
• 将该抽象框架应用于具体模型，包括 $ N $-体哈密顿量和带质量的自旋-玻色子模型。
• 通过消除对辅助构造的依赖并提供显式、独立的界，改进先前的结果。

提出的方法

• 在抽象算子理论设定下改编Froese-Herbst论证，利用Mourre估计和对易子演算推导 $ A^k \psi $ 的界。
• 对 $ H $ 强制 $ C^{k+1}(A) $ 正则性，以确保迭代对易子 $ \operatorname{ad}_A^j(H) $ 在 $ j \leq k+1 $ 时的存在性与控制。
• 使用光滑化函数 $ h_n(t) = n h(t/n) $ 近似谱投影，从而通过算子范数估计控制 $ f_{\text{loc}} i\operatorname{ad}_A(H - h_n) f_{\text{loc}} $。
• 应用包含 $ f_{\text{loc}} $、$ f_{\perp} $ 和余项 $ R $ 的分解，其中 $ \|R\| \leq C/n $，以导出一致的Mourre型估计。
• 用实解析函数 $ f_{\text{ana}}(x) = 1/(1 + (x - \lambda)^2) $ 替代紧支集截断函数，以实现解析延拓并证明本征态的解析性。
• 推导出改进的Mourre估计 $ i[h, A] \geq C_0 - C_1 f_{\text{ana},\perp}^2 - K $，其中 $ f_{\text{ana},\perp} = 1 - f_{\text{ana}} $，以确保在实轴附近条带内的解析性。

实验结果

研究问题

• RQ1 在何种 $ H $ 与 $ A $ 的条件下，可保证 $ H $ 的本征态 $ \psi $ 属于 $ \mathcal{D}(A^k) $（$ k \in \mathbb{N} $）？
• RQ2 在多个对易子的自然增长条件下，本征态的正则性是否可从 $ C^k $ 提升为解析性？
• RQ3 $ H $ 的 $ C^{k+1}(A) $ 正则性条件是否为获得 $ \psi \in \mathcal{D}(A^k) $ 的最优条件？
• RQ4 该抽象Mourre理论框架如何应用于具体模型（如带质量的自旋-玻色子模型）？
• RQ5 能否从带有实解析截断函数的Mourre估计中推导出本征态的解析性？

主要发现

• 对任意 $ k \in \mathbb{N} $，若 $ H $ 属于类 $ C^{k+1}(A) $，则 $ H $ 的任意本征态 $ \psi $ 关联于本征值 $ \lambda $ 时，均属于 $ \mathcal{D}(A^k) $，且该正则性条件为最优。
• 范数 $ \|A^k \psi\| $ 有界，其界仅依赖于 $ H $ 的 $ C^{k+1}(A) $-半范数，与辅助构造无关。
• 在多个对易子 $ \|\operatorname{ad}_A^j(H)\| $ 的自然增长条件下，本征态 $ \psi $ 是 $ A $ 的解析向量，即 $ \psi $ 属于 $ \exp(i\theta A) $ 的定义域，其中 $ \theta $ 属于包含实轴的条带。
• 通过使用解析截断函数 $ f_{\text{ana}} $ 的改进Mourre估计，表明本征态 $ \psi $ 在实轴附近条带内是解析的。
• 该结果为膨胀解析系统提供了Balslev-Combes定理的抽象版本，适用于 $ N $-体哈密顿量和带质量的自旋-玻色子模型等模型。
• 该方法避免依赖极限吸收原理或谱投影，转而使用直接的算子范数估计和光滑化谱函数，推导出关键不等式 $ i[h_{n_0}, A] \geq C_0 - C_1 f_{\text{ana},\perp}^2 - K $。