Captulo 12

Polinomios de Hermite
versi
on nal 3.5-13 enero 2003

12.1.

Denici
on

Denimos los polinomios de Hermite por:

2

Hn (t) = (1)n et

dn t2
e
.
dtn

(12.1)

{Hn (t)}nN son polinomios de grado n. Se tiene que:

Hn (t) = (1)n Hn (t) ,

(12.2)

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.

Funci
on generatriz

Consideremos la funcion
2

(t, x) = et e(tx) = e2txx .

Su desarrollo en serie de Taylor sera:
(t, x) =


An (t)
n=0

n!

x ,
127


n 
An (t) =
.
xn x=0

(12.3)

CAPITULO 12. POLINOMIOS DE HERMITE

128
Como

se tiene

=
(1) ,
x
(t x)

n t2

n
(tx)2 
n
n t2 d e
An (t) = e
e
(1) = (1) e
= Hn (t) ,

(t x)n
dtn
x=0
t2

luego
2txx2


Hn (t)
n=0

n!

xn .

(12.4)

Se dice que e2txx es la funcion generatriz de los polinomios de Hermite, vale decir, es
aquella funcion 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 funcion generatriz de otros polinomios)
es tpica: 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):





1 d
Hn (t) n+1
n
Hn (t) x =
2x
.
n! dt
n!
n=0
n=0
Reordenando la suma en el lado izquierdo:


2Hn (t)
n=0

n!

n+1

H0 (t)



Hm+1
(t) m+1
x
+
.
(m + 1)!
m=0

Comparando los coecientes de las potencias de x en cada serie encontramos:

H0 (t) = 0 ,
1

2Hn (t) =
(t) ,
Hn+1
n+1
lo cual puede ser reescrito en la forma
2nHn1 (t) = Hn (t) ,

n0.

(12.5)

Observemos que, si bien solo tiene sentido considerar polinomios de Hermite con ndice positivo, la expresion (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 validas

 GENERATRIZ
12.2. FUNCION

129

para cualquier ndice entero, adoptando la convencion de que los polinomios con subndices
negativos tienen alg
un valor adecuado, por ejemplo, cero.
La relacion (12.5) expresa un polinomio de Hermite en terminos 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):




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

1)!
n!
n!
n=1
n=0
n=0


Hn+1 (t)
n=0

n!

x =


2tHn (t)
n=0

n!


2Hn1 (t)
n=1

(n 1)!

xn

Comparando potencias de x:
H1 (t) = 2tH0 (t) ,
Hn+1 (t) = 2tHn (t) 2nHn1 (t) ,

n1.

Hn+1 (t) = 2tHn (t) 2nHn1 (t) ,

n0.

O bien
(12.6)

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 .
on de Hermite:
Es decir, los polinomios Hn son una solucion de la ecuaci
y  (t) 2ty  (t) + 2ny(t) = 0 .

(12.8)

CAPITULO 12. POLINOMIOS DE HERMITE

130

12.3.

Ortogonalidad

Evaluemos


I=

Hm (t)Hn (t)et dt .

Sin perdida de generalidad, sea n m. Podemos escribir



dn et
Hm (t)
.
dtn

I = (1)
Integrando por partes:

n+1

I = (1)

2m

Hm1 (t)

dn1 t2
e dt .
dtn1

Integrando por partes m veces:

m

n m

I = (1) (1) 2 m!

H0 (t)

dnm t2
e dt .
dtnm

Si m < n, entonces
n+m m

I = (1)

2 m!


dnm t2
dnm1 t2 
n+m m
e dt = (1)
2 m! nm1 e 
=0.
dtnm
dt

Si n = m,
n

I = 2 n!
Resumiendo,

2
et dt = 2n n! .

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 funcion de peso p(t) = et .
Si denimos las funciones
2
Hn (t)et /2
n (t) = 
(12.10)
,
2n n!
es claro que {n }n es un conjunto ortonormal:


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

(12.11)

12.4. ALGUNOS RESULTADOS INTERESANTES

12.4.

131

Algunos resultados interesantes

(a) Es facil demostrar que las funciones n denidas en (12.10) satisfacen la ecuacion diferencial
(12.12)
y  t2 y = (2n + 1)y
[con la condicion 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 ecuacion 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

Consideremos la ecuacion de Hermite (12.8), pero generalicemosla ligeramente:

y  2ty  + 2y = 0 .

(12.14)

Busquemos soluciones con un cierto desarrollo de Taylor:

y(t) =

a t .

(12.15)

=0

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 relacion 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 solo de a0 , y
la de coecientes con ndice impar, que depende solo de a1 . Por tanto, hay dos coecientes
arbitrarios, a0 y a1 , y por ende dos soluciones linealmente independientes.

132
b)

CAPITULO 12. POLINOMIOS DE HERMITE

a+2
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 ecuacion tiene por solucion un polinomio solo 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 solucion 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 rapido cuando t .

Captulo 13
Polinomios de Laguerre
versi
on nal 3.2-13 enero 2003

13.1.

Denici
on

Denici
on 13.1 Denimos el conjunto de los polinomios de Laguerre {Ln (t)}nN0 mediante
una cualquiera de las siguientes ecuaciones:
dn  n t
= (1)n tn + + n! ,
Ln (t) = e n t e
dt
n

n n  t

n
d t
d e
t
,
Ln (t) = e
n

dt
dt
=0


n
n

n! 
n! n!
n
Ln (t) =
t =
(1)
(1)
t .
2

!
(n

)!
(!)
=0
=0
t

(13.1a)
(13.1b)
(13.1c)

Algunos de los polinomios en forma explcita:

L0 (t)
L1 (t)
L2 (t)
L3 (t)
L4 (t)

13.2.

=
=
=
=
=
..
.

1
t + 1
t2 4t + 2
t3 + 9t2 18t + 6
t4 16t3 + 72t2 96t + 24

Funci
on generatriz

Denici
on 13.2 La funcion generatriz (t, x) esta denida por la siguiente relacion:
(t, x) =


Ln (t)
n=0

133

n!

xn .

(13.2)

CAPITULO 13. POLINOMIOS DE LAGUERRE

134
Usando (13.1c) obtenemos:
(t, x) =



n

(1) n
!

n=0 =0

t xn

Cambiemos el orden de suma. El primer graco corresponde a la forma en que estabamos

sumando: jamos un n en el eje horizontal, con n = 1, . . . , y luego consideramos los v
variando desde 1 a n (echas verticales hacia arriba). El segundo corresponde a la misma
suma pero hecha de forma diferente: jamos un en el eje vertical, con = 1, . . . , y luego
consideramos los n variando desde a (echas horizontales hacia la derecha).
6

6
r
6
r r
6
r r r
6
r r r r
6
r r r r r

6
r r r r r r
r r r r r r
-

Obtenemos
(t, x) =

r
r
r
r

r
r
r

r
r


(1)

=0 n=

r
r
r
r
r
r

r
r
r
r
r

rrrrrrr
-


n
xn .
t

Haciendo el cambio de ndice m = n :


(1) m +
xm+ .
t
(t, x) =

!
=0 m=0
Reordenando
(t, x) =


(1)
=0

Pero


m+
m=0

luego
(t, x) =


(1)
=0

t x

x =

x
1x

Finalmente
1
exp
(t, x) =
1x

m=0

1
1x


m+

xm .

+1
cuando | x | < 1 ,

1
1  (1)
=
1x
1 x =0 !

tx
1x


Ln (t)
n=0

n!

xn

tx
1x

(13.3)

13.3. RELACIONES DE RECURRENCIA

13.3.

135

Relaciones de recurrencia

Reescribamos la denicion de la funcion generatriz


Ln (t) n
tx
exp
= (1 x)
x .
1x
n!
n=0
Derivemos respecto a x:
t
exp
(1 x)2

tx
1x

(13.4)


Ln (t) (n1)  Ln (t) n

= (1 x)
x
x .
(n 1)!
n!
n=1
n=0

Usando (13.4) y comparando coecientes de x,

Ln+1 (t) + (t 2n 1)Ln (t) + n2 Ln1 (t) = 0

(13.5)

De la misma manera, derivando (13.4) respecto a t, se obtiene

Ln (t) n Ln1 (t) + n Ln1 (t) = 0

13.4.

n1.

(13.6)

Ecuaci
on de Laguerre

Diferenciando dos veces (13.4) respecto a t,

Ln+2 (t) + (t 2n 3)Ln+1 (t) + (n + 1)2 Ln (t) + 2Ln+1 (t) = 0 .
De (13.6) tenemos

Ln+1 (t) = (n + 1) [Ln (t) Ln (t)] ,

(13.7)
(13.8)

de donde obtenemos, derivando nuevamente,

Ln+1 (t) = (n + 1) [Ln (t) Ln (t)] .
Cambiando n n + 1,

(13.9)



Ln+2 (t) = (n + 2) Ln+1 (t) Ln+1 (t) .

Usando (13.8) y (13.9),

Ln+2 (t) = (n + 2)(n + 1) [Ln (t) Ln (t) Ln (t) + Ln (t)] ,
Ln+2 (t) = (n + 2)(n + 1) [Ln (t) 2Ln (t) + Ln (t)] .

(13.10)

Reemplazando (13.8), (13.9) y (13.10) en (13.7),

(n + 2)(n + 1) [Ln (t) 2Ln (t) + Ln (t)] + (t 2n 3)(n + 1) [Ln (t) Ln (t)]
+(n + 1)2 Ln (t) + 2(n + 1) [Ln (t) Ln (t)] = 0
(n + 1) (n + 2 + t 2n 3 + n + 1) Ln (t) + (n + 1) (2n 4 t + 2n + 3 + 2) Ln (t)
+(n + 1) (n + 2 2) Ln (t) = 0

(n + 1) t Ln (t) + (n + 1) (1 t) Ln (t) + (n + 1)n Ln (t) = 0 .

CAPITULO 13. POLINOMIOS DE LAGUERRE

136
Dividiendo por (n + 1) obtenemos

t Ln (t) + (1 t) Ln (t) + n Ln (t) = 0

(13.11)

Es decir, Ln (t) es una solucion de la ecuaci

on de Laguerre
t y  (t) + (1 t) y  (t) + n y(t) = 0 .

(13.12)

Consideremos esta ecuacion, pero en una forma mas general:

t y  (t) + (1 t) y  (t) + y(t) = 0 .
Buscando soluciones del tipo
y(t) =

a t ,

=0

es facil demostrar que los a satisfacen la siguiente relacion de recurrencia:

a+1 =

a .
( + 1)2

Lo anterior tiene varias consecuencias:

(i) El coeciente a0 puede elegirse libremente, quedando a1 , a2 , . . . as determinados por a0 .
Se obtiene un espacio de soluciones de dimension uno. Para encontrar la otra solucion
linealmente independiente hay que analizar ecuaciones del tipo
f  + p(z)f  + q(z)f = 0 .
Esto se hara en el captulo siguiente.
(ii) Al hacer el cuociente entre los coecientes tenemos
1
a+1
= .
a

Esto implica radio de convergencia innito para la serie.

(iii) Los valores = 0, 1, 2, 3, . . . son excepcionales: dan soluciones polinomiales.
(iv) Si  N0 todos los coecientes de ndice sucientemente grande son positivos o negativos. Esto implica un crecimiento muy rapido.

13.5.

