Funciones ortogonales y sus aplicaciones

22 de diciembre de 2010
Resumen
En el presente informe se estudiaran algunas funciones ortogonales
de mucha importancia en el campo de las ciencias y sus aplicaciones a
la matematica y a la fsica. Las funciones que se analizaran son los poli-
nomios de Legendre, Laguerre, Hermite y Chebyshev y las funciones
de Bessel
1. Polinomios de Legendre
1.1. Ecuacion y polinomios de Legendre
La ecuacion de Legendre, aparece en una variedad de problemas en
Mecanica Cuantica, Astronoma, Analisis de conduccion de calor, y aparece
tambien en planteamientos en los que es natural utilizar coordenadas esferi-
cas.
Denicion 1.1. La ecuaci on
(1 x
2
)y 2xy + ( + 1)y = 0, con 0 (1)
se llama ecuacion de Legendre de orden .
Observacion 1.1. 1. La ecuacion 1 puede ser escrita en la forma
[(1 x
2
)y] + ( + 1)y = 0 (2)
2. x
0
= 0 es un punto ordinario de la ecuacion de Legendre
1
1.2. Soluciones de la ecuacion de Legendre de orden .
Supongamos una solucion de la forma y =

n=0
a
n
x
n
, as al reem-
plazarla en la ecuacion de Legendre, corriendo algunos ndices y efectuando
algunos calculos se tiene
2a
2
+ ( + 1)a
0
+ [( + 2)( + 1)a
1
+ (3 2)a
3
]x+

n=2
[(n + 2)(n + 1)a
n+2
+ ( + n + 1)( n)a
n
]x
n
= 0,
de donde
2a
2
+ ( + 1)a
0
= 0,
( + 2)( 1)a
1
+ 2 3a
3
= 0
y
(n + 2)(n + 1)a
n+2
+ ( + n + 1)( n)a
n
= 0 n 2.
As
a
2
=
( + 1)
2
a
0
(3)
a
3
=
( 1)( + 2)
3!
a
1
(4)
a
n+2
=
( + n + 1)( n)
(n + 1)(n + 2)
a
n
, n 2 (5)
Reemplazando en y =

n=0
, se tiene
y =a
0
_
1
( + 1)
2!
x
2
+
( + 3)( + 1)( 2)
4!
x
4
...
_
+ a
1
_
x
( + 2)( 1)
3!
x
3
+
( + 4)( + 2)( 1)( 3)
5!
x
5
...
_
(6)
Donde a
0
y a
1
son constantes arbitrarias. Tomando a
0
= a
1
= 1 se tiene
y
1
= 1
( + 1)
2!
x
2
+
( + 3)( + 1)( 2)
4!
x
4
...
y
2
= x
( + 2)( 1)
3!
x
3
+
( + 4)( + 2)( 1)( 3)
5!
x
5
...
2
Observacion 1.2. 1) Si = 2n ( es par), entonces la serie de y
1
(x) es
un polinomio de grado 2n, con solo potencias pares de x.
2) Si = 2n+1 ( es impar), entonces la serie de y
2
(x) es un polinomio
de grado 2n + 1 con solo potencias impares de x.
Denicion 1.2. (Polinomio de Legendre) El polinomio de Legendre
P
n
(x), de grado se dene como la solucion polinomial de la ecuacion de
Legendre de orden n, que satisface la condicion P
n
(1) = 1. Algunos de los
polinomios de Legendre son:
P
0
(x) = 1,
P
1
(x) = x,
P
2
(x) =
1
2
(3x
2
1),
P
3
(x) =
1
2
(5x
3
3x), etc.
1.3. Propiedades de los polinomios de Legendre
Teorema 1.1. P
n
(x) =

M
k=0
(1)
k
(2n2k)!
2
n
k!(nk)!(n2k)!
x
n2k
.
donde M =
_
n
2
si n es par
n1
2
si n es impar
Demostracion. 1) P
n
(x) es un polinomio de un grado n que contiene solo
potencias pares o impares de x, seg un sea n, par o impar respectivamente,
por lo tanto P
n
(x) se puede escribir de la forma:
P
n
(x) = a
n
x
n
+ a
n2
x
n2
+ a
n4
x
n4
+ ... + q(x) (7)
donde
q(x) =
_
a
0
si n es par
a
1
x si n es impar
De (5) tenemos que
a
n+2
=
( + n + 1)( n)
(n + 1)(n + 2)
a
n
n 2
corriendo ndices se obtiene
a
k
=
( + k 1)( k + 2)
k(k 1)
a
k2
k 4
3
de donde, despejando a
k2
a
k2
=
k(k + 1)
( + k 1)( k + 2)
a
k
k 4.
Luego, haciendo = n
a
k2
=
k(k + 1)
(n + k 1)(n k + 2)
a
k
k 4, (8)
entonces, de (8)
a
n2
=
n(n 1)
2(2n 1)
a
n
para k = n (9)
a
n4
=
(n 2)(n 3)
4(2n 3)
a
n2
para k = n 2 (10)
de (9) y (10)
a
n4
=
(1)
2
n)(n 1)(n 2)(n 3)
2 4(2n 1)(2n 3)
a
n
as
P
n
(x) = a
n
_
x
n

n(n 1)
2(2n 1)
x
n2
+
(1)
2
n)(n 1)(n 2)(n 3)
2 4(2n 1)(2n 3)
x
n4
...
... + (1)
k
n(n 1)(n 2)...(n k + 1)
2
k
k!(2n 1)(2n 3)...(2n 2k + 1)
x
n2k
+ ... + q(x)
_
(11)
pero
n(n 1)(n 2)...(n 2k + 1) =
n!
(n 2k)!
y
(2n 2k + 1)(2n 2k + 3)...(2n 3)(2n 1)
=
(2n 2k + 1)(2n 2k + 2)...(2n 1)(2n 2)(2n)
(2n 2k + 2)(2n 2k + 4)...(2n 2)(2n)
(2n 2k)!
(2n 2k)!
=
(2n!)
(2n 2k)!
1
2
k
(n k + 1)(n k + 2)...(n 1)n
=
(2n)!(n k)!
2
k
n!(2n 2k)!
As el coeciente de x
n2k
en (11) es
(1)
k
n!
(n2k)!
2
k
n!(2n 2k)!
2
k
k!(2n)!(n k)!
= (1)
k
(n!)
2
(2n 2k)!
k!(2n)!(n k)!(n 2k)!
.
4
Haciendo a
n
=
(2n)!
2
n
(n!)
2
, n 0, tenemos que el coeciente de x
n2k
es
(1)
k
(2n 2k)!
2
n
(n k)!(n 2k)!k!
k = 0, 1, ..., M,
luego
P
n
(x) =
M

k=0
(1)
k
(2n 2k)!
2
n
(n k)!(n 2k)!k!
x
n2k
n 0.
La eleccion a
n
=
(2n)!
2
n
(n!)
2
se hace para que P
n
(1) = 1.
Teorema 1.2. (Formula de Rodriguez)
P
n
(x) =
1
2
n
n!
d
n
dx
n
_
(x
2
1)
n
_
.
Demostracion. Como
(2n 2k)!
(n 2k)!
x
n2k
=
d
n
dx
n
(x
2n2k
)
se sigue que
P
n
(x) =
M

k=0
(1)
k
2
n
k!(n k)!
d
n
dx
n
(x
2n2k
)
=
1
2
n
n!
M

k=0
(1)
k
n!
k!(n k)!
d
n
dx
n
(x
2n2k
)
=
1
2
n
n!
d
n
dx
n
_
M

k=0
_
n
k
_
(x)
nk
(1)
k
_
, (12)
pero
d
n
dx
n
(x
2n2k
) = 0 cuando k > M. Entonces la sumatoria en (12) pode-
mos extenderla hasta n. As,
P
n
(x) =
1
2
n
n!
d
n
dx
n
_
M

k=0
_
n
k
_
(x
2
)
nk
(1)
k
_
,
ademas
n

k=0
_
n
k
_
(x
2
)
nk
(1)
k
= (x
2
1)
n
,
5
nalmente tenemos
P
n
(x) =
1
2
n
n!
d
n
dx
n
_
(x
2
1)
n
_
.
Teorema 1.3. (Ortogonalidad de los polinomios de Legendre)
_
1
1
P
n
(x)P
m
(x)dx = 0 m ,= n,
es decir, los plinomios de Legendre son ortogonales entre si en el espacio
vectorial de las funciones continuas a tramos en [1, 1] con el producto in-
terno
f, g =
_
1
1
f(x)g(x)dx.
Demostracion. Sea m ,= n. Como P
m
y P
n
satisfacen las ecuaciones de
Legendre de orden m y n respectivamente, entonces
(1 x
2
)P

n
(x) 2xP

