第二類 Legendre 函數

第二類 Legendre 函數$Q_n(z)$是 Legendre 方程 $$(1-z^2) w'' - 2zw' + n(n+1) w = 0$$ 的第二解，另一解為多項式解 Legendre 多項式$P_n(z).$

級數推導

有關係 $$Q_n(z) = P_n(z) \int_z^{\infty} \dfrac{\mathrm{d}t}{(t^2-1) P^2_n(t)}, \quad |z| > 1.$$ 這一關係並不容易求出$Q_n(z)$的展開式，可以使用待定係數法確定 $$Q_n(z) = \dfrac{2^n(n!)^2}{(2n+1)!} \dfrac{1}{z^{n+1}} \left( 1+\sum_{k=1}^\infty \dfrac{a_k}{z^{2k}} \right).$$ 展開$P_n(z)$並使用上式對比係數得到 $$a_k = \dfrac{(n+2k-1) (n+2k)}{2k \cdot (2n+2k+1)} a_{k-1} = \dfrac{\left( \frac{n+1}{2} \right)_k \left( \frac{n+2}{2} \right)_k}{k! \left( \frac{2n+3}{2} \right)_k}.$$ 於是 $$Q_n (z) = \dfrac{2^n(n!)^2}{(2n+1)!} \dfrac{1}{z^{n+1}} F\!\!\left( \dfrac{n+1}{2}, \dfrac{n+2}{2}, \dfrac{2n+3}{2}, \dfrac{1}{z^2} \right).$$ 右側的函數是超幾何函數。

Neumann 表示

如下的表示方式稱為 Neumann 表示： $$Q_n (z) = \dfrac{1}{2} \int_{-1}^1 \dfrac{P_n(t)}{z-t} \mathrm{d}t.$$ 或者 $$Q_n (z) = \dfrac{1}{2^{n+1}} \int_{-1}^1 (1-t^2)^n (z-t)^{-n-1} \mathrm{d}t.$$ 由此可以證明 $$\begin{align} Q_0(z) & = \dfrac{1}{2} \ln \dfrac{z+1}{z-1}, \\ Q_n(z) & = \dfrac{1}{2} P_n(z) - W_{n-1}(z), \quad n > 0. \end{align}$$ 其中對數函數在$|z| > 1$時取實數值，且

$$W_{n-1} (z) = \dfrac{(2n)!}{2^n(n!)^2} \sum_{k=0}^{\left[ \frac{n-1}{2} \right]} \left[ \dfrac{1}{2k+1} + \sum_{s=1}^k \dfrac{(-1)^s}{2k-2s+1} \dfrac{n(n-1)\cdots(n-2s+1)}{2^s s! (2n-1)(2n-3)(2n-2s+1)} \right] x^{n-2k+1}.$$

當$|z| < 1$時一般取 $$Q_n(z) = \dfrac{1}{2} P_n(z) \ln \dfrac{1+z}{1-z} - W_{n-1} (z).$$ 這樣規定的解在$|z| < 1$的範圍中滿足 Legendre 方程的第二解的條件。

遞推公式

仿照 Legendre 多項式的遞推公式，第二類 Legendre 函數也有如下遞推公式： $$\begin{cases} Q_1(z) = z Q_0(z) - 1, \\ Q_n(z) = \dfrac{2n-1}{n} z Q_{n-1} (z) - \dfrac{n-1}{n} Q_{n-2} (z), \quad n > 1, \end{cases}$$ 以及導數關係： $$\begin{align} Q'_{n+1} (z) & = z Q_n (z) + (n+1) Q_n (z), \\ Q'_{n+1} (z) - Q'_{n-1} (z) & = (2n+1) Q_n(z), \\ (z^2 - 1) Q'_n (z) & = nz Q_n (z) - n Q_{n-1} (z). \end{align}$$

參考資料

1. 王竹溪, 郭敦仁, 《特殊函數概論》, 北京大學出版社, 北京, 2000-05, ISBN 978-7-3010-4530-5.