Funciones de Bessel

Dr. H ector Ren e Vega-Carrillo

1
2

Indice
1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2. Soluci on de la Ecuaci on 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 hiperb olicas . . . . . . . . . . . . . . . . . . . . . . . 11
4. Funciones esf ericas de Bessel . . . . . . . . . . . . . . . . . . . . 12
5. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1 Introducci on 3
1. Introducci on
La ecuaci on diferencial de Bessel tiene la siguiente forma, [1]
d
2
R
d r
2
+
1
r
d R
d r

k
2

n
2
r
2

R = 0 (1)
donde n es un n umero real y positivo, entero o fracci on. La condici on de que
R(r) sea uni valuado requiere que n sea un entero. Esta ecuaci on es una ecuaci on
diferencial ordinaria con coecientes variables [2] [3].
Haciendo un cambio de variable x = kr, la ecuaci on 1 toma la forma,
d
2
R
d x
2
+
1
x
d R
d x

1
n
2
x
2

R = 0 (2)
La ecuaci on 2 tiene dos soluciones que son linealmente independientes, J
n
(x)
y Y
n
(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 ecuaci on 1, cuando k es
imaginario, son las funciones I
n
(x) y K
n
(x), estas son las funciones hiperb olicas
de Bessel de primera y segunda especie de orden n.
Existen funciones de Bessel de tercera especie, que tambi en se conocen como
funciones de Hankel.

Estas, est an dadas por,
H
(1)
n
= J
n
(x) + i Y
n
(x) (3)
1 Introducci on 4
H
(2)
n
= J
n
(x) i Y
n
(x). (4)
2 Soluci on de la Ecuaci on diferencial de Bessel 5
2. Soluci on de la Ecuaci on diferencial de Bessel
2.1. Caso n entero
La ecuaci on 2 tiene un punto singular regular en x = 0, por lo tanto la solu-
ci on por el m etodo de series de potencia requiere de proponer una soluci on cuya
expresi on es,
R(x) = x
m

j = 0
a
j
x
j
(5)
Utilizando la ecuaci on 5 como soluci on, calculamos su primera y segunda
derivadas, Ry R, y las sustituimos en la ecuaci on 2. Aglutinando el resultado en
torno a los valores de x obtenemos un conjunto de coecientes, que se muestran
en la ecuaci on 6
a
j 2
= a
j
[(m + j + n)(m + j n)] (6)
La ecuaci on 6 es una relaci on de recurrencia que relaciona los coecientes,
que aparecen en forma alternada, de la expansi on de la serie.
Si hacemos j = 0, obtenemos, de la ecuaci on 7,
a
2
= a
0
[(m + n)(m n)]. (7)
Como el coeciente de x
2
es cero (ya que de otra forma la serie, ecuaci on 5,
tiende a innito) en el origen, obtenemos la ecuaci on indicial,
0 = a
0
[(m + n)(m n)], (8)
2 Soluci on de la Ecuaci on diferencial de Bessel 6
de donde concluimos que, si a
0
= 0 (lo cual no ocurre si a
2
, a
4
, ..., a
2 j
son
diferentes de cero),
m = n. (9)
Si, en la expresi on de la serie, ecuaci on 5, hacemos que m = 0, ya que n = 0,
en la ecuaci on 6, debemos concluir que a
0
, ..., a
2 j
son todas iguales a cero.
Haciendo m = +n in la relaci on de recurrencia se obtiene,
a
j 2
= a
j
j (2 n + j), (10)
dando como resultado que la soluci on es,
R(x) =
1
n!

x
2

1
1
n + 1

x
2

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

x
2

. (11)
La ecuaci on 11 se convierte as en la funci on de Bessel dada en la ecuaci on
12,
J
n
(x) =

j=0
(1)
j
j(n + j)!

x
2

n+2j
(12)
Desafortunadamente, para valores enteros de n una segunda soluci on, lineal-
mente independiente, a la ecuaci on de Bessel no se obtiene mediante J
n
(x); ya
que, J
n
(x) = (1)
n
J
n
(x). La segunda soluci on independiente se debe de en-
contrar en forma separada proponiendo otra serie de potencia, que da lugar a la
funci on de Bessel de segunda especie Y
n
(x), tambi en llamada funci on de Weber
o de Neumann N
n
(x) [4] y que se dene como,
2 Soluci on de la Ecuaci on diferencial de Bessel 7
Y
n
(x) =
J
n
(x) cos(n) J
n
(x)
sin(n)
, (13)
donde el valor lmite de la ecuaci on 13 es tomado si n es cero o un entero.
El primer conjunto de soluciones independientes, est a formado por las funciones
J
0
(x), Y
0
(x). Las funciones de Bessel J
0
(x) y J
1
(x) se muestran en la gura 1,
mientras que las funciones de Bessel Y
0
(x) y Y
1
(x) se muestran en la gura 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 est an denidas
en el origen y tampoco tienen valores para argumentos negativos; mientras que
las funciones de primera especie son nitas en el origen y su rango vara de
a+. Estas funciones de Bessel tienen raices a intervalos no regulares del argu-
mento.
2 Soluci on de la Ecuaci on 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 soluci on de la ecuaci on de Bessel se
expresa en t erminos de la funci on gamma, (x), como se puede ver en la ecuaci on
14.
R(x) =

j=0
(1)
j
j! (n + j + 1)

x
2

n + 2 j
. (14)
En este caso las funciones de Bessel J
n
, J
n
, donde n no es entero, nos da
soluciones linealmente independientes. Veamos el caso cuando n = +
1
3
aparecen
los exponentes
1
3
,
7
3
,
13
3
, ...,; mientras que cuando n =
1
3
aparecen los exponentes

1
3
,
5
3
,
11
3
, ...,. Lo que da lugar a dos funciones diferentes y la soluci on general de
la ecuaci on diferencial de Bessel para valores no enteros de n es R(x) = AJ
n
+
BJ
n
. En la gura 3 se muestran estas dos funciones.
Las funciones hiperb olicas de Bessel de primear y segunda especie, I
n
(x), K
n
(x),
algunas veces denominadas funciones de Kelvin [4], se pueden separar en sus
2 Soluci on de la Ecuaci on diferencial de Bessel 9
Fig. 3: Funciones de Bessel, de orden
1
3
y -
1
3
.
componentes real e imaginaria. As, I
n
(x) se puede escribir, a partir de la ecuaci on
11, utilizando valores enteros o cero para n; esto se muestra en la ecuaci on 15.
I
n
(x) =
J
n
(i x)
i
n
.
(15)
2.3. Caso n = 0
Para n = 0, la ecuaci on 11 se expresa como,
I
0
(x) =

1 +

x
2

2
+
1
2 2 !

x
2

4
+

. (16)
De la misma forma se determina la funci on K
n
(x), que se expresa mediante
la ecuaci on 17. Trazos de las funci on I
n
(x) y K
n
(x) se muestran en la gura 4.
K
n
(x) =
i
2
i
n
H
(1)
n
(i x). (17)
La funci on J
n
(x i

i) se separa en su parte real e imaginaria, como se muestra

en la ecuaci on 18.
2 Soluci on de la Ecuaci on diferencial de Bessel 10
Fig. 4: Funciones de Bessel I
0
(x), K
0
(x), I
1
(x) y K
1
(x).
(ber
n
(x) + i bei
n
(x)) = e
i n

2
I
n

x e
i
4

.
(18)
3 Funciones hiperb olicas 11
3. Funciones hiperb olicas
Las funciones hiperb olicas de segunda especie K
n
(x), se pueden expresar me-
diante la ecuaci on 19.
(ker
n
(x) + i kei
n
(x)) = e
i n

2
K
n

x e
i
4

.
(19)
Una ecuaci on diferencial, la cual aparece con frecuencia en la soluci on radi-
al de sistemas con simetra esf erica, se muestra en la ecuaci on 20. Si hacemos
la siguiente transformaci on (r) = r
1
2
R(r), la ecuaci on 20 se convierte en la
ecuaci on 21.
d
2
R
dr
2
+
2
r
dR
dr
+

k
2

l(l + 1)
r
2

R = 0 (20)
d
2

dr
2
+
1
r
d
dr
+

k
2

(l +
1
2
)
2
r
2

= 0 (21)
Ahora, sustituyendo x = kr en la ecuaci on 21, obtenemos la ecuaci on difer-
encial de Bessel de orden semientero, como se muestra en la ecuaci on 22.
d
2

dx
2
+
1
x
d
dr
+

1
(l +
1
2
)
2
x
2

= 0 (22)
Del an alisis hecho previamente podemos establecer que la ecuaci on 22 tiene
dos soluciones linealmente independientes, por lo tanto su soluci on general est a da-
da por la ecuaci on 23.
(x) = A J
l+
1
2
(x) + B J
(l+
1
2
)
(x)
(23)
4 Funciones esf ericas de Bessel 12
4. Funciones esf ericas de Bessel
Si se expanden las funciones de Bessel de orden semi entero en la forma de
series obtenemos las funciones j
n
(x) y y
n
(x), como se muestra en la ecuaci on 24,
a estas funciones se le conoce como funciones esf ericas de Bessel de primera y
segunda especie respectivamente.
j
n
(x) =

2x

J
n+
1
2
(x)
y
n
(x) =

2x

Y
n+
1
2
(x)
(24)
Estas expresiones dan lugar a las ecuaciones 25.
j
0
(x) =
sin x
x
y
0
(x) =
cos x
x
j
1
(x) =
sin x
x
2

cos x
x
y
1
(x) =
cos x
x
2

sin x
x
(25)
Las funciones esf ericas de Hankel o funciones esf ericas de Bessel de tercer
especie se muestran en la ecuaci on 26. Los pares de funciones j
n
(x), y
n
(x) son
soluciones linealmente independientes para cada n.
h
(1)
n
(x) = j
n
(x) + i y
n
(x)
h
(2)
n
(x) = j
n
(x) i y
n
(x)
(26)
Para valores semi enteros de n se tienen tambi en soluciones linealmente inde-
pendientes, j
n
(x) y j
n
(x). Ver ecuaci on 27.
4 Funciones esf ericas de Bessel 13
y
(1)
n
(x) = ( 1)
n
j
n
(x)
(27)
5 Propiedades 14
5. Propiedades
Las funciones de Bessel tiene ciertas similaridades con las funciones trigonom etri-
cas. As podemos establecer similitudes entre la funci on cos x y J
0
(x) y la fun-
ci on sin x con J
1
(x); la primer semejanza se da en que tienen muchos ceros (o
races) y que la derivada de una de ellas conduce a la otra, por ejemplo
d
dx
sin x =
cos x.
En el siguiente conjunto de ecuaciones se muestran algunas de las propiedades.
J
n1
(x) + J
n+1
(x) =
2n
x
J
n
(x)
J
n1
(x) J
n+1
(x) = 2
d
dx
J
n
(x)
J
n1
(x) =
n
x
J
n
(x) +
d
dx
J
n
(x)
J
n+1
(x) =
n
x
J
n
(x)
d
dx
J
n
(x)
(28)
Como J
1
(x) = J
1
(x), de este conjunto 28 se obtiene la ecuaci on 29.
d
dx
J
0
(x) = J
1
(x).
(29)
Una variedad de propiedades se puede obtener de relaciones como las mostradas.
Una relaci on integral importante se obtiene mediante la tercera ecuaci on del
conjunto de ecuaciones 28, donde se puede observar que el lado derecho es la
derviada exacta del lado izquierdo, esto conduce a la ecuaci on 30.
x
n
J
n1
(x) = nx
n1
J
n
(x) + x
n
d
dx
J
n
(x)
(30)
5 Propiedades 15

x
n
J
n1
(x)dx = x
n
J
n
(x). (31)
Las propiedades relacionadas con la derivada de las funciones de Bessel se
muestran en la ecuaciones 32 a 51.
d
dx
J
n
(x) =
1
2
(J
1+n
(x) J
1+n
(x)) (32)
d
dx
J
n
(ax) =
1
2
a (J
1+n
(ax) J
1+n
(ax)) (33)
d
dx
J
n
(ax
2
) = ax

J
1+n
(ax
2
) J
1+n
(ax
2
)

(34)
d
dx
J
n
(ax
3
) =
3
2
ax
2

J
1+n
(ax
3
) J
1+n
(ax
3
)

(35)
d
dx
J
n
(ax
b
) =
1
2
abx
1+b

J
1+n
(ax
b
) J
1+n
(ax
b
)

(36)
d
dx
Y
n
(x) =
1
2
(Y
1+n
(x) Y
1+n
(x)) (37)
d
dx
Y
n
(ax) =
1
2
a (Y
1+n
(ax) Y
1+n
(ax)) (38)
d
dx
Y
n
(ax
2
) = ax

Y
1+n
(ax
2
) Y
1+n
(ax
2
)

(39)
d
dx
Y
n
(ax
3
) =
3
2
ax
2

Y
1+n
(ax
3
) Y
1+n
(ax
3
)

(40)
5 Propiedades 16
d
dx
Y
n
(ax
b
) =
1
2
abx
1+b

Y
1+n
(ax
b
) Y
1+n
(ax
b
)

(41)
d
dx
I
n
(x) =
1
2
(I
1+n
(x) + I
1+n
(x)) (42)
d
dx
I
n
(ax) =
1
2
a (I
1+n
(ax) + I
1+n
(ax)) (43)
d
dx
I
n
(ax
2
) = ax

I
1+n
(ax
2
) + I
1+n
(ax
2
)

(44)
d
dx
I
n
(ax
3
) =
3
2
ax
2

I
1+n
(ax
3
) + I
1+n
(ax
3
)

(45)
d
dx
I
n
(ax
b
) =
1
2
abx
1+b

I
1+n
(ax
b
) + I
1+n
(ax
b
)

(46)
d
dx
K
n
(x) =
1
2
(K
1+n
(x) K
1+n
(x)) (47)
d
dx
K
n
(ax) =
1
2
a (K
1+n
(ax) K
1+n
(ax)) (48)
d
dx
K
n
(ax
2
) = ax

K
1+n
(ax
2
) K
1+n
(ax
2
)

(49)
d
dx
K
n
(ax
3
) =
3
2
ax
2

K
1+n
(ax
3
) K
1+n
(ax
3
)

(50)
5 Propiedades 17
d
dx
K
n
(ax
b
) =
1
2
abx
1+b

K
1+n
(ax
b
) K
1+n
(ax
b
)

(51)
Algunas propiedades relacionadas con la integraci on de las funciones de Bessel
se muestran en las ecuaciones 52 a 60

xJ
0
(x)dx = xJ
1
(x) (52)

x
2
J
0
(x)dx = x
2
J
1
(x) + xJ
0
(x) +

J
0
(x)dx (53)

x
m
J
0
(x)dx = x
m
J
1
(x)+(m1)x
m1
J
0
(x)(m1)
2

x
m2
J
0
(x)dx (54)

J
1
(x)dx = J
0
(x) (55)

xJ
1
(x)dx = xJ
0
(x) +

J
0
(x)dx (56)

x
m
J
1
(x)dx = x
m
J
0
(x) + m

x
m1
J
0
(x)dx (57)

x
n
J
n1
(x)dx = x
n
J
n
(x) (58)
5 Propiedades 18

x
n
J
n+1
(x)dx = x
n
J
n
(x) (59)

x
m
J
n
(x)dx = x
m
J
n1
(x) + (m + n 1)

x
m1
J
n1
(x)dx (60)
Otra propiedad importante de las ecuaciones de Bessel es la ortogonalidad,
esta caracterstica permite expresar los coecientes en una expansi on de Fourier.
5 Propiedades 19
Referencias
[1] Ayant, Y. y Borg, M., Funciones Especiales. Editorial Alhambra (1974).
[2] Vega-Carrillo, H.R., Fen omenos Fsicos, Modelos Matem aticos 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).