Polinomios de Legendre

Cristian David Ruiz Carvajal

September 3, 2012
Resumen
En este trabajo se presentar
an los polinomios de Legendre como solucion a su respectiva ecucaci
on
diferencial, sus principales propiedades tales como formulas de recurrencia, ortogonalidad entre otras.
Tambien se mostrar
an tecnicas implementadas para evaluar los coeficientes de estos polonomios, la cual
comprende un codigo de programaci
on realizado en c++, Java y Matlab.

Introducci
on

Siempre que se cumpla que n(n + 1) una de estas

soluciones es un polinomios de Legendre de orden
n y por lo tanto se tiene que

Los Polin
omios de Legendre son uno de los ejemp
los m
as importantes de los Polin
omios ortogonales,
porque aparecen como soluciones en varios problemas cl
asicos, tales como: movimiento de los planetas, aplicaciones matem
aticas, campos de conservaci
on de energa, entre otros.
El proceso de descripci
on de cualquier se
nal ya
sea discreta o continua se puede realizar a traves de
polinomios ortogonales. Es por eso que se hace tan
importante el estudio e implementaci
on de estos
polin
omios en la teora de interpolaci
on de se
nales.
En la actualidad, existen varias familias de polinomios ortogonales dentro de los cuales se encuentran: los polinomios de Legendre, Chevichev,
Laguerre, Bessel, etc. Estos polinomios estan
definidos en un intervalo [a, b]. Para el caso particular de los polinomios de Legendre, las soluciones
son ortogonales en el intervalo [1, 1].

y(x) = APn (x) + BQn (x)

Los polinomios de Legendre estan representados a

traves de la formula de Rodriguez como

Pn (x) =

Polin
omios de Legendre

(4)

Este hecho que sean ortogonales permite que

sean usados como una combinacion lineal de series
infinitas de funciones linealmente independientes,
para encontrar en base a estos la representaci
on de
una se
na, o cualquier otra funcion arbitraria.

(1)

Cuya soluci
on general es una combinaci
on lineal de
dos soluciones linealmente independientes
y(x) = Ay1 (x) + By2 (x)

1  d n 2
(x + 1)n
2n n! dx

Donde se tiene que estos polinomios son ortogonales como ya se mensiono en x [1, 1].

Los polin
omios de Legendre surgen como alternativa para dar soluci
on a la ecuaci
on diferencial
(1 x2 )y 00 2xy 0 + y = 0

(3)

(2)

Usando (4) se pueden encontrar los primeros

1

polinomios como

Al ortonormalizar por el proceso de Gram

Schmidt la base {1, x, x2 , x3 , ..., xn , ...} del espacio
de los polinomios P n en [1, 1] con el producto
definido como (6) se obtienen de manera inmediata los polinomios de Legendre.
Estos Polinomios tambien tienen una representacion integral la cual esta dada por
Z h
in
p
1
x + x2 1cos() d (8)
Pn (x) =
2 0

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
.

Igualmente cumplen una relacion de recurrencia, la

cual se obtiene conociendo el termino Pn (x) y deseando conocer el termino n + 1 usando la formula
de Rodriguez, tal que se obtiene que

.
.

(n + 1)Pn+1 (x) = (2n + 1)xPn (x) nPn1 (x) (9)

(5)

Como se dijo anteriormente estos polinomios se

usan para encontrar la representacion de alguna
se
nal f (x), de tal manera que esta se pueda expresar como

X
f (x) =
kn Pn (x)
(10)

Los cuales est

an representados en La Fig.1

n=0

Donde los kn estan dados por

Z
Z
2n + 1 1
f (x)Pn (x)dx
kn (x) = f (x)Pn (x)dx =
2
1
(11)
Y son los elementos a encontrar usando los codigos
de programacion que se veran mas adelante. En la
Fig. 2 se representa un esboso del procedimiento
que se hace para representar una se
nal en funci
on
de los polinomios.

Fig. 1 Representaci
on de los primeros seis
polinomios se Legendre

2.1

Generalidades de los Polin

omios
de Legendre

Los polin
omios de Legendre son mutuamente perpendiculares entre s, con un producto interno
definido como
Z 1
2
Pn (x)Pm (x)dx =
nm
(6)
2n
+1
1
Del cual podemos ver que la norma se define como
Z

2
2n + 1

(7)

Fig. 2 Proyeccion y reconstruccion de una funci

on
usando los polinomios de Legendre.

Estos polin
omios constituyen la u
nica base ortogonal para un espacio de Hilbert con producto
interno definido como (6).

Este mecanismo muestra en el lado izquierdo una

multiplicacion de cada uno de los polinomios de
Legendre por la funcion a representar obteniendo

Pn2 (x)dx =

as cada uno de los valores kn . Por su parte en

