ITESM: Fsica Matematica 1

Funciones de Bessel
Jose Jaime Paredes Peralta, Mara de Jes
us Tellez Brito
1.

Introducci
on

La ecuacin diferencial de Bessel es la soluci

on espacial (en coordenadas cilindricas) a la ecuacion de onda (una de las
ecuaciones fundamentales de la fsica matem
atica), esto es: la ecuacin de Bessel y su solucion (funciones de Bessel) predicen
ondas mec
anica y electromagneticas con simetra cilndrica, esto da lugar a haces de luz invariantes en propagaci
on con
perfil de las funciones de Bessel. En realidad hay muchas areas de la fsica donde se aplican.
Las funciones de Bessel son funciones especiales que surgen como soluciones de la ecuacion diferencial de Bessel (EDB):
x2

dy
d2 y
+x
+ x2 v 2 y = 0
2
dx
dx

(1)

Donde v es una constante real no negativa que define el orden de la funcion de Bessel.
1.1.

Soluci
on de Ecuaciones Diferenciales por series de potencias

El metodo de soluci
on por series de potencias se utiliza, generalmente, para resolver ecuaciones diferenciales lineales
con coneficientes variables como: h(x)y 00 + p(x)y 0 + q(x)y = r(x). El metodo consta de tres partes:
1. Proponer una soluci
on de la forma:
y(x) =

(x x0 )m

m=0

.
2. Obtener las respectivas derivadas de la solucion propuesta y sustituir los resultados en la ED.
3. Encontrar los coeficientes de la soluci
on propuesta y sustituirlos.
Se dice que existe una soluci
on en serie de potencias centrada en x0 de la ecuacin differencial del tipo:
an (x)y (n) (x) + an1 (x)y (n1) (x) + ... + ao (x)y(x) = f (x)
si los coeficientes an (x) tienen una representaci
on en series de potencias y siempre y cuando an (x0 ) 6= 0. Es decir, si todos
los coeficientes son analticos en x = x0 , entonces es posible encontrar una representacion de y(x) en series de potencias.
1.2.

M
etodo de Frobenius(M
etodo de series de potencias extendido)

El metodo de Frobenius es un metod m

as general para resolver ED con coeficientes variables a traves de series de
potencias. Sin embargo, este metodo funciona donde el metodo de series de potencias tradicional deja de ser aplicable.
Esto ocurre cuando se trata de obtener una solucion alrededor de una xo en la cual los coeficientes se encuentran a lo m
as
en un punto singular regular. Tal es el caso de la EDB, ecuacion (1), la cual tiene un punto singular en x = 0(Esto se
demuestra en la siguiente secci
on).
El metodo se resume en los siguientes pasos:
1. Proponer una soluci
on de la forma:
y(x) =

am (x x0 )m+r

(2)

m=0

donde x0 es el n
umero alrededor del cual se expandera la serie, r es cualquier n
umero (real o complejo) y a0 6= 0.
2. Obtener las respectivas derivadas de la solucion propuesta y sustituir los resultados en la ED.
3. Mediante pasos algebraicos obtener una ecuacion, llamada ecuacion indicial, para calcular el valor de r.
1

4. Sustituir r en la soluci
on propuesta y encontrar los valores de am .
Cabe mencionar que es posible que despues del paso tres se encontrara uno de tres casos dependiendo de las solucion que
arroge la ecuaci
on indicial. Puede ser que ambos valores de r sean iguales (caso1: entonces se tiene una solo soluci
on a la
ED), diferentes(caso 2: entonces se tienen 2 soluciones a la ED) o diferentes que difieren por un entero (caso3).
1.3.

M
etodo de Frobenius y la ecuaci
on diferencial de Bessel

En la secci
on anterior se mencion
o que el metodo de Frobenius funcionara siempre y cuando la expansi
on en series
sea alrededor de un punto que a lo m
as sea singular regular. En esta seccion se comprueba esto. Tomando en cuanta la
ecuaci
on
dy
d2 y
+ P (x)
+ Q(x)y = 0
dx2
dx
Un punto regular singular x = x0 ocurre si cualquiera de las siguientes condiciones se cumple:
Si P(x) diverge cuando x x0 , pero (x x0 )P (x) y (x x0 )2 Q(x) se mantienen finitos cuando x x0 .
Si Q(x) diverge cuando x x0 , pero (x x0 )P (x) y (x x0 )2 Q(x) se mantienen finitos cuando x x0 .
(Arfken, 516)
Para la ecuaci
on (1), se tiene que:
P (x) =

1
x

Q(x) = 1

n2
x2

Se puede observar que en x = 0, el punto alrededor del cual se desarrollaran las soluciones en las siguientes secciones,
ambas ecuaciones P (x) y Q(x) divergen, por lo tanto x = 0 es un punto singular. Notando que
 
1
lm (x 0)P (x) = lm x
= lm 1 = 1
x0
x0
x0
x
y
2

lm (x 0) Q(x) = lm x

x0

x0

n2
1 2
x

= lm x2 n2 = n2
x0

se concluye que x = 0 es un punto singular regular, debido a que ambas expresiones son finitas, y por lo tanto el metodo
de frobenius funcionar
a con una expansi
on alrededor de este punto.

2.

Funciones de Bessel

2.1.

Funciones del Primer Tipo: Jv (x) y Jn (x)

A continuaci
on se resuelve la ecuaci
on diferencial de Bessel de la forma:


x2 y 00 + xy 0 + 2 x2 v 2 y = 0

(3)

donde es una constante. La ecuaci

on (3) se conoce como la ecuacion parametrica de Bessel, y sera de utilidad resolverla
en esta forma cuando se trate con la ortogonalidad de las funciones de Bessel.
2.2.

Soluci
on de la ecuaci
on param
etrica de Bessel

Tomando en cuenta que el punto singular de (3) es en xo = 0, se propone la solucion en series de potencias de la
siguiente forma:

