ECUACION Y FUNCIONES DE BESSEL ECUACIONES DIFERENCIALES

WILLIAM ANDRES MOLINA PERDOMO 1075233529

PROFESOR: NORMA MERCADO

3 DE OCTUBRE DE 2009

UNIVERSIDAD DE ANTIOQUIA FACULTAD DE INGENIERIA DEPARTAMENTO DE MECANICA MEDELLIN - ANTIOQUIA 2009

TABLA DE CONTENIDO

1. 2. 3. 4. 5.

Resea Histrica. Solucin de la ecuacin de Bessel, Funciones de Bessel y Propiedades Una aplicacin concreta de las funciones de Bessel. Conclusiones Bibliografa

1. RESEA HISTRICA Bessel, Friedrich Wilhelm (1784 - 1846).

Naci el 22 de julio de 1784 en Minden, Westphalia (ahora Alemania). Desde joven y durante su trabajo en Bremen comenz a interesarse por la geografa y navegacin considerando el problema de la ubicacin de los barcos en el mar. Estos interrogantes lo llevaron a estudiar astronoma, matemticas y realizar observaciones para determinar la longitud geogrfica. En 1804 Bessel escribi un trabajo sobre el clculo de la rbita del cometa Halley y lo envi a Heinrich Olbers, quien en ese momento era la persona ms experta en cometas, este trabajo impresion a Olbers quien lo public y recomend a Bessel convertirse en astrnomo profesional. En 1806 comenz a trabajar en el observatorio Lilienthal cerca a Bremen. En este sitio adquiri gran experiencia en la observacin planetaria especialmente de Saturno, sus anillos y satlites. En 1809, a la edad de 26 aos se posesion como director del Nuevo Observatorio Knigsberg de Prusia y como profesor de astronoma. Previamente haba recibido el doctorado en astronoma de la universidad de Gttingen por recomendacin de Gauss. Durante esta poca recibi el premio Lalande del instituto de Francia por sus investigaciones sobre refraccin y fue elegido miembro de la academia de Berln pero declinando su postulacin como director del observatorio de esta ciudad. Fue en este observatorio en donde Bessel emprendi el trabajo de determinar la posicin y el movimiento de mas de 50.000 estrellas lo cual lo llev a la determinacin de la paralaje de la estrella 61 Cygni, el primero de la historia y calcul su distancia en 10,3 aos luz. Bessel utiliz los datos de Bradley para crear un sistema de referencia de la posicin de las estrellas y planetas, dedujo los errores dados por la refraccin atmosfrica de la luz, la presesin de la tierra y otros efectos.

En 1830 calcul la posicin media y aparente de 38 estrellas para un periodo de 100 aos. En 1841 anunci que Sirio tenia una estrella compaera lo que se confirm diez aos mas tarde al calcularse la rbita de Siruio B esta estrella fue observada en 1862 por Alvan Graham Clark. Seal las irregularidades en el movimiento de Urano lo que abri las puertas al descubrimiento de Neptuno. En 1817 introdujo las funciones de Bessel o funciones cilndricas, que utiliz en la mecnica gravitatoria, pero que se aplican en otros campos como la propagacin de ondas electromagnticas y de calor. Las funciones de Bessel aparecen como coeficientes en las series de expansin de la perturbacin indirecta de un planeta causada por el movimiento del Sol. Muri el 17 de Marzo de 1846 en Knigsberg, Prusia.

2. SOLUCIN DE LA ECUACIN DE BESSEL, FUNCIONES DE BESSEL PROPIEDADES FUNCIONES DE BESSEL. LA FUNCIN GAMMA La ecuacin diferencial 2 + + ( 2 2 ) = 0 (1)

donde p es una constante no negativa, se llama la ecuacin de Bessel, y sus soluciones funciones de Bessel. Estas funciones aparecieron por primera vez en las investigaciones de Daniel Bernoulli sobre las oscilaciones de la cadena colgante y de nuevo en la teora de Euler de las vibraciones de una membrana circular y en los estudios de Bessel acerca del movimiento de los planetas. Ms recientemente, las funciones de Bessel han encontrado aplicaciones diversas en fsica e ingeniera en relacin con propagacin de ondas, elasticidad, movimiento de fluidos y especialmente en la teora del potencial y en la teora de la difusin con simetra cilndrica. Aparecen incluso en algunos problemas interesantes de matemtica pura, pero antes es preciso definir las funciones de Bessel mas importantes y obtener algunas de sus propiedades ms sencilla. La definicin de la funcin Jp(x). Comenzamos nuestro estudio de las soluciones de (1) observando que tras dividir por x2 los coeficientes de y e y son P(x) = 1/x y Q(x) = (x2-p2)/x2, luego xP(x)=1 y x2Q(x) = -p2+x2. As pues, el origen es un punto singular regular, la ecuacin indicial 30-(5) es m2-p2=0 y los exponentes son m1=p y m2=-p. del teorema 30-A se desprende que (1) admite una solucin de la forma = = + (2)

Donde a0 0 y la serie de potencias converge para todo x. con el fin de hallar tal solucin, escribimos = ( + ) +1 e = ( + 1) ( + ) +2 Estas formulas nos permiten expresar los trminos de la izquierda en la ecuacin (1) como 2 = ( + 1) ( + ) + , = ( + ) + 2 = 2 +

