Archivo de la etiqueta: matriz fundamental de soluciones

Ecuaciones Diferenciales I: Sistemas lineales no homogéneos – Método de variación de parámetros

Por Omar González Franco

Las ciencias matemáticas exhiben particularmente orden, simetría
y límites; y esas son las más grandes formas de belleza.
– Aristóteles

Introducción

Ya sabemos resolver sistemas lineales homogéneos con coeficientes constantes, en esta entrada estudiaremos el caso no homogéneo.

Como hemos visto en las dos unidades anteriores, el método de variación de parámetros ha sido fundamental para resolver ecuaciones diferenciales en el caso no homogéneo. Éste mismo método es el que desarrollaremos en esta entrada para resolver sistemas lineales no homogéneos con coeficientes constantes.

Cabe mencionar que en esta entrada utilizaremos bastante el concepto de exponencial de una matriz y el de matriz fundamental de soluciones.

Sistemas lineales homogéneos

El sistema lineal que hemos estudiado es

$\begin{matrix} (1) & Y^{'} = A Y \end{matrix}$

Donde $A$ es una matriz con componentes constantes

$\begin{matrix} (2) & A = (\begin{matrix} a_{11} & a_{12} & \dots & a_{1 n} \\ a_{21} & a_{22} & \dots & a_{2 n} \\ ⋮ & ⋮ \\ a_{n 1} & a_{n 2} & \dots & a_{n n} \end{matrix}) \end{matrix}$

Ahora sabemos que la solución general del sistema lineal homogéneo ( $1$ ) es de la forma

$\begin{matrix} (3) & Y_{c} (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t) \end{matrix}$

En donde las funciones $Y_{1} (t), Y_{2} (t), \dots, Y_{n} (t)$ son soluciones linealmente independientes del mismo sistema. Usamos el subíndice $c$ debido a que, como antes, al resolver el caso no homogéneo será necesario resolver primero el sistema homogéneo asociado y la solución general de dicho sistema será la solución complementaria del sistema no homogéneo.

Recordemos que la matriz que tiene por columnas a las funciones $Y_{i} (t)$ , $i = 1, 2, \dots, n$ de ( $3$ ) corresponde a la matriz fundamental de soluciones.

$\begin{matrix} (4) & \hat{Y} (t) = (\begin{matrix} Y_{1} (t) & Y_{2} (t) & \dots & Y_{n} (t) \end{matrix}) = (\begin{matrix} y_{11} (t) & y_{12} (t) & \dots & y_{1 n} (t) \\ y_{21} (t) & y_{22} (t) & \dots & y_{2 n} (t) \\ ⋮ & ⋮ \\ y_{n 1} (t) & y_{n 2} (t) & \dots & y_{n n} (t) \end{matrix}) \end{matrix}$

Si definimos el vector de constantes

$\begin{matrix} (5) & C = (\begin{matrix} c_{1} \\ c_{2} \\ ⋮ \\ c_{n} \end{matrix}) \end{matrix}$

podemos escribir la solución ( $3$ ) como

$\begin{matrix} (6) & Y_{c} (t) = \hat{Y} (t) C \end{matrix}$

Recordemos este resultado para más adelante.

Sistemas lineales no homogéneos

El sistema lineal no homogéneo que intentaremos resolver es de la forma

$\begin{matrix} (7) & Y^{'} = A Y + G \end{matrix}$

Donde $G = G (t)$ es una matriz de $n \times 1$ con componentes dependientes de $t$ .

$\begin{matrix} (8) & G (t) = (\begin{matrix} g_{1} (t) \\ g_{2} (t) \\ ⋮ \\ g_{n} (t) \end{matrix}) \end{matrix}$

Dada la forma de la solución general de un sistema lineal homogéneo ( $3$ ), parecería natural pensar que el sistema lineal no homogéneo tiene por solución una función de la forma

$\begin{matrix} (9) & Y_{p} (t) = u_{1} (t) Y_{1} (t) + u_{2} (t) Y_{2} (t) + \dots + u_{n} (t) Y_{n} (t) \end{matrix}$

En donde $u_{i} (t)$ , $i = 1, 2, \dots, n$ son funciones escalares de $t$ derivables y las funciones $Y_{i} (t)$ , $i = 1, 2, \dots, n$ forman una matriz fundamental de soluciones $\hat{Y} (t)$ . Si definimos el vector

$\begin{matrix} (10) & U (t) = (\begin{matrix} u_{1} (t) \\ u_{2} (t) \\ ⋮ \\ u_{n} (t) \end{matrix}) \end{matrix}$

Entonces la solución propuesta ( $9$ ) adquiere la forma

$\begin{matrix} (11) & Y_{p} (t) = \hat{Y} (t) U (t) \end{matrix}$

El método de variación de parámetros nos permitirá obtener la forma del vector $U (t)$ , una vez obtenida podremos formar la solución general del sistema lineal no homogéneo ( $7$ ) que, como siempre, será la superposición de la solución complementaria del sistema lineal homogéneo asociado $Y_{c} (t)$ más la solución particular del sistema lineal no homogéneo $Y_{p} (t)$ , esto es

$\begin{matrix} (12) & Y (t) = Y_{c} (t) + Y_{p} (t) \end{matrix}$

Variación de parámetros

Comencemos a desarrollar el método de variación de parámetros, como mencionamos antes, el objetivo es encontrar la forma explícita del vector ( $10$ ) para formar la solución particular del sistema lineal no homogéneo.

Consideremos la función propuesta ( $11$ ) y derivémosla.

$\begin{matrix} (13) & Y_{p}^{'} (t) = {\hat{Y}}^{'} (t) U (t) + \hat{Y} (t) U^{'} (t) \end{matrix}$

Si sustituimos ( $11$ ) y ( $13$ ) en el sistema lineal no homogéneo ( $7$ ), se tiene

$\begin{matrix} (14) & {\hat{Y}}^{'} (t) U (t) + \hat{Y} (t) U^{'} (t) = A [\hat{Y} (t) U (t)] + G (t) \end{matrix}$

Como $\hat{Y} (t)$ es una matriz fundamental de soluciones sabemos que satisface el sistema homogéneo, es decir,

$\begin{matrix} (15) & {\hat{Y}}^{'} (t) = A \hat{Y} (t) \end{matrix}$

Si sustituimos en ( $14$ ) la ecuación queda como

$A \hat{Y} (t) U (t) + \hat{Y} (t) U^{'} (t) = A \hat{Y} (t) U (t) + G (t)$

O bien,

$\begin{matrix} (16) & \hat{Y} (t) U^{'} (t) = G (t) \end{matrix}$

La matriz fundamental es no singular, de manera que siempre existe su inversa, esto nos permite establecer que

$\begin{matrix} (17) & U^{'} (t) = {\hat{Y}}^{- 1} (t) G (t) \end{matrix}$

Esta ecuación es matricial y sabemos que es posible integrar sobre matrices, así que integremos la ecuación anterior con el objetivo de hallar la forma de $U$ .

$\begin{matrix} (18) & U (t) = \int {\hat{Y}}^{- 1} (t) G (t) d t \end{matrix}$

Ahora que conocemos la forma de $U (t)$ , sustituimos en la solución propuesta ( $11$ ), de forma que una solución particular del sistema lineal no homogéneo es

$\begin{matrix} (19) & Y_{p} (t) = \hat{Y} (t) \int {\hat{Y}}^{- 1} (t) G (t) d t \end{matrix}$

Por lo tanto, de ( $6$ ) y el resultado ( $19$ ) concluimos que la solución general del sistema lineal no homogéneo es

$\begin{matrix} (20) & Y (t) = \hat{Y} (t) C + \hat{Y} (t) \int {\hat{Y}}^{- 1} (t) G (t) d t \end{matrix}$

Si $\hat{Y} (t)$ es la matriz fundamental de soluciones $e^{A t}$ y considerando que ${\hat{Y}}^{- 1} (t) = e^{- A t}$ , el resultado anterior queda como

$\begin{matrix} (21) & Y (t) = e^{A t} C + e^{A t} \int e^{- A t} G (t) d t \end{matrix}$

Problema con valores iniciales

Consideremos el problema con valores iniciales

$\begin{matrix} (22) & Y^{'} = A Y + G; Y (t_{0}) = Y_{0} \end{matrix}$

De nuestro desarrollo anterior consideremos la relación ( $17$ ).

$U^{'} (t) = {\hat{Y}}^{- 1} (t) G (t)$

En esta ocasión integremos de $t_{0}$ a $t$ y usemos el teorema fundamental del cálculo.

$\begin{matrix} (23) & U (t) = U (t_{0}) + \int_{t_{0}}^{t} {\hat{Y}}^{- 1} (s) G (s) d s \end{matrix}$

Notemos que si aplicamos la condición inicial $Y (t_{0}) = Y_{0}$ sobre la función ( $11$ ), se obtiene

$\begin{matrix} (24) & Y_{p} (t_{0}) = \hat{Y} (t_{0}) U (t_{0}) = Y_{0} \end{matrix}$

De donde,

$\begin{matrix} (25) & U (t_{0}) = {\hat{Y}}^{- 1} (t_{0}) Y_{0} \end{matrix}$

Sustituimos este resultado en la ecuación ( $23$ ).

$\begin{matrix} (26) & U (t) = {\hat{Y}}^{- 1} (t_{0}) Y_{0} + \int_{t_{0}}^{t} {\hat{Y}}^{- 1} (s) G (s) d s \end{matrix}$

Aquí debemos tener cuidado, si sustituimos la función ( $26$ ) en ( $11$ ), se obtiene

$\begin{matrix} (27) & Y (t) = \hat{Y} (t) {\hat{Y}}^{- 1} (t_{0}) Y_{0} + \hat{Y} (t) \int_{t_{0}}^{t} {\hat{Y}}^{- 1} (s) G (s) d s \end{matrix}$

Pero ${\hat{Y}}^{- 1} (t_{0}) Y_{0}$ es una matriz de constantes, digamos

${\hat{Y}}^{- 1} (t_{0}) Y_{0} = C$

Entonces el resultado ( $27$ ) queda como

$\begin{matrix} (28) & Y (t) = \hat{Y} (t) C + \hat{Y} (t) \int_{t_{0}}^{t} {\hat{Y}}^{- 1} (s) G (s) d s \end{matrix}$

Este resultado se parece a la ecuación ( $20$ ), es decir, a pesar de que sustituimos ( $26$ ) en ( $11$ ) esperando obtener la solución particular $Y_{p} (t)$ , en realidad estamos obteniendo la solución general, la solución general del problema de valores iniciales.

Si consideramos nuevamente que $\hat{Y} (t) = e^{A t}$ , el resultado ( $27$ ) se reduce significativamente.

$\begin{matrix} (29) & Y (t) = e^{A t} e^{- A t_{0}} Y_{0} + e^{A t} \int_{t_{0}}^{t} e^{- A s} G (s) d s \end{matrix}$

O bien,

$\begin{matrix} (30) & Y (t) = e^{A (t - t_{0})} Y_{0} + \int_{t_{0}}^{t} e^{A (t - s)} G (s) d s \end{matrix}$

Por otro lado, si $t_{0} = 0$ , de ( $27$ ) se obtiene que

$Y (t) = \hat{Y} (t) {\hat{Y}}^{- 1} (0) Y_{0} + \hat{Y} (t) \int_{0}^{t} {\hat{Y}}^{- 1} (s) G (s) d s$

Pero recordemos que

$\begin{matrix} (31) & e^{A t} = \hat{Y} (t) {\hat{Y}}^{- 1} (0) \end{matrix}$

Entonces la solución anterior queda como

$\begin{matrix} (32) & Y (t) = e^{A t} Y_{0} + \hat{Y} (t) \int_{0}^{t} {\hat{Y}}^{- 1} (s) G (s) d s \end{matrix}$

Si nuestro propósito es determinar la solución general de un sistema lineal no homogéneo ( $7$ ), primero resolvemos el sistema lineal homogéneo asociado para obtener la solución complementaria en la forma ( $3$ ). Con las funciones $Y_{i} (t)$ , $i = 1, 2, \dots, n$ obtenidas formamos una matriz fundamental $\hat{Y} (t)$ , se calcula su inversa y se sustituyen las matrices correspondientes en la solución particular ( $19$ ). Una vez obtenidas ambas soluciones, la solución general del sistema lineal no homogéneo será

$Y (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t) + Y_{p} (t) = Y_{c} (t) + Y_{p} (t)$

Sin embargo, si lo que tenemos es un problema de valores iniciales, debemos nuevamente obtener la solución del sistema lineal homogéneo asociado ya que eso es lo que nos permite formar la matriz fundamental de soluciones $\hat{Y} (t)$ , una vez obtenida esta función calculamos su inversa y se sustituyen las matrices correspondientes en la ecuación ( $27$ ), esto nos dará la solución completa del problema de valores iniciales, es decir, no es necesario aplicar las condiciones iniciales en la solución complementaria para obtener los valores de las constantes $c_{1}, c_{2}, \dots, c_{n}$ .

Para concluir con esta entrada realicemos dos ejemplos, en el primero de ellos obtendremos la solución general de un sistema lineal no homogéneo y en el segundo ejemplo resolveremos un problema con valores iniciales. Con estos ejemplos se espera que el método quede claro.

Ejemplo: Obtener la solución general del siguiente sistema lineal no homogéneo.

$Y^{'} = (\begin{matrix} 0 & 2 \\ - 1 & 3 \end{matrix}) Y + (\begin{matrix} 1 \\ - 1 \end{matrix}) e^{t}$

Solución: Resolvamos primero el sistema homogéneo asociado.

$Y^{'} = (\begin{matrix} 0 & 2 \\ - 1 & 3 \end{matrix}) Y$

En este caso la matriz $A$ es

$A = (\begin{matrix} 0 & 2 \\ - 1 & 3 \end{matrix})$

Determinemos los valores y vectores propios de esta matriz.

$| A - λ I | = | \begin{matrix} - λ & 2 \\ - 1 & 3 - λ \end{matrix} | = 0$

La ecuación característica es

$λ^{2} - 3 λ + 2 = 0$

Resolviendo para $λ$ se obtiene que los valores propios son

$λ_{1} = 1 y λ_{2} = 2$

Determinemos los vectores propios correspondientes a cada valor propio.

Caso 1: $λ_{1} = 1$ .

Buscamos un vector $K \neq 0$ , tal que

$(A - I) K = (\begin{matrix} - 1 & 2 \\ - 1 & 2 \end{matrix}) (\begin{matrix} k_{1} \\ k_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

La ecuación que se obtiene es

$- k_{1} + 2 k_{2} = 0$

Es decir, $2 k_{2} = k_{1}$ . Elegimos $k_{2} = 1$ , entonces $k_{1} = 2$ . Por lo tanto el primer vector propio es

$K_{1} = (\begin{matrix} 2 \\ 1 \end{matrix})$

Caso 2: $λ_{2} = 2$ .

Buscamos un vector $K \neq 0$ , tal que

$(A - 2 I) K = (\begin{matrix} - 2 & 2 \\ - 1 & 1 \end{matrix}) (\begin{matrix} k_{1} \\ k_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

La ecuación que se obtiene es

$- k_{1} + k_{2} = 0$

Es decir, $k_{1} = k_{2}$ . Elegimos $k_{1} = k_{2} = 1$ . Por lo tanto, el segundo vector propio es

$K_{2} = (\begin{matrix} 1 \\ 1 \end{matrix})$

Con estos resultados concluimos que la solución general del sistema lineal homogéneo asociado es

$Y_{c} (t) = c_{1} e^{t} (\begin{matrix} 2 \\ 1 \end{matrix}) + c_{2} e^{2 t} (\begin{matrix} 1 \\ 1 \end{matrix})$

Para determinar la solución particular $Y_{p} (t)$ , formemos, con el resultado anterior, la matriz fundamental de soluciones ( $4$ ).

$\hat{Y} (t) = (\begin{matrix} 2 e^{t} & e^{2 t} \\ e^{t} & e^{2 t} \end{matrix})$

Como también requerimos de la matriz inversa, verifica que

${\hat{Y}}^{- 1} (t) = (\begin{matrix} e^{- t} & - e^{- t} \\ - e^{- 2 t} & 2 e^{- 2 t} \end{matrix})$

La matriz $G$ en este caso es

$G (t) = (\begin{matrix} e^{t} \\ - e^{t} \end{matrix})$

Sustituyamos estas matrices en la solución particular ( $19$ ).

$\begin{aligned} Y_{p} (t) & = (\begin{array}{c} 2 e^{t} & e^{2 t} \\ e^{t} & e^{2 t} \end{array}) \int (\begin{array}{c} e^{- t} & - e^{- t} \\ - e^{- 2 t} & 2 e^{- 2 t} \end{array}) (\begin{array}{c} e^{t} \\ - e^{t} \end{array}) d t \\ = (\begin{array}{c} 2 e^{t} & e^{2 t} \\ e^{t} & e^{2 t} \end{array}) \int (\begin{array}{c} 2 \\ - 3 e^{- t} \end{array}) d t \end{aligned}$

Resolviendo la integral (sin considerar constantes de integración), se obtiene

$\int (\begin{matrix} 2 \\ - 3 e^{- t} \end{matrix}) d t = (\begin{matrix} 2 t \\ 3 e^{- t} \end{matrix})$

Entonces,

$Y_{p} (t) = (\begin{matrix} 2 e^{t} & e^{2 t} \\ e^{t} & e^{2 t} \end{matrix}) (\begin{matrix} 2 t \\ 3 e^{- t} \end{matrix}) = (\begin{matrix} 4 t e^{t} + 3 e^{t} \\ 2 t e^{t} + 3 e^{t} \end{matrix})$

Esto es,

$Y_{p} (t) = (\begin{matrix} 4 \\ 2 \end{matrix}) t e^{t} + (\begin{matrix} 3 \\ 3 \end{matrix}) e^{t}$

Por lo tanto, la solución general del sistema lineal no homogéneo es

$Y (t) = c_{1} e^{t} (\begin{matrix} 2 \\ 1 \end{matrix}) + c_{2} e^{2 t} (\begin{matrix} 1 \\ 1 \end{matrix}) + (\begin{matrix} 3 \\ 3 \end{matrix}) e^{t} + (\begin{matrix} 4 \\ 2 \end{matrix}) t e^{t}$

Realicemos ahora un problema con valores iniciales.

Ejemplo: Resolver el siguiente problema con valores iniciales.

$Y^{'} = (\begin{matrix} 1 & 0 & 0 \\ 2 & 1 & - 2 \\ 3 & 2 & 1 \end{matrix}) Y + (\begin{matrix} 0 \\ 0 \\ e^{t} \cos (2 t) \end{matrix}), Y (0) = (\begin{matrix} 0 \\ 1 \\ 1 \end{matrix})$

Solución: Primero debemos obtener la solución del sistema lineal homogéneo asociado

$Y^{'} = (\begin{matrix} 1 & 0 & 0 \\ 2 & 1 & - 2 \\ 3 & 2 & 1 \end{matrix}) Y$

Ello nos permitirá obtener la matriz fundamental de soluciones. En este caso la matriz $A$ es

$A = (\begin{matrix} 1 & 0 & 0 \\ 2 & 1 & - 2 \\ 3 & 2 & 1 \end{matrix})$

Determinemos los valores y vectores propios de esta matriz. La ecuación característica se obtendrá de calcular el determinante

$| A - λ I | = | \begin{matrix} 1 - λ & 0 & 0 \\ 2 & 1 - λ & - 2 \\ 3 & 2 & 1 - λ \end{matrix} | = 0$

Desarrollando el determinante obtendremos que

$(1 - λ) (λ^{2} - 2 λ + 5) = 0$

Resolviendo para $λ$ se obtiene que los valores propios de $A$ son

$λ_{1} = 1 y λ_{2} = 1 + 2 i, λ_{3} = 1 - 2 i$

De acuerdo a los valores propios obtenidos, la manera de resolver el sistema homogéneo será aplicando la teoría vista en la entrada sobre valores propios complejos.

Determinemos los vectores propios correspondientes a cada valor propio.

Caso 1: $λ_{1} = 1$ .

Buscamos un vector $K \neq 0$ , tal que

$(A - I) K = [(\begin{matrix} 1 & 0 & 0 \\ 2 & 1 & - 2 \\ 3 & 2 & 1 \end{matrix}) - (\begin{matrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix})] (\begin{matrix} k_{1} \\ k_{2} \\ k_{3} \end{matrix}) = (\begin{matrix} 0 & 0 & 0 \\ 2 & 0 & - 2 \\ 3 & 2 & 0 \end{matrix}) (\begin{matrix} k_{1} \\ k_{2} \\ k_{3} \end{matrix}) = (\begin{matrix} 0 \\ 0 \\ 0 \end{matrix})$

El sistema que se obtiene es

$\begin{aligned} 2 k_{1} - 2 k_{3} & = 0 \\ 3 k_{1} + 2 k_{2} & = 0 \end{aligned}$

De este sistema se observa que

$\begin{aligned} k_{1} & = k_{3} \\ k_{2} & = - \frac{3 k_{1}}{2} \end{aligned}$

Elegimos $k_{1} = 2 = k_{3}$ , de tal manera que $k_{2} = - 3$ , así el primer vector propio es

$K_{1} = (\begin{matrix} 2 \\ - 3 \\ 2 \end{matrix})$

Caso 2: $λ_{2} = 1 + 2 i$ .

Buscamos un vector $K$ , diferente de cero, tal que

$[A - (1 + 2 i) I] K = (\begin{matrix} - 2 i & 0 & 0 \\ 2 & - 2 i & - 2 \\ 3 & 2 & - 2 i \end{matrix}) (\begin{matrix} k_{1} \\ k_{2} \\ k_{3} \end{matrix}) = (\begin{matrix} 0 \\ 0 \\ 0 \end{matrix})$

El sistema de ecuaciones que se obtiene es

$\begin{aligned} - 2 i k_{1} & = 0 \\ 2 k_{1} - 2 i k_{2} - 2 k_{3} & = 0 \\ 3 k_{1} + 2 k_{2} - 2 i k_{3} & = 0 \end{aligned}$

De este sistema se observa que $k_{1} = 0$ y $k_{3} = - i k_{2}$ . Elegimos $k_{2} = 1$ , de manera que el segundo vector propio sea

$K_{2} = (\begin{matrix} 0 \\ 1 \\ - i \end{matrix})$

Caso 3: $λ_{2} = 1 - 2 i$ .

Sabemos que este caso es el conjugado del caso anterior, por lo que directamente establecemos que el tercer vector propio es

$K_{3} = (\begin{matrix} 0 \\ 1 \\ i \end{matrix})$

La solución general del sistema lineal homogéneo asociado, en su forma compleja, es

$Y_{c} (t) = c_{1} e^{t} (\begin{matrix} 2 \\ - 3 \\ 2 \end{matrix}) + c_{2} e^{(1 + 2 i) t} (\begin{matrix} 0 \\ 1 \\ - i \end{matrix}) + c_{3} e^{(1 - 2 i) t} (\begin{matrix} 0 \\ 1 \\ i \end{matrix})$

Sin embargo esta solución no nos sirve de mucho, pues desearíamos construir la matriz fundamental de soluciones con valores reales. Recordando lo visto en la entrada sobre valores propios complejos, podemos encontrar dos funciones $W_{1} (t)$ y $W_{2} (t)$ , tal que la solución general sea de la forma

$\begin{matrix} (33) & Y_{c} (t) = c_{1} e^{λ_{1} t} + c_{2} W_{1} (t) + c_{3} W_{2} (t) \end{matrix}$

Recordemos que las funciones $W_{1} (t)$ y $W_{2} (t)$ están dadas por

$\begin{matrix} (34) & W_{1} (t) = e^{α t} [U \cos (β t) - V \sin (β t)] \end{matrix}$

$\begin{matrix} (35) & W_{2} (t) = e^{α t} [U \sin (β t) + V \cos (β t)] \end{matrix}$

Consideremos el caso 2 en el que $λ_{2} = 1 + 2 i$ y

$K_{2} = (\begin{matrix} 0 \\ 1 \\ - i \end{matrix}) = (\begin{matrix} 0 \\ 1 \\ 0 \end{matrix}) + i (\begin{matrix} 0 \\ 0 \\ - 1 \end{matrix})$

De estos resultados obtenemos que $α = 1$ , $β = 2$ y

$U = (\begin{matrix} 0 \\ 1 \\ 0 \end{matrix}) y V = (\begin{matrix} 0 \\ 0 \\ - 1 \end{matrix})$

Sustituyamos en la funciones ( $34$ ) y ( $35$ ). Por un lado,

$\begin{aligned} W_{1} (t) & = e^{t} [(\begin{array}{c} 0 \\ 1 \\ 0 \end{array}) \cos (2 t) - (\begin{array}{c} 0 \\ 0 \\ - 1 \end{array}) \sin (2 t)] \\ = e^{t} [(\begin{array}{c} 0 \\ \cos (2 t) \\ 0 \end{array}) - (\begin{array}{c} 0 \\ 0 \\ - \sin (2 t) \end{array})] \end{aligned}$

Esto es,

$W_{1} (t) = e^{t} (\begin{matrix} 0 \\ \cos (2 t) \\ \sin (2 t) \end{matrix})$

Por otro lado,

$\begin{aligned} W_{2} (t) & = e^{t} [(\begin{array}{c} 0 \\ 1 \\ 0 \end{array}) \sin (2 t) + (\begin{array}{c} 0 \\ 0 \\ - 1 \end{array}) \cos (2 t)] \\ = e^{t} [(\begin{array}{c} 0 \\ \sin (2 t) \\ 0 \end{array}) + (\begin{array}{c} 0 \\ 0 \\ - \cos (2 t) \end{array})] \end{aligned}$

Esto es,

$W_{2} (t) = e^{t} (\begin{matrix} 0 \\ \sin (2 t) \\ - \cos (2 t) \end{matrix})$

Recordemos que estas funciones también se pueden obtener considerando la identidad de Euler. Del caso 2 la solución que se obtiene es

$Y_{2 c} (t) = e^{(1 + 2 i) t} (\begin{matrix} 0 \\ 1 \\ - i \end{matrix})$

Así,

$W_{1} (t) = R e {Y_{2 c} (t)} y W_{2} (t) = I m {Y_{2 c} (t)}$

Usando la identidad de Euler sobre esta solución obtenemos lo siguiente.

$\begin{aligned} e^{(1 + 2 i) t} (\begin{array}{c} 0 \\ 1 \\ - i \end{array}) & = e^{t} [\cos (2 t) + i \sin (2 t)] [(\begin{array}{c} 0 \\ 1 \\ 0 \end{array}) - i (\begin{array}{c} 0 \\ 0 \\ 1 \end{array})] \\ = e^{t} [\cos (2 t) (\begin{array}{c} 0 \\ 1 \\ 0 \end{array}) + \sin (2 t) (\begin{array}{c} 0 \\ 0 \\ 1 \end{array})] + i e^{t} [\sin (2 t) (\begin{array}{c} 0 \\ 1 \\ 0 \end{array}) - \cos (2 t) (\begin{array}{c} 0 \\ 0 \\ 1 \end{array})] \\ = e^{t} [(\begin{array}{c} 0 \\ \cos (2 t) \\ 0 \end{array}) + (\begin{array}{c} 0 \\ 0 \\ \sin (2 t) \end{array})] + i e^{t} [(\begin{array}{c} 0 \\ \sin (2 t) \\ 0 \end{array}) + (\begin{array}{c} 0 \\ 0 \\ - \cos (2 t) \end{array})] \end{aligned}$

De donde,

$W_{1} (t) = e^{t} (\begin{matrix} 0 \\ \cos (2 t) \\ \sin (2 t) \end{matrix}) y W_{2} (t) = e^{t} (\begin{matrix} 0 \\ \sin (2 t) \\ - \cos (2 t) \end{matrix})$

De esta forma, la solución general del sistema lineal homogéneo asociado es

$\begin{matrix} (36) & Y_{c} (t) = c_{1} e^{t} (\begin{matrix} 2 \\ - 3 \\ 2 \end{matrix}) + c_{2} e^{t} (\begin{matrix} 0 \\ \cos (2 t) \\ \sin (2 t) \end{matrix}) + c_{3} e^{t} (\begin{matrix} 0 \\ \sin (2 t) \\ - \cos (2 t) \end{matrix}) \end{matrix}$

Esta solución es de la forma ( $3$ ) por lo que la matriz fundamental de soluciones, formada por estos vectores linealmente independientes, es

$\hat{Y} (t) = (\begin{matrix} 2 e^{t} & 0 & 0 \\ - 3 e^{t} & e^{t} \cos (2 t) & e^{t} \sin (2 t) \\ 2 e^{t} & e^{t} \sin (2 t) & - e^{t} \cos (2 t) \end{matrix})$

Para obtener la solución del problema con valores iniciales usaremos el resultado ( $29$ ) para $t_{0} = 0$ .

$\begin{matrix} (37) & Y (t) = e^{A t} Y_{0} + e^{A t} \int_{0}^{t} e^{- A s} G (s) d s \end{matrix}$

Es decir, consideraremos a la matriz $e^{A t}$ como la matriz fundamental de soluciones. También es posible usar la relación ( $32$ ) usando la matriz $\hat{Y} (t)$ antes establecida. ¿Por qué son equivalentes ambas formas?.

Determinemos la matriz $e^{A t}$ usando la relación ( $31$ ). Si evaluamos $t = 0$ en la matriz $\hat{Y} (t)$ se obtiene la matriz

$\hat{Y} (0) = (\begin{matrix} 2 & 0 & 0 \\ - 3 & 1 & 0 \\ 2 & 0 & - 1 \end{matrix})$

Comprueba que la matriz inversa es

${\hat{Y}}^{- 1} (0) = {(\begin{matrix} 2 & 0 & 0 \\ - 3 & 1 & 0 \\ 2 & 0 & - 1 \end{matrix})}^{- 1} = (\begin{matrix} \frac{1}{2} & 0 & 0 \\ \frac{3}{2} & 1 & 0 \\ 1 & 0 & - 1 \end{matrix})$

Sustituyamos en ( $31$ ).

$\begin{aligned} e^{A t} & = (\begin{array}{c} 2 e^{t} & 0 & 0 \\ - 3 e^{t} & e^{t} \cos (2 t) & e^{t} \sin (2 t) \\ 2 e^{t} & e^{t} \sin (2 t) & - e^{t} \cos (2 t) \end{array}) (\begin{array}{c} \frac{1}{2} & 0 & 0 \\ \frac{3}{2} & 1 & 0 \\ 1 & 0 & - 1 \end{array}) \\ = e^{t} (\begin{array}{c} 1 & 0 & 0 \\ - \frac{3}{2} + \frac{3}{2} \cos (2 t) + \sin (2 t) & \cos (2 t) & - \sin (2 t) \\ 1 + \frac{3}{2} \sin (2 t) - \cos (2 t) & \sin (2 t) & \cos (2 t) \end{array}) \end{aligned}$

Por lo tanto, la matriz que consideraremos como matriz fundamental de soluciones es

$e^{A t} = e^{t} (\begin{matrix} 1 & 0 & 0 \\ - \frac{3}{2} + \frac{3}{2} \cos (2 t) + \sin (2 t) & \cos (2 t) & - \sin (2 t) \\ 1 + \frac{3}{2} \sin (2 t) - \cos (2 t) & \sin (2 t) & \cos (2 t) \end{matrix})$

Como también requerimos de la inversa de esta matriz, verifica que

$e^{- A t} = e^{- t} (\begin{matrix} 1 & 0 & 0 \\ - \frac{3}{2} + \frac{3}{2} \cos (2 t) - \sin (2 t) & \cos (2 t) & \sin (2 t) \\ 1 - \frac{3}{2} \sin (2 t) - \cos (2 t) & - \sin (2 t) & \cos (2 t) \end{matrix})$

En este caso la matriz $G (t)$ es

$G (t) = (\begin{matrix} 0 \\ 0 \\ e^{t} \cos (2 t) \end{matrix})$

Sustituyamos todos estos resultados en la solución ( $37$ ).

$Y (t) = e^{A t} (\begin{matrix} 0 \\ 1 \\ 1 \end{matrix}) + e^{A t} \int_{0}^{t} e^{- s} (\begin{matrix} 1 & 0 & 0 \\ - \frac{3}{2} + \frac{3}{2} \cos (2 s) - \sin (2 s) & \cos (2 s) & \sin (2 s) \\ 1 - \frac{3}{2} \sin (2 s) - \cos (2 s) & - \sin (2 s) & \cos (2 s) \end{matrix}) (\begin{matrix} 0 \\ 0 \\ e^{s} \cos (2 s) \end{matrix}) d s$

Por un lado,

$e^{A t} (\begin{matrix} 0 \\ 1 \\ 1 \end{matrix}) = e^{t} (\begin{matrix} 1 & 0 & 0 \\ - \frac{3}{2} + \frac{3}{2} \cos (2 t) + \sin (2 t) & \cos (2 t) & - \sin (2 t) \\ 1 + \frac{3}{2} \sin (2 t) - \cos (2 t) & \sin (2 t) & \cos (2 t) \end{matrix}) (\begin{matrix} 0 \\ 1 \\ 1 \end{matrix}) = e^{t} (\begin{matrix} 0 \\ \cos (2 t) - \sin (2 t) \\ \cos (2 t) + \sin (2 t) \end{matrix})$

De tarea moral, determina las constantes $c_{1}$ , $c_{2}$ y $c_{3}$ aplicando los valores iniciales sobre la solución complementaria ( $36$ ). ¿Qué relación tiene tu resultado con la operación anterior?.

Por otro lado,

$e^{- s} (\begin{matrix} 1 & 0 & 0 \\ - \frac{3}{2} + \frac{3}{2} \cos (2 s) - \sin (2 s) & \cos (2 s) & \sin (2 s) \\ 1 - \frac{3}{2} \sin (2 s) - \cos (2 s) & - \sin (2 s) & \cos (2 s) \end{matrix}) e^{s} (\begin{matrix} 0 \\ 0 \\ \cos (2 s) \end{matrix}) = (\begin{matrix} 0 \\ \sin (2 s) \cos (2 s) \\ \cos^{2} (2 s) \end{matrix})$

Sustituimos estas matrices en $Y (t)$ .

$Y (t) = e^{t} (\begin{matrix} 0 \\ \cos (2 t) - \sin (2 t) \\ \cos (2 t) + \sin (2 t) \end{matrix}) + e^{A t} \int_{0}^{t} (\begin{matrix} 0 \\ \sin (2 s) \cos (2 s) \\ \cos^{2} (2 s) \end{matrix}) d s$

Resolvamos la integral.

$\begin{aligned} \int_{0}^{t} (\begin{array}{c} 0 \\ \sin (2 s) \cos (2 s) \\ \cos^{2} (2 s) \end{array}) d s & = {(\begin{array}{c} 0 \\ - \frac{1}{8} \cos (4 s) \\ \frac{s}{2} + \frac{\sin (4 s)}{8} \end{array}) |}_{t} - {(\begin{array}{c} 0 \\ - \frac{1}{8} \cos (4 s) \\ \frac{s}{2} + \frac{\sin (4 s)}{8} \end{array}) |}_{0} \\ = (\begin{array}{c} 0 \\ - \frac{1}{8} \cos (4 t) \\ \frac{t}{2} + \frac{\sin (4 t)}{8} \end{array}) - (\begin{array}{c} 0 \\ - \frac{1}{8} \\ 0 \end{array}) \\ = (\begin{array}{c} 0 \\ \frac{1 - \cos (4 t)}{8} \\ \frac{4 t + \sin (4 t)}{8} \end{array}) \end{aligned}$

Entonces,

$Y (t) = e^{t} (\begin{matrix} 0 \\ \cos (2 t) - \sin (2 t) \\ \cos (2 t) + \sin (2 t) \end{matrix}) + e^{A t} (\begin{matrix} 0 \\ \frac{1 - \cos (4 t)}{8} \\ \frac{4 t + \sin (4 t)}{8} \end{matrix})$

Ahora realicemos el producto del segundo sumando.

$\begin{aligned} e^{A t} (\begin{array}{c} 0 \\ \frac{1 - \cos (4 t)}{8} \\ \frac{4 t + \sin (4 t)}{8} \end{array}) & = e^{t} (\begin{array}{c} 1 & 0 & 0 \\ - \frac{3}{2} + \frac{3}{2} \cos (2 t) + \sin (2 t) & \cos (2 t) & - \sin (2 t) \\ 1 + \frac{3}{2} \sin (2 t) - \cos (2 t) & \sin (2 t) & \cos (2 t) \end{array}) (\begin{array}{c} 0 \\ \frac{1 - \cos (4 t)}{8} \\ \frac{4 t + \sin (4 t)}{8} \end{array}) \\ = e^{t} (\begin{array}{c} 0 \\ \cos (2 t) (\frac{1 - \cos (4 t)}{8}) - \sin (2 t) (\frac{4 t + \sin (4 t)}{8}) \\ \sin (2 t) (\frac{1 - \cos (4 t)}{8}) + \cos (2 t) (\frac{4 t + \sin (4 t)}{8}) \end{array}) \\ = e^{t} (\begin{array}{c} 0 \\ - \frac{t \sin (2 t)}{2} + \frac{\cos (2 t) - \cos (4 t) \cos (2 t) - \sin (4 t) \sin (2 t)}{8} \\ \frac{t \cos (2 t)}{2} + \frac{\sin (2 t) + \sin (4 t) \cos (2 t) - \cos (4 t) \sin (2 t)}{8} \end{array}) \end{aligned}$

Así,

$Y (t) = e^{t} (\begin{matrix} 0 \\ \cos (2 t) - \sin (2 t) \\ \cos (2 t) + \sin (2 t) \end{matrix}) + e^{t} (\begin{matrix} 0 \\ - \frac{t \sin (2 t)}{2} + \frac{\cos (2 t) - \cos (4 t) \cos (2 t) - \sin (4 t) \sin (2 t)}{8} \\ \frac{t \cos (2 t)}{2} + \frac{\sin (2 t) + \sin (4 t) \cos (2 t) - \cos (4 t) \sin (2 t)}{8} \end{matrix})$

Haciendo las operaciones correspondientes se obtiene finalmente que la solución al problema con valores iniciales es

$Y (t) = e^{t} (\begin{matrix} 0 \\ \cos (2 t) - (1 + \frac{1}{2} t) \sin (2 t) \\ (1 + \frac{1}{2} t) \cos (2 t) + \frac{5}{4} \sin (2 t) \end{matrix})$

Vemos que este método puede ser bastante largo y complicado, de hecho se puede volver una tarea imposible de hacer a mano si se tienen sistemas con matriz $A$ de $3 \times 3$ o más. Se recomienda, en la medida de lo posible, usar algún programa computacional para llevar a cabo algunas de las operaciones, lo importante es entender como llevar a cabo el método.

Con esto concluimos lo que corresponde al estudio de los distintos métodos para resolver sistemas lineales. Prácticamente hemos concluido con la unidad 3 del curso.

En las siguientes dos entradas de esta unidad trataremos de justificar los teoremas de existencia y unicidad en el caso de los sistemas lineales, esto con el propósito de justificar toda la teoría desarrollada a lo largo de la unidad.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Obtener la solución general de los siguientes sistemas lineales no homogéneos.

$Y^{'} = (\begin{matrix} 1 & - 1 \\ 1 & 1 \end{matrix}) Y + (\begin{matrix} \cos (t) \\ \sin (t) \end{matrix}) e^{t}$

$Y^{'} = (\begin{matrix} 1 & 2 \\ - \frac{1}{2} & 1 \end{matrix}) Y + (\begin{matrix} \csc (t) \\ \sec (t) \end{matrix}) e^{t}$

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y + (\begin{matrix} e^{t} \\ e^{2 t} \\ t e^{3 t} \end{matrix})$

Resolver los siguientes problemas con valores iniciales.

$Y^{'} = (\begin{matrix} 2 & 0 & 1 \\ 0 & 2 & 0 \\ 0 & 1 & 3 \end{matrix}) Y + (\begin{matrix} 1 \\ 0 \\ 1 \end{matrix}) e^{2 t}, Y (0) = (\begin{matrix} 1 \\ 1 \\ 1 \end{matrix})$

$Y^{'} = (\begin{matrix} - 1 & - 1 & - 2 \\ 1 & 1 & 1 \\ 2 & 1 & 3 \end{matrix}) Y + (\begin{matrix} 1 \\ 0 \\ 0 \end{matrix}) e^{t}, Y (0) = (\begin{matrix} 0 \\ 0 \\ 0 \end{matrix})$

Más adelante…

En la siguiente entrada demostraremos los teoremas de existencia y unicidad para el caso de los sistemas lineales de primer orden con coeficientes constantes homogéneos y no homogéneos y posteriormente, en la última entrada de esta unidad, justificaremos el teorema de existencia y unicidad en el caso general, es decir, para sistemas lineales y no lineales.

Importante: Los temas de las siguientes dos entradas pueden ser opcionales para aquellos estudiantes que no requieran de un profundo fundamento teórico, si es el caso puedes continuar con la unidad 4 del curso.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Sistemas lineales homogéneos con coeficientes constantes – Valores propios repetidos
Siguiente entrada del curso: Teorema de existencia y unicidad para sistemas lineales

Video relacionado al tema: Sistemas de ecuaciones lineales no homogéneas: solución por variación de parámetros

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I: Exponencial de una matriz y matriz fundamental de soluciones

Por Omar González Franco

Deja un comentario

Las matemáticas son el arte de dar el mismo nombre a diferentes cosas.
– Henri Poincare

Introducción

Ya conocemos las propiedades de los sistemas de ecuaciones diferenciales lineales de primer orden, así como las de sus soluciones. Mucho de lo que vimos en las dos entradas anteriores es bastante similar a lo que desarrollamos en las dos primeras entradas de la unidad 2, sin embargo en esta entrada aprenderemos algo completamente nuevo, definiremos una herramienta matemática que nos será de bastante utilidad. ¡Se trata de la exponencial de una matriz!.

En esta entrada definiremos lo que significa $e^{A t}$ , donde $A$ es una matriz de $n \times n$ con componentes reales constantes.

$Label '1' multiply defined$

Así mismo, estudiaremos algunas de sus propiedades y su utilidad en la resolución de sistemas lineales.

Operaciones sobre componentes de matrices

Muchas de las operaciones que se pueden hacer hacía una matriz son aplicables sobre cada una de las componentes que conforman a dicha matriz. Para comprender este hecho es conveniente definir lo que significa la derivada e integral de una matriz, esto nos permitirá ganar intuición.

Consideremos por un momento una matriz de $n \times n$ compuesta de funciones.

$Label '2' multiply defined$

donde $a_{i, j} (t)$ , $i, j \in {1, 2, 3, \dots, n}$ son funciones sobre algún intervalo común $δ$ . Comencemos por definir la derivada de una matriz.

Definición: Sea

A (t)

una matriz de

n \times n

con componentes

a_{i j} (t)

i, j \in {1, 2, 3, \dots, n}

. Si cada componente

a_{i j} (t)

es derivable en un intervalo

δ

, entonces se define la derivada de la matriz

A (t)

como la matriz con entradas conformadas por las derivadas de las funciones

a_{i j} (t)

, es decir,

Label '3' multiply defined

y se denota por

Label '4' multiply defined

Algunas reglas de derivación se enuncian a continuación.

Teorema: Sean

A (t)

B (t)

matrices con componentes dependientes de

t

y sea

C

una matriz constante. Entonces se cumplen las siguientes operaciones.

\frac{d}{d t} (CA) = C \frac{d A}{d t}

\frac{d}{d t} (A + B) = \frac{d A}{d t} + \frac{d B}{d t}

\frac{d}{d t} (AB) = A \frac{d B}{d t} + \frac{d A}{d t} B

De manera equivalente se puede definir la integral de una matriz.

Definición: Sea

A (t)

una matriz de

n \times n

con componentes

a_{i j} (t)

i, j \in {1, 2, 3, \dots, n}

. Si cada componente

a_{i j} (t)

es integrable en un intervalo

δ = [s_{1}, s_{2}]

, entonces se define la integral de la matriz

A (t)

como la matriz con entradas conformadas por las integrales de las funciones

a_{i j} (t)

, es decir,

Label '5' multiply defined

y se denota por

Label '6' multiply defined

Ejemplo: Calcular la derivada de la matriz

$A (t) = (\begin{matrix} \cos (t) & \sin (t) \\ \sin^{2} (t) & \cos^{2} (t) \end{matrix})$

Solución: Aplicamos la derivada sobre cada componente de la matriz.

$\frac{d}{d t} A (t) = (\begin{matrix} \frac{d}{d t} \cos (t) & \frac{d}{d t} \sin (t) \\ \frac{d}{d t} \sin^{2} (t) & \frac{d}{d t} \cos^{2} (t) \end{matrix}) = (\begin{matrix} - \sin (t) & \cos (t) \\ 2 \sin (t) \cos (t) & - 2 \cos (t) \sin (t) \end{matrix})$

De manera similar se puede hacer la integral de una matriz.

Definamos lo que es una serie de matrices. En este caso consideremos matrices constantes.

Definición: Se define una serie de matrices

A_{k}

de tamaño

n \times n

con coeficientes constantes

(a i j)_{k}

como la matriz de series

Label '7' multiply defined

donde

(a_{i j})_{k}

es la entrada

i j

de la matriz

A_{k}

y se denota por

Label '8' multiply defined

Si tenemos series de matrices es claro que algunas pueden o no converger. A continuación definimos la convergencia en matrices.

Definición: Si cada serie

\sum_{k = 1}^{\infty} (a_{i j})_{k}

es convergente, diremos que la serie

\sum_{k = 1}^{\infty} A_{k}

converge a la matriz conformada por los valores a los cuales convergen las series

\sum_{k = 1}^{\infty} (a_{i j})_{k}

Con esto en mente puede resultar más comprensible la definición de la exponencial de una matriz.

Exponencial de una matriz

Recordemos que la función escalar de la exponencial se define como

$Label '9' multiply defined$

Con las definiciones anteriores podemos extender la serie de la exponencial anterior a una serie de matrices.

Definición: Sea

A

una matriz de

n \times n

con coeficientes constantes (

1

). Se define la exponencial de

A

como la serie convergente

Label '10' multiply defined

Se puede demostrar que la serie ( $10$ ) converge, sin embargo se requiere de un poco más de teoría que queda fuera de nuestro interés.

Definición: Si la exponencial depende de

t

, se define la exponencial de la matriz

A t

como

Label '11' multiply defined

Con

I

la matriz identidad, también

A^{0} = I

y recordemos que

A^{2} = AA, A^{3} = {AA}^{2}

, etcétera.

Veamos un ejemplo en el que determinemos la exponencial de una matriz.

Ejemplo: Determinar la matriz $e^{A}$ , en donde

$A = (\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix})$

Solución: Para determinar la matriz $e^{A}$ usemos directamente la definición ( $10$ ). Sabemos que

$A^{0} = (\begin{matrix} 1 & 0 \\ 0 & 1 \end{matrix}) = I y A^{1} = (\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix}) = (\begin{matrix} 2^{0} & 2^{0} \\ 2^{0} & 2^{0} \end{matrix})$

Ahora bien,

$A^{2} = AA = (\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix}) (\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix}) = (\begin{matrix} 2 & 2 \\ 2 & 2 \end{matrix}) = (\begin{matrix} 2^{1} & 2^{1} \\ 2^{1} & 2^{1} \end{matrix})$

$A^{3} = {AA}^{2} = (\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix}) (\begin{matrix} 2 & 2 \\ 2 & 2 \end{matrix}) = (\begin{matrix} 4 & 4 \\ 4 & 4 \end{matrix}) = (\begin{matrix} 2^{2} & 2^{2} \\ 2^{2} & 2^{2} \end{matrix})$

$A^{4} = {AA}^{3} = (\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix}) (\begin{matrix} 4 & 4 \\ 4 & 4 \end{matrix}) = (\begin{matrix} 8 & 8 \\ 8 & 8 \end{matrix}) = (\begin{matrix} 2^{3} & 2^{3} \\ 2^{3} & 2^{3} \end{matrix})$

$⋮$

$A^{k} = {AA}^{k - 1} = (\begin{matrix} 2^{k - 1} & 2^{k - 1} \\ 2^{k - 1} & 2^{k - 1} \end{matrix})$

$A^{k + 1} = {AA}^{k} = (\begin{matrix} 2^{k} & 2^{k} \\ 2^{k} & 2^{k} \end{matrix})$

$⋮$

Sustituimos en ( $10$ ).

$\begin{aligned} e^{(\begin{array}{c} 1 & 1 \\ 1 & 1 \end{array})} & = \frac{1}{0!} A^{0} + \frac{1}{1!} A^{1} + \frac{1}{2!} A^{2} + \frac{1}{3!} A^{3} + \frac{1}{4!} A^{4} + \dots + \frac{1}{k!} A^{k} + \dots \\ = \frac{1}{0!} (\begin{array}{c} 1 & 0 \\ 0 & 1 \end{array}) + \frac{1}{1!} (\begin{array}{c} 2^{0} & 2^{0} \\ 2^{0} & 2^{0} \end{array}) + \frac{1}{2!} (\begin{array}{c} 2^{1} & 2^{1} \\ 2^{1} & 2^{1} \end{array}) + \frac{1}{3!} (\begin{array}{c} 2^{2} & 2^{2} \\ 2^{2} & 2^{2} \end{array}) + \frac{1}{4!} (\begin{array}{c} 2^{3} & 2^{3} \\ 2^{3} & 2^{3} \end{array}) + \dots + \frac{1}{k!} (\begin{array}{c} 2^{k - 1} & 2^{k - 1} \\ 2^{k - 1} & 2^{k - 1} \end{array}) \\ = (\begin{array}{c} \frac{1}{0!} (1) & \frac{1}{0!} (0) \\ \frac{1}{0!} (0) & \frac{1}{0!} (1) \end{array}) + (\begin{array}{c} \frac{1}{1!} (2^{0}) & \frac{1}{1!} (2^{0}) \\ \frac{1}{1!} (2^{0}) & \frac{1}{1!} (2^{0}) \end{array}) + (\begin{array}{c} \frac{1}{2!} (2^{1}) & \frac{1}{2!} (2^{1}) \\ \frac{1}{2!} (2^{1}) & \frac{1}{2!} (2^{1}) \end{array}) + (\begin{array}{c} \frac{1}{3!} (2^{2}) & \frac{1}{3!} (2^{2}) \\ \frac{1}{3!} (2^{2}) & \frac{1}{3!} (2^{2}) \end{array}) + \dots + (\begin{array}{c} \frac{1}{k!} (2^{k - 1}) & \frac{1}{k!} (2^{k - 1}) \\ \frac{1}{k!} (2^{k - 1}) & \frac{1}{k!} (2^{k - 1}) \end{array}) \\ = (\begin{array}{c} \frac{1}{0!} (1) + \frac{1}{1!} (2^{0}) + \frac{1}{2!} (2^{1}) + \frac{1}{3!} (2^{2}) + \dots + \frac{1}{k!} (2^{k - 1}) & \frac{1}{0!} (0) + \frac{1}{1!} (2^{0}) + \frac{1}{2!} (2^{1}) + \frac{1}{3!} (2^{2}) + \dots + \frac{1}{k!} (2^{k - 1}) \\ \frac{1}{0!} (0) + \frac{1}{1!} (2^{0}) + \frac{1}{2!} (2^{1}) + \frac{1}{3!} (2^{2}) + \dots + \frac{1}{k!} (2^{k - 1}) & \frac{1}{0!} (1) + \frac{1}{1!} (2^{0}) + \frac{1}{2!} (2^{1}) + \frac{1}{3!} (2^{2}) + \dots + \frac{1}{k!} (2^{k - 1}) \end{array}) \\ = \frac{1}{2} (\begin{array}{c} \frac{1}{0!} (2) + \frac{1}{1!} (2^{1}) + \frac{1}{2!} (2^{2}) + \frac{1}{3!} (2^{3}) + \dots + \frac{1}{k!} (2^{k}) & \frac{1}{0!} (0) + \frac{1}{1!} (2^{1}) + \frac{1}{2!} (2^{2}) + \frac{1}{3!} (2^{3}) + \dots + \frac{1}{k!} (2^{k}) \\ \frac{1}{0!} (0) + \frac{1}{1!} (2^{1}) + \frac{1}{2!} (2^{2}) + \frac{1}{3!} (2^{3}) + \dots + \frac{1}{k!} (2^{k}) & \frac{1}{0!} (2) + \frac{1}{1!} (2^{1}) + \frac{1}{2!} (2^{2}) + \frac{1}{3!} (2^{3}) + \dots + \frac{1}{k!} (2^{k}) \end{array}) \end{aligned}$

¡Uff!. En la última igualdad lo que hicimos fue multiplicar por un uno en la forma $1 = \frac{2}{2}$ , esto nos permitió hacer que la potencia de los $2$ sea la misma que en el factorial.

Escribamos la última matriz como series infinitas.

$e^{(\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix})} = \frac{1}{2} (\begin{matrix} \frac{1}{0!} (2) + \sum_{k = 1}^{\infty} \frac{2^{k}}{k!} & \frac{1}{0!} (0) + \sum_{k = 1}^{\infty} \frac{2^{k}}{k!} \\ \frac{1}{0!} (0) + \sum_{k = 1}^{\infty} \frac{2^{k}}{k!} & \frac{1}{0!} (2) + \sum_{k = 1}^{\infty} \frac{2^{k}}{k!} \end{matrix})$

Nos gustaría hacer que las series comiencen en $k = 0$ . Notemos que, de acuerdo a la forma de la serie, el termino $k = 0$ daría como resultado un $1$ , considerando esto la expresión anterior la podemos escribir como

$e^{(\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix})} = \frac{1}{2} (\begin{matrix} 1 + \sum_{k = 0}^{\infty} \frac{2^{k}}{k!} & \sum_{k = 1}^{\infty} \frac{2^{k}}{k!} \\ \sum_{k = 1}^{\infty} \frac{2^{k}}{k!} & 1 + \sum_{k = 0}^{\infty} \frac{2^{k}}{k!} \end{matrix})$

Para las componentes de la matriz en las que la serie aún no comienza en $k = 0$ sumamos y restamos un $1$ , así el $+ 1$ puede ser incluido en la serie.

$e^{(\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix})} = \frac{1}{2} (\begin{matrix} 1 + \sum_{k = 0}^{\infty} \frac{2^{k}}{k!} & - 1 + \sum_{k = 0}^{\infty} \frac{2^{k}}{k!} \\ - 1 + \sum_{k = 0}^{\infty} \frac{2^{k}}{k!} & 1 + \sum_{k = 0}^{\infty} \frac{2^{k}}{k!} \end{matrix})$

Ahora todas las series comienzan en $k = 0$ . Sabemos que la serie converge a un número.

$\sum_{k = 0}^{\infty} \frac{2^{k}}{k!} = e^{2}$

Por definición de convergencia en matrices, se tiene

$e^{(\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix})} = \frac{1}{2} (\begin{matrix} 1 + e^{2} & - 1 + e^{2} \\ - 1 + e^{2} & 1 + e^{2} \end{matrix})$

Por lo tanto, la matriz que buscamos es

$e^{(\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix})} = (\begin{matrix} \frac{e^{2} + 1}{2} & \frac{e^{2} - 1}{2} \\ \frac{e^{2} - 1}{2} & \frac{e^{2} + 1}{2} \end{matrix})$

Como se puede notar, calcular la exponencial de una matriz usando la definición puede ser una tarea bastante tediosa. Por su puesto existen métodos que nos permiten calcular este tipo de matrices de forma más sencilla, más adelante revisaremos uno de ellos.

Algunas propiedades de la exponencial de una matriz se enuncian a continuación.

Teorema: Sean

A

B

matrices constantes de

n \times n

y sean

α

β

constantes, entonces

e^{0} = I .

Con

0

el vector cero e

I

la matriz identidad.

e^{A t} e^{- A t} = e^{- A t} e^{A t} = I .

Con

I

la matriz identidad.

e^{A (α + β)} = e^{A α} e^{A β}

A e^{A t} = e^{A t} A

{(e^{A t})}^{- 1} = e^{- A t}

e^{(A + B) t} = e^{A t} e^{B t} .

Siempre que

AB = BA

No demostraremos este teorema ya que nuestro principal interés está en conocer como estos conceptos y propiedades se pueden aplicar en nuestro estudio sobre sistemas lineales.

A continuación mostraremos un resultado importante e interesante y es que la función ( $11$ ) ¡es solución del sistema lineal homogéneo $Y^{'} = AY$ !.

La exponencial de una matriz y los sistemas lineales

Teorema: Sea

A

una matriz de

n \times n

con coeficientes constantes. La función

Y (t) = e^{A t}

es solución del sistema lineal homogéneo

Y^{'} = AY

Demostración: Consideremos la función $Y (t) = e^{A t}$ . Apliquemos la derivada término a término de la definición ( $11$ ).

$\begin{aligned} \frac{d}{d t} e^{A t} & = \frac{d}{d t} [I + A t + A^{2} \frac{t^{2}}{2!} + \dots + A^{k} \frac{t^{k}}{k!} + \dots] \\ = \frac{d}{d t} I + \frac{d}{d t} (A t) + \frac{d}{d t} (A^{2} \frac{t^{2}}{2!}) + \dots + \frac{d}{d t} (A^{k} \frac{t^{k}}{k!}) + \dots \end{aligned}$

Como las matrices $I$ y $A$ son constantes, entonces se tiene lo siguiente.

$\begin{aligned} \frac{d}{d t} e^{A t} & = 0 + A + A^{2} t + \frac{1}{2!} A^{3} t^{2} + \dots + A^{k} \frac{t^{k - 1}}{(k - 1)!} + A^{k + 1} \frac{t^{k}}{k!} + \dots \\ = A [I + A t + A^{2} \frac{t^{2}}{2!} + \dots + A^{k} \frac{t^{k}}{k!} + \dots] \\ = A e^{A t} \end{aligned}$

Con esto hemos mostrado que

$Label '12' multiply defined$

Es decir,

$Y^{'} = AY$

La ecuación ( $12$ ) no sólo prueba que es solución del sistema lineal, sino que además muestra cuál es la derivada de la matriz $e^{A t}$ .

Veamos un problema de valores iniciales.

Teorema: Sea

A

una matriz de

n \times n

con coeficientes constantes. La función

Y (t) = e^{A t} Y_{0}

es solución del problema de valores iniciales

Label '13' multiply defined

Donde

Y_{0}

es un vector de constantes.

Demostración: Consideremos la función

$Y (t) = e^{A t} Y_{0}$

con $Y_{0}$ un vector constante, si la derivamos obtenemos lo siguiente.

$Y^{'} = \frac{d}{d t} (e^{A t} Y_{0}) = (A e^{A t}) Y_{0} = A (e^{A t} Y_{0}) = AY$

En donde se ha hecho uso del resultado ( $12$ ). Esto muestra que la función $Y (t) = e^{A t} Y_{0}$ es solución del sistema $Y^{'} = AY$ .

Si tomamos $t = 0$ y considerando que $e^{A 0} = e^{0} = I$ , se tiene

$Y (0) = e^{A 0} Y_{0} = {IY}_{0} = Y_{0}$

Es decir, se satisface la condición inicial $Y (0) = Y_{0}$ .

Nota: Es claro que la matriz $e^{A t}$ es una matriz de $n \times n$ , mientras que el vector constante $Y_{0}$ es un vector de $n \times 1$ , así que es importante el orden de las matrices, la función del teorema anterior es $Y (t) = e^{A t} Y_{0}$ la cual esta bien definida y el resultado es una matriz de $n \times n$ , mientras que la operación $Y_{0} e^{A t}$ no está definida de acuerdo al algoritmo de multiplicación de matrices. Cuidado con ello.

Para concluir esta entrada retomaremos el concepto de matriz fundamental de soluciones visto en la entrada anterior.

Matriz fundamental de soluciones

Retomemos la definición de matriz fundamental de soluciones.

Definición: Sean

Y_{1} (t), Y_{2} (t), \dots, Y_{n} (t)

n

soluciones linealmente independientes del sistema lineal homogéneo

Y^{'} = AY

. Se le denomina matriz fundamental de soluciones del sistema a la matriz conformada por los vectores solución.

Label '14' multiply defined

En esta sección denotaremos por $\hat{Y} (t)$ a una matriz fundamental de soluciones.

El objetivo de esta sección es mostrar que se puede determinar directamente la matriz $e^{A t}$ a partir de cualquier matriz fundamental de soluciones. Antes de llegar a este resultado veamos unos resultados previos.

Teorema: Una matriz

\hat{Y} (t)

es una matriz fundamental de soluciones de

Y^{'} = AY

si y sólo si satisface al sistema y el Wronskiano es distinto de cero.

W (Y_{1}, Y_{2}, \dots, Y_{n}) (0) \neq 0

Demostración:

$\Rightarrow$ ) Por demostrar: $\hat{Y} (t)$ satisface al sistema y se cumple que $W (0) \neq 0$ .

Supongamos que $\hat{Y} (t)$ es una matriz fundamental de soluciones del sistema $Y^{'} = AY$ conformada por los vectores solución $Y_{1}, Y_{2}, \dots, Y_{n}$ , es decir,

$\hat{Y} (t) = (\begin{matrix} Y_{1} & Y_{2} & \dots & Y_{n} \end{matrix}) = (\begin{matrix} y_{11} (t) & y_{12} (t) & \dots & y_{1 n} (t) \\ y_{21} (t) & y_{22} (t) & \dots & y_{2 n} (t) \\ ⋮ & ⋮ \\ y_{n 1} (t) & y_{n 2} (t) & \dots & y_{n n} (t) \end{matrix})$

Si $A$ es la matriz de coeficientes ( $1$ ), entonces

$Label '15' multiply defined$

La $i$ -ésima columna del resultado de multiplicar estas matrices es

$Label '16' multiply defined$

Identificamos que esta matriz corresponde a la derivada $Y_{i}^{'}$ ya que cada $Y_{i}$ es solución del sistema, es decir,

$Label '17' multiply defined$

Entonces $A \hat{Y} (t)$ tiene por columnas a los vectores $Y_{1}^{'}, Y_{2}^{'}, \dots, Y_{n}^{'}$ . Por lo tanto

${\hat{Y}}^{'} = A \hat{Y}$

es decir, la matriz fundamental $\hat{Y} (t)$ satisface al sistema.

Como $\hat{Y} (t)$ es una matriz fundamental de soluciones, entonces los vectores que la componen $Y_{1}, Y_{2}, \dots, Y_{n}$ son linealmente independientes, de manera que $\forall$ $t \in R$ el Wronskiano es distinto de cero.

$Label '18' multiply defined$

en particular se cumple para $t = 0$ , es decir,

$W (Y_{1}, Y_{2}, \dots, Y_{n}) (0) \neq 0$

Demostremos el regreso.

$\Leftarrow$ ) Por demostrar: $\hat{Y} (t)$ es una matriz fundamental de soluciones.

Sea $\hat{Y} (t)$ una matriz compuesta por los vectores $Y_{1} (t), Y_{2} (t), \dots, Y_{n} (t)$ y cuya derivada es

${\hat{Y}}^{'} = A \hat{Y}$

entonces las columnas satisfacen

${AY}_{i} = Y_{i}^{'}$

así $Y_{i} (t)$ es solución del sistema

$Y^{'} = AY$

para $i = 1, 2, \dots, n$ .

Por otro lado, por hipótesis

$W (Y_{1}, Y_{2}, \dots, Y_{n}) (0) \neq 0$

Como es distinto de cero en un punto, entonces lo debe ser en todo el dominio, es decir, $\forall$ $t \in R$ se cumple que

$W (Y_{1}, Y_{2}, \dots, Y_{n}) (t) \neq 0$

lo que significa que $Y_{1}, Y_{2}, \dots, Y_{n}$ son linealmente independientes.

De ambos resultados concluimos que la matriz $\hat{Y} (t)$ es una matriz fundamental de soluciones.

Veamos un resultado interesante. Ya vimos que la matriz $e^{A t}$ es solución del sistema $Y^{'} = AY$ , pero no solo resulta ser solución, sino que además ¡es una matriz fundamental de soluciones!.

Teorema: La función

Y (t) = e^{A t}

es una matriz fundamental de soluciones del sistema

Y^{'} = AY

Demostración: Anteriormente mostramos que

$\frac{d}{d t} e^{A t} = A e^{A t}$

lo que prueba que $Y (t) = e^{A t}$ es solución del sistema $Y^{'} = AY$ .

Supongamos que $e^{A t}$ está compuesta por la matriz de vectores $Y_{1}, Y_{2}, \dots, Y_{n}$ . Si $t = 0$ , se tiene que

$e^{A 0} = e^{0} = I$

y además el determinante es distinto de cero.

$Label '19' multiply defined$

o bien,

$Label '20' multiply defined$

Por el teorema anterior concluimos que $Y (t) = e^{A t}$ es una matriz fundamental de soluciones del sistema lineal.

Veamos un resultado más antes de llegar a nuestro objetivo.

Teorema: Si

\hat{Y} (t)

\hat{Z} (t)

son matrices fundamentales de soluciones del sistema

Y^{'} = AY

, entonces existe una matriz constante

C

, tal que

Label '21' multiply defined

Demostración: Sean $\hat{Y} (t)$ y $\hat{Z} (t)$ matrices fundamentales del sistema $Y^{'} = AY$ . Supongamos que

$Label '22' multiply defined$

$Label '23' multiply defined$

Donde la $i$ -ésima columna de las matrices anteriores son

$Label '24' multiply defined$

Como ambas matrices son matrices fundamentales de soluciones, entonces cada $Y_{i}$ y cada $Z_{i}$ $i = 1, 2, 3, \dots, n$ son linealmente independientes. Esto nos permite escribir cualquier columna de $\hat{Y} (t)$ como combinación lineal de las columnas de $\hat{Z} (t)$ , es decir, existen constantes $c_{1 i}, c_{2 i}, \dots, c_{n i}$ , tales que

$Label '25' multiply defined$

Donde el índice $i$ de las constantes indica el número de columna de la matriz $\hat{Y} (t)$ , es decir, si definimos el vector

$Label '26' multiply defined$

podemos escribir la combinación lineal ( $25$ ) como

$Label '27' multiply defined$

Definamos la matriz constante $C$ como

$Label '28' multiply defined$

En forma matricial la operación $\hat{Z} (t) C$ corresponde al producto de las siguientes matrices de $n \times n$ .

$Label '29' multiply defined$

Observemos con cuidado que el resultado ( $27$ ) corresponde a la $i$ -ésima columna de hacer el producto $\hat{Z} (t) C$ . Por lo tanto, las $n$ ecuaciones ( $25$ ) son equivalentes al sistema

$\hat{Y} (t) = \hat{Z} (t) C$

Hemos llegado al resultado final. Dicho resultado involucra el concepto de matriz inversa, recordemos este concepto de álgebra lineal.

Definición: Sean

A

B

dos matrices de

n \times n

con componentes constantes. Suponiendo que

Label '30' multiply defined

Con

I

la matriz identidad. Entonces

B

se llama la matriz inversa de

A

y se denota por

A^{- 1}

La ecuación anterior queda como

$Label '31' multiply defined$

Demostremos el resultado que nos muestra cómo obtener la matriz $e^{A t}$ a partir de una matriz fundamental de soluciones.

Teorema: Si

\hat{Y} (t)

es una matriz fundamental de soluciones del sistema

Y^{'} = AY

, entonces

Label '32' multiply defined

donde

{\hat{Y}}^{- 1} (0)

es la matriz inversa de

\hat{Y} (t)

evaluada en

t = 0

Demostración: Sabemos que $e^{A t}$ y $\hat{Y} (t)$ son matrices fundamentales de soluciones de $Y^{'} = AY$ , de acuerdo al teorema anterior ambas funciones se relacionan de la siguiente forma.

$Label '33' multiply defined$

para alguna matriz constante $C$ .

Tomemos $t = 0$ , por un lado

$e^{A 0} = e^{0} = I$

Por otro lado, de ( $33$ )

$e^{A 0} = \hat{Y} (0) C$

De ambas ecuaciones tenemos que

$Label '34' multiply defined$

Esta ecuación obliga que

$Label '35' multiply defined$

Sustituyendo en ( $33$ ) concluimos que

$e^{A t} = \hat{Y} (t) {\hat{Y}}^{- 1} (0)$

Finalicemos con un ejemplo.

Ejemplo: Determinar la matriz $e^{A t}$ , donde

$A = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix})$

Solución: Imagina lo complicado que sería este problema si lo intentáramos resolver usando la definición ( $11$ ).

En la entrada anterior vimos que una matriz fundamental de soluciones del sistema lineal

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y$

$\hat{Y} (t) = (\begin{matrix} 1 & e^{2 t} & 0 \\ - 1 & e^{2 t} & 0 \\ 0 & 0 & e^{3 t} \end{matrix})$

Determinemos la matriz $e^{A t}$ usando la expresión ( $32$ ).

Calcular la matriz inversa puede ser una tarea larga y debido a que no es el objetivo llevar a cabo estas operaciones se puede comprobar que la matriz inversa de $\hat{Y} (t)$ es

${\hat{Y}}^{- 1} (t) = (\begin{matrix} \frac{1}{2} & - \frac{1}{2} & 0 \\ \frac{1}{2 e^{2 t}} & \frac{1}{2 e^{2 t}} & 0 \\ 0 & 0 & \frac{1}{e^{3 t}} \end{matrix})$

Basta probar que $\hat{Y} (t) {\hat{Y}}^{- 1} (t) = I$ . Para calcular la inversa se puede hacer uso de algún programa computacional. Si en la matriz inversa evaluamos en $t = 0$ , se tiene

${\hat{Y}}^{- 1} (0) = (\begin{matrix} \frac{1}{2} & - \frac{1}{2} & 0 \\ \frac{1}{2} & \frac{1}{2} & 0 \\ 0 & 0 & 1 \end{matrix})$

Por lo tanto,

$e^{A t} = \hat{Y} (t) {\hat{Y}}^{- 1} (0) = (\begin{matrix} 1 & e^{2 t} & 0 \\ - 1 & e^{2 t} & 0 \\ 0 & 0 & e^{3 t} \end{matrix}) (\begin{matrix} \frac{1}{2} & - \frac{1}{2} & 0 \\ \frac{1}{2} & \frac{1}{2} & 0 \\ 0 & 0 & 1 \end{matrix})$

Haciendo la multiplicación de matrices correspondiente obtenemos finalmente que

$e^{A t} = (\begin{matrix} \frac{e^{2 t} + 1}{2} & \frac{e^{2 t} - 1}{2} & 0 \\ \frac{e^{2 t} - 1}{2} & \frac{e^{2 t} + 1}{2} & 0 \\ 0 & 0 & e^{3 t} \end{matrix})$

Existen otras formas de calcular la exponencial de una matriz, una de ellas es usando la transformada de Laplace y otra puede ser diagonalizando matrices. Si lo deseas puedes investigar sobre estos métodos en la literatura, por nuestra parte serán temas que no revisaremos ya que, más que obtener exponenciales de matrices, estamos interesados en obtener soluciones de sistemas de ecuaciones diferenciales, aunque como vimos, están estrechamente relacionados.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Sea

$A (t) = (\begin{matrix} \sin (2 t) \\ e^{3 t} \\ 8 t - 1 \end{matrix})$

Demostrar que la derivada de la matriz $A$ es

$\frac{d}{d t} A (t) = (\begin{matrix} 2 \cos (2 t) \\ 3 e^{3 t} \\ 8 \end{matrix})$

Demostrar que la integral de $0$ a $t$ de la matriz $A$ es

$\int_{0}^{t} A (s) d s = (\begin{matrix} - \frac{1}{2} \cos (2 t) + \frac{1}{2} \\ \frac{1}{3} e^{3 t} - \frac{1}{3} \\ 4 t^{2} - t \end{matrix})$

Demostrar que

$\int (\begin{matrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix}) d s = t I + C$

Donde,

$I = (\begin{matrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix}) y C = (\begin{matrix} 0 & c & c \\ c & 0 & c \\ c & c & 0 \end{matrix})$

con $c$ una constante.

Obtener la matriz $e^{A t}$ para los siguientes casos:

$A = (\begin{matrix} 1 & 2 \\ 2 & 1 \end{matrix})$

$A = (\begin{matrix} 2 & 1 \\ 1 & 2 \end{matrix})$

$A = (\begin{matrix} 1 & 2 \\ 2 & 4 \end{matrix})$

Sea $\hat{Y} (t)$ una matriz fundamental de soluciones del sistema $Y^{'} = AY$ . Demostrar que $e^{A (t - t_{0})} = \hat{Y} (t) {\hat{Y}}^{- 1} (t_{0})$

Una matriz fundamental del sistema

$Y^{'} = (\begin{matrix} 1 & - 1 \\ 1 & 3 \end{matrix}) Y = AY$

es

$\hat{Y} (t) = (\begin{matrix} e^{2 t} & t e^{2 t} \\ - e^{2 t} & - (1 + t) e^{2 t} \end{matrix})$

Demostrar que la matriz anterior en efecto es una matriz fundamental de soluciones del sistema.

Demostrar que la matriz $e^{A t}$ está dada por

$e^{A t} = (\begin{matrix} (1 - t) e^{2 t} & - t e^{2 t} \\ t e^{2 t} & (1 + t) e^{2 t} \end{matrix})$

Más adelante…

En estas tres primeras entradas de la unidad 3 establecimos la teoría básica que debemos conocer sobre los sistemas lineales de primer orden compuestos por $n$ ecuaciones diferenciales lineales de primer orden. En particular, esta entrada es de interés, pues más adelante la exponencial de una matriz volverá a aparecer cuando estudiemos métodos de resolución y cuando justifiquemos los teoremas de existencia y unicidad.

En las siguientes entradas comenzaremos a desarrollar los distintos métodos de resolución de estos sistemas lineales. En particular, en la siguiente entrada desarrollaremos el método de eliminación de variables, éste método en realidad es muy sencillo, útil y práctico en muchas ocasiones, aunque también es un método muy limitado.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Soluciones a sistemas de ecuaciones diferenciales
Siguiente entrada del curso: Método de eliminación de variables

Video relacionado al tema: La exponencial de una matriz

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I: Soluciones a sistemas de ecuaciones diferenciales

Por Omar González Franco

Deja un comentario

Los errores y dificultades no resueltos en el pasado de las matemáticas
siempre han sido las oportunidades de su futuro.
– E. T. Bell

Introducción

En la entrada anterior vimos lo que es un sistema de ecuaciones diferenciales, en particular un sistema lineal de primer orden. Vimos también lo que es un problema de valores iniciales y establecimos la notación matricial.

Así mismo, vimos cómo es que una ecuación diferencial lineal de orden $n$ se puede transformar en un sistema lineal de primer orden, esto tiene bastante ventaja ya que, una vez que veamos cómo resolver sistemas de ecuaciones diferenciales, muchas veces será más sencillo resolver el sistema que resolver la ecuación de orden $n$ aplicando los métodos que ya conocemos.

En esta entrada estudiaremos las propiedades de las soluciones de los sistemas lineales de primer orden.

Cabe mencionar que mucho de lo que desarrollaremos en esta entrada es bastante similar a la teoría vista con las ecuaciones diferenciales de orden $n$ , comenzando por la validez del principio de superposición.

A partir de ahora sólo usaremos la notación matricial y toda la teoría básica del álgebra lineal que éstas conllevan.

Soluciones de sistemas lineales de primer orden

Comencemos por estudiar el caso homogéneo. El sistema lineal de primer orden homogéneo es

$Label '1' multiply defined$

O bien,

$Label '2' multiply defined$

En la entrada anterior definimos la solución de un sistema de ecuaciones diferenciales en el intervalo $δ$ como el conjunto de $n$ funciones

$Label '3' multiply defined$

definidas en $δ$ y diferenciables en el mismo intervalo, tales que satisfacen simultáneamente las $n$ ecuaciones diferenciables de un sistema lineal.

Las soluciones pueden ser escritas como el vector

$Label '4' multiply defined$

cuyos elementos son funciones derivables que satisfacen un sistema lineal en el intervalo $δ$ .

En las siguientes definiciones y teoremas se supondrá que los coeficientes $a_{i j} (t)$ , $i, j \in {1, 2, 3, \dots, n}$ y ,para el caso no homogéneo, las funciones $g_{i} (t)$ , son continuas en algún intervalo común $δ$ .

Comencemos por mostrar que el principio de superposición también es valido para sistemas lineales.

Teorema: Sean

Y_{1}, Y_{2}, \dots, Y_{m}

vectores solución del sistema homogéneo (

2

) en un intervalo

δ

, entonces la combinación lineal

Label '5' multiply defined

donde las

c_{i}

i = 1, 2, \dots, m

son constantes arbitrarias, es también una solución en el intervalo

δ

Demostración: Consideremos la combinación lineal

$Y = c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{m} Y_{m}$

con

$Y_{i} = (\begin{matrix} y_{1 i} \\ y_{2 i} \\ ⋮ \\ y_{n i} \end{matrix})$

para $i = 1, 2, \dots, m$ . La derivada de $Y_{i}$ esta dada por

$Y_{i}^{'} = (\begin{matrix} y_{1 i}^{'} \\ y_{2 i}^{'} \\ ⋮ \\ y_{n i}^{'} \end{matrix})$

Entonces la derivada de la combinación lineal es

$\begin{aligned} Y^{'} & = (\begin{array}{c} c_{1} y_{11}^{'} + c_{2} y_{12}^{'} + \dots + c_{m} y_{1 m}^{'} \\ c_{1} y_{21}^{'} + c_{2} y_{22}^{'} + \dots + c_{m} y_{2 m}^{'} \\ ⋮ \\ c_{1} y_{n 1}^{'} + c_{2} y_{n 2}^{'} + \dots + c_{m} y_{n m}^{'} \end{array}) \\ = c_{1} (\begin{array}{c} y_{11}^{'} \\ y_{21}^{'} \\ ⋮ \\ y_{n 1}^{'} \end{array}) + c_{2} (\begin{array}{c} y_{12}^{'} \\ y_{22}^{'} \\ ⋮ \\ y_{n 2}^{'} \end{array}) + \dots + c_{m} (\begin{array}{c} y_{1 m}^{'} \\ y_{2 m}^{'} \\ ⋮ \\ y_{n m}^{'} \end{array}) \\ = c_{1} Y_{1}^{'} + c_{2} Y_{2}^{'} + \dots + c_{m} Y_{m}^{'} \end{aligned}$

Como cada $Y_{i}$ , $i = 1, 2, \dots, m$ , es solución del sistema homogéneo ( $2$ ) en $δ$ , entonces

$Y_{i}^{'} = A Y_{i}$

así

$\begin{aligned} Y^{'} & = c_{1} ({AY}_{1}) + c_{2} ({AY}_{2}) + \dots + c_{m} ({AY}_{m}) \\ = A (c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{m} Y_{m}) \\ = AY \end{aligned}$

En donde se ha hecho uso de la propiedad distributiva de la matriz $A$ y de la hipótesis ( $5$ ). Por lo tanto, la combinación lineal

$Y = c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{m} Y_{m}$

también es solución y los es en el mismo intervalo común $δ$ ya que esta compuesta de soluciones definidas en dicho intervalo.

Corolario: Un múltiplo constante de cualquier vector solución de un sistema lineal homogéneo es también solución.

Intenta hacer la demostración.

Definición: Denotaremos como

S

al conjunto de vectores que son solución del sistema lineal homogéneo (

2

Label '6' multiply defined

Realicemos un ejemplo.

Ejemplo: Probar que la combinación lineal

$Y = c_{1} Y_{1} + c_{2} Y_{2} + c_{3} Y_{3} = c_{1} (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) + c_{2} (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}) + c_{3} (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

es solución del sistema lineal

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y$

Solución: Probemos que cada uno de los vectores de la combinación lineal es solución y usemos el principio de superposición.

Los vectores son

$Y_{1} = (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}), Y_{2} = (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}), Y_{3} = (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

Por un lado, derivemos estos vectores.

$Y_{1}^{'} = (\begin{matrix} 0 \\ 0 \\ 0 \end{matrix}), Y_{2}^{'} = (\begin{matrix} 2 e^{2 t} \\ 2 e^{2 t} \\ 0 \end{matrix}), Y_{3}^{'} = (\begin{matrix} 0 \\ 0 \\ 3 e^{3 t} \end{matrix})$

Por otro lado, sustituyamos cada uno de los vectores en el sistema lineal y usemos los resultados anteriores.

${AY}_{1} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) = (\begin{matrix} 1 - 1 \\ 1 - 1 \\ 0 \end{matrix}) = (\begin{matrix} 0 \\ 0 \\ 0 \end{matrix}) = Y_{1}^{'}$

${AY}_{2} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}) = (\begin{matrix} e^{2 t} + e^{2 t} \\ e^{2 t} + e^{2 t} \\ 0 \end{matrix}) = (\begin{matrix} 2 e^{2 t} \\ 2 e^{2 t} \\ 0 \end{matrix}) = Y_{2}^{'}$

${AY}_{3} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix}) = (\begin{matrix} 0 \\ 0 \\ 3 e^{3 t} \end{matrix}) = Y_{3}^{'}$

De esta manera queda mostrado que los tres vectores son solución, ya que satisfacen el sistema. Por el principio de superposición concluimos que la combinación lineal

también es solución del sistema lineal.

El principio de superposición nos indica que un sistema lineal puede tener más de una solución, sin embargo, similar al caso de ecuaciones diferenciales de orden $n$ , buscamos soluciones que sean linealmente independientes entre sí. A continuación definimos la dependencia e independencia lineal de las soluciones en este contexto.

Definición: Sea

S = {Y_{1}, Y_{2}, \dots, Y_{m}}

un conjunto de vectores solución del sistema homogéneo (

2

) en un intervalo

δ

. Se dice que el conjunto es linealmente dependiente en el intervalo si existen constantes

c_{1}, c_{2}, \dots, c_{m}

, no todas cero, tales que

Label '7' multiply defined

para toda

t \in δ

. Si el conjunto de vectores no es linealmente dependiente en

δ

, es decir, si ocurre (

7

) implicando que

c_{1} = c_{2} = \dots = c_{m} = 0

, entonces se dice que el conjunto es linealmente independiente.

En la unidad anterior definimos una herramienta muy útil que, además de ayudarnos a resolver ecuaciones diferenciales de orden superior en algunos métodos, nos ayuda a determinar si un conjunto de soluciones es linealmente independiente, dicha herramienta es el Wronskiano, la definición en el caso de los sistemas lineales de primer orden, es la siguiente.

Definición: Sean

Y_{1} (t) = (\begin{matrix} y_{11} \\ y_{21} \\ ⋮ \\ y_{n 1} \end{matrix}), Y_{2} (t) = (\begin{matrix} y_{12} \\ y_{22} \\ ⋮ \\ y_{n 2} \end{matrix}), \dots, Y_{n} (t) = (\begin{matrix} y_{1 n} \\ y_{2 n} \\ ⋮ \\ y_{n n} \end{matrix})

n

soluciones del sistema lineal homogéneo (

2

) en un intervalo

δ

, se define el Wronskiano como el siguiente determinante.

Label '8' multiply defined

Se puede demostrar que si el Wronskiano es distinto de cero, entonces las soluciones son linealmente independientes, igual que antes, esto es conocido como el criterio para soluciones linealmente independientes. Para demostrar este hecho es conveniente recordar algunos resultados de álgebra que podremos usar en la demostración.

Recordemos que un sistema lineal de $n$ ecuaciones con $n$ incógnitas es un conjunto de ecuaciones

$Label '9' multiply defined$

Con $b_{i, j}$ y $d_{i}$ , $i, j \in {1, 2, 3, \dots, n}$ números reales dados y $u_{i}$ , $i = 1, 2, \dots, n$ las incógnitas. Usando la notación matricial podemos escribir el sistema ( $9$ ) como

$Label '10' multiply defined$

con

$B = (\begin{matrix} b_{11} & b_{12} & \dots & b_{1 n} \\ b_{21} & b_{22} & \dots & b_{2 n} \\ ⋮ & ⋮ \\ b_{n 1} & b_{n 2} & \dots & b_{n n} \end{matrix}), U = (\begin{matrix} u_{1} \\ u_{2} \\ ⋮ \\ u_{n} \end{matrix}), D = (\begin{matrix} d_{1} \\ d_{2} \\ ⋮ \\ d_{n} \end{matrix})$

Los resultados que nos interesan son los siguientes.

Teorema: El sistema de ecuaciones (

10

) tiene una única solución si y sólo si el determinante de

B

es distinto de cero, es decir,

| B | \neq 0

Teorema: Si

D = 0

y el sistema sólo tiene solución trivial

U = 0

, entonces

| B | \neq 0

. En su efecto, si el sistema no tiene solución trivial, es decir,

U \neq 0

, entonces

| B | = 0

Si $D = 0$ , el sistema ( $10$ ) también recibe el nombre de sistema homogéneo.

Con estos resultados podemos demostrar el criterio para soluciones linealmente independientes que se enuncia a continuación.

Teorema: Sean

Y_{1}, Y_{2}, \dots, Y_{n}

n

vectores solución del sistema homogéneo (

2

) en un intervalo

δ

, entonces el conjunto de vectores solución

S = {Y_{1}, Y_{2}, \dots, Y_{n}}

es linealmente independiente en

δ

si y sólo si

\forall

t \in δ

el Wronskiano es distinto de cero.

W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0

Demostración:

$\Rightarrow$ ) Por demostrar: $W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0$ .

Sea $t_{0} \in δ$ en el que $W (t_{0}) = 0$ , en donde $W (t_{0})$ denota al Wronskiano con cada vector solución evaluado en el punto $t_{0}$ .

$W (t_{0}) = W (Y_{1} (t_{0}), Y_{2} (t_{0}), \dots, Y_{n} (t_{0}))$

En una combinación de ambos teoremas de los resultados de álgebra podemos deducir que existen constantes $c_{1}, c_{2}, \dots, c_{n}$ , no todos cero, tal que

$Label '11' multiply defined$

Lo que tenemos es un sistema lineal de $n$ ecuaciones homogéneo con $n$ incógnitas (sistema lineal en el contexto algebraico ( $10$ ) con $D = 0$ , no sistema lineal de ecuaciones diferenciales), dichas incógnitas son las constantes $c_{i}$ , $i = 1, 2, \dots, n$ . La relación ( $11$ ) se cumple debido a que si el Wronskiano es igual a cero, entonces es posible que el sistema no tenga solución trivial y mucho menos una solución única, esto lo deducimos de los teoremas de álgebra que establecimos.

Por otro lado, sabemos por hipótesis que los vectores $Y_{1}, Y_{2}, \dots, Y_{n}$ son solución del sistema homogéneo ( $2$ ) en el intervalo $δ$ , por el principio de superposición sabemos también que la combinación lineal

$Y (t) = c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{n} Y_{n}$

es solución de ( $2$ ) en $δ$ . Del resultado ( $11$ ) y de la unicidad de la solución se deduce que $Y (t) = 0$ para algún punto $t = t_{0} \in δ$ , es decir,

$c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{n} Y_{n} = 0$

Pero por hipótesis los vectores $Y_{1}, Y_{2}, \dots, Y_{n}$ son linealmente independientes en $δ$ , lo que implica que

$c_{1} = c_{2} = \dots = c_{n} = 0$

lo cual es una contradicción con lo que establecimos en ( $11$ ). Por lo tanto, el Wronskiano tiene que ser distinto de cero, es decir

$W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0$

$\Leftarrow$ ) Por demostrar: $S$ es linealmente independiente.

Este caso también lo demostraremos por contradicción. Supongamos que los vectores solución $Y_{1}, Y_{2}, \dots, Y_{n}$ son linealmente dependientes en $δ$ , esto implica que existen constantes $c_{1}, c_{2}, \dots, c_{n}$ no todos cero, tal que

$c_{1} Y_{1} + c_{2} Y_{2} + \dots + c_{n} Y_{n} = 0$

Este sistema lo podemos escribir en la forma ( $9$ ) como

$\begin{matrix} c_{1} y_{11} + c_{2} y_{12} + \dots + c_{n} y_{1 n} = 0 \\ c_{1} y_{21} + c_{2} y_{22} + \dots + c_{n} y_{2 n} = 0 \\ ⋮ \\ c_{1} y_{n 1} + c_{2} y_{n 2} + \dots + c_{n} y_{n n} = 0 \end{matrix}$

En donde las funciones $y_{i j}$ , $i, j \in {1, 2, 3, \dots, n}$ son los coeficientes y las constantes $c_{i}$ , $i = 1, 2, \dots, n$ son las incógnitas. Debido a que las $c_{i}$ no son todas cero implica que el sistema no tiene solución trivial y por el segundo teorema de los resultados de álgebra concluimos que

$W (Y_{1}, Y_{2}, \dots, Y_{n}) = 0$

Pero, por hipótesis

$W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0$

lo cual es una contradicción y todo nace de considerar a $S$ como un conjunto linealmente dependiente. Por lo tanto, el conjunto de soluciones

$S = {Y_{1}, Y_{2}, \dots, Y_{n}}$

es linealmente independiente en $δ$ .

Un resultado interesante se enuncia a continuación.

Teorema: Sean

Y_{1}, Y_{2}, \dots, Y_{n}

n

vectores solución del sistema homogéneo (

2

), entonces para toda

t \in δ

ocurre sólo uno de los siguientes casos:

W (Y_{1}, Y_{2}, \dots, Y_{n}) = 0

W (Y_{1}, Y_{2}, \dots, Y_{n}) \neq 0

Este resultado nos garantiza que si $W \neq 0$ para algún punto $t_{0} \in δ$ , entonces $W \neq 0$ para toda $t \in δ$ y por el criterio anterior las soluciones serán linealmente independientes en ese intervalo.

El conjunto de soluciones linealmente independientes del sistema lineal ( $2$ ) recibe un nombre especial.

Definición: Al conjunto

S = {Y_{1}, Y_{2}, \dots, Y_{n}}

n

vectores solución linealmente independientes del sistema homogéneo (

2

) en un intervalo

δ

se dice que es un conjunto fundamental de soluciones en dicho intervalo.

El siguiente teorema nos garantiza la existencia de este conjunto.

Teorema: Existe un conjunto fundamental de soluciones para el sistema homogéneo en un intervalo

δ

El conjunto fundamental de soluciones está constituido por vectores que son linealmente independientes entre sí, con estos vectores es posible formar una matriz cuyas columnas están formadas con las entradas de dichos vectores, esta matriz tiene un nombre especial.

Definición: Sean

Y_{1} (t), Y_{2} (t), \dots, Y_{n} (t)

n

soluciones linealmente independientes del sistema lineal homogéneo (

2

). Se le denomina matriz fundamental de soluciones del sistema a la matriz conformada por los vectores solución.

Label '12' multiply defined

Un hecho interesante es que el determinante de la matriz fundamental de soluciones corresponde al Wronskiano.

$Label '13' multiply defined$

Realicemos un ejemplo, para ello consideremos el sistema lineal del ejemplo anterior.

Ejemplo: Mostrar que las soluciones

$Y_{1} = (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}), Y_{2} = (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}), Y_{3} = (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

del sistema lineal

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y$

son linealmente independientes.

Solución: En el ejemplo anterior ya comprobamos que efectivamente son solución del sistema lineal dado. Para determinar si son linealmente independientes veamos si el Wronskiano es distinto de cero.

$W (Y_{1}, Y_{2}, Y_{3}) = | \begin{matrix} 1 & e^{2 t} & 0 \\ - 1 & e^{2 t} & 0 \\ 0 & 0 & e^{3 t} \end{matrix} | = e^{5 t} + 0 + 0 - 0 - 0 - (- e^{5 t}) = 2 e^{5 t} \neq 0$

Como $W \neq 0$ , $\forall$ $t \in R$ , entonces los vectores dados son linealmente independientes y por lo tanto forman un conjunto fundamental de soluciones en $R$ .

$S = {(\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}), (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}), (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})}$

La matriz fundamental de soluciones es

$M (t) = (\begin{matrix} 1 & e^{2 t} & 0 \\ - 1 & e^{2 t} & 0 \\ 0 & 0 & e^{3 t} \end{matrix})$

Un buen ejercicio sería mostrar que un conjunto de soluciones del sistema lineal homogéneo ( $2$ ) forma un espacio vectorial, es relativamente sencillo probar cada una de las propiedades o axiomas que definen a un espacio vectorial. El resultado a demostrar de tarea moral es el siguiente.

Teorema: El conjunto de soluciones (

6

) del sistema lineal homogéneo (

2

) forma un espacio vectorial con la suma y el producto por escalares usuales de matrices.

Soluciones generales a sistemas lineales

Ahora que conocemos algunas propiedades de las soluciones de sistemas lineales, es momento de conocer la forma general de las soluciones de los sistemas lineales tanto homogéneos como no homogéneos.

Comencemos por enunciar el teorema que establece la forma de la solución general de un sistema lineal homogéneo ( $2$ ).

Teorema: Sea

S = {Y_{1}, Y_{2}, \dots, Y_{n}}

un conjunto fundamental de soluciones del sistema lineal homogéneo

Y^{'} = AY

en un intervalo

δ

. Entonces la solución general del sistema en el intervalo

δ

Label '14' multiply defined

donde las

c_{i}

i = 1, 2, \dots, n

son constantes arbitrarias.

Demostración: Sea $Y (t)$ una solución arbitraria del sistema lineal homogéneo en el intervalo $δ$ , sea $t_{0} \in δ$ y supongamos que

$Y (t_{0}) = (\begin{matrix} b_{1} \\ b_{2} \\ ⋮ \\ b_{n} \end{matrix}) = Y_{0}$

Es decir, la función $Y (t)$ satisface el problema de valores iniciales $Y^{'} = AY; Y (t_{0}) = Y_{0}$ .

Por otro lado, por el principio de superposición sabemos que la combinación lineal

$\hat{Y} (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t)$

también es solución del sistema lineal $Y^{'} = AY$ . Donde $c_{i}$ , $i = 1, 2, \dots, n$ son constantes arbitrarias y las $Y_{i}$ , $i = 1, 2, \dots, n$ son las soluciones del conjunto fundamental de soluciones del sistema lineal. Supongamos que

$\hat{Y} (t_{0}) = c_{1} Y_{1} (t_{0}) + c_{2} Y_{2} (t_{0}) + \dots + c_{n} Y_{n} (t_{0}) = Y_{0}$

Lo que tenemos es el siguiente sistema de $n$ ecuaciones.

$\begin{matrix} c_{1} y_{11} (t_{0}) + c_{2} y_{12} (t_{0}) + \dots + c_{n} y_{1 n} (t_{0}) = b_{1} \\ c_{1} y_{21} (t_{0}) + c_{2} y_{22} (t_{0}) + \dots + c_{n} y_{2 n} (t_{0}) = b_{2} \\ ⋮ \\ c_{1} y_{n 1} (t_{0}) + c_{2} y_{n 2} (t_{0}) + \dots + c_{n} y_{n n} (t_{0}) = b_{n} \end{matrix}$

En donde las incógnitas son las contantes $c_{i}$ , $i = 1, 2, \dots, n$ . Como las funciones $y_{i j}$ , $i, j \in {1, 2, 3, \dots, n}$ pertenecen a vectores del conjunto de soluciones, entonces sabemos que $Y_{1}, Y_{2}, \dots, Y_{n}$ son linealmente independientes y por el criterio para soluciones linealmente independientes inferimos que $W (t_{0}) \neq 0$ , donde

$W (t_{0}) = W (Y_{1} (t_{0}), Y_{2} (t_{0}), \dots, Y_{n} (t_{0}))$

De los resultados de álgebra deducimos que el sistema de $n$ ecuaciones tiene solución única, esto significa que existen constantes únicas $c_{1}, c_{2}, \dots, c_{n}$ , tal que

$c_{1} Y_{1} (t_{0}) + c_{2} Y_{2} (t_{0}) + \dots + c_{n} Y_{n} (t_{0}) = Y_{0}$

Esto nos indica que

$\hat{Y} (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t)$

es solución del problema de valores iniciales. Por el teorema de existencia y unicidad para sistemas lineales homogéneas concluimos que $Y (t) = \hat{Y} (t)$ , es decir,

$Y (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t)$

Como $Y (t)$ es una solución arbitraria, entonces debe ser la solución general del sistema lineal homogéneo en $δ$ .

Para concluir la entrada estudiemos el caso no homogéneo.

Sistemas no homogéneos

El sistema lineal de primer orden no homogéneo es

$Label '15' multiply defined$

O bien,

$Label '16' multiply defined$

El vector de funciones que satisface el sistema ( $16$ ) es una solución y recibe un nombre.

Definición: Se le denomina solución particular

Y_{p}

a cualquier vector que es libre de parámetros arbitrarios cuyos elementos son funciones que satisfacen el sistema (

16

) en algún intervalo

δ

A continuación se enuncia el teorema que nos muestra la forma general de la solución de un sistema lineal no homogéneo.

Teorema: Sea

Y_{p}

una solución particular del sistema no homogéneo (

16

) en un intervalo

δ

y sea

Label '17' multiply defined

la solución general en el mismo intervalo

δ

del sistema homogéneo asociado

Y^{'} = AY

. Entonces la solución general del sistema no homogéneo en el intervalo

δ

, es

Label '18' multiply defined

Demostración: Sea

$Y_{p} (t) = (\begin{matrix} y_{1 p} \\ y_{2 p} \\ ⋮ \\ y_{n p} \end{matrix})$

una solución particular de ( $16$ ) y sean $Y_{1} (t), Y_{2} (t), \dots, Y_{n} (t)$ , $n$ soluciones linealmente independientes del sistema homogéneo asociado $Y^{'} = AY$ .

Sea $Y (t)$ una solución arbitraria del sistema no homogéneo, notemos lo siguiente.

$\begin{aligned} (Y (t) - Y_{p} (t))^{'} & = Y^{'} (t) - Y_{p}^{'} (t) \\ = (AY (t) + G) - ({AY}_{p} (t) + G) \\ = A (Y (t) - Y_{p} (t)) \end{aligned}$

Este resultado nos indica que $Y (t) - Y_{p} (t)$ es solución del sistema homogéneo, eso significa que se puede escribir como

$Y (t) - Y_{p} (t) = c_{1} Y_{1} (t) + c_{2} Y_{2} (t) + \dots + c_{n} Y_{n} (t)$

entonces, la solución $Y$ tiene la forma

$Label '19' multiply defined$

La solución $Y (t)$ , al ser cualquier solución del sistema lineal no homogéneo, podemos deducir que la solución general debe tener la forma ( $19$ ), por lo que concluimos que $Y (t)$ se trata de la solución general de ( $16$ ).

Considerando la hipótesis ( $17$ ) concluimos que la solución general del sistema lineal no homogéneo es

$Y (t) = Y_{c} (t) + Y_{p} (t)$

Cuando estamos trabajando con un sistema lineal no homogéneo, la solución general del sistema lineal homogéneo asociado ( $17$ ) recibe un nombre particular.

Definición: La solución general

Y_{c}

del sistema lineal homogéneo asociado se le denomina función complementaria del sistema lineal no homogéneo.

Concluyamos con un ejemplo.

Ejemplo: Probar que el vector

$Y_{p} = (\begin{matrix} - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ \frac{1}{2} t^{2} e^{3 t} \end{matrix})$

es una solución particular del siguiente sistema lineal no homogéneo.

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y + (\begin{matrix} e^{t} \\ e^{2 t} \\ t e^{3 t} \end{matrix})$

Solución: Por un lado, derivemos el vector dado.

$Y_{p}^{'} = (\begin{matrix} - \frac{1}{2} e^{2 t} + \frac{1}{2} e^{2 t} + t e^{2 t} \\ - e^{t} + \frac{1}{2} e^{2 t} + \frac{1}{2} e^{2 t} + t e^{2 t} \\ t e^{3 t} + \frac{3}{2} t^{2} e^{3 t} \end{matrix}) = (\begin{matrix} t e^{2 t} \\ - e^{t} + e^{2 t} + t e^{2 t} \\ t e^{3 t} + \frac{3}{2} t^{2} e^{3 t} \end{matrix})$

Por otro lado, sustituyamos directamente en el sistema al vector dado.

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) (\begin{matrix} - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ \frac{1}{2} t^{2} e^{3 t} \end{matrix}) + (\begin{matrix} e^{t} \\ e^{2 t} \\ t e^{3 t} \end{matrix})$

Operando obtenemos lo siguiente.

$Y^{'} = (\begin{matrix} - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} + e^{t} \\ - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} + e^{2 t} \\ \frac{3}{2} t^{2} e^{3 t} + t e^{3 t} \end{matrix}) = (\begin{matrix} t e^{2 t} \\ - e^{t} + e^{2 t} + t e^{2 t} \\ t e^{3 t} + \frac{3}{2} t^{2} e^{3 t} \end{matrix})$

Los resultados obtenidos son los mismos, por lo tanto el vector $Y_{p}$ es solución del sistema.

En los ejemplos anteriores de esta entrada probamos que el conjunto fundamental de soluciones del sistema lineal homogéneo asociado

$Y^{'} = (\begin{matrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 3 \end{matrix}) Y$

esta constituido por los vectores linealmente independientes

$Y_{1} = (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}), Y_{2} = (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}), Y_{3} = (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

de manera que la función complementaria es

$Y_{c} = c_{1} (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) + c_{2} (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}) + c_{3} (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix})$

Como la solución general es

$Y = Y_{c} + Y_{p}$

Entonces la solución general del sistema lineal no homogéneo es

$Y (t) = c_{1} (\begin{matrix} 1 \\ - 1 \\ 0 \end{matrix}) + c_{2} (\begin{matrix} e^{2 t} \\ e^{2 t} \\ 0 \end{matrix}) + c_{3} (\begin{matrix} 0 \\ 0 \\ e^{3 t} \end{matrix}) + (\begin{matrix} - \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ - e^{t} + \frac{1}{4} e^{2 t} + \frac{1}{2} t e^{2 t} \\ \frac{1}{2} t^{2} e^{3 t} \end{matrix})$

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Los siguientes vectores son soluciones de un sistema lineal homogéneo $Y^{'} = AY$ . Determinar si forman un conjunto fundamental de soluciones en $R$ .

$Y_{1} = (\begin{matrix} 1 \\ - 1 \end{matrix}) e^{t}, Y_{2} = (\begin{matrix} 2 \\ 6 \end{matrix}) e^{t} + (\begin{matrix} 8 \\ - 8 \end{matrix}) t e^{t}$

$Y_{1} = (\begin{matrix} 1 \\ 6 \\ - 13 \end{matrix}), Y_{2} = (\begin{matrix} 1 \\ - 2 \\ - 1 \end{matrix}) e^{- 4 t}, Y_{3} = (\begin{matrix} 2 \\ 3 \\ - 2 \end{matrix}) e^{3 t}$

Probar que el vector $Y_{p}$ es una solución particular del sistema lineal dado.

$Y^{'} = (\begin{matrix} 2 & 1 \\ 3 & 4 \end{matrix}) Y - (\begin{matrix} 1 \\ 7 \end{matrix}) e^{t}, Y_{p} = (\begin{matrix} 1 \\ 1 \end{matrix}) e^{t} + (\begin{matrix} 1 \\ - 1 \end{matrix}) t e^{t}$

$Y^{'} = (\begin{matrix} 1 & 2 & 3 \\ - 4 & 2 & 0 \\ - 6 & 1 & 0 \end{matrix}) Y + (\begin{matrix} - 1 \\ 4 \\ 3 \end{matrix}) \sin (3 t), Y_{p} = (\begin{matrix} \sin (3 t) \\ 0 \\ \cos (3 t) \end{matrix})$

Mostrar que la solución general de

$Y^{'} = (\begin{matrix} 0 & 6 & 0 \\ 1 & 0 & 1 \\ 1 & 1 & 0 \end{matrix}) Y$

en el intervalo $(- \infty, \infty)$ es

$Y = c_{1} (\begin{matrix} 6 \\ - 1 \\ - 5 \end{matrix}) e^{- t} + c_{2} (\begin{matrix} - 3 \\ 1 \\ 1 \end{matrix}) e^{- 2 t} + c_{3} (\begin{matrix} 2 \\ 1 \\ 1 \end{matrix}) e^{3 t}$

Mostrar que la solución general de

$Y^{'} = (\begin{matrix} - 1 & - 1 \\ - 1 & 1 \end{matrix}) Y + (\begin{matrix} 1 \\ 1 \end{matrix}) t^{2} + (\begin{matrix} 4 \\ - 6 \end{matrix}) t + (\begin{matrix} - 1 \\ 5 \end{matrix})$

en el intervalo $(- \infty, \infty)$ es

$Y = c_{1} (\begin{matrix} 1 \\ - 1 - \sqrt{2} \end{matrix}) e^{\sqrt{2 t}} + c_{2} (\begin{matrix} 1 \\ - 1 + \sqrt{2} \end{matrix}) e^{- \sqrt{2 t}} + (\begin{matrix} 1 \\ 0 \end{matrix}) t^{2} + (\begin{matrix} - 2 \\ 4 \end{matrix}) t + (\begin{matrix} 1 \\ 0 \end{matrix})$

Demostrar que el conjunto de soluciones del sistema lineal homogéneo $Y^{'} = AY$ forma un espacio vectorial con la suma y el producto por escalares usuales de matrices.

Más adelante…

Ahora que conocemos lo que son los sistemas lineales de ecuaciones diferenciales y las propiedades de sus soluciones estamos casi listos para comenzar a desarrollar los distintos métodos de resolución, sin embargo, antes de ello es necesario definir una herramienta matemática que será de suma utilidad en el desarrollo posterior de esta unidad. Dicha herramienta es la exponencial de una matriz.

En la siguiente entrada definiremos lo que significa $e^{A t}$ , donde $A$ es una matriz de $n \times n$ con componentes constantes y veremos como se relaciona con un sistema lineal $Y^{'} = AY$ . Así mismo, profundizaremos en el concepto de matriz fundamental de soluciones.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Sistemas de ecuaciones diferenciales
Siguiente entrada del curso: Exponencial de una matriz y matriz fundamental de soluciones

Video relacionado al tema: Propiedades del conjunto de soluciones a un sistema lineal de ecuaciones de primer orden

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: matriz fundamental de soluciones

Ecuaciones Diferenciales I: Sistemas lineales no homogéneos – Método de variación de parámetros

Introducción

Sistemas lineales homogéneos

Sistemas lineales no homogéneos

Variación de parámetros

Problema con valores iniciales

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Ecuaciones Diferenciales I: Exponencial de una matriz y matriz fundamental de soluciones

Introducción

Operaciones sobre componentes de matrices

Exponencial de una matriz

La exponencial de una matriz y los sistemas lineales

Matriz fundamental de soluciones

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Ecuaciones Diferenciales I: Soluciones a sistemas de ecuaciones diferenciales

Introducción

Soluciones de sistemas lineales de primer orden

Soluciones generales a sistemas lineales

Sistemas no homogéneos

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos