Funciones de Bessel

Dr. Hector Rene Vega-Carrillo

1
 2

Indice

1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2. Solucion de la Ecuacion diferencial de Bessel . . . . . . . . . . . 5
2.1. Caso n entero . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2. Caso n no entero . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3. Caso n = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3. Funciones hiperbolicas . . . . . . . . . . . . . . . . . . . . . . . 11
4. Funciones esfericas de Bessel . . . . . . . . . . . . . . . . . . . . 12
5. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

1 Introduccion 3

1.
Introduccion

La ecuacion diferencial de Bessel tiene la siguiente forma, [1]

d2 R n2
 
1 dR 2
+ k 2 R = 0 (1)
d r2 r dr r
donde n es un numero real y positivo, entero o fraccion. La condicion de que
R(r) sea uni valuado requiere que n sea un entero. Esta ecuacion es una ecuacion
diferencial ordinaria con coeficientes variables [2] [3].

Haciendo un cambio de variable x = kr, la ecuacion 1 toma la forma,

d2 R n2
 
1 dR
+ 1 2 R = 0 (2)
d x2 x dx x
La ecuacion 2 tiene dos soluciones que son linealmente independientes, Jn (x)
y Yn (x), que son, respectivamente, las funciones de Bessel de primera y segunda
especie (tipo o clase), donde n y k son reales y representa el orden. Las funciones
de Bessel son parte de un conjunto de funciones denominadas especiales. [1]
Otras dos soluciones linealmente independientes de la ecuacion 1, cuando k es
imaginario, son las funciones In (x) y Kn (x), e stas son las funciones hiperbolicas
de Bessel de primera y segunda especie de orden n.
Existen funciones de Bessel de tercera especie, que tambien se conocen como

funciones de Hankel. Estas, estan dadas por,

Hn(1) = Jn (x) + i Yn (x) (3)


1 Introduccion 4

Hn(2) = Jn (x) i Yn (x). (4)

 de la Ecuacion
2 Solucion diferencial de Bessel 5

2. de la Ecuacion
Solucion diferencial de Bessel

2.1. Caso n entero

La ecuacion 2 tiene un punto singular regular en x = 0, por lo tanto la solu-

cion por el metodo de series de potencia requiere de proponer una solucion cuya
expresion es,

X
m
R(x) = x aj x j (5)
j=0

Utilizando la ecuacion 5 como solucion, calculamos su primera y segunda

derivadas, Ry R, y las sustituimos en la ecuacion 2. Aglutinando el resultado en
torno a los valores de x obtenemos un conjunto de coeficientes, que se muestran
en la ecuacion 6

aj 2 = aj [(m + j + n)(m + j n)] (6)

La ecuacion 6 es una relacion de recurrencia que relaciona los coeficientes,

que aparecen en forma alternada, de la expansion de la serie.
Si hacemos j = 0, obtenemos, de la ecuacion 7,

a 2 = a0 [(m + n)(m n)]. (7)

Como el coeficiente de x2 es cero (ya que de otra forma la serie, ecuacion 5,

tiende a infinito) en el origen, obtenemos la ecuacion indicial,

0 = a0 [(m + n)(m n)], (8)

 de la Ecuacion
2 Solucion diferencial de Bessel 6

de donde concluimos que, si a0 6= 0 (lo cual no ocurre si a2 , a4 , ..., a2 j son

diferentes de cero),

m = n. (9)

Si, en la expresion de la serie, ecuacion 5, hacemos que m = 0, ya que n 6= 0,

en la ecuacion 6, debemos concluir que a0 , ..., a2 j son todas iguales a cero.
Haciendo m = +n in la relacion de recurrencia se obtiene,

aj 2 = aj j (2 n + j), (10)

dando como resultado que la solucion es,

 
1  x n 1  x 2 1 1  x 4
R(x) = 1 + . (11)
n! 2 n+1 2 (n + 1)(n + 2) 2! 2

La ecuacion 11 se convierte as en la funcion de Bessel dada en la ecuacion

12,

