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^{\mathbf{A}t}$, donde $\mathbf{A}$ es una matriz de $n\times n$ con componentes reales constantes.

$$\begin{array}{}\text{(1)}& \mathbf{A}=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& & & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right)\end{array}$$

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.

$$\begin{array}{}\text{(2)}& \mathbf{A}(t)=\left(\begin{array}{cccc}{a}_{11}(t)& a_{12}(t)& \cdots & a_{1n}(t)\\ a_{21}(t)& a_{22}(t)& \cdots & a_{2n}(t)\\ ⋮& & & ⋮\\ a_{n1}(t)& a_{n2}(t)& \cdots & a_{nn}(t)\end{array}\right)\end{array}$$

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

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

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

Ejemplo: Calcular la derivada de la matriz

$$\mathbf{A}(t)=\left(\begin{array}{cc}\cos (t)& \sin (t)\\ {\sin }^2(t)& {\cos }^2(t)\end{array}\right)$$

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

$${\displaystyle \frac{d}{dt}}\mathbf{A}(t)=\left(\begin{array}{cc}{\displaystyle \frac{d}{dt}}\cos (t)& {\displaystyle \frac{d}{dt}}\sin (t)\\ {\displaystyle \frac{d}{dt}}{\sin }^2(t)& {\displaystyle \frac{d}{dt}}{\cos }^2(t)\end{array}\right)=\left(\begin{array}{cc}-\sin (t)& \cos (t)\\ 2\sin (t)\cos (t)& -2\cos (t)\sin (t)\end{array}\right)$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

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.

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

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

$$\begin{array}{}\text{(9)}& e^{\alpha t}=1+\alpha t+{\alpha }^2{\displaystyle \frac{t^2}{2!}}+\cdots +{\alpha }^k{\displaystyle \frac{t^k}{k!}}=\sum _{k=0}^{\mathrm{\infty }}{\alpha }^k{\displaystyle \frac{t^k}{k!}}\end{array}$$

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

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

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

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

$$\mathbf{A}=\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)$$

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

$${\mathbf{A}}^0=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)=\mathbf{I}y{\mathbf{A}}^1=\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)=\left(\begin{array}{cc}{2}^0& 2^0\\ 2^0& 2^0\end{array}\right)$$

Ahora bien,

$${\mathbf{A}}^2=\mathbf{AA}=\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)=\left(\begin{array}{cc}2& 2\\ 2& 2\end{array}\right)=\left(\begin{array}{cc}{2}^1& 2^1\\ 2^1& 2^1\end{array}\right)$$

$${\mathbf{A}}^3={\mathbf{AA}}^2=\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)\left(\begin{array}{cc}2& 2\\ 2& 2\end{array}\right)=\left(\begin{array}{cc}4& 4\\ 4& 4\end{array}\right)=\left(\begin{array}{cc}{2}^2& 2^2\\ 2^2& 2^2\end{array}\right)$$

$${\mathbf{A}}^4={\mathbf{AA}}^3=\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)\left(\begin{array}{cc}4& 4\\ 4& 4\end{array}\right)=\left(\begin{array}{cc}8& 8\\ 8& 8\end{array}\right)=\left(\begin{array}{cc}{2}^3& 2^3\\ 2^3& 2^3\end{array}\right)$$

$$⋮$$

$${\mathbf{A}}^k={\mathbf{AA}}^{k-1}=\left(\begin{array}{cc}{2}^{k-1}& 2^{k-1}\\ 2^{k-1}& 2^{k-1}\end{array}\right)$$

$${\mathbf{A}}^{k+1}={\mathbf{AA}}^k=\left(\begin{array}{cc}{2}^k& 2^k\\ 2^k& 2^k\end{array}\right)$$

$$⋮$$

Sustituimos en ($\text{10}$).

