El estudio profundo de la naturaleza es la fuente
más fértil de descubrimientos matemáticos.
– Fourier

Introducción

Nos estamos acercando al final de la unidad 3 del curso.

En esta unidad estudiamos los sistemas lineales de primer orden con coeficientes constantes tanto homogéneos como no homogéneos, es por ello que en esta entrada demostraremos los teoremas de existencia y unicidad para estos sistemas lineales en particular.

Es interesante la enorme utilidad que tiene definir la exponencial de una matriz, este concepto nos ha permitido desarrollar distintos métodos de resolución y no solo ello, ahora nos permitirá demostrar estos teoremas de existencia y unicidad.

Comencemos con el caso homogéneo.

Teorema de existencia y unicidad para sistemas lineales homogéneos

Recordemos que estamos estudiando sistemas lineales homogéneo con coeficientes constantes, es decir, la matriz $\mathbf{A}$ es de la forma

$$\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}$$

con $a_{ij}$, $i,j\in \{1,2,3,\cdots ,n\}$ constantes.

Demostración: Recordemos que ya demostramos que la función ($\text{3}$) es solución del sistema homogéneo para el caso $t_0=0$, lo mismo podemos hacer para cualquier $t_0$, con ello estaremos mostrando la existencia. Consideremos la función ($\text{3}$).

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

Con $t_0\in \mathbb{R}$. La derivada de esta función vectorial es

$${\mathbf{Y}}^{\prime }=\mathbf{A}{e}^{(t-t_0)\mathbf{A}}{\mathbf{Y}}_0=\mathbf{A}\left(e^{(t-t_0)\mathbf{A}}{\mathbf{Y}}_0\right)=\mathbf{AY}$$

Esto muestra que es solución del sistema, veamos que efectivamente satisface los valores iniciales evaluando en $t_0$.

$$\mathbf{Y}(t_0)=e^{(t_0-t_0)\mathbf{A}}{\mathbf{Y}}_0=e^{\mathbf{0}}{\mathbf{Y}}_0=\mathbf{I}\cdot {\mathbf{Y}}_0={\mathbf{Y}}_0$$

Con esto queda demostrado que la función $\mathbf{Y}(t)=e^{(t-t_0)\mathbf{A}}{\mathbf{Y}}_0$ es solución del problema con valores iniciales, es decir, existe.

Para demostrar la unicidad supongamos que $\mathbf{X}(t)$ es otra solución del problema de valores iniciales. Consideremos una función derivable dada de la siguiente forma.

$$\begin{array}{}\text{(4)}& \mathbf{Z}(t)=e^{-(t-t_0)\mathbf{A}}\mathbf{X}(t)\end{array}$$

Si derivamos esta función obtenemos lo siguiente.

$$\begin{array}{}\text{(5)}& {\mathbf{Z}}^{\prime }=-\mathbf{A}{e}^{-(t-t_0)\mathbf{A}}\mathbf{X}+e^{-(t-t_0)\mathbf{A}}{\mathbf{X}}^{\prime }\end{array}$$

Como $\mathbf{X}$ es solución del sistema, entonces se satisface que ${\mathbf{X}}^{\prime }=\mathbf{AX}$. Sustituimos en la ecuación anterior.

$$\begin{array}{rl}{\mathbf{Z}}^{\prime }& =-\mathbf{A}{e}^{-(t-t_0)\mathbf{A}}\mathbf{X}+e^{-(t-t_0)\mathbf{A}}\left(\mathbf{AX}\right)\\ & =-\mathbf{A}{e}^{-(t-t_0)\mathbf{A}}\mathbf{X}+\left(e^{-(t-t_0)\mathbf{A}}\mathbf{A}\right)\mathbf{X}\\ & =-\mathbf{A}{e}^{-(t-t_0)\mathbf{A}}\mathbf{X}+\mathbf{A}{e}^{-(t-t_0)\mathbf{A}}\mathbf{X}\\ & =\mathbf{0}\end{array}$$

En donde hemos hecho uso de la propiedad

$$\begin{array}{}\text{(6)}& e^{-(t-t_0)\mathbf{A}}\mathbf{A}=\mathbf{A}{e}^{-(t-t_0)\mathbf{A}}\end{array}$$

Justifica este hecho.

