Funciones de Bessel

La ecuacin diferencial de segundo orden

)
Es llamada la ecuacin de Bessel de orden , donde es un parmetro. La solucin de esta
ecuacin es la llamada funcin de Bessel de primera clase de orden v y se define:

()
()

( )
(

La serie que define

() converge para todo .

Debido a que la ecuacin de Bessel es una ecuacin diferencial de segundo orden, se necesita una
segunda solucin, linealmente independiente de

, para escribir la solucin general. La ecuacin

inicial de la ecuacin de Bessel es

, con races . El anlisis est en la diferencia de

estas races ()de la cual se dan las siguientes conclusiones.
1. Si no es un entero, entonces

son linealmente independientes, y la solucin

general de la ecuacin de Bessel de orden es:

()

()

()

2. Si es un enero positivo impar, es decir , entonces

En este caso

siguen siendo linealmente independientes. Entonces

() y

()
pueden expresarse como una suma finita de trminos que contienen races cuadradas,
senos y cosenos como por ejemplo:

()

()

En este caso la solucin general de la ecuacin de Bessel de orden es:
()

()

()
3. Si es un entero pero no es de la forma

para cualquier entero positivo . En este

caso

() y

() son soluciones de la ecuacin de Bessel, pero son linealmente

dependientes.

() ()

()

En este caso debemos construir una solucin de la ecuacin de Bessel, linealmente
independiente de

(). Esto nos conduce a las funciones de Bessel de segunda clase.

Funciones de Bessel de segunda clase
Para el caso , la solucin para la ecuacin de Bessel es:

()

()
()

()

()

En donde ()

Se realiza una combinacin lineal de

() y

(), la cual es una solucin. Esta combinacin se

denota

() y esta definida para por:

()

() ( )

()]
Donde es la constante de Euler, definida por

(() )

() y

()son linealmente independientes debido al trmino en

(), por lo tanto la

solucin general de la ecuacin de Bessel de orden cero es:
()

()

()
La solucin general de la ecuacin de Bessel de orden (entero positivo) es por tanto
()

()

()
Hasta aqu solo tenemos

() para un entero no negativo. Es por eso que se extiende la

definicin de

() para incluir todos los valores reales de haciendo

()

()
[

() ()

()]
Para cualquier entero no negativo , podemos demostrar que

()

()
Si son constantes y es cualquier entero no negativo, entonces

) y

) son
las soluciones de la ecuacin diferencial general
(

) (

) (*)

Ceros de

()
En varias aplicaciones se necita saber donde

() . Tales puntos son los ceros de

(). Se
prueba que

() tiene un nmero infinito de ceros simples positivos y tambin se puede obtener

estimaciones para sus localizaciones.
Como se sabe

() es una solucin de

)
Sea . Ahora ponemos ()

(). Sustituimos este en la ecuacin de Bessel para