$$\begin{array}{rl}{e}^{\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)}& ={\displaystyle \frac{1}{0!}}{\mathbf{A}}^0+{\displaystyle \frac{1}{1!}}{\mathbf{A}}^1+{\displaystyle \frac{1}{2!}}{\mathbf{A}}^2+{\displaystyle \frac{1}{3!}}{\mathbf{A}}^3+{\displaystyle \frac{1}{4!}}{\mathbf{A}}^4+\cdots +{\displaystyle \frac{1}{k!}}{\mathbf{A}}^k+\cdots \\ & ={\displaystyle \frac{1}{0!}}\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)+{\displaystyle \frac{1}{1!}}\left(\begin{array}{cc}{2}^0& 2^0\\ 2^0& 2^0\end{array}\right)+{\displaystyle \frac{1}{2!}}\left(\begin{array}{cc}{2}^1& 2^1\\ 2^1& 2^1\end{array}\right)+{\displaystyle \frac{1}{3!}}\left(\begin{array}{cc}{2}^2& 2^2\\ 2^2& 2^2\end{array}\right)+{\displaystyle \frac{1}{4!}}\left(\begin{array}{cc}{2}^3& 2^3\\ 2^3& 2^3\end{array}\right)+\cdots +{\displaystyle \frac{1}{k!}}\left(\begin{array}{cc}{2}^{k-1}& 2^{k-1}\\ 2^{k-1}& 2^{k-1}\end{array}\right)\\ & =\left(\begin{array}{cc}{\displaystyle \frac{1}{0!}}(1)& {\displaystyle \frac{1}{0!}}(0)\\ {\displaystyle \frac{1}{0!}}(0)& {\displaystyle \frac{1}{0!}}(1)\end{array}\right)+\left(\begin{array}{cc}{\displaystyle \frac{1}{1!}}(2^0)& {\displaystyle \frac{1}{1!}}(2^0)\\ {\displaystyle \frac{1}{1!}}(2^0)& {\displaystyle \frac{1}{1!}}(2^0)\end{array}\right)+\left(\begin{array}{cc}{\displaystyle \frac{1}{2!}}(2^1)& {\displaystyle \frac{1}{2!}}(2^1)\\ {\displaystyle \frac{1}{2!}}(2^1)& {\displaystyle \frac{1}{2!}}(2^1)\end{array}\right)+\left(\begin{array}{cc}{\displaystyle \frac{1}{3!}}(2^2)& {\displaystyle \frac{1}{3!}}(2^2)\\ {\displaystyle \frac{1}{3!}}(2^2)& {\displaystyle \frac{1}{3!}}(2^2)\end{array}\right)+\cdots +\left(\begin{array}{cc}{\displaystyle \frac{1}{k!}}(2^{k-1})& {\displaystyle \frac{1}{k!}}(2^{k-1})\\ {\displaystyle \frac{1}{k!}}(2^{k-1})& {\displaystyle \frac{1}{k!}}(2^{k-1})\end{array}\right)\\ & =\left(\begin{array}{cc}{\displaystyle \frac{1}{0!}}(1)+{\displaystyle \frac{1}{1!}}(2^0)+{\displaystyle \frac{1}{2!}}(2^1)+{\displaystyle \frac{1}{3!}}(2^2)+\cdots +{\displaystyle \frac{1}{k!}}(2^{k-1})& {\displaystyle \frac{1}{0!}}(0)+{\displaystyle \frac{1}{1!}}(2^0)+{\displaystyle \frac{1}{2!}}(2^1)+{\displaystyle \frac{1}{3!}}(2^2)+\cdots +{\displaystyle \frac{1}{k!}}(2^{k-1})\\ {\displaystyle \frac{1}{0!}}(0)+{\displaystyle \frac{1}{1!}}(2^0)+{\displaystyle \frac{1}{2!}}(2^1)+{\displaystyle \frac{1}{3!}}(2^2)+\cdots +{\displaystyle \frac{1}{k!}}(2^{k-1})& {\displaystyle \frac{1}{0!}}(1)+{\displaystyle \frac{1}{1!}}(2^0)+{\displaystyle \frac{1}{2!}}(2^1)+{\displaystyle \frac{1}{3!}}(2^2)+\cdots +{\displaystyle \frac{1}{k!}}(2^{k-1})\end{array}\right)\\ & ={\displaystyle \frac{1}{2}}\left(\begin{array}{cc}{\displaystyle \frac{1}{0!}}(2)+{\displaystyle \frac{1}{1!}}(2^1)+{\displaystyle \frac{1}{2!}}(2^2)+{\displaystyle \frac{1}{3!}}(2^3)+\cdots +{\displaystyle \frac{1}{k!}}(2^k)& {\displaystyle \frac{1}{0!}}(0)+{\displaystyle \frac{1}{1!}}(2^1)+{\displaystyle \frac{1}{2!}}(2^2)+{\displaystyle \frac{1}{3!}}(2^3)+\cdots +{\displaystyle \frac{1}{k!}}(2^k)\\ {\displaystyle \frac{1}{0!}}(0)+{\displaystyle \frac{1}{1!}}(2^1)+{\displaystyle \frac{1}{2!}}(2^2)+{\displaystyle \frac{1}{3!}}(2^3)+\cdots +{\displaystyle \frac{1}{k!}}(2^k)& {\displaystyle \frac{1}{0!}}(2)+{\displaystyle \frac{1}{1!}}(2^1)+{\displaystyle \frac{1}{2!}}(2^2)+{\displaystyle \frac{1}{3!}}(2^3)+\cdots +{\displaystyle \frac{1}{k!}}(2^k)\end{array}\right)\end{array}$$

