Semana 2 - Clase 6 19/10/10 Tema 1: Series

Series de Polinomios Ortogonales

Enunciaremos un teorema debido a Weierstrass el cual garantiza que una funcion contnua
en un intervalo [a, b] puede ser aproximada uniformemente por una serie de polinomios. Por
lo tanto, cualquier funcion contnua podra ser aproximada por combinaciones lineales de
potencias.
El Teorema de aproximaci on polin omica de Weiernstrass queda enunciado como sigue.
Cualquier funci on contnua f(x) en un intervalo cerrado x [a, b] podra ser aproximada
uniformente por polinomios en ese mismo intervalo si, para un n sucientemente grande y
un sucientemente peque no siempre se tiene que
|P
n
(x) f(x)| < x [a, b]
Aceptaremos este teorema sin demostracion
1
, sin embargo este teorema nos permitir a desa-
rrollar las secciones siguientes.
1. Polinomios de Legendre
El primero de los ejemplos de una base ortonormal de polinomios en la cual podremos
expresar cualquier funci on contnua en el intervalo cerrado x [1, 1] ser an los Polinomios
de Legendre. Estos vienen construidos a partir de la F ormula de Rodrgues
P
n
(x) =
1
n!2
n
d
n
dx
n
(x
2
1)
n
, n = 0, 1, 2, .....
con P
0
(x) = 1.
Es decir
P
0
(x) = 1 P
1
(x) = x
P
2
(x) =
1
2
(3x
2
1) P
3
(x) =
1
2
(5x
3
3x)
P
4
(x) =
1
8
(35x
4
30x
2
+ 3) P
5
(x) =
1
8
(63x
5
70x
3
+ 15x)
.
.
.
.
.
.
1
Consultar: Byron, F.W. y Fuller W.F. (1970) Mathematics of Classical and Quantum Physics y
Cushing, J. (1975) Applied Analytical Mathematics for Physical Sciences.
Hector Hern andez / Luis N u nez 1 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
1.1. Generalidades de los Polinomios de Legendre
Es f acil comprobar que los polinomios de Legendre son mutuamente ortogonales para un
producto interno denido de la siguiente manera
_
1
1
P
n
(x)P
m
(x)dx =
2
2n + 1

nm
.
Donde la funcion delta de Kronecker es

= 0 si = ; y

= 1. La norma es denida
por
_
1
1
P
2
n
(x)dx =
2
2n + 1
n otese que los polinomios de Legendre, calculados a partir de la Formula de Rodrigues no
est an normalizados.
Ejemplos:
1.
_
1
1
P
1
(x) P
2
(x) dx =
_
1
1
[x]
_
1
2
_
3x
2
1
_
_
dx =
_
1
1
_
3
2
x
3

1
2
x
_
dx = 0 .
2.
_
1
1
P
2
(x) P
2
(x) dx =
_
1
1
_
1
2
_
3x
2
1
_
_ _
1
2
_
3x
2
1
_
_
dx =
_
1
1
_
9
4
x
4

3
2
x
2
+
1
4
_
dx =
2
5
.
Al ser los Polinomios de Legendre un conjunto completo de funciones, ellos expanden el
espacio de funciones contnuas en el intervalo cerrado x [1, 1]. Por ello cualquier funcion
en el intervalo [1, 1] puede ser expresada en esa base.
f(x) =

k=0
2k + 1
2
__
1
1
f(t)P
k
(t) dt
_
. .
a
k
P
k
(x) ,
los primeros terminos son:
f(x) =
1
2
_
1
1
f(t)dt +
3
2
__
1
1
tf(t)dt
_
P
1
(x) +
5
4
__
1
1
(3t
2
1)f(t)dt
_
P
2
(x)
+
7
4
__
1
1
(5t
3
3t)f(t)dt
_
P
3
(x) +
9
16
__
1
1
(35t
4
30t
2
+ 3)f(t)dt
_
P
4
(x) +
Hector Hern andez / Luis N u nez 2 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
Ejemplos
1. Si f(x) es un polinomio
f(x) =
m

n=0
b
n
x
n
=

n=0
a
n
P
n
(x) ,
entonces, no se requiere hacer ninguna integral por cuanto los coecientes a
n
se de-
terminan a traves de un sistema de ecuaciones algebraicas. Para el caso de f(x) = x
2
tendremos
f(x) = x
2
= a
0
P
0
(x) + a
1
P
1
(x) + a
2
P
2
(x)
= a
0
+ a
1
x +
1
2
a
2
(3x
2
1)
=
_
a
0

