TEMA III: FUNCIONES DE BESSEL

1. Las funciones de Bessel de orden natural

La ecuacion diferencial de Bessel de orden , viene representada por
y

+
1
x
y

+ (1

2
x
2
)y = 0
o bien
x
2
y

+ xy

+ (x
2

2
)y = 0
donde x R y R (podra ser x, C)
Comenzaremos estudiando una solucion de la ecuacion de Bessel para N
x
2
y

+ xy

+ (x
2
n
2
)y = 0 , (n = 0, 1, 2, 3, ...) (1.1)
La funcion J
n
(x) =

k=0
(1)
k
(
x
2
)
n+2k
k!(n + k)!
es solucion de la ecuacion (1.1). Ademas como
lim
k

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

= lim
k
(
x
2
)
2
(k + 1)(n + k + 1)
= 0 (x R)
la serie que dene a J
n
(x) es convergente para todo x R. Veamos que efectivamente J
n
(x) es solucion
de (1.1).
J
n
(x) =

k=0

k
x
n+2k
siendo
k
=
(1)
k
2
n+2k
k!(n + k)!
J

n
(x) =

k=0
(n + 2k)
k
x
n+2k1
y J

n
(x) =

k=0
(n + 2k)(n + 2k 1)
k
x
n+2k2
por lo que
x
2
J

n
(x)+xJ

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

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

k
x
n+2k
+

k=0

k
x
n+2k+2
=
=

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

k
x
n+2k
+

k=0

k
x
n+2k+2
=
1
=

k=1
[(n + 2k + n)(n + 2k n)]
k
x
n+2k
+

k=0

k
x
n+2k+2
=
=

k=1
4k(n + k)
k
x
n+2k
+

k=0

k
x
n+2k+2
=
=

r=0
4(r + 1)(n + r + 1)
r+1
x
n+2r+2
+

r=0

r
x
n+2r+2
=
=

r=0
[4(r + 1)(n + r + 1)
r+1
+
r
] x
n+2r+2
= 0
Si tomamos en la expresion de J
n
(x) los valores n = 0 y n = 1, obtendremos las funciones de
Bessel de orden cero y uno respectivamente:
J
0
(x) = 1
(
x
2
)
2
(1!)
2
+
(
x
2
)
4
(2!)
2

(
x
2
)
6
(3!)
2
+ ......
J
1
(x) =
x
2
_
1
(
x
2
)
2
1!2!
+
(
x
2
)
4
2!3!

(
x
2
)
6
3!4!
+ ......
_
Estas funciones tienen la particularidad de que el resto de las funciones J
n
(x) con (n = 2, 3, 4, ....)
pueden expresarse en terminos de ellas dos.
d
dx
[x
n
J
n
(x)] =
d
dx

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

k=0
(1)
k
(2n + 2k)
2
n+2k
k!(k + n)!
x
2n+2k1
=
= x
n

k=0
(1)
k
2
n1+2k
k!(k + n 1)!
x
n1+2k
= x
n
J
n1
(x) (n = 1, 2, 3, ...)
d
dx
_
x
n
J
n
(x)

=
d
dx

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

k=1
(1)
k
2k
2
n+2k
k!(k + n)!
x
2k1
=
=

k=1
(1)
k
2
n1+2k
(k 1)!(k + n)!
x
2k1
=

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

r=0
(1)
r
2
n+1+2r
r!(r + n + 1)!
x
n+1+2r
= x
n
J
n+1
(x) (n = 0, 1, 2, 3, ...)
Luego hemos obtenido las relaciones
d
dx
[x
n
J
n
(x)] = x
n
J
n1
(x) (n = 1, 2, 3, ...) (1.2)
d
dx
_
x
n
J
n
(x)

= x
n
J
n+1
(x) (n = 0, 1, 2, 3, ...) (1.3)
2
Si efectuamos la derivacion en (1.2) y dividimos por x
n
J

n
(x) +
n
x
J
n
(x) = J
n1
(x) (1.4)
Con el mismo proceso, pero dividiendo por x
n
, en (1.3)
J

n
(x)
n
x
J
n
(x) = J
n+1
(x) (1.5)
De (1.4) y (1.5) se deducen las siguientes relaciones recursivas para las funciones de Bessel de
orden natural.
J
n1
(x) + J
n+1
(x) =
2n
x
J
n
(x) (n = 1, 2, 3, ...)
J
n1
(x) J
n+1
(x) = 2J

n
(x) (n = 1, 2, 3, ...)
(1.6)
para el caso n = 0 la segunda ecuacion se reemplaza por
J

0
(x) = J
1
(x)
2. Funciones de Bessel de primera especie y orden arbitrario
J

(x) =

