Morse momentum wavefunctions and rational functions

技术摘要：莫尔斯势能作为有限双正交有理函数的物理实现

问题陈述
虽然正交多项式（如 Hermite、Laguerre、Jacobi 等）在精确可解的量子力学系统中无处不在，但有限双正交有理函数的显式物理实现却非常罕见。此类函数通常出现在逼近理论和广义特征值问题（GEVPs）中，但缺乏熟悉的量子力学对应物。本文通过研究动量表象下的莫尔斯势（Morse potential）束缚态波函数，旨在确定它们是否为有限有理函数系统提供了一个具体的物理实现，从而填补这一空白。

方法论
作者分析了动量表象下的莫尔斯势 $U(x) = g^2(e^{-2x} - 2e^{-x})$。

1. 动量空间公式化： 利用傅里叶变换对薛定谔方程进行变换。在动量空间中，坐标算符 $x$ 变为 $i\partial_p$，导致势能中的指数项表现为位移算符（$T$）。这使得坐标空间中的微分方程转化为动量空间中的二阶差分方程。
2. 因子分解： 明确识别出基态动量波函数 $\Psi_0(p)$，并将其从激发态 $\Psi_n(p)$ 中分解出来。剩余因子（记作 $R_n(p)$）被证明是动量变量 $p$ 的有理函数。
3. 算符分析： 作者构造了一个作用在这些有理函数空间上的差分算符 $W$。他们证明了 $R_n(p)$ 是 $W$ 的特征函数，其特征值对应于束缚态能量。
4. 识别与变换：
   • 将有理函数 $R_n(p)$ 与 Koepf 和 Masjed-Jamei 引入的有限双正交有理函数进行对比。
   • 构建了一个关于度数变量 $n$ 的广义特征值问题（GEVP），确立了该系统的双谱性质（bispectral nature）。
   • 应用高斯超几何函数的经典变换，将波函数的无极点部分表示为具有度数相关参数的 Meixner–Pollaczek 多项式。

主要贡献与结果

• 与 Koepf–Masjed-Jamei 函数的识别： 证明了莫尔斯动量波函数的有理因子 $R_n(p)$ 与 Koepf 和 Masjed-Jamei 引入的有限双正交有理函数 $B_n(x; a, b)$ 的对称特化形式（$a=b$）相一致。具体而言，$R_n(p) = B_n(ip; g-1/2, g-1/2)$。这确立了莫尔斯势作为属于 RII 框架的有限正交有理系统的物理实现。
• 双谱性与 RII 系统： 波函数展现出双谱性：
  • 它们在动量变量 $p$ 上满足二阶差分方程（即动量空间中的标准薛定谔方程）。
  • 它们在度数变量 $n$ 上满足一个由三对角矩阵对（tridiagonal matrix pencil）$J_1 R = ip J_2 R$ 表示的广义特征值问题。
  • 这种结构取代了正交多项式的标准三项递推关系，将莫尔斯模型置于有理双谱理论之中。
• 正交性： 莫尔斯束缚态的物理正交性诱导了有理函数 $R_n(p)$ 关于权重函数 $w(p) = |\Psi_0(p)|^2 = |\Gamma(g - 1/2 + ip)|^2$ 的正交关系。这对应于 Koepf–Masjed-Jamei 双正交关系的对称特化。
• 波函数的零点： 通过将波函数的无极点部分与参数为 $\mu = g-n$ 和 $\phi = \pi/2$ 的 Meixner–Pollaczek 多项式 $P_n(t; \mu, \phi)$ 联系起来，作者确定了零点的位置。
  • 对于第 $n$ 个束缚态，恰好存在 $n$ 个单零点。
  • 这些零点严格位于复动量平面上的水平线 $\text{Im } p = -1/2$ 上。
  • 因此，波函数在实动量轴上没有零点。

意义与主张
本文声称，莫尔斯势提供了“有限双正交有理函数（一类物理实例稀缺的函数）的具体量子力学实现”。

• 与多项式的类比： 正如 Hermite、Laguerre 和 Jacobi 多项式描述连续可解模型，而 Krawtchouk 或 Racah 多项式描述离散模型一样，莫尔斯动量波函数充当了有限 RII 型有理函数的物理对应物。
• GEVP 的作用： 本文强调了广义特征值问题在量子力学中的相关性，展示了它们如何自然地出现在可解系统的度数变量中，类似于三项递推关系在多项式度数中的作用。
• 研究范围： 作者并未提出新的实验应用或未来扩展，而是侧重于数学上的识别。他们将结果界定为“将莫尔斯动量波函数纳入有理双谱性的框架内”，并暗示“其他可解系统也可能产生有理双谱函数”，但并未明确指出哪些系统。

总之，本文通过将莫尔斯动量振子识别为特定且具有物理动机的有限 RII 型有理系统，弥合了双正交有理函数理论与精确可解量子力学之间的鸿沟。