1
2
a
2
_
+ a
1
x +
3
2
a
2
x
2
a
0
=
1
3
, a
1
= 0 , a
2
=
2
3
=
1
3
P
0
(x) +
2
3
P
2
(x) .
2. En el caso de una funcion mas complicada
f(x) =
_
1 x
2
,
por un lado
_
1
1
f(x)P
k
(x)dx =
_
1
1
_
1 x
2
P
k
(x)dx
la expansion en series de Legendre quedara como
_
1 x
2
=
1
2
_
1
1
_
1 t
2
dt +
3
2
_
_
1
1
t
_
1 t
2
dt
_
P
1
(x) +
5
4
_
_
1
1
(3t
2
1)
_
1 t
2
dt
_
P
2
(x)
+
7
4
_
_
1
1
(5t
3
3t)
_
1 t
2
dt
_
P
3
(x) +
9
16
_
_
1
1
(35t
4
30t
2
+ 3)
_
1 t
2
dt
_
P
4
(x) +
=
2
3
P
0
(x)
2
5
P
1
(x)
2
21
P
2
(x)
2
45
P
3
(x)
2
77
P
4
(x)
2
117
P
5
(x)
=
2
3
P
0
(x) 2

n=1
P
n
(x)
(2n 1) (2n + 3)
.
Hector Hern andez / Luis N u nez 3 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
Antes de entrar en el detalle de las propiedades de estos polinomios, hay que enfatizar que
los Polinomios de Legendre constituyen la unica base ortogonal para un espacio de Hilbert
con un producto interno denido como el producto simple de funciones en el intervalo cerrado.
Al ortonormalizar mediante Gram Schmidt la base {1, x, x
2
, x
3
, , x
n
, } del espacio de
polinomios, P
n
, de grado n en el intervalo [1, 1], con el producto interno denido por
_
1
1
dx f (x) g (x) se obtienen los polinomios de Legendre.
Los polinomios de Legendre surgen, originalmente, como soluciones a la ecuaci on dife-
rencial ordinaria del tipo
d
dx
_
_
1 x
2
_
dy
dx
_
+ y = 0 , 1 x 1 .
o de manera equivalente a ecuaciones como
(1 x
2
)
d
2
P
n
(x)
dx
2
2x
dP
n
(x)
dx
+ n(n + 1) P
n
(x) = 0 ,
donde y = P
n
(x) y = n(n + 1).
La siguiente tabla muestra algunas ecuaciones diferenciales con sus respectivas soluciones
n Ecuaci on de Legendre Soluci on
0 (1 x
2
)
d
2
P
0
(x)
dx
2
2x
dP
0
(x)
dx
= 0 P
0
(x) = 1
1 (1 x
2
)
d
2
P
1
(x)
dx
2
2x
dP
1
(x)
dx
+ 2 P
1
(x) = 0 P
1
(x) = x
2 (1 x
2
)
d
2
P
2
(x)
dx
2
2x
dP
2
(x)
dx
+ 6 P
2
(x) = 0 P
2
(x) = 1 3x
2
3 (1 x
2
)
d
2
P
3
(x)
dx
2
2x
dP
3
(x)
dx
+ 12 P
3
(x) = 0 P
3
(x) = x
5
3
x
3
4 (1 x
2
)
d
2
P
4
(x)
dx
2
2x
dP
4
(x)
dx
+ 20 P
4
(x) = 0 P
4
(x) = 1 10x
2
+
35
3
x
4
1.2. Relacion de Recurrencia
Supongamos que conocemos todos los polinomios de Legendre hasta P
n
(x) y queremos
generar el proximo. Obviamente ese polinomio ser a de grado n+1. Nos plantemos generarlo
a partir de xP
n
(x). Como estos polinomios son base del espacio de funciones, entonces
xP
n
(x) =
n+1

