TEMA III: FUNCIONES DE BESSEL

1. Las funciones de Bessel de orden natural

La ecuacin diferencial de Bessel de orden , viene representada por

o bien
x2y00 + xy0 + (x2 2)y = 0

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

Comenzaremos estudiando una solucin de la ecuacin de Bessel para N

x2y00 + xy0 + (x2 n2) y = 0, (n = 0,1,2,3,...) (1.1)

k

La funciones solucin de la ecuacin (1.1). Adems como

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

(1.1).

Por lo que

1
 Si tomamos en la expresin de Jn(x) los valores n = 0 y n = 1, obtendremos las funciones de Bessel
de orden cero y uno respectivamente:

Estas funciones tienen la particularidad de que el resto de las funciones Jn(x) con (n = 2,3,4,....)
pueden expresarse en trminos de ellas dos.

Luego hemos obtenido las relaciones

Si efectuamos la derivacin en (1.2) y dividimos por xn: (1.3)

2
 (1.4)

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

(1.5)

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

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

2. Funciones de Bessel de primera especie y orden arbitrario

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

Ejercicio: Comprobar que J(x) y J(x) son soluciones de la ecuacin de Bessel x2y00 + xy0
+ (x2 2)y = 0.

Nota: La solucin general de una ecuacin diferencial lineal de segundo orden a2(x) y00
+ a1(x) y0 + a0(x) y = 0 viene dada por

Y(x) = C1y1(x) + C2y2(x)

Siendo C1 y C2 constantes arbitrarias, y1(x) e y2(x) soluciones linealmente independientes de la ecuacin.

En el caso de la ecuacin 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,...

3
Por lo que para = n N, Jn(x) y Jn(x) no son linealmente independientes. Este hecho motiva la bsqueda
de otras soluciones de la ecuacin diferencial de Bessel que sean linealmente independientes con J(x)
incluso cuando = n N.

Ejercicios: Comprobar la veracidad de las siguientes igualdades

1.

2.

3.

3. Funciones de Bessel de segunda especie

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

La funcin Y(x) es solucin de la ecuacin de Bessel, ya que es combinacin lineal de J(x) y J(x)
que son soluciones de la misma. Adems Y(x) es linealmente independiente con J(x) y con J(x) (las
tres juntas no lo son).

Para garantizar la buena definicin de Yn(x), basta garantizar la existencia del limite
correspondiente. Para lo cual se usa la regla de LHopital.

4
 Por ultimo podremos expresar la solucin general de la ecuacin de Bessel de orden como

y(x) = C1J(x) + C2Y(x)

Ejercicio: Comprobar que las funciones de Bessel de segunda especie verifican las mismas propiedades
que las de primera especie

1.

2.

3.

4.

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

3..1 Representacin en forma de serie de la funcin Yn(x) Teniendo en

cuenta que

Podemos obtener

donde (

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

5
presentan indeterminaciones que resolveremos usando las relaciones

Por tanto

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

Por ultimo

por lo que Yn(x) cuando x 0

6
4. Funciones de Bessel de orden

Consideremos ahora las funciones de Bessel de orden

teniendo en cuenta que

con lo que se obtiene

y de forma similar

haciendo uso de la relacin

Para las funciones de Bessel de segunda especie hay que tener en cuenta que

y a partir de aqu se acta igual.

5. Apndice I

Teorema: La funcin Jn(x), (n = 0,1,2,3,...) tiene un nmero infinito de ceros simples, salvo x = 0 que es
un cero de orden n si n > 0.

Teorema: La funcin J(x), ( R) tiene un nmero infinito de ceros positivos.

7
Para x 0 y 0

Para x > 0 y 0

6. Apndice II

Dada la ecuacin diferencial

y00 + P(x)y0 + 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 ecuacin. En caso de
que (x x0)P(x) y (x x0)2Q(x) sean analticas en x0 diremos que es un punto singular regular. Para la
bsqueda de soluciones se plantea

siendo r raz de la ecuacin indiciar

r(r 1) + p0r + q0 = 0

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

xx0 xx0

Teorema de Frobenius Sea x0 un punto singular regular de la ecuacin y00 + P(x) y0 + Q(x) y = 0 y sean
r1 y r2 las races de la ecuacin inicial asociada, con r1 r2 (<(r1) <(r2)).
1. Si r1 r2 no es un nmero entero, entonces existen dos soluciones linealmente independientes de
la forma

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

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

C es una constante que puede ser cero. Ejemplo:

(Ecuacin de Bessel)

no son analticas en x = 0 pero P(x) = 1 = p0 y

lim x2Q(x) = 2 = q0, siendo xP(x) y x2Q(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
7. Apndice III

La transformada integral de Hankel viene definida por

La funcin debe verificar, entre otras propiedades, que lim Dk(x) = 0 (k = 0,1,2,...) , x

9
siendo y la velocidad de convergencia a cero mayor que la de cualquier potencia de .
Si denotamos por N al operador

no es complicado verificar que

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

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

Demostracin:

1. Primero comprobemos que DyyJ(xy) = xyJ+1(xy), para ello hagamos el cambio xy = u, con

lo que . Por lo tanto

DyyJ(xy) = xDuuxJ(u) = x+1DuuJ(u) =

= x+1uJ+1(u) = x+1xyJ+1(xy) = xyJ+1(xy) Probemos ahora la

igualdad pedida

2.

aplicando el mtodo de integracin por partes

por lo tanto

10
Nota: recordar que para x 0 y 0 se tiene

11