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

$$\begin{array}{}\text{(1)}& \left(\begin{array}{c}{y}_1^{\prime }\\ y_2^{\prime }\\ ⋮\\ y_n^{\prime }\end{array}\right)=\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)\left(\begin{array}{c}{y}_1\\ y_2\\ ⋮\\ y_n\end{array}\right)\end{array}$$

O bien,

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

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

$$\begin{array}{}\text{(3)}& S_0=\{y_1(t),y_2(t),\cdots ,y_n(t)\}\end{array}$$

definidas en $\delta$ 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

$$\begin{array}{}\text{(4)}& \mathbf{Y}=\left(\begin{array}{c}{y}_1(t)\\ y_2(t)\\ ⋮\\ y_n(t)\end{array}\right)\end{array}$$

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

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

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

Demostración: Consideremos la combinación lineal

$$\mathbf{Y}=c_1{\mathbf{Y}}_1+c_2{\mathbf{Y}}_2+\cdots +c_m{\mathbf{Y}}_m$$

con

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

para $i=1,2,\cdots ,m$. La derivada de ${\mathbf{Y}}_i$ esta dada por

$${\mathbf{Y}}_i^{\prime }=\left(\begin{array}{c}{y}_{1i}^{\prime }\\ y_{2i}^{\prime }\\ ⋮\\ y_{ni}^{\prime }\end{array}\right)$$

Entonces la derivada de la combinación lineal es

$$\begin{array}{rl}{\mathbf{Y}}^{\prime }& =\left(\begin{array}{c}{c}_1{y}_{11}^{\prime }+c_2{y}_{12}^{\prime }+\cdots +c_m{y}_{1m}^{\prime }\\ c_1{y}_{21}^{\prime }+c_2{y}_{22}^{\prime }+\cdots +c_m{y}_{2m}^{\prime }\\ ⋮\\ c_1{y}_{n1}^{\prime }+c_2{y}_{n2}^{\prime }+\cdots +c_m{y}_{nm}^{\prime }\end{array}\right)\\ & =c_1\left(\begin{array}{c}{y}_{11}^{\prime }\\ y_{21}^{\prime }\\ ⋮\\ y_{n1}^{\prime }\end{array}\right)+c_2\left(\begin{array}{c}{y}_{12}^{\prime }\\ y_{22}^{\prime }\\ ⋮\\ y_{n2}^{\prime }\end{array}\right)+\cdots +c_m\left(\begin{array}{c}{y}_{1m}^{\prime }\\ y_{2m}^{\prime }\\ ⋮\\ y_{nm}^{\prime }\end{array}\right)\\ & =c_1{\mathbf{Y}}_1^{\prime }+c_2{\mathbf{Y}}_2^{\prime }+\cdots +c_m{\mathbf{Y}}_m^{\prime }\end{array}$$

Como cada ${\mathbf{Y}}_i$, $i=1,2,\cdots ,m$, es solución del sistema homogéneo ($\text{2}$) en $\delta$, entonces

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

así

$$\begin{array}{rl}{\mathbf{Y}}^{\prime }& =c_1({\mathbf{AY}}_1)+c_2({\mathbf{AY}}_2)+\cdots +c_m({\mathbf{AY}}_m)\\ & =\mathbf{A}(c_1{\mathbf{Y}}_1+c_2{\mathbf{Y}}_2+\cdots +c_m{\mathbf{Y}}_m)\\ & =\mathbf{AY}\end{array}$$

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

$$\mathbf{Y}=c_1{\mathbf{Y}}_1+c_2{\mathbf{Y}}_2+\cdots +c_m{\mathbf{Y}}_m$$

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

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

Intenta hacer la demostración.

Realicemos un ejemplo.

Ejemplo: Probar que la combinación lineal

$$\mathbf{Y}=c_1{\mathbf{Y}}_1+c_2{\mathbf{Y}}_2+c_3{\mathbf{Y}}_3=c_1\left(\begin{array}{c}1\\ -1\\ 0\end{array}\right)+c_2\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right)+c_3\left(\begin{array}{c}0\\ 0\\ e^{3t}\end{array}\right)$$

