[论文解读] Heun equation and Inozemtsev models

Kouichi Takemura|ArXiv.org|Mar 4, 2003

Algebraic structures and combinatorial models参考文献 9被引用 5

一句话总结

本文通过从三角极限（Calogero-Moser-Sutherland模型）出发应用微扰理论，研究了$BC_N$椭圆Inozemtsev量子可积模型的本征值与本征态。利用全纯微扰理论，证明了本征值与本征函数作为$p = \exp(\pi i \tau)$的形式幂级数收敛，建立了其在$|p| < 1$范围内的实全纯性与$L^2$空间中的完备性，从而将三角情形下的已知结果推广至椭圆模型。

ABSTRACT

The BC_N elliptic Inozemtsev model is a quantum integrable systems with N-particles whose potential is given by elliptic functions. Eigenstates and eigenvalues of this model are investigated.

研究动机与目标

• 研究$BC_N$椭圆Inozemtsev量子可积模型的本征值与本征态。
• 通过微扰方法，将已知的三角$BC_N$ Calogero-Moser-Sutherland模型的谱结果推广至椭圆情形。
• 建立本征值与本征函数作为$p = \exp(\pi i \tau)$的形式幂级数的收敛性与全纯性。
• 确认椭圆模型中本征函数系的完备性以及哈密顿算符的离散、纯点谱。

提出的方法

• 对$BC_N$椭圆Inozemtsev哈密顿算符$H(p)$应用微扰理论，将其展开为$H(p) = H_T + C_T + \sum_{k=1}^\infty V_k(x) p^k$，其中$H_T$为三角模型的哈密顿算符。
• 本征值$E_\lambda(p)$与本征函数$v_\lambda(p)$作为$p$的形式幂级数构造，其系数通过$H_T$的谱数据递归确定。
• 利用Kato-Rellich理论证明，$\tilde{H}(p)$（即$H(p)$的自伴延拓）在$-1 < p < 1$范围内构成类型(A)的全纯族，从而保证其对$p$的解析依赖性。
• 通过定理3.3与推论3.4建立本征值与本征函数的形式幂级数的收敛性，表明两者在$|p|$足够小时绝对收敛。
• 本征函数被归一化，并证明其在$L^2$空间$\mathbf{H}$中构成完备正交系，保持$W(B_N)$-不变性与周期性结构。
• 该方法依赖于三角模型已知的谱解（命题2.1），以$BC_N$雅可比多项式与超几何型函数作为微扰展开的基。

实验结果

研究问题

• RQ1 能否系统地将$BC_N$椭圆Inozemtsev模型的本征值与本征函数表示为$p = \exp(\pi i \tau)$的形式幂级数？
• RQ2 本征值与本征函数的微扰展开在$|p|$较小时是否收敛？
• RQ3 本征值是否为$p=0$邻域内的实解析函数，本征函数是否为$p$的全纯函数？
• RQ4 微扰本征函数系在椭圆模型的$L^2$空间中是否保持完备性与正交性？
• RQ5 微扰的全纯性与模型的完全可积性之间存在何种关系？

主要发现

• 椭圆Inozemtsev模型的本征值$E_\lambda(p)$是$p$在区间$(-1,1)$内的实全纯函数，且满足$E_\lambda(0) = E_\lambda + C_T$。
• 本征函数$v_\lambda(p)$作为$L^2$空间$\mathbf{H}$中的元素是$p$的全纯函数，且在$|p| < 1$范围内构成完备正交族。
• 本征值与本征函数的形式幂级数在$|p|$足够小时绝对收敛，此结论由推论3.4保证。
• $\tilde{H}(p)$的自伴哈密顿算符的谱为纯离散谱，每个本征值具有有限重数。
• 微扰方法产生了一个类型(A)的全纯族，确认了谱数据对椭圆模参数$p$的解析依赖性。
• 该构造证实了本征函数系的完备性与微扰展开的收敛性，将谱解从三角情形推广至椭圆情形。