Legendre Functions
Legendre Functions
Legendre Functions
(2)
(3)
Multiply Eqn. (2) with Pm (x) and Eqn. (3) with Pl (x), we get
]
d [
(4)
(5)
]
]
d [
d [
(1 x 2 )(Pm Pl Pl Pm )
=
dx
+ [l(l + 1) m(m + 1)]Pm Pl
=0
(6)
1
]
d [
Pm Pl dx
(1 x 2 )(Pm Pl Pl Pm ) dx + [l(l + 1) m(m + 1)]
1
1 dx
1
1
2
Pm Pl dx
= (1 x )(Pm Pl Pl Pm ) + [l(l + 1) m(m + 1)]
Pm Pl dx
1
=0
(7)
Pm Pl dx = 0
1
which is equal to
Pm Pl dx = 0
1
provided that l = m.
We can generalized the orthogonality of Legendre polynomials as
1
Pl (x) (any polynomial of degree < 1)dx = 0
(8)
1
=?
2.
=?
3.
1 P0 (x)P1 (x)dx
1 P1 (x)P5 (x)dx
1 P5 (x)P4 (x)dx
=?
P1 (x) = x
1
P3 (x) = (5x 3 3x)
2
1
P5 (x) = (63x 5 70x 3 + 15x)
8
[Pl (x)]2 dx =
2
2l + 1
2l + 1
Pl (x)
2
(9)
(10)
Multiply Eqn. (10) with Pl (x) and then integrate with respect to x
from 1 to 1, we get
1
1
1
l
[Pl (x)]2 dx =
xPl (x)Pl (x)dx
Pl (x)Pl1 (x)dx
1
1
1
(11)
1
1 1
x
2
[Pl (x)]2 dx
xPl (x)Pl (x)dx = [Pl (x)]
2
2
1
1
1
1
1
=1
[Pl (x)]2 dx
(12)
2 1
Then if we put Eqn. (12) into Eqn. (11) and rearrange, we will get
Eqn. (9) which is
[Pl (x)]2 dx =
2
2l + 1
Legendre Series
cl Pl (x)
(13)
l=0
f (x)Pm (x)dx =
1
l=0
cl
Pl (x)Pm (x)dx
1
(14)
f (x)Pm (x)dx = c0
1
P0 (x)Pm (x)dx + c1
1
P1 (x)Pm (x)dx
1
+ + cm
Pm (x)Pm (x)dx
1
+ cm+1
1
= cm
2
2m + 1
(15)
Example
Expanding this function in a Legendre series,
{
0 1 < x < 0
f (x) =
1 0<x <1
(16)
f (x)P0 (x)dx = c0
1
1
1
1
dx = c0 2,
c0 =
2
0
1
f (x)P1 (x)dx = c1
[P1 (x)]2 dx
[P0 (x)]2 dx
2
3
xdx = c1 ,
c1 =
3
4
0
1
f (x)P2 (x)dx = c2
[P2 (x)]2 dx
1
3
1
2
( x 2 )dx = c2 ,
2
2
5
c2 = 0
Exercise If
{
f (x) =
0, 1 < x 0
x, 0 < x < 1