2 = 2 + Sumando esas series e igualando a cero el coeficiente de xn+p se obtiene, despus de simplificar, la siguiente formula de recurrencia para los an: (2 + ) + 2 = 0 O sea, = 2 (2 + ) (4) (3)

Sabemos que a0 es no nulo y, por lo dems, arbitrario. Como a -1 = 0, (4) nos dice que a1 = 0; y aplicando repetidas veces (4) se deduce que a n = 0 para todo n impar. Los coeficientes no nulos de nuestra solucin (2) son, por consiguiente,
0 a0 , 2 = 2(2+2) 2 4 = = 4(2 + 4) 2.4(2 + 2)(2 + 4) 4 0 6 = = , , 6(2 + 6) 2.4.6(2 + 2)(2 + 4)(2 + 6)

y la solucin es = 0 [1 2 4 6 + +] 22 ( + 1) 24 2! ( + 1)( + 2) 26 3! ( + 1)( + 2)( + 3)

= 0 (1)
=0

2 22 ! ( + 1) ( + )

(5)

La funcin de Besel de primera clase de orden p, denotada Jp(x), se define poniendo a0=1/2p p! en (5), de modo que
2+ (2) 2 Jp(x) = (1) 2 = (1) 2 ! 2 ! ( + 1) ( + ) ! ( + )! =0 =0

(6)

Las funciones de Bessel ms tiles son las de orden 0 y las de orden 1, que son 1 2 2 4 6 Jo (x) = (1) ( ) =1 2+ 2 2 2 2 2+ (!)2 2 2 2 4 2 4 6
=0

(7) (8)

J1 (x) = (1)
=0

1 2+1 1 3 1 5 ( ) = ( ) + ( ) ! ( + 1)! 2 2 1! 2! 2 2! 3! 2

Sus grficas, que se muestran en la figura 1, revelan varias propiedades interesantes de las funciones J0(x) y J1(x): cada una de ellas tiene oscilacin amortiguada, lo que produce un nmero infinito de ceros; adems, estos ceros ocurren alternadamente, recordando a las funciones seno y coseno, esta analoga se refuerza por la relacin J0(x)= -J1(x).

Figura 1.

Jp(x), tal como la define (6), carece de sentido a menos que el nmero real y no negativo p sea entero, ya que solo en tal caso tiene sentido el factor (p+n)! en los denominadores, veamos cmo superar esta dificultad. La funcin gamma. El objetivo de esta disgresin es asignar un significado razonable y til a p! [y mas en general ( + )! = 0,1,2 ] cuando el nmero real no negativo p no es un entero. Lo lograremos introduciendo la funcin gamma () definida por

() = 1 , > 0
0

(9)

El factor 0 tan rpidamente cuando t que esta integral impropia converge en el extremo superior, independientemente del valor de p. sin embargo, en el extremo inferior se tiene 1, y el factor tp-1 siempre que p<1. La restriccin a p positivos es necesaria para garantizar la convergencia en el extremo inferior. Es fcil ver que ( + 1) = () Ya que integrando por partes se obtiene
( + 1) = lim = lim ( | + 0 1 1 ) = ( lim 1 ) 0 0 0 = ()

(10)

Ya que

0 cuando b

, usando el hecho de que

(1) = = 1
0

(11)

Entonces (10) da (2) = 1(1) = 1, y en general ( + 1) = ! para cualquier entero n 0. Empezbamos la presentacin de la funcin gamma bajo la hiptesis de que p es no negativo y hemos mencionado al final que la integral (9) no existe si p = 0. No obstante podemos definir (p) para muchos valores negativos de p sin recurrir a esa integral si escribimos (10) en la forma () = ( + 1) (13) (12) (3) = 2(2) = 2.1, (4) = 3(3) = 3.2.1,

Esta extensin de la definicin es necesaria en las aplicaciones y comienza as: Si -1<p<0, entonces o<p+1<1, de modo que el miembro de la derecha de la ecuacin (13) tiene un valor y el de la izquierda se define igual a ese mismo valor. El siguiente paso consiste en notar que si -2<p<-1, entonces -1<p+1<0, as que podemos usar de nuevo (13) para definir () sobre el intervalo -2<p<-1 en trminos de los valores de ( + 1) ya definidos en el paso anterior. Es claro que este proceso puede continuarse ad infinitum. Adems, no es difcil ver de (11) que lim () = lim ( + 1) = , 0 p

Segn que p 0 por la derecha o por la izquierda. La funcin () se comporta de manera anloga cerca de todos los enteros negativos, y su grafica ofrece el aspecto que muestra la Figura 2.

Figura 2.

Necesitamos asimismo el hecho curioso de que 1 ( ) = 2 (14)