el lado derecho se muestra el proceso de reconstrucci
on de la funci
on f (x) a partir de los coeficientes kn y los polinomios de Legendre Pn .

Implementaci
on
cional

Seguidamente se calcula el elemento que expande la funcion (los coeficientes), los cuales estaran dados por
Z 1
bm =
f (x)Pm1 (x)dx
(15)
1

computa-

Por u
ltimo se soluciona la ecuacion d = H 1 d usado el hecho que dm = 2m1
2 bm .
De esta manera la aproximacion de una funci
on
arbitraria a traves de los polinomios de Legendre
esta dada por

La implementaci
on computacional de estos polinomios se realiza de varias maneras, se hace
primeo un esboso del procedimiento que se lleva
a cabo en Matlab para encontrar los coeficientes
del polin
omio, procedimiento que tiene sus bases
te
oricas en el teorema de aproximaci
on polinomica
de Werenstrass. Este teorema afirma que cualquier
funci
on construida en un intervalo [a, b] podra ser
aproximada uniformemente por polin
omios ortogonales en ese mismo intervalo si, para un n suficientemente grande y un  suficientemente peque
no se
cumple que
|Pn (x) f (x)| <  x [a, b]

f (x)

n
X

dk Pk1 (x)

(16)

k=1

A continuacion se mostrara un codigo de programacion que entrega los coeficientes de los

polinomios de Legendre hecho en Matlab, la evaluacion de los mismos se da usando la funcion polyval

(12)

Despues de ver como hacer uso de manera muy general de este teorema, seguiremos con dos algoritmos
implementados en C++ y Java, los cuales calculan
polin
omios de Legendre de alto orde, por u
ltimo se
expondr
a la eficiencia de los metodos en el calculo
de los polin
omios en funci
on del tiempo empleado.

3.1

Matlab

En Matlab lo que se hace es representar el

polin
omio como un vector de coeficientes, y se usa
una aproximaci
on recursiva del polin
omio analoga
a la que se realiza en la aproximaci
on mononial.
Primero se calcula la matrz Hmn dada por
Z

Fig.3 Codigo para encontrar los coeficientes del

polinomio de Legendre en Matlab

3.2

Vamos ahora a mostrar la tecnica empleada para

calcular los polinomios basada en el lenguaje de
programacion C++ y Java. El proceso se hizo
usando cinco metodos asociados a los polin
omios
de Legendre, los cuales se difernecian entre si
por la forma como esta calculado el coeficiente
que expande la funcion f (x) en terminos de los
polinomios.
En la siguiente grafica se muestan los cinco
metodos usados.

P( m 1)(x)Pn1 (x)dx

Hmn =

C++ y Java

(13)

La cual es una matrz diagonal con entradas dadas

por
2
(14)
Hnn =
2n + 1
Donde se hace unso de la norma de los polinomios
(7).

Fig.4 Lista de metodos para el calculo de los polinomios

Note que las diferenecias estan en que para unos
metodos se usan recurrencias (dos u
ltimos), mientras para otros se usan sumatorias (tres primeros),
como lo mostrar
an los resultados de la implementaci
on de los metodos m
as adelante, se encuentra que aquellos donde se usan recurrencias son
m
as eficientes que los basados en sumatorias, pues
se simplifica el c
alculo de factoriales y binomiales,
esto teniendo en cuenta que se habla de grandes intervalos en una de las variables durante el calculo
de los polin
omios, esto es, valores de la variable x
en el intervalo [1, 1] de 752 muestras en el proceso
de c
alculo de los primeros 45 polin
omios.
En la Fig 5. se muestra la comparacion de los
cinco metodos en funci
on del tiempo necesario para
calcular los 45 polin
omios. En la coordenada x se
expresa el n
umero de polin
omios calculados, mientras en la coordenada y se tiene el tiempo (ms)
necesario para el c
alculo. Seg
un lo que se muestra en la gr
afica se puede concluir que los metodos
4 y 5 son los m
as eficientes, lo que concuerda con
lo que se dijo anteriormente respecto al uso de las
recurrencias en comparaci
on con las sumatorias.

Fig.5 Resultados de la efectividad de los cinco

metodos

Referencias

Hernandez.Luis N
un
ez.Universidad de Los
Andes, Merida

Computational evaluation to compute first

kind Legendre polynomials. Cesar Julio Bustacar a Medina, MsC. Pontificia Universidad
Javeriana, Colombia. Departamento de Ingeniera de Sistemas

NUMERICAL ANALYSIS KRESS

arfken, weber - mathematical methods for
physicists (5th ed)

MATH2070: LAB 10: Legendre Polynomials

and L2 Approximation

Lecciones de fsica Matematica. Alonso

Sep
ulveda S.Instituto de Fsica. Universidad
de Antioquia

Series de Polinomios Ortogonales.Hector