k=0
2k + 1
2
__
1
1
P
k
(t)tP
n
(t) dt
_
P
k
(x) ,
Hector Hern andez / Luis N u nez 4 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
Observando con algo mas de detalle
xP
n
(x) =
1
2
_
1
1
tP
n
(t)dt +
3
2
__
1
1
t
2
P
n
(t)dt
_
P
1
(x) +
5
4
__
1
1
(3t
3
t)P
n
(t)dt
_
P
2
(x)
+
7
4
__
1
1
(5t
4
3t
2
)P
n
(t)dt
_
P
3
(x) +
9
16
__
1
1
(35t
5
30t
3
+ 3t)P
n
(t)dt
_
P
4
(x) + .
Notemos que
_
1
1
P
n
(t)tP
n
(t)dt =
_
1
1
tP
2
n
(t)dt ,
por lo tanto, el integrando es una funci on impar. Consideremos algunos casos:
Para n = 0
xP
0
(x) =
3
2
__
1
1
t
2
dt
_
P
1
(x) = P
1
(x)
Para n = 1
xP
1
(x) =
1
2
__
1
1
t
2
dt
_
+
5
4
__
1
1
(3t
4
t
2
)dt
_
P
2
(x) =
1
3
+
2
3
P
2
(x)
Para n = 2
xP
2
(x) =
3
4
__
1
1
(3t
4
t
2
)dt
_
P
1
(x) +
7
16
__
1
1
(5t
3
3t)(3t
3
t)dt
_
P
3
(x)
=
2
5
P
1
(x) +
3
5
P
3
(x) .
Para n = 3
xP
3
(x) =
3
7
P
2
(x) +
4
7
P
4
(x) .
Se puede apreciar que
_
1
1
P
n
(x)xP
k
(x)dx = 0 , para k < n 1 .
Esto implica que sobreviven unicamente tres terminos
xP
n
(x) = AP
n+1
(x) + BP
n1
(x) .
Desarrollando con la f ormula de Rodrgues
x
n!2
n
d
n
dx
n
(x
2
1)
n
=
A
(n + 1)!2
n+1
d
n+1
dx
n+1
(x
2
1)
n+1
+
B
(n 1)!2
n1
d
n1
dx
n1
(x
2
1)
n1
,
x
d
n
dx
n
(x
2
1)
n
=
A
2(n + 1)
d
n+1
dx
n+1
(x
2
1)
n+1
+ 2nB
d
n1
dx
n1
(x
2
1)
n1
.
Hector Hern andez / Luis N u nez 5 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
Igualando coecientes resulta
A =
n + 1
2n + 1
, B =
n
2n + 1
La relacion de recurrencia se puede obtener entonces de:
(n + 1) P
n+1
(x) = (2n + 1) xP
n
(x) nP
n1
(x) .
1.3. Norma de los Polinomios de Legendre
Conociendo que la ortogonalidad de los polinomios de Legendre y la relaci on de recurren-
cia, procedemos encontrar el valor de su norma
_
1
1
P
2
n
(x)dx =
2
2n + 1
De la relaci on de recurrencia cambiando n n 1 se tiene
nP
n
(x) = (2n 1) xP
n1
(x) (n 1) P
n2
(x) ,
(2n + 1) P
n
(x)nP
n
(x) = (2n + 1) P
n
(x) [(2n 1) xP
n1
(x) (n 1) P
n2
(x)] , (1)
ahora multiplicamos la relacion de recurrencia por (2n 1) P
n1
(x) para obtener
(2n 1) P
n1
(x) (n + 1) P
n+1
(x) = (2n 1) P
n1
(x) [(2n + 1) xP
n
(x) nP
n1
(x)] , (2)
restando miembro a miembro (1) - (2) obtenemos :
(2n + 1)
_
nP
2
n
(x) + (n 1) P
n
(x)P
n2
(x)

(2n 1)
_
(n + 1) P
n1
(x)P
n+1
(x) + nP
2
n1
(x)

= 0 ,
lo que es igual a:
(2n + 1)
_
nP
2
n
(x) + (n 1) P
n
(x)P
n2
(x)

= (2n 1)
_
(n + 1) P
n1
(x)P
n+1
(x) + nP
2
n1
(x)

,
P
2
n
(x) +
(n 1)
n
P
n
(x)P
n2
(x) =
2n 1
2n + 1
_
(n + 1)
n
P
n1
(x)P
n+1
(x) + P
2
n1
(x)
_
,
integrando y considerando la ortogonalidad
_
1
1
P
2
n
(x)dx =
2n 1
2n + 1
__
1
1
P
2
n1
(x)dx
_
_
1
1
P
2
n
(x)dx =
_
2n 1
2n + 1
___
2n 3
2n 1
__
1
1
P
2
n2
(x)dx
_
_
1
1
P
2
n
(x)dx =
_
2n 1
2n + 1
___
2n 3
2n 1
__
2n 5
2n 3
__
1
1
P
2
n3
(x)dx
_
Hector Hern andez / Luis N u nez 6 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
continuando con este proceso
_
1
1
P
2
n
(x)dx =
3
2n + 1
__
1
1
P
2
1
(x)dx
_
=
3
2n + 1
_
2
3
_
_
1
1
P
2
n
(x)dx =
2
2n + 1
.
1.4. Funcion Generatriz de los Polinomios de Legendre
Se puede encontrar una funcion generatriz P(t, x) de los polinomios de Legendre, es decir
una funcion que tenga la forma:
P(t, x) =
1