es solución del sistema lineal

$${\mathbf{Y}}^{\prime }=\left(\begin{array}{ccc}1& 1& 0\\ 1& 1& 0\\ 0& 0& 3\end{array}\right)\mathbf{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

$${\mathbf{Y}}_1=\left(\begin{array}{c}1\\ -1\\ 0\end{array}\right),{\mathbf{Y}}_2=\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right),{\mathbf{Y}}_3=\left(\begin{array}{c}0\\ 0\\ e^{3t}\end{array}\right)$$

Por un lado, derivemos estos vectores.

$${\mathbf{Y}}_1^{\prime }=\left(\begin{array}{c}0\\ 0\\ 0\end{array}\right),{\mathbf{Y}}_2^{\prime }=\left(\begin{array}{c}2e^{2t}\\ 2e^{2t}\\ 0\end{array}\right),{\mathbf{Y}}_3^{\prime }=\left(\begin{array}{c}0\\ 0\\ 3e^{3t}\end{array}\right)$$

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

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

$${\mathbf{AY}}_2=\left(\begin{array}{ccc}1& 1& 0\\ 1& 1& 0\\ 0& 0& 3\end{array}\right)\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right)=\left(\begin{array}{c}{e}^{2t}+e^{2t}\\ e^{2t}+e^{2t}\\ 0\end{array}\right)=\left(\begin{array}{c}2e^{2t}\\ 2e^{2t}\\ 0\end{array}\right)={\mathbf{Y}}_2^{\prime }$$

y

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

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

$$\mathbf{Y}=c_1{\mathbf{Y}}_1+c_2{\mathbf{Y}}_2+c_3{\mathbf{Y}}_3=c_1\left(\begin{array}{c}1\\ -1\\ 0\end{array}\right)+c_2\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right)+c_3\left(\begin{array}{c}0\\ 0\\ e^{3t}\end{array}\right)$$

también es solución 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">}$

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.

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.

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

$$\begin{array}{}\text{(9)}& \begin{array}{c}{b}_{11}{u}_1+b_{12}{u}_2+\cdots +b_{1n}{u}_n=d_1\\ b_{21}{u}_1+b_{22}{u}_2+\cdots +b_{2n}{u}_n=d_2\\ ⋮\\ b_{n1}{u}_1+b_{n2}{u}_2+\cdots +b_{nn}{u}_n=d_n\end{array}\end{array}$$

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

$$\begin{array}{}\text{(10)}& \mathbf{BU}=\mathbf{D}\end{array}$$

con

$$\mathbf{B}=\left(\begin{array}{cccc}{b}_{11}& b_{12}& \cdots & b_{1n}\\ b_{21}& b_{22}& \cdots & b_{2n}\\ ⋮& & & ⋮\\ b_{n1}& b_{n2}& \cdots & b_{nn}\end{array}\right),\mathbf{U}=\left(\begin{array}{c}{u}_1\\ u_2\\ ⋮\\ u_n\end{array}\right),\mathbf{D}=\left(\begin{array}{c}{d}_1\\ d_2\\ ⋮\\ d_n\end{array}\right)$$

Los resultados que nos interesan son los siguientes.