n
(x) + n(n + 1)P
n
(x) = 0,
(1 x
2
)P

m
(x) 2xP

m
(x) + m(m + 1)P
m
(x) = 0
Multiplicando la primera igualdad por P
m
y la segunda por P
n
y restando
las ecuaciones resultantes se obtiene:
(1 x
2
)[P

n
(x)P
m
(x) P

m
(x)P
n
(x)] 2x[P

n
(x)P
m
(x) P

m
(x)P
n
(x)] =
[m(m + 1) n(n + 1)]P
m
(x)P
n
(x).
El primer miembro se puede escribir como
d
dx
[(1 x
2
)(P

n
(x)P
m
(x) P

m
(x)P
n
(x))],
as,
d
dx
[(1x
2
)(P

n
(x)P
m
(x)P

m
(x)P
n
(x))] = [m(m+1)n(n+1)]P
m
(x)P
n
(x).
Integrando ambos miembros entre 1y 1, obtenemos
[(1 x)(P

n
(x)P
m
(x) P

m
(x)P
n
(x))]
1
1
=
= [m(m + 1) n(n + 1)]
_
1
1
P
m
(x)P
n
(x)dx
6
observando que el primer miembro es cero y como m ,= n, entonces
[m(m + 1) n(n + 1)] ,= 0,
Por lo tanto
_
1
1
P
n
(x)P
m
(x)dx = 0
Observacion 1.3. P
0
, P
1
, ..., P
n+1
es una base ortogonal del espacio T
n+2
de los polinomios de grado menor que n+2, por lo tanto P
n
(x) es ortogonal
a cualquier polinomio p
k
(x) de grado k < n.
Teorema 1.4. Relacion de recurrencia
P
n+1
(x) =
2n + 1
n + 1
xP
n
(x)
n
n + 1
P
n1
(x) n 1
Demostracion. Como P
0
, P
1
, ..., P
n+1
es una base de T
n+2
, y como xP
n
(x)
es un polinomio de grado n + 1, se sigue que
xP
n
(x) =
n+1

k=0
xP
n
(x), P
k
(x)
P
k
(x), P
k
(x)
P
k
(x)
pero
xP
n
(x), P
k
(x) = P
n
(x), xP
k
(x) = 0
para k < n 1, por lo tanto
xP
n
(x) =
xP
n
(x), P
n1
(x)
P
n1
(x), P
n1
(x)
P
n1
(x)
+
xP
n
(x), P
n
(x)
P
n
(x), P
n
(x)
P
n
(x) +
xP
n
(x), P
n+1
(x)
P
n+1
(x), P
n+1
(x)
P
n+1
(x). (13)
como
xP
n
(x), P
n
(x) =
_
1
1
x[P
n
(x)]
2
dx = 0
pues x[P
n
(x)] es una funcion impar. Entonces (13) queda de la forma:
xP
n
(x) = P
n+1
(x) + P
n1
(x) (14)
donde y son n umeros reales por determinar.
Usando la frmula de Rodriguez se tiene
P
k
(x) =
1
2
k
k!
d
k
dx
k
(x
2
1)
k
,
7
donde el coeciente de x
k
es
1
2
k
k!
2k(2k 1)...[2k (k 1)] =
1
2
k
k!
2k(2k 1)...(k 1)
=
2k(2k 1)...(k + 1)k!
k
(k!)(k!)
=
(2k)!
(k!)
2
(15)
como
(x
2
1)
k
= x
2k
kx
2k2
+
k(k 1)
2!
x
2k4
...,
se sigue que el coeciente de x
k2
en P
k
(x) es
1
2
k
k!
(k)(2k 2)...[2k 2 (k 1)] =
(2k 2)!
2
k
(k 1)!(k 2)!
. (16)
El coeciente x
n+1
en ambos miembros de (14) se determina usando (15).
Para el primer miembro dicho coeciente es
(2n)!
2
n
(n!)
2
y para el segundo es

[2(n+1)]!
2
n+1
[(n+1)!]
2
. Igualando estos coecientes resulta
=
n + 1
2n + 1
reemplazando este valor de en (14) se tiene
xP
n
(x) =
n + 1
2n + 1
P
n+1
(x) + P
n1
(x). (17)
Para encontrar usamos (15) y (16) para determinar el coeciente de x
n1
en ambos lados de (17) e igualando los resultados se tiene
(2n 2)!
2
n
(n 1)!(n 2)!
=
n + 1
2n + 1
(2(n + 1) 2)!
2
n+1
n!(n 1)!
+
[2(n 1)]!
2
n1
[(n 1)!]
2
de donde
=
n
2n + 1
,
sustituyendo este valor de en (14) tenemos
xP
n
(x) =
n + 1
2n + 1
P
n+1
(x) +
n
2n + 1
P
n1
(x)
o equivalentemente
P
n+1
(x) =
2n + 1
n + 1
xP
n
(x)
n
n + 1
P
n1
(x)
8
Teorema 1.5.
P
n
(1) = (1)
n
n
Demostracion. Aplicar induccion matematica. La armacion es inmediata
para n = 0 y n = 1. Supongamos que P
i
(1) = (1)
i
para i = 0, 1, ..., n. Se
sigue de la relacion de recurrencia que
P
n+1
(1) =
2n + 1
n + 1
(1)(1)
n

n
n + 1
(1)
n1
=
2n + 1
n + 1
(1)
n+1

n
n + 1
(1)
n+1
= (1)
n+1
_
2n + 1
n + 1

