TEMA III: FUNCIONES DE BESSEL

1. Las funciones de Bessel de orden natural

La ecuacion diferencial de Bessel de orden , viene representada por

1 0 2
y 00 + y + (1 2 )y = 0
x x

o bien
x2 y 00 + xy 0 + (x2 2 )y = 0

donde x R y R (podra ser x, C)

Comenzaremos estudiando una solucion de la ecuacion de Bessel para N

x2 y 00 + xy 0 + (x2 n2 )y = 0 , (n = 0, 1, 2, 3, ...) (1.1)

X (1)k ( x2 )n+2k
La funcion Jn (x) = es solucion de la ecuacion (1.1). Ademas como
k=0
k!(n + k)!

(1)k+1 ( x2 )n+2k+2
( x2 )2
(k+1)!(n+k+1)!
lim (1)k ( x )n+2k = lim =0 (x R)
k 2 k (k + 1)(n + k + 1)
k!(n+k)!

la serie que define a Jn (x) es convergente para todo x R. Veamos que efectivamente Jn (x) es solucion
de (1.1).

X (1)k
Jn (x) = k xn+2k siendo k =
k=0
2n+2k k!(n + k)!

X
X
Jn0 (x) = (n + 2k)k xn+2k1 y Jn00 (x) = (n + 2k)(n + 2k 1)k xn+2k2
k=0 k=0
por lo que
h
X i
X
x2 Jn00 (x)+xJn0 (x)+(x2 n2 )Jn (x) = (n + 2k)(n + 2k 1) + (n + 2k) n2 k xn+2k + k xn+2k+2 =
k=0 k=0

h
X i
X
= (n + 2k)2 n2 k xn+2k + k xn+2k+2 =
k=1 k=0

1

X
X
= [(n + 2k + n)(n + 2k n)] k xn+2k + k xn+2k+2 =
k=1 k=0

X
X
= 4k(n + k)k xn+2k + k xn+2k+2 =
k=1 k=0

X
X
= 4(r + 1)(n + r + 1)r+1 xn+2r+2 + r xn+2r+2 =
r=0 r=0

X
= [4(r + 1)(n + r + 1)r+1 + r ] xn+2r+2 = 0
r=0

Si tomamos en la expresion de Jn (x) los valores n = 0 y n = 1, obtendremos las funciones de

Bessel de orden cero y uno respectivamente:

( x2 )2 ( x2 )4 ( x2 )6
J0 (x) = 1 + + ......
(1!)2 (2!)2 (3!)2
" #
x ( x )2 ( x )4 ( x )6
J1 (x) = 1 2 + 2 2 + ......
2 1!2! 2!3! 3!4!
Estas funciones tienen la particularidad de que el resto de las funciones Jn (x) con (n = 2, 3, 4, ....)
pueden expresarse en terminos de ellas dos.

d n d X (1)k 2n+2k
X (1)k (2n + 2k) 2n+2k1
[x Jn (x)] = x = x =
dx dx k=0 2n+2k k!(k + n)! k=0
2n+2k k!(k + n)!

X (1)k
= xn n1+2k k!(k + n 1)!
xn1+2k = xn Jn1 (x) (n = 1, 2, 3, ...)
k=0
2

d n d X (1)k 2k
X (1)k 2k
x Jn (x) = x = x2k1 =
dx dx k=0 2n+2k k!(k + n)! k=1
2 n+2k k!(k + n)!

X X
(1)k 2k1 (1)r+1
= n1+2k (k 1)!(k + n)!
x = n+1+2r r!(r + n + 1)!
x2r+1 =
k=1
2 r=0
2

X (1)r
= xn n+1+2r r!(r + n + 1)!
xn+1+2r = xn Jn+1 (x) (n = 0, 1, 2, 3, ...)
r=0
2
Luego hemos obtenido las relaciones

d n
[x Jn (x)] = xn Jn1 (x) (n = 1, 2, 3, ...) (1.2)
dx
d n
x Jn (x) = xn Jn+1 (x) (n = 0, 1, 2, 3, ...) (1.3)
dx

