Cap tulo 12 Polinomios de Hermite

12.1 Denicin o
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

Funcin generatriz o
(t, x) = et e(tx) = e2txx .
2 2 2

Consideremos la funcin o (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 funcin generatriz de los polinomios de Hermite, vale decir, es o aquella funcin de dos variables tal que su desarrollo de Taylor en una de las variables tiene o 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 sta o cualquier otra funcin generatriz de otros polinomios) e o 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 slo tiene sentido considerar polinomios de Hermite con o ndice positivo, la expresin (12.5) puede ser extendida a n = 0, aunque ello haga aparecer un o factor H1 . En general, las relaciones de recurrencia que obtendremos pueden considerarse vlidas para cualquier a ndice entero, adoptando la convencin de que los polinomios con o sub ndices negativos tienen algn valor adecuado, por ejemplo, cero. u

 12.2. FUNCION GENERATRIZ

119

La relacin (12.5) expresa un polinomio de Hermite en trminos de un operador (en o e 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 solucin de la ecuacin de Hermite: o o 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 prdida de generalidad, sea n m. Podemos escribir e 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 dnm t2 2 e dt = (1)n+m 2n m! nm1 et nm dt dt

=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 funcin de peso p(t) = et . o 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 fcil demostrar que las funciones n denidas en (12.10) satisfacen la ecuacin difea o rencial y t2 y = (2n + 1)y (12.12)

[con la condicin de borde y() = 0], que es precisamente la ecuacin de Schrdinger o o o para el oscilador armnico. o (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 ecuacin diferencial que n (t). En otras palabras, la transformada de o Fourier de n (t) es esencialmente ella misma.

12.5

Solucin por serie de la ecuacin de Hermite o o

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

Consideremos la ecuacin de Hermite (12.8), pero generalicmosla ligeramente: o e

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 relacin de recurrencia para los coecientes de la serie: o 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 slo de a0 , y o la de coecientes con ndice impar, que depende slo de a1 . Por tanto, hay dos coecientes o 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 ecuacin tiene por solucin un polinomio slo si N . Si es par, hay que tomar o o o a0 = 0 y a1 = 0. Si es impar, hay que tomar a0 = 0 y a1 = 0. d) Si N , y si la solucin es par o impar, entonces ( )/[( + 1)( + 2)] > 0 desde o cierto 0 en adelante, de modo que los a tienen todos el mismo signo para > 0 . Esto es, la serie tiene un crecimiento rpido cuando t . a

Observacin o Una gran cantidad de problemas f sicos estn descritos por ecuaciones diferenciales en a las que interviene un operador Laplaciano (la ecuacin de Laplace, la ecuacin de onda, la o o ecuacin de Schrdinger, etc.). Matemticamente, estas ecuaciones corresponden a casos o o a particulares del problema de Sturm-Liouville, vale decir, ecuaciones de autovalores para un un operador diferencial autoadjunto. No entraremos en los detalles de esta discusin. Slo o o 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 funcin de peso. En el caso de familias de polinomios ortogonales, existen relaciones de recuo rrencia que vinculan cada polinomio con los de grados inmediatamente anterior y posterior, y t picamente poseen una funcin generatriz, as como operadores de subida y de bajada. En o los cap tulos siguientes encontraremos nuevas familias de polinomios ortogonales. Todos ellos provienen de sendos problemas de Sturm-Liouville, y por tanto no ser extrao encontrar las a n mismas caracter sticas que hemos identicado en los polinomios de Hermite.