Esto se indica en la figura pero su demostracin no la incluiremos en esta monografa. Como () nunca se hace cero, la funcin 1/() estar definida y se comportara bien para todos los valores de p si convenimos que 1/() = 0 para p = 0, -1,-2, Estas ideas nos permiten definir ! mediante ! = ( + 1) Para todo valor de , excepto los enteros negativos, y por la frmula (12) esta funcin tiene su significado habitual cuando es un entero no negativo. Su recproca, 1/! = 1/( + 1), est definida para todo , y toma valor 0 siempre que es un entero negativo. La funcin gamma es una funcin extremadamente importante por derecho propio. Ahora bien, nuestro nico propsito al introducirla aqu es garantizar que la funcin (), definida por (6), tenga sentido para todo 0. Queremos advertir que hemos logrado ms que eso: como 1/( + )! ha adquirido significado para todo + , (6) define una funcin de x perfectamente respetable para todo valor de , sin excepcin alguna.

La solucin general de la ecuacin de Bessel. Nos encontramos en la siguiente posicin: hemos hallado una solucin particular de (1) correspondiente al exponente 1 = , a saber, (): con el fin de hallar la solucin general, nos falta construir una segunda solucin independiente, o sea, que no sea mltiplo constante de (). Una tal solucin se llama una funcin de Bessel de segunda clase. Parece natural ensayar con el otro exponente, 2 = . Pero al hacerlo esperamos encontrar dificultades siempre que la diferencia 1 2 = 2 sea cero o un entero positivo, esto es, siempre que la contante no negativa sea un entero o semientero. Resulta que las dificultades esperadas son graves slo en el primer caso. Por consiguiente, comenzamos suponiendo que no es entero. En tal caso, sustituimos por en nuestro tratamiento previo, y es fcil convencerse de que la discusin sigue en pie casi sin modificaciones. La nica excepcin es que (3) se convierte en (2 + ) + 2 = 0; y si = 1/2, entonces, haciendo = 1, vemos que no es obligado tomar 1 = 0. Sin embargo, como lo que queremos es una solucin particular, es ciertamente admisible tomar 1 = 0. El mismo problema aparece cuando p = 3/2 y n = 3, etctera, y los resolvemos tomando 1 = 3 = = 0 en todos los casos. Todo lo dems funciona como antes, y obtenemos una segunda solucin (/22 ) () = (1) ! ( + )!
=0

(15)

El primer trmino de esta serie es 1 ( ) ()! 2 de modo que () es no acotada cerca de = 0. Como () es acotada cerca de = 0, estas dos soluciones son independientes e = 1 () + 2 () es la solucin general de (1). La solucin es completamente distinta cuando es un entero 0. La frmula (15) es ahora 2 (/2)2 (/2) () (1) = (1) = ! ( + )! ! ( + )!
=0 =

(16)

Ya que los factores 1/( + )! son cero cuando = 0, 1, 1. Reemplazando la variable muda por + y haciendo, en compensacin, que la suma comience en = 0, obtenemos
+ () = =0(1) (/2)2(+) (+)!! = (1) =0(1) (/2)2+ !(+)!

= (1) ().

Esto demuestra que () no es independiente de (), as que en este caso = 1 () + 2 () no es la solucin general de (1) y la bsqueda debe continuar. Es en este momento cuando la historia se complica y nos limitamos a esbozarla. Una posible salida consiste en usar el mtodo de la Seccin 16 de [1], que lleva fcilmente a () ()2

como segunda solucin independiente de (). Es costumbre, pese a ello, proceder de manera algo distinta, como sigue. Cuando no es un entero, cualquiera funcin de la forma (16) con 2 0 es una funcin de Bessel de segunda clase, incluida la propia (). La funcin de Bessel de segunda clase se define como () = () cos () sen (17)

Esta eleccin, excntrica a primera vista, tiene sus buenas razones, como vamos a ver. Antes, sin embargo, se debe observar que (16) se puede escribir en la forma equivalente = 1 () + 2 (), (18)

Todava nos queda el problema de qu hacer cuando es un entero , porque (17) no tiene sentido en ese caso. Un cuidadoso anlisis lleva a la conclusin de que la funcin definida por () = lim ()

(19)

existe y es una funcin de Bessel de segunda clase; y se sigue que = 1 () + 2 () (20)

es la solucin general de la ecuacin de Bessel en todos los casos, sea entero o no. La grfica de 0 () corresponde a la curva de trazo discontinuo en la Figura 1. Esa grfica ilustra el hecho importante de que para todo 0, la funcin () es no acotada cerca del origen. Por consiguiente, si estamos interesados tan slo en soluciones de la ecuacin de Bessel que sean acotadas cerca de = 0, como sucede con frecuencia en las aplicaciones, debemos hacer 2 = 0 en (20). Vamos ya con la prometida explicacin de la sorprendente eleccin (17). Ya hemos comentado que existen varias maneras de definir las funciones de Bessel de segunda clase. Las definiciones (17) y (19) son particularmente convenientes, por dos razones. En primer lugar, la forma de (17) hace que sea muy fcil probar la existencia del lmite (19). Y, adems, estas definiciones implican que el comportamiento de (), para grandes valores de x, se adapta bien al de (). Para entender qu queremos decir con esto, recordemos que el cambio de variable () = () transforma la ecuacin de Bessel (1) en + (1 + 1 42 ) = 0 4 2 (21)

