Está en la página 1de 29

INGENIERA ELECTROMECNICA

MATERIA: Ecuaciones Diferenciales EXPOSICIN: Sistemas lineales en forma normal

ALUMNOS: Armando Garza Olvera Horus Manuel Salazar Manzano Aurelio Snchez Vzquez Ral Hernndez Hernndez Roberto Lara Carmona Gumaro Quintos Escovedo

PROFESOR: Alejandro Snchez Vzquez FECHA: 13 de Mayo

INTRODUCCIN
En

esta exposicin daremos a conocer el anlisis de sistemas de ecuaciones diferenciales en forma normal. Cuando las ecuaciones del sistema son lineales, el lgebra de matrices proporciona una notacin compacta para expresar el sistema. La misma notacin sugiere nuevas formas de caracterizar las propiedades de la solucin, as como novedosas y eficaces tcnicas para obtener soluciones explcitas.

Un

sistema de n ecuaciones diferenciales lineales est en forma normal si se expresa como X`(t) = A(t) x(t) + f(t)

Como

en el caso de una ecuacin diferencial lineal escalar, un sistema es homogneo si f(t) = 0

En

muchos casos, las demostraciones para ecuaciones diferenciales lineales escalares se pueden extender a sistemas normales con las modificaciones adecuadas. Recprocamente, los resultados para sistemas normales se aplican a las ecuaciones lineales escalares, cualquier ecuacin lineal escalar se puede expresar como un sistema normal. ste es el caso con los teoremas de existencia y unicidad para ecuaciones diferenciales lineales.

Teorema . Suponga que A(t) y f(t) son continuas en un intervalo abierto I que contiene al punto 0 . Entonces, para cualquier eleccin del vector 0 = col(1,0 , . . . , ,0 ), existe una nica solucin x(t) en todo el intervalo I del problema con valores iniciales

DEPENDENCIA LINEAL DE FUNCIONES VECTORIALES

Definicin.

Las funciones vectoriales 1,, son linealmente dependientes en un intervalo si existen constantes 1,, , no todas iguales a cero, tales que 1 1 + + = 0 para toda en . Si los vectores no son linealmente dependientes, entonces son linealmente independientes en .

EJEMPLO
Mostrar

que las funciones vectoriales 1 = 2 , 0, 2 , 2 = 2 , 2 , 2 y 3 = , 2 , , son linealmente independientes en , . SOLUCIN. Para demostrar la independencia, suponemos que 1 , 2 y 3 son constantes para las cuales 1 1 + 2 2 + 3 3 = 0

cumple para toda en en (, ) y mostraremos que esto obliga a que 1 = 2 = 3 = 0. 1 1 1 1 0 + 2 1 + 3 2 = 0 1 1 1 Que es equivalente al sistema de ecuaciones lineales 1 + 2 + 3 = 0 2 + 23 = 0 1 2 + 3 = 0
Se

Podemos

resolver la ultima ecuacin o verificar que el determinante de sus coeficientes es distinto de cero para concluir que esta ultima ecuacin solo tiene la solucin trivial de cero 1 = 2 = 3 = 0. Por lo tanto, las funciones vectoriales 1 , 2 y 3 son linealmente independientes en (, ) (de hecho cualquier intervalo que tenga a = 0).

El Wronskiano es una funcin llamada as por el matemtico polaco Jzef Hoene-Wronski, lo cual especialmente importante en lo que es el estudio de las ecuaciones diferenciales ordinarias. Por lo tanto se dice que: Sean f1, . . . , fn n funciones diferenciables (n veces. La funcin: 1)

.(1) es el Wronskiano de f1, . . . , fn.

Aplicando el teorema de representacin de soluciones de ecuaciones diferenciales lineales homogneas tenemos que: Sean y1, . . . , yn n soluciones en (a, b) de

(2) donde p1, . . . , pn son continuas en (a, b). Si en cierto punto x0 en (a, b) estas soluciones satisfacen

.(3) entonces toda solucin de (2) en (a, b) se puede expresar en la forma

(4) donde C1, . . . , Cn son constantes.

La combinacin lineal de y1, . . . , yn en (4), con constantes arbitrarias C1, . . . , Cn, se conoce como solucin general de (2). En lgebra lineal, un conjunto de m vectores columna {v1, v2, . . . ,vm}, cada uno con m componentes, es linealmente dependiente si y slo si uno de ellos puede expresarse como una combinacin lineal de los dems. Un teorema bsico establece entonces que si un determinante es igual a cero, sus vectores columna son linealmente dependientes y recprocamente. As, si un Wronskiano de soluciones a (2) se anula en un punto 0 , una de sus columnas (digamos que la ltima, pues siempre podemos renumerar) es igual a una combinacin lineal de las dems:

(5)

Ahora, consideremos las dos funciones yn(x) y [d1y1(x) d2y2(x) dn1yn1(x)]. Ambas son soluciones de (2) y podemos interpretar (5) como el hecho de que satisfacen las mismas condiciones iniciales en x 0 . Por el teorema de unicidad, son la misma funcin:

.(6)
para toda x en I. Por tanto, la ltima columna del Wronskiano W[y1, y2, . . . , yn] siempre es combinacin lineal de las dems columnas, ya que el Wronskiano se anula en todo punto. En pocas palabras el Wronskiano de n soluciones a la E.H (2) es idnticamente nulo, o nunca se anula, en el intervalo (a, b). Adems, se muestra que en el primer caso, (6) es vlida en todo (a, b).

El Wronskiano puede usarse para determinar si un

conjunto de funciones es linealmente independiente en un intervalo dado: 1.- Si el Wronskiano es distinto de cero en algn punto de un intervalo, entonces las funciones asociadas son linealmente independientes en el intervalo. 2.- Si un conjunto de funciones es linealmente dependiente en un intervalo, esto implica obligatoriamente que el Wronskiano correspondiente es uniformemente cero en el intervalo, pero lo segundo no implica lo primero. Se muestra a continuacin unos ejemplos:

Ejemplos: 1.- Considere las funciones 2 , y 1 definidas para un nmero real . Obtenga el Wronskiano:

Vemos que no es cero uniforme, as que estas funciones deben ser linealmente independientes. 2.- Considere las funciones 2 2 + 3, 2 y 1. Estas funciones son claramente dependientes, ya que 2 2 + 3 = 2 2 + 3(1). As, el Wronskiano debe ser cero, siguiendo un pequeo clculo:

Representacin de soluciones de caso homogneo.

Representacin de soluciones de caso homogneo.


= + () El sistema es homogneo cuando: = 0 Y son coeficientes constantes, cuando la matriz () no depende del tiempo.

De

lo dicho anteriormente, consideremos el siguiente teorema.

Un

conjunto de soluciones 1 , , 2 que es linealmente independiente en I o en forma equivalente, cuyo wronskiano no se anula en I, es un conjunto fundamental de soluciones para (1) para I. La combinacin lineal en (2), escrita con constantes arbitrarias, se conoce como una solucin general de (1)

Si

consideramos los vectores de un congunto fundamental de soluciones y formamos la columnas de una matriz X(t) de la manera siguiente,

entonces la matriz X(t) es una matriz fundamental para (1). Podemos usarla para expresarla solucin general (2) como = Donde = 1 , , es un vector constante arbitrario. Como det = 1 , , 2 nunca se anula en I.

Ejemplo.
Verificar

que el conjunto

Es un conjunto fundamental de soluciones para el sistema (3)

en el intervalo , y hallar una matriz fundamental para (3). Determinar adems una solucin general para (3).

Al suministrar el primer vector del conjunto S en () tenemos

Solucin:

Por lo tanto, este vector satisface el sistema (3) para toda t. Podemos usar clculos similares para verificar que los otros vectores en S tambin son soluciones de (3) en , . Para mostrar que S es un conjunto fundamental de soluciones, basta observar que el wronskiano

nunca se anula.

REPRESENTACION DE SOLUCIONES CASO NO HOMOGENEO.

Sea

una solucin particular de la ecuacin no homognea tenemos;


En

+ 1

+ + ()() = ()

el intervalo , con 1 ,2 , . . . , continuas en , y sean*1 , , + un conjunto fundamental de soluciones de la ecuacin homognea correspondiente a:

+ 1

+ + ()() = 0

Entonces

toda solucin de una ecuacin no homognea en el intervalo , lo podemos expresar de la siguiente manera: = + 1 1 () + + ()

() La

combinacin lineal de , 1 , , escrita en la ecuacin anterior con las constantes arbitrarias 1 , . . . , , se conoce como una solucin general de la ecuacin no homognea.

La combinacin lineal de , 1 , , escrita en la ecuacin anterior con las constantes arbitrarias 1 , . . . , , se conoce como una solucin general de la ecuacin no homognea . La ecuacin no homognea la podemos generalizar de una manera ms sencilla, si L denota el operador que aparece al lado izquierdo de la igualdad y si L 1 = 1 2 = 2 () entonces cualquiera solucin de = 1 1 + 2 2 se puede expresar de la siguiente manera: () = 1 1 + 2 2 + 1 1 + 1 1 + . . . + () Para una eleccin adecuada de constantes 1 , 2 , . . . ,