Si $\mathbf{D}=\mathbf{0}$, el sistema ($\text{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.

Demostración:

$\Rightarrow$) Por demostrar: $W({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)\ne 0$.

Sea $t_0\in \delta$ 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({\mathbf{Y}}_1(t_0),{\mathbf{Y}}_2(t_0),\cdots ,{\mathbf{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,\cdots ,c_n$, no todos cero, tal que

$$\begin{array}{}\text{(11)}& \mathbf{Y}(t_0)=c_1{\mathbf{Y}}_1(t_0)+c_2{\mathbf{Y}}_2(t_0)+\cdots +c_n{\mathbf{Y}}_n(t_0)=0\end{array}$$

Lo que tenemos es un sistema lineal de $n$ ecuaciones homogéneo con $n$ incógnitas (sistema lineal en el contexto algebraico ($\text{10}$) con $\mathbf{D}=\mathbf{0}$, no sistema lineal de ecuaciones diferenciales), dichas incógnitas son las constantes $c_i$, $i=1,2,\cdots ,n$. La relación ($\text{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 ${\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n$ son solución del sistema homogéneo ($\text{2}$) en el intervalo $\delta$, por el principio de superposición sabemos también que la combinación lineal

$$\mathbf{Y}(t)=c_1{\mathbf{Y}}_1+c_2{\mathbf{Y}}_2+\cdots +c_n{\mathbf{Y}}_n$$

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

$$c_1{\mathbf{Y}}_1+c_2{\mathbf{Y}}_2+\cdots +c_n{\mathbf{Y}}_n=0$$

Pero por hipótesis los vectores ${\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n$ son linealmente independientes en $\delta$, lo que implica que

$$c_1=c_2=\cdots =c_n=0$$

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

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

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

Este caso también lo demostraremos por contradicción. Supongamos que los vectores solución ${\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n$ son linealmente dependientes en $\delta$, esto implica que existen constantes $c_1,c_2,\cdots ,c_n$ no todos cero, tal que

$$c_1{\mathbf{Y}}_1+c_2{\mathbf{Y}}_2+\cdots +c_n{\mathbf{Y}}_n=0$$

Este sistema lo podemos escribir en la forma ($\text{9}$) como

$$\begin{array}{c}{c}_1{y}_{11}+c_2{y}_{12}+\cdots +c_n{y}_{1n}=0\\ c_1{y}_{21}+c_2{y}_{22}+\cdots +c_n{y}_{2n}=0\\ ⋮\\ c_1{y}_{n1}+c_2{y}_{n2}+\cdots +c_n{y}_{nn}=0\end{array}$$

En donde las funciones $y_{ij}$, $i,j\in \{1,2,3,\cdots ,n\}$ son los coeficientes y las constantes $c_i$, $i=1,2,\cdots ,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({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)=0$$

Pero, por hipótesis

$$W({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)\ne 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=\{{\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n\}$$

es linealmente independiente en $\delta$.

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

Un resultado interesante se enuncia a continuación.

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

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

El siguiente teorema nos garantiza la existencia de este conjunto.

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.

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

$$\begin{array}{}\text{(13)}& W({\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n)=|\mathbf{M}(t)|\end{array}$$

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

Ejemplo: Mostrar que las soluciones

$${\mathbf{Y}}_1=\left(\begin{array}{c}1\\ -1\\ 0\end{array}\right),{\mathbf{Y}}_2=\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right),{\mathbf{Y}}_3=\left(\begin{array}{c}0\\ 0\\ e^{3t}\end{array}\right)$$

del sistema lineal

$${\mathbf{Y}}^{\prime }=\left(\begin{array}{ccc}1& 1& 0\\ 1& 1& 0\\ 0& 0& 3\end{array}\right)\mathbf{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({\mathbf{Y}}_1,{\mathbf{Y}}_2,{\mathbf{Y}}_3)=\left|\begin{array}{ccc}1& e^{2t}& 0\\ -1& e^{2t}& 0\\ 0& 0& e^{3t}\end{array}\right|=e^{5t}+0+0-0-0-(-e^{5t})=2e^{5t}\ne 0$$

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

$$S=\{\left(\begin{array}{c}1\\ -1\\ 0\end{array}\right),\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right),\left(\begin{array}{c}0\\ 0\\ e^{3t}\end{array}\right)\}$$

La matriz fundamental de soluciones es

$$\mathbf{M}(t)=\left(\begin{array}{ccc}1& e^{2t}& 0\\ -1& e^{2t}& 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">}$

Un buen ejercicio sería mostrar que un conjunto de soluciones del sistema lineal homogéneo ($\text{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.

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 ($\text{2}$).

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

$$\mathbf{Y}(t_0)=\left(\begin{array}{c}{b}_1\\ b_2\\ ⋮\\ b_n\end{array}\right)={\mathbf{Y}}_0$$

Es decir, la función $\mathbf{Y}(t)$ satisface el problema de valores iniciales ${\mathbf{Y}}^{\prime }=\mathbf{AY};\mathbf{Y}(t_0)={\mathbf{Y}}_0$.

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

$$\hat{\mathbf{Y}}(t)=c_1{\mathbf{Y}}_1(t)+c_2{\mathbf{Y}}_2(t)+\cdots +c_n{\mathbf{Y}}_n(t)$$

también es solución del sistema lineal ${\mathbf{Y}}^{\prime }=\mathbf{AY}$. Donde $c_i$, $i=1,2,\cdots ,n$ son constantes arbitrarias y las ${\mathbf{Y}}_i$, $i=1,2,\cdots ,n$ son las soluciones del conjunto fundamental de soluciones del sistema lineal. Supongamos que

$$\hat{\mathbf{Y}}(t_0)=c_1{\mathbf{Y}}_1(t_0)+c_2{\mathbf{Y}}_2(t_0)+\cdots +c_n{\mathbf{Y}}_n(t_0)={\mathbf{Y}}_0$$

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

$$\begin{array}{c}{c}_1{y}_{11}(t_0)+c_2{y}_{12}(t_0)+\cdots +c_n{y}_{1n}(t_0)=b_1\\ c_1{y}_{21}(t_0)+c_2{y}_{22}(t_0)+\cdots +c_n{y}_{2n}(t_0)=b_2\\ ⋮\\ c_1{y}_{n1}(t_0)+c_2{y}_{n2}(t_0)+\cdots +c_n{y}_{nn}(t_0)=b_n\end{array}$$

En donde las incógnitas son las contantes $c_i$, $i=1,2,\cdots ,n$. Como las funciones $y_{ij}$, $i,j\in \{1,2,3,\cdots ,n\}$ pertenecen a vectores del conjunto de soluciones, entonces sabemos que ${\mathbf{Y}}_1,{\mathbf{Y}}_2,\cdots ,{\mathbf{Y}}_n$ son linealmente independientes y por el criterio para soluciones linealmente independientes inferimos que $W(t_0)\ne 0$, donde

$$W(t_0)=W({\mathbf{Y}}_1(t_0),{\mathbf{Y}}_2(t_0),\cdots ,{\mathbf{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,\cdots ,c_n$, tal que

$$c_1{\mathbf{Y}}_1(t_0)+c_2{\mathbf{Y}}_2(t_0)+\cdots +c_n{\mathbf{Y}}_n(t_0)={\mathbf{Y}}_0$$

Esto nos indica que

$$\hat{\mathbf{Y}}(t)=c_1{\mathbf{Y}}_1(t)+c_2{\mathbf{Y}}_2(t)+\cdots +c_n{\mathbf{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 $\mathbf{Y}(t)=\hat{\mathbf{Y}}(t)$, es decir,

$$\mathbf{Y}(t)=c_1{\mathbf{Y}}_1(t)+c_2{\mathbf{Y}}_2(t)+\cdots +c_n{\mathbf{Y}}_n(t)$$

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

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

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

Sistemas no homogéneos

El sistema lineal de primer orden no homogéneo es

$$\begin{array}{}\text{(15)}& \left(\begin{array}{c}{y}_1^{\prime }(t)\\ y_2^{\prime }(t)\\ ⋮\\ y_n^{\prime }(t)\end{array}\right)=\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)\left(\begin{array}{c}{y}_1(t)\\ y_2(t)\\ ⋮\\ y_n(t)\end{array}\right)+\left(\begin{array}{c}{g}_1(t)\\ g_2(t)\\ ⋮\\ g_n(t)\end{array}\right)\end{array}$$

O bien,

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

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

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

Demostración: Sea

$${\mathbf{Y}}_p(t)=\left(\begin{array}{c}{y}_{1p}\\ y_{2p}\\ ⋮\\ y_{np}\end{array}\right)$$

una solución particular de ($\text{16}$) y sean ${\mathbf{Y}}_1(t),{\mathbf{Y}}_2(t),\cdots ,{\mathbf{Y}}_n(t)$, $n$ soluciones linealmente independientes del sistema homogéneo asociado ${\mathbf{Y}}^{\prime }=\mathbf{AY}$.

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

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

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

$$\mathbf{Y}(t)-{\mathbf{Y}}_p(t)=c_1{\mathbf{Y}}_1(t)+c_2{\mathbf{Y}}_2(t)+\cdots +c_n{\mathbf{Y}}_n(t)$$

entonces, la solución $\mathbf{Y}$ tiene la forma

$$\begin{array}{}\text{(19)}& \mathbf{Y}(t)=c_1{\mathbf{Y}}_1(t)+c_2{\mathbf{Y}}_2(t)+\cdots +c_n{\mathbf{Y}}_n(t)+{\mathbf{Y}}_p(t)\end{array}$$

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

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

$$\mathbf{Y}(t)={\mathbf{Y}}_c(t)+{\mathbf{Y}}_p(t)$$

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

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

Concluyamos con un ejemplo.

Ejemplo: Probar que el vector

$${\mathbf{Y}}_p=\left(\begin{array}{c}-{\displaystyle \frac{1}{4}}{e}^{2t}+{\displaystyle \frac{1}{2}}t{e}^{2t}\\ -e^t+{\displaystyle \frac{1}{4}}{e}^{2t}+{\displaystyle \frac{1}{2}}t{e}^{2t}\\ {\displaystyle \frac{1}{2}}{t}^2{e}^{3t}\end{array}\right)$$

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

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

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

$${\mathbf{Y}}_p^{\prime }=\left(\begin{array}{c}-{\displaystyle \frac{1}{2}}{e}^{2t}+{\displaystyle \frac{1}{2}}{e}^{2t}+t{e}^{2t}\\ -e^t+{\displaystyle \frac{1}{2}}{e}^{2t}+{\displaystyle \frac{1}{2}}{e}^{2t}+t{e}^{2t}\\ t{e}^{3t}+{\displaystyle \frac{3}{2}}{t}^2{e}^{3t}\end{array}\right)=\left(\begin{array}{c}t{e}^{2t}\\ -e^t+e^{2t}+t{e}^{2t}\\ t{e}^{3t}+{\displaystyle \frac{3}{2}}{t}^2{e}^{3t}\end{array}\right)$$

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

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

Operando obtenemos lo siguiente.

$${\mathbf{Y}}^{\prime }=\left(\begin{array}{c}-{\displaystyle \frac{1}{4}}{e}^{2t}+{\displaystyle \frac{1}{2}}t{e}^{2t}-e^t+{\displaystyle \frac{1}{4}}{e}^{2t}+{\displaystyle \frac{1}{2}}t{e}^{2t}+e^t\\ -{\displaystyle \frac{1}{4}}{e}^{2t}+{\displaystyle \frac{1}{2}}t{e}^{2t}-e^t+{\displaystyle \frac{1}{4}}{e}^{2t}+{\displaystyle \frac{1}{2}}t{e}^{2t}+e^{2t}\\ {\displaystyle \frac{3}{2}}{t}^2{e}^{3t}+t{e}^{3t}\end{array}\right)=\left(\begin{array}{c}t{e}^{2t}\\ -e^t+e^{2t}+t{e}^{2t}\\ t{e}^{3t}+{\displaystyle \frac{3}{2}}{t}^2{e}^{3t}\end{array}\right)$$

Los resultados obtenidos son los mismos, por lo tanto el vector ${\mathbf{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

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

esta constituido por los vectores linealmente independientes

$${\mathbf{Y}}_1=\left(\begin{array}{c}1\\ -1\\ 0\end{array}\right),{\mathbf{Y}}_2=\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right),{\mathbf{Y}}_3=\left(\begin{array}{c}0\\ 0\\ e^{3t}\end{array}\right)$$

de manera que la función complementaria es

$${\mathbf{Y}}_c=c_1\left(\begin{array}{c}1\\ -1\\ 0\end{array}\right)+c_2\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right)+c_3\left(\begin{array}{c}0\\ 0\\ e^{3t}\end{array}\right)$$

Como la solución general es

$$\mathbf{Y}={\mathbf{Y}}_c+{\mathbf{Y}}_p$$

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

$$\mathbf{Y}(t)=c_1\left(\begin{array}{c}1\\ -1\\ 0\end{array}\right)+c_2\left(\begin{array}{c}{e}^{2t}\\ e^{2t}\\ 0\end{array}\right)+c_3\left(\begin{array}{c}0\\ 0\\ e^{3t}\end{array}\right)+\left(\begin{array}{c}-{\displaystyle \frac{1}{4}}{e}^{2t}+{\displaystyle \frac{1}{2}}t{e}^{2t}\\ -e^t+{\displaystyle \frac{1}{4}}{e}^{2t}+{\displaystyle \frac{1}{2}}t{e}^{2t}\\ {\displaystyle \frac{1}{2}}{t}^2{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">}$

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. Los siguientes vectores son soluciones de un sistema lineal homogéneo ${\mathbf{Y}}^{\prime }=\mathbf{AY}$. Determinar si forman un conjunto fundamental de soluciones en $\mathbb{R}$.

• ${\mathbf{Y}}_1=\left(\begin{array}{c}1\\ -1\end{array}\right)e^t,{\mathbf{Y}}_2=\left(\begin{array}{c}2\\ 6\end{array}\right)e^t+\left(\begin{array}{c}8\\ -8\end{array}\right)t{e}^t$

• ${\mathbf{Y}}_1=\left(\begin{array}{c}1\\ 6\\ -13\end{array}\right),{\mathbf{Y}}_2=\left(\begin{array}{c}1\\ -2\\ -1\end{array}\right)e^{-4t},{\mathbf{Y}}_3=\left(\begin{array}{c}2\\ 3\\ -2\end{array}\right)e^{3t}$

2. Probar que el vector ${\mathbf{Y}}_p$ es una solución particular del sistema lineal dado.

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

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

3. Mostrar que la solución general de
   
   ${\mathbf{Y}}^{\prime }=\left(\begin{array}{ccc}0& 6& 0\\ 1& 0& 1\\ 1& 1& 0\end{array}\right)\mathbf{Y}$
   
   en el intervalo $(-\mathrm{\infty },\mathrm{\infty })$ es
   
   $\mathbf{Y}=c_1\left(\begin{array}{c}6\\ -1\\ -5\end{array}\right)e^{-t}+c_2\left(\begin{array}{c}-3\\ 1\\ 1\end{array}\right)e^{-2t}+c_3\left(\begin{array}{c}2\\ 1\\ 1\end{array}\right)e^{3t}$

4. Mostrar que la solución general de
   
   ${\mathbf{Y}}^{\prime }=\left(\begin{array}{cc}-1& -1\\ -1& 1\end{array}\right)\mathbf{Y}+\left(\begin{array}{c}1\\ 1\end{array}\right)t^2+\left(\begin{array}{c}4\\ -6\end{array}\right)t+\left(\begin{array}{c}-1\\ 5\end{array}\right)$
   
   en el intervalo $(-\mathrm{\infty },\mathrm{\infty })$ es
   
   $\mathbf{Y}=c_1\left(\begin{array}{c}1\\ -1-\sqrt{2}\end{array}\right)e^{\sqrt{2t}}+c_2\left(\begin{array}{c}1\\ -1+\sqrt{2}\end{array}\right)e^{-\sqrt{2t}}+\left(\begin{array}{c}1\\ 0\end{array}\right)t^2+\left(\begin{array}{c}-2\\ 4\end{array}\right)t+\left(\begin{array}{c}1\\ 0\end{array}\right)$

5. Demostrar que el conjunto de soluciones del sistema lineal homogéneo ${\mathbf{Y}}^{\prime }=\mathbf{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^{\mathbf{A}t}$, donde $\mathbf{A}$ es una matriz de $n\times n$ con componentes constantes y veremos como se relaciona con un sistema lineal ${\mathbf{Y}}^{\prime }=\mathbf{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»