[论文解读] Exact and quasi-exact solvability of two-dimensional superintegrable quantum systems. I. Euclidean space

E. G. Kalnins, Willard Miller+1 more|ArXiv.org|Dec 11, 2004

Quantum Mechanics and Non-Hermitian Physics参考文献 57被引用 3

一句话总结

本文提出了一种在二维欧几里得空间中对超可积量子系统进行可解性分类的新方法，根据薛定谔方程解的性质，将系统区分为精确可解（ES）和拟精确可解（QES）。研究表明，通过变量分离可得到两类问题：ES问题可通过超几何函数求解；QES问题则由满足高阶递推关系的多项式解表征。文中以N=2和N=3系统为例，展示了通过代数方程实现能级量化的过程。

ABSTRACT

In this article we show that separation of variables for second-order superintegrable systems in two-dimensional Euclidean space generates both exactly solvable (ES) and quasi-exactly solvable (QES) problems in quantum mechanics. In this article we propose the another definition of ES and QES. The quantum mechanical problem is called ES if the solution of Schroedinger equation, can be expressed in terms of hypergeometrical functions $_mF_n$ and is QES if the Schroedinger equation admit polynomial solutions with the coefficients satisfying the three-term or more higher order of recurrence relations

研究动机与目标

• 在二维欧几里得空间中重新定义并分类精确可解（ES）与拟精确可解（QES）量子系统。
• 建立一个系统框架，用于识别二阶超可积系统在变量分离后产生的ES与QES问题。
• 证明在分离变量方程中，多项式解对应QES系统，当系数满足三阶或更高阶递推关系时成立。
• 表明在QES系统中，能量与分离常数通过代数方程实现量化，尤其针对广义Lamé方程。
• 根据区间数量与递推结构，区分完全、部分及高阶QES系统。

提出的方法

• 将ES系统定义为：其薛定谔方程的解可用广义超几何函数 ${}_{m}F_{n}$ 表示。
• 将QES系统定义为：其解包含多项式解，且系数满足三阶或更高阶递推关系。
• 对二维欧几里得空间中的二阶超可积系统应用变量分离，导出常微分方程。
• 分析N=2和N=3时的广义Lamé方程（192），表明本征函数的有限性导致多项式解与能级量化。
• 利用递推关系推导能量与分离常数的代数约束，通过过度完备系统减少所需行列式条件的数量。
• 当多项式解由(N+1)项递推关系决定时，将系统分类为N阶QES系统，并通过代数方程数值求解能谱。

实验结果

研究问题

• RQ1 如何在二维超可积系统中系统性地区分精确可解与拟精确可解量子系统？
• RQ2 三阶或更高阶递推关系在表征拟精确可解性方面起什么作用？
• RQ3 在多个区间上波函数有限性的要求如何导致能量与分离常数的量化？
• RQ4 薛定谔方程的多项式解与分离变量中递推关系的结构之间存在何种联系？
• RQ5 能否基于递推项数与所得代数系统的可解性，对高阶QES系统进行分类？

主要发现

• 对于N=2，广义Lamé方程产生一阶拟精确可解系统，其中多项式解（Lamé多项式）满足三阶递推关系，并导致能级量化 $E = \ell(\ell+1)/R^2$。
• 对于N=3，系统变为二阶拟精确可解，多项式解由四阶递推关系导出，分离常数 $\lambda_1(R)$ 与 $\lambda_2(R)$ 的谱通过求解两个代数方程确定。
• 在所有区间 $(a_1,a_2), (a_2,a_3), (a_3,a_4)$ 上本征函数有限性的要求，导致多项式解与能量及分离常数的量化。
• 在N=3情况下，展开系数的过度完备齐次方程组被简化为两个必要且充分的行列式条件，以保证非平凡解存在。
• 本文建立了一个可解性层级：精确可解、拟精确可解、部分拟精确可解与非精确可解，其分类依据为递推结构与解的有限性。
• 该分类可推广至N阶QES系统，其中多项式解由(N+1)项递推关系控制，能谱通过代数方程数值求解获得。