Ortogonalidad


Consideremos
I=

tm Ln (t) et dt ,

con m < n .

13.5. ORTOGONALIDAD

137

Sea m > 0, entonces


I=

integrando por partes,

m

tm

dn  n t
t e
dt ,
dtn



n1 

dn1  n t 
m1 d
n t
t
t
dt .
e

m
t
e

dtn1
dtn1
0
0

Integrando n veces por partes se obtiene entonces

 nm
 n t
d
n
I = (1) m!
t e
dt .
dtnm
0
Si m < n,


dnm1  n t 
I = (1) m! nm1 t e  = 0 ,
dt
0
n

luego


0

Ln (t) Lm (t) et dt = 0

si m < n .

Por simetra la integral va a ser nula siempre que m = n.

Si m = n,


2
t
n
n
Ln (t) e dt = (1) (1) n!
tn et dt = (n!)2 .
0

Resumiendo ambos casos,


0

Ln (t) Lm (t) et dt = (n!)2 nm

(13.13)

Basados en la relacion de ortogonalidad (13.13) podemos denir un conjunto de funciones

n (t) =


Claramente

1
Ln (t) et/2 .
n!

(13.14)

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

Es decir, el conjunto {n (t)}nN0 corresponde a un conjunto de funciones ortonormales en el

intervalo [0, ).
A partir de (13.14) podemos despejar los polinomios de Laguerre
Ln (t) = n! et/2 n (t) ,
y usando la ecuacion diferencial (13.11) que satisfacen, encontramos la ecuacion para las
funciones n (t):


1 t


(13.15)
n (t) = 0 .
t n (t) + n (t) + n +
2 2
Ademas, n (t) satisface
lm n (t) = 0

lm n (t) < .
t0

CAPITULO 13. POLINOMIOS DE LAGUERRE

138

13.6.

Polinomios asociados de Laguerre

Al diferenciar m veces la ecuacion (13.11) obtenemos

(t) + (m + 1 t) L(m+1)
(t) + (n m) L(m)
t L(m+2)
n
n
n (t) = 0 .
Podemos denir un nuevo conjunto de polinomios
Lm
n (t) =

dm
Ln (t)
dtm

para n m ,

(13.16)

conocidos como los polinomios asociados de Laguerre. Los cuales son soluciones de la siguiente
ecuacion diferencial:
t y  (t) + (m + 1 t) y  (t) + (n m) y(t) = 0 .

(13.17)

Algunos de los primeros polinomios son:

L11 = 1 ,
L12 = 4 + 2t ,
L13 = 18 + 18t 3t2 ,

L22 = 2 ,
L23 = 18 6t ,

L33 = 6 .

La funcion generatriz

m m

m (t, x) = (1) x

exp

tx
1x


m+1

= (1 x)


Lm
n (t) n
x .
n!
n=m

(13.18)

Utilizando esta ecuacion podemos obtener las relaciones de recurrencia

d m
L (t) = Lm+1
(t) ,
n
dt n
m
m+1
Lm
(t) + n2 Lm
n+1 (t) + (t 2n 1)Ln (t) + m Ln
n1 (t) = 0 ,
m
m
m1
Ln (t) n Ln1 (t) + n Ln1 (t) = 0 .

(13.19)
(13.20)
(13.21)

Finalmente, en forma analoga a lo que hicimos con los polinomios de Laguerre podemos denir
las funciones ortogonales a partir de los polinomios asociados de Laguerre de la siguiente
forma:
(13.22)
Rn  (t) et/2 t L2+1
n+ (t) .
Estas funciones satisfacen la ecuacion diferencial


1 n ( + 1)
d2 y(t) 2 dy(t)
y(t) = 0 .
+

+
dt2
t dt
4
t
t2

(13.23)

Esta ecuacion aparece en Mecanica Cuantica al resolver el atomo de Hidrogeno. Especcamente, corresponde a la ecuacion radial de Schrodinger para la funcion de onda del atomo
de Hidrogeno.

Captulo 17
Funciones hipergeom
etricas
versi
on nal 3.3-13 enero 2003

17.1.

La ecuaci
on hipergeom
etrica general

Consideremos la ecuacion diferencial

 + p(z) + q(z) = 0 ,

(17.1)

con tres singularidades fuchsianas localizadas en:

z1 = A ,

z2 = B ,

z3 = C ,

y con z = punto de holomorfa.

Para que la ecuacion (17.1) tenga singularidades fuchsianas, p(z) debe tener a lo mas un
polo simple en cada una de ellas, tomando la forma:
p(z) =

k
l
h
+
+
.
zA zB zC

Para que z = sea punto de holomorfa

 
hs
ks
ls
1
= 2s

,
2s p
s
1 As 1 Bs 1 Cs

(17.2)

(17.3)

debe tener a lo menos un lugar nulo doble en s = 0. Lo anterior implica que

 
1
0 = 2s p
 2s hs(1 + As) ks(1 Bs) ls(1 Cs) +
s
= (2 h k l)s + , s 0 ,
es decir, las constantes debe satisfacer la condicion h + k + l = 2. La caracterstica de singularidades fuchsianas impone sobre la funcion q(z) a lo mas polos dobles en las singularidades,
es decir,
Q(z)
,
(17.4)
q(z) =
(z A)2 (z B)2 (z C)2
177


CAPITULO 17. FUNCIONES HIPERGEOMETRICAS

178

y para que innito sea punto de holomorfa q(1/s) debe tener a lo menos un lugar nulo
cuadruple en s = 0. Luego a lo sumo Q(z) debe ser un polinomio de grado 2. En efecto, si es
as,
a + b/s + c/s2
a + bz + cz 2
=
,
(z A)2 (z B)2 (z C)2
(1/s A)2 (1/s B)2 (1/s C)2
1/s2
as2 + bs + c
as2 + bs + c
4
=
s
.
=
(1 As)2 (1 Bs)2 (1 Cs)2 1/s6
(1 As)2 (1 Bs)2 (1 Cs)2

q(z) =

(17.5)

Esto claramente no impone nuevas restricciones sobre q(z), la cual podemos escribir de forma
general como:


1
Q(z)
q(z) =
(z A)(z B)(z C) (z A)(z B)(z C)



(17.6)
K
L
1
H
+
+
.
=
zA zB zC
(z A)(z B)(z C)
Reemplazando la forma general de p(z) y q(z) dadas en (17.2) y (17.6) en (17.1) obtenemos
la ecuaci
on hipergeometrica general:


k
l
h

+
+

+
zA zB zC



(17.7)
K
L
1
H
+
+
=0,
+
zA zB zC
(z A)(z B)(z C)
con h + k + l = 2, i.e. 5 constantes libres.

17.2.

Ecuaci
on indicial

Consideremos la singularidad fuchsiana en z = A, su ecuacion indicial corresponde a:

( 1) + h +

H
=0.
(A B)(A C)

(17.8)

Sean y  las dos soluciones de esta ecuacion, entonces

+  = 1 h

 =

H
.
(A B)(A C)

Analogamente sean y  y y  las soluciones respectivas de la ecuacion indicial en las

singularidades fuchsianas z = B y z = C, con
+  = 1 k ,

 =

K
,
(B A)(B C)

+  = 1 l ,

 =

L
.
(C A)(C B)

 DIFERENCIAL DE GAUSS
17.3. ECUACION

179

Tenemos +  + +  + +  = 3 k l h = 3 (k + l + h) = 3 2 = 1.
De lo anterior podemos eliminar de la ecuacion hipergeometrica los coecientes h, k, l,
H, K, L y escribirla en funcion de ,  , ,  , y 




1  1  1 
(C A)(A B)(B C)


+
+

+
zA
zB
zC
(z A)(z B)(z C)


(17.9)




+
+
=0,

(z A)(B C) (z B)(C A) (z C)(A B)

con singularidades fuchsianas en z1 = A, z2 = B y z3 = C y 5 constantes independientes, ya
que tenemos la restriccion de que
+  + +  + +  = 1 .
La solucion mas general de esta ecuacion es la
tamos por

(z) = P


17.3.

llamada funci
on P de Riemann la cual deno
B C

z
.
(17.10)

 

Ecuaci
on diferencial de Gauss

Consideremos el caso particular z1 = A = 0, z2 = B = 1 y z3 = C . Elegimos

ademas  =  = 0, obteniendo


1 1


+
+
 +
=0.
(17.11)
z
z1
z(z 1)
Las constantes deben satisfacer + + +  = 1, lo cual deja solo tres constantes independientes. La ecuacion (17.11) es conocida como ecuaci
on diferencial de Gauss y su solucion,
escrita como funcion P de Riemann, es:

0 1
z
.
(17.12)
(z) = P


0 0
Haciendo un cambio de notacion
1=c ,

=a,

 = b .

Podemos despejar a partir de la condicion que satisfacen las races de la ecuacion indicial,
= 1  = c a b ,
luego, la ecuacion diferencial de Gauss (17.11) queda de la forma
 +

(1 + a + b)(z c) 
ab
+
=0.
z(z 1)
z(z 1)

(17.13)


CAPITULO 17. FUNCIONES HIPERGEOMETRICAS

180

Su solucion, escrita como funcion P de Riemann

1c cab a z
(z) = P
.

0
0
b

(17.14)

Busquemos soluciones de (17.13) de la forma

(z) =

d z ,

con d0 = 1.

(17.15)

=0

Recordemos que z = 0 es singularidad fuchsiana de (17.13) y las races de la ecuacion indicial

corresponden a 1 = 0 y 2 = 1 c. Podemos reescribir (17.13) de la forma
z(z 1) + (1 + a + b)(z c) + ab = 0 ,

(17.16)

Reemplazando la serie (17.15) en (17.16) e igualando potencias del mismo orden, obtenemos
una relacion de recurrencia para los coecientes d ,
d+1 =

( + a)( + b)
d ,
( + c)( + 1)

para = 0, 1, 2, . . . .

(17.17)

La exclusion de c = 0, 1, 2, . . ., no es siempre necesaria, ya que es posible que se anule el

numerador.
Denici
on 17.1 Denimos la funcion hipergeometrica 2 F1 (a, b, c ; z), por la siguiente serie:
2 F1

(a, b, c ; z) = 1 +

a(a + 1)b(b + 1) 2
ab
z+
z + .
c
c(c + 1)2!

(17.18)

La serie geometrica es un caso particular de la anterior

2 F1

(1, b, b ; z) =

z .

=0

El radio de convergencia de la serie hipergeometrica es igual a uno, exceptuando el caso

cuando a o b son iguales a cero o a un entero negativo, en tal caso el radio de convergencia
es innito.
Armamos que 2 F1 (a, b, c ; z) es solucion de (17.13). Busquemos la otra solucion linealmente independiente correspondiente a la solucion de la ecuacion indicial 2 = 1 c. Planteamos
(z) = z 1c (z) , c = 1 ,
 (z) = (1 c)z c (z) + z 1c  (z) ,
 (z) = (1 c)cz c1 (z) + 2(1 c)z c  (z) + z 1c  (z) .
Reemplazando en (17.16)
z(z 1) + [(a + b 2c + 3)z (2 c)]  + (a c + 1)(b c + 1) = 0 .

(17.19)


17.4. LA SERIE HIPERGEOMETRICA

181

Sustituyendo
c2c ,

aac+1 ,

bbc+1 ,

