[论文解读] The Heun equation and the Calogero-Moser-Sutherland system II: perturbation and algebraic solution

Kouichi Takemura|ArXiv.org|Dec 18, 2001

Nonlinear Waves and Solitons参考文献 15被引用 25

一句话总结

该论文通过将Kato-Rellich理论应用于椭圆势的三角极限，建立了$BC_1$ Inozemtsev模型中微扰本征值与本征函数的全纯性与收敛性。证明了模参数$p$的正式幂级数在紧集上一致收敛，确保了$L^2$空间中物理本征态的解析性，并阐明了$L^2$函数与椭圆函数有限维子空间之间的关系。

ABSTRACT

We apply a method of perturbation for the $BC_1$ Inozemtsev model from the trigonometric model and show the holomorphy of perturbation.Consequently, the convergence of eigenvalues and eigenfuncions which are expressed as formal power series is proved. We investigate also the relationship between $L^2$ space and some finite dimensional space of elliptic functions.

研究动机与目标

• 建立$BC_1$ Inozemtsev模型中本征值与本征函数的收敛性与全纯性，该模型是具有$B_1$对称性的量子可积系统。
• 研究希尔伯特空间$L^2$与哈密顿算符作用下双周期函数的有限维不变子空间之间的关系。
• 将微扰理论从三角（Calogero-Moser-Sutherland）极限扩展至椭圆（Inozemtsev）模型，证明模参数$p$的正式幂级数收敛。
• 阐明有限维子空间上的本征值与$L^2$谱中最低本征值一致的条件。
• 通过椭圆函数展开与代数解，将$BC_1$ Inozemtsev模型的谱性质与Heun方程联系起来。

提出的方法

• 将椭圆势视为三角势的形变，以模参数$p = \text{exp}(\tau\theta)$作为微扰参数，对$BC_1$ Inozemtsev哈密顿量应用微扰理论。
• 通过取$p \to 0$的三角极限，得到以雅可比多项式表示的已知本征态，作为无微扰基。
• 利用Kato-Rellich理论证明本征值与本征函数在$p$上的全纯性，作为$L^2$空间中的元素，确保形式幂级数的收敛性。
• 通过利用Weierstrass $\wp$-函数及其$p$-展开的性质，对系数进行有界，建立本征函数$\tilde{v}_m(x,p)$在紧集上关于$x$的统一收敛性与全纯性。
• 当耦合常数$l_i \in \mathbb{Z}_{\geq 0}$时，分析哈密顿算符保持不变的双周期函数的有限维不变子空间，利用拟精确可解性。
• 比较这些有限维空间上哈密顿算符的谱与$L^2$谱，表明在某些假设下，最低本征值一致。

实验结果

研究问题

• RQ1 在$BC_1$ Inozemtsev模型中，本征值与本征函数关于模参数$p$的正式幂级数展开是否收敛？
• RQ2 作为$L^2$空间中的元素，$BC_1$ Inozemtsev模型的本征函数在$p$上是否全纯？
• RQ3 在哈密顿算符作用下，$L^2$谱与椭圆函数有限维不变子空间之间存在何种关系？
• RQ4 在何种条件下，有限维子空间上的本征值与$L^2$谱中最低本征值一致？
• RQ5 Heun方程如何从$BC_1$ Inozemtsev模型中导出？在有限维情形下会出现何种代数解？

主要发现

• 对于$|p|$小于某个正半径，$BC_1$ Inozemtsev模型的本征值与本征函数的形式幂级数在$p$上绝对且一致收敛，证明了其在$p$上的全纯性。
• 本征函数$\tilde{v}_m(x,p)$在$p$上全纯，且在复平面上的紧子集上关于$x$一致收敛，确保了物理态的解析性。
• 通过Kato-Rellich理论与系数估计，证明了微扰级数的收敛半径有正下界。
• 当耦合常数$l_0, l_1, l_2, l_3 \in \mathbb{Z}_{\geq 0}$时，哈密顿算符保持一个双周期函数的有限维空间不变，使得可通过特征方程代数计算本征值。
• 在某些假设下，有限维不变子空间上的本征值集合与$L^2$谱中最低本征值一致。
• $BC_1$ Inozemtsev模型与Heun方程同谱，微扰本征函数对应于Heun函数，其收敛性通过Weierstrass $\wp$-函数的$p$-展开建立。