obtener
() (

)() (1)
Conforme crece, el termino (

ejerce menos influencia en esta ecuacin para , la cual

empieza a verse mas como

, con soluciones en seno y coseno. Esto sugiere que para

grande,

() esta aproximada por una funcin trigonomtrica, dividida entre . Debido a

que tal funcin tiene un nmero infinito de ceros positivos, lo mismo

().
Consideramos la ecuacin
() () (2)
Esta ecuacin tiene solucin () ( ) con cualquier nmero positivo. Multiplicamos
la ecuacin (1) por y la ecuacion (2) por y restamos para obtener

)
Escribimos esta ecuacin como
(

) (

)
Ahora calculamos
(

( )

( ) ()

() ( )

( ) ()()
( ) ()
(

)()()

Aplicamos a la ltima integral, el teorema del valor medio para integrales. Existe algn numero
entre y tal que
( ) () () (

)( )

Ahora ( ) para . Ms aun, podemos elegir suficientemente grande
(dependiendo de ) que

Para . Por tanto, la integral de la derecha de la ltima ecuacin es positiva.
Entonces ( ) () () no pueden ser todas del mismo signo. Como es continua,
dede tener un cero en algn sitio entre y . Como ()

(), esto prueba que

() tiene por lo menos un cero entre y .

En general, si es cualquier numero suficientemente grande y , entonces

() tiene un
cero entre y .
Lema de entrelazado
Sea cualquier nmero real. Sean y ceros positivos distintos de

. Entonces

cada
uno tiene al menos un cero entre y .
La siguiente tabla da los primeros cinco ceros positivos de

() para Aqu los

nmeros estn redondeados al tercer lugar decimal. La propiedad de entrelazamiento de
funciones de Bessel de ndices sucesivos puede verse observando hacia abajo las columnas.

() 2.405 5.520 8.654 11.792 14.931

() 3.832 7.016 10.173 13.323 16.470

() 5.135 8.417 11.620 14.796 17.960

() 6.379 9.760 13.017 16.224 19.410

() 7.586 11.064 14.373 17.616 20.827

Aplicaciones de las Funciones de Bessel
Desplazamiento de una cadena suspendida
Consideremos una cadena flexible uniforme suspendida en reposo como se muestra en la figura
3.9. Analizaremos las oscilaciones causadas por un pequeo desplazamiento en el plano vertical.









Supngase que cada partcula de la cadena se mueve en una recta horizontal. Sean la masa de
la cadena por unidad de longitud, es su longitud, y ( ) el desplazamiento horizontal en el
tiempo t de la particula cuya distancia desde el punto de suspensin es . Se coloca el origen O del
sistema de coordenadas en el punto donde la cadena esta fija y se considera el movimiento de un
elemento de la cadena entre y (figura 3.10). Si la tensin en los extremos de este
elemento tiene una magnitud en un extremo y en el otro, entonces la segunda ley del
movimiento de Newton, aplicada a las componentes horizontales de la tensin de los extremos,
nos da:
()

)
Entonces

)
Ahora ( ), el peso de la cadena bajo . Por tanto, la ltima ecuacin se convierte en

( )

Cambiamos las variables poniendo y ( ) ( )
Entonces

La ecuacin diferencial parcial para se convierte n

Hacemos un cambio de variable para convertir la ecuacin diferencial parcial a un problema que
involucra una ecuacin diferencial ordinaria. Como se espera que las oscilaciones sean peridicas
en el tiempo, intentamos una solucin de la forma
( ) () ( )
Sustituimos esto en la ecuacin diferencial parcial para obtener

() ( )

() ( )
()
( )
Dividimos esta ecuacin entre ( ) para obtener

()

()

()
Esta ecuacin diferencial tiene la misma forma que la ecuacin (*), con ,

,
, y

. Asi elegimos

La solucin general para () es
()

)
Ahora

) conforme

, debido a su trmino logartmico. Pero esperamos que

las oscilaciones en una cadena sean acotadas en su amplitud. Entonces, elegimos

para
obtener
()

)
Entonces
( )

) ( )
As
( )

) ( )
La cadena esta fija en su extremo superior (el origen), de manera que ( ) para todo t.
Suponiendo que

, esto requiere que

)
Como sabemos por la teoras de los ceros de

, la ecuacin

() tiene infinidad de races

positivas. Si denotamos a estas por

en orden ascendente, entonces podemos resolver

para , ya que

debe ser una de estas races. Entonces tenemos infinidad de posibilidades

para :

Estas son las frecuencias fundamentales de oscilaciones de la cadena. A partir de la tabla de los
ceros de la funciones de Bessel, encontramos que las primeras cinco races positivas de

() son aproximadamente 2.405, 5.520, 8.654, 11.792 y 14.931. Estas son

hasta

,
respectivamente. As las primeras cinco frecuencias fundamentales de la cadena son

Estas representan aproximadamente las frecuencias de los modos normales de vibracin. El
periodo asociado con

es