索末菲-库默尔函数
-
引入：从常见函数到特殊函数
在数学物理中，我们经常遇到一些无法用初等函数（如多项式、指数函数、三角函数）简单表示的解。这些解通常被定义为新的函数，称为“特殊函数”。索末菲-库默尔函数就是其中一族重要的特殊函数，它是索末菲-库默尔微分方程的解。 -
定义方程：索末菲-库默尔微分方程
索末菲-库默尔函数是如下常微分方程的解：
\[ \frac{d^2 w}{dz^2} + \left( \frac{1}{2} - \frac{z^2}{4} \right) w = 0 \]
这个方程可以通过对更一般的**合流超几何方程**进行变量变换得到。它之所以重要，是因为它在处理抛物线柱面坐标下的波动问题（如量子力学中的谐振子）时自然出现。
- 两种标准解：索末菲-库默尔函数 M 和 U
与许多特殊函数一样，索末菲-库默尔方程有两个线性无关的解。通常我们定义两种标准形式的解：
- 索末菲-库默尔函数 M(a, b, z)： 也称为合流超几何函数或库默尔函数。它在 \(z=0\) 处是正则的（行为良好）。其级数表达式为：
\[ M(a, b, z) = \sum_{n=0}^{\infty} \frac{(a)_n}{(b)_n n!} z^n \]
其中 \((a)_n = a(a+1)(a+2)...(a+n-1)\) 是珀赫哈默尔符号（升阶乘）。当 \(a\) 和 \(b\) 取特定值时，\(M(a, b, z)\) 可以退化为更简单的函数，如指数函数。
- 特里科米函数 U(a, b, z)： 这是第二个线性无关解，在 \(|z| \to \infty\) 时具有简单的渐近行为。它通常通过 \(M(a, b, z)\) 来定义：
\[ U(a, b, z) = \frac{\pi}{\sin(\pi b)} \left[ \frac{M(a, b, z)}{\Gamma(1+a-b)\Gamma(b)} - z^{1-b} \frac{M(1+a-b, 2-b, z)}{\Gamma(a)\Gamma(2-b)} \right] \]
其中 \(\Gamma\) 是伽马函数。当 \(b\) 为整数时，此表达式需取极限。
- 与索末菲-库默尔函数的关系
我们这里讨论的索末菲-库默尔函数 \(D_\nu(z)\)，可以通过参数替换与上面的 \(M\) 和 \(U\) 联系起来。具体关系为：
\[ D_\nu(z) = 2^{\nu/2} e^{-z^2/4} U\left(-\frac{\nu}{2}, \frac{1}{2}, \frac{z^2}{2}\right) \]
其中 \(D_\nu(z)\) 就是通常所说的抛物线柱函数或韦伯函数。它正是本节第2步中定义的微分方程当参数 \(\nu\) 为整数时的解。因此，索末菲-库默尔函数的核心就是合流超几何函数 \(M(a,b,z)\) 和 \(U(a,b,z)\) 在特定参数下的表现形式。
- 主要性质与应用场景
- 渐近行为： 这是其应用价值的关键。当 \(|z| \to \infty\) 时，\(U(a, b, z)\) 的渐近展开式为许多物理问题提供了远场解。
- 积分表示： 它们有各种积分表达式，这在理论推导和计算中非常有用。
- 递推关系： 存在一系列关于参数 \(a, b\) 和变量 \(z\) 的递推关系，便于数值计算。
- 应用： 它们最著名的应用是作为量子力学一维谐振子问题的解。此外，在电磁波在楔形或锥形结构附近的衍射、统计物理等领域也有重要应用。