Cuando es muy grande, (21) se aproxima a la ecuacin diferencial familiar + = 0, que tiene soluciones independientes 1 () = cos y 2 () = sen . Por tanto, esperamos que, para grandes , cualquier funcin de Bessel () se comporte como alguna combinacin lineal de 1 1

Esta esperanza viene corroborada por el hecho de que e 2 2 () () = ( )+ 3 4 2 2 donde 1 () y 2 () estn acotadas al hacer
2 1 () ()= cos( )+ 3 4 2 2

PROPIEDADES DE LAS FUNCIONES DE BESSEL La funcin de Bessel () se ha definido para todo nmero real como (/2)2+ () = (1) ! ( + )!
=0

(1)

En esta seccin analizaremos varias propiedades de estas funciones que son tiles en sus aplicaciones. Identidades y las funciones +12 (). Vamos a empezar considerando las frmulas [ ()] = 1 () Y [ ()] = +1 () (3) (2)

Para llegar a (2) basta multiplicar la serie (1) por y derivar: (1) 2+2 (1) 2+21 [ ()] = 2+ = 2+1 = 2 ! ( + )! 2 ! ( + 1)!
=0 =0

= (1)
=0

2+1 (2) ! ( 1 + )!

= 1 ()

La verificacin de (3) es anloga; Si se efectan las derivaciones en (2) y (3) y se dividen los resultados por , las frmulas se convierten en () + () = 1 () Y () () = +1 () Si (4) y (5) se suman y se restan, queda:
() 2 = 1 () +1 ()

(4)

(5)

(6)

Y 2 () = 1 () +1 () (7)

Estas formulas hacen posible expresar las funciones de Bessel y sus derivadas en trminos de otras funciones de Bessel. Una aplicacin interesante de (7) tiene su origen en las formulas: 2 1/2 () = sin Se sigue ahora de (7) que: 3/2 () = Y 5/2 () = Adems, 3/2 () = Y 5/2 () = 3 2 3 cos 3 sin 3/2 () 1/2 () = ( 2 cos ) 1 2 cos 1/2 () 1/2 () = ( sin ) 3 2 3 sin 3 cos 3/2 () 1/2 () = ( 2 sin ) 4 1 2 sin 1/2 () 1/2 () = ( cos ) 2 1/2 () = cos

Es obvio que los clculos de esta ndole se pueden continuar infinitamente y, en consecuencia, toda funcin de Bessel Jm+1/2 (x) (con m entero) es elemental. Liouville prob que estos son los nicos casos en que Jp(x) es elemental. Otra aplicacin de (7) se recoge al final del apndice C, donde mostramos como proporciona la fraccin continua de Lambert para la funcin tangente. Esta fraccin continua encierra un enorme valor histrico, ya que llev a la primera demostracin del carcter irracional de . Escritas en la forma: 1 () = () + +1 () = () + (8) (9)

Las formulas (2) y (3) sirven para integrar muchas expresiones sencillas que involucran a las funciones de Bessel. As, por ejemplo, cuando p = 1, (8) da:

 0 () = 1 () +

(10)

En el caso de integrales ms complicadas, donde el exponente no se ajuste al orden de la funcin de Bessel como lo hace en (8) y (9), suele ser preciso recurrir a integracin por partes. Ceros y series de Bessel. Se sigue que para todo valor de p la funcin Jp(x) tiene infinitos ceros positivos. Eso es cierto, en particular, para Jo(x). Los ceros de esta funcin se conocen con mucha precisin y sus valores estn tabulados en muchos libros de tablas matemticas. Los primeros cinco son aproximadamente 2.4048, 5.5201, 8.6537, 11,7915 y 14.9309; sus distancias sucesivas son 3.1153, 3.1336, 3.1378 y 3.1394. Los correspondientes ceros positivos y diferencias para J 1(x) son 3.8317, 7.0156, 10.1735, 13.3237 y 16.4706; y 3.1839, 3.1579, .1502 y 3.1469. A qu viene tanto inters en los ceros de Jp(x)? A menudo es necesario en fsica matemtica desarrollar una funcin dada en trminos de funciones de Bessel, dependiendo del tipo de desarrollo del problema entre manos. Los desarrollos ms simples y ms tiles de este tipo son las series de la forma:

= ( ) = 1 (1 ) + 2 (2 ) +
=1

(11)