se obtiene la ecuacion hipergeometrica de Gauss, por lo tanto la solucion para (z) en (17.19)
es:
(z) = 2 F1 (a c + 1, b c + 1, 2 c ; z) , con c = 2 ,
luego la otra solucion de (17.13) es
(z) = z 1c 2 F1 (a c + 1, b c + 1, 2 c ; z) .

(17.20)

Hagamos un resumen de los resultados anteriores. La ecuacion diferencial de Gauss

z(z 1) + (1 + a + b)(z c) + ab = 0 ,

(17.19)

bajo la condicion de que c  Z tiene como base de soluciones con centro en cero:
1 = 2 F1 (a, b, c ; z) ,
2 = z 1c 2 F1 (a c + 1, b c + 1, 2 c ; z) .

(17.21a)
(17.21b)

Si c = 1 las soluciones 1 y 2 coinciden, en ese caso se debe plantear

2 (z) = 1 (z) ln(z) +

c z .

=0

Derivando y reemplazando en la ecuacion diferencial obtenemos una relacion de recurrencia

para los c .

17.4.

La serie hipergeom
etrica

Analicemos en mas detalle la serie hipergeometrica

 z
a(a + 1)b(b + 1) 2
ab
z+
z + =
,
f
2 F1 (a, b, c ; z) = 1 +
c
c(c + 1)2!
!
=0

tenemos para el coeciente n + 1

a(a + 1)(a + 2) (a + n)b(b + 1)(b + 2) (b + n)
,
c(c + 1)(c + 2) (c + n)


(c b)
(a + n + 1)(b + n + 1) (c)
.
=
(c + n + 1)
(a)(b) (c b)

fn+1 =
fn+1

Reescribamos la serie hipergeometrica usando el anterior resultado:

 (c b)(b + )
z
(c)
(a + ) ,
2 F1 (a, b, c ; z) =
(a)(b)(c b) =0
(c + )
!

(17.18)


CAPITULO 17. FUNCIONES HIPERGEOMETRICAS

182
pero

(c b)(b + )
= B(c b, b + ) ,
(c + )

con

(m)(n)
, para m > 0 y n > 0 .
(m + n)
0
Reescribimos la serie, usando la expresion integral de la funcion beta,
1


(a + ) t z
(c)
b1
cb1
t (1 t)
dt ,
2 F1 (a, b, c ; z) =
(b)(c b) 0
(a)
!
=0
B(m, n) =

tm1 (1 t)n1 dt =

con Re[c] > Re[b] > 0.

Ahora como
a

(1 tz)


(a + )
=0

(a)!

t z .

La forma integral de la funcion hipergeometrica es:

1
1
tb1 (1 t)cb1 (1 tz)a dt ,
2 F1 (a, b, c ; z) =
B(b, c b) 0

(17.22)

con Re[c] > Re[b] > 0, | z | < 1 y donde t es una variable compleja.
Proposiciones



z
1
a) 2 F1 (a, b, c ; z) =
.
2 F1 a, c b, c ;
(1 z)a
z1


z
1
b) 2 F1 (a, b, c ; z) =
.
2 F1 c a, b, c ;
(1 z)b
z1
c) 2 F1 (a, b, c ; 1) =

(c)(c a b)
.
(c a)(c b)

d) 2 F1 (a, b, c ; z) = (1 z)cab 2 F1 (c a, c b, c ; z).

Demostraciones
a)



a
1
1
z
tz
1
(c)
cb1
b1
1
t
(1t)
dt ,
=
2 F1 a, c b, c ;
a
(1 z)
z1
(b)(c b) 0
z1
(1 z)a
haciendo el cambio de variable 1 t = t


1
z
1
(c)
b1
=
t (1 t )cb1
2 F1 a, c b, c ;
a
(1 z)
z1
(b)(c b) 0


a
(1 t )z
(1 z) 1
dt ,
z1

 HIPERGEOMETRICA

17.5. ECUACION
CONFLUENTE

183



1
1
z
(c)
=
tb1 (1 t)cb1 (1 tz)a dt ,
2 F1 a, c b, c ;
a
(1 z)
z1
(b)(c b) 0
= 2 F1 (a, b, c ; z) .
b) Directo usando a) y la relacion de simetra
2 F1

(a, b, c ; z) = 2 F1 (b, a, c ; z) .

c) y d) Tarea.
Consideremos la expansion en serie de la funcion ln(1 + z) con centro en z = 0:
z2 z3 z4
ln(1 + z) = z
+

+ ,
para | z | < 1 ,
3
4
 2

11
1212
123123
2
3
ln(1 + z) = z 1 +
(z) +
(z) +
(z) + ,
2 1!
2 3 2!
2 3 4 3!


z
z
ln(1 + z) = z 2 F1 (1, 1, 2 ; z) =
.
2 F1 1, 1, 2 ;
1+z
1+z
La u
ltima igualdad corresponde a la propiedad a) probada anteriormente. Tenemos que para
| z | < 1 sirve la primera expresion z 2 F1 (1, 1, 2 ; z) y no la segunda, para | z | > 1 la primera
expresion no nos sirve y s la segunda. Probemos, en forma explcita, la u
ltima relacion,





2
1 z
1
z
z
z
z
1+
+
+ ,
=
2 F1 1, 1, 2 ;
1+z
1+z
1+z
21+z 3 1+z

2

3
1
1
z
z
z
+
+
+ ,
=
1+z 2 1+z
3 1+z




z
1
= ln 1
= ln
= ln(1 + z) .
1+z
1+z

17.5.

Ecuaci
on hipergeom
etrica conuente

Consideremos la ecuacion diferencial de Gauss con singularidades fuchsianas en z = 0,

z=1yz
z(z 1) + (1 + a + b)(z c) + ab = 0 .
u
Al reemplazar z = nos queda
b
 d2  u  
 d u
u
u u
u

1
+
(a
+
b
+
1)

+
ab

=0.
(17.23)
b b
dz 2
b
b
dz
b
b
u

y evaluamos las derivadas

Denimos (u) =
b
d
d u 1
1 d u
d2
1 d2  u 
=
=

,
.
=

du
dz
b b
b dz
b
du2
b2 dz 2
b


CAPITULO 17. FUNCIONES HIPERGEOMETRICAS

184

Dividiendo (17.23) por b,



u

u  1 d2  u 
a+1
1 d u

+uc

a
=0,

u 1
b b2 dz 2
b
b
b dz
b
b


a + 1
d
u  d2
=0.
+uc
a
u 1

2
b du
b
du
a . Ademas,
Simplicando la notacion, cambiamos la variable de u a z y la funcion de
haciendo tender b obtenemos:
z  (z) + (c z)  (z) a(z) = 0 .

(17.24)

La anterior es conocida como la ecuaci

on hipergeometrica conuente y su solucion se denota
por 1 F1 (a, c ; z). Esta ecuacion tiene una singularidad fuchsiana en z = 0 y una singularidad
esencial en z = . Una de las soluciones en torno a z = 0 es:



ab z a(a + 1)b(b + 1) z 2
z
+ ,
= lm 1 +
+
lm 2 F1 a, b, c ;
b
b
b
1c b 1 2 c(c + 1) b2
az
a(a + 1) z 2
+
+ .
(17.25)
c 1! c(c + 1) 2!
Esta serie es conocida como la serie hipergeometrica conuente. Tiene radio de convergencia
innito siempre que c = 0, 1, 2, 3, . . .. La otra solucion de la ecuacion diferencial es:
 z 1c

z
= z 1c 1 F1 (a c + 1, 2 c ; z) , (17.26)
lm
2 F1 a c + 1, b c + 1, 2 c ;
b b
b
con c = 1, 2, 3 . . ..
1 F1 (a, c ; z) = 1 +

Proposiciones
a) ez = 1 F1 (a, a ; z).



b) 2 erf(z) = z 1 F1 12 , 32 ; z 2 .
1
1
c) 1 F1 (a, c ; z) = B(a,ca)
(1 t)ca1 ta1 ezt dt.
0
d) 1 F1 (a, c ; z) = ez 1 F1 (c a, c ; z).
Demostraciones
a) Directa a partir de la denicion dada en (17.26).
b)


t2 t4
1 + dt ,
e dt =
1! 2!
0
0
3
5
z
z
z7
=z
+

+ ,
3

1!
5

2!
7

3!


1/2 z 2
1/2 3/2 z 4
=z 1
+
+ ,
3/2 1!
3/2 5/2 2!


1 3
2
.
= z 1 F1
, ; z
2 2

erf(z) =
2

t2

 HIPERGEOMETRICA

17.5. ECUACION
CONFLUENTE
c) y d) Tarea.

185

186

CAPITULO 17. FUNCIONES HIPERGEOMETRICAS

Captulo 18
Polinomios de Legendre
versi
on nal 3.6-13 enero 2003

18.1.

Funci
on generatriz

En diversos problemas fsicos (gravitacion, electrostatica, etc.) nos encontramos con fuerzas que dependen del inverso de la distancia entre dos cuerpos. Los polinomios de Legendre
aparecen naturalmente en el problema geometrico de determinar esta distancia inversa, lo
cual los vincula con numerosas situaciones de interes fsico.
Consideremos dos radios r0 y r que unen un punto O con dos puntos, A y B, respectivamente:

A
r0

La distancia d = AB esta dada por:


d = r2 + r02 2rr0 cos .
Denamos
x = cos ,

1 x 1 .

Si r > r0 y s = r0 /r < 1, conviene escribir

1
1
1
.
=
d
r 1 + s2 2sx
187

CAPITULO 18. POLINOMIOS DE LEGENDRE

188

Si, por el contrario, r < r0 , y s = r/r0 < 1:

1
1
1
.
=
d
r0 1 + s2 2sx
En ambos casos, la segunda fraccion es la misma y resulta ser precisamente la funcion
generatriz de los polinomios de Legendre.
Denici
on 18.1


1
=
Pn (x)sn
2
1 + s 2xs n=0

(x, s) =

(18.1)

es la funcion generatriz de los polinomios de Legendre Pn (x).

Observemos que (x, s) puede ser expandida en serie de Taylor en el argumento (s2 2xs):
1
3
(x, s) = [1 + (s2 2xs)]1/2 = 1 (s2 2xs) + (s2 2sx)2
2
8
1
2
= 1 + xs + (3x 1)s2 ,
2
lo cual nos permite encontrar expresiones explcitas para los polinomios de Legendre:
P0 (x) = 1 ,
P1 (x) = x ,
1
P2 (x) = (3x2 1) ,
2
1
P3 (x) = (5x3 3x) . . .
2

(18.2a)
(18.2b)
(18.2c)
(18.2d)

Considerando el caso particular x = 1 en (18.1):


1
1
= 1 + s + s2 + s3 + =
Pn (1)sn .
=
2
1

s
1 + s 2s
n=0

(1, s) =
Luego

Pn (1) = 1 n N0 .

(18.3)

Analogamente, tomando x = 1:

1
1
=
Pn (1)sn .
= 1 s + s2 s 3 + =
2
1
+
s
1 + s + 2s
n=0

(1, s) =
Luego

Pn (1) = (1)n

n N0 .

(18.4)

Tambien es inmediato evaluar Pn (0):

(0, s) =



1 2 3 4
1
(2 1)!! 2
s =
= 1 s + s + = 1 +
(1)
Pn (0)sn ,
2
2
8
(2)!!
1+s
=1
n=0