X
y (x) =
am xm+r
(4)
m=0

Derivando la soluci
on propuesta 2 veces se obtiene:
y (x)
y (x)

=
=

X
m=0

am (m + r) xm+r1
am (m + r) (m + r 1) xm+r2

m=0

Se sustituyen los resultados anteriores en la ecuacion 3, entonces se obtiene:

am (m + r) (m + r 1) x

m+r

m=0

m+r

am (m + r) x

m=0

am x

m+r+2

m=0

am xm+r = 0

(5)

m=0

Ahora se procede a encontrar la ecuaci

on indicial para conocer los valores de r. Para esto se expanden los valores de
m = 0 del primer, segundo y cuarto termino de la ecuacion (5). Factorizar los coeficientes de los trminos de las series que
contengan a xr (notar que la serie del tercer termino comienza en la potencia xr+2 , por lo que no aportara nada en este
paso). Entonces, corriendo la suma para m = 0, se obtiene:


xr a0 r (r 1) + a0 r a0 v 2 = 0
(6)
Notar que la igualaci
on a cero se debe a que la suma de las 4 sumatorias de la ecuacion (5) debe ser igual a cero, y esto
implica que la suma de los factores de cada potencia de x sea igual a cero. Se pueden observar dos posibles casos para
para la ecuaci
on anterior. El primero sera que el factor xr sea igual a cero y el segundo sera que su coeficiente sea igual
a cero. El primer caso, con x = 0, solo dara la solucion trivial a la ecuacion 5, y eso no es lo que nos interesa. Se busca
una soluci
on que sea v
alida para todo valor de x. Esto implica que todos los COEFICIENTES de cada potencia de x de
las sumatorias sean cero. Por lo tanto se toma el segundo caso.
Igualando el coeficiente de xr a cero, lo cual conduceira a la ecuacion indicial, es evidente que:




a0 r(r 1) + r v 2 = a0 r(r 1 + 1) v 2


= a0 r(r) v 2


= a0 r2 v 2
=

por lo tanto


a0 r2 v 2 = 0
Recordar que una de las condiciones del Metodo de Frobenius es que a0 = 0, entonces la ecuacion indicial se ve de la
siguiente manera
r2 v2 = 0

(7)

y por lo tanto se obtienen 2 valores de r: r1 = v( 0) y r2 = v.

Conociento los valores de r, se tendrn dos soluciones a la ecuacion (3). Primero se tratara las solucion con r1 . Sustituyendo
r = r1 en la ecuaci
on (4), obteniendo sus primeras dos derivadas y sustituyendo en (3) se llega a la ecuacion, (5), solo con
r = v. Entonces se tiene la siguiente ecuaci
on:

am (m + v) (m + v 1) xm+v +

m=0

am (m + v) xm+v + 2

m=0

am xm+v+2 v 2

m=0

am xm+v = 0

(8)

m=0

Lo que resta es encontrar los valores de los coeficientes de am . Bajo los mismo argumentos con los que se igual
o a cero el
coeficiente de xr para obtener la ecuaci
on indicial, se obtienen ecuaciones similares para la potencia de xr + 1. Una vez
m
as, solo la primera, segunda y cuarta serie de la ecuacion 8 contienen tal potencia de x. Corriendo estas sumatorias en
el valor de m = 1 conducir
a a:


a1 (m + v)(m + v 1) + (m + v) v 2 = 0
Por lo tanto, a1 = 0 para que la igualdad se cumpla para cualquier valor permitido de v y m.
Ahora se procede a encontrar una relaci
on de recurrencia. Para esto se toma en cuenta la ecuacion (8). Como ya se
utilizaron los valores de m que generan las potencias xv y xv+1 , por lo que se consideran en el siguiente paso. Ahora se
tomar
an en cuenta las potencias de xm+v para m = 2, 3.... Notar que las primeras dos y u
ltima sumatoria de la ecuaci
on
(8) generan la potencia x2+v con el valor de m = 2, mientras que la tercera sumatoria genera tal potencia con el valor de
m = 0. Para que los valores de m en las 4 sumatorias generen las mismas potencias de xm+v (m = 2, 3...) se realiza una
pequea manipulaci
on alebraica en la tercera sumatoria.
Primero realizar el cambio de variable (SOLO en la tercera sumatoria) m0 = m + 2. Entonces se tiene(recordando que
estamos tomando valores de m comenzando en 2 en la primera, segunda y cuarta sumatoria):

am (m + v) (m + v 1) xm+v +

m=2

X
m=2

am (m + v) (m + v 1) xm+v +

am (m + v) xm+v + 2

m=2

am xm+v+2 v 2

m=0

am (m + v) xm+v + 2

X
m0 =2

m=2

am0 2 xm +v v 2

X
m=2

X
m=2

am xm+v
am xm+v

y como el m0 es una variable muda, no hay problema en dejarlo todo en trminos de m. Entonces:

=
=
=
=
=
=

m=2

am (m + v) (m + v 1) xm+v +

am (m + v) xm+v + 2

m=2

am2 xm+v v 2

m=2

am xm+v

m=2



am (m + v) (m + v 1) xm+v + am (m + v) xm+v + 2 am2 xm+v + am v 2 xm+v

m=2


am (m + v) (m + v 1) + am (m + v) + 2 am2 am v 2 xm+v

m=2


am (m + v) (m + v 1) + (m + v) v 2 + 2 am2 xm+v

m=2


am (m + v) (m + v 1 + 1) v 2 + 2 am2 xm+v

m=2




am m2 + 2mv + v 2 v 2 + 2 am2 xm+v

m=2


am m2 + 2mv + 2 am2 xm+v

m=2

Por lo tanto:

X



am m2 + 2mv + 2 am2 xm+v = 0

m=2