1 2xt + t
2
= P
0
(x) +P
1
(x) t +P
2
(x) t
2
+ =

n=0
P
n
(x) t
n
, |t| < 1 , |x| 1 ,
para la cual los P
n
(x) son los coecientes de su desarrollo en series de potencias. Esta serie
converge para |2xt + t
2
| < 1. Para demostrar que el desarrollo en serie de la funci on G(t, x)
tiene como coecientes a los P
n
(x) partimos de que:
P(t, x) =
1

1 2xt + t
2

P(t, x)
t
=
t x
(1 2xt + t
2
)
3/2
combinando estas dos expresiones, resulta
(t x) P(t, x) +
_
1 2xt + t
2
_
P(t, x)
t
= 0
y, consecuentemente
(t x)

n=0
P
n
(x) t
n
+
_
1 2xt + t
2
_

n=1
nP
n
(x) t
n1
= 0 .
Multiplicando y acomodando queda
(t x) P
0
(x) + (t x)

n=1
P
n
(x) t
n
+

n=1
nP
n
(x)t
n1

n=1
2xnP
n
(x)t
n
+

n=1
nP
n
(x)t
n+1
= 0 ,
(t x) P
0
(x) +

n=1
P
n
(x) t
n+1

n=1
xP
n
(x) t
n
+

n=1
nP
n
(x)t
n1

n=1
2xnP
n
(x)t
n
+

n=1
nP
n
(x)t
n+1
= 0 ,
Hector Hern andez / Luis N u nez 7 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
(t x) P
0
(x) +

n=2
P
n1
(x) t
n

n=1
xP
n
(x) t
n
+

n=0
(n + 1)P
n+1
(x)t
n

n=1
2xnP
n
(x)t
n
+

n=2
(n 1)P
n1
(x)t
n
= 0 ,
(t x) P
0
(x) +

n=0
(n + 1)P
n+1
(x)t
n

n=1
(2n + 1)xP
n
(x) t
n
+

n=2
nP
n1
(x)t
n
= 0 ,
tP
0
(x) xP
0
(x) + P
1
(x) + 2P
2
(x)t +

n=2
(n + 1)P
n+1
(x)t
n
3xP
1
(x)t

n=2
(2n + 1)xP
n
(x) t
n
+

n=2
nP
n1
(x)t
n
= 0
por lo tanto
_
_
P
1
(x) x P
0
(x)
. .
=0
_
_
+
_
_
2P
2
(x) 3xP
1
(x) + P
0
(x)
. .
=0
_
_
t
+

n=2
_
_
(n + 1) P
n+1
(x) (2n + 1) xP
n
(x) + nP
n1
(x)
. .
=0
_
_
t
n
= 0
El primero de los terminos se cumple siempre por cuanto P
0
(x) = 1 y P
1
(x) = x. El
tercer termino conforma la relacion de recurrencia para los polinomios de Legendre. Con
esto queda demostrado que el desarrollo en series de potencias de la funci on generatriz, tiene
como coecientes a los polinomios de Legendre.
La funcion generatriz muestra su utilidad en la expansion de
f(x) =
_
1 x
2
,
recordemos que por la denicion del producto interno se tiene
_
1
1
f(x)P
k
(x)dx =
_
1
1
_
1 x
2
P
k
(x)dx .
Al formar el producto
_
1 x
2
_
1

1 2xt + t
2
_
=
_
1 x
2

n=0
t
n
P
n
(x) ,
Hector Hern andez / Luis N u nez 8 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
e integrando, se obtiene
_
1
1
_
1 x
2
_
1

1 2xt + t
2
_
dx =

n=0
t
n
_
1
1
_
1 x
2
P
n
(x)dx
1
2t
_
1 + t
(1 t)
2
2

t
ln
_
1 +

t
1

t
_
_
=

n=0
t
n
_
1
1
_
1 x
2
P
n
(x)dx .
Expandiendo el lado izquierdo en series de potencias de t
4
3
4

n=1
t
n
(4n
2
1) (2n + 3)
=

