TEMA III: FUNCIONES DE BESSEL

1.

Las funciones de Bessel de orden natural

La ecuacion diferencial de Bessel de orden , viene representada por

y 00 +

1 0
2
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 ,
La funcion Jn (x) =

X
(1)k ( x2 )n+2k
k=0

k!(n + k)!

(n = 0, 1, 2, 3, ...)

(1.1)

es solucion de la ecuacion (1.1). Ademas como

(1)k+1 ( x2 )n+2k+2

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

k!(n+k)!

(x R)

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

k xn+2k

siendo k =

k=0

Jn0 (x) =

(n + 2k)k xn+2k1 y Jn00 (x) =

k=0

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

(n + 2k)(n + 2k 1)k xn+2k2

k=0

por lo que
x2 Jn00 (x)+xJn0 (x)+(x2 n2 )Jn (x) =

h
X

(n + 2k)(n + 2k 1) + (n + 2k) n2 k xn+2k +

k=0

k=0

h
X

(n + 2k)2 n2 k xn+2k +

X
k=0

k=1

k xn+2k+2 =

k xn+2k+2 =

[(n + 2k + n)(n + 2k n)] k xn+2k +

k=1

k xn+2k+2 =

k=0

4k(n + k)k xn+2k +

k=1

X
k=0

4(r + 1)(n + r + 1)r+1 xn+2r+2 +

r=0

k xn+2k+2 =

r xn+2r+2 =

r=0

[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:
J0 (x) = 1

( x2 )2
( x2 )4
( x2 )6
+

+ ......
(1!)2 (2!)2 (3!)2

"

( x )2 ( x )4 ( x )6
x
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.

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

= xn

(1)k
xn1+2k = xn Jn1 (x)
n1+2k k!(k + n 1)!
2
k=0

(n = 1, 2, 3, ...)

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

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

= xn

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

(n = 0, 1, 2, 3, ...)

Luego hemos obtenido las relaciones

d n
[x Jn (x)] = xn Jn1 (x)
dx

d n
x Jn (x) = xn Jn+1 (x)
dx

(n = 1, 2, 3, ...)
(n = 0, 1, 2, 3, ...)

(1.2)
(1.3)

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

Jn0 (x) +

n
Jn (x) = Jn1 (x)
x

(1.4)

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

Jn0 (x)

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

(1.5)

De (1.4) y (1.5) se deducen las siguientes relaciones recursivas para las funciones de Bessel de
orden natural.

Jn1 (x) + Jn+1 (x) =

2n
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

J (x) =

(1)k ( x2 )+2k
(k + 1)(k + + 1)
k=0

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, ...
Jn (x) =

X
(1)k ( x2 )n+2k
k=n

k!(k n)!

X
(1)n+s ( x2 )n+2s
s=0

(n + s)!s!

= (1)n Jn (x)

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
1.

d
[x J (x)] = x J1 (x)
dx

2.

d
x J (x) = x J+1 (x)
dx

2
J (x)
x

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

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

5.

6.

3.

1 d
x dx
1 d
x dx

m
m

[x J (x)] = xm Jm (x)

x J (x) = (1)m xm J+m (x)

Funciones de Bessel de segunda especie

Las funciones de Bessel de segunda especie y orden , donotadas por Y (x), vienen definidas por la
formula
Y (x) =

J (x)cos() J (x)
sen

( R Z)

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 correspondiente. Para lo cual se usa la regla de LHopital.
J (x)cos() J (x)
= lim
n
n
sen()

Yn (x) = lim Y (x) = lim

n

= lim

[J (x)] cos() J (x) sen()

cos()

[J (x)cos() J (x)]
=
cos()

[J (x)]

1
= lim
n

J (x) sen()

[J (x)]

cos()

[J (x)]
cos()

J (x)

(1)n
=n

J (x)

=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
1.

d
[x Y (x)] = x Y1 (x)
dx

2.

d
x Y (x) = x Y+1 (x)
dx

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

2
Y (x)
x

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

5. Yn (x) = (1)n Yn (x)

3..1

(n = 0, 1, 2, 3, ...)

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

Teniendo en cuenta que

1
Yn (x) =

J (x)

(1)

=n

J (x)

=n

podemos obtener

donde (x) =

J (x)

=
=n

n+2k

X
(1)k x2
k=0

k!(n + k)!

log

x
2

(k + n + 1)

0 (x)
(x)
+2k

(1)k x2
J (x) X
x
=
log

k!(k

+
1)
2
k=0

+ (k + 1)

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

n

presentan indeterminaciones que resolveremos usando las relaciones

(x)(1 x) =

sen(x)

(1 x) (x) = cotg(x)

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

lim

( k)( k)sen[( k)]

lim
+ ( k)cos[( k)] = (1)nk (nk1)!
n

J (x)

=n

n1
X

(n k 1)!
= (1)
k!
k=0
n

n1
X

(n k 1)!
= (1)
k!
k=0
n

2kn
x

k=n

2kn

x
2

2kn

X
(1)k x2

+ (1)

k!(k n)!

x
log + (k n + 1) =
2

2p+n

X
(1)p x2
p=0

(k = 0, 1, 2, ..., n1)

x
log + (p + 1)
2

p!(p + n)!

Por tanto
2k+n

X (n k 1)! x 2kn
(1)k x2
1 n1
1X
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) = ,

