Escuela Superior Politécnica del Litoral

Facultad de Ciencias Naturales y Matemáticas

Matemáticas Avanzadas

7 SERIE DE FOURIER-LEGENDRE

El polinomio de Legendre Pn de grado n está dado por

M
(2n − 2j)!
(7.1)
X
Pn (x) = (−1)j xn−2j .
j=0
2n j!(n− j)!(n − 2j)!

Así

P0 (x) = 1,
P1 (x) = x,
1
P2 (x) = (3x2 − 1),
2
1
P3 (x) = (5x3 − 3x),
2
1
P4 (x) = (35x4 − 30x2 + 3),
8
1
P5 (x) = (63x5 − 70x3 + 15x),
8
..
.

Para cada n, el polinomio Pn constituye solución no trivial de

(L) (1 − x2 )y 00 − 2xy 0 + n(n + 1)y = 0 (ecuación de Legendre)

Observemos que

[(1 − x2 )0 y]0 + n(n + 1)y = (1 − x2 )0 y 0 + (1 − x2 )y 00 + n(n + 1)y

= −2xy 0 + (1 − x2 )y 00 + n(n + 1)y
= (1 − x2 )y 00 − 2xy 0 + n(n + 1)y.
Serie de Fourier-Legendre 2

Entonces la ecuación (L) implica

(L1 ) [(1 − x2 )0 y]0 + n(n + 1)y = 0.

Pero (L1 ) es una ecuación de Sturm-Liouville con p(x) = 1 − x2 , q(x) = 0, r(x) = 1

y λ = n(n + 1). Como p(−1) = p(1) = 0, podemos suprimir las condiciones inicales y
tenemos un problema de Strum-Liouville singular en [−1, 1].
Teorema 7.1. Los polinomios de Legendre Pn forman una familia ortogonal sobre [−1, 1]
con respecto al peso r(x) = 1, es decir

Z R
(7.2) xJn (kn,m x)Jn (kn,l x) dx = 0, m 6= l.
0

Así para una función f denida sobre [−1, 1] tenemos la serie de Fourier-Legendre:

∞
(7.3)
X
f (x) = an Pn (x) = a0 P0 (x) + a1 P1 (x) + a2 P2 (x) + · · ·
n=0

donde Z 1
2n + 1
an = f (x)Pn (x)Jn (kn,l x) dx
2 −1
porque Z 1
2 2
kPn (x)k = Pn2 (x) dx = .
−1 2n + 1

Fernando Mejías Término I-2019