18.2. RELACIONES DE RECURRENCIA

189

luego
Pn (0) = 0 si n es impar,
(2 1)!!
si 1,
P2 (0) = (1)
(2)!!
P0 (0) = 1 .

18.2.

Relaciones de recurrencia

1) Derivemos (18.1) respecto a s.


1
xs

= (1 + s2 2xs)3/2 (2s 2x) =

=
nPn (x)sn1 ,
s
2
1 + s2 2xs
n=0

es decir

(x s) = 0 .
s
Introduciendo la expansion (18.1) e igualando coecientes de sn , se obtiene la relacion de
recurrencia
(1 + s2 2xs)

(n + 1)Pn+1 (x) x(2n + 1)Pn (x) + nPn1 (x) = 0 ,

n1,

P1 xP0 = 0 .

(18.5a)
(18.5b)

2) Escribamos los polinomios de Legendre en la forma

Pn (x) =

an,m xm .

(18.6)

m=0

Reemplazando en (18.5) y comparando coecientes de xm+1 se sigue que:

(n + 1) a(n+1),(n+1) = (2n + 1)an,n ,
am,m =

2m 1
am1,m1 ,
m

m1.

(18.7)

Esta
es una relacion de recurrencia entre los coecientes supremos de los polinomios de
Legendre. Puesto que a00 = 1 [relaciones (18.2)], se sigue que
a11 = 1 ,

a22 =

y en general
ann =

13
,
12

a33 =

135
...
123

(2n 1)!!
(2n)!
.
= n
n!
2 (n!)2

(18.8)

CAPITULO 18. POLINOMIOS DE LEGENDRE

190

3) Derivando (18.1) respecto a x se obtiene:


xPn (x) Pn1
(x) = nPn (x)

(18.9)

Derivando (18.5) respecto a x, y combinandola con (18.9) para eliminar el termino en

Pn (x):



Pn+1
(x) Pn1
(x) = (2n + 1)Pn (x)

(18.10)

Restando (18.9) y (18.10):


Pn+1
(x) xPn (x) = (n + 1)Pn (x)

18.3.

(18.11)

Coecientes del polinomio Pn(x)

Consideremos (18.1) y expandamos (x, s) en serie de Taylor:




1/2
1
(s2 2sx)k ,
=
(x, s) = 
2
k
1 + (s 2sx) k=0
donde

1/2
(1/2)!

=
=
.
1
1
k
k!( 2 k)!
k!( 2 k)!

Por su parte,
2

(s 2sx) =

k  

k
=0

de modo que
(x, s) =

s2 (2sx)k ,

 

k 

1/2 k
k=0 =0

(2x)k sk+ .

Sea n = k + . Entonces



2k 

1/2
k
(2x)2kn sn .
(x, s) =
k
nk
k=0 n=k
Deseamos intercambiar el orden de las sumas. Para ello observemos la siguiente gura:
n

k=n

8
7
6
5
4
3
2
1
0
0 1 2 3 4 5 6 7 8


18.4. FORMULA
DE RODRIGUES

191

Efectuar la doble suma equivale a sumar sobre los pares ordenados (k, n) indicados con
puntos en la gura. El orden en que se realizan las sumas corresponde a desplazarnos sobre
el eje horizontal, escoger un valor de k, y luego desplazarnos sobre el eje vertical, recorriendo
los valores de n entre n = k y n = 2k. Equivalentemente, podemos desplazarnos primero
sobre el eje vertical, escoger un valor de n, y luego recorrer los puntos horizontalmente entre
los lmites k = [(n + 1)/2] y k = n. As, la doble suma se puede escribir:




n


1/2
k
(2x)2kn sn ,
(x, s) =
k
n

k
n=0 k=[ n+1 ]
2
donde



n+1
n

si n es par,
2
2


n+1
n+1

si n es impar.
2
2

Comparando con (18.1), identicamos




n

1/2
k
(2x)2kn .
Pn (x) =
k
nk
k=[ n+1
2 ]
Deniendo = n k, el lmite inferior de la suma corresponde a = n [(n + 1)/2] = [n/2],
de modo que



0

1/2
n
Pn (x) =
=
(2)n2 xn2 ,
n

=[ n
2]
o bien
Pn (x) =

[ n2 ]

=0

(1) (2n 2)!

xn2
2n (n )!(n 2)!!

De (18.12) es facil deducir que:

Pn (x) es par si n es par.
Pn (x) es impar si n es impar.

18.4.

F
ormula de Rodrigues

Puesto que

dn 2(n) (2n 2)! n2

x
=
,
x
dxn
(n 2)!

(18.12)

CAPITULO 18. POLINOMIOS DE LEGENDRE

192
(18.12) se puede reescribir en la forma:

[ n2 ]
1
1 
dn 2(n)
Pn (x) = n
(1)
x
2 =0
!(n )! dxn
[ n2 ]
n!
1 dn 
x2(n)
= n
(1)
n
2 n! dx =0
!(n !)
=

1 dn 2
(x 1)n ,
2n n! dxn

obteniendose la formula de Rodrigues:

Pn (x) =

1 dn 2
(x 1)n
2n n! dxn

(18.13)

La formula de Rodrigues nos permite demostrar facilmente diversas propiedades de los

polinomios de Legendre, como veremos en las siguientes secciones.

18.5.

Ecuaci
on diferencial de Legendre

Nos interesa ahora determinar la ecuacion diferencial de la cual los polinomios de Legendre
son solucion. Sea
u(x) = (x2 1)n .
Entonces

dn+1
dxn+1

u (x) = n(x2 1)n1 2x ,

(x2 1)u (x) = 2nx(x2 1)n = 2nxu(x) ,
 2

dn+1
(x 1)u (x) = n+1 2nxu(x) .
dx

Desarrollando las derivadas de productos a ambos lados de esta expresion:



(x 1)u

(n+2)




n+1
n+1
(n+1)
(x) +
2xu
(x) +
2u(n) (x) =
1
2
2nxu

(n+1)


n+1
(x) +
2nu(n) (x) ,
1

(x2 1)u(n+2) (x) + 2xu(n+1) (x) n(n 1)u(n) (x) = 0 .

Luego, con (18.13), obtenemos la ecuaci
on diferencial de Legendre:
(x2 1)Pn (x) + 2xPn (x) n(n + 1)Pn (x) = 0

(18.14)

18.6. LUGARES NULOS DE PN (X)

193

Lugares nulos de Pn(x)

18.6.

Proposici
on 18.1 Pn (x) tiene lugares nulos simples en el intervalo (1, 1).
Demostraci
on Sea u(x) = (x2 1)n . Entonces u(x) tiene lugares nulos de multiplicidad n
un
en x = 1. Como u(1) = u(1) = 0, por el teorema del valor medio u (x0 ) = 0 para alg
x0 (1, 1). Pero u (1) = u (1) = 0, luego tambien es cierto que u (x) se anula dos veces
en (1, 1), una vez en (1, x0 ) y otra vez en (x0 , 1). Procediendo sucesivamente, se encuentra
que u(n) (x) se anula n veces en (1, 1).
Estos ceros son necesariamente simples, dada la condicion de polinomios ortogonales de
los polinomios de Legendre (seccion 18.7 y teorema 11.2).
q.e.d.

18.7.

Relaci
on de ortogonalidad

Supongamos 0 m < n, y observemos que, por la formula de Rodrigues (18.13):

2 n!

t Pn (t) dt =

tm u(n) (t) dt ,

donde u(t) = (t2 1)n . Integrando por partes:

2 n!

m (n1)

t Pn (t) dt = t u

1


(t) m

tm1 u(n1) (t) dt .

El termino de borde es cero pues u(m) (1) = 0 si m < n. Analogamente, integrando por
partes m veces:
2n n!

tm Pn (t) dt = (1)m m!

1

u(nm) (t) dt = (1)m m! u(nm1) (t) = 0 .
1

Luego Pn (x) es ortogonal a todo polinomio de grado m < n en el intervalo [1, 1], en
particular a Pm (x).
En el caso m = n, el producto interno entre los polinomios de Legendre es:
n

(2 n!)

Pn2 (t) dt

=
1

u(n) (t)u(n) (t) dt .

Integrando por partes:

n

(2 n!)

Pn2 (t) dt

=u

1




(n) (n1) 

(n+1)

(t)u

(n1)

(t) dt =

u(n+1) (t)u(n1) (t) dt ,

CAPITULO 18. POLINOMIOS DE LEGENDRE

194

pues el termino de borde es nulo. As, integrando por partes n veces:

n

(2 n!)

Pn2 (t) dt

= (1)

= (1)n

1
1

u(2n) (t)u(t) dt

d2n  2
(t 1)n (t2 1)n dt .
2n
dt

d2n 2
[(t 1)n ] = (2n)!,
dt2n
1
1
n
2
2
n
Pn (t) dt = (1) (2n)!
(1)n (1 t2 )n dt
(2 n!)
1
1
1
= (2n)!
(1 t)n (1 + t)n dt .

Usando que

Integrando por partes:

(2n n!)2



1
n+1 1
(1
+
t)
n
 +
Pn2 (t) dt = (2n)! (1 t)n
(1 t)n1 (1 + t)n+1 dt

n
+
1
n
+
1
1
1
1
1
n
= (2n)!
(1 t)n1 (1 + t)n+1 dt
n + 1 1

Analogamente, integrando por partes n veces:

n

(2 n!)

Pn2 (t) dt

n(n 1)(n 2) 2 1
= (2n)!
(n + 1)(n + 2) 2n

1
1

2n+1 

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

1 (1 + t)2n dt

(n!)2 22n+1
.
=
2n + 1

Obtenemos as la relaci
on de ortogonalidad :

18.8.

Pn (t)Pm (t) dt =

2
nm
2n + 1

(18.15)

Expresiones integrales para Pn(x)

Sabemos, por el Teorema de Cauchy, que una funcion analtica se puede escribir en terminos de una integral de contorno:

n!
f (u)
(n)
du .
f (z) =
2i
(u z)n+1
Sea
f (z) =

1
(z 2 1)n .
n!

2n

18.8. EXPRESIONES INTEGRALES PARA PN (X)

195

Entonces los polinomios de Legendre se pueden escribir en la forma:


(u2 1)n
n! 1
(n)
Pn (z) = f (z) =
du ,
2i 2n n!
(u z)n+1
obteniendose la formula de Schlai:
1 1
Pn (z) = n
2 2i

(u2 1)n
du
(u z)n+1

(18.16)

Integremos sobre una circunferencia de centro z y radio . Entonces

u = z + ei ,

0 < 2 ,

du = iei d = i(u z)d ,

luego
u2 1
z 2 + 2zei + 2 e2i 1
=
uz
ei

1 2
(z 1)ei + 2z + 2 ei ,
=

de modo que
2

1  2
1 1
i
2 i n
Pn (z) = n
(z

1)e
+
2z
+

e
i d
2 2i 0 n
2
 2
n
1 1 1
(z 1)ei + 2z + 2 ei d .
= n
n
2 2 0

Si z =
 1 podemos tomar = z 2 1, con lo cual la relacion anterior queda:
2
 2 i
n
1 1 1
(e + ei ) + 2z d
Pn (z) = n
n
2 2 0
n
2  2 i
(e + ei ) 2z
1
=
+
d
2 0

