UNIVERSIDAD SAN FRANCISCO DE QUITO

MAESTRIA EN MATEMATICAS
SEMINARIO 1

PROF: PhD. Carlos Jimnez

Kumar Vivas
FUNCIONES DE BESSEL

En matemtica, las funciones de Bessel, primero definidas por el matemtico Daniel Bernoulli y
ms tarde generalizadas por Friedrich Bessel, son soluciones cannicas y(x) de la ecuacin
diferencial de Bessel:
1. Las funciones de Bessel de orden natural
La ecuacin diferencial de Bessel de orden , viene representada por

o tambin

donde x R y R o tambin pueden ser complejos.

Comenzaremos estudiando una solucin de la ecuacin de Bessel para N .

La funcin

es solucin de la ecuacin (1.1). Adems como

La serie que define a J n (x) es convergente para todo x R . Vemos que efectivamente J n (x) es
solucin de (1.1).

siendo

Por lo tanto

Si tomamos en la expresin de J n (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 J n (x) con (n = 2, 3, 4, ...)
pueden expresarse en trminos de ellas dos.

Ahora

Entonces hemos obtenido las relaciones:

Y si efectuamos la derivacion en (1.2) y dividimos por x n tenemos

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

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

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

La solucin general de una ecuacin diferencial lineal de segundo orden:

viene dada por

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

por lo que para n N , J (x) y J (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 .

3. Funciones de Bessel de segunda especie

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

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 lmite
correspondiente. Para lo cual se usa la regla de LHopital.

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

4. Funciones de Bessel de orden n +

Consideremos ahora las funciones de Bessel de orden n + 1/2 (n = 0, 1, 2, ...)

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

BIBLIOGRAFIA
https://es.wikipedia.org/wiki/Funci%C3%B3n_de_Bessel
http://valmeida.webs.ull.es/fesp/rfespt3.pdf
http://ifisc.uib-csic.es/raul/CURSOS/ED1/c11.pdf
http://www.uru.edu/fondoeditorial/articulos/FUNCIONES%20BESSEL.pdf