1 Legendre 方程的解

1.1 Legendre 方程在 z = 0 点邻域内的解

Legendre 方程
d2 ω dω
(1 − z ) 2 − 2z 2
+ l(l + 1)ω = 0 (1)
dz dz
在 z = 0 处为常点. 所以可以设邻域内的解为
∑∞
w= ck z k , |z| < 1. (2)
k=0

代入(1)中，整理可得
∑
∞
[ ]
(k + 1)(k + 2)ck+2 − k(k − 1)ck − 2kck + l(l + 1)ck
k=0
∑∞
[ ]
= (k + 1)(k + 2)ck+2 − k(k + 1)ck + l(l + 1)ck
k=0

=0

由 Taylor 展开的唯一性，可以得出

(k + 1)(k + 2)ck+2 − [k(k + 1) − l(l + 1)]ck = 0

进一步可以得到系数间的递推关系
k(k + 1) − l(l + 1) (k − l)(k + l + 1)
ck+2 = ck = ck (3)
(k + 2)(k + 1) (k + 1)(k + 2)
反复利用递推关系，可以得到
(2n − l − 2)(2n + l − 1)
c2n = ck
2n(2n − 1)
c0
= (2n − l − 2)(2n − l − 4) · · · (−l)(2n + l − 1)(2n + l − 3) · · · (l + 1)
(2n)!
22n Γ(n − 2l ) Γ( l+1
2
+ n)
= l l+1
c0 (4)
(2n)! Γ(− 2 ) Γ( 2 )

(2n − l − 1)(2n + l)
c2n+1 = c2n−1
(2n + 1)(2n)
c1
= (2n − l − 1)(2n − l − 3) · · · (−l + 1)(2n + l)(2n + l − 2) · · · (l + 2)
(2n + 1)!
22n Γ(n − l−1 2
) Γ( 2l + 1 + n)
= c1 (5)
(2n + 1)! Γ(− l−12
) Γ( l
2
+ 1)
所以 Legendre 方程(1)在 |z| < 1 内的解为

ω(z) = c0 ω1 (z) + c1 ω2 (z) (6)

其中，
∑∞
22n Γ(n − 2l ) Γ( l+1 + n) 2n
2
ω1 = l l+1
z (7)
n=0
(2n)! Γ(− 2
) Γ( 2
)
∑
∞
22n Γ(n − l−1 ) Γ( 2l + 1 + n) 2n+1
2
ω1 = z (8)
n=0
(2n + 1)! Γ(− l−1
2
) Γ( 2l + 1)

1
1.2 Legendre 方程在 z = 1 邻域内的解
容易看出，z = 1 是 Legendre 方程(1)的正则奇点，由两个正则解，设

∑
∞
ω(z) = (z − 1)ρ cn (z − 1)n (9)
n=0

代入 Legendre 方程，比较 z 的 0 次幂系数，可以得到指标方程

ρ(ρ − 1) + ρ = ρ2 = 0 (10)

故有 ρ1 = ρ2 = 0, 方程的第二解一定含有对数函数项.
还可以得到递推关系
(n + ρ + 1)(n + ρ) − l(l + 1)
cn+1 = − cn (11)
2(n + ρ + 1)2
代入 ρ = 0，反复利用递推关系，可以得到
1
cn = (l + 1 − n)(l + 2 − n) · · · (l)(l + n)(l + n − 1) · · · (l + 1)c0
2n (n!)2
1 Γ(l + 1) Γ(l + n + 1)
= n c0
2 (n!) Γ(l + 1 − n) Γ(l + 1)
2

1 Γ(l + n + 1)
= n c0 (12)
2 (n!)2 Γ(l + 1 − n)

取 c0 = 1，可以得到 Legendre 方程在 z = 1 邻域内的第一解

∑
∞
1 Γ(l + n + 1) z − 1 n
Pl (z) = ( ) (13)
n=0
(n!)2 Γ(l + 1 − n) 2

这是 l 次的第一类 Legendre 函数.