2
2
2
1
[ cos + z]n d .
=
2 0
Se obtiene as la relaci
on de Laplace:
1
Pn (z) =
2


z+

n
z 2 1 cos d

Para z = 1 tenemos simplemente

Pn (1) = (1)n .

(18.17)

CAPITULO 18. POLINOMIOS DE LEGENDRE

196
Corolario | Pn (x) | 1 n N0 ,

x [1, 1] .

Demostraci
on Sea x [1, 1]. Adoptamos la convencion de que la raz cuadrada es un
n
umero positivo, y escribimos

x2 1 = i 1 x2 .
El integrando en (18.17) satisface:
2




2
 x + i 1 x cos  = x2 + (1 x)2 cos2 x2 + 1 x2 = 1 ,
luego


2 n/2



2
1.
 x + i 1 x cos 

As,
1
| Pn (x) |
2

2
n


1


2
d = 1 .
 x + i 1 x cos  d
2 0
q.e.d.

z 2 1 = i sen , se obtiene la representacion adicional:

2
1
Pn (cos ) =
(cos + i sen cos )n d ,
2 0

Poniendo z = cos en (18.17),

1
Pn (cos ) =

18.9.

(cos + i sen cos )n d

(18.18)

Serie de Legendre

Los polinomios de Legendre, siendo ortogonales en [1, 1], son candidatos a ser una base
en ese intervalo, de modo que una funcion arbitraria podra ser escrita como una combinacion
. Estudiemos esta posibilidad.
lineal de los Pn
a f (x), es
Si la serie
=0 a P (x) converge uniformemente en [1, 1] y representa all
decir,


f (x) =
a P (x) ,
=0

entonces

f (x)Pn (x) dx =


=0

P (x)Pn (x) dx =


=0

a n

2
2an
=
.
2n + 1
2n + 1

Entonces los coecientes de Fourier de f (x) respecto a los polinomios de Legendre estan
dados por:

 1
1
f (x)Pn (x) dx .
(18.19)
an = n +
2
1

18.9. SERIE DE LEGENDRE

197

A la inversa: Sea f (x) una funcion dada, acotada y seccionalmente continua en [1, 1].
Entonces se pueden calcular los coecientes de Fourier a respecto a P y construir la serie

a P (x) .

=0

Converge la serie? Si converge, representa a f (x)?

Para saberlo, tomemos el modulo de (18.19):

 1
1
| an | n +
| f (x) | | Pn (x) | dx .
2
1
Sea M = maxx[1,1] | f (x) |. Como | Pn (x) | 1,


1
| an | n +
2M = (2n + 1)M .
2
Por otra parte, si f  existe y es continua en [1, 1], entonces para n > 0 se tiene
 1

1
an = n +
f (x)Pn (x) dx .
2
1
Integrando por partes,

an =

1
n+
2



f (x)

1




Pn (x ) dx 
1

f  (x)


Pn (x ) dx dx

Pero, de la relacion de recurrencia (18.10),

x
1
Pn (x ) dx =
[Pn+1 (x) Pn1 (x)] ,
2n + 1
1
con lo cual
1
an =
2
As,
1
| an |
2
donde

f  (x)[Pn+1 (x) Pn1 (x)] dx .

| f (x) | (| Pn+1 (x) | + | Pn1 (x) |) dx

| f  (x) | dx 2M  ,

M  = max | f  (x) | .
x[1,1]

Realizando el mismo procedimiento suponiendo que f  es seccionalmente continua en [1, 1]

se obtiene que
1
| an |  2 A ,
n

para
n
sucientemente
grande,
y
A
cierta
constante.
Por
tanto,
n=0 | an | converge, luego

n=0 an Pn (x) converge uniformemente.

CAPITULO 18. POLINOMIOS DE LEGENDRE

198

Ahora
nos preguntamos: Dada una funcion f , calculamos los coecientes an y sabemos

on
que
n=0 an Pn (x) converge uniformemente. Representa esta serie de Legendre la funci
f (x)? Para responder, consideremos la diferencia entre la serie y la funcion f (x):
g(x) = f (x)

a P (x) .

=0

Los coecientes de Fourier de g(x) son:




 1
  1
1


1
1
bn = n +
g(x)Pn (x) dx = n +
f (x)Pn (x) dx
a
P (x)Pn (x) dx
2
2
1
1
1
=0
= an

a n = 0 .

=0

Armamos que
g(x) 0 .
Demostraci
on Supongamos que g(x) = 0 en un intervalo [, ] [1, 1]. Sin perdida de
generalidad, supongamos ademas que g(x) > 0 en este intervalo. Sea q(x) un polinomio de
grado dos tal que q() = q() = 1 y q(x) < 1 en [1, ] [, 1]. Gracamente:

y=1
g

-1

Luego

g q
k1

g qk > 0 .

Pero g(x) es ortogonal a todos los polinomios Pn (x), y por tanto a todo polinomio, luego
1
g qk = 0 ,
1

lo que contradice nuestro resultado anterior.

Por lo tanto g(x) 0.
q.e.d.
Luego,
f (x) =


=0

a P (x) .

18.10. FUNCIONES ASOCIADAS DE LEGENDRE

18.10.

199

Funciones asociadas de Legendre

Una manera de obtener la ecuacion asociada de Legendre es partir de la ecuacion regular

de Legendre (18.14)
(18.14)
(1 x2 )Pn 2xPn + n(n + 1)Pn = 0 ,
y con la ayuda de la formula de Leibniz, para la derivada n-esima de un producto de funciones,

dn
n!
dns
ds
[A(x)B(x)]
=
A(x)
B(x) ,
ns
s
dxn
(n

s)!s!
dx
dx
s=0
n

(18.20)

diferenciarla m veces obteniendo:

(1 x)2 u 2x(m + 1)u + (n m)(n + m + 1)u = 0 ,
donde
u(x)

(18.21)

dm
Pn (x) .
dxm

Reemplazando
(x) = (1 x2 )m/2 u(x) = (1 x2 )m/2

dm
Pn (x) ,
dxm

resolviendo para u y diferenciando,



mx


(1 x2 )m/2 ,
u = +
2
1x


2mx 
m
m(m + 2)x2


(1 x2 )m/2 .
u = +
+
+
1 x2
1 x2
(1 x2 )2
Sustituyendo en la ecuacion (18.21), encontramos que satisface la ecuacion diferencial

(1 x ) 2x + n(n + 1)
2




m2
=0.
1 x2

(18.22)

La cual es conocida como la ecuaci

on asociada de Legendre. Para reobtener la ecuacion de
Legendre (18.14) basta tomar m = 0. Haciendo el cambio de variable x = cos , obtenemos
la ecuacion expresada en coordenadas polares, que es la forma usual en que nos la vamos a
encontrar

 

d
m2
1 d
sen
+ n(n + 1)
=0.
(18.23)
sen d
d
sen2
Las soluciones regulares, denotadas por Pnm (x), son:
(x) = Pnm (x) = (1 x2 )m/2

dm
Pn (x) .
dxm

(18.24)

Ocasionalmente los Pnm (x) aparecen en su denicion con un factor (1)m , por ejemplo en
Classical Electrodynamics, Second Edition de J.D. Jackson, esta eleccion es conocida como
fase de Magnus y Oberhettinger o de Condon y Shortley. Nosotros incluiremos esta fase en la
denicion de los armonicos esfericos, al estilo seguido en Mathematical Methods for Physicists,

CAPITULO 18. POLINOMIOS DE LEGENDRE

200

Fourth Edition de G.B. Arfken y H.J. Weber. A pesar de que el factor de fase se introduce
en distintos puntos de las deniciones los armonicos esfericos resultantes son iguales.
Algunos ejemplos de funciones asociadas de Legendre
P11 (x) = (1 x2 )1/2 = sen ,
P21 (x) = 3x (1 x2 )1/2 = 3 cos sen ,
P22 (x) = 3 (1 x2 ) = 3 sen2 ,
3
3
P31 (x) = (5x2 1) (1 x2 )1/2 = (5 cos2 1) sen ,
2
2
2
2
P3 (x) = 15x (1 x ) = 15 cos sen2 ,
P33 (x) = 15 (1 x2 )3/2 = 15 sen3 ,
5
5
P41 (x) = (7x3 3x) (1 x2 )1/2 = (7 cos3 3 cos ) sen ,
2
2
15
15
2
2
2
(7x 1) (1 x ) = (7 cos2 1) sen2 ,
P4 (x) =
2
2
P43 (x) = 105x (1 x2 )3/2 = 105 cos sen3 ,
P44 (x) = 105 (1 x2 )2 = 105 sen4 .

(18.25)

La relacion entre Pnm y Pnm es:

Pnm (x) = (1)m

(n m)! m
P (x) .
(n + m)! n

(18.26)

La funcion generatriz de las funciones asociadas de Legendre


(2m)!(1 x2 )m/2
m
=
P+m
(x)t .
m
2
m+1/2
2 m!(1 2tx + t )
=0

(18.27)

Las relaciones de recurrencia que satisfacen las funciones asociadas de Legendre

Pnm+1

2mx
P m + [n(n + 1) m(m 1)]Pnm1 = 0 ,
(18.28)
(1 x2 )1/2 n
m
m
(n + m)Pn1
+ (n m + 1)Pn+1
= (2n + 1)xPnm , (18.29)
1 m+1 1
(n + m)(n m + 1)Pnm1 = (1 x2 )1/2 Pnm  , (18.30)
P
2 n
2

m+1
m1
(2n + 1)(1 x2 )1/2 Pnm = Pn+1
Pn1
,
m1
= (n + m)(n + m 1)Pn1
m1
(n m + 1)(n m + 2)Pn+1
.

(18.31)
(18.32)

La relacion de paridad satisfecha por las funciones asociadas de Legendre es

Pnm (x) = (1)n+m Pnm (x) .

(18.33)

Ademas, se satisface en los extremos que

Pnm (1) = 0

para m = 0.

(18.34)

18.11. PROBLEMA DE STURM-LIOUVILLE ASOCIADO

201

Las funciones asociadas de Legendre satisfacen distintas relaciones de ortogonalidad dependiendo sobre cual ndice se tomen. La primera:
1
2 (q + m)!
p q ,
Ppm (x)Pqm (x) dx =
(18.35)
2q + 1 (q m)!
1
en coordenadas polares

Ppm (cos )Pqm (cos ) sen d =
0

2 (q + m)!
p q .
2q + 1 (q m)!

(18.36)

Sobre el otro ndice

18.11.

Pnm (x)Pnk (x)(1 x2 )1 dx =

(n + m)!
m k .
m(n m)!

(18.37)

Problema de Sturm-Liouville asociado

La ecuacion asociada de Legendre (18.22) o (18.23) se puede reescribir en la forma



d
m2
2 dy
y + n(n + 1)y = 0 .
(18.38)
(1 x )

dx
dx
1 x2
La condicion de borde
y(1) nito

(18.39)

asegura que las soluciones sean las funciones asociadas de Legendre [ver (18.34), (18.3) y
(18.4)]. Claramente, esto corresponde a un problema de autovalores de un operador diferencial
autoadjunto de la forma general (14.7), con A(x) = (1x2 ), B(x) = m2 /(1x2 ), y donde el
problema de autovalores esta caracterizado por una funcion de peso w(x) = 1, y autovalores
= n(n + 1) (ver tabla en Seccion 14.4).
La relevancia fsica de este problema se aprecia al considerar ecuaciones que contengan el
laplaciano:
2 (r) + f (r)(r) = 0 ,