k=0
(1)
k
(
x
2
)
+2k
(k + 1)(k + + 1)
J

(x) funcion de Bessel de primera especie y orden (x, R).

Ejercicio: Comprobar que J

(x) y J

(x) son soluciones de la ecuacion de Bessel

x
2
y

+ xy

+ (x
2

2
)y = 0.
Nota: La solucion general de una ecuacion diferencial lineal de segundo orden
a
2
(x)y

+ a
1
(x)y

+ a
0
(x)y = 0 viene dada por
y(x) = C
1
y
1
(x) + C
2
y
2
(x)
siendo C
1
y C
2
constantes arbitrarias, y
1
(x) e y
2
(x) soluciones linealmente independientes de la
ecuacion.
En el caso de la ecuacion diferencial de Bessel, no es complicado comprobar que las soluciones
J

(x) y J

(x) son linealmente independientes siempre que RZ, sin embargo para n = 1, 2, 3, ...
J
n
(x) =

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

s=0
(1)
n+s
(
x
2
)
n+2s
(n + s)!s!
= (1)
n
J
n
(x)
3
por lo que para = n N, J
n
(x) y J
n
(x) no son linealmente idenpedientes. Este hecho motiva la
b usqueda de otras soluciones de la ecuacion diferencial de Bessel que sean linealmente independientes
con J

(x) incluso cuando = n N.

Ejercicios: Comprobar la veracidad de las siguientes igualdades
1.
d
dx
[x

(x)] = x

J
1
(x)
2.
d
dx
_
x

(x)

= x

J
+1
(x)
3. J
1
(x) + J
+1
(x) =
2
x
J

(x)
4. J
1
(x) J
+1
(x) = 2J

(x)
5.
_
1
x
d
dx
_
m
[x

(x)] = x
m
J
m
(x)
6.
_
1
x
d
dx
_
m
_
x

(x)

= (1)
m
x
m
J
+m
(x)
3. Funciones de Bessel de segunda especie
Las funciones de Bessel de segunda especie y orden , donotadas por Y

(x), vienen denidas por la

formula
Y

(x) =
J

(x)cos() J

(x)
sen
( R Z)
Y
n
(x) = lim
n
Y

(x)
La funcion Y

(x) es solucion de la ecuacion de Bessel, ya que es combinacion lineal de J

(x) y
J

(x) que son soluciones de la misma. Ademas Y

(x) es linealmente independiente con J

(x) y con
J

(x) (las tres juntas no lo son).

Para garantizar la buena denicion de Y
n
(x), basta garantizar la existencia del lmite correspon-
diente. Para lo cual se usa la regla de LHopital.
Y
n
(x) = lim
n
Y

(x) = lim
n
J

(x)cos() J

(x)
sen()
= lim
n

[J

(x)cos() J

(x)]
cos()
=
= lim
n

[J

(x)] cos() J

(x) sen()

[J

(x)]
cos()
=
4
=
1

lim
n
_

[J

(x)]
J

(x) sen()
cos()

[J

(x)]
cos()
_
=
1

__
J

(x)

_
=n
(1)
n
_
J

(x)

_
=n
_
Por ultimo podremos expresar la solucion general de la ecuacion de Bessel de orden como
y(x) = C
1
J

(x) + C
2
Y

(x)
Ejercicio: Comprobar que las funciones de Bessel de segunda especie verican las mismas propiedades
que las de primera especie
1.
d
dx
[x

(x)] = x

Y
1
(x)
2.
d
dx
_
x

(x)

= x

Y
+1
(x)
3. Y
1
(x) + Y
+1
(x) =
2
x
Y

(x)
4. Y
1
(x) Y
+1
(x) = 2Y

(x)
5. Y
n
(x) = (1)
n
Y
n
(x) (n = 0, 1, 2, 3, ...)
3..1 Representaci on en forma de serie de la funcion Y
n
(x)
Teniendo en cuenta que
Y
n
(x) =
1

__
J

(x)

_
=n
(1)
n
_
J

(x)

_
=n
_
podemos obtener
_
J

(x)

_
=n
=

k=0
(1)
k
_
x
2
_
n+2k
k!(n + k)!
_
log
_
x
2
_
(k + n + 1)
_
donde (x) =

(x)
(x)
J

(x)

k=0
(1)
k
_
x
2
_
+2k
k!(k + 1)
_
log
_
x
2
_
+ (k + 1)
_
pero como para k = 0, 1, 2, ..., n 1, lim
n
(k +1) = y lim
n
(k +1) = ocurre que se nos
presentan indeterminaciones que resolveremos usando las relaciones
(x)(1 x) =

sen(x)
y (1 x) (x) = cotg(x)
lim
n
(k + 1)
(k + 1)
= lim
n
_
( k)sen[( k)]

