Documente Academic
Documente Profesional
Documente Cultură
Curso:
Matemtica III
Docente:
Lic. Jonathan Guevara Wintong
Tema:
Ecuacin de Euler Operadores Diferenciales
Integrantes:
Coca Charca, Enzo Pal Cornejo Otero, Manuel Ariel Javier Bedn Jauregui, Jahn Jhordee
Huacho 2012
1
ECUACION DE EULER
ao se alist en la marina rusa, con el grado de lugarteniente y all aprendi los principales aspectos relativos a la estructura y funcionamiento de las naves, llegando a convertirse en una verdadera autoridad naval. En 1730 abandon la marina debido a que le concedieron la ctedra de Fsica y en 1733 la de Matemticas que haba dejado su amigo Daniel Bernuilli. El 27 de Diciembre de 1733 a los 27 aos se cas con Katharina Gsell, hija de un pintor sueco con la que tuvo 13 hijos de los que sobrevivieron 5, tres hijos y 2 hijas. De los 5 supervivientes tuvo 32 nietos. En 1773 muri su mujer y se volvi a casar con Salom Abigail Gssell hermanastra de su mujer. De 1727 a 1741 trabaj para el gobierno ruso como director del departamento de geografa y como comisario de pesas y medidas. As particip en el anlisis cartogrfico de Rusia. Resolviendo un problema perdi la vista de su ojo derecho a los 33 aos. Fue llamado a Berln por Federico II de Prusia, que le ofreci una ctedra en su Academia. Euler solicit permiso al gobierno ruso para trasladarse a Berln, y ste no slo se lo concedi, sino que sigui pagndole sus honorarios de acadmico en San Petersburgo. Se incorpora a Berln en 1741, enviando sus memorias a la Academia de Prusia y a la de San Petersburgo. Aunque Federico el Grande no fuera un entendido en Matemticas apreciaba el trabajo de Euler y le cre una serie de trabajos prcticos como acuacin de moneda, conducciones de agua, canales de navegacin, nivelacin del canal de Finow, la creacin de Montepos de viudedad, Instalacin de juegos de agua Su estancia en Berln no fue feliz , perdi su otro ojo y el rey prefera los intelectuales. An as estuvo residiendo 25 aos en la Corte de Federico el Grande. En 1776, Catalina II de Rusia le invita a volver a la Academia de San Petersburgo; Euler decide volver, aunque los mdicos le advierten de que el riguroso clima de la capital rusa le hara perder por completo la vista. Es recibido en San Petersburgo como una gran personalidad. Tal como le advirtieron los mdicos, Euler perdi la vista casi por
4
completo; slo conserv la capacidad de distinguir los trazos gruesos de la tiza en la pizarra, con lo que su capacidad de trabajo no disminuy. En 1773 recobra la vista despus de someterse a una operacin, pero no tardar en volverla a perder y as vivi 17 aos con su ceguera. Aunque ciego no dej sus trabajos, primero empleaba una pizarra y ms tarde dictaba a sus colaboradores las publicaciones. En 1777, su casa fue destruida por un incendio, pero gracias al conde de Orloff, se salvaron sus manuscritos. Pas sus ltimos das jugando con sus nietos y discutiendo las ltimas teoras sobre el planeta Urano. Muri el 8 (18) de Septiembre de 1783, repentinamente, mientras fumaba y tomaba el t con su familia. Fue enterrado en San Petersburgo. PRINCIPALES APORTACIONES A LAS MATEMTICAS:
Descubri la igualdad C + V = A + 2. Demostr que el baricentro, ortocentro y circuncentro estn alineados. Recta de Euler. Argument que el infinito separaba los nmeros positivos de los negativos de forma similar a como lo hace el cero. Defini las funciones logartmicas y exponenciales. Desarroll el clculo de nmeros complejos, demostrando que tiene infinitos logaritmos. Resolvi el problema de los Puentes de Konigsberg. Introdujo los smbolos e, f(x), el sumatoria y la letra pi para dicho nmero (el honor a Pitgoras ya que era la inical de su nombre). Clasific las funciones y formul el criterio para determinar sus propiedades. Elabor e introdujo la integracin doble. Descubri el teorema de la composicin de integrales elpticas. Dedujo la ecuacin diferencial de la lnea geodsica sobre una superficie. Introdujo la ecuacin de la expansin volumtrica de los lquidos. Fue el padre de la Teora de Grficas. Ampli y perfeccion la geometra plana y de slidos.
5
Demostr que podan conseguirse objetivos acromticos de foco finito, asociando dos tipos de vidrios distintos. Fue el primero en considerar el seno y el coseno como funciones. Introdujo los factores integrantes en las ecuaciones diferenciales. Generaliz la congruencia de Fermat, introduciendo una expresin que Gauss denomin "indicador". Se adelant a Legendre en el descubrimiento de la "ley de reciprocidad" de los restos cuadrticos. Aadi el "cuadrado latino" a los cuadrados mgicos (padre de los famosos sudokus). Ide mtodos para el desarrollo en serie de races. Inici el estudio de las funciones simtricas de las races. En lgebra, ide mtodos de eliminacin y descomposicin en fracciones simples. A l se debe la utilizacin de letras minsculas para designar los lados de un tringulo y de las maysculas para los vrtices.
ECUACIN DE CAUCHY-EULER
La facilidad relativa con que pudimos determinar soluciones explcitas de ecuaciones diferenciales lineales de orden superior con coeficientes constantes en las secciones anteriores, en general no se consigue con las ecuaciones lineales con coeficientes variables. En el captulo 6, veremos que cuando una ecuacin diferencial lineal tiene coeficientes variables, lo mejor que podemos esperar, por lo general, es determinar una solucin en forma de serie infinita. Sin embargo, el tipo de ecuacin diferencial que examinaremos en esta seccin es una excepcin a la regla: se trata de una ecuacin con coeficientes variables cuya solucin general siempre se puede expresar en trminos de potencias de x, senos, cosenos y funciones logartmicas y exponenciales. Es ms, este mtodo de solucin es bastante similar al de las ecuaciones con coeficientes constantes. Ecuacin de Cauchy-Euler o ecuacin equidimensional Toda ecuacin diferencial lineal de la forma
Donde los coeficientes , ,, son constantes, tiene los nombres de ecuacin de Cauchy-Euler, ecuacin de Euler-Cauchy, ecuacin de Euler o ecuacin equidimensional. La caracterstica observable de este tipo de ecuacin es que el grado k = n, n - 1, . . . , 0 de los coeficientes monomiales coincide con el orden k de la diferenciacin, /d ; Comenzaremos el desarrollo examinando detalladamente las formas de las soluciones generales de la ecuacin homognea de segundo orden.
La solucin de ecuaciones de orden superior ser anloga. Una vez determinada la funcin complementaria (x) tambin podemos resolver la ecuacin no homognea a y + bxy + cy = g(x) con el mtodo de variacin de parmetros. Nota. El coeficiente de /d es cero cuando x =0; por consiguiente, para garantizar que los resultados fundamentales del teorema 4.1 se apliquen a la ecuacin de Cauchy-Euler, concentraremos nuestra atencin en determinar la solucin general en el intervalo (0, ). Se pueden obtener las soluciones en el intervalo (-, 0) sustituyendo t = -x en la ecuacin diferencial. Mtodo de solucin Intentaremos una solucin de la forma y = , donde m est por determinar. La primera y segunda derivadas son, respectivamente,
En consecuencia
As, y = es una solucin de la ecuacin diferencial siempre que m sea una solucin de la ecuacin auxiliar
Hay tres casos distintos por considerar que dependen de si las races de esta ecuacin cuadrtica son reales y distintas, reales repetidas (o iguales) o complejas. En el ltimo caso las races sern un par conjugado. CASO I: races reales distintas sean y las races reales de (l), tales que . Entonces = y = forman un conjunto fundamental de soluciones. As pues, la solucin general es
Resuelva
SOLUCIN En lugar de memorizar la ecuacin (l), para comprender el origen y la diferencia entre esta nueva forma de la ecuacin es preferible suponer que la solucin es y = . Diferenciamos dos veces
= -1 y
= 4,
CASO II: races repetidas Si las races de (1) son repetidas (esto es, si = solo llegaremos a una solucin, que es y = . Cuando las races de la ecuacin cuadrtica a + (b - a)m + c = 0 son iguales, el discriminante de los coeficientes tiene que ser cero. De acuerdo con la formula cuadrtica, la raz debe ser = -(b - a)/2a. Podemos formar ahora una segunda solucin, . Primero escribimos la ecuacin de Cauchy-Euler en la forma
= (b/a) ln x. As
Resuelva
SOLUCIN La sustitucin y =
da
cuando 4 general es
+ 4m + 1 = 0, o
= 0. Como
= - la solucin
Para las ecuaciones de orden superior se puede demostrar que si de multiplicidad k, entonces
es raz
son k soluciones linealmente independientes. En consecuencia, la solucin general de la ecuacin diferencial debe contener una combinacin lineal de esas k soluciones. CASO III: races complejas conjugadas Si las races de (1) son el par conjugado = -i , = - i , donde y > 0 son reales, una solucin es
Pero cuando las races de la ecuacin auxiliar son complejas, como en el caso de ecuaciones con coeficientes constantes, conviene formular la solucin slo en trminos de funciones reales. Vemos la identidad
De igual manera,
10
respectivamente. Basndonos en que y = + es una solucin para todos los valores de las constantes vemos, a la vez, para = = 1 y = 1, = -1, que
o bien
tambin son soluciones. Como W( cos( lnx), sen( lnx)) = > 0 en el intervalo (0, ), llegamos a la conclusin
forman un conjunto fundamental de soluciones reales de la ecuacin diferencial; por lo tanto, la solucin general es
Resuelva
son
En este caso vemos que y = ser una solucin de la ecuacin cuando = -2, = 2i y = -2i. En consecuencia, la solucin general es
11
Dado que el mtodo de los coeficientes indeterminados solo se puede aplicar a ecuaciones diferenciales con coeficientes constantes, no es aplicable directamente a una ecuacin no homognea de Cauchy-Euler.
12
OPERADORES DIFERENCIALES
El estudio de los operadores diferenciales es un problema clsico con operaciones en numerosas reas de la ciencia. Un caso particular importante de operadores diferenciales est constituido por los operadores diferenciales lineales. De los diversos problemas a tratar ocupa un lugar importante el problema concreto de la equivalencia de operadores.
BIOGRAFA:
Georg Frobenius naci el 26 de octubre de 1849 en Charlottenburg, un lujoso barrio cercano a Berln (pero que no fue incorporado como barrio de Berln hasta 1920, cuando ya haba muerto). En la poca en que naci perteneca a Prusia (ahora Alemania). Entr en la escuela Joachimsthal Gymnasium en 1860 con once aos de edad y se gradu en 1867. Ese mismo ao, empez a estudiar en la universidad de Gttingen, pero solo estudi all un semestre volviendo a continuacin a Berln. En la universidad de Berln asisti a clases de matemticas impartidas por los grandes matemticos Kronecker, Kummer y weierstrasss. All prepar
13
su doctorado, asistiendo a los seminarios de Kummer y Weierstrass, que present en 1870, supervisado por Weierstrass. Al acabar su doctorado estuvo varios aos dando clases en escuelas de secundaria, primero en el Joachimsthal Gymnasium y despus en la Sophienrealschule. En 1874 fue aceptado en la universidad de Berln como profesor extraordinario de matemticas, sin haber realizado su segunda tesis (tesis de habilitacin necesaria para poder clase en la Universidad). Esto fue debido a la influencia de Weierstrass que consideraba a Frobenius el mejor de sus alumnos. Estuvo en Berln solo un ao, antes de irse a Zrich como profesor ordinario de la Eidgenssische Polytechnikum. Durante 17 aos, entre 1875 y 1892, Frobenius trabaj en Zrich. Se cas all, tuvo familia y realiz un importante trabajo de investigacin en diferentes reas de matemticas. En diciembre de 1891 Kronecker muri y su ctedra de Berln qued vacante. De nuevo, Weierstrass us su notable influencia pensando que Frobenius era la persona ideal para ocupar dicha plaza, plaza que ocup hasta poco antes de su muerte. En 1892 fue elegido para la Academia Prusiana de Ciencias. Muri el 3 de agosto de 1917 en Berln, ya Alemania.
ANECDOTAS Y CURIOSIDADES:
-Era ocasionalmente colrico, irritante, y dado a las invectivas. -La relacin con sus colegas de Berln no fue buena. -Exiga un nivel muy alto a sus colegas y a sus alumnos. -Sospechaba a cada oportunidad que el gobierno trataba de bajar el nivel acadmico. -Durante 25 aos fue la figura lder, la que dirigi la enseanza universitaria de las matemticas en Berln.
14
-Se consideraba un escolar cuya obligacin era contribuir al conocimiento de las matemticas puras. -La matemtica aplicada, en su opinin perteneca a las escuelas tcnicas. -Estuvo peleado con los matemticos de Gttingen, especialmente con Klein y Lie. -La teora de caracteres de Frobenius fue usada con xito por Burnside y apareci en la edicin de 1911 de su famoso libro Theory of Groups of Finite Order. -Tuvo algunos estudiantes de doctorado que hicieron importantes contribuciones a la matemtica. Edmund Landau, Issai Schur y Robert Remak. -La teora de representaciones de grupos finitos de Frobenius ha tenido importantes aplicaciones a la mecnica cuntica y la fsica terica, en contra de la visin de una matemtica pura que tena Frobenius. -Muchos de sus artculos han sido reproducidos en libros y convertidos en estndar en el estudio de la matemtica, en muchas reas diferentes. Sin embargo, siempre hizo contribuciones fundamentales en reas que ya haban sido introducidas anteriormente por otros matemticos.
LIBROS ESCRITOS:
En 1879, conjuntamente con Stickelberger, public "ber Gruppen von vertauschbaren Elementen", donde da una demostracin del teorema de estructura de los grupos abelianos finitamente generados. En 1884, public su segundo artculo sobre grupos finitos en el que prueba los teoremas de Sylow para grupos abstractos. En 1896, ya en Berln public 5 artculos sobre teora de grupos, uno de ellos "ber die Gruppencharactere" es fundamental en la teora de caracteres. Entre 1897-1899 Frobenius public dos artculos sobre representaciones, uno sobre caracteres inducidos y otro sobre producto tensorial de caracteres. Las obras completas de Frobenius, "Gesammelte Abhandlungen" (1968), en tres volmenes, fue editada por el matemtico Jean Pierre Serre.
15
Operadores Diferenciales Definicin : Un operador es un objeto matemtico que convierte una funcin en otra, por ejemplo, el operador derivada convierte una funcin en una funcin diferente llamada la funcin derivada. Podemos definir el operador derivada D que al actuar sobre una funcin diferenciable produce la derivada de esta, esto es: D0f(x) = f(x) ; D1f(x) = f0(x) ; D2f(x) = f00(x) ; : : : ;Dnf(x) = f(n)(x) Es posible construir la siguiente combinacin lineal con los operadores diferenciales: P(D) = a0 + a1D + a2D2 + . + anDn ; an 6= 0 : (1) donde a2; a1; a2; : : : an son constantes. A este nuevo objeto lo podemos llamar el Operador Polinomial de orden n. La utilidad de este objeto matemtico quedar clara si hacemos la siguiente definicin : P(D)y (anDn + an-1Dn-1 + + a2D2 + a1D + a0)y = anDny + an-1Dn-1y +..+ a2D2y + a1Dy + a0y = any(n) + an-1y(n-1) + .+ a2y00 + a1y0 + a0y (2) Por otro lado, recordemos que una ecuacin diferencial lineal de orden n con coeficientes constantes es una ecuacin de la forma : any(n) + an-1y(n-1) + .. + a2y00 + a1y0 + a0y = Q(x) ; (3) por lo tanto, (3) se puede escribir de una manera compacta como P(D)y = Q(x) : (4) El operador polinomial es lineal, esto significa que tiene las siguientes propiedades. Si f1(x) y f2(x) son dos funciones diferenciables de orden n, entones : P(D) [f1(x) + f2(x)] = P(D)f1(x) + P(D)f2(x)
16
donde y son constantes. Adems: Si y1(x); y2(x); : : : ; yn(x) son n soluciones de la ecuacin diferencial homognea : P(D)y = 0 Entonces yh(x) = C1y1(x) + C2y2(x) + .. + Cnyn(x) es tambin una solucin. Si yh(x) es una solucin de P(D)y = 0 y yp(x) es una solucin de P(D)y = Q(x) entonces y(x) = yh(x) + yp(x) es una solucin de P(D)y = Q(x). Si yp1(x); yp2(x); : : : ; ypn(x) son soluciones particulares de las respectivas n ecuaciones P(D)y = Q1(x); P(D)y = Q2(x); : : : ; P(D)y = Qn(x) resulta entonces que P(D) [yp1(x) + yp2(x) + . + ypn(x)] = Q1(x) + Q2(x) + . + Qn(x) implica que yp(x) = yp1(x) + yp2(x) + .. + ypn(x) es una solucin de : P(D)y = Q1(x) + Q2(x) + . + Qn(x) Ejercicio 1 : Encuentre una ecuacin particular de y + y =( + + 3 )( + 1) y=( + +3)
Por alguno de los mtodos anteriormente vistos podemos encontrar las soluciones particulares de cada una de las siguientes ecuaciones :
17
+ 1) y =
+ 1)y=
+ 1)y = 3
las soluciones son, respectivamente : yp1(x)= yp2(x)= yp3(x)=3 por lo tanto, una solucin particular de la ecuacin diferencial problema es : yp(x) = +3 = +1+ -
Al operador diferencial tambin se le pueden agregar las siguientes propiedades. Consideremos los operadores P1(D) = anDn + an-1Dn-1 + . + a2D2 + a1D + a0 (5)
P2(D) = bnDn + bn-1Dn-1 +..+ b2D2 + b1D + b0 con n m. (P1+P2)f(x) = P1f(x)+P2f(x) =[anDn +.. + anDn +.. + (a2 + b2)D2 + (a1 + b1)D + a0 + b0]f(x) [g(x)P(D)] f(x) = g(x) [P(D)f(x)] g(x) [P1(D) + P2(D)] f(x) = g(x) [P1(D)f(x)] + g(x) [P2(D)f(x)] [P1(D)P2(D)] f(x) = P1(D) [P2(D)f(x)] Si el operador polinomial diferencial puede ser factorizado, es decir, si: P(D) = anDn + an-1Dn-1 +.+ a2D2 + a1D + a0 = an(D - m1)(D m2)..(D - mn)
(6)
las cantidades: m1;m2; : : : ;mn son las races de la ecuacin caracterstica de P(D)y = 0. Si P(D) = anDn + an-1Dn-1 + . + a2D2 + a1D + a0 ; es un operador polinomial de orden n, entonces: P(D + a) = an (D + a)n + an-1 (D + a)n-1 + .. + a2 (D + a)2 + a1 (D + a) + a0
18
donde a es una constante. Ejercicio 2 : (D - 2D - 3)[sen(x) + ]= (D + 1)(D - 3) [sen(x) + ] = (D + 1)[(D - 3) [sen(x) + ] = (D + 1)[cos(x) + 2x - 3sen(x) -3 = -sen(x) + 2 - 3 cos(x) 6x + cos(x) + 2x = -4sen(x) - 2 cos(x) 3 Teorema: Si P(D) = anDn + an-1Dn-1 + .. + a2D2 + a1D + a0 es un operador polinomial diferencial con coeficientes constantes y u(x) es una funcin n veces diferenciable, entonces: P(D) [ueax] = eaxP(D + a)u ; donde a es una constante. - 4x + 2
3sen(x) 3x2
Ejercicio 3 : Evaluar la siguiente expresin ( Al comparar la forma de esta expresin con la de teorema anterior, vemos que a = -2 y u(x) = . Por lo tanto, si hacemos : P(D 2) = (D - 2)2 - (D - 2) + 3 = D2 5D + 9 se obtiene que ( =
19
Solucin de ecuaciones diferenciales lineales con el operador polinomial El mtodo puede aplicarse a ecuaciones diferenciales de orden n, ya que si se tiene que (D - m1)(D - m2) .. (D - mn)y = Q(x) entonces se puede definir la funcin u como u = (D - m2) .. (D - mn)y y lo que queda es resolver una ecuacin diferencial lineal de primer orden (D - m1)u = Q(x) Una vez resuelta la ecuacin para u se sustituye en: (D - m2)(D - m3) ..(D - mn)y = u(x) Repitiendo el proceso v = (D - m3) . (D - mn)y ) (D - m2)v = u(x) Integrando: (D - m3) (D - mn)y = v(x) Esta repeticin nos llevar entonces hasta la solucin y(x). Para resolver ecuaciones del tipo:
es decir, con coeficientes constantes, vamos a estudiar el siguiente ejemplo: Ejercicio 4 : Resolver la ecuacin y + 2y - y - 2y =
20
(D-1)(D+1)(D+2)y= Si llamamos u = (D + 1) (D + 2) y entonces se puede ver que : (D - 1) u= Conocida la funcin u entonces se tiene que (D + 1) (D + 2) y = Repetimos el proceso, pero ahora hacemos v = (D + 2) y, por lo tanto
(D + 1) v =
El operador inverso Los operadores suelen tener su inversa, esto significa que si :
donde yp(x) es una solucin particular de P(D)y = Q(x). Notemos que esto significa que :
21
Ejercicio 5 : Evaluar :
El operador inversa de P(D), es decir (D) puede tambin representarse como 1=P(D). Debe quedar claro que su significado radica en el hecho de que al actuar sobre Q(x) produce una solucin particular yp. Esta _ultima notacin resulta ser a veces ms conveniente y dependiendo de la forma de Q(x) puede resultar algunas veces de fcil solucin. En general, se tiene que s
Entonces :
donde el trmino (1 + c1D + c2 + + expansin en serie de 1=P(D). Por otro lado, notemos que si a0 = 0, entonces P(D)y =( Q(x) ;
)=a0 es la
Muchos clculos se simplificarn notablemente por la forma que pueda tener la funcin Q(x), veamos: Si Q(x) = bxk, entonces P(D)y = bxk Note que si k = 0, entonces: yp = Porque b es constante. [
Ejercicio 6 : a) Encontrar una solucin particular de y - 2y - 3y = 5 5 y k = 0, por lo tanto: [ b) Encontrar una solucin particular de 4y - 3y + 9y = 5
23