Lo cual expresa que a sumatoria de todas las potencias de xm+v (m 2) debe ser cero para cualquier valor de x. Entonces,
por tener que cumplirse
la igualdad para cualquier x, el coeficiente de xm+v de la ecuacion anterior debe ser igual a cero,
es decir, am m2 + 2mv + 2 am2 = 0. Despejando am se obtiene la relacion de recurrencia buscada:
am =

2 am2
m (m + 2v)

(9)

Con esta u
ltima relaci
on se encontrar
an los valores de am m = 2, 3, .... Entonces, observar que sustituyendo valores impartes
de m en (9) siempre dar como resultado un m
ultiplo de a1 :
a3

a5

=
=

a7

=
=

...

2 a1
3 (3 + 2v)
2 a3

5 (5 + 2v)



4
a1
5 (5 + 2v)
3 (3 + 2v)
2
a5

7 (7 + 2v)




6
1
a1

7 (7 + 2v)
5 (5 + 2v)
3 (3 + 2v)

De manera general se puede decir que am a1 para m = 3, 5, 7.... Recordando que a1 = 0, se concluye que todos los
coeficientes con subndice impar de la serie de potencias propuesta, ecuacion (4), son igual a cero. Por lo tanto, s
olo queda
determinar los valores de los coeficientes con subndice par, y cero, para encontran la solucion completa. Para esto, se
modificar
a la ecuaci
on de recurrencia (9) para que de coeficientes con subndices pares simplemente haciendo el cambio
de varialbe 2m0 = m, entonces se obtiene la relacion de recurrencia:
a2m =

2 a2m2
22 m (m + v)

m = 1, 2, 3, 4...

Recordar que m0 es una variable muda, por lo tanto despues de hacer el cambio de variable se puede expresar la ecuaci
on
sin los 0 . Ahora se evaluar
an los primeros 3 valores de m en la ecuacion anterior para observar que a2 m se puede expresar

en terminos de a0 . Entonces:
(m = 1) a2

(m = 2) a4

=
=
=

(m = 3) a6

2 a0
+ 1)