¡Uff!. En la última igualdad lo que hicimos fue multiplicar por un uno en la forma $1={\displaystyle \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^{\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)}={\displaystyle \frac{1}{2}}\left(\begin{array}{cc}{\displaystyle \frac{1}{0!}}(2)+\sum _{k=1}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}& {\displaystyle \frac{1}{0!}}(0)+\sum _{k=1}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}\\ {\displaystyle \frac{1}{0!}}(0)+\sum _{k=1}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}& {\displaystyle \frac{1}{0!}}(2)+\sum _{k=1}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}\end{array}\right)$$

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^{\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)}={\displaystyle \frac{1}{2}}\left(\begin{array}{cc}1+\sum _{k=0}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}& \sum _{k=1}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}\\ \sum _{k=1}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}& 1+\sum _{k=0}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}\end{array}\right)$$

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^{\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)}={\displaystyle \frac{1}{2}}\left(\begin{array}{cc}1+\sum _{k=0}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}& -1+\sum _{k=0}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}\\ -1+\sum _{k=0}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}& 1+\sum _{k=0}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}\end{array}\right)$$

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

$$\sum _{k=0}^{\mathrm{\infty }}{\displaystyle \frac{2^k}{k!}}=e^2$$

Por definición de convergencia en matrices, se tiene

$$e^{\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)}={\displaystyle \frac{1}{2}}\left(\begin{array}{cc}1+e^2& -1+e^2\\ -1+e^2& 1+e^2\end{array}\right)$$

Por lo tanto, la matriz que buscamos es

$$e^{\left(\begin{array}{cc}1& 1\\ 1& 1\end{array}\right)}=\left(\begin{array}{cc}{\displaystyle \frac{e^2+1}{2}}& {\displaystyle \frac{e^2-1}{2}}\\ {\displaystyle \frac{e^2-1}{2}}& {\displaystyle \frac{e^2+1}{2}}\end{array}\right)$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

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.

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 ($\text{11}$) ¡es solución del sistema lineal homogéneo ${\mathbf{Y}}^{\prime }=\mathbf{AY}$!.

La exponencial de una matriz y los sistemas lineales

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

$$\begin{array}{rl}{\displaystyle \frac{d}{dt}}{e}^{\mathbf{A}t}& ={\displaystyle \frac{d}{dt}}[\mathbf{I}+\mathbf{A}t+{\mathbf{A}}^2{\displaystyle \frac{t^2}{2!}}+\cdots +{\mathbf{A}}^k{\displaystyle \frac{t^k}{k!}}+\cdots ]\\ & ={\displaystyle \frac{d}{dt}}\mathbf{I}+{\displaystyle \frac{d}{dt}}\left(\mathbf{A}t\right)+{\displaystyle \frac{d}{dt}}\left({\mathbf{A}}^2{\displaystyle \frac{t^2}{2!}}\right)+\cdots +{\displaystyle \frac{d}{dt}}\left({\mathbf{A}}^k{\displaystyle \frac{t^k}{k!}}\right)+\cdots \end{array}$$

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

$$\begin{array}{rl}{\displaystyle \frac{d}{dt}}{e}^{\mathbf{A}t}& =\mathbf{0}+\mathbf{A}+{\mathbf{A}}^{2}t+{\displaystyle \frac{1}{2!}}{\mathbf{A}}^3{t}^2+\cdots +{\mathbf{A}}^k{\displaystyle \frac{t^{k-1}}{(k-1)!}}+{\mathbf{A}}^{k+1}{\displaystyle \frac{t^k}{k!}}+\cdots \\ & =\mathbf{A}[\mathbf{I}+\mathbf{A}t+{\mathbf{A}}^2{\displaystyle \frac{t^2}{2!}}+\cdots +{\mathbf{A}}^k{\displaystyle \frac{t^k}{k!}}+\cdots ]\\ & =\mathbf{A}{e}^{\mathbf{A}t}\end{array}$$

