ECUACIONES Y POLINOMIOS DE

LEGENDRE
NELSON PRADO MENDEZ
INGENIERIA EN SISTEMAS
CALCULO AVANZADO
ESCUELA POLITCNICA DEL EJRCITO

ECUACIONES Y POLINOMIOS
DE LEGENDRE
OBJETIVO
Conocer el concepto y las aplicaciones
de los polinomios y ecuaciones de
Legendre
MARCO TEORICO
En matemticas al resolver la formula de Rodrguez, las
Funciones de Legendre son las soluciones a las
Ecuaciones Diferenciales de Legendre



llamadas as por el matemtico francs Adrien -Marie
Legendre. Estas ecuaciones se encuentran
frecuentemente en Fsica. En particular, aparecen
cuando se resuelve la ecuacin de Laplace (un tipo de
ecuacin en derivadas parciales) en coordenadas
esfricas.

La ecuacin diferencial de Legendre puede resolverse usando el
mtodo de serie de potencias. En general la serie de potencias
obtenida converge cuando |x| < 1 y en el caso particular de que
n sea un entero no negativo (0, 1, 2,...) las soluciones forman
una familia de polinomios ortogonales llamados Polinomios de
Legendre.
Cada polinomio de Legendre P
n
(x) es un polinomio de grado n.
ste puede ser expresado usando la Frmula de Rodrguez:


Propedutico de Matemticas
DEPFIE
Polinomios de Legendre
Ortogonalizamos {1, x, x
2
, ..., x
n
} en C ([-1,1]), con
el producto escalar integral ordinario (w(x)=1).
Frmula de Rodrguez


Frmula iterativa
P
k+1
(x) = ((2k+1) x P
k
(x) k P
k1
(x))/(k+1)
Pk+1(x)=((2k+1). x. P(x) kPk-1(x))/)k+1)








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

=
Polinomios de Legendre

Si continuamos incrementando el grado del
polinomio deseado (hasta n-1), llegaramos a
plantear un sistema cuya matriz es la siguiente:





La cual para n regularmente grande es una matriz
mal condicionada.
(
(
(
(

+
+
=
) 1 2 /( 1 ) 1 /( 1 / 1
...
) 1 /( 1 3 / 1 2 / 1
/ 1 2 / 1 1
n n n
n
n
H
Polinomios de Legendre

Por ello, los polinomios {1, x, x
2
, x
3
,...,x
n
} no resultan
muy prcticos para aproximar funciones, de hecho, no
son ortogonales en el intervalo [0,1]

Existe una gran variedad de familias de polinomios
ortogonales en algn intervalo dado. Por ejemplo, los
polinomios de Legendre son ortogonales en el
intervalo [-1,1]

Otras familias de polinomios ortogonales son los
polinomios de Chevichev, Laguerre, Bessel, etc.
Polinomios de Legendre

Los siguientes son los primeros 6 polinomios de
Legendre

n P
n
(x)
0 1
1 x
2 (3x
2
-1)
3 (5x
3
-3x)
4
1
/
8
(35x
4
-30x
2
+3)
5
1
/
8
(63x
5
-70x
3
+15)
Polinomios de Legendre

Tarea: Verificar la ortogonalidad de los primeros
cuatro polinomios de Legendre. Verificar tambin
si son ortonormales.
n P
n
(x)
0 1
1 x
2 (3x
2
-1)
3 (5x
3
-3x)
Polinomios de Legendre
-1 -0.5 0 0.5 1
-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
P
4
P
3
P
5
P
0
P
1
P
2
Polinomios de Legendre

Ejemplo: Expresar la funcin h(x)=cos(
t
/
2
x) mediante un
polinomio de grado 2, usando los polinomios de Legendre.
Solucin: obtendremos los coeficientes de la aproximacin
cos(
t
/
2
x)~c
0
P
0
(x)+c
1
P
1
(x)+C
2
P
2
(x):

}
= =
> <
=

1
1
2 2
0
0
0
2
) cos(
2
1 ,
t
t
dx x
P
P h
c
}
= =
> <
=

1
1
2 2
1
1
1
0 ) cos(
2
3 ,
dx x x
P
P h
c
t
}
= =
> <
=

1
1
3 2
2
2
1
2
2
2
2
20
) cos( ) 1 3 (
4
5 ,
t
t
dx x x
P
P h
c
Polinomios de Legendre

Con lo cual, la aproximacin obtenida es
Cos (
t
/
2
x) ~ f(x) =
2
/
t
+
10
/
t
3 P
2
(x)
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
-0.2
0
0.2
0.4
0.6
0.8
1
1.2
cos(pi/2x)
f(x)
Polinomios de Legendre

Ejercicio:
Hallar una aproximacin para la funcin h(x)=sen(
t
/
2
x) en
el intervalo [-1,1], usando un polinomio de grado 2,
usando polinomios de Legendre.

Graficar juntas la funcin h(x) y el polinomio obtenido.
APLICACIONES
Momentos de Legendre
Motivacin
Definicin
Aproximacin
Versin
Computable
Funcin de
reconstruccin
Condiciones de las
pruebas
Resultados
experimentales
Conclusiones de
las pruebas
Conclusiones
finales

Motivacin
Reconstruccin
mediante
momentos
geomtricos muy
costosa y
propensa a
errores.

Cmo reconstruir
la imagen con un
conjunto finito de
momentos.

Definicin
} }
+

