[论文解读] Bohr-Sommerfeld quantization conditions for non-selfadjoint perturbations of selfadjoint operators in dimension one

Ophélie Rouby|arXiv (Cornell University)|Nov 19, 2015

Quantum Mechanics and Non-Hermitian Physics参考文献 14被引用 10

一句话总结

本文为一维自伴 $\hbar$-伪微分算子的非自伴微扰建立了玻尔-索末菲量子化条件，表明特征值渐近由复作用积分给出，包含马斯洛指标和次主部项的修正。该方法结合复微局部分析与格鲁欣问题，将半经典谱理论扩展至非自伴情形，并应用于 $\mathcal{P}\mathcal{T}$-对称算子。

ABSTRACT

In this paper, we give a description of the spectrum of a class of non-selfadjoint perturbations of selfadjoint operators in dimension one and we show that it is given by Bohr-Sommerfeld quantization conditions. To achieve this, we make use of previous work by Michael Hitrik, Anders Melin and Johannes Sj{\\"o}strand. We also give an application of our result in the case of PT-symmetric pseudo-differential operators.

研究动机与目标

• 描述一维自伴 $\hbar$-伪微分算子的非自伴微扰在半经典极限下的谱性质。
• 将玻尔-索末菲量子化条件推广至非自伴情形，其中标准自伴谱理论失效。
• 为特征值提供关于 $\hbar$ 和小参数 $\epsilon$ 的严格渐近描述，包括复作用积分与马斯洛修正。
• 将结果应用于 $\mathcal{P}\mathcal{T}$-对称伪微分算子，此类算子虽非自伴但可能具有实谱。
• 通过在 $L^2(\mathbb{R})$ 和 $L^2(\mathbb{S}^1)$ 上对算子进行有限维截断的谱计算，对理论结果进行数值验证。

提出的方法

• 使用复微局部分析研究一维自伴算子非自伴微扰的谱性质。
• 应用格鲁欣问题将全算子的谱分析约化为模型算子上的有限维问题。
• 采用关于小参数 $\epsilon$ 光滑依赖的符号的威拉量化，其中微扰项 $i\epsilon Q^\epsilon_\hbar$ 破坏自伴性。
• 导出特征值关于 $\hbar$ 的渐近展开，主项为相空间环路上复作用积分的逆。
• 引入作用-角坐标，并在环面上对微扰符号取平均，以计算有效谱函数 $g^\epsilon(\tilde{I})$。
• 通过将算子截断为有限维矩阵并比较计算谱与理论玻尔-索末菲条件，验证结果。

实验结果

研究问题

• RQ1 一维自伴 $\hbar$-伪微分算子的非自伴微扰在半经典极限下的特征值行为如何？
• RQ2 玻尔-索末菲量子化条件能否推广至非自伴算子？若能，其形式为何？
• RQ3 复作用积分、马斯洛指标与次主部项在这些算子的谱渐近中起何作用？
• RQ4 算子的 $\mathcal{P}\mathcal{T}$-对称性如何影响其谱在半经典区域的实性与分布？
• RQ5 谱的数值近似在多大程度上与理论玻尔-索末菲预测一致，特别是与谐振子谱相比如何？

主要发现

• 非自伴算子 $F^\epsilon_\hbar + i\epsilon Q^\epsilon_\hbar$ 的谱渐近由包含复作用积分、马斯洛指标与次主部修正的玻尔-索末菲条件描述。
• 特征值展开的主项为复作用积分 $\int_{\gamma_E} \alpha_0$ 的逆，其中 $\gamma_E$ 是主符号能量面集上的一条闭合路径。
• 特征值渐近表示为 $E = \hbar k + \mathcal{O}(\hbar^2)$，$k \in \mathbb{Z}$，控制谱的函数 $g^\epsilon(\tilde{I})$ 在 $\epsilon$ 与 $\hbar$ 上具有解析展开。
• 对于 $\mathcal{P}\mathcal{T}$-对称算子，该方法提供了谱描述，可在适当条件下产生实特征值，从而扩展了玻尔-索末菲法则的应用范围。
• 数值结果表明，当正确考虑马斯洛指标时，理论玻尔-索末菲预测比谐振子谱更精确地匹配计算谱。
• 在 $L^2(\mathbb{R})$ 上使用福克空间与巴格曼变换的数值实现验证了理论框架，尤其适用于谐振子多项式微扰的情形。