2
 Si efectuamos la derivacion en (1.2) y dividimos por xn

n
Jn0 (x) + Jn (x) = Jn1 (x) (1.4)
x

Con el mismo proceso, pero dividiendo por xn , en (1.3)

n
Jn0 (x) Jn (x) = Jn+1 (x) (1.5)
x

De (1.4) y (1.5) se deducen las siguientes relaciones recursivas para las funciones de Bessel de
orden natural.
2n
Jn1 (x) + Jn+1 (x) = x Jn (x) (n = 1, 2, 3, ...)
(1.6)
Jn1 (x) Jn+1 (x) = 2Jn0 (x) (n = 1, 2, 3, ...)
para el caso n = 0 la segunda ecuacion se reemplaza por

J00 (x) = J1 (x)

2. Funciones de Bessel de primera especie y orden arbitrario

X (1)k ( x2 )+2k
J (x) =
k=0
(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
x2 y 00 + xy 0 + (x2 2 )y = 0.
Nota: La solucion general de una ecuacion diferencial lineal de segundo orden
a2 (x)y 00 + a1 (x)y 0 + a0 (x)y = 0 viene dada por

y(x) = C1 y1 (x) + C2 y2 (x)

siendo C1 y C2 constantes arbitrarias, y1 (x) e y2 (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 R Z, sin embargo para n = 1, 2, 3, ...

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

3
por lo que para = n N, Jn (x) y Jn (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

d
1. [x J (x)] = x J1 (x)
dx
d
2. x J (x) = x J+1 (x)
dx
2
3. J1 (x) + J+1 (x) = J (x)
x
4. J1 (x) J+1 (x) = 2J0 (x)
m
1 d
5. [x J (x)] = xm Jm (x)
x dx
m
1 d
6. x J (x) = (1)m xm J+m (x)
x dx

3. Funciones de Bessel de segunda especie

Las funciones de Bessel de segunda especie y orden , donotadas por Y (x), vienen definidas por la
formula
J (x)cos() J (x)
Y (x) = ( R Z)
sen
Yn (x) = lim Y (x)
n

La funcion Y (x) es solucion de la ecuacion de Bessel, ya que es combinaci

on 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 definicion de Yn (x), basta garantizar la existencia del lmite correspon-
diente. Para lo cual se usa la regla de LHopital.

J (x)cos() J (x) [J (x)cos() J (x)]
Yn (x) = lim Y (x) = lim = lim =
n n sen() n cos()

[J (x)] cos() J (x) sen() [J (x)]
= lim =
n cos()

4
 ( )

1 J (x) sen() [J (x)] 1 J (x) J (x)
= lim [J (x)]
= (1)n
n cos() cos() =n =n

Por u
ltimo podremos expresar la solucion general de la ecuacion de Bessel de orden como

y(x) = C1 J (x) + C2 Y (x)

Ejercicio: Comprobar que las funciones de Bessel de segunda especie verifican las mismas propiedades
que las de primera especie
d
1. [x Y (x)] = x Y1 (x)
dx
d
2. x Y (x) = x Y+1 (x)
dx
2
3. Y1 (x) + Y+1 (x) = Y (x)
x
4. Y1 (x) Y+1 (x) = 2Y0 (x)

5. Yn (x) = (1)n Yn (x) (n = 0, 1, 2, 3, ...)

3..1 Representaci
on en forma de serie de la funci
on Yn (x)

Teniendo en cuenta que

1 J (x) n J (x)
Yn (x) = (1)
=n =n

podemos obtener
n+2k
J (x) X (1)k x2 x
= log (k + n + 1)
=n k=0
k!(n + k)! 2

0 (x)
donde (x) =
(x)
+2k
J (x) X (1)k x2 x
= log + (k + 1)
k=0
k!(k + 1) 2

pero como para k = 0, 1, 2, ..., n 1, lim (k + 1) = y lim (k + 1) = ocurre que se nos

n n
presentan indeterminaciones que resolveremos usando las relaciones

(x)(1 x) = y (1 x) (x) = cotg(x)
sen(x)

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

5

( k)( k)sen[( k)]
lim + ( k)cos[( k)] = (1)nk (nk1)! (k = 0, 1, 2, ..., n1)
n

n1 2kn 2kn
J (x) n
X
(n k 1)! x X (1)k x2 x
= (1) + log + (k n + 1) =
=n k=0
k! 2 k=n
k!(k n)! 2

n1 2kn 2p+n
n
X
(n k 1)! x n
X (1)p x2 x
= (1) + (1) log + (p + 1)
k=0
k! 2 p=0
p!(p + n)! 2

Por tanto
2k+n
X (n k 1)! x 2kn
1 n1 1X
(1)k x2 x

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

donde para n = 0 el primer sumatorio es cero. Recordar que

1 1
(1) = , (m + 1) = + 1 + + .... + (m = 1, 2, 3, ...)
2 m

2 x X (n k 1)! x 2kn 1 X
1 n1
(1)k x2
2k+n
Yn (x) = Jn (x)log [(k + 1) + (k + n + 1)]
2 k=0 k! 2 k=0 k!(k + n)!

Por u
ltimo

2 x
Y0 (x) log (x 0)
2
n
(n 1)! x
Yn (x) (x 0), (n = 1, 2, ...)
2
por lo que Yn (x) cuando x 0

1
4. Funciones de Bessel de orden n +
2
1
Consideremos ahora las funciones de Bessel de orden n + (n = 0, 1, 2, ...)
2
2k+ 1
X (1)k x2 2
J 1 (x) =
2
k=0
(k + 1)(k + 23 )

teniendo en cuenta que

1
22x1 (x)(x + ) = (2x)
2

6
 1 1 1 1 1 1
22k+ 2 (k + 1)(k + 1 + ) = 22(k+1)1 2 2 (k + 1)(k + 1 + ) = 2 2 2 (2k + 2)
2 2
con lo que se obtiene
1 X
1
2x 2 (1)k x2k 2 2
J 1 (x) = = sen x
2 k=0
(2k + 2) x
y de forma similar
1
2 2
J 1 (x) = cos x
2 x
haciendo uso de la relacion
2
J1 (x) + J+1 (x) = J (x)
x
1
1 2 2 sen x
J 3 (x) = J 1 (x) J 1 (x) = cos x
2 x 2 2 x x
1
1 2 2 cos x
J 3 (x) = J 1 (x) J 1 (x) = sen x +
2 x 2 2 x x
Para las funciones de Bessel de segunda especie hay que tener en cuenta que

J 1 (x)cos
J 1 (x) 1
2 2 2
Y 1 (x) = 2

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

J 1 (x)cos ( 1
2 ) J 1 (x) 2 2
Y 1 (x) = 2 2
= J 1 (x) = sen x
2 sen (
2 )
2 x
y a partir de aqu se actua igual.

7
5. Ap
endice I

Teorema: La funcion Jn (x), (n = 0, 1, 2, 3, ...) tiene un n

umero infinito 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 infinito de ceros positivos.

Para x 0 y 0
x
J (x) (x 0)
2 (1 + )
r
2
J (x) cos(x ) (x )
x 2 4
Para x > 0 y 0
2 ()
Y (x) (x 0, 0)
x
r
2
Y (x) sen(x ) (x )
x 2 4
2 2
Y0 (x) log (x 0)
x

6. Ap
endice II

Dada la ecuacion diferencial

y 00 + P (x)y 0 + Q(x)y = 0

si P (x) y Q(x) no son analticas en x = x0 , diremos que x0 es un punto singular de la ecuacion. En

caso de que (x x0 )P (x) y (x x0 )2 Q(x) sean analticas en x0 diremos que es un punto singular
regular. Para la busqueda de soluciones se plantea

X
y(x) = ak (x x0 )k+r
k=0

siendo r raz de la ecuacion indicial

r(r 1) + p0 r + q0 = 0

donde p0 = lim (x x0 )P (x) y q0 = lim (x x0 )2 Q(x)

xx0 xx0

Teorema de Frobenius Sea x0 un punto singular regular de la ecuacion y 00 + P (x)y 0 + Q(x)y = 0 y

sean r1 y r2 las races de la ecuacion indicial asociada, con r1 r2 (<(r1 ) <(r2 )).

8
 1. Si r1 r2 no es un n
umero entero, entonces existen dos soluciones linealmente independientes
de la forma

X
y1 (x) = ak (x x0 )k+r1 a0 6= 0
k=0

X
y2 (x) = bk (x x0 )k+r2 b0 6= 0
k=0

2. Si r1 = r2 , entonces existen dos soluciones linealmente independientes de la forma

X
y1 (x) = ak (x x0 )k+r1 a0 6= 0
k=0

X
y2 (x) = y1 (x)ln|x x0 | + bk (x x0 )k+r1
k=0

3. Si r1 r2 N, entonces existen dos soluciones linealmente independientes de la forma

X
y1 (x) = ak (x x0 )k+r1 a0 6= 0
k=0

X
y2 (x) = Cy1 (x)ln|x x0 | + bk (x x0 )k+r2 b0 6= 0
k=0

C es una constante que puede ser cero.

Ejemplo: (Ecuacion de Bessel) !

1 2
y + y0 + 1 2
00
y=0
x x
1 2
P (x) = y Q(x) = 1 2 no son analticas en x = 0 pero lim xP (x) = 1 = p0 y
x x x0
lim x2 Q(x) = 2 = q0 , siendo xP (x) y x2 Q(x) analticas en x = 0. Por tanto x = 0 es un punto
x0
singular regular de la ecuacion de Bessel, cuya ecuacion indicial es

r(r 1) + r 2 = 0 = r2 2 = 0 = r1 = y r2 =

se obtienen como soluciones J (x) y J (x) que son linealmente independientes siempre que 6= n N

9
7. Ap
endice III

La transformada integral de Hankel viene definida por

Z
1
(y) = (h ) (y) = (x) xyJ (xy)dx (0 < y < ), ( )
0 2

La funcion debe verificar, entre otras propiedades, que lim Dk (x) = 0 (k = 0, 1, 2, ...),
x
dk 1
siendo Dk = y la velocidad de convergencia a cero mayor que la de cualquier potencia de .
dxk x
Si denotamos por N al operador
1 1
N f (x) = x+ 2 Dx 2 f (x)

no es complicado verificar que

1. h+1 (x) = N h ()

2. h+1 (N ) = yh ()

Demostraci
on:

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

Dy y J (xy) = xDu u x J (u) = x+1 Du u J (u) =

= x+1 u J+1 (u) = x+1 x y J+1 (xy) = xy J+1 (xy)

Probemos ahora la igualdad pedida

Z Z
+ 12 12 1 1
N h ()(y) = y Dy y (x) xyJ (xy)dx = y + 2 Dy (x)x 2 y J (xy)dx =
0 0
Z Z
1 1 1 1
= y + 2 (x)x 2 Dy y J (xy) dx = y + 2 (x)x 2 xy J+1 (xy) dx =
0 0
Z

= [x(x)] xyJ+1 (xy)dx = h+1 [x] (y)
0

2.
Z h i
1 1
h+1 (N )(y) = x+ 2 dx x+ 2 (x) xyJ+1 (xy)dx = ?
0

aplicando el metodo de integraci

on por partes
1 1 3
u = x+ 2 xyJ+1 (xy) = y 2 x+1 J+1 (xy) = du = y 2 x+1 J (x)dx

10
 h 1
i 1
dv = Dx x 2 (x) dx = v = x 2 (x)

por lo tanto
Z Z
1 3
? = [ xyJ+1 (xy)(x)]
0 (x)x 2 y 2 J (x)dx = 0 y (x) xyJ (x)dx = yh ()(y)
0 0

Nota: recordar que para x 0 y 0 se tiene

x
J (x) (x 0)
2 (1 + )
r
2
J (x) cos(x ) (x )
x 2 4

11