El calculo anterior muestra que ${\mathbf{Z}}^{\prime }(t)=\mathbf{0}$, esto implica que $\mathbf{Z}(t)$ es una matriz constante. Evaluemos $t_0$ en ($\text{4}$).

$$\mathbf{Z}(t_0)=e^{-(t_0-t_0)\mathbf{A}}\mathbf{X}(t_0)$$

Como $\mathbf{X}$ satisface el problema de valores iniciales, entonces $\mathbf{X}(t_0)={\mathbf{Y}}_0$. Sustituimos en el resultado anterior.

$$\begin{array}{}\text{(7)}& \mathbf{Z}(t_0)=e^{\mathbf{0}}{\mathbf{Y}}_0=\mathbf{I}\cdot {\mathbf{Y}}_0={\mathbf{Y}}_0\end{array}$$

Hemos probado que $\mathbf{Z}$ es una matriz constante y que $\mathbf{Z}(t_0)={\mathbf{Y}}_0$, entonces

$$\begin{array}{}\text{(8)}& \mathbf{Z}(t)={\mathbf{Y}}_0\end{array}$$

para todo $t\in \mathbb{R}$. Sustituyendo ($\text{4}$) en ($\text{8}$), se tiene

$$\begin{array}{}\text{(9)}& e^{-(t-t_0)\mathbf{A}}\mathbf{X}={\mathbf{Y}}_0\end{array}$$

Multipliquemos $e^{(t-t_0)\mathbf{A}}$ en ambos lados de esta ecuación por el lado izquierdo.

$$\begin{array}{}\text{(10)}& e^{(t-t_0)\mathbf{A}}{e}^{-(t-t_0)\mathbf{A}}\mathbf{X}=e^{(t-t_0)\mathbf{A}}{\mathbf{Y}}_0\end{array}$$

Por un lado,

$$\begin{array}{}\text{(11)}& e^{(t-t_0)\mathbf{A}}{e}^{-(t-t_0)\mathbf{A}}\mathbf{X}=\mathbf{I}\cdot \mathbf{X}=\mathbf{X}(t)\end{array}$$

Por otro lado, de ($\text{3}$) se tiene que

$$\begin{array}{}\text{(12)}& e^{(t-t_0)\mathbf{A}}{\mathbf{Y}}_0=\mathbf{Y}(t)\end{array}$$

Entonces ($\text{10}$) queda como

$$\begin{array}{}\text{(13)}& \mathbf{X}(t)=\mathbf{Y}(t)\end{array}$$

Es decir, la solución es única.

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

Con este teorema queda justificado el método de valores y vectores propios que presentamos en esta unidad para resolver sistemas lineales homogéneos con coeficientes constantes.

Ahora demostremos el teorema de existencia y unicidad para el caso no homogéneo.

Teorema de existencia y unicidad para sistemas lineales no homogéneos

Demostración: Sea $\mathbf{Y}(t)$ una función arbitraría definida en un intervalo común $\delta$ que es solución del problema de valores iniciales ($\text{14}$), entonces

$$\begin{array}{}\text{(16)}& {\mathbf{Y}}^{\prime }=\mathbf{AY}+\mathbf{G}\end{array}$$

y

$$\begin{array}{}\text{(17)}& \mathbf{Y}(t_0)={\mathbf{Y}}_0\end{array}$$

Multipliquemos ambos lados de la ecuación ($\text{16}$) por $e^{-t\mathbf{A}}$ por el lado izquierdo.

$$\begin{array}{rl}{e}^{-t\mathbf{A}}{\mathbf{Y}}^{\prime }& =e^{-t\mathbf{A}}\mathbf{AY}+e^{-t\mathbf{A}}\mathbf{G}\\ e^{-t\mathbf{A}}{\mathbf{Y}}^{\prime }-e^{-t\mathbf{A}}\mathbf{AY}& =e^{-t\mathbf{A}}\mathbf{G}\\ \text{(18)}& e^{-t\mathbf{A}}{\mathbf{Y}}^{\prime }-\mathbf{A}{e}^{-t\mathbf{A}}\mathbf{Y}& =e^{-t\mathbf{A}}\mathbf{G}\end{array}$$

Notemos que

$$\begin{array}{}\text{(19)}& {\left(e^{-t\mathbf{A}}\mathbf{Y}\right)}^{\prime }=e^{-t\mathbf{A}}{\mathbf{Y}}^{\prime }-\mathbf{A}{e}^{-t\mathbf{A}}\mathbf{Y}\end{array}$$

