UNIVERSIDAD MANUELA BELTRAN

Investigacin 2 Corte Ecuaciones Diferenciales

Funciones de Bessel y Legendre, Solucin en torno a puntos singulares, serie de potencias, Cauchy-Euler.
Diana Marcela Prieto, Oscar Julin Gonzlez

Si x es una variable, una serie de potencias es cualquier serie de la forma: La siguiente forma de serie de potencia en torno a es:

Por tanto, en torno a

, que es una forma general es:

La anterior es una serie de potencia centrada en c, anteriormente dicho, donde es una constante las cuales se denominan coeficientes de la serie. Para las series de potencias nombraremos dos teoremas significativos. Teorema Convergencia de una serie de potencias. Para una serie d potencias centrada en , exactamente una de estas tres afirmaciones es verdadera. 1. La serie converge solo en . 2. Existe un nmero real tal que la serie es absolutamente convergente cuando y diverge para . 3. La serie es absolutamente convergente para todo real. El nmero es el radio de convergencia de la serie de potencias. Si la serie converge solo en , el radio de convergencia es , y si converge en toda la recta real, el radio de convergencia es . El conjunto de todos los valores de en los que la serie de potencias es convergente constituye el intervalo de convergencia de esa serie de potencias. Teorema Propiedades de las funciones definidas por.

Tiene radio de convergencia , entonces es continua, derivable e integrable en el intervalo . Adems, la derivada y la primitiva de son:

1. 2.

Teniendo en cuenta lo mencionado realizaremos ejercicios: (1) Ejercicio

CRITERIO DE LA RAZN

El ejercicio converge.

(2) Ejercicio

El ejercicio converge

Para resolver una ecuacin diferencial, se puede utilizar el mtodo de series de potencias, sustituyendo en esta la siguiente expresin, y determinado los coeficientes para que la serie de potencias satisfaga la ecuacin diferencial.

(1) Ejercicio

Forma estndar de la Ecuacin diferencial:

Identificando:

Sustituyendo en nuestra ecuacin diferencial tenemos:

Impares:

Pares:

Pares

Impares

Teniendo la ecuacin diferencial:

Y si su s funciones tenemos un punto singular.

no son analticas en un punto

, entonces,

Definicin Puntos singulares regulares e irregulares S un punto singular es un punto singular regular de la ecuacin diferencial arriba mencionada, si las funciones son analticas en . Un punto singlar que no es regular es un punto irregular de la ecuacin.

Friedrich Wilhelm Bessel

Friedrich Wilhelm Bessel (22 de julio, 1784 - 17 de marzo, 1846) Astrnomo alemn. Fue fundador y primer director vitalicio del observatorio de Knigsberg. En 1804 calcul la rbita del cometa Halley. En los Fundamentos de astronoma durante 1818, catalog con extrema precisin la posicin de 50.000 estrellas, lo que le permiti, en 1838, ser el primero en medir la paralaje y la distancia a una estrella (Por ejemplo 0,31 y 10,3 aos luz para 61Cygni). En 1844 sugiri el carcter de sistema binario para Sirio y Procin, hiptesis que quedara confirmada posteriormente con el descubrimiento de Sirio B y Procin B. Anlogamente, sugiri la existencia del planeta Neptuno. En matemticas, introdujo las funciones, que utiliz para determinar el movimiento de tres cuerpos bajo mutua influencia gravitacional, hoy conocidas como funciones de Bessel.

Las funciones de Bessel son soluciones cannicas de

, de la propia ecuacin de Bessel (1)

En la cual encontramos que puede corresponder a un nmero real o complejo, donde el caso ms comn para esta ecuacin es que corresponda a un entero de orden n, dicho esto tambin podemos aclarar que el nmero n al cual corresponda tambin dictara el orden para la ecuacin de Bessel en la forma que estamos trabajando. Como se sabe de antemano al analizar ms a fondo la ecuacin vemos que esta es una ecuacin diferencial de segundo orden y adems tiene dos soluciones linealmente independientes se sabe esto por el grado en el que est la ecuacin. Como habamos indicado anteriormente puede ser un entero n esto incluye a como y a sin embargo al observar la ecuacin vemos que esta elevada al cuadro ( ) por lo que intuimos que si evaluamos la funcin con o nos dar el mismo resultado pero de todas maneras es conveniente analizar este parmetro por el hecho que si tenemos a como positivo obtendremos como solucin una funcin suave en casi todos los puntos y adems cilndrica ya que la funcin de Bessel se usa como solucin para la ecuacin de Laplace en coordenadas cilndricas (son un

sistema de coordenadas que se usan para indicar la posicin de cualquier punto del espacio por medio de un ngulo, una distancia dada por un eje y una altura en direccin del eje). Por otro lado tenemos que las funciones de Bessel se pueden definir como funciones de Bessel ordinarias de orden las cuales no son ms que soluciones a la ecuacin presentada anteriormente adems estas funciones se subdividen en funciones de primera especie y segunda especie donde la especie de la funcin est determinada por el grado de el cual habamos explicado anteriormente.