X (1)j  x n+2j
Jn (x) = (12)
j=0
j(n + j)! 2

Desafortunadamente, para valores enteros de n una segunda solucion, lineal-

mente independiente, a la ecuacion de Bessel no se obtiene mediante Jn (x); ya
que, Jn (x) = (1)n Jn (x). La segunda solucion independiente se debe de en-
contrar en forma separada proponiendo otra serie de potencia, que da lugar a la
funcion de Bessel de segunda especie Yn (x), tambien llamada funcion de Weber
o de Neumann Nn (x) [4] y que se define como,
 de la Ecuacion
2 Solucion diferencial de Bessel 7

Jn (x) cos(n) Jn (x)

Yn (x) = , (13)
sin(n)
donde el valor lmite de la ecuacion 13 es tomado si n es cero o un entero.
El primer conjunto de soluciones independientes, esta formado por las funciones
J0 (x), Y0 (x). Las funciones de Bessel J0 (x) y J1 (x) se muestran en la figura 1,
mientras que las funciones de Bessel Y0 (x) y Y1 (x) se muestran en la figura 2.

Fig. 1: Funciones ordinarias de Bessel, de orden 0 y 1, de primera especie.

Se puede observar que las funciones de segunda especie no estan definidas

en el origen y tampoco tienen valores para argumentos negativos; mientras que
las funciones de primera especie son finitas en el origen y su rango vara de
a+. Estas funciones de Bessel tienen raices a intervalos no regulares del argu-
mento.
 de la Ecuacion
2 Solucion diferencial de Bessel 8

Fig. 2: Funciones ordinarias de Bessel, de orden 0 y 1, de segunda especie.

2.2. Caso n no entero

En el caso de que el orden no sea entero, la solucion de la ecuacion de Bessel se

expresa en terminos de la funcion gamma, (x), como se puede ver en la ecuacion
14.

X (1)j  x n + 2 j
R(x) = . (14)
j=0
j! (n + j + 1) 2

En este caso las funciones de Bessel Jn , Jn , donde n no es entero, nos da

soluciones linealmente independientes. Veamos el caso cuando n = + 13 aparecen
los exponentes 13 , 73 , 13
3
, ...,; mientras que cuando n = 31 aparecen los exponentes
13 , 35 , 11
3
, ...,. Lo que da lugar a dos funciones diferentes y la solucion general de
la ecuacion diferencial de Bessel para valores no enteros de n es R(x) = AJn +
BJn . En la figura 3 se muestran estas dos funciones.
Las funciones hiperbolicas de Bessel de primear y segunda especie, In (x), Kn (x),
algunas veces denominadas funciones de Kelvin [4], se pueden separar en sus
 de la Ecuacion
2 Solucion diferencial de Bessel 9

1
Fig. 3: Funciones de Bessel, de orden 3
y - 13 .

componentes real e imaginaria. As, In (x) se puede escribir, a partir de la ecuacion

11, utilizando valores enteros o cero para n; esto se muestra en la ecuacion 15.

Jn (i x)
In (x) = . (15)
in

2.3. Caso n = 0

Para n = 0, la ecuacion 11 se expresa como,

  x 2 
1  x 4
I0 (x) = 1 + + + . (16)
2 2 2! 2
De la misma forma se determina la funcion Kn (x), que se expresa mediante
la ecuacion 17. Trazos de las funcion In (x) y Kn (x) se muestran en la figura 4.

i n (1)
Kn (x) = i Hn (i x). (17)
2

La funcion Jn (x i i) se separa en su parte real e imaginaria, como se muestra
en la ecuacion 18.
 de la Ecuacion
2 Solucion diferencial de Bessel 10

Fig. 4: Funciones de Bessel I0 (x), K0 (x), I1 (x) y K1 (x).

 i
(bern (x) + i bein (x)) = ei n 2 In x e 4 . (18)

3 Funciones hiperbolicas 11

3.
Funciones hiperbolicas

Las funciones hiperbolicas de segunda especie Kn (x), se pueden expresar me-

diante la ecuacion 19.

 i