Con esto hemos mostrado que

$$\begin{array}{}\text{(12)}& {\displaystyle \frac{d}{dt}}{e}^{\mathbf{A}t}=\mathbf{A}{e}^{\mathbf{A}t}\end{array}$$

Es decir,

$${\mathbf{Y}}^{\prime }=\mathbf{AY}$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

La ecuación ($\text{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^{\mathbf{A}t}$.

Veamos un problema de valores iniciales.

Demostración: Consideremos la función

$$\mathbf{Y}(t)=e^{\mathbf{A}t}{\mathbf{Y}}_0$$

con ${\mathbf{Y}}_0$ un vector constante, si la derivamos obtenemos lo siguiente.

$${\mathbf{Y}}^{\prime }={\displaystyle \frac{d}{dt}}(e^{\mathbf{A}t}{\mathbf{Y}}_0)=\left(\mathbf{A}{e}^{\mathbf{A}t}\right){\mathbf{Y}}_0=\mathbf{A}\left(e^{\mathbf{A}t}{\mathbf{Y}}_0\right)=\mathbf{AY}$$

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

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

$$\mathbf{Y}(0)=e^{\mathbf{A}0}{\mathbf{Y}}_0={\mathbf{IY}}_0={\mathbf{Y}}_0$$

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

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Nota: Es claro que la matriz $e^{\mathbf{A}t}$ es una matriz de $n\times n$, mientras que el vector constante ${\mathbf{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 $\mathbf{Y}(t)=e^{\mathbf{A}t}{\mathbf{Y}}_0$ la cual esta bien definida y el resultado es una matriz de $n\times n$, mientras que la operación ${\mathbf{Y}}_0{e}^{\mathbf{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.

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

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

Demostración:

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

Supongamos que $\hat{\mathbf{Y}}(t)$ es una matriz fundamental de soluciones del sistema ${\mathbf{Y}}^{\prime }=\mathbf{AY}$ conformada por los vectores solución ${\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n$, es decir,

$$\hat{\mathbf{Y}}(t)=\left(\begin{array}{cccc}{\mathbf{Y}}_1& {\mathbf{Y}}_2& \cdots & {\mathbf{Y}}_n\end{array}\right)=\left(\begin{array}{cccc}{y}_{11}(t)& y_{12}(t)& \cdots & y_{1n}(t)\\ y_{21}(t)& y_{22}(t)& \cdots & y_{2n}(t)\\ ⋮& & & ⋮\\ y_{n1}(t)& y_{n2}(t)& \cdots & y_{nn}(t)\end{array}\right)$$

Si $\mathbf{A}$ es la matriz de coeficientes ($\text{1}$), entonces

$$\begin{array}{}\text{(15)}& \mathbf{A}\hat{\mathbf{Y}}=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& & & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right)\left(\begin{array}{cccc}{y}_{11}(t)& y_{12}(t)& \cdots & y_{1n}(t)\\ y_{21}(t)& y_{22}(t)& \cdots & y_{2n}(t)\\ ⋮& & & ⋮\\ y_{n1}(t)& y_{n2}(t)& \cdots & y_{nn}(t)\end{array}\right)\end{array}$$

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

$$\begin{array}{}\text{(16)}& \mathbf{A}{\mathbf{Y}}_i=\left(\begin{array}{c}{a}_{11}{y}_{1i}(t)+a_{12}{y}_{2i}(t)+\cdots +a_{1n}{y}_{ni}(t)\\ a_{21}{y}_{1i}(t)+a_{22}{y}_{2i}(t)+\cdots +a_{2n}{y}_{ni}(t)\\ ⋮\\ a_{n1}{y}_{1i}(t)+a_{n2}{y}_{2i}(t)+\cdots +a_{nn}{y}_{ni}(t)\end{array}\right)\end{array}$$

Identificamos que esta matriz corresponde a la derivada ${\mathbf{Y}}_i^{\prime }$ ya que cada ${\mathbf{Y}}_i$ es solución del sistema, es decir,

$$\begin{array}{}\text{(17)}& {\mathbf{Y}}_i^{\prime }={\mathbf{AY}}_i,i=1,2,\cdots ,n\end{array}$$

Entonces $\mathbf{A}\hat{\mathbf{Y}}(t)$ tiene por columnas a los vectores ${\mathbf{Y}}_1^{\prime },{\mathbf{Y}}_2^{\prime },\cdots ,{\mathbf{Y}}_n^{\prime }$. Por lo tanto

$${\hat{\mathbf{Y}}}^{\prime }=\mathbf{A}\hat{\mathbf{Y}}$$

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

Como $\hat{\mathbf{Y}}(t)$ es una matriz fundamental de soluciones, entonces los vectores que la componen ${\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n$ son linealmente independientes, de manera que $\mathrm{\forall }$ $t\in \mathbb{R}$ el Wronskiano es distinto de cero.

$$\begin{array}{}\text{(18)}& W({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)(t)\ne 0\end{array}$$

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

$$W({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)(0)\ne 0$$

Demostremos el regreso.

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

Sea $\hat{\mathbf{Y}}(t)$ una matriz compuesta por los vectores ${\mathbf{Y}}_1(t),{\mathbf{Y}}_2(t),\cdots ,{\mathbf{Y}}_n(t)$ y cuya derivada es

$${\hat{\mathbf{Y}}}^{\prime }=\mathbf{A}\hat{\mathbf{Y}}$$

entonces las columnas satisfacen

$${\mathbf{AY}}_i={\mathbf{Y}}_i^{\prime }$$

así ${\mathbf{Y}}_i(t)$ es solución del sistema

$${\mathbf{Y}}^{\prime }=\mathbf{AY}$$

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

Por otro lado, por hipótesis

$$W({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)(0)\ne 0$$

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

$$W({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)(t)\ne 0$$

lo que significa que ${\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n$ son linealmente independientes.

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

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

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

Demostración: Anteriormente mostramos que

$${\displaystyle \frac{d}{dt}}{e}^{\mathbf{A}t}=\mathbf{A}{e}^{\mathbf{A}t}$$

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

Supongamos que $e^{\mathbf{A}t}$ está compuesta por la matriz de vectores ${\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n$. Si $t=0$, se tiene que

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

y además el determinante es distinto de cero.

$$\begin{array}{}\text{(19)}& |e^{\mathbf{A}0}|=|\mathbf{I}|=1\ne 0\end{array}$$

o bien,

$$\begin{array}{}\text{(20)}& |e^{\mathbf{A}0}|=W({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)(0)\ne 0\end{array}$$

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

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

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

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

$$\begin{array}{}\text{(22)}& \hat{\mathbf{Y}}(t)=\left(\begin{array}{cccc}{\mathbf{Y}}_1& {\mathbf{Y}}_2& \cdots & {\mathbf{Y}}_n\end{array}\right)\end{array}$$

y

$$\begin{array}{}\text{(23)}& \hat{\mathbf{Z}}(t)=\left(\begin{array}{cccc}{\mathbf{Z}}_1& {\mathbf{Z}}_2& \cdots & {\mathbf{Z}}_n\end{array}\right)\end{array}$$

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

$$\begin{array}{}\text{(24)}& {\mathbf{Y}}_i=\left(\begin{array}{c}{y}_{1i}\\ y_{2i}\\ ⋮\\ y_{ni}\end{array}\right)y{\mathbf{Z}}_i=\left(\begin{array}{c}{z}_{1i}\\ z_{2i}\\ ⋮\\ z_{ni}\end{array}\right)\end{array}$$

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

$$\begin{array}{}\text{(25)}& {\mathbf{Y}}_i(t)=c_{1i}{\mathbf{Z}}_1(t)+c_{2i}{\mathbf{Z}}_2(t)+\cdots +c_{ni}{\mathbf{Z}}_n(t)\end{array}$$

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

$$\begin{array}{}\text{(26)}& {\mathbf{c}}_i=\left(\begin{array}{c}{c}_{1i}\\ c_{2i}\\ ⋮\\ c_{ni}\end{array}\right)\end{array}$$

podemos escribir la combinación lineal ($\text{25}$) como

$$\begin{array}{}\text{(27)}& {\mathbf{Y}}_i(t)=\left(\begin{array}{cccc}{\mathbf{Z}}_1& {\mathbf{Z}}_2& \cdots & {\mathbf{Z}}_n\end{array}\right)\left(\begin{array}{c}{c}_{1i}\\ c_{2i}\\ ⋮\\ c_{ni}\end{array}\right)=\left(\begin{array}{c}{c}_{1i}{z}_{11}+c_{2i}{z}_{12}+\cdots +c_{ni}{z}_{1n}\\ c_{1i}{z}_{21}+c_{2i}{z}_{22}+\cdots +c_{ni}{z}_{2n}\\ ⋮\\ c_{1i}{z}_{n1}+c_{2i}{z}_{n2}+\cdots +c_{ni}{z}_{nn}\end{array}\right)\end{array}$$

Definamos la matriz constante $\mathbf{C}$ como

$$\begin{array}{}\text{(28)}& \mathbf{C}=\left(\begin{array}{cccc}{\mathbf{c}}_{\mathbf{1}}& {\mathbf{c}}_{\mathbf{2}}& \cdots & {\mathbf{c}}_{\mathbf{n}}\end{array}\right)=\left(\begin{array}{cccc}{c}_{11}& c_{12}& \cdots & c_{1n}\\ c_{21}& c_{22}& \cdots & c_{2n}\\ ⋮& & & ⋮\\ c_{n1}& c_{n2}& \cdots & c_{nn}\end{array}\right)\end{array}$$

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

$$\begin{array}{}\text{(29)}& \hat{\mathbf{Z}}(t)\mathbf{C}=\left(\begin{array}{cccc}{z}_{11}& z_{12}& \cdots & z_{1n}\\ z_{21}& z_{22}& \cdots & z_{2n}\\ ⋮& & & ⋮\\ z_{n1}& z_{n2}& \cdots & z_{nn}\end{array}\right)\left(\begin{array}{cccc}{c}_{11}& c_{12}& \cdots & c_{1n}\\ c_{21}& c_{22}& \cdots & c_{2n}\\ ⋮& & & ⋮\\ c_{n1}& c_{n2}& \cdots & c_{nn}\end{array}\right)\end{array}$$

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

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

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

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

La ecuación anterior queda como

$$\begin{array}{}\text{(31)}& {\mathbf{AA}}^{-1}={\mathbf{A}}^{-1}\mathbf{A}=\mathbf{I}\end{array}$$

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

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

$$\begin{array}{}\text{(33)}& e^{\mathbf{A}t}=\hat{\mathbf{Y}}(t)\mathbf{C}\end{array}$$

para alguna matriz constante $\mathbf{C}$.

Tomemos $t=0$, por un lado

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

Por otro lado, de ($\text{33}$)

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

De ambas ecuaciones tenemos que

$$\begin{array}{}\text{(34)}& \hat{\mathbf{Y}}(0)\mathbf{C}=\mathbf{I}\end{array}$$

Esta ecuación obliga que

$$\begin{array}{}\text{(35)}& \mathbf{C}={\hat{\mathbf{Y}}}^{-1}(0)\end{array}$$

Sustituyendo en ($\text{33}$) concluimos que

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

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Finalicemos con un ejemplo.

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

$$\mathbf{A}=\left(\begin{array}{ccc}1& 1& 0\\ 1& 1& 0\\ 0& 0& 3\end{array}\right)$$

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

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

$${\mathbf{Y}}^{\prime }=\left(\begin{array}{ccc}1& 1& 0\\ 1& 1& 0\\ 0& 0& 3\end{array}\right)\mathbf{Y}$$

es

$$\hat{\mathbf{Y}}(t)=\left(\begin{array}{ccc}1& e^{2t}& 0\\ -1& e^{2t}& 0\\ 0& 0& e^{3t}\end{array}\right)$$

Determinemos la matriz $e^{\mathbf{A}t}$ usando la expresión ($\text{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{\mathbf{Y}}(t)$ es

$${\hat{\mathbf{Y}}}^{-1}(t)=\left(\begin{array}{ccc}{\displaystyle \frac{1}{2}}& -{\displaystyle \frac{1}{2}}& 0\\ {\displaystyle \frac{1}{2e^{2t}}}& {\displaystyle \frac{1}{2e^{2t}}}& 0\\ 0& 0& {\displaystyle \frac{1}{e^{3t}}}\end{array}\right)$$

Basta probar que $\hat{\mathbf{Y}}(t){\hat{\mathbf{Y}}}^{-1}(t)=\mathbf{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{\mathbf{Y}}}^{-1}(0)=\left(\begin{array}{ccc}{\displaystyle \frac{1}{2}}& -{\displaystyle \frac{1}{2}}& 0\\ {\displaystyle \frac{1}{2}}& {\displaystyle \frac{1}{2}}& 0\\ 0& 0& 1\end{array}\right)$$

Por lo tanto,

$$e^{\mathbf{A}t}=\hat{\mathbf{Y}}(t){\hat{\mathbf{Y}}}^{-1}(0)=\left(\begin{array}{ccc}1& e^{2t}& 0\\ -1& e^{2t}& 0\\ 0& 0& e^{3t}\end{array}\right)\left(\begin{array}{ccc}{\displaystyle \frac{1}{2}}& -{\displaystyle \frac{1}{2}}& 0\\ {\displaystyle \frac{1}{2}}& {\displaystyle \frac{1}{2}}& 0\\ 0& 0& 1\end{array}\right)$$

Haciendo la multiplicación de matrices correspondiente obtenemos finalmente que

$$e^{\mathbf{A}t}=\left(\begin{array}{ccc}{\displaystyle \frac{e^{2t}+1}{2}}& {\displaystyle \frac{e^{2t}-1}{2}}& 0\\ {\displaystyle \frac{e^{2t}-1}{2}}& {\displaystyle \frac{e^{2t}+1}{2}}& 0\\ 0& 0& e^{3t}\end{array}\right)$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

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.

1. Sea
   
   $\mathbf{A}(t)=\left(\begin{array}{c}\sin (2t)\\ e^{3t}\\ 8t-1\end{array}\right)$

• Demostrar que la derivada de la matriz $\mathbf{A}$ es
  
  ${\displaystyle \frac{d}{dt}}\mathbf{A}(t)=\left(\begin{array}{c}2\cos (2t)\\ 3e^{3t}\\ 8\end{array}\right)$

• Demostrar que la integral de $0$ a $t$ de la matriz $\mathbf{A}$ es
  
  ${\int }_0^t\mathbf{A}(s)ds=\left(\begin{array}{c}-{\displaystyle \frac{1}{2}}\cos (2t)+{\displaystyle \frac{1}{2}}\\ {\displaystyle \frac{1}{3}}{e}^{3t}-{\displaystyle \frac{1}{3}}\\ 4t^2-t\end{array}\right)$

2. Demostrar que
   
   $\int \left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)ds=t\mathbf{I}+\mathbf{C}$
   
   Donde,
   
   $\mathbf{I}=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)y\mathbf{C}=\left(\begin{array}{ccc}0& c& c\\ c& 0& c\\ c& c& 0\end{array}\right)$
   
   con $c$ una constante.

3. Obtener la matriz $e^{\mathbf{A}t}$ para los siguientes casos:

• $\mathbf{A}=\left(\begin{array}{cc}1& 2\\ 2& 1\end{array}\right)$

• $\mathbf{A}=\left(\begin{array}{cc}2& 1\\ 1& 2\end{array}\right)$

• $\mathbf{A}=\left(\begin{array}{cc}1& 2\\ 2& 4\end{array}\right)$

4. Sea $\hat{\mathbf{Y}}(t)$ una matriz fundamental de soluciones del sistema ${\mathbf{Y}}^{\prime }=\mathbf{AY}$. Demostrar que $$e^{\mathbf{A}(t-t_0)}=\hat{\mathbf{Y}}(t){\hat{\mathbf{Y}}}^{-1}(t_0)$$

5. Una matriz fundamental del sistema
   
   ${\mathbf{Y}}^{\prime }=\left(\begin{array}{cc}1& -1\\ 1& 3\end{array}\right)\mathbf{Y}=\mathbf{AY}$
   
   es
   
   $\hat{\mathbf{Y}}(t)=\left(\begin{array}{cc}{e}^{2t}& t{e}^{2t}\\ -e^{2t}& -(1+t)e^{2t}\end{array}\right)$

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

• Demostrar que la matriz $e^{\mathbf{A}t}$ está dada por
  
  $e^{\mathbf{A}t}=\left(\begin{array}{cc}(1-t)e^{2t}& -t{e}^{2t}\\ t{e}^{2t}& (1+t)e^{2t}\end{array}\right)$

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»