Cap tulo 12 Polinomios de Hermite

12.1 Denici on
Hn (t) = (1)n et
2

Denimos los polinomios de Hermite por: dn t2 e . dtn (12.1)

{Hn (t)}nN son polinomios de grado n. Se tiene que: Hn (t) = (1)n Hn (t) , es decir, Hn es par si n es par, e impar si n es impar. Los primeros polinomios de Hermite son: H0 (t) = 1 H1 (t) = 2t H2 (t) = 4t2 2 H3 (t) = 8t3 12t H4 (t) = 16t4 48t2 + 12 (12.2)

12.2

Funci on generatriz
(t, x) = et e(tx) = e2txx .
2 2 2

Consideremos la funci on (12.3)

Su desarrollo en serie de Taylor ser a:

(t, x) =
n=0

An (t) n x , n!

An (t) =

n xn

.
x=0

Como = (1) , x (t x)

118 se tiene n 2 An (t) = e e(tx) n (t x)

t2

CAP ITULO 12. POLINOMIOS DE HERMITE

(1) =
x=0

n t2 n t2 d e (1) e dtn

= Hn (t) ,

luego

e
2

2txx2

=
n=0

Hn (t) n x . n!

(12.4)

Se dice que e2txx es la funci on generatriz de los polinomios de Hermite, vale decir, es aquella funci on de dos variables tal que su desarrollo de Taylor en una de las variables tiene como coecientes precisamente los polinomios de Hermite. A partir de (12.4) se pueden encontrar relaciones entre los polinomios de Hermite. La estrategia para hallarlas (para esta o cualquier otra funci on generatriz de otros polinomios) es t pica: derivar parcialmente respecto a alguna de las variables y luego comparar potencias de x en los desarrollos en Taylor resultantes. 1) Derivando respecto a t: = 2x . t Usando (12.4):

n=0

1 d Hn (t) xn = n! dt

n=0

Hn (t) n+1 2x . n!

Reordenando la suma en el lado izquierdo:

n=0

Hm+1 (t) m+1 2Hn (t) n+1 x = H0 (t) + x . n! (m + 1)! m=0

Comparando los coecientes de las potencias de x en cada serie encontramos: H0 (t) = 0 , 1 2Hn (t) = H (t) , n + 1 n+1 lo cual puede ser reescrito en la forma 2nHn1 (t) = Hn (t) , n0. (12.5)

Observemos que, si bien s olo tiene sentido considerar polinomios de Hermite con ndice positivo, la expresi on (12.5) puede ser extendida a n = 0, aunque ello haga aparecer un factor H1 . En general, las relaciones de recurrencia que obtendremos pueden considerarse v alidas para cualquier ndice entero, adoptando la convenci on de que los polinomios con sub ndices negativos tienen alg un valor adecuado, por ejemplo, cero.

 GENERATRIZ 12.2. FUNCION

119

La relaci on (12.5) expresa un polinomio de Hermite en t erminos de un operador (en este caso la derivada) aplicado sobre el polinomio de Hermite inmediatamente superior. Un operador que tiene tal propiedad se denomina operador de bajada . En este caso, el operador de bajada de los polinomios de Hermite es (2n)1 dt . 2) Derivando respecto a x: = (2t 2x) . x Con (12.4):

n=1

Hn (t) n1 Hn (t) n Hn (t) n+1 x = 2t x 2 x (n 1)! n ! n ! n=0 n=0 Hn+1 (t) n x = n!

n=0

n=0

2tHn (t) n 2Hn1 (t) n x x n! (n 1)! n=1

Comparando potencias de x: H1 (t) = 2tH0 (t) , Hn+1 (t) = 2tHn (t) 2nHn1 (t) , O bien Hn+1 (t) = 2tHn (t) 2nHn1 (t) , n0. (12.6)

n1.

3) Podemos utilizar las dos relaciones de recurrencia (12.5) y (12.6) para obtener una tercera: Hn+1 (t) = 2tHn (t) Hn (t) . (12.7)

Hemos pues encontrado el operador de subida para los polinomios de Hermite, a saber, 2t dt . Derivando (12.7): Hn+1 = 2Hn + 2tHn Hn . Con (12.5), 2(n + 1)Hn = 2Hn + 2tHn Hn , o sea, Hn 2tHn + 2nHn = 0 . Es decir, los polinomios Hn son una soluci on de la ecuaci on de Hermite: y (t) 2ty (t) + 2ny (t) = 0 . (12.8)

120

CAP ITULO 12. POLINOMIOS DE HERMITE

12.3

Ortogonalidad

Evaluemos I=

Hm (t)Hn (t)et dt .

