Professional Documents
Culture Documents
Legendre方程的解
Legendre方程的解
Legendre方程的解
代入(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(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 内的解为
其中,
∑∞
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
ρ(ρ − 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)