The wave equation and two-electron atomic wavefunctions

技术摘要：波动方程与双电子原子波函数

问题陈述
本文探讨了求解双电子原子系统薛定谔方程中的数学挑战。此类系统的哈密顿量包含一个动能算符 $L = \nabla_1^2 + \nabla_2^2$，以及涉及核-电子相互作用和电子-电子相互作用的势能项。研究重点在于寻找能够湮灭动能算符的函数（即满足 $L\psi = 0$ 的函数）。这些函数对于增强 Fock 展开函数以满足物理边界条件具有重要价值，特别是在电子接近原子核或彼此靠近的奇异点附近。作者指出，虽然已经发现了 $L\psi=0$ 的解（例如由 Gottschalk 和 Maslen 提出的解），但将这些解与经典物理联系起来的底层数学结构仍有待明确阐述。

研究方法
本文采用坐标变换方法，在双电子动能算符与经典波动方程之间建立了一种对应关系。

1. 超球坐标系： 作者引入了基于电子与原子核距离（$r_1, r_2$）及其间距（$r_{12}$）的超球坐标（$r, \alpha, \theta$）。
2. Fock 坐标变换： 作者基于电子坐标定义了一组四个变量（$X, Y, Z, T$）：
   • $X = 2r_1r_2 \sin\theta \cos\phi$
   • $Y = 2r_1r_2 \sin\theta \sin\phi$
   • $Z = 2r_1r_2 \cos\theta$
   • $T = r_1^2 - r_2^2$
3. 算符映射： 通过代入这些变量，证明了双电子拉普拉斯算符 $L$ 可以转化为一个四维拉普拉斯算符：$\partial_X^2 + \partial_Y^2 + \partial_Z^2 + \partial_T^2 = 0$。
4. 波动方程类比： 作者指出，如果将变量 $T$ 处理为虚时间（$T = i c t$），则该四维拉普拉斯算符即为三维空间（$\rho, z, ct$）中的轴对称波动方程，其中 $\rho = \sqrt{X^2+Y^2}$ 且 $z=Z$。

主要贡献与结果
本文的主要贡献在于证明了轴对称经典波动方程的解与湮灭双电子动能算符的函数之间存在一一对应关系。

• 普遍对应性： 任何轴对称波动方程 $\{\partial_\rho^2 + \frac{1}{\rho}\partial_\rho + \partial_z^2 - \partial_{ct}^2\}\Psi = 0$ 的解 $\Psi(\rho, z, ct)$，均可通过第 2 节定义的坐标变换直接映射为 $L\psi=0$ 的解 $\psi(r_1, r_2, r_{12})$。
• 解的生成： 本文利用已知的波动方程解来生成新的双电子问题解：
  • Bateman 解： 利用 Bateman 的波动方程积分解，作者推导出了一个包含任意函数 $F$ 的 $\psi(r_1, r_2, r_{12})$ 的一般积分形式。
  • 闭合形式解： 本文应用了近期关于波动方程（由长度参数 $a$ 参数化）的闭合形式解，生成了新的零动能函数族。这些函数通过复长度 $R$ 和坐标 $z$ 来表达。
• 现有解的验证： 本文证明了 Gottschalk 和 Maslen 先前提出的解（例如电子距离的对数函数）是波动方程静态解在电子坐标下的特例。例如，对数解 $\ln(\frac{1+\cos\theta}{1-\cos\theta})$ 对应于波动方程的一个静态解。

意义与主张
本文谦逊地声称，它为经典波物理学与双电子原子的量子力学描述之间提供了理论联系。

• 统一性： 它确立了用于求解经典波动方程的数学工具（其历史可追溯至 Bateman 并由现代电动力学所扩展）可以直接转录到求解双电子动能部分的问题中。
• 实用性： 作者认为，这种对应关系提供了一种系统的方法，用于生成满足原子波函数解析展开所需的边界条件函数。
• 范围： 本文并未提出新的实验应用，也未求解完整的薛定谔方程（包括势能项）。相反，它严格专注于动能算符，并指出由于动能决定了波函数的生成，这些解对于非库仑势及其他多体系统同样适用。

综上所述，本文认为，通过认识到 $L\psi=0$ 在变换后的坐标空间中在数学上等价于经典波动方程，可以为构建双电子波函数这一世纪难题提供新的启发。