(m + 1) = + 1 +

1
1
+ .... +
2
m

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

2k+n

X (n k 1)! x 2kn 1 X
(1)k x2
2
x
1 n1
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

2
(n 1)!
Yn (x)

(x 0)

x
2

(x 0), (n = 1, 2, ...)

por lo que Yn (x) cuando x 0

4.

Funciones de Bessel de orden n +

1
2

Consideremos ahora las funciones de Bessel de orden n +

1
(n = 0, 1, 2, ...)
2

2k+ 1

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

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

J 1 (x) =
2

2x

1 X

2
(1)k x2k

(2k + 2)
k=0

y de forma similar

J 1 (x) =
2

2
x

2
x

sen x

1
2

cos x

haciendo uso de la relacion

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

2
J (x)
x

2
x

1
2

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

sen x
cos x
x

1
2

cos x
sen x +
x

Para las funciones de Bessel de segunda especie hay que tener en cuenta que
Y 1 (x) =

J 1 (x)cos
2

sen

Y 1 (x) =

J 1 (x)

2
= J 1 (x) =
2
x

J 1 (x)cos (
2 ) J 1 (x)

sen

(
2 )

= J 1 (x) =
2

y a partir de aqu se actua igual.

2
x

cos x

sen x

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
J (x)
r

J (x)

x
2 (1 + )

(x 0)

2

cos(x
)
x
2
4

Para x > 0 y 0
Y (x)
r

2 ()
x

(x )

(x 0, 0)

2
sen(x
)
(x )
x
2
4
2
2
Y0 (x) log
(x 0)

Y (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
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
y1 (x) =

ak (x x0 )k+r1

a0 6= 0

bk (x x0 )k+r2

b0 6= 0

k=0

y2 (x) =

X
k=0

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

y1 (x) =

ak (x x0 )k+r1

a0 6= 0

k=0

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

y1 (x) =

ak (x x0 )k+r1

a0 6= 0

k=0

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)

2
1
y + y0 + 1 2
x
x
00

y=0

1
2
y Q(x) = 1 2 no son analticas en x = 0 pero lim xP (x) = 1 = p0 y
x0
x
x
lim x2 Q(x) = 2 = q0 , siendo xP (x) y x2 Q(x) analticas en x = 0. Por tanto x = 0 es un punto

P (x) =
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

7.

Ap
endice III

La transformada integral de Hankel viene definida por

(y) = (h ) (y) =

1
(0 < y < ), ( )
2

(x) xyJ (xy)dx

La funcion debe verificar, entre otras propiedades, que lim Dk (x) = 0

siendo Dk =

dk
dxk

(k = 0, 1, 2, ...),

y la velocidad de convergencia a cero mayor que la de cualquier potencia de

1
.
x

Si denotamos por N al operador

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
N h ()(y) = y
1

= y + 2

+ 12

Z
0

Dy y

12

Z
0

(x) xyJ (xy)dx = y + 2 Dy

(x)x 2 Dy y J (xy) dx = y + 2
=

Z
0

Z
0

(x)x 2 y J (xy)dx =

(x)x 2 xy J+1 (xy) dx =

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

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

Z h
0

x+ 2 dx x+ 2 (x)

xyJ+1 (xy)dx = ?

aplicando el metodo de integraci

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

10

dv = Dx x 2 (x) dx = v = x 2 (x)
por lo tanto

? = [ xyJ+1 (xy)(x)]
0

Z
0

(x)x 2 y 2 J (x)dx = 0 y

Z
0

(x) xyJ (x)dx = yh ()(y)

Nota: recordar que para x 0 y 0 se tiene

J (x)
r

J (x)

x
2 (1 + )

(x 0)

2

cos(x
)
x
2
4

11

(x )