22 (1) (v

2 a2
+ 2)
4 a0
24 (1)(2) (v + 1) (v + 2)
22 (2) (v

4 a0
24 2! (v + 1) (v + 2)

2 a4
22 (3) (v + 3)

6 a0
26 (1)(2)(3) (v + 1) (v + 2) (v + 3)

6 a0
26 3! (v + 1) (v + 2) (v + 3)

Observar que los signos de los resultados encuadrados, comenzando con el negativo en a2 , se van alternando. Tambien,
la potencia de y el 2 del denominador siempre tienen un exponente igual al doble de m. Y el resultado siempre queda
multiplicado por a0 y dividido por m!. Todo lo anterior se resume expresando a a2m de la siguiente manera:
m

a2m =

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

m = 1, 2, 3...

Ahora que se cuenta con una ecuaci

on para los coeficientes con subndices pares, lo que resta es encontrar a0 . Este
coeficiente podra ser cualquier valor, entonces se le dara un valor tal que convenga matematicamente para simplificar la
ecuaci
on anterior. Entonces se elige:
v
a0 = v
2 (v + 1)
se ver
a m
as adelante por que se incluyeron la ponencia v de y 2. La (v + 1) se propone para abusar de la propiedad:
v(v) = (v + 1) (Demostraci
on en la secci
on 5). sustituyendo a0 en la ecuacion de recurrencia se obtiene:
m

a2m

 2m+v
(1) a0
m!(v + 1)(v + 1)(v + 2)(v + 3)...(v + m) 2
m
 2m+v
(1) a0
=
m!(v + 2)(v + 2)(v + 3)...(v + m) 2
= ...
m
 2m+v
(1) a0
=
m!(v + m + 1) 2
=

Este resultado es el que se sustituir

a en la ecuaci
on (4). Recordemos coeficientes tienen subndices pare, por lo que se hace
el cambio de variable m = 2m en (4). Entonces se tiene:
y(x) =

a2m x2m+v

m=0

Ahora se sustituye el valor de a2 m y se obtiene:

y(x) =

 2m+v
(1)
x2m+v
m!(v
+
m
+
1)
2
m=0

Y ahora se ve claramente por que se incluy

o la pontencia v de y 2 en a0 . Simplificando el resultado de la ecuaci
on
diferencial queda como:
y(x) =

 x 2m+v
(1)
m!(v + m + 1) 2
m=0
5

A esta ecuaci
on, con = 1 se le conoce como Funci
on de Bessel de primer tipo de orden v, y se denota con la
siguiente simbologia:

m
 x 2m+v
X
(1)
Jv (x) =
(10)
m!(v + m + 1) 2
m=0
La cual es una soluci
on a la ecuaci
on parametrica de Bessel y en el caso de ser = 1 es la solucion a la ecuaci
on diferencial de Bessel. Recordemos que esta es la solucion para la primera raz de la ecuacion indicial. Para la segunda raz,
simplemente se sustituye v por v en la ecuaci
on (10).
Una de las formas m
as comunes de la funci
on de Bessel es con v siendo un n
umero n entero mayor o igual que cero.
Bajo esta condici
on la ecuaci
on (10) se reduce a la siguiente forma:
Jn (x) =

2.3.

 x 2m+v
(1)
m!(n + m)! 2
m=0

(n 0)

(11)

Soluci
on General de la ecuaci
on de Bessel en t
erminos de Jv (x)

En este punto, se puede construir una combinacion lineal de las funciones Jv (x) y Jv (x). Pero esto est
a restringido
para toda x 6= 0 y v 6= entero. Entonces
y(x) = c1 Jv (x) + c2 Jv (x)
Observar que si v es entero, es decir, tomando el lmite cuando v n:
lm aJv (x)

vn

= Jn (x)
=

(1)m  x 2m+n
m!(m n)! 2
m=0

Para el siguiente paso considere la gr

afica de (x):
GHxL
10

x
-3

-2

-1

-5

-10

Figura 1: Grafica (x) contra x

Notar que cuando x 0 se aproxima a un entero(por la izquierda o por la derecha), el valor de lafunci
on tiene a
infinitos. Entonces, la u
ltima expresi
on se puede escribir como:
Jn (x)

=
=

(1)m  x 2mn X
(1)m  x 2mn
+
m!(m n)! 2
m!(m n)! 2
m=n
m=0
n1
X

0+

(1)m  x 2mn
m!(m n)! 2
m=n

notar que los primeros n 1 terminos son cero debido a la tendencia infinita de la funcion Gamma para enteros negativos.
Ahora se hase el cambio de variable m = n + s a la u
ltima expresion.
Jn

(1)m  x 2mn
m!(m n)! 2
m=n

X
(1)n+s  x 2s+n
(n + s)!(s)! 2
s=0

(1)n

(1)n Jn (x)

X
s=0

(aplicando m = n + s)

 x 2s+n
(1)s
(n + s)!(s)! 2

Por lo tanto Jn (x) = (1)n Jn (x) para n entero, es decir, Jn y Jn (x) son linealmente dependientes. Y es por esto que
la soluci
on genreal que se tiene restringe a v a no ser entero.
2.4.

Gr
afica de Jn (x)

A continuacin se muestra la gr
afica de la funcion Jn (x). Notese que Jo (x) comienza en y = 1, mientras que el resto
comienza en y = 0
1.0

J0 HxL
0.8

J1 HxL
0.6

J2 HxL
J5 HxL

0.4

J10 HxL

0.2

10

15

20

-0.2

-0.4

Figura 2: Funcion Jn (x) para n = 0, 1, 2, 5, 10

A pesas de que ya se encontr una soluci

on general a la ecuacion (1). Esta solo consta de funciones de Bessel del primer
tipo. Una mejor soluci
on general es una combinacion lineal de funciones del primer tipo Jv (x) y segundo tipo Yv (x), las
cuales se analizan en la siguiente secci
on.
2.5.

Funciones del Segundo Tipo: Yv (x) y Yn (x)

2.6.

Definici
on de Yv (x) y Yn (x)

Hasta el momento se ha encontrado una solucion general de la ecuacion diferencial de Bessel la cual es una combinaci
on
lineal de las funciones Jv (x) y Jv (x). Tal solucion, como ya se menciono, es solo valida para valores no enteros de v y
para toda x 6= o. Entonces se busca una fuci
on que sea una combinacion de Jv (x) y Jv (x) que no se vuelva linealmente
independiente para valores enteros de v. Tal solucion se expresa usualmente de la siguiente manera:
Yv (x) =

cos(v)Jv (x) Jv (x)

sin(v)

(12)

La cual se conoce como funci

on de Bessel del segundo tipo o funcion de Neumman. Esta funcion es linealmente independiente de Jv (x) con valores enteros de v cuando se toma el lmite con v n. En general, la expansion en series de esta
funci
on cuando v n, n siend entero es:
Yn (x) = lm Yv (x) =
vn

n1
h x
i xn X
2
(1)m1 (hm + hm+n ) 2m xn X (n m 1)! 2m
Jn (x) ln
+ +
x

2
m=0 22m+n m!(m + n)!
m=0 22mn m!

Donde hm y hm+n representan a la serie arm

onica. Ahora se demuestra el caso para el cual n = 0 con el metodo de
frobeniuspara la ecuaci
on diferencial:
x2 y 00 + xy 0 + (x2 )y = 0
(13)
que es la ecuaci
on (1) con v = 0. Entonces al sustituir v = 0 en la ecuacion indicial, (7), se obtiene que r1 = r2 = 0, lo
cual cae en el caso dos del metodo de Frobenius.Se sabe que la primera solucion es y1 (x) = J0 (x), entonces la segunda
soluci
on, de acuerdo al metodo, es:

X
y2 (x) = y1 (x) ln(x) +
Am xm+r2
(14)
m=1

Sustituyendo y1 (x),r2 = 0 y obteniendo la primera y segunda derivada:

y2 (x) = J0 (x) ln(x) +

Am x m

(15)

m=1

J0 (x) X
+
Am mxm1
x
m=1

(16)

J00 (x) J00 (x) J0 (x) X

+
+

Am m(m 1)xm2
x
x
x2
m=1

(17)

y20 (x) = J00 (x) ln(x) +

y200 (x) = J000 (x) ln(x) +
Ahora se sustituyen (15),(16) y (17) en 13:

J0 (x) X
+
Am m(m 1)xm1
xJ000 (x) ln(x) + J00 (x) + J00 (x)
x
m=1

+ xJ0 (x) ln(x) +

J0 (x) X
J00 (x) ln(x) +
+
Am mxm1
x
m=1

!
+

!
Am x

m+1

m=1

= ln(x) [xJ000 (x) + J00 (x) + xJ0 (x)] + 2J00 (x) +

Am m(m 1)xm1 +

m=1

= ln(x)[0] + 2J00 (x) +

Am m2 xm1

= 2J00 (x) +

Am mxm1 +

Am m2 xm1 +

m=1

Am mxm1 +

m=1

Am xm+1

Am xm+1

m=1

Am xm+1 = 0

m=1

X
(1) x
2 m1
A
m
x
+
Am xm+1 = 0
+
m
2m2 m!(m 1)!
2
m=1
m=1
m=1
m 2m1

X
m=1

Am mxm1 +

m=1

m=1

m=1

(18)

Donde se sustituy
o el valor de 2J00 (x) y se utiliz
o la ecuacion (13) para decir que xJ000 (x) + J00 (x) + xJ0 (x) = 0. Bajo los
mismos argumentos que se utilizaron para igualar a cero las potencias de x de la ecuacion (5), se obtendra el valor de A1
y una relaci
on de recurrencia para encontrar los coeficientes Am .
La potencia m
as baja de x tomando en cuenta todas las series en la ecuacion (18) lo da la segunda sumatoria con
m = 1, lo que conduce a A1 = 0.
Ahora observar los coeficientes de x2 y x4 (notar que la primera sumatoria solo contiene potencias impares):
32 A3 + A1 = 0
52 A5 + A3 = 0
Si se analiza un poco, estas expresiones se pueden reescribir de la siguiente manera:
(2(1) + 1)2 A2(1)+1 + A(2(1)1) = 0
(2(2) + 1)2 A2(2)+1 + A(2(2)1) = 0
Y en general se ve que
(2s + 1)2 A2s+1 + A2s1 = 0
8

s = 1, 2, 3...

(19)

A partir de esta ecuaci

on y recordando que A1 = 0, se concluye que todos los coeficientes Am con subndices impares
son cero y por lo tanto, todas las potencias pares de x de las sumatorias de la ecuacion (18) desaparecen. Lo que queda
es analizar las potencias impares de x. En este caso se toman en cuenta todas las sumatorias de (18). Obeservar los
coeficientes de x5 , lo cual ocurre respecitvamente para cada serie en m=3,m=6 y m=4, entonces se tiene que:
(1)3
+ (6)2 A6 + A4 = 0
24 3!(2)!
Lo cual se puede reescribir como:
(1)(2)+1
+ [2(2) + 2]2 A2(2)+2 + A2(2) = 0
+ 1]![(2)]!

