[论文解读] Equilibrium Positions and Eigenfunctions of Shape Invariant (`Discrete') Quantum Mechanics

Satoru Odake, Ryu Sasaki|arXiv (Cornell University)|May 9, 2005

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

一句话总结

本文建立了经典多体平衡位置与形状不变量子体系中单体本征态之间的深刻联系，表明两者均由同一类正交多项式——埃尔米特、拉盖尔、雅可比、连续哈恩、威尔逊及阿斯凯-威尔森多项式——描述，其基础在于有理与三角函数势能下因子分解与形状不变性的性质。

ABSTRACT

Certain aspects of the integrability/solvability of the Calogero-Sutherland-Moser systems and the Ruijsenaars-Schneider-van Diejen systems with rational and trigonometric potentials are reviewed. The equilibrium positions of classical multi-particle systems and the eigenfunctions of single-particle quantum mechanics are described by the same orthogonal polynomials: the Hermite, Laguerre, Jacobi, continuous Hahn, Wilson and Askey-Wilson polynomials. The Hamiltonians of these single-particle quantum mechanical systems have two remarkable properties, factorization and shape invariance.

研究动机与目标

• 证明具有有理与三角函数势能的经典卡洛杰罗-苏德曼-莫泽与赖乌森劳斯-施奈德-范迪杰恩系统的平衡位置对应于特定正交多项式的零点。
• 表明相应单体量子系统的本征函数由相同的正交多项式描述。
• 确立这些量子系统的哈密顿量具有因子分解与形状不变性，从而实现精确可解。
• 探讨将这些结果推广至椭圆势能的可能性，其中本征函数尚不明确。
• 强调形状不变性在从基态数据构造本征函数与能谱中的作用。

提出的方法

• 利用数值分析、函数方程与三项递推关系，确定RSvD系统的平衡位置。
• 应用形状不变性概念，通过阶梯算符的迭代应用构造本征函数与能谱。
• 采用基态波函数的相似变换，将哈密顿量映射为本征函数可识别为正交多项式的形式。
• 利用形状不变性条件推导能谱，以参数与量子数表示。
• 采用适用于离散量子力学的克鲁姆型构造方法，生成同谱哈密顿量及其本征函数。
• 依赖阿斯凯方案中的超几何正交多项式，对不同体系中出现的多项式进行分类与关联。

实验结果

研究问题

• RQ1 具有有理与三角函数势能的经典多体系统之平衡位置是否与经典正交多项式的零点一致？
• RQ2 相应单体量子系统的本征函数是否与经典平衡位置所对应的正交多项式相同？
• RQ3 量子哈密顿量中的形状不变性在多大程度上决定了整个能谱与本征函数？
• RQ4 经典平衡与量子本征函数之间的对应关系能否推广至椭圆势能？
• RQ5 是否存在一种不依赖形状不变性的离散版克鲁姆定理，用于构造同谱系统？

主要发现

• 经典有理与三角函数卡洛杰罗-苏德曼-莫泽及赖乌森劳斯-施奈德-范迪杰恩系统的平衡位置由埃尔米特、拉盖尔、雅可比、连续哈恩、威尔逊及阿斯凯-威尔森多项式的零点给出。
• 具有相同势能的单体量子系统的本征函数被识别为相同的正交多项式，证实了直接对应关系。
• 这些量子系统的哈密顿量具有因子分解性并表现出形状不变性，使得能谱与本征函数可从基态及第一激发态能量精确确定。
• 阿斯凯-威尔森情形的能谱明确表示为 $ E_n = \frac{1}{2}(q^{-n}-1)(1 - a_1a_2a_3a_4q^{n-1}) $，与已知结果一致。
• 本征函数通过伴随下降算符的迭代应用构造，得到 $ \tilde{\rho}_n(z) \triangleq P_n(\text{Re}\thinspace z; a_1,a_2,a_3,a_4|q) $，即阿斯凯-威尔森多项式。
• 在 $ c \to \infty $ 极限下，能谱简化为标准形式 $ E_n = \frac{\tilde{\rho}^2\tilde{\rho}^2}{mL^2} 2n(n + g_1 + g_2 + g'_1 + g'_2) $，与有理与三角函数情形的已知结果一致。