(kern (x) + i kein (x)) = ei n 2 Kn x e 4 . (19)

Una ecuacion diferencial, la cual aparece con frecuencia en la solucion radi-

al de sistemas con simetra esferica, se muestra en la ecuacion 20. Si hacemos
1
la siguiente transformacion (r) = r 2 R(r), la ecuacion 20 se convierte en la
ecuacion 21.

d2 R 2 dR
 
2 l(l + 1)
+ + k R = 0 (20)
dr2 r dr r2

d2 (l + 12 )2
 
1 d 2
+ + k = 0 (21)
dr2 r dr r2
Ahora, sustituyendo x = kr en la ecuacion 21, obtenemos la ecuacion difer-
encial de Bessel de orden semientero, como se muestra en la ecuacion 22.

d2 (l + 21 )2
 
1 d
2
+ + 1 =0 (22)
dx x dr x2
Del analisis hecho previamente podemos establecer que la ecuacion 22 tiene
dos soluciones linealmente independientes, por lo tanto su solucion general esta da-
da por la ecuacion 23.

(x) = A Jl+ 1 (x) + B J(l+ 1 ) (x) (23)

2 2

4 Funciones esfericas de Bessel 12

4.
Funciones esfericas de Bessel

Si se expanden las funciones de Bessel de orden semi entero en la forma de

series obtenemos las funciones jn (x) y yn (x), como se muestra en la ecuacion 24,
a estas funciones se le conoce como funciones esfericas de Bessel de primera y
segunda especie respectivamente.

r

jn (x) = J 1 (x)
2x n+ 2
r  (24)

yn (x) = Y 1 (x)
2x n+ 2
Estas expresiones dan lugar a las ecuaciones 25.

sin x
j0 (x) =
x
cos x
y0 (x) =
x (25)
sin x cos x
j1 (x) =
x2 x
cos x sin x
y1 (x) =
x2 x
Las funciones esfericas de Hankel o funciones esfericas de Bessel de tercer
especie se muestran en la ecuacion 26. Los pares de funciones jn (x), yn (x) son
soluciones linealmente independientes para cada n.

h(1)
n (x) = jn (x) + i yn (x)
(26)
h(2)
n (x) = jn (x) i yn (x)
Para valores semi enteros de n se tienen tambien soluciones linealmente inde-
pendientes, jn (x) y jn (x). Ver ecuacion 27.

4 Funciones esfericas de Bessel 13

yn(1) (x) = ( 1)n jn (x) (27)

5 Propiedades 14

5. Propiedades

Las funciones de Bessel tiene ciertas similaridades con las funciones trigonometri-
cas. As podemos establecer similitudes entre la funcion cos x y J0 (x) y la fun-
cion sin x con J1 (x); la primer semejanza se da en que tienen muchos ceros (o
d
races) y que la derivada de una de ellas conduce a la otra, por ejemplo dx
sin x =
cos x.
En el siguiente conjunto de ecuaciones se muestran algunas de las propiedades.

2n
Jn1 (x) + Jn+1 (x) = Jn (x)
x
d
Jn1 (x) Jn+1 (x) = 2 Jn (x)
dx (28)
n d
Jn1 (x) = Jn (x) + Jn (x)
x dx
n d
Jn+1 (x) = Jn (x) Jn (x)
x dx
Como J1 (x) = J1 (x), de este conjunto 28 se obtiene la ecuacion 29.

d
J0 (x) = J1 (x). (29)
dx
Una variedad de propiedades se puede obtener de relaciones como las mostradas.
Una relacion integral importante se obtiene mediante la tercera ecuacion del
conjunto de ecuaciones 28, donde se puede observar que el lado derecho es la
derviada exacta del lado izquierdo, esto conduce a la ecuacion 30.

d
xn Jn1 (x) = nxn1 Jn (x) + xn Jn (x) (30)
dx
5 Propiedades 15

Z
xn Jn1 (x)dx = xn Jn (x). (31)

Las propiedades relacionadas con la derivada de las funciones de Bessel se

muestran en la ecuaciones 32 a 51.