22(2) [(2)

Y de manera general, los coeficientes de las potencias impares de x se relacionan por la recurrencia:
(1)s+1
+ (2s + 2)2 A2s+2 + A2s = 0
+ 1)!s!

22s (s

Despejando A2s+2 = A2(s+1) y realizando el cambio de variable s + 1 = m se obtiene la recurencia de los coeficientes pares
de las series los cuales corresponden a las potencias impares de x:


A2(m1)
(1)m1
1
(1)m1
A2(m1) 2 2 = 2m 2 2 2
A2m = 2(m1)
2 m
2 m! m
2 m
2
m!(m 1)!
Observar que esta recurrencia de A2m est definida en terminos de coeficiente A2(m1) . De la misma manera, el trmino
A2(m1) debe estar definido en terminos del coeficiente A2(m2) , y as consecutivamente. Esto sugiere que el coeficiente
A2m est
a definido en terminos de de todos los coeficientes con subndice pares anteriores. Tambien notar que se puede
obtener el valor de cualquier coeficiente par sustituyendo m = m n, con n = 1, 2, .... Ahora se sustituye el valor de
A2(m1) en la recurrencia de A2m y luego se sustituira el valor de A2(m2) en la resultante para observar un patr
on que
se forma.


A2(m1)
(1)m1
A2m =

22m (m!)2 m
22 m2



A2(m2)
(1)m1
1
(1)m1 22

=
22m (m!)2 m 22 m2 22m [(m 1)!]2 (m 1) 22 (m 1)2


A2(m2)
(1)m1
(1)m1
=
+
+
22m (m!)2 m 22m (m!)2 (m 1) 24 m2 (m 1)2



A2(m3)
(1)m1
(1)m1
1
(1)m1 24
=
+
+
+

22m (m!)2 m 22m (m!)2 (m 1) 24 m2 (m 1)2

22m [(m 2)!]2 (m 2) 22 (m 2)2


A2(m3)
(1)m1
(1)m1
(1)m1
+
+

=
22m (m!)2 m 22m (m!)2 (m 1) 22m (m!)2 (m 2) 26 m2 (m 1)2 (m 2)2
Obserbar que conforme se sutituyen m
as y m
as valores de Amn en la recurrencia, de cada termino difiere solo en un
factor de 1/q (q = m, m 1, ..., 3, 2, 1). Entonces la recurrencia se escribe de la siguiente manera:


(1)m1 1
1
1
1 1
A2m =
+
+
+
...
+
+
+
1
22m (m!)2 m m 1 m 2
3 2


m1 X
(1)
1
=
2m
2
2 (m!) m=1 m
=

(1)m1 hm
22m (m!)2

(20)

P
1
Donde hm representa la serie arm
onica m=1 m
.Tomando en cuenta que los coeficientes con subndice impar son cero
y sustituyendo (20) en (15) se obtiene y2 (x). Por lo tanto:
y2 (x) = J0 (x) ln(x) +

X
(1)m1 hm  x 2m
(m!)2
2
m=1

(21)

Con esto, ya es posible construir la funci

on de Bessel del segundo tipo tomando en cuenta la forma: y(x) = c1 y1 (x)+c2 y2 (x).
Por convenci
on se elige c1 = bc2 y c2 = a con a = 2 y b = ln 2. Sustituyendo y1 (x) = J0 (x) y y2 (x) (ecuaci
on (21)) se
obtiene que
#
"

X
2
x
(1)m1 hm  x 2m
Y0 (x) =
( + ln )J0 (x) +
(22)

2
(m!)2
2
m=0
Donde es la Gamma de Euler y hm es la serie armonica.
Cabe mencionar que la soluci
on general de la ecuacion diferencial de Bessel es una cominacion lineal de Jv (x) y Yv (x):
y(x) = c1 Jv (x) + c2 Yv (x)
2.7.

Gr
afica de Yn (x)

Ahora se muestra una gr

afica para diferentes valores de Yn (x). Hay que notar que su comportamiento amortiguado lo
adopta de las funciones de Bessel del primer tipo y, de igual manera, su comportamiento creciente conforme se aleja de
x = 0 hasta la primera cresta por el logaritmo involucrado en la expansion en series.
1.0

0.5

Y0HxL

Y1HxL

Y2HxL

10

-0.5

Y5HxL
Y10HxL
-1.0

-1.5

-2.0

Figura 3: Funcion Yn (x) para n = 0, 1, 2, 5, 10

2.8.

Funciones Mofificadas de Bessel

Las funciones modificadas

de Bessel son aquellas que surgen como solucion del caso en que la ecuacion parametrica de

Bessel, (3), con = i = 1. la ecuaci

on se ve de la siguienta manera:
x2
2.9.

d2 y
dy
(x2 + v 2 ) = 0
+x
2
dx
dx

(23)

Primer Tipo:Iv (x)

Para obtener la soluci

on a (23) se utilizan los mismos argumentos y pasos que se utilizaron para resolver la ecuaci
on
parametrica, (3). La soluci
on propuesta queda de la misma forma:
y(x) =

am xm+r

m=0

Sustituyendo la soluci
on propuesta, y suprimera y segunda, en (23) e igualando a cero los coeficientes de la potencia xr se
obtiene la misma ecuaci
on indicial (7). Por lo que una vez mas los valores de r son r1 = v( 0) y r2 = v. Sustituyendo
r1 en la soluci
on propuesta y sustituyendo en la ecuacion (23) se obtiene la siguiente expresion muy similar a la de la
secci
on 3, ecuaci
on (8).

X
m=0

am (m + v) (m + v 1) xm+v +

am (m + v) xm+v

m=0

X
m=0

10

am xm+v+2 v 2

X
m=0

am xm+v = 0

(24)

De acuerdo a (24), de las potencias de xv+1 se concluye que a1 = 0. Despues, tomando en cuenta los coeficientes las
potencias de xm+v para m 2, se puede observar que:
am [(m + v)(m + v 1) + (m + v) v 2 ]am2 = am [m2 + 2mv] am2 = 0
Y por lo tanto la relaci
on de recurrencia es:
am =

am2
m(m + 2v)

(25)

Lo cual es muy parecida a (9). Sabiendo que a1 = 0, entonces la recurrencia indica que todos los coeficientes con subndice
impar son cero. Ahora se busca el subndice par. para esto se hace el cambio de variable m = 2m a (25), entonces:
a2m =

a2(m1)
2
2 m(m + v)

Mediante un an
alisis igual al utilizado en la seccion 2.1, se concluye que:
a2m =

22m m!(v

a0
+ 1)(v + 2)...(v + m)

Una vez m
as, por conveniencia matem
atica, se propone
a0 =
Entonces
4a2 m =

1
2v (v + 1)

1
22m+v m!(m + v + 1)

Sustituyendo el resultado anterior en (24) se obtiene la funcion modificada del primer tipo:
Iv (x) =

 x 2m+v
1
m!(m + v + 1) 2
m=0

Para obtener el resultado con r2 , simplemente se sutituye v = v en (26).

2.9.1.

Relaci
on entre Iv (x) y Jv (x)

Una relaci
on interesante de Jv (x) ocurre cuando se multiplica por iv .
iv Jv (ix)

2m+v

(1) iv
m!(v + m + 1)
m=0

m
X
(1) iv i2m+v  x 2m+v
m!(v + m + 1) 2
m=0

m
X
(1) (1)m  x 2m+v
m!(v + m + 1) 2
m=0

=
=

ix
2

2m

 x 2m+v
(1)
m!(v + m + 1) 2
m=0

 x 2m+v
1
m!(v + m + 1) 2
m=0

La ecuaci
on final es identica a (26). Por lo tanto:
Iv (x) = iv Jv (ix)

11

(26)

2.9.2.

Gr
afica de In (x)

A continuaci
on se muestra una gr
afica de In (x) para diferentes valores enteros de n. Notar que la funcion ya no oscila
como las funciones del primer y segundo tipo.
1.0

0.8

I1HxL

I0HxL

0.6

I2HxL

I5HxL

0.4

0.2

10

Figura 4: Grafica de In (x) para n=0,1,2,5

2.10.

Segundo Tipo:Kv (x)

La motivaci
on para las funciones modificadas del segundo tipo es la misma que para las no modificadas.Se busca una
combinaci
on lineal de Iv (x) e Iv (x) an
aloga a Yv (x), con Yn (x) cuando v n, siendo n un n
umero entero. La ecuaci
on
modificada del segundo tipo se define de la siguiente manera:

2.10.1.

Kv (x)

kn (x)

Iv (x) Iv (x)
2
sin(v)
lm Kv (x)

(27)
(28)

vn

Gr
afica de Kn (x)

A continuaci
on se muestra una gr
afica de Kn (x) para diferentes valores enteros de n. Notar que la funcion ya no oscila
como las funciones del primer y segundo tipo.
1.0

K1HxL
0.8

0.6

0.4

K0HxL

K2HxL

0.2

K5HxL

K10HxL

Figura 5: Grafica de Kn (x) para n=0,1,2,5

12

10

3.

Ortogonalidad de las Funciones de Bessel

A continuaci
on se demostrar
a la ortogonalidad de las funciones de Bessel Jv (x) en el intervalo [0, a], donde a es un
n
umero real mayor a cero. Esto se demostrar
a comprobando que la integral
Z a
  

a2
vi
vj
2
xJv
x Jv
x dx =
[Jv+1 (vi )] ij
i, j = 1, 2, 3...
a
a
2
0
Donde x es la func
on de peso, ij es la delta de Kronecker y vi y vj son ceros de Jv (x), es decir Jv (vi ) = Jv (vj ) = 0.
Se parte de las soluciones a las ecuaciones:
x2 y 00 + xy 0 + (k 2 x2 v 2 )y = 0

k = constante

(29)

x2 y 00 + xy 0 + (k 02 x2 v 2 )y = 0

k 0 = constante

(30)

Las cuales son J( kx) y J( k x) respectivamente. Por el momento considerar solo la ecuacion (29).Sustituyendo los respectivos
rdenes de derivada de Jv (kx) y dividiendo ambos lados de la ecuacion entre x se obtiene:
o
xk 2 Jv00 (kx) + Jv0 (kx) = (v 2 k 2 x2 )Jv (kx)
Observar que el lado izquierdo de la ecuaci
on es la derivada de un producto, entonces:
d [xkJv0 (kx)] = (v 2 k 2 x2 )Jv (kx)dx
Multiplicando ambos lados por Jv (k 0 x) e integrando:
Z a
Z
2
2 2
0
(v k x )Jv (kx)Jv (k x)dx =

Jv (k 0 x)d [xkJv0 (kx)]

Z
= Jv (k 0 x) [xkJv0 (kx)] |a0

xkk 0 Jv0 (kx)Jv0 (k 0 x)dx

Se aplican los mismos pasos para llegar a una expresion similar partiendo de la ecuacion (30). Entonces:
Z a
Z a
2
2 2
0
0
0
a
(v k x )Jv (kx)Jv (k x)dx = Jv (k x) [xkJv (kx)] |0
xkk 0 Jv0 (kx)Jv0 (k 0 x)dx
Z

0
a

(v 2 k 02 x2 )Jv (kx)Jv (k 0 x)dx = Jv (kx) [xk 0 Jv0 (k 0 x)] |a0

xk 0 kJv0 (k 0 x)Jv0 (kx)dx

Restando primera ecuaci

on de la segunda se obtiene la siguiente expresion:
Z a
a
(k 2 k 02 )
xJv (kx)Jv (k 0 x)dx = x [k 0 Jv (kx)Jv0 (k 0 x) kJv (k 0 x)Jv0 (kx)]0
0

Despejando y evaluando el lado derecho:

Z a
a [k 0 Jv (ka)Jv0 (k 0 a) kJv (k 0 a)Jv0 (ka)]
xJv (kx)Jv (k 0 x)dx =
k 2 k 02
0

(31)

Se eligen valores de k y k 0 de manera que f (ka) = f (k 0 a) = 0, es decir, que su producto con a sea un cero de la funci
on
de Bessel. Ahora se definen vi = ka y vj , el i-esimo y j-esimo cero de Jv (kx) y Jv (k 0 x) respectivamente. Entonces:
k=

vi
a

k0 =

v j
a

Sustituyendo los resultados en la ecuaci

on(31):
Z a
vi
vj
a [k 0 Jv (vi )Jv0 (vj ) kJv (vj )Jv0 (vi )]
xJv (
x)Jv (
x)dx =
a
a
k 2 k 02
0
Tomando en cuenta que Jv (vi ) = Jv (vj ) = 0, se concluye que
Z a
vi
vj
xJv (
x)Jv (
x)dx = 0
a
a
0

para

i 6= j

(32)

Se toma que la integral converge a cero cuando i 6= j debido a que si i = j ocurre una forma indeterinada en el
denominador debido a las k 0 s. Este caso se trata a continuacion. Retomando la ecuacion (16),se desea evaluar el caso en
13

el que k = k 0 . Esto se realiza a traves de un lmite con k 0 k. Despues se utiliza la regla de Lhopital para eliminar la
forma indeterminada 00 .
Z
l
m
0

k k

xJv (kx)Jv (k 0 x)dx

=
=
=
=
=
=

l
m
0

k k

lm

a [k 0 Jv (ka)Jv0 (k 0 a) kJv (k 0 a)Jv0 (ka)]

k 2 k 02


d
a Jv (ka) dk0 (k 0 Jv0 (k 0 a)) kJv0 (ka) dkd 0 (Jv (k 0 a))
d
dk0

k0 k

(k 2 k 02 )

ka2 Jv0 (ka)Jv0 (k 0 a)

k k
2k 0
ka2 Jv0 (ka)Jv0 (ka)
2k
2
a2 (Jv0 (ka))
2
2
a2 (Jv0 (vi ))
2
2
a2 (Jv+1 (vi ))
2
l
m
0

(33)

0
(x), demostrada en la seccion 6).
(En el u
ltimo paso se utiliz
o Jv0 (x) = Jv+1
Los resusltados (32) y (33) se pueden sintetisar de la siguiente manera:

xJv (
0

vi
vj
a2 (Jv+1 (vi ))
x)Jv (
x)dx =
ij
a
a
2

(34)

Lo cual comprueba que las funciones de Bessel son ortogonales en el intervalo [0, a].

4.

Ejemplo:Temperaturas estables en un cilindro circular (Zill, 357)

A continuaci
on se presenta una situaci
on en la que se requiere de funciones de Bessel para modelar la temperatura de
estado estable de un cilindro circular de radio 2 cerrado como el que se muestra en la siguiente figura 6.

Figura 6: Cilindro circular r = 2

14

Con los siguientes valores en la frontera:

U (r, 4)

U0

U (2, z)

U (r, 0)

0r2
0z4
Donde U representa la temperatura a una distancia r del origen y altura z. Para encontrar tal funcion se resolver
a la
ecuaci
on de calor:
U
2 U =
(35)
t
on (35) en coordenadas
Como se habla de temperatura de estado estable, entonces U
t = 0. Ahora se expande la ecuaci
cilindricas, debido a la simetra del problema, y se toma en cuenta que debido a las condiciones en la frontera U = U (r, z):


2U
1
U
1 2U
+
2 U =
r
+ 2
r r
r
r 2
z 2
 2

U
U
2U
1
r 2 +
+
=
r
r
r
z 2
2U
1 U
2U
= r 2 +
+
r
r r
z 2
= 0
Por lo tanto la ecuaci
on diferencial a resolver queda de la siguiente manera:
r

1 U
2U
2U
+
+
=0
2
r
r r
z 2

(36)

La cual representa la distribuci

on de calor en una region. Se utiliza el metodo de variables separables, por lo tanto se
propone una soluci
on de la forma:
U (r, z) = R(r)Z(z)
Sustituyendo las respecitvas derivadas de esta solucion en (35) y dividiendio ambos lados entre (U ) se obtiene:
1 2R
1 R
1 2Z
+
+
=0
R r2
rR r
Z z 2
Separando variables:
2R
r 2

+ 1r R
1 2Z
r
=
=
(37)
R
Z z 2
Donde es una constante que tomar
a valores a nuestra conveniencia. Entoces, tomando el primer y u
ltimo termino de
(37) se observa que:
1
R00 + R0 + R = 0
r
Ahora se define = 2 y se multiplica toda la ecuacion anterior por r2 :
r2 R00 + rR0 + 2 r2 R = 0
Lo cual tiene la misma forma que la misma forma que (3) con v = 0. Por lo tanto:
R(r) = c1 J0 (r) + c2 Y0 (r)

(38)

Ahora escogiendo la segunda y tercera parte de la igualdad (37) se llega a

Z 00 z2 = 0
Cuya soluci
on general es
Z(z) = c3 cosh(z) + c4 sinh(z)

(39)

Debido a que los valores en la frontera est

an definidos en cero, c2 = 0 porque Y0 (r) no esta definida en ese punto. El tercer
valor en la frontera indica que U (0, 0) = 0, esto implica que cada factor de las soluciones debe ser igual a cero en este
15

punto. El segundo factor de (39) cumple con esta condicion solo si c4 = 0. El segundo valor en la frontera obliga a que
J0 (2) = 0, por lo tanto debe igual a los valores propios positivos. Entonces
n = n2

(40)

denota el n-esimo valor propio positivo. Para encontrar una funcion gneral, intentara expresar U como una funci
on de
Fourier Bessel, la cual se ve de la siguiente manera:
f (x) =

ci Jn (x)

(41)

n=1

con
ci =

2
2
b2 Jn+1
(i b)

xJn (i x)f (x)dx

(42)

Para nuestro caso se tiene que:

Un = R(r)Z(z) = An sinh(n z)J0 (n r)
donde An = c1 c3 y por lo tanto

U (r) =

Un (r) =

n=1

An sinh(n z)J0 (n r)

(43)

(44)

n=1

Utilizando la primera condici

on en la fronera:
U0 =

An sinh(4n )J0 (n r)

(45)

n=1

Comparando (45) con (42) se observa que

An sinh(4n ) =

2U0
22 J12 (2n )

rJ0 (n r)dr
0

Para resolver la integral se utiliza la propiedad 2 de la seccion 6, sustituyendo

t = rn tJ0 (t) =

d
[rJ1 (r)]
dt

Entonces la expresi
on queda:
An sinh(4n )

=
=
=

Entonces
An =

Z 2n
2U0
d
[tJ1 (t)] dt
22 n2 J12 (2n ) 0
dt
2U0
n
tJ1 (t)|2
0
2
2
2 n J12 (2n )
U0
n J1 (2n )
U0
n sinh(4n )J1 (2n )

(46)

Por lo tanto, sustituyendo (46) en , se obtiene la solucion:

X
sinh(n Z)J0 (n r)
U (r, z) = U0

sinh(4n )J1 (2n )

n=1 n

Lo cual nos da la temperatura en la regi

on en funcion del radio y la altura.

16

(47)

5.

Funci
on Gamma
De la definici
on de la funci
on Gamma: (n) =

et tn1 dt Se eval
ua (n + 1) y se integra por partes.

Z
(n + 1)

et tn dt

=
0

)|
0