Donde f(x) est definida sobre el intervalo 0 x 1 y los n son los ceros positivos de alguna funcin de Bessel fija Jp(x) con p 0. Hemos elegido el intervalo 0 x 1 por una simple cuestin de comodidad. Pero todas las formulas que vayamos escribiendo se pueden adaptar, por un simple cambio de variable, a int ervalos de la forma 0 x a. El cometido de tales desarrollos en la fsica es similar que el de las series de Legendre, ilustrado en el apndice A, donde consideramos un problema de temperaturas sobre una esfera. En el apndice B enseamos como se usa (1) para resolver la ecuacin de ondas en dos dimensiones para una membrana circular vibrante. A la luz de nuestra expericne4ica previa con las series de Legendre, esperamos que la determinacin de los coeficientes de (1) se base en ciertas propiedades integrales de las funciones ( ). Lo que necesitamos aqu es el hecho de que: 0 1 ( ) ( ) = { 1 ( )2 0 2 +1 = (12)

Estas formulas dicen que las funciones ( ) son ortogonales con respecto a la funcin peso x sobre el intervalo 0 x 1. Las demostraciones al final de esta seccin, pero antes vamos a poner de manifiesto su utilidad.

Supuesto que sea factible un desarrollo del tipo (11), multiplicando por ( ), integrando formalmente trmino a trmino de 0 a 1 y usando (12) se llega a:
1

() ( ) =
0

( )2 2 +1

Y sustituyendo m por n se obtiene la siguiente frmula para an:

1 2 = () ( ) +1 ( )2 0

(13)

La serie (11), con sus coeficientes calculados mediantes (13), se llama la serie de Bessel (o a veces serie de Fourier-Bessel) de la funcin f(x). Como de costumbre, enunciamos sin demostracin un teorema de cierta envergadura que da condiciones bajo las cuales la serie converge realmente con suma f(x). Teorema A. (Teorema del desarrollo de Bessel) Supongamos que f(x) y f (x) tiene a lo sumo un numero finito de discontinuidades con salto en el intervalo 0 x 1. Si 0 < x < 1, entonces la serie de Bessel (11) converge a f(x) cuando x es un punto de continuidad de esta funcin, y a 1/2[( ) + (+)] cuando x es punto de discontinuidad. Es natural preguntarse que ocurre en los extremos del intervalo. En x = 1 la serie converge a cero independiente de la naturaleza de la funcin, porque todo ( ) es cero. La serie converge a cero tambin en x = 0, si p > 0 y a f(+0) si p = 0. Como ilustracin, vamos a calcular la serie de Bessel de la funcin f(x) = 1 en el intervalo 0 x 1 en trminos de las funciones 0 ( ), donde se sobrentiende que los n son los ceros positivos de 0 (). En este caso (13) es: = Por (10) vemos que
1 1 2 ( ) 1 ( )2 0 0

0 ( ) = [
0

1 1 1 ( ) 1 ( )] = 0 2 1 ( )

Luego = De donde se sigue que

1=
=1

2 ( ) 1 ( ) 0

(0 x < 1)

es la deseada serie de Bessel. Demostracin de las propiedades de ortogonalidad. Para establecer (12), ntese que y = Jp(x) es solucin de 1 2 + + (1 2 ) = 0 Si a y b son constantes positivas distintas, las funciones () = () y () = () satisfacen las ecuaciones: 1 2 + + (2 2 ) = 0 Y 1 2 + + ( 2 2 ) = 0 (15) (14)

Ahora multipliquemos estas ecuaciones respectivamente por , restamos los resultados y obtenemos 1 ( ) + ( ) = ( 2 2 ) Y tras multiplicar por x, eso nos dice que 1 [( ) + ( )] = ( 2 2 ) Integrando (16) desde = 0 hasta = 1 resulta ( 2 2 ) = [( )] 0
0 1 1

(16)

La expresin entre corchetes se anula claramente en = 0, y en el otro extremo del intervalo tenemos (1) = () y (1) = (). Por consiguiente, la integral de la izquierda es cero si y son ceros distintos positivos y de (); es decir, tenemos
1

( ) ( ) = 0
0

(17)

que es la primera parte de (12). Finalmente, vamos a calcular la integral en (17) cuando = . Si (14) se multiplica por 2 2 , se convierte en

2 2 + 2 2 + 22 2 22 = 0, O sea, 2 2 2 2 2 ( ) 22 2 ( 2 2 ) + ( ) = 0 As que integrando entre = 0 y = 1 se obtiene 22 0 2 = [ 2 2 + (2 2 2 )2 ]0

1 1

(18)

Cuando = 0, la expresin entre corchetes se anula, y como (1) = (), (18) nos dice que
1

()2 =
0

1 1 2 ()2 + (1 2 ) ()2 2 2

Ahora ponemos = y obtenemos

1

( )2 =
0

1 1 ( )2 = +1 ( )2 2 2

Donde el ltimo paso utiliza (5). La demostracin de (12) est determinada. PROPIEDADES ADICIONALES DE LAS FUNCIONES DE BESSEL Desgraciadamente, una justificacin completa exigira varios teoremas de clculo avanzado, lo cual no resta inters al conocimiento de los resultados. La funcin generatriz. Las funciones de Bessel Jn (x) de orden entero estn ligadas entre si por:

( 2)(1)

= J0 (x) + Jn (x)[t n + (1)n t n ]

n=1

(1)

Como () = (1) (), eso se suele escribir en la forma

1 (2)( )

= ()
=

(2)

Para demostrar (1) multipliquemos formalmente las dos series:

 ( 2 ) = =0 ! 2

1 2

= =0

(1) ! 2

(3)

El resultado es lo que se llama una serie doble, cuyos trminos son todos los posibles productos de un trmino de la primera serie por uno de la segundo. El hecho de que cada una de las series implicadas sea absolutamente convergente, permite concluir que esa serie doble converge a la suma apropiada con independencia del orden de sus trminos. Para cada entero fijado n 0, obtenemos un trmin o de la serie doble que contiene la potencia tn justamente cuando j = n + k; y teniendo en cuenta todos los posibles valores de k, el coeficiente total de tn es:

1 ( + )! 2+

(1) !

= (1) = () 2 ! ( + )!
=0

2+ (2)

Analgicamente, un trmino con t-n (n1) aparece precisamente cuando k = n + j, de manera que el coeficiente total de t-n es: 2+ (2) 1 (1)+ + = (1) (1) = (1) () ! 2 ( + )! 2+ ! ( + )!
=0

Y la demostracin de (1) est terminada.

Una consecuencia simple de (2) es la frmula de suma

( + ) = () ()
=

(4)

Para probarla, notemos en primer lugar que

1 1 (2)( ) ( 2)( )

+ 1 2 ( )

= ( + )
=

Ahora bien, el producto de las dos exponenciales de la izquierda es tambin

[ () ] [ () ] = [ () ()]
= = = =

Y (4) se deduce inmediatamente al igualar los coeficientes de t n en esas expresiones. Cuando n = 0, (4) se escribe

( + ) = () ()
=

( + ) = 0 () () + () () + () ()
=1 =1

( + ) = 0 () () + (1) [ () () + () ()]
=1

( + ) = 0 () () + (1) [2 () ()]
=1

O sea ( + ) = 0 () () 21 ()1 () + 22 ()2 () (5)

Si sustituimos y por x usamos el hecho de que Jn(x) es par o impar segn lo sea n, la (5) produce una identidad notable: 1 = 0 ()2 + 21 ()2 + 22 ()2 de la que se deduce que | ()| 1 y | ()|
1 2

(6)

para n = 1, 2,

Formula integral de Bessel. Cuando = , el exponente del miembro de la izquierda en (2) para a ser: = 2 Y (2) se convierte en

= ()
=

(7)

Como = cos() + () y = cos() + (), igualando las partes real e imaginaria en (7) vemos que

cos ( x sen ) = () cos

=

(8)

sen ( x sen ) = () sen

=

(9)

Si ahora utilizamos las relaciones () = (1) (), cos() = cos y () = , entonces (8) y (9) se convierten en

cos ( x sen ) = () + 2 2 () cos 2

=1

(10)

sen ( x sen ) = 2 21 () sen(2 1)

=1

(11)

Ntese, como caso particular de (10), que = 0 proporciona la interesante serie: 1 = 0 () + 22 () + 24 () Adems, poniendo =
2

en (10) y (11) obtenemos las formulas: cos = 0 () 22 () + 24 ()

Y sen = 21 () 23 () + 25 () que corroboran los estrechos lazos existentes entre las funciones de Bessel y las funciones trigonomtricas. La aplicacin ms importante de (8) y (9) es la demostracin de la formula integral de Bessel 1 () = cos( ) 0 En efecto, si multiplicamos (8) por cos , (9) por y sumamos

cos( ) = ()cos( )
=

Integrando ambos lados de = 0 a = , el de la derecha se reduce a (), y sustituyendo m por n llega a la formula (12). En sus trabajos sobre astronoma, Bessel

encontr que las funciones () en esta versin integral y partiendo de essa obtuvo muchas de sus propiedades. Algunas fracciones continuas. +1 () como Si escribimos la identidad 2 () +1 ()
2

() = 1 ()

1 () = dividiendo por Jp(x) se obtiene

1 () 2 1 = 2 + 2 1 () 2 + 4 Se trata de un desarrollo en fraccin continua infinita del cociente 1 ()/ (). No vamos a investigar la teora de tales desarrollos aqu. Sin embargo, puede ser interesante llamar la atencin sobre el hecho de que cuando p = se sigue del problema 46-5 que
1/2 () 1/2 ()

= cot as que: 1

tan = 1

3 1 ) (5 ( ) Esta fraccin continua fue descubierta en 1761 por Lambert, quien la utilizo para demostrar que no es racional. Razono as: si x es un numero racional no nulo, la forma de seta fraccin continua implica que tan x no puede ser racional; pero tan /4 = 1, de modo que ni /4 ni son racionales. Algunas pequeas lagunas en el argumento de Lambert fueron cubiertas por Legendre unos 30 aos mas tarde.

Las funciones de Bessel de primera especia presentan algunas propiedades interesantes, entre las que cabe mencionar, resumimos las siguientes: 1. 2.

[ ()] = 1 ()

4. () = () +1 () 5. 2 () = 1 () +1 ()

[ ()] = +1 ()

3. () = 1 () ()

6. +1 () = ( ) () 1 ()

3. UNA APLICACIN CONCRETA DE LAS FUNCIONES DE BESSEL FUNCIONES DE BESSEL Y MENBRABAS VIBRANTES Una de las aplicaciones fsicas ms sencillas de las funciones de Bessel se da con la teora de Euler de las vibraciones de una membrana circular. En este contexto se entiende por membrana una fina lmina uniforme de material flexible en un estado de tensin uniforme y sujeta a lo largo de una cierta curva cerrada del plano . Cuando tal membrana se desplaza ligeramente de su posicin de equilibrio y se suelta, las fuerzas de recuperacin que la deformacin produce la hacen vibrar. Nuestro problema consiste en analizar este movimiento vibratorio. La ecuacin del movimiento. Haremos varias hiptesis de simplificacin que nos permitan formular una ecuacin en derivadas parciales, y confiamos en que esa ecuacin describa el movimiento con una precisin razonable. Estas hiptesis se resumen en una sola afirmacin: slo consideramos pequeas oscilaciones de una membrana vibrante libre. Las varias formas en que usaremos esta hiptesis aparecern por el camino. En primer lugar, supongamos que las vibraciones son tan pequeas que cada punto de la membrana se mueve slo en la direccin , con desplazamiento dado en el instante por una funcin = (, , ). Consideremos un pequeo fragmento de la membrana (Fig. 3) limitado por planos verticales que pasan por los siguientes puntos del plano : (, ), ( + , ), ( + , + ) y (, + ). Si es la masa por unidad de area, la masa de ese fragmento ser , y por la segunda ley de Newton vemos que 2 = 2 Es la fuerza que acta sobre l en la direccin . (1)

Figure 3.

Cuando la membrana est en la posicin de equilibrio, la tensin constante tienen el siguiente significado fsico: A lo largo de cualquier segmento de longitud , el material a un lado ejerce una fuerza normal al segmento y de magnitud , sobre el material del otro lado. En este caso las fuerzas sobre aristas opuestas de nuestro pequeo

fragmento son paralelas al plano y se cancelan entre s. Cuando la membrana est curvada, como en la posicin instantnea del movimiento que muestra la figura 3, suponemos que la deformacin es tan pequea que la tensin es todava pero ahora acta paralelamente al plano tangente, por lo que presenta una componente vertical apreciable. Es la curvatura de nuestro trozo de membrana la que produce magnitudes diferentes para esas componentes verticales sobre aristas opuestas, y es a la vez responsable de las fuerzas de recuperacin que darn lugar al movimiento. Analizamos estas fuerzas suponiendo que el fragmento de membrana denotado est slo ligeramente curvado. Eso hace posible sustituir los senos de ciertos ngulos pequeos por sus tangentes en lo que sigue. A lo largo de las aristas y , las fuerzas son perpendiculares al eje y casi paralelas al eje , con pequeas componentes aproximadamente iguales a () de modo que su suma viene a ser [( ) ( ) ] + Los subndices en esas derivadas parciales indican sus valores en los puntos (, + ) y (, ). Haciendo lo mismo en las aristas y , hallamos que la fuerza total en la direccin (despreciando todas las fueras externas) es aproximadamente = [( ) ( ) ] + [( ) ( ) ] + + as que (1) se puede expresar en la forma ( ) ( ) ) ( ) 2 + + + = 2 ( Si ahora denotamos 2 = y hacemos 0 e 0, eso nos lleva a 2 ( 2 2 2 + ) = 2 2 2 (2)

y
+

()

que es la ecuacin de ondas bidimensional. Tal vez los estudiantes se sientan algo escpticos ante los argumentos conducentes a (2). Si es as, sepan que no estn solos en tal inquietud, por que la cuestin de qu cabe admitir como una deduccin satisfactoria de la ecuacin diferencial que describe

un fenmeno fsico nunca es sencilla, y en el caso de la ecuacin de ondas, una discusin ms detallada no nos llevara a ninguna parte, ya que la membrana es, al fin y a la postre, atmica y no continua. Tal vez la actitud ms sensata sea aceptar nuestra exposicin como un argumento de plausibilidad que sugiere la ecuacin de ondas como modelo matemtico. Podemos adoptar esta ecuacin como un axioma de la mecnica racional que describe una membrana ideal cuyo comportamiento matemtico puede ajustarse o no al de las membranas reales [13]. La membrana circular. Ahora nos especializamos al caso de una membrana circular, en la que es lgico usar coordenadas polares con el origen en su centro. En estas circunstancias la ecuacin de ondas toma la forma: 2 1 1 2 2 2 ( 2 + + 2 2 ) = 2 (3)

Donde = (, , ) = 0 es una funcin de las coordenadas polares y del tiempo. Por conveniencia, suponemos que la membrana tiene radio 1, de modo que en su posicin de equilibrio se ajusta al crculo r = 1. De acuerdo con esto, nuestra condicin de contorno es: = (1, , ) = 0 (4)

Hemos de hallar una solucin de (3) que satisfaga esa condicin de contorno y ciertas condiciones iniciales que concretaremos ms adelante. Al aplicar el mtodo de separacin de variables, empezamos por buscar soluciones particulares de la forma: = (, , ) = ()()() Introduciendo (5) en (3) y reordenando se llega a: () 1 () 1 () 1 () + + 2 = 2 () () () () (6) (5)

Como el miembro de la izquierda en (6) es solo funcin de r y , mientras que el de la derecha solo depende de t, ambos deben ser constantes. Para que la membrana vibre, () ha de ser periodica; y el lado derecho de (6) muestra que para garantizar tal cosa la constante de separacin tiene que ser negativa. En consecuencia, igualamos cada lado de (6) a 2 con > 0, y obtenemos con ellos las dos ecuaciones: () + 2 2 () = 0 Y (7)

 () 1 () 1 () + + = 2 () () 2 ()

(8)

Es claro que (7) tiene () = 1 cos() + 2 sin() Como solucin general, y (8) se puede escribir: 2 () () () + + 2 2 = () () () (10) (9)

En (10) tenemos una funcin de r a la izquierda y una funcin de a la derecha, luego de nuevo ambas han de ser iguales a una constante. Recordemos ahora que el ngulo polar de un punto en el plano viene determinado modulo un mltiplo entero entre 2 y que, por naturaleza del problema, el valor de v en cualquier punto ha de ser independiente del valor de usado para describir dicho punto. Eso exige que v sea una constante o no constante y peridica, con periodo 2. A la vista del lado derecho en (10) es claro que esas posibilidades quedan cubiertas escribiendo la constante de separacin en la forma n2 donde n=0, 1, 2,, y entonces (10) se desdobla en: () + 2 () = 0 Y 2 () + () + ( 2 2 2 )() = 0 (12) (11)

Recordando que v es constante o peridica con periodo 2, vemos que (11) implica () = 1 cos() + 2 sin() (13)

para cada n, aunque (13) no es la solucin general de (11) cuando n = 0. A continuacin, es evidente que (12) no es sino una forma algo enmascarada de la ecuacin de bessel de orden n, con una solucin acotada J n (r) y una solucin independiente no acotada Yn (r). Puesto que () es necesariamente acotada cerca de r = 0, descartamos la segunda solucin y escribimos: () = Jn (r) (14)

La condicin de contorno (4) se puede satisfacer ahora exigiendo que (1) = 0, es decir: Jn (r) = 0 (15)

As pues, los valores admisibles de son los ceros positivos de la funcin Jn (x), y vimos que Jn (x) tiene una infinidad de tales ceros. Concluimos, por tanto, que las soluciones particulares (5) que este anlisis proporciona son mltiplos constantes del listado infinito de funciones: Jn (r)(1 cos() + 2 sin())(1 cos() + 2 sin()) (16)

donde n= 0, 1, 2,, y para cada n los correspondientes son las races positivas de (15). Condiciones iniciales especiales. lo anterior pretenda mostrar como aparecen las funciones de Bessel de todo orden en la fsica. Ensea adems el significado fsico de los ceros positivos de esas funciones. Por motivos de simplicidad nos limitamos en lo que sigue a un caso especial: la membrana esta desplazada a una forma z = f(r), independiente de la variable , y entonces se suelta partiendo del reposo en el instante t = 0. Eso quiere decir que imponemos las condiciones iniciales: = (, , 0) = () ] =0 =0 (17) (18)