Funciones de Bessel de primera clase:

Para efectos prcticos de explicacin la funcin de Bessel cuando sea de orden positivo la funcin solucin estar denotada por y se caracterizan por ser finitas en el origen es decir con y adems divergen en el lmite de (cuando x tiende a 0) para un negativo que no es entero esta funcin est definida por la cual es posible definirla en base a una expansin de Taylor en torno a , con esta breve explicacin veamos cmo se vera en trminos matemticos.

Dnde: K es una constante es la funcin gamma Euler la cual es una forma general para nmeros complejos es el nmero entero o complejo que dicta el orden de la funcin. La funcin anteriormente presentada es la solucin de la funcin de Bessel de primera especie la cual adems de ser la solucin tambin se puede presentar en forma de dos casos los cuales se aplican para el valor que tome entonces tenemos que: Si Si , entonces y son funciones linealmente independientes entonces se cumple

Si el segundo caso se cumple estaramos en frente de una funcin de Bessel de segunda clase.

Grficamente:

La funcin de Bessel como se puede apreciar en la grfica para diferentes digamos n los cuales son los n de la funcin que pueden; Como se puede apreciar en al grafica los puntos decaen en n y la funcin se vuelve muy parecida a una funcin seno o coseno.

Funciones de Bessel de segunda Clase:

Como anteriormente indicamos el segundo caso de la funcin de Bessel de primera clase nos indica ahora que estamos en presencia de una funcin de Bessel de segunda clase. Entonces para este caso denotaremos la funcin como define a es igual. de aqu en adelante. La ecuacin que

En el caso en el que tengamos un orden entero n, la funcin es definida como el siguiente lmite slo vlido para enteros:

Grficamente:

En la grfica anterior podemos ver cmo trabajan o como es la funcin de los n determinados para la funcin de segunda clase de Bessel.

Ejemplo: Como vimos anteriormente las funciones de Bessel aparecen como solucin a la
ecuacin de Laplace pero adems tambin son acompaantes del desarrollo de la serie FourierBessel en el ejemplo a continuacin veremos su desarrollo con el ejercicio propuesto. Desarrolle , en una serie de Fourier-Bessel aplicando funciones de Bessel de primer orden que satisfagan la condicin en la frontera Solucin: Usamos la siguiente ecuacin de la cual las se definen por

medio de donde podemos ver que b es un nmero que acompaa entonces al reescribir el ejercicio y usar la formula tenemos.

Pero para poder resolver esto y adems poder evaluar la integral hacemos que esta ecuacin : entonces la funcin queda.

y usamos

De lo cual obtenemos

(Pars, 1752-Auteuil, Francia, 1833) Matemtico francs. Tras completar sus estudios en el Collge Mazarin, entr a trabajar en la Escuela Militar, para la que complet un estudio sobre la trayectoria de los proyectiles que le supuso el Premio de la Academia de Berln en 1782. A partir de 1795 ense matemticas en la cole Normale. En sus primeros trabajos, centrados en la mecnica, introdujo conceptos como la funcin que lleva su nombre o la primera demostracin del mtodo de los mnimos cuadrados. Tras los pasos de Euler y Lagrange, estudi las funciones elpticas y las redujo a tres formas bsicas. Fue el primero en dedicar una obra estrictamente a la teora de nmeros, mbito en el que obtuvo resultados fundamentales como la demostracin en 1830 de la ley de la reciprocidad cuadrtica. En 1794 public los Elementos Adrien Marie Legendre de geometra, una versin reordenada y simplificada de la obra original de Euclides, que fue traducida a ms de treinta idiomas.

Vale la pena aclarar que las funciones de Legendre no son otra cosa ms que las soluciones de las ecuaciones diferenciales de Legendre las cuales tienen la siguiente forma: (1) Las funciones de Legendre aparecen con mucha frecuencia para resolver problemas de fsica y adems del mismo modo en que lo hacen las funciones de Bessel tambin aparecen para resolver la ecuacin de Laplace mediante el mtodo de separacin de variables.

De la ecuacin (1) podemos notar a el cual es un polinomio de un grado n (ms adelante veremos el desarrollo matemtico de este polinomio), que puede reescribirse con la frmula de Rodrguez la cual casi siempre se usa o se ingresa en un programa de computadora para simplificar y poder graficar los polinomios de Legendre la expresin de Legendre tambin se puede desarrollar de la siguiente manera.

Los polinomios de Legendre tienen una importante propiedad y es que todos son ortogonales con respecto a un producto escalar dentro de un intervalo y la ecuacin que describe este fenmeno se escribe de la siguiente manera.