Entonces el resultado ($\text{18}$) se puede escribir como

$$\begin{array}{}\text{(20)}& {\left(e^{-t\mathbf{A}}\mathbf{Y}\right)}^{\prime }=e^{-t\mathbf{A}}\mathbf{G}\end{array}$$

Integremos de $t_0$ a $t$ y usemos el teorema fundamental del cálculo.

$$\begin{array}{}\text{(21)}& e^{-t\mathbf{A}}\mathbf{Y}(t)-e^{-t_0\mathbf{A}}\mathbf{Y}(t_0)={\int }_{t_0}^t{e}^{-s\mathbf{A}}\mathbf{G}(s)ds\end{array}$$

Multipliquemos ambos lados de esta ecuación por $e^{t\mathbf{A}}$ por el lado izquierdo y sustituyamos los valores iniciales ($\text{17}$).

$$\begin{array}{rl}{e}^{t\mathbf{A}}{e}^{-t\mathbf{A}}\mathbf{Y}(t)-e^{t\mathbf{A}}{e}^{-t_0\mathbf{A}}{\mathbf{Y}}_0& =e^{t\mathbf{A}}{\int }_{t_0}^t{e}^{-s\mathbf{A}}\mathbf{G}(s)ds\\ \mathbf{Y}(t)-e^{(t-t_0)\mathbf{A}}{\mathbf{Y}}_0& =e^{t\mathbf{A}}{\int }_{t_0}^t{e}^{-s\mathbf{A}}\mathbf{G}(s)ds\end{array}$$

Si despejamos a la función $\mathbf{Y}(t)$ obtenemos finalmente que

$$\begin{array}{}\text{(22)}& \mathbf{Y}(t)=e^{(t-t_0)\mathbf{A}}{\mathbf{Y}}_0+e^{t\mathbf{A}}{\int }_{t_0}^t{e}^{-s\mathbf{A}}\mathbf{G}(s)ds\end{array}$$

Como la función $\mathbf{Y}(t)$ fue arbitraría, con el proceso realizado estamos mostrando tanto la existencia como la unicidad de esta solución.

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

Con este teorema queda justificado el método de variación de parámetros visto en la entada anterior.

Hemos concluido con esta entrada.

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. Resolver los siguientes problemas con valores iniciales.

• ${\mathbf{Y}}^{\prime }(t)=\left(\begin{array}{cc}1& 10\\ 6& -3\end{array}\right)\mathbf{Y}(t),\mathbf{Y}(0)=\left(\begin{array}{c}2\\ 0\end{array}\right)$

• ${\mathbf{Y}}^{\prime }(t)=\left(\begin{array}{ccc}1& 1& 1\\ 1& 1& 1\\ -2& -2& -2\end{array}\right)\mathbf{Y}(t),\mathbf{Y}(0)=\left(\begin{array}{c}1\\ -4\\ 6\end{array}\right)$

2. Resolver los siguientes problemas con valores iniciales.

• ${\mathbf{Y}}^{\prime }(t)=\left(\begin{array}{cc}3& -1\\ -1& 3\end{array}\right)\mathbf{Y}(t)+\left(\begin{array}{c}4e^{2t}\\ 4e^{4t}\end{array}\right),\mathbf{Y}(0)=\left(\begin{array}{c}1\\ 1\end{array}\right)$

• ${\mathbf{Y}}^{\prime }(t)=\left(\begin{array}{cc}1& -1\\ 1& -1\end{array}\right)\mathbf{Y}(t)+\left(\begin{array}{c}1/t\\ 1/t\end{array}\right),\mathbf{Y}(1)=\left(\begin{array}{c}2\\ -1\end{array}\right)$

Más adelante…

En la siguiente y última entrada de esta unidad justificaremos el teorema de existencia y unicidad de los sistemas de ecuaciones diferenciales de primer orden lineales y no lineales. Es decir, el resultado general de los sistemas de ecuaciones diferenciales.

Entradas relacionadas

• Página principal del curso: Ecuaciones Diferenciales I
• Entrada anterior del curso: Sistemas lineales no homogéneos – Método de variación de parámetros
• Siguiente entrada del curso: Teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden

• Video relacionado al tema: Teorema de existencia y unicidad para sistemas lineales de primer orden con coeficientes constantes

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»