El problema determinar la forma = (, , ) en cualquier instante posterior t > 0. La estrategia consiste en adaptar las soluciones particulares ya conocidas a las condiciones iniciales dadas. Para empezar, la parte (17) que dice que la forma inicial es independiente de implica que () es constante, asi que (13) obliga a que n = 0. Si los ceros positivos de J0 (x) se denotan por 1, 2,n, esa observacin reduce el listado de funciones (16) a: J0 (n r)(1 cos(n ) + 2 sin(n )) n = 1, 2,

A continuacin, (18) implica que c2 = 0, y eso nos deja con los mltiplos constantes de las funciones: J0 (n r)(cos(n )) n = 1, 2, Hasta este momento no hemos usado el hecho de que las sumas de soluciones de (13) son tambin soluciones. Segn esto, las soluciones formales ms generales son las series infinitas:

z = an J0 (n r)(cos(n ))
n=1

(19)

como ltimo eslabn intentemos satisfacer (17) poniendo t = 0 en (19) e igualando el resultado a f(r):

f(r) = an J0 (n r)
n=1

el teorema del desarrollo de Bessel garantiza que esta representacin es vlida siempre que f(r) se comporte suficientemente bien, si los coeficientes se definen por:
1 2 = ()J0 (n r) 1 ( )2 0