[( k) + cotg[( k)]]
_
=
5
lim
n
_
( k)( k)sen[( k)]

+ ( k)cos[( k)]
_
= (1)
nk
(nk1)! (k = 0, 1, 2, ..., n1)
_
J

(x)

_
=n
= (1)
n
n1

k=0
(n k 1)!
k!
_
x
2
_
2kn
+

k=n
(1)
k
_
x
2
_
2kn
k!(k n)!
_
log
x
2
+ (k n + 1)
_
=
= (1)
n
n1

k=0
(n k 1)!
k!
_
x
2
_
2kn
+ (1)
n

p=0
(1)
p
_
x
2
_
2p+n
p!(p + n)!
_
log
x
2
+ (p + 1)
_
Por tanto
Y
n
(x) =
1

n1

k=0
(n k 1)!
k!
_
x
2
_
2kn
+
1

k=0
(1)
k
_
x
2
_
2k+n
k!(k + n)!
_
2log
x
2
(k + 1) (k + n + 1)
_
donde para n = 0 el primer sumatorio es cero. Recordar que
(1) = , (m + 1) = + 1 +
1
2
+ .... +
1
m
(m = 1, 2, 3, ...)
Y
n
(x) =
2

J
n
(x)log
_
x
2
_

n1

k=0
(n k 1)!
k!
_
x
2
_
2kn

k=0
(1)
k
_
x
2
_
2k+n
k!(k + n)!
[(k + 1) + (k + n + 1)]
Por ultimo
Y
0
(x)
2

log
_
x
2
_
(x 0)
Y
n
(x)
(n 1)!

_
x
2
_
n
(x 0), (n = 1, 2, ...)
por lo que Y
n
(x) cuando x 0
4. Funciones de Bessel de orden n +
1
2
Consideremos ahora las funciones de Bessel de orden n +
1
2
(n = 0, 1, 2, ...)
J1
2
(x) =

k=0
(1)
k
_
x
2
_
2k+
1
2
(k + 1)(k +
3
2
)
teniendo en cuenta que
2
2x1
(x)(x +
1
2
) =

(2x)
6
2
2k+
1
2
(k + 1)(k + 1 +
1
2
) = 2
2(k+1)1
2

1
2
(k + 1)(k + 1 +
1
2
) = 2

1
2

1
2
(2k + 2)
con lo que se obtiene
J1
2
(x) =
_
2x

_1
2

k=0
(1)
k
x
2k
(2k + 2)
=
_
2
x
_1
2
sen x
y de forma similar
J

1
2
(x) =
_
2
x
_1
2
cos x
haciendo uso de la relacion
J
1
(x) + J
+1
(x) =
2
x
J

(x)
J3
2
(x) =
1
x
J1
2
(x) J

1
2
(x) =
_
2
x
_1
2
_
sen x
x
cos x
_
J

3
2
(x) =
1
x
J

1
2
(x) J1
2
(x) =
_
2
x
_1
2
_
sen x +
cos x
x
_
Para las funciones de Bessel de segunda especie hay que tener en cuenta que
Y1
2
(x) =
J1
2
(x)cos

2
J

1
2
(x)
sen

2
= J

1
2
(x) =
_
2
x
_1
2
cos x
Y

1
2
(x) =
J

1
2
(x)cos (

2
) J1
2
(x)
sen (

2
)
= J1
2
(x) =
_
2
x
_1
2
sen x
y a partir de aqu se actua igual.
7
5. Apendice I
Teorema: La funcion J
n
(x), (n = 0, 1, 2, 3, ...) tiene un n umero innito de ceros simples, salvo
x = 0 que es un cero de orden n si n > 0.
Teorema: La funcion J

(x), ( R) tiene un n umero innito de ceros positivos.

Para x 0 y 0
J

(x)
x

(1 + )
(x 0)
J

(x)
_
2
x
cos(x

2


4
) (x )
Para x > 0 y 0
Y

(x)
2

()
x

(x 0, 0)
Y

(x)
_
2
x
sen(x

2


4
) (x )
Y
0
(x)
2

log
2
x
(x 0)
6. Apendice II
Dada la ecuacion diferencial
y

+ P(x)y

+ Q(x)y = 0
si P(x) y Q(x) no son analticas en x = x
0
, diremos que x
0
es un punto singular de la ecuacion. En
caso de que (x x
0
)P(x) y (x x
0
)
2
Q(x) sean analticas en x
0
diremos que es un punto singular
regular. Para la busqueda de soluciones se plantea
y(x) =