De esta ecuacin nos fijamos en particular en si m = n y 0 para otros casos. Ejemplos de lo polinomios de Legendre

el cual es la delta de Kronecker, igual a 1

Estos son algunos de los polinomios de Legendre que como ya vimos guardan su solucin en la funcin antes expresada.

Grficamente:

En la grfica vemos las lneas que trazan los polinomios de Legendre todos son menores a 5 y que adems conforme el entero n se acerca ms a 0 la lnea se hace ms recta a diferencia de las funciones de Bessel las cuales al ser evaluadas resultan en funciones similares grficamente a cosenos y senos y son adems funciones suaves. Ejemplo de funciones de Legendre:
Por el ejemplo 4 de la seccin 10.4, sabemos que el conjunto de polinomios de Legendre, es ortogonal con respecto ala funcin peso en [-1, 1]. Adems, se puede demostrar que:

La serie generalizada de Fourier de los polinomios de Legendre se define como sigue.

Serie de Fourier-Legendre La serie de Fourier-Legendre de una funcin f est definida en el intervalo (-1,1) es (1) En donde (2) Convergencia de una serie de Fourier-Legendre en el siguiente teorema se dan las condiciones de suficiencia para la convergencia de una serie de Fourier Legendre. Teorema Condiciones de convergencia Si f y f son continuas por tramos en la serie de Fourirer-Legendre, ecuacin (1) converge hacia en un punto de continuidad, y hacia en un punto de discontinuidad. Desarrollo Escriba los cuatro trminos distintos de cero de la serie de Fourier-Legendre para:

Solucin: Anteriormente habamos enunciado los primeros 5 polinomios de Legendre con esos polinomios y la ecuacin (2) resolvemos:

Tomado de: Ecuaciones diferenciales Dennis G. Zill

Por consiguiente tenemos:

Teniendo la siguiente ecuacin diferencial decimos que:

Los coeficientes

son constantes y son de grado

de

los coeficientes coincide con el orden de diferenciacin , la ecuacin presentada con sus respectivas caractersticas es de Cauchy Euler. Para la solucin de este tipo de ecuaciones diferenciales tenemos la forma: donde m es un valor el cual tenemos que determinar y se sustituye en la ecuacin diferencial . Existen tres casos para los valores que puede tomar para su correspondiente respuesta. Caso 1 Races reales distintas: S son reales entonces:

Si n es el orden de la ecuacin entonces:

Caso 2 Races reales repetidas: S son reales entonces:

Si n es el orden de la ecuacin entonces:

Caso 3 Races complejas conjugadas:

entonces:

Por la ecuacin de Euler seria:

Ejemplo Resolver

Sustituyendo en la ecuacin diferencial, tenemos:

Respuesta:

Augustin-Louis Cauchy

(Pars, 1789-Sceaux, Francia, 1857) Matemtico francs. Fue educado en casa por su padre y no ingres en la escuela hasta los trece aos. Su primer trabajo fue como ingeniero militar para Napolen, ayudando a construir las defensas en Cherburgo. A los veinticuatro aos volvi a Pars y dos ms tarde demostr una conjetura de Fermat que haba superado a Euler y Gauss. Con veintisiete aos ya era uno de los matemticos de mayor prestigio y empez a trabajar en las funciones de variable compleja, publicando las 300 pginas de esa investigacin once aos despus. En

esta poca public sus trabajos sobre lmites, continuidad y sobre la convergencia de las series infinitas. En 1830 se exili en Turn, donde trabaj como profesor de fsica matemtica hasta que regres a Pars (1838). Pas el resto de su vida enseando en La Sorbona. Public un total de 789 trabajos, entre los que se encuentran el concepto de lmite, los criterios de convergencia las frmulas y los teoremas de integracin y las ecuaciones diferenciales de Cauchy-Riemann.

Universidad de Tachira, (recuperado el 4 de mayo de 2013), Teora Electromagntica http://www.angelfire.com/al2/TElectromagnetica/bessel.html Universidad Rafael Urdaneta (recuperado el 4 de mayo de 2013),Funciones de Bessel, http://www.uru.edu/fondoeditorial/articulos/FUNCIONES%20BESSEL.pdf Universidad de Sevilla, (recuperado el 5 de mayo de 2013), Soluciones en series de potencias de E.D.O. lineales http://personal.us.es/niejimjim/tema05.pdf Dennis G. Zill, D.(1998,Mayo),Ecuaciones Diferenciales. Amrica del sur, Santiago de Chile: Intemational Thomson Editores,Ed. Universidad de taboleda, (recuperado el 5 mayo de 2013),soluciones para ecuaciones por Cauchy Euler http://www.udobasico.net/misitio/matIV/Ecauchyeuler.html