n=0
t
n
_
1
1
_
1 x
2
P
n
(x)dx
lo cual nos conduce, al igualar coecientes a
4
3
=
_
1
1
_
1 x
2
P
0
(x)dx y
4
(4n
2
1) (2n + 3)
=
_
1
1
_
1 x
2
P
n
(x)dx
y nalmente a la forma de la expansi on en series
_
1 x
2
=
2
3
P
0
(x) 2

n=1
P
n
(x)
(2n 1) (2n + 3)
1.5. Otras propiedades de los polinomios de Legendre
P
n
(1) = 1 y P
n
(1) = (1)
n
. Entonces se tiene lo que se conoce como la relacion de
paridad: P
n
(x) = (1)
n
P
n
(x) para todo n.
P
n
(x) tiene n races en el intervalo (1, 1) Esta propiedad puede apreciarse para los
primeros 5 polinomios en la gura 1.
Tienen una representacion integral de la forma
P
n
(x) =
1
2
_

0
_
x +

x
2
1 cos
_
n
d
Cambios de variables inmediatos conllevan a ecuaciones diferenciales equivalentes
Forma autoadjunta
_
(1 x
2
) y

+ ( + 1) y = 0
Hector Hern andez / Luis N u nez 9 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
Figura 1: Polinomios de Legendre
En coordenadas esfericas con u = P
n
(cos())
1
sen()
d
d
_
sen()
du
d
_
+ ( + 1)u = 0
En coordenadas esfericas con u =

sen P
n
(cos )
d
2
u
d
2
+
_
_
+
1
2
_
2
+
1
4 sen
2
()
_
u = 0
1.6. Potencial Electrostatico de un Dipolo Electrico
En Fsica el ejemplo claro es el calculo del potencial electrostatico producido por dos
cargas q
1
= +q y q
2
= q separadas por una distancia 2d en un punto P cualquiera de un
plano (x, y). El potencial en ese punto generico viene dado por
V = q
_
1
R

1
R
_
Tal y como puede apreciarse de la gura 2
Hector Hern andez / Luis N u nez 10 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
Figura 2: Potencial electrost atico de un dipolo elactrico
(R

)
2
= r
2
+ d
2
2r d cos() y R
2
= r
2
+ d
2
2r d cos ( ) ,
por lo cual
1
R

=
1
r
_
1 2 cos()
_
d
r
_
+
_
d
r
_
2
_
1/2
1
R
=
1
r
_
1 2 cos ( )
_
d
r
_
+
_
d
r
_
2
_
1/2
y consecuentemente
1
R

=
1
r

n=0
P
n
(cos())
_
d
r
_
n
1
R
=
1
r

n=0
P
n
[cos ( )]
_
d
r
_
n
=
1
r

n=0
P
n
(cos())
_
d
r
_
n
El potencial ser a
V =
q
r

n=0
[P
n
(cos()) P
n
(cos())]
_
d
r
_
n
Hector Hern andez / Luis N u nez 11 Universidad de Los Andes, Merida
Semana 2 - Clase 6 19/10/10 Tema 1: Series
donde todos los terminos pares de P
n
(cos()) se anulan y nalmente tendremos la expresion
del potencial para cualquier punto del plano
V =
2q
r

n=0
P
2n+1
(cos())
_
d
r
_
2n+1
Nos quedamos con el primer termino de la serie, si
d
r
1 V
q
r
2
2d cos() .
1.7. Resumen de Propiedades Polinomios Legendre
Denici on: P
n
(x) =
1
n!2
n
d
n
dx
n
(x
2
1)
n
, n = 0, 1, 2, . . .
Ejemplos: P
0
1; P
1
= x; P
2
=
1
2
(3x
2
1); P
3
=
1
2
(5x
3
3x)
Relaci on de Recurrencia: (n + 1) P
n+1
(x) = (2n + 1) xP
n
(x) nP
n1
(x)
Ecuaciones Diferenciales: (1 x
2
) y

2x y

+ ( + 1) y = 0
1
sen()
d
d
_
sen()
du
d
_
+ n(n + 1)u = 0; u = P
n
(cos())
Funcion Generatriz: P(t, x) =
1

1 2xt + t
2
=

n=0
P
n
(x) t
n
Representaci on Integral: P
n
(x) =
1
2
_

0
_
x +

x
2
1 cos

n
d
Ortogonalidad:
_
1
1
P

(x)P

(x)dx =

2
2 + 1
Practicando con Maple:
> restart:
> plot([LegendreP(0,x),LegendreP(1,x),LegendreP(2,x),LegendreP(3,x),
LegendreP(4,x)],x=-1..1);
Hector Hern andez / Luis N u nez 12 Universidad de Los Andes, Merida