n
n + 1
_
= (1)
n+1
Teorema 1.6.
[[P
n
(x)[[
2
=
2
2n + 1
n 0
Demostracion. Se desea probar que
_
1
1
P
2
n
dx =
2
2n + 1
.
Consideremos el polinomios
p(x) = P
n
(x)
2n 1
n
xP
n1
(x)
este polinomio es de grado menor que n puesto que el coeciente de x
k
en
P
k
(x) es
(2k)!
2
k
k!k!
como se observo en la demostracion del teorema anterior.
As, el coeciente de x
n
en p(x) es igual al coeciente de x
n
en P
n
(x) menos
2n1
n
por el coeciente de x
n1
.Por tanto el coeciente de x
n
en p(x) es igual
a
(2n)!
2
n
(n!)
2

2n 1
n
[2(n 1)]!
2
n1
[(n 1)!]
2
=
(2n)!
2
n
(n!)
2

(2n 1)[2(n 1)]!
n2
n1
[(n 1)!]
2
=
(2n)!
2
n
(n!)
2

(2n 1)!
2
n1
n!(n 1)!
2n
2n
=
(2n)!
2
n
(n!)
2

(2n)!
2
n
(n!)
2
= 0,
9
por lo tanto el grado de p(x) es menor que n. Luego p(x) es ortogonal a
P
n
(x), o sea, p(x), P
n
(x) = 0, de donde
_
P
n
(x)
2n 1
n
xP
n1
(x), P
n
(x)
_
= 0,
P
n
(x), P
n
(x)
2n 1
n
xP
n1
(x), P
n
(x) = 0,
lo que implica
[[P
n
(x)[[
2
=
2n 1
n
_
1
1
xP
n1
(x)P
n
(x). (18)
Por otra parte multiplicando, cada miembro de la relacion de recurrencia
por P
n1
(x), e integrando entre 1 y 1 resulta
P
n+1
(x), P
n+1
(x) =
2n 1
n
xP
n
(x), P
n1
(x)
n
n + 1
P
n1
(x), P
n1
(x).
Considerando la ortogonalidad y la denicion de producto interno tenemos
0 =
2n 1
n
_
1
1
xP
n
(x)P
n1
(x)dx
n
n + 1
[[P
n1
(x)[[
2
de donde
_
1
1
xP
n
(x)P
n1
(x)dx =
n
2n + 1
[[P
n1
(x)[[
2
(19)
de (18) y (19) se tiene
[[P
n
(x)[[
2
=
2n 1
2n + 1
[[P
n1
(x)[[
2
(20)
valida para n 1.
Por otro lado,como
[[P
0
(x)[[
2
=
_
1
1
dx = 2
entonces aplicando (20) resulta
[[P
1
(x)[[
2
=
1
3
2
[[P
2
(x)[[
2
=
3
5

1
3
2
.
.
.
[[P
n
(x)[[
2
=
2n 1
2n + 1

2n 3
2n 1

2n 5
2n 3

3
5

1
3
2
10
luego
[[P
n
(x)[[
2
=
2
2n + 1
n 0
Teorema 1.7. P
n
(x) no tiene ceros repetidos para todo n 1.
Demostracion. Supongamos que P
n
(x) tiene un cero repetido x
0
. Si x
0
es
raz repetida de P
n
(x), entonces x
0
es una raz de P

n
(x
0
). Por tanto
P
n
(x
0
) = P

n
(x
0
) = 0.
. El teorema de existencia y unicidad garantiza que la ecuacion de Legendre
de orden n tiene una unica solucion que satisface las condiciones y(0) =
y

(0) = 0. Sin embargo, en este caso encontramos dos soluciones, a saber,

y(x) = P
n
(x) e y(x) 0, lo cual es una contradicion. Luego P
n
(x) no tiene
races repetidas.
Teorema 1.8. P
n
(x) tiene n races reales distintas entre 1 y 1, para n 0
Demostracion. Si n = 0 tenemos P
0
(x) = 1 entonces, P
n
(x) tiene cero races
en [1, 1].Sea n > 0. Entonces
_
1
1
P
n
(x)dx =
_
1
1
P
n
(x)P
0
(x)dx = 0.
Luego, P
n
(x) cambia de signo al menos una vez, en el intervalo (1, 1), lo
que implica que P
n
(x) tiene al menos un cero en (1, 1). Sea p un n umero
menor o lm
xx
+
0
f(x) igual que n y supongamos que P
n
(x) tiene p races en
(1, 1) , digamos, x
1
, x
2
, ..., x
p
. Considerar el polinomio q(x) = (xx
1
)(x
x
2
) (x x
p
). El grado de q(x) es p. Como las races de P
n
(x) no son
repetidas, P
n
(x) y q(x) cambian de mismo signo en los mismos puntos de
(1, 1), entonces P
n
(x)q(x) > 0 o P
n
(x)q(x) < 0. Si q(x)P
n
(x) > 0, entonces
_
1
1
q(x)P
n
(x) > 0.
Si
q(x)P
n
(x) < 0
, entonces
_
1
1
q(x)P
n
(x) < 0.
11
En ambos casos se tiene
_
1
1
q(x)P
n
(x) ,= 0.
Como P
n
(x) es ortogonal a cualquier polinomio de grado menor que n,
entonces sera ortogonal q(x) si p < n, o sea
_
1
1
q(x)P
n
(x)dx = 0
si p < n y como
_
1
1
q(x)P
n
(x)dx ,= 0
se sigue que p = n
Teorema 1.9. a) (2n + 1)P
n
(x) = P

n
P

n1
(x) n 1
b) (n + 1)P
n
(x) = P

n+1
(x) xP

n
(x) n 0
c) nP
n
(x) = xP

n
(x) P

n1
(x) n 1.
12
Demostracion. Por la formula de Rodriguez se tiene
P

n+1
=
d
dx
_
1
2
n+1
(n + 1)!
d
n+1
dx
n+1
_
d
dx
(x
2
1)
n+1
__
=
d
dx
_
1
2
n+1
(n + 1)!
d
n
dx
n
_
(n + 1)(x
2
1)
n
2x
__
=
d
dx
_
1
2
n
n!
d
n
dx
n
_
x(x
2
1)
n
__
=
1
2
n
n!
d
n
dx
n
_
(x
2
1)
n
+ 2nx
2
(x
2
1)
n1
_
=
1
2
n
n!
d
n
dx
n
_
(x
2
1)
n1
(x
2
1) + 2nx
2

_
=
1
2
n
n!
d
n
dx
n
_
(x
2
1)
n1
2nx
2
2n + 2n + (x
2
1)
_
=
1
2
n
n!
d
n
dx
n
_
(x
2
1)
n1
(x
2
1)(2n + 1) + 2n
_
= (2n + 1)
_
1
2
n
n!
d
n
dx
n
(x
2
1)
n
_
+
_
1
2
n1
(n 1)!
d
n
dx
n
(x
2
1)
n1
_
= (2n + 1)P
n
(x) +
d
dx
_
1
2
n1
(n 1)!
d
n1
dx
n1
(x
2
1)
n1
_
= (2n + 1)P
n
(x) + P

n1
(x),
es decir,
(2n + 1)P
n
(x) = P

n
P

n1
(x).
Para probar b), usar la formula de Rodriguez y la relacion
xf(x)
(n+1)
= xf
(n+1)
(x) + (n + 1)f
(n)
(x).
En efecto,
P

n+1
(x) =
1
2
n
n!
d
n+1
dx
n+1
_
x(x
2
1)
n
_
=
1
2
n
n!
_
x
d
n+1
dx
n+1
(x
2
1)
n
+ (n + 1)
d
n
dx
n
(x
2
1)
n
_
= x
d
dx
_
1
2
n
n!
d
n
dx
n
_
+ (n + 1)
_
1
2
n
n!
d
n
dx
n
(x
2
1)
n
__
= xP

n
(x) + (n + 1)P
n
(x).
13
Finalmente, restando a) y b) se obtiene c).
1.4. Funcion generatriz para los polinomios de Legendre
Consideremos la funcion
H(x, ) = (1 2x +
2
)
1/2
.
De acuerdo al desarrollo de la serie binomial
(1z)
m
=

n=0
_
m
n
_
z
n
= 1mz+
m(m + 1)
2!
z
2

m(m + 1)(m + 2)
3!
z
3
+
con [z[ < 1 y haciendo m = 1/2 obtenemos
(1 + z)
1/2
= 1
1
2
z +
1
2!

1
2

3
2
z
2

1
3!

3
2

5
2
z
3
+
. Tomando z = (2x
2
) se tiene el desarrollo
H(x, ) = 1 +
1
2
(2x
2
) +
3
8
(2x
2
)
2
+
5
16
(2x
2
)
3
+.s
Escribiendo la serie de la derecha en potencias ascendentes de , entonces
los coecientes de cada potencia de es una funcion de x. As
H(x, ) = 1 + x + (
3
2
x
2

1
2
)
2
+ (
5
2
x
3

3
2
x)
3
+ .
Note que
H(x, ) = P
0
(x) + P
1
(x) + P
2
(x)
2
+ P
3
(x)
3
+ .
=

n=0
P
n
(x) (21)
Utilizando esta funcion, llamada funcion generatriz, es posible obtener
muchas de las propiedades de los polinomios de Legendre.
1.5. Series de Legendre
Consideremos una funcion f, continua a tramos en [1, 1]. Supongamos
que f puede representarse por medio de una serie de polinomios de Legendre,
14
o sea,
f(x) =

n=0
A
n
P
n
(x) (22)
= A
0
P
0
(x) + A
1
P
1
(x) + + A
n
P
n
(x) +
(23)
donde A
0
, A
1
, ..., A
n
, ... son coecientes de la serie.
Para determinar los coecientes de la serie, multiplicamos (22) e integramos
miembro a miembro entre [-1,1] (suponemos convergencia uniforme) se tiene,
debido a la ortogonalidad de los polinomios de Legendre que
_
1
1
f(x)P
n
(x)dx = A
n
_
1
1
[P
n
(x)]
2
dx = A
n
[[P
n
[[
2
.
de donde
A
n
=
_
1
1
f(x)P
n
(x)dx
[P
n
[[
2
(24)
como [[P
n
[[
2
=
2
2n+1
, entonces
A
n
=
2n + 1
2
_
1
1
f(x)P
n
(x)dx n = 0, 1, 2, ...
Una serie del tipo (22) es conocida como Serie de Legendre de la funcion
f y los A
n
son llamados Coecientes de Fourier-Legendre de f
Denicion 1.3. Diremos que una funcion f es una funcion suave a tramos
en [a, b] si f tiene primera derivada continua a tramos en [a, b].
Teorema 1.10. La serie de Legendre para una funcion f suave a tramos
en [1, 1] converge puntualmente en (1, 1), y tiene el valor
lm
xc+
f(x) + lm
xc
f(x)
2
para todo x (1, 1).
1.6. Aplicaciones de los polinomios de Legendre
Potencial de un campo electrico generado por una carga pun-
tual
Consideremos una carga puntual unitaria en el punto con coordenadas
esfericas (r
0
, 0, 0). El problema consiste en encontrar la expresion del poten-
cial en un punto de coordenadas M = (r, , ).
15
Sabemos que el potencial electrico esta dado por
V =
e
r
donde e es la carga puntual y r es la distancia entre la carga y el punto donde
se mide el potencial. En nuestro caso e = 1 y r =
_
r
2
0
+ r
2
2r
0
r cos .
Luego,
V =
1
_
r
2
0
+ r
2
2r
0
r cos
.
Si r > r
0
entonces
V =
1
r
1
_
1 +
r
2
0
r
2
2
r
0
r
cos()
=
1
r

n=0
_
r
0
r
_
n
P
n
(cos ).
La ultima igualdad sigue de (21) con x = cos y =
r
0
r
Analogamente si
r < r
0
se tiene
V =
1
r
0
1
_
1 +
r
2
r
2
0
2
r
r
0
cos()
=
1
r

n=0
_
r
r
0
_
n
P
n
(cos ).
Ecuacion de Laplace en coordenadas esfericas
Supongase que la supercie S de una esfera de radio R se mantiene a
un potencial electrico con distribucion ja u(R, , ) = f(), y con el origen
en el centro de S y f() dada. Se desea encontrar el potencial eectrico u en
todos los puntos del espacio que se suponen libres de otras cargas. Puesto que
el potencial sobre S es independiente de , el potencial en el espacio tambien
es independiente de . Entonces

2
u

2
= 0 y en consecuencia la ecuacion de
Laplace queda

r
_
r
2
u
r
1
sen
_
+

_
sen
u

_
= 0 (25)
con condiciones de frontera
u(R, , ) = f() (26)
lm
r
u(r, ) = 0 (27)
Aplicando el metodo de separacion de variables sustituimos en (26) una
solucion de la forma
u(r, ) = G(r)H()
16
y dividiendo la ecuacion resultante por GH, se obtiene
1
G
d
dr
_
r
2
G
r
_
=
1
H sen
d
d
_
sen
dH
d
_
luego los dos miembros de esta ecuacion deben ser iguales a una constante,
digamos k, de manera que
1
sen
d
d
= kH (28)
y la ultima ecuacion puede escribirse
r
2
G

+ 2rG

kG = 0.
Esta ecuacion tienen soluciones de la forma G = r

. Por simplicidad cambiar

k por n(n + 1). As la ecuacion queda
r
2
G

+ 2rG

n(n + 1)G = 0 (29)

Haciendo la sustitucion G = r

en (29) se tiene
[( 1) + 2 n(n + 1)]r

= 0
luego se tiene que = n o = (n + 1). Por lo tanto, se obtienen las
soluciones
G
1
n
(r) = r
n
y G
2
n
(r) =
1
r
n+1
.
Introduciendo en (28) k = n(n + 1) y haciendo cos = w se tiene sen
2
=
1 w
2
y
d
d
=
d
dw
dw
d
= sen
d
dw
en consecuencia, (28) toma la forma
d
dw
_
(1 w
2
)
dH
dw
_
+ n(n + 1)H = 0,
o sea
(1 w
2
)
d
2
H
dw
2
2w
dH
dw
+ n(n + 1)H = 0. (30)
Esta es la ecuacion de Legendre de orden n, por tanto
H = P
n
(w) = P
n
(cos ). (31)
17
As se obtienen las siguientes dos sucesiones de soluciones de (26), dadas por
u
1
n
(r, ) = A
n
r
n
P
n
(cos ), u
2
n
(r, ) =
B
n
r
n+1
P
n
(cos ), n = 0, 1, 2, ...
donde A
n
y B
n
son constantes. Para encontrar una solucion de (26), valida
en puntos dentro de la esfera , se considera la serie
u
1
n
(r, ) =

n=0
A
n
r
n
P
n
(cos ) (32)
Para que (32) satisfaga (26), debe tenerse que
u
1
n
(R, ) =

n=0
A
n
R
n
P
n
(cos ) = f() (33)
es decir (33) debe ser la serie de Legendre de f. Luego por (24), se deduce
que
A
n
R
n
=
2n + 1
2
_
1
1
f

(w)P
n
(w)dw,
donde f

(w) = f() con w = cos . Haciendo el cambio de variable w = cos

se obtiene
A
n
=
2n + 1
2R
n
_

0
f()P
n
(cos ) sen d n = 0, 1, 2, ... (34)
Entonces la serie (32) con coecientes (34) es la solucion para puntos dentro
de la esfera.
Para encontrar la solucion en el exterior de la esfera, no pueden usarse las
funciones u
1
n
(r, ) debido a que estas no satisfacen (27), pero pueden em-
plearse las funciones u
2
n
(r, ) que satisfacen (27) para construir la solucion.
Procediendo como antes, se obtiene la solucion
u
2
(r, ) =

n=0
B
n
r
n+1
P
n
(cos )
con coecientes
B
n
=
2n + 1
2
R
n+1
_

0
f()P
n
(cos ) sen d n = 0, 1, 2, ...
18
2. Polinomios de Hermite
2.1. Introducci on
Al igual que los polinomios de Legendre, estos polinomios son solu-
ciones de cierta ecuacion diferencial. Usando este hecho se pueden obten-
er propiedades tales como la ortogonalidad o las relaciones de recurrencia.
En esta ocasion no se procedera de esta manera, sino que se obtendran las
propiedades de los polinomios de Hermite empleando la funcion generatriz
de estos.
Los polinomios de Hermite surgen en problemas fsicos donde aparece el
operador laplaciano. Se usan tambien como polinomios de interpolacion en
Analisis Numerico.
2.2. Denici on
Considerar el producto interno Se denen los polinomios de Hermite por
H
n
(t) = (1)
n
e
t
2 d
n
dt
n
e
t
2
.
Los primeros polinomios de Hermite son:
H
0
(t) = 1
H
1
(t) = 2t
H
2
(t) = 4t
2
2
H
3
(t) = 8t
3
12t
H
4
(t) = 16t
4
48t
2
+ 12
Mas adelante veremos que los polinomios de Hermite son soluciones de la
ecuacion de Hermite. La denicion dada arriba corresponde a la formula de
Rodriguez para los polinomios de Hermite
2.3. Funcion generatriz
Consideremos la funcion
(t, x) = e
t
2
e
(tx)
2
= e
2txx
2
19
Su desarrollo en serie de Taylor es
(t, x) =

n=0
A
n
(t)
n!
x
n
,
donde A
n
(t) =

n

x
n

x=0
. Como

x
=

(t x)
(1),
se tiene
A
n
(t) = e
t
2
n
(t x)
n
e
(tx)
2

x=0
(1)
n
= (1)
n
e
t
2 d
n
dt
n
e
t
2
= H
n
(t),
luego
e
2txx
2
=

n=0
H
n
(t)
n!
x
n
. (35)
Se dice que e
2txx
2
es la funcion generatriz de los polinomios de Hermite.
A partir de (60) se pueden encontrar relaciones entre los los polinomios de
Hermite. La estrategia para hallarlas es tpica: derivar parcialmente respecto
a alguna de las variables y luego comparar potencias de x en los desarrollos
de Taylor resultantes.
Derivando respecto a t:

t
= 2x.
Usando (35) se obtiene

n=0
1
n!
_
d
dt
H
n
(t)
_
x
n
=

n=0
H
n
(t)
n!
2x
n+1
.
Reordenando la suma en el lado izquierdo se tiene

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

0
(t) +

m=0
H

m+1
(t)
(m + 1)!
x
m+1
.
20
Comparando los coecientes de las potencias de x en cada serie encontramos,
H

0
(t) = 0,
2H
n
(t) =
1
n + 1
H

n+1
(t),
lo cual puede ser reescrito en la forma
2nH
n1
(t) = H

n
(t), n 0 (36)
donde H
1
:= 0. La relacion encontrada expresa un polinomio de Hermite
en terminos de un operador (en este caso la derivada) sobreel polinomio de
Hermite siguiente. Un operador quetiene tal propiedad se denomina oper-
ador de bajada. En este caso, el operador de bajada de los polinomios de
Hermite es
1
2n
d
t
.
Derivando respecto a x,

x
= (2t 2x).
Por (35) se obtiene

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

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

n=0
H
n
(t)
n!
x
n+1
,
y corriendo ndices la expresion de arriba queda

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

n=0
2tH
n
(t)
n!
x
n

n=1
H
n1
(t)
(n 1)!
x
n
.
Comparando potencias de x dan las relaciones
H
1
(t) = 2tH
0
(t)
H
n+1
(t) = 2tH
n
(t) 2nH
n1
, n 1.
O bien
H
n+1
(t) = 2tH
n
(t) 2nH
n1
, n 0. (37)
Por ultimo podemos utilizar las dos relaciones de recurrencia (36) y (37)
21
para obtener la relacion
H
n+1
(t) = 2tH
n
(t) H

n
(t) . (38)
Hemos encontrado el operador que relaciona la derivada de un polinomio de
Hermite con el polinomio siguiente, o sea, el el operador de subida para
los polinomios de Hermite, a saber, 2t d
t
.
Derivando (38), resulta
H

n+1
= 2H
n
+ 2tH

n
+ H

n
.
Reemplazando (36), da
2(n + 1)H
n
= 2H
n
+ 2tH

n
+ H

n
,
o sea,
H

n
2tH

n
+ 2nH
n
= 0.
Es decir, los polinomios H
n
son solucion de la ecuacion de Hermite:
y

(t) 2ty

(t) + 2ny(t) = 0. (39)

Utilizando el hecho de que H
n
es solucion de la ecuacion de Hermite se puede
probar que
H
n
(t) =
n/2

k=0
(1)
k
n!
k!(n 2k)!
(2x)
n2k
.
2.4. Ortogonalidad de los polinomios de Hermite
Evaluemos
I =
_

H
m
(t)H
n
(t)e
t
2
dt
Sin perdida de generalidad, sea n m. Podemos escribir
I = (1)
n
d
n
e
t
2
dt
n
dt.
Integrando por partes y empleando (36) obtenemos
I = (1)
n+1
2m
_

H
m1
(t)
d
n1
dt
n1
e
t
2
dt.
22
Integrando m veces por partes resulta
I = (1)
n+m
2
m
m!
_

H
0
(t)
d
nm
dt
nm
e
t
2
dt.
Si m < n, entonces
I = (1)
n+m
2
m
m!
_

d
nm
dt
nm
e
t
2
dt = (1)
n+m
2
m
m!
d
nm1
dt
nm1
e
t
2

= 0.
Si n = m, entonces
I = 2
n
n!
_

e
t
2
dt = 2
n
n!

.
Resumiendo
_

H
m
(t)H
n
(t)e
t
2
dt = 2
n
n!

nm
. (40)
Este resultado dice que los polinomios de Hermite son ortogonales con re-
specto al producto interno
f, g =
_

e
t
2
f(t)g(t)dt
. Ademas puede probarse que los polinomios de Hermite forman un conjunto
completo, o sea que es denso, en este caso, en el espacio de funciones contin-
uas a tramos. Luego, toda funcion continua a tramos admite una expansion
en polinomios de Hermite.
Si denimos las funciones

n
(t) =
H
n
(t)e
t
2
_
2
n
n!

,
es claro que
n

n=0
es un conjunto ortonormal respecto al producto interno
usual, esto es
_

n
(t)
m
(t)dt =
nm
.
23
Ejemplo 2.1. Las funciones
n
son solucion del problema de Sturm-Liouville
y

t
2
y = (2n + 1)y en R
y() = y() = 0
que es precisamente la ecuacion de Schrodinger para el oscilador
armonico.
2.5. Representaci on integral de los Polinomios de Hermite
Recordemos la identidad
e
x
2
=
2

e
t
2
cos(2xt)dt. (41)
Derivando 2n veces (41) se obtiene
d
2n
dx
2n
e
x
2
=
2
2n+1
(1)
n

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

_

0
e
t
2
t
2n
cos(2xt)dt n = 1, 2, 3, ...
Similarmente, derivando 2n + 1 veces (41) se obtiene la formula
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, ... .
Las dos ultimas formulas son llamadas representacion integral de los poli-
nomios de Hermite.
24
3. Polinomios de Laguerre
3.1. Denici on
Los polinomios de Laguerre pueden denirse mediante cualquiera de las
siguientes formulas:
L
n
(t) = e
t d
n
dt
n
(t
n
e
t
) (42)
L
n
(t) = e
t

n
=0
_
n

_
_
d
n
dt
n
_
d

e
t
dt

(43)
L
n
(t) =

n
=0
(1)

_
n

_
n!
!
t

. (44)
Los primeros cinco polinomios de Laguerre son
L
0
(t) = 1
L
1
(t) = t + 1
L
2
(t) = t
2
4t + 2
L
3
(t) = t
3
+ 9t
2
18t + 6
t
4
16t
3
+ 72t
2
96t + 24
3.2. Funcion generatriz de los polinomios de Laguerre
Denicion 3.1. La funcion generatriz (t, x) esta denida por
(t, x) =

n=0
L
n
(t)
n!
x
n
. (45)
Usando (44) obtenemos
(t, x) =

n=0
n

=0
(1)

!
_
n

_
t

x
n
Cambiando el orden de la suma se tiene
(t, x) =

=0

n=
(1)

!
_
n

_
t

x
n
25
Haciendo el cambio de ndice m = n resulta
(t, x) =

=0

m=0
(1)

!
_
m +

_
t

x
m+
.
Reordenando
(t, x) =

=0
(1)

!
t

m=0
_
m +

_
x
m
.
Pero

m=0
_
m +

_
x
m
=
_
1
1 x
_
+1
cuando [x[ < 1,
luego
(t, x) =

=0
(1)

!
t

_
x
1 x
_

1
1 x
=
1
1 x

=0
(1)

!
_
tx
1 x
_

.
Finalmente
(t, x) =
1
1 x
exp
_
tx
1 x
_
=

n=0
L
n
(t)
n!
x
n
(46)
3.3. Relaciones de recurrencia
Reescribamos la denicion de la funcion generatriz
exp
_
tx
1 x
_
= (1 x)

n=0
L
n
(t)
n!
x
n
. (47)
Derivemos respecto a x
t
(1 x)
2
= (1 x)

n=0
L
n
(t)
(n 1)!
x
n1

n=0
L
n
(t)
n!
x
n
Reemplazando (47) y comparando los coecientes de x,
L
n+1
(t) + (t 2n 1)L
n
(t) + n
2
L
n1
(t) (48)
26
De forma analoga, derivando (47) respecto a t se obtiene
L

n
(t) nL
n1
(t) + nL
n1
(t) = 0 (49)
3.4. Ecuacion de Laguerre
Derivando dos veces (47) respecto a t, e igualando coecientes se obtiene
L

n+2
(t) + (t 2n 3)L

n+1
(t) + (n + 1)
2
L

n
(t) + 2L

n+1
(t) = 0. (50)
De (49) tenemos
L

n+1
(t) = (n + 1)[L

n
(t) L
n
(t)], (51)
de donde obtenemos, derivando nuevamente respecto a t,
L

n+1
(t) = (n + 1)[L

n
(t) L

n
(t)]. (52)
Cambiando n por n + 1, (52) queda
L

n+2
(t) = (n + 1)[L

n+1
(t) L

n+1
(t)]
Reemplazando (51) y (52) en la ecuacion anterior obtenemos
L

n+2
(t) = (n + 2)(n + 1)[L

n
(t) L

n
(t) L

n
(t) + L
n
(t)]
= (n + 2)(n + 1)[L

n
(t) 2L

n
(t) + L
n
(t)]
(53)
Finalmente, sustituyendo (51),(52) y (53) en (50), se tiene
(n + 2)(n + 1)[L

n
(t) 2L

n
(t) + L
n
(t)] + (t 2n 3)(n + 1)[L

n
(t) L

n
(t)]+
(n + 1)
2
L

n
(t) + 2(n + 1)[L

n
(t) L
n
(t)] = 0
(n + 1)(n + 2 + t 2n 3 + n + 1)L

n
(t) + (n + 1)(2n 4 t + 2n + 3 + 2)L

n
(t)+
(n + 1)(n + 2 2)L
n
(t) = 0
(n + 1)tL

n
(t) + (n + 1)(1 t)L

n
(t) + (n + 1)nL
n
(t) = 0 / : (n + 1)
tL

n
(t) + (1 t)L

n
(t) + nL
n
(t) = 0 (54)
Es decir, L
n
(t) es una solucion de la ecuacion de Laguerre de orden n:
ty

(t) + (1 t)y

(t) + ny(t) = 0 (55)

27
3.5. Ortogonalidad
Consideremos
I =
_

0
t
m
L
n
(t)e
t
dt conm < n.
Sea m > 0, entonces
I =
_

0
t
m
d
n
dt
n
(t
n
e
t
)dt,
e integrando por partes,
I = t
m
d
n1
dt
n1
(t
n
e
t
)

0
m
_

0
t
m1
d
n1
dt
n1
(t
n
e
t
) = m
_

0
t
m1
d
n1
dt
n1
(t
n
e
t
).
Integrando m veces por partes se obtiene entonces
I = (1)
m
m!
_

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

0
= 0,
luego, usando (44), tenemos
_

0
L
n
(t)L
m
(t)e
t
dt =
_

0
L
n
(t)
m

=0
(1)

_
m

_
m!
!
t

dt
=
m

=0
(1)

_
m

_
m!
!
_

0
t

L
n
(t)e
t
dt = 0, si m < n
Intercambiando n y m se obtiene que la ultima integral es cero si n < m.
Si m = n,
I = (1)
n
n!
_

0
d
nn
dt
nn
(t
n
e
t
)dt = (1)
n
n!
_

0
t
n
e
t
dt
28
luego, usando (44) y el hecho I = 0 si m ,= n, se tiene
_

0
L
2
n
(t)e
t
dt =
_

0
L
n
(t)
n

=0
(1)

_
n

_
n!
!
t

dt
=
n

=0
(1)

_
n

_
n!
!
_

0
L
n
(t)t

dt
= (1)
n
(1)
n
n!
_

0
t
n
e
t
dt = (n!)
2
.
Por lo tanto,
_

0
L
n
(t)L
m
(t)e
t
dt = (n!)
2

n
m
. (56)
La relacion anterior dice que los polinomios de Leguerre son ortogonales
respecto al porducto interno
f, g =
_

0
f(t)g(t)e
t
dt.
Claramente las funciones

n
(t) :=
1
n!
L
n
(t)e
t/2
(57)
forman un conjunto ortonormal respecto al producto interno usual de fun-
ciones.
A partir de (57) podemos despejar los polinomios de Laguerre
L
n
(t) = n!e
t/2

n
(t),
y usando la ecuacion diferencial (54) que satisfacen, encontramos la ecuacion
que satisfacen las funciones
n
(t):
t

n
(t) +

n
(t) +
_
n +
1
2

t
2
_

n
(t) = 0.
Ademas,
n
(t) satisface
lm
t

n
(t) = 0 y lm
t0

n
(t) <
29
3.6. Polinomios asociados de Laguerre
Al derivar m veces la ecuacion (54) obtenemos
tL
(m+2)
n
(t) + (m + 1 t)L
(m+1)
n
(t) + (n m)L
m
n
(t) = 0.
Lo anterior muestra que los polinomios
L
m
n
(t) :=
d
m
dt
m
L
n
(t), n m (58)
llamados los polinomios asociados de Laguerre son solucion de la ecuacion
diferencial
ty

(t) + (m + 1 t)y

(t) + (n m)y(t) = 0. (59)

Algunos de los primeros polinomios asociados de Laguerre son
L
1
1
(t) = 1,
L
1
2
(t) = 4 + 2t, L
2
2
(t) = 2,
L
1
3
(t) = 18 + 18t 3t
2
, L
3
2
(t)18 6t, L
3
3
(t) = 6.
Denicion 3.2. Se dene la funcion generatriz de los polinomios
asociados de Laguerre por
(t, x) = (1 x)
m+1

n=m
L
m
n
(t)
n!
x
n
.
Derivando m veces la ecuacion (46) se obtiene
(t, x) = (1)x
m
exp
_
tx
1 x
_
.
Ademas se tienen las siguientes relaciones de recurrencia:
d
dt
L
n
m
(t) = L
m+1
n
(t),
L
m
n+1
(t) + (t 2n 1)L
m
n
(t) + mL
m+1
n
(t) + n
2
L
m
n1
(t) = 0,
L
m
n
(t) nL
m
n1
(t) + L
m1
n1
(t) = 0
La primera es inmediata de la denicion de los polinomios asociados de
Laguerre, y las dos restantes se obtienen derivando las relaciones (48) y
(49) respectivamente. Finalmente en forma analoga a lo que hicimos con los
30
polinomios de Laguerre podemos denir las funciones ortogonales a partir
de los polinomios asociados de Laguerre de la siguiente forma:
R
l
n
(t) := e
t/2
t
l
L
2l+1
n+l
(t).
Ejemplo 3.1. Las funciones R
l
n
(t) son soluciones de la ecuacion diferencial
y

(t) +
2
t
y

(t)
_
1
4

n
t
+
l(l + 1)
t
2
_
y(t) = 0.
que corresponde a la ecuacion radial de Schrodinger para la funcion de onda
del atomo de Hidrogeno.
4. Funciones de Bessel
4.1. Introducci on
La ecuacion de Bessel surgio en el estudio de la radiacion de energa y de
otros contextos, particularmente en aquellos en que el modelo matematico
se expresa en coordenadas cilndricas.
4.2. Ecuacion de Bessel
Denicion 4.1. La ecuaci on
x
2
y

+ xy

+ (x
2
p)y = 0 (60)
donde p es una constante real no negativa se llama ecuacion de Bessel
de orden p.
Esta ecuacion tiene el punto singular regular en x = 0, por lo tanto, una
solucion en series de potencia de la forma
y(x) =

n=0
a
n
x
n+
(61)
obtenida por el metodo de Frobenius, sera convergente para 0 < x < .
La ecuacion indicial de (??) es

2
p
2
(62)
con races = p. Sustituyendo (61) en (60) y reacomodando terminos,
31
obtenemos
[( 1) + + p
2
]a
0
x

+ [( + 1) + ( + 1) p
2
]a
1
x
+1
+

n=0
[(n + )(n + 1) + (n + ) p
2
]a
n
+ a
n2
x
n+
= 0.
Igualando a cero los coecientes de las potencias de x, suponiendo que a
0
,=
0, encontramos que

2
p
2
= 0,
haciendo = p en el coeciente de x
+1
, encontramos que
(2p + 1)a
1
= 0
y como p 0, se sigue que a
1
= 0. Del coeciente de x
n+
, obtenemos la
relacion de recurrencia
[(n + )
2
p
2
]a
n
+ a
n2
= 0 n 2.
Sustituyendo = p en la relacion de recurrencia resulta
a
n
=
1
n(n + 2p)
a
n2
n 2.
Como a
1
= 0 la relacion de recurrencia con n = 2k + 1 y k = 1, 2, 3, ..., da
a
2k+1
= 0 para k = 1, 2, 3, ... Para los terminos de ndice par se tiene
a
2n
=
(1)
n
2
2n
n!(1 + p)(2 + p)(3 + p) (n + p)
a
0
.
Por tanto una solucion de la ecuacion de Bessel de orden p es
y(x) = a
0

n=0
(1)
n
2
2n
n!(1 + p)(2 + p)(3 + p) (n + p)
x
2n+p
(63)
valida para 0 < x < y a
0
arbitrario.
32
4.3. Funciones de Bessel
Si en (63) se toma
a
0
=
1
2
p
(1 + p)
entonces, de la relacion
(n + p + 1) = (n + p)(n + p 1) (1 + p)(1 + p)
resulta que la funcion
J
p
(x) =

n=0
(1)
n
n!(1 + n + p)
(
x
2
)
2n+p
(64)
es una solucion de la ecuacion de Bessel. La funcion J
p
(x) se llama funcion
de Bessel de primera clase de orden p.
Si en (63) se toma
a
0
=
1
2
p
(1 p)
,
se obtiene la solucion de la ecuacion de Bessel
J
p
(x) =

n=0
(1)
n
n!(1 + n p)
(
x
2
)
2np
(65)
llamada funcion de Bessel de primera clase de orden p
Observacion 4.1. 1. Si
1

2
= 2p no es un entero, se tiene que J
p
(x)
y J
p
(x) son linealmente independientes.
2. Se puede demostrar que si p no es un entero, a un cuando 2p si lo sea,
J
p
(x) y J
p
(x) son a un linealmente independientes.
3. Si p = 0, entonces (64) queda
J
0
(x) =

n=0
(1)
n
[(n + 1)]
2
(
x
2
)
2n
.
33
4. Si p = n entero no negativo
J
n
(x) =

k=0
(1)
k
k!(n + k)!
(
x
2
)
2k+n
.
5. Se puede demostrar que J
n
(x) = (1)
n
J
n
(x) lo cual signica que
J
n
(x) y J
n
(x) son linealmente dependientes.
Para resolver el problema de encontrar una segunda solucion linealmente
independiente en el caso que p es un entero no negativo, se construye una
solucion como sigue. Si p no es un entero, se pueden tomar combinaciones
lineales de J
p
(x) y J
n
(x) para obetener otras soluciones de la ecuacion (60).
En particular, sea
boxedY
p
(x) =
cos(p)J
p
(x) J
p
(x)
sen(p)
(66)
donde p no es un entero y p > 0.
La funcion Y
p
(x) se llama funcion de Bessel de segunda clase de orden
p. Se puede vericar que Y
p
(x) y J
p
(x) son linealmente independientes. Si p
es un entero, el numerador y el denominador de (66) se anulan, por lo tanto
resulta razonable tomar al el lmite cuando p tiende a un entero m en (66).
Aplicando la regla de LHopital, es posible demostrar que, para un entero
no negativo m, la funcion denida como
Y
m
(x) = lm
pm
cos(p)J
p
(x) J
p
(x)
sen(p)
(67)
para x > 0, es una solucion de la ecuacion de Bessel de orden p = m. La
funcion Y
m
(x) se llama funcion de Bessel de segunda clase de orden
m, tambien conocida como la funcion de Neumann o funcion de Weber.
4.4. Propiedades de las funciones de Bessel
Las relaciones que seran expuestas son validas para todas las funciones de
Bessel denidas anteriormente, por lo tanto en las propiedades se mencionan
solamente las funciones J
p
(x).
Teorema 4.1. a)
d
dx
[x
p
J
p
(x)] = x
p
J
p1
(x)
34
b)
d
dx
[x
p
J
p
(x)] = x
p
J
p+1
(x)
Demostracion.
d
dx
[x
p
J
p
(x)] =
d
dx

k=0
(1)
k
2
2k+p
k!(k + p + 1)
x
2k+2p
=

k=0
(1)
k
2(k + p)
2
2k+p
k!(k + p + 1)
x
2k+2p1
= x
p

k=0
(1)
k
2
2k+p1
k!(k + p)
x
2k+(p1)
= x
p
J
p1
(x).
Donde se uso el hecho de que (p +k +1) = (p +k)(p +k). La formula b)
se prueba anaalogamente.
Ejemplo 4.1. En el analisis del patron de radiacion de antena, para un
sistema con abertura circular, se estudia la integral
g(u) =
_
1
0
(1 r
2
)J
0
(ur)rdr.
Se mostrara que
g(u) =
2
u
2
J
2
(u).
Haciendo el cambio de variable x = ur se tiene
g(u) =
_
1
0
(1 r
2
)J
0
(ur)rdr =
_
u
0
(1
x
2
u
2
)J
0
(x)
x
u
2
dx.
35
Por el teorema (4.1) con p = 1 da
g(u) =
1
u
2
_
u
0
(1
x
2
u
2
)
d
dx
[xJ
1
(x)]dx
=
1
u
2
_
u
0
d
dx
[xJ
1
(x)]dx
1
u
4
_
u
0
x
2
d
dx
[xJ
1
(x)]dx
=
1
u
2
uJ
1
(u)
1
u
4
_
u
0
x
2
d
dx
[xJ
1
(x)]dx.
Desarrollando la ultima integral por partes resulta
_
u
0
x
2
d
dx
[xJ
1
(x)]dx = u
3
J
1
(u) 2u
2
j
2
(u),
de donde se obtiene g(u) =
2
u
2
J
2
(u).
Observacion 4.2. En general una integral de la forma
_
x
m
J
n
(x)dx
donde m y n son enteros tales que m + n 0, pueden calcularse completa-
mente si m+n es impar. Si m+n es par, el resultado depende de la integral
_
J
0
(x)dx (o
_
Y
0
(x))
Teorema 4.2. a) xJ

p
(x) + pJ
p
(x) = xJ
p1
(x)
a) xJ

p
(x) pJ
p
(x) = xJ
p+1
(x)
Demostracion. Del teorema (4.1) (a), desarrollando la derivada del primer
termino se tiene
x
p
J

p
(x) + px
p1
J
p
(x) = x
p
J
p+1
(x)
dividiendo ambos miembros por x
p1
se obtiene (a).Similarmente utilizando
el teorema (4.1) (b) se obtiene (b).
Teorema 4.3. a) J
1/2
(x) =
1

2x(3/2)
sen x =
_
2
x
sen x
b) J
1/2
(x) =
1

2x(3/2)
cos x =
_
2
x
cos x
36
Demostracion. Haciendo p = 1/2 en la formula de J
p
(x) se obtiene
J
1/2
(x) =

k=0
(1)
k
k!(3/2 + k)
(
x
2
)
2k+1/2
=

k=0
(1)
k
2
2k
k!(3/2 + k)
x
2k
_
x
2
=
_
x
2

k=0
(1)
k
2
2k
k!(3/2 + k)
x
2k
Pero
(p + k) = (p)p(p + 1)(p + 2) (p + k 1)
y con p = 3/2,
(3/2 + k) = (3/2)
3
2

5
2

7
2
(
3
2
1 + k)
3 5 7 (2k + 1)
2
k
(3/2)
As,
J
1/2
(x) =

k=0
(1)
k
2
k
2
2k
k!3 5 7 (2k + 1)(3/2)
x
2k
=

2(3/2)
_
1
x
2
2 3
+
x
4
2 4 3 5

x
6
2 4 3 5 7
+ cdots
_
=
1
sqrt2x(3/2)
_
x
x
3
3!
+
x
5
5!

x
7
7!
+ ...
_
=
1
sqrt2x(3/2)
sen x
Pero (3/2) =

2
. Luego,
_
2
x
sen x.
Analogamente se prueba (b).
37
Teorema 4.4. (Relaciones de recurrencia)
a) xJ
p+1
(x) 2pJ
p
(x) + xJ
p1
(x) = 0.
b) J
p+1
(x) + 2J

p
(x) J
p1
(x) = 0.
Demostracion. En el teorema (4.2) restar (a) y (b) para obtener (a). Suman-
do (a) y (b) se obtiene (b)
Teorema 4.5. Los ceros de J
p
(x) y J
p+1
(x) son distintos y alternados en
el eje x positivo.
Demostracion. El teorema (4.2) parte (b) establece que
xJ

p
(x) = xJ
p
(x) pJ
p+1
(x)
Si J
p
(x) y J
p+1
(x) se anulan simultaneamente para alg un x
0
> 0, entonces
J

p
(x
0
) = 0 y en este caso el teorema de existencia y unicidad para un
problema de vlor inicial implica que J
p
(x) 0, lo cual es una contradicion.
Por otro lado, sean
1
<
2
dos ceros consecutivos de J
p
(x), por el teorema
(4.2) parte (b) tenemos

1
J

p
(
1
) =
1
J
p+1
(
1
)
o bien
J

p
(
1
) = J
p+11
(
1
)
Analogamente se obtiene
J

p
(
2
) = J
p+11
(
2
)
. Como
J
p
(
1
) = J
p
(
2
) = 0,
entonces
J

p
(
1
) y J

p
(
2
)
tienen signos distintos, luego
J
p+1
(
1
) y J
p+1
(
2
)
tienen signos distintos. Por la continuidad de J
p+1
(x) existe (
1
,
2
) tal
que J
p+1
() = 0, es decir entre dos ceros consecutivos de J
p
(x) existe un
cero de J
p+1
(x).
38
Usando el teorema (4.2) (a) y con un argumento similar se muestra que entre
dos ceros consecutivos de J
p+1
(x) existe un cero de J
p
(x).
Otra propiedad importante que se puede mostrar es que lm
x
J
p
(x) =
0.
4.5. Funcion generatriz para la funci on de Bessel
Las funciones de Bessel de primera clase de orden n se pueden carac-
terizar como soluciones de la ecuacion de Bessel de oreden n o mediante la
formula de recurrencia. Introduciremos otra forma para obtener estas fun-
ciones, mediante las llamadas funciones generatrices, en las cuales las
funciones de Bessel J
n
(x) aparecen como coecientes de los desarrollos en
series de potencias de ciertas funciones G(x, t). En este caso
G(x, t) = exp
_
x
2
_
1
t
__
, t ,= 0 (68)
El desarrollo en serie de potencias para la funcion exp[
x
2
t] es
exp[
x
2
t] = 1 +
x
2
t +
x
2
2
2
2!
t
2
+ ... +
x
n
2
n
n!
t
n
+ ... (69)
El desarrollo en serie de potencias para la funcion exp[
x
2t
] es
exp[
x
2t
] = 1
x
2
t
1
+
x
2
2
2
2!
t
2
... + (1)
n
x
n
2
n
n!
t
n
+ ... (70)
luego
G(x, t) =
_

n=0
x
n
2
n
n!
t
n
__

n=0
(1)
n
x
n
2
n
n!
t
n
_
(71)
y ya que cada una de estas series es absolutamente convergente para todo
x y para todo t ,= 0 pueden multiplicarse y reagruparse para obtener el
siguiente
Teorema 4.6. La funcion G(x, t) = exp
_
x
2
_
t
1
t
__
genera las funciones
de Bessel de orden entero de primera clase, o sea
exp
_
x
2
_
t
1
t
__
=

J
n
(x)t
n
(72)
39
para x R y t ,= 0.
Utilizando la funcion generatriz se pueden obtener los siguientes resul-
tados:
a) F ormula integral de Bessel
Haciendo el cambio de variables t = e
i
y usando la identidad e
i
=
cos + sen , se tiene
t
1
t
= e
i
e
i
= 2i sen
luego
exp
_
x
2
_
t
1
t
__
= e
ixsen
= cos(xsen ) + i sen(xsen ).
As de (72) se obtiene
cos(xsen ) + i sen(xsen ) =

J
n
(x)[cos n + i sen n].
Igualando las partes reales e imaginarias y teniendo en cuenta que J
n
(x) =
(1)
n
J
n
(x), se tiene
cos(xsen ) = J
0
(x) +
infty

n=0
J
2n
(x) cos 2n. (73)
sen(xsen ) = 2
infty

n=0
J
2n+1
(x) sen(2n + 1). (74)
Multiplicando (73) por cos 2k y (74) por sen 2k e integrando las expre-
siones resultantes termino a termino sobre el intervalo [0, ] y considerando
la ortogonalidad de las funciones seno y coseno, se obtienen
1

_

0
cos(xsen ) cos 2kd = J
2k
(x), (75)
1

_

0
sen(xsen ) sen 2kd = 0. (76)
40
Analogamente se encuentra que
1

_

0
cos(xsen ) cos(2k + 1)d = 0, (77)
1

_

0
sen(xsen ) sen(2k + 1)d = J
2k+1
(x) (78)
Sumando (75) con (76) y (77) con (78) se concluye que
J
n
(x) =
1

_

0
[cos(xsen ) cos n + sen(xsen ) sen n]d
J
n
(x) =
1

_

0
cos(n xsen n)d.
Esta ultima formula recibe el nombre se representacion integral de Bessel
para J
n
(x)
b) F ormula de adicion
Como
exp
__
x + y
2
__
t
1
t
__
= exp
_
x
2
_
t
1
t
__
exp
_
y
2
_
t
1
t
__
entonces

n=
J
n
(x + y)t
n
=
_

k=
J
k
(x)t
k
__

m=
J
m
(y)t
m
_
=

k=

m=
J
k
(x)J
m
(x)t
k+m
.
Haciendo n = k + m, resulta

n=
J
n
(x + y)t
n
=

n=
_

k=
J
nk
(y)J
k
(x)
_
t
n
e igualando coecientes se tiene
J
n
(x + y)t
n
=

k=
J
nk
(y)J
k
(x)
41
llamada formula de adicion
4.6. Ortogonalidad de las funciones Bessel
Dado que J
p
(x) satisface la ecuacion de Bessel de orden p, se tiene
x
2
d
2
dx
2
J
p
(x) + x
d
dx
J
p
(x) + (x
2
p
2
)J
p
(x) = 0.
Sea x = k, entonces la igualdad anterior queda

2
d
2
d
2
J
p
(k) + x
d
d
J
p
(k) + (k
2

2
p
2
)J
p
(k) = 0.
Para un intervalo nito [0, a], hacemos k =

m
a
. As la ecuacion de arriba
queda

2
d
2
d
2
J
p
(

m
a
) + x
d
d
J
p
(

m
a
) + (

2
m
a
2

2
p
2
)J
p
(

m
a
) = 0. (79)
Cambiando m por n resulta

2
d
2
d
2
J
p
(

n
a
) + x
d
d
J
p
(

n
a
) + (

2
n
a
2

2
p
2
)J
p
(

n
a
) = 0. (80)
y multiplicando (79) por J
p
(

n
a
) y (80) por J
p
(

m
a
) y restando se obtiene
J
p
(

n
a
)
d
d
_

d
d
J
p
(

n
a
)
_
J
p
(

m
a
)
d
d
_

d
d
J
p
(

m
a
)
_
=

2
n

2
m
a
2
J
p
(

m
a
)J
p
(

n
a
)).
Integrando sobre [0, a] resulta
_
a
0
_
J
p
(

n
a
)
d
d
_

d
d
J
p
(

n
a
)
_
J
p
(

m
a
)
d
d
_

d
d
J
p
(

m
a
)
__
d =

2
n

2
m
a
2
_
a
0
J
p
(

m
a
)J
p
(

n
a
)d.
(81)
42
Integrando por partes el lado izquierdo de (81) da
__
J
p
(

n
a
d
d
)J
p
(

m
a
)
__
a
0

__
J
p
(

m
a
d
d
)J
p
(

n
a
)
__
a
0
lo cual es cero cuando evaluamos en = 0. Por otro lado, si elegimos
m
,

n
como races de J
p
, es decir, J
p
(
m
) = J
p
(
m
) = 0, se tiene que (81) es
cero cuando = a. Luego
_
a
0
J
p
(

m
a
)J
p
(

n
a
)d
con m ,= n, lo que da la ortogonalidad sobre el intervalo [0, a].
Haciendo
n
=
m
+ y tomando lmite cuando 0, teniendo en cuenta
la formula
xJ

p
(x) J
p
(x) = xJ
p+1
(x)
se obtiene
_
a
0
[J
p
(

m
a
)]
2
d =
a
2
2
[J
p+1
(
m
)]
2
.
4.7. Series de Bessel de primera clase
En la seccion anterior se establecio la existencia de un conjunto innito
de funciones mutuamente ortogonales en [0, a],
_
J
p
(

k
a
)
_
, donde son los
ceros de J
p
(x). Ahora se enunciara el teorema relativo al desarrollo de serie
de Bessel cuando a = 1.
Teorema 4.7. Sean
1
<
2
< ... los ceros positivos de J
p
(x) y supongamos
p 0, entonces
a)
_
J
p
(
k
)
_
, k = 1, 2, ... es una base para el espacio de las funciones
continuas a tramos en [0, 1].
b) Toda funcion f del espacio de las funciones continuas a tramos en
[0, 1] puede expresarse de la forma
f(x) =

k=1
C
k
J
p
(x
k
x)
43
donde
C
k
=
2
[J
p+1
(
k
)]
2
_
1
0
xf(x)J
p
(
k
x)dx
y la serie converge a f. Ademas si f es suave a tramos, la serie con-
verge puntualmente a
1
2
[ lm
xx
+
0
f(x) + lm
xx

0
f(x)]
para cada x (0, 1) y la convergencia es uniforme en cada cerrado
contenido en (0, 1) que no contenga un punto de continuidad de f.
La serie en este teorema se conoce como la serie de Bessel (o de Fourier-
Bessel) de primera clase par f con respecto a las funciones J
p
(
k
).
4.8. Aplicacion de las funciones de Bessel: Ecuaci on de onda
bidimensional
Como una aplicacion de las funciones de Bessel resolveremos la ecuacion
de onda en dos dimensiones, la cual modela las vibreciones transversales de
una membrana.
Sea una membrana circular de radio a S acotada por una curva en el plano
xy. Las vibraciones transversales de esta membrana son descritas por una
ncion z(x, t, y) que satisface una ecuacion de onda

2
z
x
2
+

2
z
y
2

1
c
2

2
z
t
2
= 0 (82)
con la condicion de contorno
z(x, y, t) = 0 sobre (83)
y con las condiciones iniciales
z(x, y, 0) = f(r) y
z
t
(x, y, 0) = 0. (84)
Las soluciones de la ecuacion (82) pueden ser determinadas por el metodo
de separacion de variables. Reemplazando
z = (x, y)(t)
44
en (82) y separando variables se obtiene
1

x
2
+

2

y
2
) =
1
c
2

= k
2
de donde se obtienen las ecuaciones

x
2
+

2

y
2
+ k
2
= 0 (85)

(kc)
2
= 0
La primera ecuacion es una ecuacion de Helmholtz, mientras que la se-
gunda es una EDO con solucion (t) = e
ikct
. Para encontrar una solucion
de (85), pasamos la ecuacion a coordenadas polares (r, ), esto es
1
r
2

r
_
r
2

r
_
+

_
sen

_
+ k
2
= 0
y aplicamos separacion de variables con constante de separacion m
2
. Hace-
mos
(r, ) = R(r)()
. Reemplazando en (85), se tiene que R(r) y () satisfacen

() + m
2
() = 0, (86)
R

(r) +
1
r
R

(r) +
_
k
2

m
2
r
2
_
= 0. (87)
La solucion de (??) es () = exp(im), mientras que (87) es una ecuacion
de Bessel de orden m, cuya solucion es
R(r) = J
m
(kr).
Luego,
(r, ) = J
(
kr) exp[im].
La solucion general de la ecuacion (82) es una superposicion de todas las
soluciones, o sea,
z(r, , t) =

m
C
m,k
J
m
(kr) exp[im] exp[ikct]
45
Imponiendo la condicion de contorno z(a, , t) = 0 se deduce que J
m
(ka) =
0.
Sean k
m,n
los ceros de la funcion de Bessel. Entonces
ka = k
m,n
k =
k
m,n
a
as,
z(r, , t) =

n
C
m,n
J
(
k
m,n
a
r) exp[im] exp[i
k
m,n
a
ct].
Como la membrana es circular, se tiene simetra con relacion al eje z, y la
solucion no depende de , as m = 0 y la solucion sera
z(r, t) =

n
C
n
J
0
(
k
n
r
a
) exp[i
k
n
a
ct]
donde son los ceros de J
0
(z).
De la condicion inicial
z
t
[
t=0
= 0 se ve que la solucion es
z(r, t) =

n
C
n
J
0
_
k
n
r
a
_
cos
_
k
n
c
a
t
_
y los coecientes C
n
pueden ser determinados usando la condicion inicial
z(r, 0) = f(r). As
f(r) =

n
C
0
J
0
_
k
n
r
a
_
y los coecientes C
n
son coecientes de una serie de Bessel,
C
n
2
a
2
J
2
1
(k
n
)
_
a
0
rf(r)J
0
_
k
n
r
a
_
dr.
46