(18.40)

Estas ecuaciones aparecen frecuentemente en Fsica, ya sea para encontrar el potencial

electrostatico debido a una distribucion de cargas [f (r) = 0], los modos normales de oscilacion
de un medio continuo (una cavidad esferica, una membrana, etc.) [f (r) = k 2 ], o, en Mecanica
Cuantica, la dependencia espacial de una funcion de onda en un potencial central dado por
f (r).
Si el problema tiene simetra esferica (potencial fuera de un conductor esferico, ondas en
una cavidad esferica, problema cuantico con potencial coulombiano, etc.), conviene resolver
este problema mediante separacion de variables, en coordenadas esfericas. Como la u
nica
dependencia angular proviene del operador laplaciano, se obtiene la siguiente ecuacion tras
la separacion de variables:


d()
() d2 ()
() d
+ ()() = 0 .
(18.41)
sen
+
sen d
d
sen2 d2

CAPITULO 18. POLINOMIOS DE LEGENDRE

202
La dependencia azimutal satisface

1 d2 ()
= m2 ,
() d2
con soluciones

() = eim , eim

(18.42)

Las cuales satisfacen la condicion de ortogonalidad

2
2

m1 ()m2 () d =
eim1 eim2 d = 2m1 m2 .
0

(18.43)

(18.44)

En la mayora de los problemas fsicos requerimos que m sea un entero para que (), sea
una funcion monovaluada del angulo azimutal. Dada la relacion (18.44)
1
m () = eim ,
2

(18.45)

es un conjunto de funciones ortonormales con respecto a la integracion sobre el angulo azimutal . Separando la dependencia azimutal, la dependencia en el angulo polar conduce a
una ecuacion asociada de Legendre

 

d()
m2
1 d
sen
+
() = 0 .
(18.46)
sen d
d
sen2
Nos aseguramos de que las soluciones no diverjan en cos = 1 poniendo = n(n + 1),
pues en ese caso esta ecuacion tiene por solucion las funciones asociadas de Legendre () =
Pnm (cos ). Por tanto, cualquier problema laplaciano con simetra esferica corresponde a un
problema de autovalores de un operador autoadjunto (problema de Sturm-Liouville). Las
soluciones de este problema seran ortogonales para distintos autovalores, y se podra construir
una base del espacio de soluciones con ellas. En otras palabras, la parte angular de cualquier
solucion de la ecuacion diferencial (18.40) se podra escribir como una combinacion lineal de
los Pnm (cos ).
Puesto que los polinomios de Legendre se reobtienen con m = 0, se sigue que gran parte
de la discusion en las secciones 18.7 y 18.9 es solo una manifestacion de estas conclusiones
generales.

18.12. ARMONICOS
ESFERICOS

18.12.

203

Arm
onicos esf
ericos

En la seccion anterior mostramos que la parte angular de un problema laplaciano con

simetra esferica consta de dos partes:
()() = Anm Pnm (cos )eim ,
con Anm una cierta constante de normalizacion, m entero, positivo o negativo, si la funcion
debe ser mono-valuada en la variable , y n entero para que las soluciones no diverjan en
cos = 1.
La denicion (18.24) en principio solo contempla m > 0. Para incluir valores negativos
de m usamos la formula de Rodrigues en la denicion de Pnm (cos ):
Pnm (x) =

