Semana 3 - Clase 7 Tema 1: Series

Series de Polinomios Ortogonales, continuacion

1. Polinomios de Hermite
Los polinomios de Hermite a diferencia de los de Legendre (y Tchevychev), vienen de-
nidos en toda la recta real, vale decir, x (, ), por lo cual la funci on peso w(x) en el
producto interno deber a decrecer mas r apido que [x[
n
, para garantizar que la norma de los
vectores en este espacio vectorial sea nita. La funci on m as simple que cumple estos requi-
sitos es w(x) = e
x
2
(tambien algunos autores utilizan w(x) = e
x
2
/2
) Esto es, el producto
interno entre los polinomios de Hermite vendra denido como
f [g) =
_

dx w(x)f(x)g(x) =
_

dx e
x
2
f(x)g(x) .
Otra vez, para este producto interno, si ortogonalizamos con Gram-Schmidt se obtienen los
polinomios de Hermite. Al igual que el resto de los polinomios ortogonales, existe una formula
de Rodrigues para los polinomios de Hermite
H
n
(x) = (1)
n
e
x
2 d
n
dx
n
e
x
2
,
los cinco primeros polinomios de Hermite son los siguientes:
H
0
(x) = 1, H
1
(x) = 2x
H
2
(x) = 4x
2
2, H
3
(x) = 8x
3
12x,
H
4
(x) = 16x
4
48x
2
+ 12 H
5
(x) = 32x
5
160x
3
+ 120x
1.1. Generalidades de los Polinomios de Hemite
Los polinomios de Hermite seran ortogonales, pero no normales
H

[H

) =
_

e
x
2
H

(x)H

(x)dx = 2

,
por lo tanto:
H

[H

) = |H

|
2
=
_

e
x
2
H
2

(x)dx = 2

.
Donde la funci on delta de Kronecker es

= 0 si ,= ; y

= 1.
Antes de desarrollar funciones en terminos de los polinomios de Hermite, expondremos
un par de teoremas sin demostracion.
Hector Hern andez / Luis N u nez 1 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
Teorema 1: Sean [ f ) y [ g ) dos funciones arbitrarias, cuando menos continuas a trozos
en (, ) y que cumplen con
_

e
x
2
f
2
(x)dx <
_

e
x
2
g
2
(x)dx <
Entonces el conjunto de estas funciones forman un espacio vectorial Euclideano 1
w
2
con un
producto interno denido por
g [ f ) =
_

e
x
2
f(x)g(x)dx
Las funciones f(x) y g(x) se denominan cuadrado-integrables respecto al peso w. Es por ello
que denotamos el espacio de funciones como 1
w
2
.
Teorema 2: Si f(x) es una funci on continua arbitraria en 1
w
2
entonces puede ser aproxi-
mada por un polinomio en ese mismo espacio. Es decir
lm
n
|f(x) p
n
(x)| = lm
n
__

e
x
2
[f(x) p
n
(x)]
2
dx
_
1/2
= 0
As, la expresion de una funcion arbitraria en la base de los polinomio de Hermite se
reduce a
f(x) = [ f ) =

k=0
a
k
[H
k
) =

k=0
H
k
[f )
H
k
[H
k
)
[H
k
) =

k=0
1
2
k
k!

__

e
t
2
f(t)H
k
(t) dx
_
H
k
(x) ,
donde
a
k
=
H
k
[ f )
H
k
[H
k
)
=
_

e
x
2
f(x)H
k
(x)dx
_

e
x
2
H
2
k
(x)dx
=
1
2
k
k!

e
t
2
f(t)H
k
(t) dx .
Ejemplo: Si f(x) = x
2
f(x) = x
2
=
2

k=0
b
k
x
k
=

k=0
a
k
H
k
(x)
Hector Hern andez / Luis N u nez 2 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
f(x) = x
2
= a
0
H
0
(x) + a
1
H
1
(x) + a
2
H
2
(x)
= a
0
+ a
1
(2x) + a
2
(4x
2
1)
= (a
0
a
2
) + 2a
1
x + 4a
2
x
2
a
0
=
1
4
, a
1
= 0 , a
2
=
1
4
.
=
1
4
H
0
(x) +
1
4
H
2
(x)
Si generalizamos para funciones del tipo f(x) = x
2p
con p = 1, 2, 3, , entonces
f(x) = x
2p
=
2p

k=0
b
k
x
k
=

k=0
a
2k
H
2k
(x) ,
por lo tanto
a
2k
=
1
2
2k
(2k)!

e
x
2
x
2p
H
2k
(x)dx =
1
2
2k
(2k)!

x
2p
d
2k
dx
2k
e
x
2
dx .
Una integraci on por partes estrategica muestra que:
a
2k
=
1
2
2k
(2k)!

_
x
2p
d
2k1
dx
2k1
e
x
2

2px
2p1
d
2k1
dx
2k1
e
x
2
dx
_
.
El primer termino de la resta se anula debido a la denici on de los polinomios de Hermite
x
2p
d
2k1
dx
2k1
e
x
2

= x
2p
(1)
2k1
e
x
2
H
2k1
(x)

.
Repitiendo el proceso 2k veces, tendremos
a
2k
=
1
2
2k
(2k)!

(2p)!
(2p 2k)!
_

x
2p2k
e
x
2
dx
si en la integral hacemos x =

t obtenemos
a
2k
=
1
2
2k
(2k)!

(2p)!
(2p 2k)!
_

t
pk
e
t
dt
2

t
=
1
2
2k+1
(2k)!

(2p)!
(2p 2k)!
_

t
pk
1
2
e
t
dt
y utilizando la denici on (z)
_

0
e
t
t
z1
dt (z 1)! , queda como
a
2k
=
1
2
2k+1
(2k)!

(2p)!
(2p 2k)!

_
p k +
1
2
_
.
Hector Hern andez / Luis N u nez 3 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
Ahora, recurrimos a la propiedad de duplicaci on de la Funcion Gamma, i.e.
2
2z1
(z)
_
z +
1
2
_
=

(2z)
tenemos que
2
2p2k

_
p k +
1
2
_
(p k)! =

(2p 2k)!
quedan entonces los coecientes determinados como
a
2k
=
(2p)!
2
2p+1
(2k)! (p k)!
y, por lo tanto el desarrollo en la base de los polinomios de Hermite
f(x) = x
2p
=
(2p)!
2
2p+1
p

k=0
H
2k
(x)
(2k)! (p k)!
< x < .
Muestre que del mismo modo se puede encontrar
f(x) = x
2p+1
=
(2p 1)!
2
2p1
p

k=0
H
2k+1
(x)
(2k + 1)! (p k)!
< x < .
Si f(x) = e
a
2
x
2
con Re a
2
> 1. Otra vez
f(x) = e
a
2
x
2
=

k=0
a
2k
H
2k
(x)
entonces
a
2k
=
1
2
2k
(2k)!

e
(a
2
+1)x
2
H
2k
(x)dx
Hector Hern andez / Luis N u nez 4 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
Sustituyendo H
2k
(x) por su expresion integral tendremos
a
2k
=
1
2
2k
(2k)!

e
(a
2
+1)x
2
_
2
2k+1
(1)
k
e
x
2

_

0
e
t
2
t
2k
cos 2xt dt
_
dx
=
2(1)
k
(2k)!
_

e
a
2
x
2
__

0
e
t
2
t
2k
cos 2xt dt
_
dx

2(1)
k
(2k)!
_

0
e
t
2
t
2k
__

e
a
2
x
2
cos 2xt dx
_
dt
=
2(1)
k
(2k)!
_

0
e
t
2
t
2k
__

a
2
e
t
2
/a
2
_
dt =
=
2(1)
k

(2k)!a
_

0
e
t
2
(1+a
2
)
t
2k
dt
=
(1)
k

(2k)!
a
2k
(1 + a
2
)
k+1/2
_

0
e
s
s
k
1
2
ds t
2
(1 + a
2
) = s
=
(1)
k

(2k)!
a
2k
(1 + a
2
)
k+1/2

_
k +
1
2
_
y ahora usando, otra vez la propiedad de duplicaci on de la funcion gamma,
2
2k

_
k +
1
2
_
k! =

(2k)!
obtenemos
a
2k
=
(1)
k
a
2k
2
2k
k! (1 + a
2
)
k+1/2
por lo tanto
f(x) = e
a
2
x
2
=

k=0
(1)
k
a
2k
2
2k
k! (1 + a
2
)
k+1/2
H
2k
(x)
Al igual que los polinomios de Legendre, los de Hermite, surgen tambi an en sus orgenes
como soluciones a la ecuacion diferencial ordinaria del tipo
d
2
H
n
(x)
dx
2
2x
dH
n
(x)
dx
+ nH
n
(x) = 0
Vale decir
Hector Hern andez / Luis N u nez 5 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
n Ecuaci on de Hermite Soluci on
0
d
2
H
0
(x)
dx
2
2x
dH
0
(x)
dx
= 0 H
0
(x) = 1
1
d
2
H
1
(x)
dx
2
2x
dH
1
(x)
dx
+ 2H
1
(x) = 0 H
1
(x) = 2x
2
d
2
H
2
(x)
dx
2
2x
dH
2
(x)
dx
+ 4H
2
(x) = 0 H
2
(x) = 4x
2
2
3
d
2
H
3
(x)
dx
2
2x
dH
3
(x)
dx
+ 6H
3
(x) = 0 H
3
(x) = 8x
3
12x
4
d
2
H
4
(x)
dx
2
2x
dH
4
(x)
dx
+ 8H
4
(x) = 0 H
4
(x) = 16x
4
48x
2
+ 12
1.2. Funcion Generatriz de los Polinomios de Hermite
Se puede encontrar una funci on generatriz H(t, x) de los polinomios de Hermite:
H(t, x) = e
2xtt
2
= H
0
(x) + H
1
(x) t +
H
2
(x)
2
t
2
+
H
3
(x)
3!
t
2
+ =

n=0
H
n
(x)
n!
t
n
para la cual los H
n
(x) son los coecientes de su desarrollo en series de potencias. Es f acil
darse cuenta que esta expresi on proviene del desarrollo en Serie de Taylor
H(t, x) = e
2xtt
2
=

n=0
1
n!
_

n
H(t, x)
t
n
_
t=0
t
n
|t| <
para lo cual
_

n
H(t, x)
t
n
_
t=0
= e
x
2
_

n
t
n
e
(xt)
2
_
t=0
= (1)
n
e
x
2
_
d
n
du
n
e
(u)
2
_
u=x
= H
n
(x)
1.3. Relacion de Recurrencia
A partir de la funcion generatriz se puede construir la siguiente identidad
H(t, x)
t
= (2x 2t) H
Hector Hern andez / Luis N u nez 6 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
y utilizando el desarrollo en series de potencias en t tendremos,

n=1
H
n
(x)
n!
nt
n1
= 2x

n=0
H
n
(x)
n!
t
n

n=0
H
n
(x)
n!
t
n+1
,

n=1
H
n
(x)
n!
nt
n1
2x

n=0
H
n
(x)
n!
t
n
+

n=0
H
n
(x)
n!
t
n+1
= 0 ,

n=0
H
n+1
(x)
(n + 1)!
(n + 1)t
n
2x

n=0
H
n
(x)
n!
t
n
+

n=1
H
n1
(x)
(n 1)!
t
n
= 0 ,
H
1
(x) +

n=1
H
n+1
(x)
(n + 1)!
(n + 1)t
n
2xH
0
(x) 2x

n=1
H
n
(x)
n!
t
n
+

n=1
H
n1
(x)
(n 1)!
t
n
= 0 ,
H
1
(x) 2xH
0
(x)
. .
=0
+

n=1
_
H
n+1
(x)
(n + 1)!
(n + 1) 2x
H
n
(x)
n!
+
H
n1
(x)
(n 1)!
_
t
n
= 0 ,
es decir:

n=1
_

_
H
n+1
(x)
(n + 1)!
(n + 1) 2x
H
n
(x)
n!
+
H
n1
(x)
(n 1)!
. .
=0
_

_
t
n
= 0 .
Por lo tanto:
H
n+1
(x)
n!
2x
H
n
(x)
n!
+
H
n1
(x)
(n 1)!
= 0
As la relaci on de recurrencia sera
H
n+1
(x) 2xH
n
(x) + 2nH
n1
(x) = 0
De igual modo, podemos partir de otra identidad
H(t, x)
x
= 2t H

n=0
H

n
(x)
n!
t
n
= 2

n=0
H
n
(x)
n!
t
n+1
,
es decir:

n=1
H

n
(x)
n!
t
n
= 2

n=1
H
n1
(x)
(n 1)!
t
n

n
(x)
n!
= 2
H
n1
(x)
(n 1)!
y encontrar una relaci on para generar las derivadas de los polinomios de Hermite en termino
de ellos mismos:
H

n
(x) = 2n H
n1
(x), n = 1, 2, 3, .
Hector Hern andez / Luis N u nez 7 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
Finalmente, utilizando la ecuaci on anterior en la relacion de recurrencia y derivando esa
expresi on una vez m as, queda como:
H
n+1
(x) 2xH
n
(x) + H

n
(x) = 0
H

n
(x) 2xH

n
(x) + 2n H
n
(x) = 0
con lo cual queda demostrado que los polinomios de Hermite son una solucion particular de
esa ecuacion diferencial.
y

2xy

+ 2ny = 0,
Donde hemos hecho y = H
n
(x) Adicionalmente, podremos demostrar que y = e
x
2
/2
H
n
(x)
es solucion de la ecuaci on diferencial autoadjunta
y

+
_
2n + 1 x
2
_
y = 0
1.4. Ortogonalidad y Norma de los Polinomios de Hermite
En general estos polinomios cumplen con
H

[H

) =
_

e
x
2
H

(x)H

(x)dx = 2

.
Donde la funci on delta de Kronecker es

= 0 si ,= ; y

= 1. Para demostrar el caso

,= partimos de
u

_
u

+
_
2 + 1 x
2
_
u

= 0
u

_
u

+
_
2 + 1 x
2
_
u

= 0
restando miembro a miembro e integrando se tiene que:
_
u

+ 2 ( ) u

= 0
( )
_

e
x
2
H

(x)H

(x)dx = 0
_

e
x
2
H

(x)H

(x)dx = 0 ,= ;
ya que
e
x
2
/2
2 H
1
(x)H

(x) 2 H
1
(x)H

(x)

= 0
Para encontrar el valor de la norma, procedemos a partir de la relaci on de recurrencia
H
n
(x) [H
n
(x) 2xH
n1
(x) + 2(n 1)H
n2
(x)] = 0
H
n1
(x) [H
n+1
(x) 2xH
n
(x) + 2nH
n1
(x)] = 0
Hector Hern andez / Luis N u nez 8 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
restando miembro a miembro, multiplicando por e
x
2
e integrando entre (, ) se obtiene
_

e
x
2
H
2

(x)dx = 2
_

e
x
2
H
2
1
(x)dx
repitiendo la operaci on y recordando que al nal queda
_

e
x
2
x
2
dx = 2

Obtenemos
H

[H

) = |H

|
2
=
_

e
x
2
H
2

(x)dx = 2

1.5. Representaci on Integral de los Polinomios de Hermite

Los polinomios de Hermite pueden ser representados como
H
n
(x) =
2
n
(i)
n
e
x
2

e
t
2
+2itx
t
n
dt
que puede ser separada como
H
2n
(x) =
2
2n+1
(1)
n
e
x
2

_

0
e
t
2
t
2n
cos 2xt dt n = 1, 2, 3,
y para los terminos impares
H
2n+1
(x) =
2
2n+2
(1)
n
e
x
2

_

0
e
t
2
t
2n+1
sen 2xt dt n = 1, 2, 3,
La forma de llegar a cualquiera de estas ultimas formulas se parte de las conocidas integrales
desarrolladas en el plano complejo
e
x
2
=
2

e
t
2
cos 2xt dt
se deriva 2n veces a ambos miembros se utiliza la denici on de los polinomios de Hermite.
Hector Hern andez / Luis N u nez 9 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
1.6. El Oscilador armonico, independiente del tiempo, en Mecani-
ca Cuantica.
La Ecuacion de Schr odinger independiente del tiempo y en una dimension es
d
2
dx
2
(x) +
2

2
[E |(x)] (x) = 0 ,
con la masa de la partcula; E los niveles de energa y |(x) el potencial al cual esta so-
metida la partcula. En el caso que estudiemos un potencial del tipo |(x) =
1
2

2
x
2
en el
cual la frecuencia angular del oscilador viene representada por . La ecuaci on de Schr odinger
se convierte en
d
2
dx
2
(x) +
2

2
_
E
1
2

2
x
2
_
(x) = 0 ,
haciendo un cambio de variable = x
_
/ para adimensionalizar la ecuacion de Schr odin-
ger, se obtiene

() +
_
2E

2
_
() = 0 ,
la cual corresponde a la forma autoadjunta de la Ecuaci on de Hermite:

() +
_
2n + 1
2

() = 0 ,
Hector Hern andez / Luis N u nez 10 Universidad de Los Andes, Merida
Semana 3 - Clase 7 Tema 1: Series
y por lo tanto identicamos
2E

= 2n + 1 E =
_
n +
1
2
_
,
con lo cual comprobamos la forma como viene cuantizada la energa en este sistema y la
energa del estado fundamental. Por su parte, la funci on de onda se podr a expresar en la
base de soluciones de esa ecuaci on
() =

n=0
c
n

n
() =

n=0
c
n
e

2
/2
H
n
() .
Si mantenemos la normalizacion
_

2
n
()d = 1 con c
n
=
_

_
1/4
1

2
n
n!
.
1.7. Resumen de Propiedades Polinomios Hermite
Polinomios de Hermite
Denici on
H
n
(x) = (1)
n
e
x
2 d
n
dx
n
e
x
2
, n = 0, 1, 2, ....
H
n
(x) =
n/2

k=0
(1)
k
n!
k! (n 2k)!
(2x)
n2k
Ejemplos
H
0
(x) = 1; H
1
(x) = 2x; H
2
(x) = 4x
2
2;
H
3
(x) = 8x
3
12x H
4
(x) = 16x
5
48x
2
+ 12
Relaciones de Recurrencia
H
n+1
(x) 2xH
n
(x) + 2nH
n1
(x) = 0
H

n
(x) = 2n H
n1
(x), n = 1, 2, 3,
Ecuaciones Diferenciales
y

2xy

+ 2ny = 0
u

+ (2n + 1 x
2
) u = 0; u(x) = e
x
2
/2
H
n
(x)
Funcion Generatriz H(t, x) = e
2xtt
2
=

n=0
H
n
(x)
n!
t
n
Representaci on Integral
H
2n
(x) =
2
2n+1
(1)
n
e
x
2

_

0
e
t
2
t
2n
cos 2xt dt
H
2n+1
(x) =
2
2n+2
(1)
n
e
x
2

_

0
e
t
2
t
2n+1
sen 2xt dt
Ortogonalidad H

[H

) = 2

=
_

e
x
2
H

(x)H

(x)dx
Hector Hern andez / Luis N u nez 11 Universidad de Los Andes, Merida