Funciones de Bessel

Carlos Alberto Lpez Castro

Propeduticos CINVESTAV
Fsica Matemtica
Ecuacin de Bessel

(1)

Tambin llamada funcin cilndrica donde es un parmetro

dado. Esta ecuacin contiene un punto singular en = 0, lo
que nos permite proponer una solucin de la forma:

(2)

Esta solucin es en forma de serie de potencias con centro en

= 0, donde es una constante
Derivando (2) y sustituyendo el resultado en (1) obtenemos:

(3)

Si ahora en (3) hacemos que = 2 en la segunda sumatoria y

simplificamos lo que hay entre corchetes, obtenemos:
Ahora desarrollamos la sumatoria de la izquierda para que ambas comiencen
en k = 2 y juntamos las sumatorias, de tal forma que:

(4)

De la ecuacin anterior se observa que, para que se cumpla la igualdad,

cada uno de los coeficientes que acompaan a deben ser cero. As,
llegamos un conjunto de ecuaciones que nos ayudarn a determinar los
coeficientes mismos:

0 0 ; =

(5) 1 = 0
De las ecuaciones (5) podemos observar que todos los coeficientes impares
son iguales a cero, mientras que los coeficientes pares estn en funcin de 0 y
para expresarlo hacemos que = 2 y suponemos que estamos en el caso
donde = +, as:

(6)

Sin embargo, si donde:

es la funcin Gamma de Euler, y sustituyendo en (6) queda como:

(7)

En la ecuacin anterior, se eligi ! = + 1 en aras de la elegancia de la

frmula debido a que m es entero.
Finalmente la ecuacin de Bessel (1) para el valor de = + y = 2
queda como:

(8)

Cabe mencionar, que 0 es arbitrario y que el hecho de que sea as no

afecta a (1) ya que es una EDO homognea cuya solucin no cambia si
se le multiplica una constante cualquiera. Sin embargo, para lograr una
correspondencia entre el resultado obtenido por el mtodo utilizado en
esta parte (serie de potencias) y el obtenido por el mtodo de integrales,
se elige a la constante 0 como:

Entonces:

(9)
La ecuacin (9) se conoce como funcin de Bessel de orden o funcin
cilndrica de orden . La serie anterior converge para toda , de manera
uniforme, absoluta y muy rpida debido a la presencia de las dos funciones
Gamma en el denominador. Sin embargo, la solucin slo representa una
fraccin de la solucin, ya que consideramos = + . Si por el contrario
elegimos = , obtenemos de manera anloga:

(10)

Esta sera la segunda solucin linealmente independiente de la funcin (1),

cuya solucin se podra escribir como:

Donde A y B son constantes a definir. Sin embargo, (10) no es una solucin

totalmente definida ya que, para = 0, (9) y (10) son indistinguibles, entonces
esa solucin aun requiere ser encontrada.
Para obtener la segunda solucin linealmente independiente de la ecuacin
de Bessel, escribimos una nueva funcin llamada funcin de Newmann, que
para valores enteros de es una combinacin lineal de y y se define
como:
(11)

Para s enteros no se puede evaluar directamente el caso donde = ( = 1,2,3, . . )

en la ecuacin (11) as que aplicando el lmite y la regla de lHpital se obtiene:

(12)

Tambin llamada funcin cilndrica de segunda especie, esta funcin de Newmann

es la otra solucin linealmente independiente de la funcin de Bessel, cuya solucin
ahora estara completa.
Referencias:

Marn Antua. J.M. Mtodos matemticos de la fsica. Editorial universitaria,

2014, Primera edicin.
Arfken.G.B. Weber.H.J. Harris.F.E. Mathematical methods for physicist.
Elsevier 2013, seventh edition.
Gracias por su atencin