m+n
1
2 m/2 d
)
(x2 1)n ,
(1

x
n
m+n
2 n!
dx

n m n .

(18.47)

Normalizando las funcion asociadas de Legendre

"
Pnm (cos ) =

(2n + 1) (n m)! m
P (cos ) ,
2
(n + m)! n

n m n .

(18.48)

Ahora bien, la funcion m () = eim / 2 es ortonormal con respecto al angulo azimutal ,

y la funcion Pnm (cos ) es ortonormal con respecto al angulo polar . Consideramos entonces
el producto de ambas y denimos los arm
onicos esfericos:
"
Ynm (, ) = Ynm (, ) (1)m

(2n + 1) (n m)! m
P (cos ) eim ,
4 (n + m)! n

(18.49)

que son funciones en los dos angulos, ortonormales sobre la supercie esferica. La integral
completa de ortogonalidad es

=0

o bien,

=0

Ynm1 1 (, )Ynm2 2 (, ) sen dd = n1 n2 m1 m2 ,

donde es el angulo solido.

Ynm1 1 ()Ynm2 2 ()d = n1 n2 m1 m2 ,

(18.50)

(18.51)

CAPITULO 18. POLINOMIOS DE LEGENDRE

204

A continuacion, una lista de los primeros armonicos esfericos:

1
,
Y00 (, ) =
4
#
3
Y11 (, ) =
sen ei ,
8
#
3
Y10 (, ) =
cos ,
4
#
3
1
Y1 (, ) =
sen ei ,
8
#
5
2
Y2 (, ) =
3 sen2 e2i ,
96
#
5
3 sen cos ei ,
Y21 (, ) =
24
# 

5 3
1
0
2
cos
,
Y2 (, ) =
4 2
2
#
5
3 sen cos ei ,
Y21 (, ) =
24
#
5
2
Y2 (, ) =
3 sen2 e2i .
96

(18.52)

Parte de la importancia de los armonicos esfericos yace en la propiedad de completitud.

Esta propiedad, en este caso, signica que cualquier funcion f (, ), con las sucientes propiedades de continuidad, evaluada sobre la supercie de la esfera puede ser expandida en
una uniformemente convergente doble serie de armonicos esfericos, conocida como serie de
Laplace,

n


m
amn Yn (, ) =
amn Yn (, ) .
(18.53)
f (, ) =
m,n

n=0 m=n

Si f (, ) es conocida, los coecientes pueden ser inmediatamente encontrados por el uso de

la integral de ortogonalidad (18.50).
Una propiedad importante que satisfacen los armonicos esfericos es:
Ynm (, ) = (1)m Ynm (, ) .

(18.54)

Consideremos a continuacion dos direcciones en coordenadas polares esfericas en un espacio tridimensional, (1 , 1 ) y (2 , 2 ). El angulo entre las dos direcciones lo denotamos .
Este angulo satisface la siguiente identidad trigonometrica
cos = cos 1 cos 2 + sen 1 sen 2 cos(1 2 ) .

(18.55)

El teorema de adici
on para los arm
onicos esfericos arma que
Pn (cos ) =

n

4
(1)m Ynm (1 , 1 )Ynm (2 , 2 ) ,
2n + 1 m=n

(18.56)

 DE LA ECUACION
DE LEGENDRE
18.13. SEGUNDA SOLUCION

205

o equivalentemente
n

4
Pn (cos ) =
Y m (1 , 1 )Ynm (2 , 2 ) .
2n + 1 m=n n

(18.57)

En terminos de los polinomios de Legendre

n

(n m)! m
Pn (cos ) = Pn (cos 1 )Pn (cos 2 ) + 2
Pn (cos 1 )Pnm (cos 2 ) cos[m(1 2 )] .
(n + m)!
m=1
(18.58)
La ecuacion (18.55) es un caso especial de la ecuacion (18.58).

18.13.

Segunda soluci
on de la ecuaci
on de Legendre

Los polinomios de Legendre son solucion de la ecuacion diferencial (18.14). Pero esta es
una ecuacion de segundo grado, y por tanto debe existir otra solucion, linealmente independiente a los Pn (x). La encontraremos observando que los polinomios de Legendre son un caso
particular de la funcion hipergeometrica. En efecto, consideremos la ecuacion hipergeometrica
general:


1  1  1 

+
+
W
W +
zA
zB
zC






(A B)(B C)(C A)

+
+
W =0,

(z A)(B C) (z B)(C A) (z C)(A B)

(z A)(z B)(z C)

A B C
z
.
P

  

con soluciones

Considerando el caso particular

A = 1 ,
B=1,
C=,


= = 0 , = = 0 , = n ,  = n + 1 ,

(18.59)

que satisface la condicion +  + +  + +  = 1, la ecuacion hipergeometrica queda



1
n(n + 1)
1

W +
+
W
W =0,
z+1 z1
(z + 1)(z 1)
es decir

(z 2 1)W  + 2zW  n(n + 1)W = 0

que es la ecuaci
on diferencial de Legendre ya encontrada en (18.14).
Los polinomios de Legendre se pueden escribir entonces como la funcion

1 1

0 0 n z
.
Pn (z) = P

0 0 n+1

(18.60)

(18.61)

CAPITULO 18. POLINOMIOS DE LEGENDRE

206

As pues, la ecuacion de Legendre tiene singularidades Fuchsianas en 1, 1 e . Las

races de la ecuacion indicial en torno a 1 son ambas cero, por lo tanto estamos en el caso
incomodo, en que el metodo de Frobenius solo puede darnos una solucion por serie, y la otra
tiene un termino logartmico.
Observemos que la expresion (15.26) para la segunda solucion de una
 xecuacion con singularidades indica que esta solucion se puede escribir en la forma Pn (x) u(t) dt, con u(x)
cierta funcion. A partir de este hecho, se puede mostrar que la expresion
1
Qn (z) =
2

Pn (t)
dt
zt

(18.62)

es solucion de la ecuacion de Legendre. En efecto,

2

(z

1)Qn (z)

1
Pn (t)
Pn (t)
=
(z 1)
dt
z
dt
3
2
(z t)
1
1 (z t)

1 2
t 1
t(z t)
Pn (t) dt
+
=
3
(z t)3
1 (z t)
1
1
tPn (t)
dt
2
(t 1)Pn (t)
+
dt .
=
3
2
(z t)
1
1 (z t)

2zQn (z)

Integrando por partes la primera integral:

2

(z

1)Qn (z)

2zQn (z)


= (t2 1)Pn (t)

1
1

1

1

2(z t)2 1


 2
(t 1)Pn (t) + 2tPn (t)

dt
+
2(z t)2

tPn (t)
dt
(z t)2

(t2 1)Pn (t)

dt .
2(z t)2

Integrando nuevamente por partes:

2

(z

1)Qn (z)

2zQn (z)


= (t2 1)Pn (t)

1
1 2

(t 1)Pn (t) + 2tPn (t)
1
 +1
dt .
2(z t) 1 2 1
zt

Luego
(z 2 1)Qn (z) + 2zQn (z) n(n + 1)Qn (z)

1 1 (t2 1)Pn (t) + 2tPn (t) n(n + 1)Pn (t)
dt .
=
2 1
zt
Pero el integrando es precisamente la ecuacion de Legendre, que es satisfecha por los Pn ,
luego el integrando es cero y
(z 2 1)Qn (z) + 2zQn (z) n(n + 1)Qn (z) = 0 .

(18.63)

 DE LA ECUACION
DE LEGENDRE
18.13. SEGUNDA SOLUCION

207

Las funciones Qn (z) son la segunda soluci

on de la ecuacion de Legendre. (18.62) se puede
reescribir:

1
1 1
Q (z, t) dt ,
(18.64a)
Qn (z) = Pn (z)I(z)
2
2 1 n
con
1
dt
I(z) =
,
(18.64b)
1 z t
Pn (z) Pn (t)
.
(18.64c)
Qn (z, t) =
zt
Se tiene

t=1



z
+
1
I(z) = ln(z t)
,
= ln(z + 1) ln(z 1) = ln
z1
t=1

que es univaluado en todo el plano complejo, salvo en la recta 1 z 1, luego



z+1
I(z) = ln
, salvo en 1 z 1.
z1

(18.65)

El numerador de Qn es un polinomio de grado n, y su denominador es un polinomio de

grado 1. Se puede mostrar que Qn es un polinomio de grado n 1 en t y z. As, la segunda
integral en (18.64a) es un polinomio en z de grado n 1. Finalmente,


1
z+1
qn (z) ,
Qn (z) = Pn (z) ln
(18.66)
2
z1
con qn (z) un polinomio de grado n1 con coecientes reales, que tiene el termino logartmico
que esperabamos.
Para 1 < < 1, (18.66) nos permite armar que
Qn ( + 0i) = Qn ( 0i) iPn () .

(18.67)

Basta considerar el circuito en torno al polo en z = 1:

-1

+1

Armaci
on Si x es real, | x | > 1, entonces Qn (x) R.
Demostraci
on Basta observar que el argumento del logaritmo en (18.66) es siempre positivo, pues el numerador y el denominador son positivos (negativos) si x > 1 (x < 1).
q.e.d.

CAPITULO 18. POLINOMIOS DE LEGENDRE

208

Denominamos a las soluciones Qn de la ecuacion de Legendre, funciones de Legendre de

segunda especie.
De las expresiones explcitas (18.64a), (18.64c) y (18.66), notamos que


z+1
1
,
(18.68)
Q0 (z) = ln
2
z1


z+1
z
Q1 (z) = ln
1 .
(18.69)
2
z1
Expansi
on en serie
Podemos utilizar (18.62) para encontrar una expansion en serie para Qn . En efecto,
1
Qn (z) =
2z

1
Pn (t) dt .
1 zt

Si | z | > 1,
 

1  1 t
Qn (z) =
Pn (t) dt .
2z =n 1 z
Observemos que todos los terminos con < n en la suma son cero, debido a la ortogonalidad
de Pn (t) y t . Obtenemos as
Qn (z) =

bn+1
bn+2
+
+ ,
z n+1 z n+2

con
1
b =
2

En particular,
bn+1

1
=
2

t1 Pn (t) dt .

tn Pn (t) dt .

Como

1 3 (2n 1) n
t + ,
1 2 n
se tiene, dada la ortogonalidad de Pn (t) con polinomios de grado menor que n,
Pn (t) =

bn+1

1 2 n
1
=
2 1 3 (2n 1)

Pn (t)Pn (t) dt =

Es decir,
bn+1 =

n!
.
(2n + 1)!!

1
1 2 n
2
.
2 1 3 (2n 1) 2n + 1

 DE LA ECUACION
DE LEGENDRE
18.13. SEGUNDA SOLUCION

209

Relaci
on de recurrencia
Obtengamos una relacion de recurrencia para Qn (z). En general,
lm z n Qn (z) = 0 ,

| z |

n = 0, 1. . .

Sea n 1. Entonces
(n + 1)Qn+1 z(2n + 1)Qn + nQn1 =


1
z+1
[(n + 1)Pn+1 z(2n + 1)Pn + nPn1 ] ln
(polinomio) .
2
z1
El factor entre parentesis cuadrados es cero. Sea | z | . Entonces
0 = lm (polinomio) ,
| z |

luego el polinomio es nulo. Por tanto, para todo z,

(n + 1)Qn+1 z(2n + 1)Qn + nQn1 = 0

(18.70)

Ejemplo Sea z  [1, 1]. Entonces


1
an Pn (t) ,
=
z t n=0

al menos en 1 t 1. Los coecientes de la expansion estan dados por


 1
Pn (t)
1
dt = (2n + 1)Qn (z) ,
an = n +
2
1 z t
luego


1
(2n + 1)Pn (t)Qn (z) .
=
z t n=0

(18.71)

Armaci
on (Sin demostraci
on) El desarrollo (18.71) es valido en el interior de la elipse
con focos en 1 que pasa por z:
Im(t)
z

-1

Re(t)

210

CAPITULO 18. POLINOMIOS DE LEGENDRE

Captulo 19
La ecuaci
on diferencial de Bessel
versi
on nal 3.2-13 enero 2003

19.1.

La ecuaci
on diferencial de Bessel

Consideremos en la ecuacion hipergeometrica general el caso A = 0, C = , +  = 0,

+  = 1 y +  = 0, lo cual esta de acuerdo con +  + +  + +  = 1


B 
1 

B 

+
=0,
+
+ + 2
z
z (z B) z(z B)2 z(z B)
si consideramos ademas,  =  = B 2 y tomamos el lmite B , obtenemos


1 
2
+ + 1 2 =0 .
z
z


(19.1)

la cual es conocida como la ecuacion diferencial de Bessel. Esta ecuacion tiene una singularidad fuchsiana en z = 0 cuando Re() > 0. Planteamos como solucion
(z) = z

a z =

=0

a z + .

=0

Sustituyendo en la ecuacion (19.1)

z 2  + z 2 = z 2 ,
tenemos

a ( + )( + 1) + a ( + ) a

=0

obteniendo


=2



a ( + )2 2 = a2 ,
211

= 2, 3, . . . ,

a2 z + ,

 DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION

212
mientras que para = 0

a0 ( 2 2 ) = 0 ,

lo que da una ecuacion para el exponente 2 = 2 , con dos soluciones, 1 = + y 2 = .

Elegimos = 1 = + y a0 = 0. Para = 1
a1 (1 + 2) = 0 ,
ormula recursiva para los coecientes
lo que implica a1 = 0. Ademas, usando la f
a =

a2
,
( + 2)

(19.2)

se puede demostrar que todos los coecientes impares son nulos. Los coecientes pares
a0
a0
,
a4 = 4
, ...
a2 = 2
2 1! ( + 1)
2 2! ( + 1)( + 2)
El termino general es
a2 = (1)

22

a0
.
! ( + 1)( + 2) ( + )

Tomando
a0 =
se obtiene
J (z) =

 z  

=0

1
,
( + 1)

 z 2
(1)
,
! ( + + 1) 2

(19.3)

con Re 0, conocida como funcion de Bessel de orden .

19.2.

Funciones de Bessel de ndice no entero

Consideremos = . Hay solucion, en este caso, linealmente independiente de J , en

forma de serie

 z  
 z 2
(1)
,
(19.4)
J (z) =
2
!
(

+
1)
2
=0
Ejemplo Observemos que si = 1/2, la resta de las dos races 1 2 = 1/2 + 1/2 = 1 Z.
Sin embargo, a pesar de estar en el caso incomodo las dos soluciones todava funcionan
(habamos encontrado un hecho similar al discutir el oscilador armonico). En efecto, consideremos = 1/2. El denominador en (19.3) se puede reescribir
!( + 3/2) = !( + 1/2)( + 1/2) .

Pero (n + 1/2) = (2n 1)!! /2n , luego

! ( + 3/2) = !( + 1/2)(2 1)!! /2

= !(2 + 1)(2 1)!! /2+1

= !(2 + 1)!! /(2+1 )

19.3. FUNCIONES DE BESSEL DE INDICE ENTERO

Y como (2n + 1)!! =

213

(2n + 1)!
, de modo que
2n n!

! ( + 3/2) = (2 + 1)! /22+1 ,

se tiene nalmente

#
J1/2 (z) =

z 1  (1) 22+1 z 2+1

,
2 z =0 (2 + 1)! 22

es decir
J1/2 (z) =

2  (1) 2+1
z
.
z =0 (2 + 1)!

(19.5)

La sumatoria en (19.5) es el desarrollo en serie de sen z, luego

#

2 sen z

(19.6)

2  (1) 2
z ,
z =0 (2)!

(19.7)

J1/2 (z) =
La otra solucion resulta ser

#
J1/2 (z) =

o bien

#
J1/2 (z) =

2 cos z

(19.8)

Sin demostracion: J para ndices = (2n + 1)/2 se expresa por formulas semejantes.

19.3.

Funciones de Bessel de ndice entero

Para = n Z, Jn dada por (19.3) es holomorfa en z = 0, y en realidad holomorfa en

todo el plano. Consideremos la primera funcion de Bessel, es decir con n = 0, y derivemosla:


(1)  z 2
1 z2
1 z4
=
1

+
,
J0 (z) =
(!)2 2
(1!)2 22 (2!)2 24

J0 (z) =

2 z
4 z3
6 z5
+

+ .
(1!)2 22 (2!)2 24 (3!)2 26

Por otra parte, la funcion de Bessel de ndice uno es

$
%

1 z2
z  (1)  z 2
z
1 z4
1
=
+
.
J1 (z) =
2 !( + 1)! 2
2
(1!)2 22 (2!)2 24
Comparando concluimos que
J1 (z) = J0 (z) .

(19.9)

 DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION

214
1

J0(z) funcin par

0.8
0.6

J1(z) funcin impar

0.4
0.2
0
0.2
0.4
0.6

z
Para ndice entero positivo, (19.3) da

 z n 
(1)  z 2
Jn (z) =
.
2 =0 ! ( + n)! 2

(19.10)

Para ndice entero pero negativo:

Jn (z) =

 z n 

=n

 z 2
(1)
.
! ( n + 1) 2

Consideraremos nulos los coecientes con < n en la funcion gamma (la funcion gamma
tiene polos en = 0, 1, 2, . . . , luego 1/() = 0). Sea = n. Luego

 z n 
(1) (1)n  z 2
Jn (z) =
,
2 =0 ( + n)!! 2
lo que resumimos como
Jn (z) = (1)n Jn (z) .

19.4.

(19.11)

Comportamiento asint
otico

Proposici
on 19.1 Para una variable real x 1, toda solucion real de la ecuacion de Bessel
es aproximadamente de la forma A cos(x + )/ x.
Demostraci
on Sea

x(x) = u(x) .

Despejando y diferenciando tenemos

(x) = x1/2 u(x) ,
1
 (x) = x1/2 u (x) x3/2 u(x) ,
2
3
 (x) = x1/2 u (x) x3/2 u (x) + x5/2 u(x).
4

 GENERATRIZ
19.5. FUNCION

215

Sustituyendo en la ecuacion de Bessel,



u (x) 3 u(x) u (x) 1 u(x)
2
u (x)
+

+
+ 1 2 u(x) = 0 ,
x
4 x2
x
2 x2
x


quedando

1/4 2
u (x) + 1
x2



u(x) = 0 .

Para x muy grande,

u (x) + u(x) = 0 ,

con solucion u(x) = A cos(x + ) ,

luego la solucion completa es

(x) = A

cos(x + )

.
x
q.e.d.

Por otra parte, cerca de cero la funcion de Bessel de ndice nulo se puede aproximar por
z2 z4
J0 (z) 1
+
=
4
64

19.5.

z2
1
8

2
.

(19.12)

Funci
on generatriz

Buscamos una funcion generatriz de las funciones de Bessel de ndice entero,

(z, s) =

sn Jn (z) .

(19.13)

n=

Usando (19.10) (que es valida tambien si n < 0, recordando que 1/h! 0 si h < 0, h Z),
(z, s) =
=
=


(1)l  z 2l+n
l!(l + n)! 2
n=
l=0



(1)l  z 2l  zs n

sn

n= l=0



n= l=0

l!(l + n)! 2
(1)l  z l
l!

2s

2
 zs l+n
1
(l + n)! 2

Sea h = l + n. La doble suma se puede reescribir




n= l=0


l=0 h=

 DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION

216

pero los factores de la forma 1/h! reducen la suma sobre h a ir entre 0 e . As,




z
zs
(1)l  z l  1  zs h
(z, s) =
= e 2s e 2 .
l!
2s
h! 2
l=0
h=0
De este modo, la funcion generatriz queda

 


1
z
s
=
(z, s) = exp
Jn (z)sn .
2
s
n=

19.6.

(19.14)

F
ormulas de adici
on

Consideremos la funcion generatriz (19.14) con argumento z = (z1 + z2 )/2




 

 

z1 + z2
1
1
1
z1
z2
exp
s
= exp
s
exp
s
,
2
s
2
s
2
s

s Jn (z1 + z2 ) =
s J (z1 )
s J (z2 ) .
n=

Comparando coecientes para igual potencia en s tenemos

Jn (z1 + z2 ) =

J (z1 )Jn (z2 ) .

(19.15)

Particularicemos (19.15) al caso n = 0 y z1 = z = z2

J0 (0) = 1 =

J02 (z)

J (z)J (z) +

=1

1=

J (z)J (z) ,

=1

obteniendo
J02 (z)

+2

J2 (z) .

(19.16)

=1

En el caso que la variable z R y considerando que | J0 (z) | 1, podemos acotar los J por
1
| J (z) | ,
2

si = 1, 2, 3, . . .

Reemplazamos s = ei con R, luego



1
1
1
s
= (ei ei ) = i sen .
2
s
2
En la funcion generatriz,


 
1
z
s
= exp(iz sen ) ,
exp
2
s

(19.17)

19.7. REPRESENTACIONES INTEGRALES

217

luego

exp(iz sen ) =

ein Jn (z) .

(19.18)

n=

Desarrollando, y usando (19.11),

exp(iz sen ) = J0 (z) +

Jn (z)(cos n + i sen n) +

n=1

= J0 (z) + 2

J2m (z) cos 2m + 2i

m=1

Jn (z)(cos n i sen n) ,

n=1

J2m+1 (z) sen(2m + 1) ,

m=1

Comparando partes real e imaginaria, con x R,

cos(x sen ) = J0 (x) + 2
sen(x sen ) = 2

J2m (x) cos 2m ,

m=1

(19.19)

J2m+1 (x) sen(2m + 1) .

m=0

Sea = 0. Entonces
1 = J0 (x) + 2

J2m (x) .

(19.20)

m=1

Sea = /2. Entonces

cos x = J0 (x) + 2
sen x = 2

(1)m J2m (x) ,

m=1

(19.21)

(1)m J2m+1 (x) .

m=0

19.7.

Representaciones integrales

Cambiemos el ndice de suma en (19.18) a m, multipliquemos la ecuacion por eim e

integremos en . Se obtiene

exp(i(z sen m)d = 2Jm (z) .

Si x R entonces Jm (x) es real, lo que signica

1
cos (x sen m) d ,
Jm (x) =
2
por paridad de la funcion subintegral, podemos reescribir la integral como

1
Jm (x) =
cos (m x sen ) d .
0

(19.22)

 DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION

218
En particular,
1
J0 (x) =

1
cos(x sen ) d =

/2

cos(x sen ) d +

/2

cos(x sen ) d

Haciendo el cambio de variable = , tenemos



0
/2
1
J0 (x) =
cos(x sen ) d +
cos(x sen( + )) d .
0
/2
Usando que sen( + ) = sen y que coseno es una funcion par,


0
/2
1
cos(x sen ) d +
cos(x sen ) d .
J0 (x) =
0
/2
Sumando ambas integrales

1
J0 (x) =

/2

/2

cos(x sen ) d .

Hagamos el cambio de variable en (19.23) = sen . Entonces d =

nos queda

J0 (x) =

(19.23)
d
y la integral
1 2

cos(x)

d .
1 2

Denamos una funcion p() de la forma

0
si | | 1,
1
p() =

si | | < 1,
1 2
podemos reescribir J0 como

J0 (x) =
cos(x)p() d .

Con los cambios de variable x = t y = 2s, obtenemos

J0 (t) =
cos(2st)F (s) ds ,

donde

si | s |

1
,
2

2
1

si | s | < 2
.
2
1 4s
De lo anterior se desprende, puesto que J0 (x) es una funcion par, que F (s) es precisamente
la transformada de Fourier de J0 (x):
F (s) =

F{J0 , s} = F (s) .
Analogamente, tomando transformada de Fourier a la relacion (19.9) obtenemos
F{J1 , s} = F{J0 , s} = i2sF{J0 , s} = 2isF (s) .

19.8. RELACIONES DE RECURRENCIA

19.8.

219

Relaciones de recurrencia

Derivemos la funcion generatriz (19.14) respecto a s,



(z, s)
z
=
s
2

nsn+1 Jn (z) =

n=

1
1+ 2
s

sn Jn (z) ,

n=

z
[Jn1 + Jn+1 ] sn+1 .
2 n=

Comparando coecientes,
2n
Jn (z) = Jn1 (z) + Jn+1 (z) .
z

(19.24)

Derivamos (19.14) respecto a z y obtenemos

(z, s)
1
=
z
2

sn Jn (z) =

n=

1
s
s

sn Jn (z) ,

n=

1
[Jn1 Jn+1 ] sn .
2 n=

Comparando coecientes
2Jn (z) = Jn1 (z) Jn+1 (z) .

(19.25)

Sumando (19.24) y (19.25) tenemos

es decir

n
Jn (z) + Jn (z) = Jn1 (z) ,
z

(19.26)

z n Jn1 (z) = [z n Jn (z)] .

(19.27)

Por otro lado, restando (19.24) y (19.25) obtenemos

n
Jn (z) = Jn+1 (z) ,
z

(19.28)



z n Jn+1 (z) = z n Jn (z) .

(19.29)

Jn (z)
es decir

(19.27) y (19.29) indican que, al igual que los polinomios de Hermite, las funciones de
Bessel de ndice entero tienen operadores de subida y de bajada. En este caso, el operador
de subida es
d 1
,
z n
dz z n
y el de bajada es
1 d n
z .
z n dz

 DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION

220

Finalmente, consideremos (19.20)

1 = J0 (z) + 2

J2 (z) =

=1

[J2 (z) + J2+2 (z)] .

=0

Usando la relacion de recurrencia (19.24) para n = 2 + 1 tenemos

1=2


2 + 1

=0

J2+1 (z) ,

z 
=
(2 + 1)J2+1 (z) ,
2 =0

y por induccion completa:

 z n
2


(2 + n)(n + + 1)!

=0

J2+n (z) .

(19.30)

Podemos pues expresar cualquier serie de potencias en serie de funciones de Bessel.

19.9.

Relaciones de ortogonalidad

Estudiemos las relaciones de ortogonalidad en el intervalo 0 x . Consideremos

f (x) = J (hx) ,

g(x) = J (kx) ,

con h = k.

(19.31)

Tomemos las derivadas

f  (x) = hJ (hx) ,
g  (x) = kJ (kx) ,

f  (x) = h2 J (hx) ,

g  (x) = k 2 J (kx) .

La ecuaciones de Bessel que satisfacen son:


1 
+
J (hx) + h2
hx

1 

J (kx) +
J (kx) + k 2
kx

J (hx)


2
J (hx) = 0 ,
x2

2
J (kx) = 0 .
x2

Multiplicando la primera ecuacion por h2 y la segunda por k 2 y usando las deniciones dadas
en (19.31) obtenemos


1 
2

2
f (x) + f (x) + h 2 f (x) = 0 ,
x
x


(19.32)
1 
2

2
g (x) + g (x) + k 2 g(x) = 0 .
x
x

19.10. PROBLEMA DE STURM-LIOUVILLE ASOCIADO

221

Multiplicando por xg(x) y por xf (x) respectivamente y restando,

xf (x) g(x) xg(x) f (x) + (xf  (x)g  (x) xf  (x)g  (x))
+ f  (x)g(x) f (x)g  (x) + x(h2 k 2 )f (x)g(x) = 0 .
El factor entre parentesis corresponde a un cero agregado para lograr el reordenamiento


[x(f  (x)g(x) f (x)g  (x))] = (k 2 h2 )xf (x)g(x) .

Integrando en el intervalo a x b

a


b
1


x(f (x)g(x) f (x)g (x)) .
tf (t)g(t) dt = 2
k h2
a

La expresion del lado derecho se anulara en tres casos

1. Si J (hx) y J (kx) se anulan en a y en b.
2. Sus derivadas se anulan en a y en b.
3. O bien J (ha) = J (ka) = 0 = J (hb) = J (kb).
De cualquier modo,

xJ (hx)J (kx) dx

es la tpica integral que interviene en asuntos de ortogonalidad.

Ortogonalidad
Por ejemplo, para m = n, se tiene ortogonalidad sobre el intervalo [0, a] con
a 
 

J n
d = 0 ,
J m
a
a
0

(19.33)

donde los m son tales que J (m ) = 0.

Normalizaci
on (sin demostracion)
a 
2
a2
d = [J+1 (m )]2 .
J m
a
2
0

19.10.

(19.34)

Problema de Sturm-Liouville asociado



(19.33) y (19.34) sugieren que J m a pueden ser base de un espacio de funciones en
[0, a]. Poniendo h = m /a y = en (19.32) encontramos que satisfacen la ecuacion

 2
m 2
1 

f () + f () +
2 f () = 0 ,

a2

222

DIFERENCIAL DE BESSEL
CAPITULO 19. LA ECUACION

que se puede reescribir




f () + f () +
o bien

d
d

d
f
d


+

2
m
2

a2
2

2
2
m

a2
2


f () = 0 ,


f () = 0 ,

(19.35)

que es un problema de autovalores de un operador autoadjunto. En efecto, tomando el operador autoadjunto



d
d
2
L=

,
d
d

y la funcion de peso
w() = > 0 en [0, ] ,
(19.35) corresponde al problema de autovalores de L, con autovalores
m =

2
m
.
a2

As, las funciones J (m ) asociadas a cada autovalor, para m = 0, 1, 2,. . . ( esta jo) seran
un set completo en el cual se podra expandir cualquier funcion en [0, ].
A que problemas fsicos esta asociado este problema de Sturm-Liouville? Consideremos
nuevamente el operador laplaciano, como en (18.40), pero ahora en coordenadas cilndricas:




d
1 d2
1 d
d2
2
(19.36)

+ 2 2 + 2 (, , z) .
(r ) =
d
d
d
dz
Se aprecia de inmediato que en un proceso de separacion de variables, las derivadas respecto
a z seran reemplazadas por una constante, y las derivadas respecto a seran reemplazadas por otra constante, quedando para la parte radial precisamente la ecuacion de Bessel
en la forma (19.35). Por tanto, las funciones de Bessel apareceran tpicamente (no u
nicamente) como soluciones de problemas que involucren el operador de Laplace (encontrar un
potencial electrostatico ecuacion de Laplace, modos normales de oscilacion ecuacion
de Helmholtz, etc.) y que tengan simetra cilndrica.