Teora general de sistemas y ecuaciones lineales

Para nosotros, un sistema de ecuaciones diferenciales es una expresin de la forma: F1(x,y1,y'1,y2,y'2, ... ,ym,y'm) = 0; F2(x,y1,y'1,y2,y'2, ... ,ym,y'm) = 0; . . . Fm(x,y1,y'1,y2,y'2, ... ,ym,y'm) = 0; donde y1,y2,...,ym son funciones reales a determinar que dependen de x y Fi : A R1+2m R, 1 i m, son funciones reales de varias variables. Se suele suponer que hay igual nmero de ecuaciones que de incgnitas de manera que todas las ecuaciones son independientes, es decir, ninguna puede deducirse de las dems. Estamos interesados en aquellos sistemas de ecuaciones diferenciales en los que podemos despejar la primera derivada de cada una de las funciones incgnita, es decir, sistemas de la forma

y'1 = f1(x,y1,y2,...,ym); y'2 = f2(x,y1,y2,...,ym); . . . y'm = fm(x,y1,y2,...,ym); donde fi : A R1+m R , 1 i m, son funciones reales. Ejemplos de estos sistemas son: y'1 = xy1 + y22; y'2 = x + y1 + y2; y'1 = x y1 + y22y3; y'2 = x + y1 + y2y3; y'3 = y1y2y3;

En general la resolucin de estos sistemas no es posible, salvo en casos excepcionales. Slo para el caso de los sistemas de ecuaciones diferenciales lineales con coecientes constantes, que veremos un poco ms tarde existen algoritmos que permiten el clculo explcito de las soluciones. Sin embargo, es relativamente sencillo saber cundo un sistema tiene solucin, o ms precisamente cundo un problema de condiciones iniciales asociado tiene solucin. Primero claro est, debemos denir qu entendemos por un problema de condiciones iniciales para sistemas de ecuaciones diferenciales. Dicho problema es un sistema de ecuaciones diferenciales.

y'1 = f1(x,y1,y2,...,ym); y'2 = f2(x,y1,y2,...,ym); . . . y'm = fm(x,y1,y2,...,ym); y1(x0) = y1, y2(x0) = y2 , ... , ym(x0)=ym junto con las condiciones yi(x0)=yi, donde x0,y1,y2,...,ym son nmeros reales. Por ejemplo:

y'1 = xy1 + y22 y3; y'2 = x + y1 + y2y3; y'3 = y1y2y3; y1(0) = 2 ,y2(0) = 0, y3(0) = 1, es un problema de condiciones inciales. Ntese que todas las condiciones inciales implican el conocimiento de la funcin en 0, es decir, lo siguiente

y'1 = xy1 + y22 y3; y'2 = x + y1 + y2y3; y'3 = y1y2y3; y1(0) = 2, y2(0) = 0, y3(0) = 1,

No sera un problema de condiciones inciales, ya que conocemos y2 en 1 e y1 e y3 en 0. Para el caso de los problemas de condiciones inciales para sistemas de ecuaciones diferenciales tenemos el siguiente resultado anlogo al de ecuaciones diferenciales de orden uno.

Teorema: Sea el problema de condiciones inciales y'1 = f1(x,y1,y2,...,ym); y'2 = f2(x,y1,y2,...,ym); . . . y'm = fm(x,y1,y2,...,ym); y1(x0) = y1,y2(x0) = y2,...,ym(x0) = ym donde ( y1,y2,...,ym ) A, fi : A R1+m R, 1 i m,, son funciones reales continuas en el abierto A. Supongamos adems que las funciones fi/yj existen y son continuas en A. Entonces existe una solucin del problema de condiciones iniciales anterior yi : I R, 1 i m, denido en un intervalo abierto I de la recta real. Este resultado es fcil de aplicar. Por ejemplo el problema que consideramos anteriormente y'1 = xy1 + y22 y3; y'2 = x + y1 + y2y3; y'3 = y1y2y3; y1(0) = 2,y2(0) = 0, y3(0) = 1, Es tal que f1(x,y1,y2,y3) = xy1+y2 2y3, f2(x,y1,y2,y3) = x+y1+y2y3 y f3(x,y1,y2,y3) = y1y2y3 son funciones denidas en R4, continuas y las derivadas parciales de cada funcin respecto de y1,y2 e y3 son continuas. Entonces este problema de condiciones inciales tiene solucin nica, aunque no tengamos ni idea de cmo calcularla. Se ver en la asignatura de cuarto curso mtodos numricos cmo obtener soluciones aproximadas, y en esta misma asignatura estudiaremos cmo obtener informacin parcial sobre el sistema incluso sin conocer las soluciones.

Ecuaciones lineales de orden n

Una ecuacin diferencial de orden n>1 es una expresin de la forma yn = f(x,y,y',...,yn1)), donde f : A Rn+1 R...................................(a) Esta ecuacin puede transformarse en un sistema de ecuaciones diferenciales de orden uno de la manera siguiente. Introducimos las variables dependientes y1 = y, y2 = y', y3 = y'',...,yn = yn1 y entonces la ecuacin (a) puede escribirse como el sistema y'1 = y2, y'2 = y3, . . . y'n1 = yn, y'n = f(x,y1,y2,...,yn). Por ejemplo, la ecuacin de orden tres y3 = x + yy'y0'', y'1 = y2, y'2 = y3, y'3 = x + y1y2 y3. Nos ocuparemos expecialmente de ecuaciones diferenciales de orden n que llamaremos lineales y que a continuacin describimos. Por una ecuacin diferencial lineal de orden n entenderemos una expresin de la forma: an(x)yn + an1(x)yn1) + ... + a1(x)y' + a0(x)y = b(x), donde para 0 i<n , ai y b son funciones reales de variable real denidas en un intervalo de la recta real I. Siempre que an(x) sea diferente de cero, podemos escribir la ecuacin como yn + pn1(x)yn1 + ... + p1(x)y' + p0(x)y = q(x), donde pi(x)=ai(x)/an(x), 0 i<n,yq(x)=b(x)/an(x). Por ejemplo, las ecuaciones y''' + x2y' = x, y'' +2y' + y = ex, y6 7exy3 + x2y'' + (logx)y = 0 son ecuaciones lineales de rdenes tres, dos y seis, respectivamente. Como hemos visto anteriormente, una ecuacin de orden n puede escribirse como el sistema

y'1 = y2, y'2 = y3, ... y'n1 = yn, y'n = q(x)[pn1(x)yn + ... + p1(x)y2 + p0(x)y1], que en forma matricial se escribe como y0 = A(x)y + b(x) donde
0 0 1 0 0 1 0 0 1 ... p3(x) ... ... 0 0

0 0 0 ... ... ... p0(x) p1(x) p2(x)

... 0 ... ... ... pn1(x)

y b(x) = (0 ,0,...,0,q(x))t. Diremos entonces que la ecuacin es homognea o no homognea segn se sea b(x) nulo o no, es decir, si q(x)=0 para todo x. Adems, la ecuacin se dir de coecientes constantes cuando A(x) sea constante, es decir, cuando pi(x)=pi R para todo 0 i<n . Tanto los Teoremas admiten la siguiente lectura en trminos de ecuaciones lineales. A la vista de que cualquier ecuacin lineal puede escribirse como un sistema aadiendo las derivadas como funciones, cualquier solucin del sistema y es de la forma (y,y',...,yn1), donde y : I R R es una funcin sucientemente derivable. En esta lnea, destacamos entonces que el wronskiano puede escribirse como W[y1,y2,...,yn](x) = W[y1,y2,...,yn](x) : = |y1(x);y2(x);...;yn(x)| Teorema: El conjunto de soluciones de la ecuacin homognea yn + pn1(x)yn1 + ... + p1(x)y0 + p0(x)y =0 tiene estructura de espacio vectorial de dimensin n sobre R, esto es, cualquier solucin y de la misma es de la forma y = c1 y1 + c2 y2 + ... + cn yn donde c1, c2, ... ,cn R e y1, y2, ... ,yn son soluciones linealmente independientes del mismo. Sean y1,y2,...,yn : I RRn soluciones de la ecuacin homognea yn + pn1(x)yn1) + ... + p1(x)y' + p0(x)y =0 . Son equivalentes: (a) y1,y2,...,yn son linealmente independientes. (b) W[y1,y2,...,yn](x) 6=0 para todo x I. (c) Existe x0 I tal que W[y1,y2,...,yn](x0) 6=0 .

El conjunto de soluciones de la ecuacin yn + pn1(x)yn1 + ... + p1(x)y0 + p0(x)y = q(x) es de la forma y = c1 y1 + c2 y2 + ... + cn yn + yp, donde c1,c2,...,cn R, y1,y2,...,yn son soluciones linealmente independientes del problema homogneo e yp es una solucin particular del problema no homogneo.

Recordamos que una ecuacion lineal es de la forma: an(x)yn + an1(x)yn1 + ... + a1(x)y0 + a0(x)y = b(x), y suele escribirse de la forma: yn + pn1(x)yn1 + ... + p1(x)y0 + p0(x)y = q(x)....................(1) donde pi(x)=ai(x)/an(x) para i =0 ,1,...,n1 y q(x)=b(x)/an(x). La ecuacin (1) se dice homognea si q(x)=0 para todo x (a,b). En caso contrario sta se dice no homognea. Un ejemplo de ecuacin homognea es y''' + xy'' + x2y =0 , mientras que sera no homognea la ecuacin y''' + xy'' + x2y = logx. Una solucin para ecuaciones homogneas seria: y = c1y1 + c2y2 + ... + cnyn + yp, Ahora realicemos algunos ejemplos 1)- yiv + 8y'' + y = 0 Solucin: (D4 + 8D2 + 1)y = 0 >> (D2+4)2y = 0 tenemos: (r2+4)2=0 >> r2 + 4=0 >> r1,2,3,4 = i(2) yh:(c1x+c2)cos2x + (c3x+c4)sen2x

2)- (D+1)(D2+1)(D+5) = 0 Solucin: como raices tendriamos: r1 = -1, r2 = i(1), r3 = -5 c1e-1 + c2cosx + c3senx + c4e-5 En otro caso, si tenemos: r2 - 2r + 4 = 0 seria de la forma luego de completar cuadrados, (r - 1)2 = -3 r = 1 i (c1cos + c2sen ex

Ejercicios propuestos::: a)- y'' + 4y' +7y = 0 b)- y''' + 4'' = 0 c)- y''' + 6y = 0 d)- yvi + y = 0

Tambin para el clculo de las ecuaciones lineales no homogneas podemos aplicamos el mtodo de los operadores, es un mtodo practico y menos tedioso, con una respuesta ms directa, de lo cual podremos obtener una solucin particular la cual sumara para una solucin general.

Aplicado el mtodo Wronskiano:

W[ y1, y2, y3 ] =

Ejemplos prcticos: 1)- y1 = senkx , y2 = coskx

W[ y1, y2] = = -sen2kx - kcos2kx = -k(sen2kx + cos2kx) = -k 0 y1 y y2 son l.i. 2)- y1=1, y2= sen2x, y3 = (senx - cosx)2 = 1 - sen2x

W[ y1, y2, y3 ] =

= 1(8sen2xcos2x - 8sen2xcos2x) = 0

Ejercicios propuestos::: a)- y1=ex , y2 = e-x b)- y1 = xe , y2 =ex c)- y1 = 1 , y2 = sen2x d) y1 = sen2x , y2 = cos2x

Metodo para hallar la solucin particular: Una de las formas mas eficientes es usando el mtodo de los operadores, en este caso desarrollaremos con el mtodo de los operadores. Si P(D)yp = Q(x) yp = Algunos ejemplos: a) b) c) d) 5x 2y = 3 5D[x] + 2y = 0 3x + y = 0 3x + D[y] = 0 x + x + y = 0 (D2 + D)[x] + D2[y] = 0 x + y + y = 0 D3[x] + (D2 + 1)[y] = 0 Q(x) .. polinomio caracterstico

Conociendo mas sobre la teoria Wronskiana

Hoene-Wroski proceda de una familia checa establecida en Wolsztyn, en el oeste de Polonia. En 1794 sirvi en el levantamiento de Kociuszko como teniente segundo de artillera, fue hecho prisionero, y permaneci hasta 1797 en el ejrcito ruso. Reasignado con el grado de teniente coronel, estudi brevemente en Alemania y en 1800 se alist en la Legin Polaca en Marsella. Ah comenz su trabajo cientfico y acadmico y concibi la idea de un gran sistema filosfico. Diez aos despus de desplaz a Pars y vivi ah hasta su muerte, trabajando infatigablemente hasta las ltimas y ms difciles circunstancias materiales. Escribi exclusivamente en francs, deseoso que sus ideas acerca de la inmortalidad sean accesibles para todos. Afirm: "A travs de Francia para Polonia". Public ms de un millar de trabajos, y dej mucho ms en manuscritos. Cuando mora a sus setenta y cinco aos de vida exclam: "Dios Todopoderoso... hay aun mucho ms que quisiera decir!". En ciencias, Hoene-Wroski fij para l mismo sus tareas mximas: la completa reforma de la Filosofa, Matemtica, Astronoma y Tecnologa. No slo elabor un sistema filosfico sino tambin aplicaciones para la Poltica, Historia, Economa, Leyes, Psicologa, Msica y Pedagoga. Fue su aspiracin el reformar el conocimiento humano de forma "absoluta, tanto como ltima". En 1803 Wroski incursion en la observacin astronmica en Marsella, y comenz a desarrollar una enorme y compleja teora de la estructura y origen del universo. Durante este periodo, entabl correspondencia con casi todos los mejores cientficos y matemticos de su poca, y fue bien conocido y renombrado entre la comunidad astronmica. En 1810 public los resultados de su investigacin en un Tomo extenso, el cual recomend como una nueva base para toda la ciencia y matemtica. Sus teoras fueron totalmente pitagricas, teniendo en los nmeros y sus propiedades el apuntalamiento fundamental de la esencia de todo el universo. Sus afirmaciones

encontraron poca aceptacin, y sus investigaciones y teoras fueron generalmente desechadas como basura grandiosa. Sus correspondencias iniciales con las grandes figuras consiguieron que sus escritos ganaran ms atencin que una teora chiflada tpica. Incluso, fue merecedora de una revisin seria por parte del gran matemtico Joseph Louis Lagrange (quien la calific de manera sumamente desfavorable). Continuando la controversia, fue forzado a abandonar el observatorio. Inmediatamente centr su atencin hacia la aplicacin de la filosofa en la matemtica (sus crticos arremetieron diciendo que esto significaba prescindir del rigor matemtico en favor de las generalidades). En 1812 public un escrito pretendiendo demostrar que cada ecuacin tiene una solucin algebraica, contradiciendo directamente los resultados que acababa de publicar Paolo Ruffini; sin embargo, Ruffini tena razn. Poco despus fijo su mirada en bsquedas dispares y enormemente inexitosas. Desarroll un diseo fabuloso para vehculos oruga pensando en reemplazar el transporte ferroviario, pero no logr persuadir a nadie para darle una atencin seria a su diseo. En 1819 viaj a Inglaterra para tratar de conseguir una beca de la Oficina de longitud (un cuerpo gubernamental encargado de resolver la longitud del mar) para construir un dispositivo para determinar la longitud del mar. Despus de las dificultades iniciales, se le dio una oportunidad de dirigir la Oficina, pero su grandiosa direccin, en longitud, contena mucha filosofa y generalidades pero ningn plan especfico para un aparato funcional y as la Oficina le retir el apoyo. Permaneci muchos aos en Inglaterra, en 1821 public en Londres un texto introductorio a las matemticas, con el cual resolvi su situacin financiera. En 1822 regres a Francia y nuevamente incursion en ms bsquedas bajo una especie de combinacin de matemtica y fantasa, completamente pobre y desprestigiado ante la sociedad intelectual. Al lado de su continua obsesin pitagrica, gast mucho tiempo trabajando en diversas tentativas notoriamente intiles, incluyendo sus intentos por construir una Mquina de movimiento perpetuo, demostrar la Cuadratura del crculo y construir una mquina para predecir el futuro (la cual fue nombrada Prognometro). En 1852, poco antes de su muerte, logr ganar audiencia para sus ideas: El Ocultista Eliphas Lvi conoci a Wrooski y qued totalmente impresionado e influenciado por su trabajo y dedicacin. Wrooski muri en Neuilly-sur-Seine, Francia, en los suburbios de Paris