k=0
a
k
(x x
0
)
k+r
siendo r raz de la ecuacion indicial
r(r 1) + p
0
r + q
0
= 0
donde p
0
= lim
xx
0
(x x
0
)P(x) y q
0
= lim
xx
0
(x x
0
)
2
Q(x)
Teorema de Frobenius Sea x
0
un punto singular regular de la ecuacion y

+P(x)y

+Q(x)y = 0 y
sean r
1
y r
2
las races de la ecuacion indicial asociada, con r
1
r
2
((r
1
) (r
2
)).
8
1. Si r
1
r
2
no es un n umero entero, entonces existen dos soluciones linealmente independientes
de la forma
y
1
(x) =

k=0
a
k
(x x
0
)
k+r
1
a
0
= 0
y
2
(x) =

k=0
b
k
(x x
0
)
k+r
2
b
0
= 0
2. Si r
1
= r
2
, entonces existen dos soluciones linealmente independientes de la forma
y
1
(x) =

k=0
a
k
(x x
0
)
k+r
1
a
0
= 0
y
2
(x) = y
1
(x)ln|x x
0
| +

k=0
b
k
(x x
0
)
k+r
1
3. Si r
1
r
2
N, entonces existen dos soluciones linealmente independientes de la forma
y
1
(x) =

k=0
a
k
(x x
0
)
k+r
1
a
0
= 0
y
2
(x) = Cy
1
(x)ln|x x
0
| +

k=0
b
k
(x x
0
)
k+r
2
b
0
= 0
C es una constante que puede ser cero.
Ejemplo: (Ecuacion de Bessel)
y

+
1
x
y

+
_
1

2
x
2
_
y = 0
P(x) =
1
x
y Q(x) = 1

2
x
2
no son analticas en x = 0 pero lim
x0
xP(x) = 1 = p
0
y
lim
x0
x
2
Q(x) =
2
= q
0
, siendo xP(x) y x
2
Q(x) analticas en x = 0. Por tanto x = 0 es un punto
singular regular de la ecuacion de Bessel, cuya ecuacion indicial es
r(r 1) + r
2
= 0 = r
2

2
= 0 = r
1
= y r
2
=
se obtienen como soluciones J

(x) y J

(x) que son linealmente independientes siempre que = n N

9
7. Apendice III
La transformada integral de Hankel viene denida por
(y) = (h

) (y) =
_

0
(x)

xyJ

(xy)dx (0 < y < ), (

1
2
)
La funcion debe vericar, entre otras propiedades, que lim
x
D
k
(x) = 0 (k = 0, 1, 2, ...),
siendo D
k
=
d
k
dx
k
y la velocidad de convergencia a cero mayor que la de cualquier potencia de
1
x
.
Si denotamos por N

al operador
N

f(x) = x
+
1
2
Dx

1
2
f(x)
no es complicado vericar que
1. h
+1
(x) = N

()
2. h
+1
(N

) = yh

()
Demostracion:
1. Primero comprobemos que D
y
y

(xy) = xy

J
+1
(xy), para ello hagamos el cambio
xy = u, con lo que D
y
=
d
dy
=
d
du
du
dy
= x
d
du
= xD
u
. Por lo tanto
D
y
y

(xy) = xD
u
u

(u) = x
+1
D
u
u

(u) =
= x
+1
u

J
+1
(u) = x
+1
x

J
+1
(xy) = xy

J
+1
(xy)
Probemos ahora la igualdad pedida
N

()(y) = y
+
1
2
D
y
y

1
2
_

0
(x)

xyJ

(xy)dx = y
+
1
2
D
y
_

0
(x)x
1
2
y

(xy)dx =
= y
+
1
2
_

0
(x)x
1
2
D
y
_
y

(xy)

dx = y
+
1
2
_

0
(x)x
1
2
_
xy

J
+1
(xy)

dx =
=
_

0
[x(x)]

xyJ
+1
(xy)dx = h
+1
[x] (y)
2.
h
+1
(N

)(y) =
_

0
_
x
+
1
2
d
x
x
+
1
2
(x)
_

xyJ
+1
(xy)dx =
aplicando el metodo de integracion por partes
u = x
+
1
2

xyJ
+1
(xy) = y
1
2
x
+1
J
+1
(xy) = du = y
3
2
x
+1
J

(x)dx
10
dv = D
x
_
x

1
2
(x)
_
dx = v = x

1
2
(x)
por lo tanto
= [

xyJ
+1
(xy)(x)]

0

_

0
(x)x
1
2
y
3
2
J

(x)dx = 0 y
_

0
(x)

xyJ

(x)dx = yh

()(y)
Nota: recordar que para x 0 y 0 se tiene
J

(x)
x

(1 + )
(x 0)
J

(x)
_
2
x
cos(x

2


4
) (x )
11