Sin p erdida de generalidad, sea n m. Podemos escribir I = (1)n Integrando por partes: I = (1)n+1 2m Integrando por partes n veces: I = (1)m (1)n 2n m! Si m < n, entonces I = (1) Si n = m, I = 2 m!
n n+m n

Hm (t)

dn et . dtn

Hm1 (t)

dn1 t2 e dt . dtn1

H0 (t)

dnm t2 e dt . dtnm

2 m!

dnm1 t2 dnm t2 n+m n e dt = ( 1) 2 m ! e dtnm dtnm1

=0.

2 et dt = 2n m! .

Resumiendo,

2 Hm (t)Hn (t)et dt = 2n n! nm .

(12.9)

Podemos expresar este resultado diciendo que los polinomios de Hermite son ortogonales, 2 pero con una funci on de peso p(t) = et . Si denimos las funciones n (t) = Hn (t)et /2 , 2n n!
2

(12.10)

es claro que {n }n es un conjunto ortonormal:

n (t)m (t) dt = nm .

(12.11)

12.4. ALGUNOS RESULTADOS INTERESANTES

121

12.4

Algunos resultados interesantes

(a) Es f acil demostrar que las funciones n denidas en (12.10) satisfacen la ecuaci on diferencial y t2 y = (2n + 1)y (12.12)

[con la condici on de borde y () = 0], que es precisamente la ecuaci on de Schr odinger para el oscilador arm onico. (b) Sea n ( ) = F{n (t), }. Dado que se cumple n + (2n + 1 t2 )n = 0 , se puede demostrar que n ( ) satisface n ( ) + (2n + 1 2 )n ( ) = 0 , (12.13)

es decir, la misma ecuaci on diferencial que n (t). En otras palabras, la transformada de Fourier de n (t) es esencialmente ella misma.

12.5

Soluci on por serie de la ecuaci on de Hermite

y 2ty + 2y = 0 . (12.14)

Consideremos la ecuaci on de Hermite (12.8), pero generalic emosla ligeramente:

Busquemos soluciones con un cierto desarrollo de Taylor:

y (t) =
=0

a t .

(12.15)

Reemplazando en (12.14):

[a +2 ( + 2)( + 1) 2a + 2a ]t = 0 ,
=0

2a 2a + a +2 ( + 1)( + 2) = 0 ,

0,

es decir, obtenemos una relaci on de recurrencia para los coecientes de la serie: a +2 = 2( ) a . ( + 1)( + 2) (12.16)

Se desprenden las siguientes consecuencias: a) Hay dos series independientes, la de coecientes con ndice par, que depende s olo de a0 , y la de coecientes con ndice impar, que depende s olo de a1 . Por tanto, hay dos coecientes arbitrarios, a0 y a1 , y por ende dos soluciones linealmente independientes.

122 b)

CAP ITULO 12. POLINOMIOS DE HERMITE

a +2 2( ) = a ( + 1)( + 2)

si

1,

lo cual signica que el radio de convergencia de la serie es innito. Vale decir, las soluciones no tienen singularidades en el plano. c) La ecuaci on tiene por soluci on un polinomio s olo si N . Si es par, hay que tomar a0 = 0 y a1 = 0. Si es impar, hay que tomar a0 = 0 y a1 = 0. d) Si N , y si la soluci on es par o impar, entonces ( )/[( + 1)( + 2)] > 0 desde cierto 0 en adelante, de modo que los a tienen todos el mismo signo para > 0 . Esto es, la serie tiene un crecimiento r apido cuando t .

Observaci on Una gran cantidad de problemas f sicos est an descritos por ecuaciones diferenciales en las que interviene un operador Laplaciano (la ecuaci on de Laplace, la ecuaci on de onda, la ecuaci on de Schr odinger, etc.). Matem aticamente, estas ecuaciones corresponden a casos particulares del problema de Sturm-Liouville , vale decir, ecuaciones de autovalores para un un operador diferencial autoadjunto. No entraremos en los detalles de esta discusi on. S olo diremos que los polinomios de Hermite son un caso particular de soluciones a un problema de Sturm-Liouville. Dichas soluciones forman un conjunto completo y ortogonal, con cierta funci on de peso. En el caso de familias de polinomios ortogonales, existen relaciones de recurrencia que vinculan cada polinomio con los de grados inmediatamente anterior y posterior, y t picamente poseen una funci on generatriz, as como operadores de subida y de bajada. En los cap tulos siguientes encontraremos nuevas familias de polinomios ortogonales. Todos ellos provienen de sendos problemas de Sturm-Liouville, y por tanto no ser a extra no encontrar las mismas caracter sticas que hemos identicado en los polinomios de Hermite.