d 1
Jn (x) = (J1+n (x) J1+n (x)) (32)
dx 2

d 1
Jn (ax) = a (J1+n (ax) J1+n (ax)) (33)
dx 2

d
Jn (ax2 ) = ax J1+n (ax2 ) J1+n (ax2 )


(34)
dx

d 3
Jn (ax3 ) = ax2 J1+n (ax3 ) J1+n (ax3 )


(35)
dx 2

d 1
Jn (axb ) = abx1+b J1+n (axb ) J1+n (axb )


(36)
dx 2

d 1
Yn (x) = (Y1+n (x) Y1+n (x)) (37)
dx 2

d 1
Yn (ax) = a (Y1+n (ax) Y1+n (ax)) (38)
dx 2

d
Yn (ax2 ) = ax Y1+n (ax2 ) Y1+n (ax2 )


(39)
dx

d 3
Yn (ax3 ) = ax2 Y1+n (ax3 ) Y1+n (ax3 )


(40)
dx 2
5 Propiedades 16

d 1
Yn (axb ) = abx1+b Y1+n (axb ) Y1+n (axb )


(41)
dx 2

d 1
In (x) = (I1+n (x) + I1+n (x)) (42)
dx 2

d 1
In (ax) = a (I1+n (ax) + I1+n (ax)) (43)
dx 2

d
In (ax2 ) = ax I1+n (ax2 ) + I1+n (ax2 )


(44)
dx

d 3
In (ax3 ) = ax2 I1+n (ax3 ) + I1+n (ax3 )


(45)
dx 2

d 1
In (axb ) = abx1+b I1+n (axb ) + I1+n (axb )


(46)
dx 2

d 1
Kn (x) = (K1+n (x) K1+n (x)) (47)
dx 2

d 1
Kn (ax) = a (K1+n (ax) K1+n (ax)) (48)
dx 2

d
Kn (ax2 ) = ax K1+n (ax2 ) K1+n (ax2 )


(49)
dx

d 3
Kn (ax3 ) = ax2 K1+n (ax3 ) K1+n (ax3 )


(50)
dx 2
5 Propiedades 17

d 1
Kn (axb ) = abx1+b K1+n (axb ) K1+n (axb )


(51)
dx 2

Algunas propiedades relacionadas con la integracion de las funciones de Bessel

se muestran en las ecuaciones 52 a 60

Z
xJ0 (x)dx = xJ1 (x) (52)

Z Z
2 2
x J0 (x)dx = x J1 (x) + xJ0 (x) + J0 (x)dx (53)

Z Z
m m m1 2
x J0 (x)dx = x J1 (x)+(m1)x J0 (x)(m1) xm2 J0 (x)dx (54)

Z
J1 (x)dx = J0 (x) (55)

Z Z
xJ1 (x)dx = xJ0 (x) + J0 (x)dx (56)

Z Z
m m
x J1 (x)dx = x J0 (x) + m xm1 J0 (x)dx (57)

Z
xn Jn1 (x)dx = xn Jn (x) (58)
5 Propiedades 18

Z
xn Jn+1 (x)dx = xn Jn (x) (59)

Z Z
m m
x Jn (x)dx = x Jn1 (x) + (m + n 1) xm1 Jn1 (x)dx (60)

Otra propiedad importante de las ecuaciones de Bessel es la ortogonalidad,

esta caracterstica permite expresar los coeficientes en una expansion de Fourier.
5 Propiedades 19

Referencias

[1] Ayant, Y. y Borg, M., Funciones Especiales. Editorial Alhambra (1974).

[2] Vega-Carrillo, H.R., Fenomenos Fsicos, Modelos Matematicos y Ecua-

ciones Diferenciales, Rev. Mex. Fs 34(1), (1988): 98106.

[3] Vega-Carrillo, H.R., Las Ecuaciones Diferenciales. Educ. Matem. 1(2),

(1989): 1827.

[4] Croxton, C., Introductory Eigenphysics: An approach to the Theory of

Fields, John Wiley & Sons (1974).