Con esos coeficientes, (19) es una solucin formal de (3) que cumple las condiciones de contorno e iniciales dadas. Esto concluye nuestra discusin.

4. CONCLUCIONES

Las funciones de Bessel han encontrado aplicaciones diversas en fsica e ingeniera en relacin con propagacin de ondas, elasticidad, movimiento de fluidos y especialmente en la teora del potencial y en la teora de la difusin con simetra cilndrica. Aparecen incluso en algunos problemas interesantes de matemtica pura.

5. BIBLIOGRAFIA [1] Simmons, George F. Ecuaciones diferenciales con aplicaciones y notas histricas. Segunda edicin, McGraw-Hill, 1993. [2] Donald L. Kreider, Robert G. Kuller, Donald R. Ostberg. Ecuaciones diferenciales. Fondo educativo internacional S.A., 1973. [3] Ph.D Richard Bronson, Teora y Problemas de Ecuaciones Diferenciales Modernas con transformadas de Laplace, Mtodos Numricos, Mtodos de matrices y problemas de valor eigen. Mc-Graw-Hill, 1976. [4] Mercado Cruz, Norman Cesar, Notas para un curso de Ecuaciones Diferenciales. Universidad de Antioquia, 2007. [5] Dennis G. Zill, Ecuaciones Diferenciales con Aplicaciones de Modelado. Sexta Edicin. International Thomson Editores S.A., 1997.