+ +
=
1
1
1
1
) , ( ) ( ) (
4
dxdy y x f y P x P
q p pq
1) 1)(2q (2p

] 1 , 1 [ , ) 1 (
! 2
1
) (
2
e = x x
dx
d
p
x P
p
p
p
p
p
El momento de Legendre de orden (p, q) viene
dado por:
Donde el polinomio de Legendre de orden (p)
se define como:
Aproximacin

= =
.
=
M
i
N
j
pq
pq
y x f y x h
1 1
) , ( ) , (
donde:
} }
A
+
A

A
+
A

=
2
2
2
2
) ( ) ( ) , (
x
x
x
x
y
y
y
y
q p pq
dxdy y P x P y x h
Al igual que en el caso de los momentos geomtricos,
los momentos de Legendre pueden aproximarse por:
Versin computable
y x y
M
i
x f y
N
j
q
P x
p
P
N M
q p
pq
A A

=

=

+ +
= ) ,
1
( ) (
1
) (
) 1 )( 1 (
) 1 2 )( 1 2 (

Esta es la frmula empleada para el clculo

computacional de los momentos de Legendre:
El valor de estar comprendido entre [0,255]. ) , ( y x f
El valor de x e y estar comprendido en un cuadrado
[-1,1] x [-1,1] (cambio de variable).
Funcin de reconstruccin
) , ( ) , (
max
y x f y x f
M
~

= =

=
max
0 0
,
) ( ) ( ) , (
M
P
p
q
q q p q q p
y P x P y x f
Podemos escribir la funcin como expansin
de series infinitas.
Emplearemos una versin truncada:
) , ( y x f
Condiciones de las pruebas
Imgenes en blanco y
negro de 150x150
pxeles
Clculo de momentos
hasta orden 20
Precisin de coma
flotante: 28 decimales
Procesador a 1.5 Ghz
384 Mb RAM


Duracin media del
clculo de momentos
hasta el orden 20:
120
Duracin media de la
reconstruccin: 120
Resultados experimentales
Simulacin desde momento de orden 0 a 20
Resultados experimentales
Simulacin desde momento de orden 0 a 20
Conclusiones de las pruebas
Mejores resultados con:
Tamaos mayores de la imagen
Un mayor nmero de pxeles negros
Lneas ms rectas
Condiciones necesarias para un mejor resultado:
Mquina/s de gran potencia de clculo
Aumentar el nmero de momentos
Trabajar con aritmtica de grandes nmeros
Utilizar el mximo posible de lugares decimales
Conclusiones generales
Los momentos de
Legendre son una
herramienta eficaz para
la reconstruccin de
imgenes mediante sus
caractersticas
numricas.

El proceso de
reconstruccin se
comporta de mejor
forma para imgenes
grandes.

Conforme crece el
nmero de
momentos, resulta
muy costoso
reconstruir una
imagen.
Herramientas Utilizadas
Microsoft Visual
Studio
Visual Basic
Visual C++

CVIP Tools
(manipulado de
imgenes)

Microsoft Access

BIBLIOGRAFIA
Image Description using moments (Dr. S.
Belkasim).
On image analisis by moments (Liao-Pawlak)
Image analysis with moment descriptor (Liao-
Pawlak).
On the reconstruction aspects of moments
descriptors (Pawlak).
On image analysis by the methods of moments
(Cho-Huak, Chin).
Orthogonal Legendre moments and their
calculation (Shen-Shen).
Image characterization by fast calculation of low-
order Legendre moments (Shen-Shen).