勒让德(legendre)多项式及其性质
勒让德（legendre ）多项式及其性质
一． 勒让德多项式
勒让德多项式是由勒让德方程的通解推导出来的，所以我们首先引入勒让德方程，以及勒让德方程的幂级数解，勒让德方程的表达式如下：
(1-x 2) y '' -2xy ' +n (n +1) y =0 其中n 为非负实数 （1.1）
它的幂级数解如下：
y =y 1+y 2 （1.2）
其中：
y 1=∑
k =0
∞
n (n +1) 2n (n -2) n (+
a 2k x =a [01x 2! 4!
2k
1n ) +(
4
3)
x ⋅ ]⋅ ⋅ （1.3）
y 2=∑a 2k +1x
k =0
∞
2k +1
(n -1)(n +2) 3(n -1)(n -3)(n +2)(n +4) 5
=a 1[x -x +x +⋅⋅⋅] （1.4）
3! 5!
≥0不为整数时，这两个级数的收敛半径为
1，在（1.3）式和
由达朗贝尔判别法可知，当n
（1.4）式中，a 0与a 1可以任意取值，它们起着任意常数的作用，显然，在区间（－1，1）内y 1和
y 2都是方程（1.1）的解，所以（1.2）是（1.1）的通解。
上面（1.3）和（1.4）幂级数当|x |
n 取非负整数时，y 1和y 2中有一个便退化为n 次多项式，它就是方程（1.1）在闭区间[-1,1]上的有界解。此时，适当的选定这个多项式的最高次幂系数a n ，所得的多项式称为n 阶勒让德多项式或第
P 一类勒让德函数，记作P n (x )，下面我们来推导勒让德多项式n
① 当
(x )的表达式。
n 为正偶数时
y 1退化为n 次多项式。为求得P 在y 1中我们通过a n 来表示其它各项的系数。n (x )的表达式，
为此，将系数递推关系式改写成下列形式：
(k +2)(k +1) a k =a k +2 （1.5）
(k -n )(k +n +1)
在（1.5）式中取k
=n -2，得：
a n -2=-
n (n -1)
a n （1.6）
2(2n -1)
习惯上取a n 为 (2n ) a n =n
2(n ! 2) （1.7）
于是有：
a n (2n -1)(2n -2)!
n -2=-
n (n -1)22(2n -1)2n n (n -1)! n (n -1)(n -2!)
=-(2n -2)!
2n
(n -1)!(n -2)! 在（1.5）式中取k
=n -4，并利用a n -2之值得：
a n -4
=-(n -2)(n -3) 4(2n -3)
a n -2
=(-12
) (n -2) n (-3) n (-22)
4(2n -3) n
2n -(1n -) ! ( =(-1) 2
(2n -4)!
2n (2!)(n -2)!(n -4)!
一般地，我们有
a m
(2n -2m )!
n -2m =(-1)
2n
m !(n -m )!(n -2m )! （m =0,1, ⋅⋅⋅⋅⋅⋅, n
2
） 我们将这些系数带入（1.3）中，并把此时的y 1记作P n (x ) ，可得：
n
p =∑2
(-1) m
(2n -2m )!
n (x ) m =0
2n m !(n -m )!(n -2m )! x n -2m 这就是当n 为正偶数时勒让德多项式。 ② 当
n 为正奇数时
y 2退化为n 次多项式，我们把y 2记作P n (x ) ，同理可得：
n -1
p 2
-1) m
(2n -2m )!
2m n (x ) =∑(n x n - m =0
2m !(n -m )!(n -2m )! 1.8）
2) !
1.9）
1.10） 1.11）
1.12）
（!
（（（（
把（1.11）和（1.12）写成统一的形式，得
n []2
(2n -2m )!
p n (x ) =∑(-1) n x n -2m （1.13）
2m !(n -m )!(n -2m )! m =0
m
n n
其中[]表示的整数部分
22
由上述讨论可知，当n 为非负整数时，y 1和y 2中有一个是n 阶勒让德多项式，而另一个是无穷级数，记作Q n (x ) ，称为第二类勒让德函数，此时方程（1.1）通解为：
y =c 1P n (x ) +c 2Q n (x ) （1.14）
特别当n =0,1,2,3,4,5时，由（1.11）和（1.12）式得：
12
P (x ) =(3x -(x ) =x P 0(x ) =1 P 21
2
1 )
P 3(x ) =
11
(5x 3-3x ) P 4(x ) =1(35x 4-30x 2+3) P 5(x ) =(63x 5-70x 3+15x ) 288
它们的图形如下：
二． 勒让德多项式的性质
首先介绍一下勒让德多项式的母函数： 试将函数
∅(x , z ) =(1-2xz +z )
展开成z 的幂级数
∞
2
- （1.15）
∅(x , z ) =∑A n z n （1.16）
n =0
可以证明∅(x , z ) 级数展开式中z n 的系数恰好是勒让德多项式，最终得到
∅(x , z ) =(1-2xz +z )
因此称∅(x , z ) 为勒让德多项式的母函数。
2
-=∑P n (x ) z n （1.17）
n =0
∞
) 1．P n (-x ) =(-1
n
P n (x ) （1.18）
将式（1.17）中的x 以-x 代入，z 以-z 代入，立即得到此结果。此式说明P n (x ) 的奇偶性由n 而定，当n 为偶数时，P n (x ) 为偶函数，当n 为奇数时，P n (x ) 为奇函数。
n
P (1)=1, P (-1) =(-1) 2．n （1.19） n
将x =1代入式（1.17），得到
(1-z ) =∑P n (1)z n
-1
n =0
∞
而
(1-z ) =∑z n
-1
n =0
∞
所以
P n (1)=1
由上式和（1.18）立即得到
n
P (-1) =(-1) P n n (1)
3．勒让德多项式的递推公式：
(n +1) P n +1(x ) -(2n +1) xP n (x ) +nP n -1(x ) =0 （1.20）
' ' '
P n (x ) =P n +1(x ) -2xP n (x ) +P n -1(x ) （1.21）
' ' P (x ) =xP n +1n (x ) +(n +1) P n (x ) （1.22）
' ' xP n (x ) -P n -1(x ) =nP n (x ) （1.23） ' ' P (x ) -P ) P n +1n -1(x ) =(2n +1n (x ) （1.24）
现在我们来证明（1.20）及其它的导数公式，将母函数∅(x , z ) 分别对x , z 微分，得到
∂∅∂x =+z (1-2xz +z 2
) -=z ∅1-2xz +z 2 ∂∅=(x -z )(1-2xz +z 2
) -x -z ∂z =1-2xz +z 2
得到下列两个恒等式
(1-2xz +z 2)
∂∅
∂x
-z ∅=0 (1-2xz +z 2
) ∂∅
∂z
+(z -x ) ∅=0 又从式（1.25）和（1.26）得到
z
∂∅∂z +(z -x ) ∂∅
∂x
=0 将（1.17）两端分别对x , z 微分，得到
∂∅∞∂x =∑P '
n (x ) z n n =0
∂∅∞
∂z =∑nP n -1n (x ) z n =1
然后将它们带入（1.27），得到
∑∞
∞
xP ' n (x ) z n =∑[nP n (x ) +P ' n
n -1(x )]z n =1
n =1
于是得到P n (x ) 与导数之间的关系式
xP ' n (x ) -P ' n -1(x ) =nP n (x )
其它的导数公式这里不在一一证明。
将式（1.17）和（1.29）代入式（1.26）中，得到
1.25） 1.26）
1.27） 1.28） 1.29） （（（（（
∑[(n +1) P
n =0
∞
n +1
(x ) -(2n +1) xP n (x ) +nP n -1(x )]=0
上面级数的各项系数都等于零，因此，最终得到
(n +1) P n +1(x ) -(2n +1) xP n (x ) +nP n -1(x ) =0
这就是递推公式，由P 0(x ) ，P 2(x ) ，由P 2(x ) 可以推出P 3(x ) ，….. 1(x ) 可以推出P 1(x ) ，P
4．勒让德多项式的正交性：
勒让德多项式在[-1,1]上正交，即
⎰
1
-1
P n (x ) P 2
m (x ) dx =
2n +1
当n =m 时 ⎰
1
-1
P n (x ) P m (x ) dx =0 当n ≠m 时 勒让德多项式正交性的证明比较繁琐，这里不再证明。
1.30）1.31）（ （