t (e
+
0
Z
n1 t
t
e dt
= n

ntn1 et dt

= n(n)

6.

Propiedades de las funciones de Bessel

Por sustituci
on directa se pueden comprobar las siguientes relaciones de recurrencia
Jn1 + Jn+1 =

2n
Jn (x)
x

(48)

Jn1 Jn+1 = 2Jn0 (x)

(49)

Propiedad 1
Restando (49) de (48) se obtiene

n
Jn (x) Jn0 (x)
x
Multiplicando por x n se observa que el lado derecho es la derivada de un producto.
Jn+1 (x) =

xn Jn+1 (x) = nxn1 Jn (x) xn Jn0 (x) =

Por lo tanto:
xn Jn+1 (x) =

d
xn Jn (x)
dx

d
xn Jn (x)
dx

Propiedad 2
Restando (49) y (48) se obtiene

n
Jn (x) + Jn0 (x)
x
Multiplicando por xn se observa que el lado derecho es la derivada de un producto.
Jn1 (x) =

xn Jn1 (x) = nxn1 Jn (x) + xn Jn0 (x) =

Por lo tanto:
xn Jn1 (x) =

d
(xn Jn (x))
dx

d
(xn Jn (x))
dx

Referencias
- Arfken and Weber. Mathematical Methods for Physicists. 5thth ed. United States Of America: Harcourt Academic
Press, 2001. 516,669-711. Print.
- Kreyszing, Erwin. Matem
aticas Avanzadas para Ingeniera. Vol. I. Mxico: Limusa Wiley, 2007. 249-77. II vols. Print.
- Zill, Dennis G., and Jacqueline M. Dewar. C
alculo Vectorial, Analisis de Fourier y Analisis Complejo. 3ra ed. Mexico:
Mc Graw Hill, 2008. 357-58. Print.
- Spiegel, Murray R. Matem
aticas Avanzadas para Ingeniera y Ciencias. Mexico: Mc Graw Hill, 2001. 277-97. Print.
- Watson, G N. A Treatise on the Theory of Bessel Functions. Internet Achive. N.p., 10 Mar. 2001. Web. 3 Mar. 2014.
<https://archive.org/details/ATreatiseOnTheTheoryOfBesselFunctions>.
- Sober, D.Orthogonality and Normalization of Bessel Functions. . N.p., 10 Dec. 2010. Web. 3 Mar. 2014. <http://faculty.cua.edu/so
- Carreto, Larry. Frobenius method Applied to Bessels Equation. N.p., 14 Oct. 2004. Web. 11 Apr. 2014. <http://www.csun.edu/ lc
- Sankar, M. Special Functions. N.p., n.d. Web. 3 Mar. 2014. <http://elearning.vtu.ac.in/P8/e-notes/
06MAT41/Unit-4-MS.pdf>.

17