UNIVERSIDAD NACIONAL DE INGENIERÍA Facultad de Ingeniería Civil Unidad de Posgrado Matemática aplicada โช Docente: Felipe Torres Estrella โช Ciclo Académico: 2026 - 1 Sistema de ecuaciones diferenciales SUBTEMAS: 2.1.Transformación de una ecuación diferencial de orden a un sistema de n ecuaciones diferenciales de primer orden 2.2 Sistemas lineales homogéneos 2.3 Formas canónicas de Jordan. Matriz exponencial Sesión 2: SISTEMAS DE ECUACIONES DIFERENCIALES Objetivo: Al finalizar la sesión el estudiante transforma una ecuación diferencial de orden n a un sistema de n ecuaciones diferenciales. Además conoce la teoría para resolver un sistema lineal homogéneo de primer orden. Además el estudiante debe conocer la forma de determinar la forma canónica de Jordan de una matriz y trabaja con la exponencial de una matriz. • https://www.youtube.com/watch?app=desktop&v=IOd1IRwG5zM TRANSFORMACION DE UNA ECUACION DIFERENCIAL LINEAL DE ORDEN n HOMOGENEO A UN SISTEMA DE ECUACIONES DIFERENCIALES Sea la ecuación diferencial de orden ๐ ๐๐ ๐ก ๐ฆ ๐ + ๐๐−1 ๐ก ๐ฆ ๐−1 + โฏ + ๐1 ๐ก ๐ฆ ′ + ๐0 ๐ก ๐ฆ = 0 Para transformar esta ecuación en un sistema de ecuaciones diferenciales equivalente definimos las primeras (๐ − 1) derivadas de ๐ฆ (incluyendo la propia ๐ฆ, la derivada 0-ésima) como nuevas incógnitas: ๐ฅ1 = ๐ฆ(๐ก) ๐ฅ2 = ๐ฆ′(๐ก) โฎ ๐ฅ๐ = ๐ฆ (๐−1) (๐ก) Entonces el sistema consta de la identificación de ๐ฅ๐ (๐ก) como la derivada de ๐ฅ๐−1 (๐ก), junto con la ecuación diferencial original expresada en estas variables (y dividida entre el coeficiente principal ๐๐ (๐ก)): ๐ฅ1′ = ๐ฅ2 ๐ฅ2′ = ๐ฅ3 โฎ ′ ๐ฅ๐−1 = ๐ฅ๐ ๐0 ๐ก ๐1 ๐ก ๐๐−1 (๐ก) ๐ฅ๐ ′ = − ๐ฅ1 − ๐ฅ2 − โฏ − ๐ฅ ๐๐ ๐ก ๐๐ ๐ก ๐๐ (๐ก) ๐ Para sistemas de dos o mas ecuaciones diferenciales de orden superior, se aplica el mismo procedimiento a cada función incógnita en orden. Ejemplos 1. La ecuación diferencial para el oscilador masa-resorte no amortiguado sin forzamiento es ๐๐ฆ ′′ + ๐๐ฆ = 0. Expresar esta ecuación diferencial como un sistema equivalente de ecuaciones de primer orden en forma normal expresada en notación matricial. Respuesta ๐ฆ′ 0 = ๐ฃ −๐/๐ 1 ๐ฆ 0 ๐ฃ 2. Sea la ecuación diferencial ๐ฆ ′′′ − 6๐ฆ ′′ + 11๐ฆ ′ − 6๐ฆ = 0 como un sistema de ecuaciones diferenciales de primer orden equivalente ๐ฅ1 ′ 0 Respuesta ๐ฅ2 ′ = 0 6 ๐ฅ3 ′ 1 0 −11 0 ๐ฅ1 1 ๐ฅ2 6 ๐ฅ3 3. Un oscilador masa-resorte queda descrito mediante el sistema de segundo orden ๐2๐ฅ 2 2 + 6๐ฅ − 2๐ฆ = 0 ๐๐ก ๐2๐ฆ + 2๐ฆ − 2๐ฅ = 0 ๐๐ก 2 Escribirla en la notación matricial ๐ฅ1 ′ 0 1 0 0 ๐ฅ Respuesta ๐ฅ2 = −3 0 1 0 0 0 0 1 3 ๐ฅ4 2 0 −2 0 ๐ฅ1 ๐ฅ2 ๐ฅ3 ๐ฅ4 SISTEMAS LINEALES HOMOGÉNEOS Describimos a continuación el modo de resolver un sistema homogéneo de primer orden con coeficientes constantes, ๐ ′ = ๐ด๐. Se calculan la forma canónica de Jordan ๐ฝ de A y la matriz de paso ๐ tales que ๐−1 ๐ด๐ = ๐ฝ. Se tiene ๐ด = ๐ฆ1 . ๐๐ฝ๐−1 . El siguiente paso es hacer el cambio de variable ๐ = ๐๐ con ๐ = . y sustituir en la ecuación. . ๐ฆ๐ Se tiene ๐๐ ′ = ๐ด๐๐, esto es, ๐ ′ = ๐−1 ๐ด๐๐ con lo que la resolución del sistema homogéneo ๐ ′ = ๐ด๐ queda reducida a la resolución del nuevo y más simple sistema ๐ ′ = ๐ฝ๐ Una vez resuelto éste último, se deshace el cambio y se tiene la solución del sistema homogéneo original. Desarrollaremos todo este proceso para el caso de los sistemas homogéneos planos (dos ecuaciones). Para sistemas con más ecuaciones el procedimiento es análogo. Sistemas lineales homogéneos planos Sea ๐ ′ = ๐ด๐ un sistema lineal homogéneo de coeficientes constantes y plano. Caso 1. Si la matriz A∈ ๐2 (๐ ) es diagonalizable con autovalores reales, la forma canónica de Jordan de A es ๏ฌ1 0 0 ๏ฌ2 ๐ฆ1′ ๏ฌ1 = 0 ๐ฆ2′ 0 ๏ฌ2 ๐ฝ= Se hace el cambio ๐ = ๐๐ y se resuelve el sistema ๐ ′ = ๐ฝ๐ ๐ฆ1 ๐ฆ2 Resulta ๐ฆ1 ๐ก = ๐ถ1 ๐ ๏ฌ1๐ก , ๐ฆ2 ๐ก = ๐ถ2 ๐ ๏ฌ2 ๐ก . Escrito en forma matricial, ๏ฌ1 ๐ก ๏ฌ1 ๐ก 0 ๐ฆ1 ๐ก ๐ ๐ ๐= = ๐ถ1 + ๐ถ2 ๏ฌ ๐ก = ๐ฆ2 (๐ก) ๐ 2 0 0 Al deshacer el cambio ๐ = ๐๐ , se tiene ๏ฌ1 ๐ก ๐ถ1 ๐ฅ1 ๐ก ๐ 0 ๐= =๐ ๐ถ2 ๐ฅ2 (๐ก) 0 ๐ ๏ฌ2 ๐ก ๐11 ๐12 = ๐ถ1 ๐ ๏ฌ1 ๐ก ๐ + ๐ถ2 ๐ ๏ฌ2 ๐ก ๐ 21 22 0 ๐ ๏ฌ2 ๐ก ๐ถ1 ๐ถ2 ๐11 ๐12 Siendo ๐ y ๐ las columnas de ๐, esto es, las autovectores asociados a los autovalores ๏ฌ1 y ๏ฌ2 respectivamente. 21 22 Obsérvese que la matriz ๏ฌ1 ๐ก ๐ Φ ๐ก =๐ 0 0 ๐ ๏ฌ2 ๐ก es una matriz fundamental. Caso 2. Si la matriz A no es diagonalizable, con un autovalor doble ๏ฌ ∈ ๐ , entonces ๐ฝ= ๐ 1 0 ๐ Se considera ๐ = ๐๐ y se resuelve el sistema ๐ ′ = ๐ฝ๐. Queda ๐ฆ2 ๐ก = ๐2 ๐ ๏ฌ ๐ก Al sustituir en ๐ฆ1′ = ๐ฆ1 + ๐ฆ2 se tiene ๐ฆ1′ = ๐ฆ1 + ๐ถ2 ๐ ๏ฌ ๐ก . Esta ecuación, para cada valor de ๐ถ2 fijo, es lineal de primer orden. Al resolver, da lugar a ๐ฆ1 (๐ก) = ๐1 ๐ ๏ฌ ๐ก + ๐2 ๐ก๐ ๏ฌ ๐ก Por tanto, escrito en forma matricial, ๐= ๐ฆ1 ๐ก = ๐1 ๐ฆ2 (๐ก) ๐ ๏ฌ๐ก 0 + ๐2 ๐ก๐ ๏ฌ๐ก = ๐ ๏ฌ๐ก ๐ ๏ฌ๐ก 0 ๐ก๐ ๏ฌ๐ก ๐ ๏ฌ๐ก ๐1 ๐2 Se deshace el cambio ๐ = ๐๐ y queda ๏ฌ๐ก ๐ ๐=๐ 0 ๏ฌ๐ก ๐ La matriz Φ ๐ก = ๐ 0 ๐ก๐ ๏ฌ๐ก ๐ ๏ฌ๐ก ๐ก๐ ๏ฌ๐ก ๐ ๏ฌ๐ก ๐1 ๏ฌ๐ก = ๐ ๐2 es una matriz fundamental. ๐1 + ๐2 ๐ก ๐11 ๐12 + ๐ 2 ๐ ๐21 22 caso 3. Si la matriz tiene dos autovalores complejos conjugados ๏ฌ = ๐ + ๐๐, ๏ฌเดค = ๐ − ๐๐, la forma canónica de Jordan es la matriz ๐ฝ= La matriz de paso ๐ = ๐1 ๐ 0 ∈ ๐2 (โ) 0 ๐าง ๐2 ∈ ๐2 (โ) tiene por columnas ๐1 , ๐2 = ๐1 a los autovectores (complejos conjugados) เดค asociados a los autovalores ๏ฌ ๐ฆ ๏ฌ. Se hace el cambio ๐ = ๐๐ y se resuelve el sistema ๐ ′ = ๐ฝ๐ Se obtiene ๐ฆ1 (๐ก)= ๐1 ๐ ๐+๐๐ ๐ก , ๐ฆ2 (๐ก) = ๐2 ๐ ๐−๐๐ ๐ก con ๐1 , ๐2 ∈ โ constantes arbitrarias. Escrito en forma matricial, ๐+๐๐ ๐ก ๐ฆ1 ๐ก ๐ ๐= = ๐ฆ2 (๐ก) 0 0 ๐ ๐−๐๐ ๐ก ๐1 ๐2 Deshaciendo el cambio, obtenemos ๐+๐๐ ๐ก ๐ฅ1 ๐ก ๐ ๐= =๐ ๐ฅ2 (๐ก) 0 0 ๐ ๐−๐๐ ๐ก ๐1 ๐2 = ๐1 ๐ (๐+๐๐)๐ก ๐1 + ๐2 ๐ (๐−๐๐)๐ก ๐1 que es la solución general compleja del sistema ๐ ′ = ๐ด๐. Nosotros deseamos encontrar la solución general real (las funciones ๐ฅ1 ๐ก , ๐ฅ2 (๐ก)) deben será reales. Para obtenerla, basta encontrar que si ๐(๐ก) es solución compleja del sistema ๐11 ๐ข + ๐๐ฃ1 ๐ ′ = ๐ด๐, entonces ๐ ๐(๐ ๐ก ) e ๐ผ๐(๐ ๐ก ) son soluciones reales de ๐ ′ = ๐ด๐. Si ๐1 = ๐ = 1 , se tiene que ๐ข2 + ๐๐ฃ2 21 ๐ข1 ๐ฃ1 ๐ ๐ ๐1 = ๐ข y ๐ผ๐ ๐1 = ๐ฃ . Consideremos la solución compleja 2 2 ๐ ๐+๐๐๐ก ๐1 = ๐ ๐๐ก cos ๐๐ก + ๐๐ ๐๐ ๐๐ก = ๐ ๐๐ก cos ๐๐ก ๐ข1 ๐ฃ1 ๐ข2 − ๐ ๐๐(๐๐ก) ๐ฃ2 + ๐๐ ๐๐ก ๐ข1 ๐ฃ1 + ๐ ๐ข2 ๐ฃ2 sen ๐๐ก ๐ข1 ๐ข2 + ๐๐๐ ๐๐ก ๐ฃ1 ๐ฃ2 Por lo dicho arriba, tanto ๐1 ๐ก = ๐ ๐๐ก cos ๐๐ก ๐ข1 ๐ฃ1 − ๐ ๐๐(๐๐ก) ๐ข2 ๐ฃ2 ๐2 ๐ก = ๐ ๐๐ก sen ๐๐ก ๐ข1 ๐ข2 + ๐๐๐ ๐๐ก Como ๐ฃ1 ๐ฃ2 Son soluciones reales (e independientes) del sistema ๐ ′ = ๐ด๐, de modo que la solución general será ๐ข1 ๐ = ๐1 ๐1 + ๐2 ๐2 = ๐ข 2 ๐ฃ1 ๐ฃ2 ๐ ๐๐ก cos ๐๐ก −๐ ๐๐ก sen ๐๐ก ๐ ๐๐ก sen ๐๐ก ๐ ๐๐ก cos ๐๐ก Obsérvese que la matriz ๐ข1 ๐= ๐ข 2 ๐ฃ1 1 1 ๐ฃ2 = ๐ ๐(๐ ) ๐ผ๐(๐ ) ๐1 ๐2 es la matriz de paso tal que ๐−1 ๐ด๐ = ๐ฝ′, siendo ๐ฝ′ = ๐ −๐ ๐ la forma canónica real de ๐ด. ๐ En cualquiera de los tres casos, si los dos autovalores de la matriz ๐ด son tales que ๐ ๐ ๐ < 0, se tiene que lim ๐ฅ๐ (๐ก) = 0, ๐ = 1,2 t→∞ para cualquier solución ๐ = ๐ฅ1 (๐ก) del sistema ๐ ′ = ๐ด๐. ๐ฅ2 (๐ก) Observación 1. Considere una ecuación lineal de segundo orden homogénea de coeficientes constantes ๐ฅ ′′ + ๐1 ๐ฅ ′ + ๐0 ๐ฅ = 0, ๐1 , ๐2 ∈ โ. Mediante el cambio de variables ๐ฅ = ๐ฅ1 แ๐ฅ ′ = ๐ฅ 2 se puede reducir el estudio de las soluciones de la ecuación al estudio del sistema plano equivalente ๐ฅ1′ แ ′ ๐ฅ2 El polinomio característico de ๐ด = = ๐ฅ2 ๐ = −๐2 ๐ฅ1 − ๐1 ๐ฅ2 0 −๐2 ๐ฅ1′ 0 = −๐2 ๐ฅ2′ 1 −๐1 ๐ฅ1 ๐ฅ2 1 es ๐ ๐ = ๐2 + ๐1 ๐ + ๐2 . Obsérvese la relación existente entre el −๐1 polinomio ๐ ๐ y la ecuación de segundo orden. Utilizando lo hecho en los sistemas planos y teniendo en cuenta que sólo nos interesa ๐ฅ1 ๐ก , se concluye que: • Caso 1. Si los dos autovalores ๐1 , ๐2 son reales (y distintos, ya que de ser iguales la matriz ๐ด sería diagonal), entonces ๐ฅ ๐ก = ๐ฅ1 ๐ก = ๐1 ๐ ๐1๐ก + ๐2 ๐ ๐2๐ก , siendo ๐1 y ๐2 constantes arbitrarias. • Caso 2. Si hay un autovalor doble, ๐, entonces ๐ฅ ๐ก = ๐ฅ1 ๐ก = ๐1 ๐ ๐๐ก + ๐2 ๐ก๐ ๐๐ก , siendo ๐1 y ๐2 constantes arbitrarias. • Caso 3. Si los autovalores son complejos conjugados, entonces ๐ฅ ๐ก = ๐ฅ1 ๐ก = ๐1 ๐ ๐๐ก cos(๐๐ก) + ๐2 ๐ ๐๐ก sen ๐๐ก , siendo ๐1 y ๐2 constantes arbitrarias. FORMA CANONICA DE JORDAN Teorema Sea ๐ด ∈ ๐๐ (โ) con un número máximo m de vectores propios linealmente independientes. Entonces existen ๐ ∈ ๐๐ (โ) invertible y ๐ฝ ∈ ๐๐ (โ) diagonal por bloques tales que ๐ด = ๐๐ฝ๐−1 Siendo ๐ฝ una matriz que satisface lo siguiente ๐ ๐ฝ tiene ๐ bloques, es decir, tantos bloques como el número máximo de vectores propios linealmente independientes de ๐ด. ๐ฝ1 0 0 ๐ฝ2 ๐ฝ= โฎ โฏ 0 0 โฏ 0 โฏ 0 โฑ โฎ โฏ ๐ฝ๐ (b) Cada bloque ๐ฝ๐ es una matriz triangular superior con único valor propio ๐๐ repetido a lo largo de su diagonal principal y correspondiente a uno de los vectores propios asociados a ese valor propio. Sobre la diagonal principal tiene otra diagonal compuesta por unos si ๐ฝ๐ es de orden mayor que 1, es decir, ๐๐ 1 0 0 ๐๐ 1 ๐ฝ๐ = โฎ 0 โฑ 0 โฎ 0 0 โฏ 0 โฏ โฏ โฑ โฑ 0 0 0 โฎ โฎ ๐๐ (c) El mismo valor propio ๐๐ puede aparecer en varios bloques si tiene asociados a varios vectores propios linealmente independientes A la matriz ๐ฝ así definida se le denomina la forma canónica de Jordan de la matriz ๐ด. Ejemplo 1. El polinomio característico de una matriz ๐ด es ๐๐ด ๐ = ๐ − 2 3 ๐ − 3 Las posibles formas canónicas de Jordan de ๐ด son 2 ๐ฝ= 0 0 0 0 2 0 0 0 0 2 0 0 0 ๐ ๐ฝ= 0 3 2 0 0 0 1 2 0 0 0 0 2 0 0 0 0 3 2 ๐ ๐ฝ= 0 0 0 1 2 0 0 0 1 2 0 0 0 0 3 O cualquier matriz obtenida reacomodando los bloques de Jordan en ๐ฝ. La primera matriz corresponde a una multiplicidad geométrica de 3 (para ๐ = 3); la segunda corresponde a una multiplicidad geométrica de 2, y la tercera a una multiplicidad geométrica de 1. Ejemplo 2. Determine la forma canónica de Jordan de la matriz ๐ด= 6 −4 1 10 Determine la matriz ๐ tal que ๐ด = ๐๐ฝ๐−1 Ejemplo 3. Determine una forma canónica de Jordan de la matriz −3 3 −2 ๐ด = −7 6 −3 1 −1 2 Determine una matriz ๐ tal que ๐ด = ๐๐ฝ๐−1 LA MATRIZ ๐๐จ Sea ๐ด una matriz de orden ๐๐ฅ๐ con elementos reales (o complejos). Entonces ๐ ๐ด es una matriz de orden ๐๐ฅ๐ definida por ∞ 2 3 4 ๐ ๐ด ๐ด ๐ด ๐ด ๐๐ด = ๐ผ + ๐ด + + + +โฏ= เท 2! 3! 4! ๐! ๐=0 Observación. No es difícil demostrar que la serie de matrices de esta ecuación converge para toda matriz. Se darán algunas indicaciones. Primero definimos ๐ด ๐ como la suma los valores absolutos de las componentes en la fila ๐ de ๐ด. Después se define la norma de ๐ด (norma de la máxima suma por filas de ๐ด) denotada por ๐ด , como ๐ด = max ๐ด ๐ 1≤๐≤๐ Como ๐ด+๐ต ≤ ๐ด + ๐ต Se puede demostrar que ๐ด๐ต ≤ ๐ด ๐ต Usando estas dos ultima inecuaciones en la definición de ๐ ๐ด se obtiene ๐ด2 ๐ด3 ๐ด4 ๐ด + + + +โฏ=๐๐ด 2! 3! 4! Puesto que ๐ด es un número real, ๐ ๐ด es finito. Esto muestra que la serie converge para cualquier matriz ๐ด. |๐ ๐ด | ≤ 1 + Teorema: Para cualquier vector constante ๐, ๐ฅ ๐ก = ๐ ๐ด๐ก ๐ es una solución del sistema ๐ ′ = ๐ด๐. Más aún, la solución del sistema diferencial ๐ ′ = ๐ด๐, dado por ๐ ๐ก = ๐ ๐ด๐ก ๐0 satisface ๐ 0 = ๐0 . Definición: La matriz ๐ ๐ด๐ก se denomina la matriz solución principal o matriz exponencial del sistema ๐ ′ = ๐ด๐. Ejemplo 4. Calcule ๐ ๐ด๐ก , donde la matriz 1 ๐ด= 0 0 0 0 2 0 . 0 3 ๐๐ก 0 0 ๐ด๐ก Respuesta: ๐ = 0 ๐ 2๐ก 0 . 0 0 ๐ 3๐ก Ejemplo 5. Calcule ๐ ๐ด๐ก , donde la matriz ๐ด= ๐ 0 1 . ๐ ๐ ๐๐ก ๐ก๐ ๐๐ก . 0 ๐ ๐๐ก Teorema. Sea ๐ฝ la forma canónica de Jordan de una matriz ๐ด y sea ๐ฝ = ๐−1 ๐ด๐. Entonces ๐ด = ๐๐ฝ๐−1 y Respuesta: ๐ ๐ด๐ก = ๐ ๐ด๐ก = ๐๐ ๐ฝ๐ก ๐−1 . Ejemplo 6. Calcule ๐ ๐ด๐ก , donde la matriz ๐ด= 3 −1 . −2 2 −๐ ๐ก − 2๐ 4๐ก −๐ ๐ก + ๐ 4๐ก . −2๐ ๐ก + 2๐ 4๐ก −2๐ ๐ก − ๐ 4๐ก Ejemplo 7. Calcule ๐ ๐ด๐ก , donde la matriz 1 Respuesta: ๐ ๐ด๐ก = − 3 ๐ด= Respuesta: ๐ ๐ด๐ก = ๐ 3๐ก 1−๐ก ๐ก −๐ก . 1+๐ก 2 1 −1 . 4 UNIVERSIDAD NACIONAL DE INGENIERÍA Gracias
0
You can add this document to your study collection(s)
Sign in Available only to authorized usersYou can add this document to your saved list
Sign in Available only to authorized users(For complaints, use another form )