Archivo de la etiqueta: valores propios complejos

Ecuaciones Diferenciales I: Teoría cualitativa de los sistemas lineales homogéneos – Valores propios complejos

Por Omar González Franco

Las matemáticas es una ciencia que dibuja conclusiones necesarias.
– Benjamin Peirce

Introducción

En la entrada anterior estudiamos los sistemas lineales en los que los valores propios de la matriz $A$ eran reales y distintos, en esta entrada estudiaremos sistemas lineales en los que los valores propios son complejos.

Antes de comenzar con el desarrollo cualitativo es conveniente recordar algunos resultados importantes de estos sistemas.

Sistemas lineales con valores propios complejos

El sistema que estamos analizando es

$\begin{aligned} x^{'} & = a x + b y \\ (1) & y^{'} & = c x + d y \end{aligned}$

Definimos,

$Y^{'} = (\begin{matrix} x^{'} \\ y^{'} \end{matrix}), Y = (\begin{matrix} x \\ y \end{matrix}) y A = (\begin{matrix} a & b \\ c & d \end{matrix})$

De manera que el sistema ( $1$ ) se pueda escribir como

$\begin{matrix} (2) & Y^{'} = AY \end{matrix}$

Sea

$\begin{matrix} (3) & λ = α + i β \end{matrix}$

un valor propio de la matriz $A$ , con $α$ y $β$ reales. Y sea

$\begin{matrix} (4) & K = U + i V \end{matrix}$

un vector propio de $A$ asociado a $λ$ . Entonces la solución del sistema ( $1$ ) se puede escribir como

$\begin{matrix} (5) & Y (t) = (U + i V) e^{(α + i β) t} \end{matrix}$

En la unidad anterior vimos que si definimos los vectores

$W_{1} = R e {Y} y W_{2} = I m {Y}$

donde $W_{1}$ y $W_{2}$ están dados como

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

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

entonces la solución general real del sistema ( $1$ ) es

$\begin{matrix} (8) & Y (t) = c_{1} W_{1} (t) + c_{2} W_{2} (t) \end{matrix}$

Por lo tanto, las soluciones linealmente independientes son

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

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

La expresión $k_{1} \cos (β t) + k_{2} \sin (β t)$ , donde $k_{1}$ y $k_{2}$ son constantes, se puede expresar en la forma $R \cos (β t - δ)$ para una elección adecuada de constantes $R$ y $δ$ . De tarea moral demuestra que la solución ( $8$ ) se puede expresar de la siguiente forma.

$\begin{matrix} (11) & Y (t) = e^{α t} (\begin{matrix} R_{1} \cos (β t - δ_{1}) \\ R_{2} \cos (β t - δ_{2}) \end{matrix}) \end{matrix}$

para alguna elección de constantes $R_{1} \geq 0$ , $R_{2} \geq 0$ , $δ_{1}$ y $δ_{2}$ .

Con esto en mente pasemos a estudiar cada caso en el que los valores propios son complejos.

Valores propios complejos con parte real nula

Caso 1: $λ_{1} = α + i β$ y $λ_{2} = α - i β$ , con $α = 0$ .

En este caso se dice que los valores propios son imaginarios puros ya que no tienen parte real. De la solución ( $11$ ) vemos que si $α = 0$ , entonces la expresión se reduce a

$\begin{matrix} (12) & Y (t) = (\begin{matrix} R_{1} \cos (β t - δ_{1}) \\ R_{2} \cos (β t - δ_{2}) \end{matrix}) \end{matrix}$

Las soluciones $x (t)$ y $y (t)$ son

$\begin{matrix} (13) & x (t) = R_{1} \cos (β t - δ_{1}) y y (t) = R_{2} \cos (β t - δ_{2}) \end{matrix}$

Estas funciones son periódicas en el tiempo, con periodo $2 π / β$ . Como $| \cos (β t - δ_{1}) | \leq 1$ y $| \cos (β t - δ_{2}) | \leq 1$ , entonces la función $x (t)$ varia entre $- R_{1}$ y $+ R_{1}$ , mientras que $y (t)$ varia entre $- R_{2}$ y $+ R_{2}$ . Por tanto, la trayectoria de cualquier solución $Y (t)$ de ( $1$ ) es una curva cerrada que rodea al origen $x = y = 0$ , es por ello que se dice que el punto de equilibrio $Y_{0} = (0, 0)$ es un centro y es estable.

A continuación se muestra el plano fase.

La dirección de las trayectorias se determina a partir del sistema ( $1$ ). Buscamos el signo de $y^{'}$ cuando $y = 0$ . Si $y^{'}$ es mayor que cero para $y = 0$ y $x > 0$ , entonces todas las trayectorias se mueven en sentido contrario a las manecillas del reloj. Si $y^{'}$ es menor que cero para $y = 0$ y $x > 0$ , entonces todas las trayectorias se mueven en el sentido de las manecillas del reloj.

Ahora estudiemos los casos en los que los valores propios tienen parte real no nula.

Valores propios complejos con parte real negativa

Caso 2: $λ_{1} = α + i β$ y $λ_{2} = α - i β$ , con $α < 0$ .

En este caso las soluciones son

$Y (t) = e^{α t} (\begin{matrix} R_{1} \cos (β t - δ_{1}) \\ R_{2} \cos (β t - δ_{2}) \end{matrix})$

o bien,

$\begin{matrix} (14) & x (t) = e^{α t} R_{1} \cos (β t - δ_{1}) y y (t) = e^{α t} R_{2} \cos (β t - δ_{2}) \end{matrix}$

Si $t = 0$ , se obtiene que

$\begin{matrix} (15) & Y (0) = (\begin{matrix} R_{1} \cos (- δ_{1}) \\ R_{2} \cos (- δ_{2}) \end{matrix}) \end{matrix}$

Sabemos que el periodo es $2 π / β$ , notemos que si $t = 2 π / β$ , entonces

$Y (2 π / β) = e^{2 π α / β} (\begin{matrix} R_{1} \cos (2 π - δ_{1}) \\ R_{2} \cos (2 π - δ_{2}) \end{matrix}) = e^{2 π α / β} (\begin{matrix} R_{1} \cos (- δ_{1}) \\ R_{2} \cos (- δ_{2}) \end{matrix})$

esto es,

$\begin{matrix} (16) & Y (2 π / β) = e^{2 π α / β} Y (0) \end{matrix}$

Como

$Y (2 π / β) < Y (0)$

es decir,

$x (2 π / β) < x (0) y y (2 π / β) < y (0)$

entonces $Y (2 π / β)$ está más cerca del origen que $Y (0)$ . Esto significa que, para $α < 0$ , el efecto del factor $e^{α t}$ sobre la solución ( $11$ ) es el de cambiar las curvas cerradas del caso anterior en espirales que se aproximan hacia el origen.

El plano fase se muestra a continuación.

De forma similar al caso anterior, la dirección de las trayectorias se determina a partir del sistema ( $1$ ). En este caso se dice que el punto de equilibrio $Y_{0} = (0, 0)$ de ( $1$ ) es un foco estable, o también se conoce como espiral atractor. La estabilidad de este punto de equilibrio es asintóticamente estable.

Para concluir veamos que ocurre si $α$ es positiva.

Valores propios complejos con parte real positiva

Caso 3: $λ_{1} = α + i β$ y $λ_{2} = α - i β$ , con $α > 0$ .

En este caso nuevamente las soluciones son

$Y (t) = e^{α t} (\begin{matrix} R_{1} \cos (β t - δ_{1}) \\ R_{2} \cos (β t - δ_{2}) \end{matrix})$

o bien,

$x (t) = e^{α t} R_{1} \cos (β t - δ_{1}) y y (t) = e^{α t} R_{2} \cos (β t - δ_{2})$

Sin embargo, debido a que $α > 0$ , se puede probar que

$Y (2 π / β) > Y (0)$

es decir,

$x (2 π / β) > x (0) y y (2 π / β) > y (0)$

lo que significa que ahora $Y (0)$ está más cerca del origen que $Y (2 π / β)$ .

Por lo tanto, en este caso todas las soluciones de ( $1$ ) describen espirales que se alejan del origen conforme $t \to \infty$ , y se dice que el punto de equilibrio $Y_{0} = (0, 0)$ de ( $1$ ) es un foco inestable o espiral repulsor. Es claro que el punto de equilibrio es inestable.

El plano fase se muestra a continuación.

Hemos revisado los casos posibles. Para concluir con la entrada realicemos un ejemplo por cada caso.

Caso 1: $λ_{1} = α + i β$ y $λ_{2} = α - i β$ , con $α = 0$ .

Ejemplo: Resolver el siguiente sistema lineal y hacer un análisis cualitativo de las soluciones.

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

Solución: Determinemos los valores propios.

$| \begin{matrix} 2 - λ & 1 \\ - 5 & - 2 - λ \end{matrix} | = (2 - λ) (- 2 - λ) + 5 = λ^{2} + 1 = 0$

Las raíces son $λ_{1} = i$ y $λ_{2} = - i$ , notamos que $α = 0$ y $β = 1$ , determinemos los vectores propios resolviendo la ecuación

$(A - i I) K = 0$

o bien,

$(\begin{matrix} 2 - i & 1 \\ - 5 & - 2 - i \end{matrix}) (\begin{matrix} k_{1} \\ k_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

Las ecuaciones que se obtienen son

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

Vemos que

$k_{1} = - (\frac{2 + i}{5}) k_{2}$

Sea $k_{2} = - 5$ , tal que $k_{1} = 2 + i$ , así el primer vector propio es

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

Sabemos que $K_{2} = {\bar{K}}_{1}$ , entonces el segundo vector propio asociado al valor propio $λ_{2} = - i$ es

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

La primera solución linealmente independiente es

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

Notemos lo siguiente.

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

De donde definimos

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

$W_{2} = \sin (t) (\begin{matrix} 2 \\ - 5 \end{matrix}) + \cos (t) (\begin{matrix} 1 \\ 0 \end{matrix})$

Por lo tanto, la solución general real es

$Y (t) = c_{1} [\cos (t) (\begin{matrix} 2 \\ - 5 \end{matrix}) - \sin (t) (\begin{matrix} 1 \\ 0 \end{matrix})] + c_{2} [\sin (t) (\begin{matrix} 2 \\ - 5 \end{matrix}) + \cos (t) (\begin{matrix} 1 \\ 0 \end{matrix})]$

En términos de las funciones $x (t)$ y $y (t)$ se tienen las soluciones

$\begin{aligned} x (t) & = [2 c_{1} + c_{2}] \cos (t) + [- c_{1} + 2 c_{2}] \sin (t) \\ y (t) & = - 5 c_{1} \cos (t) - 5 c_{2} \sin (t) \end{aligned}$

Las soluciones son de la forma

$\begin{aligned} x (t) & = k_{1} \cos (t) + k_{2} \sin (t) \\ y (t) & = k_{3} \cos (t) + k_{4} \sin (t) \end{aligned}$

También es posible determinar las constantes $R_{1}$ , $R_{2}$ , $δ_{1}$ y $δ_{2}$ en términos de las constantes $c_{1}$ y $c_{2}$ , tal que la solución se pueda escribir como

$\begin{aligned} x (t) & = R_{1} \cos (t - δ_{1}) \\ y (t) & = R_{2} \cos (t - δ_{2}) \end{aligned}$

En este caso como $β = 1$ , entonces el periodo es $T = 2 π$ . La función paramétrica que define las trayectorias está dada por

$f (t) = (k_{1} \cos (t) + k_{2} \sin (t), k_{3} \cos (t) + k_{4} \sin (t))$

Es claro que las trayectorias son curvas cerradas con periodo $2 π$ .

Para determinar la dirección de las trayectorias consideremos la ecuación $y^{'}$ del sistema, dicha ecuación es

$y^{'} = - 5 x - 2 y$

Si $y = 0$ se tiene la ecuación $y^{'} = - 5 x$ , vemos que si $x > 0$ , entonces $y^{'} < 0$ , por lo tanto las trayectorias se mueven en el sentido de las manecillas del reloj.

El plano fase indicando algunas trayectorias se muestra a continuación.

El campo vectorial está definido por la función

$F (x, y) = (2 x + y, - 5 x - 2 y)$

A continuación se muestra dicho campo vectorial y algunas trayectorias.

Efectivamente, el punto de equilibrio $Y_{0} = (0, 0)$ es un centro.

Veamos como se pierde esta regularidad si $α \neq 0$ .

Caso 2: $λ_{1} = α + i β$ y $λ_{2} = α - i β$ , con $α < 0$ .

Ejemplo: Resolver el siguiente sistema lineal y hacer un análisis cualitativo de las soluciones.

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

Solución: Determinemos los valores propios.

$| \begin{matrix} - 1 - λ & - 4 \\ 1 & - 1 - λ \end{matrix} | = (- 1 - λ)^{2} + 4 = λ^{2} + 2 λ + 5 = 0$

Las raíces son $λ_{1} = - 1 + 2 i$ y $λ_{2} = - 1 - 2 i$ (con $α = - 1$ y $β = 2$ ). Resolvamos la siguiente ecuación para obtener los vectores propios.

$(A - (- 1 + 2 i) I) K = 0$

o bien,

$(\begin{matrix} - 2 i & - 4 \\ 1 & - 2 i \end{matrix}) (\begin{matrix} k_{1} \\ k_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

Se obtiene que $k_{1} = 2 i k_{2}$ . Sea $k_{2} = 1$ , entonces $k_{1} = 2 i$ , así el primer vector propios es

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

Considerando que $K_{2} = {\bar{K}}_{1}$ , entonces el segundo vector propio, asociado a $λ_{2} = - 1 - 2 i$ es

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

Sabemos que la primer solución es

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

Notemos lo siguiente.

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

De donde definimos

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

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

Por lo tanto, la solución general real es

$Y (t) = c_{1} e^{- t} [\cos (2 t) (\begin{matrix} 0 \\ 1 \end{matrix}) - \sin (t) (\begin{matrix} 2 \\ 0 \end{matrix})] + c_{2} e^{- t} [\cos (t) (\begin{matrix} 2 \\ 0 \end{matrix}) + \sin (2 t) (\begin{matrix} 0 \\ 1 \end{matrix})]$

Las funciones $x (t)$ y $y (t)$ son

$\begin{aligned} x (t) & = - 2 c_{1} e^{- t} \sin (2 t) + 2 c_{2} e^{- t} \cos (2 t) \\ y (t) & = c_{1} e^{- t} \cos (2 t) + c_{2} e^{- t} \sin (2 t) \end{aligned}$

Estas funciones también se pueden escribir como

$\begin{aligned} x (t) & = e^{- t} R_{1} \cos (2 t - δ_{1}) \\ y (t) & = e^{- t} R_{2} \cos (2 t - δ_{2}) \end{aligned}$

De tarea moral determina las constantes $R_{1}$ , $R_{2}$ , $δ_{1}$ y $δ_{2}$ en términos de las constantes $c_{1}$ y $c_{2}$ .

Podemos notar que las soluciones ya no son trayectorias cerradas debido al término $e^{- t}$ . En este caso el periodo es $t = 2 π / 2 = π$ . Notemos que

$\begin{aligned} x (0) & = 2 c_{2} = R_{1} \cos (- δ_{1}) \\ y (0) & = c_{1} = R_{2} \cos (- δ_{2}) \end{aligned}$

Mientras que

$\begin{aligned} x (π) & = 2 e^{- π} c_{2} = R_{1} e^{- π} \cos (- δ_{1}) \\ y (π) & = e^{- π} c_{1} = R_{2} e^{- π} \cos (- δ_{2}) \end{aligned}$

Como $e^{- π} < 1$ , entonces

$x (π) < x (0) y y (π) < y (0)$

Por lo tanto las trayectorias corresponden a espirales que se aproximan hacia el origen.

La función paramétrica que define las trayectorias es

$f (t) = (- 2 c_{1} e^{- t} \sin (2 t) + 2 c_{2} e^{- t} \cos (2 t), c_{1} e^{- t} \cos (2 t) + c_{2} e^{- t} \sin (2 t))$

Para determinar la dirección en que giran las trayectorias consideremos la ecuación $y^{'}$ del sistema, dicha ecuación es

$y^{'} = x - y$

Si $y = 0$ , entonces $y^{'} = x$ y si $x > 0$ , entonces $y^{'} > 0$ , por lo tanto las trayectorias se mueven en el sentido opuesto a las manecillas del reloj.

El plano fase con algunas trayectorias se muestra a continuación.

El campo vectorial asociado está definido por la función

$F (x, y) = (- x - 4 y, x - y)$

Dicho campo y algunas trayectorias se muestran en la siguiente figura.

El punto de equilibrio $Y_{0} = (0, 0)$ es un foco estable.

Concluyamos con un último ejemplo.

Caso 3: $λ_{1} = α + i β$ y $λ_{2} = α - i β$ , con $α > 0$ .

Ejemplo: Resolver el siguiente sistema lineal y hacer un análisis cualitativo de las soluciones.

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

Solución: Determinemos los valores propios.

$| \begin{matrix} 3 - λ & - 2 \\ 4 & - 1 - λ \end{matrix} | = (3 - λ) (- 1 - λ) + 8 = λ^{2} - 2 λ + 5 = 0$

Los valores propios son $λ_{1} = 1 + 2 i$ y $λ_{2} = 1 - 2 i$ (con $α = 1$ y $β = 2$ ). Determinemos los vectores propios con la ecuación

$(A - (1 + 2 i) I) K = 0$

o bien,

$(\begin{matrix} 2 - 2 i & - 2 \\ 4 & - 2 - 2 i \end{matrix}) (\begin{matrix} k_{1} \\ k_{2} \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})$

De este sistema se obtiene que

$k_{1} = (\frac{1 + i}{2}) k_{2}$

Sea $k_{2} = 1$ , entonces $k_{1} = \frac{1 + i}{2}$ , así el primer vector propio es

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

y sabemos enseguida que

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

La primer solución linealmente independiente es

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

Vemos que

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

de donde,

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

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

Por lo tanto, la solución general real del sistema es

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

Las funciones $x (t)$ y $y (t)$ son

$\begin{aligned} x (t) & = e^{t} (\frac{c_{1} + c_{2}}{2}) \cos (2 t) + e^{t} (\frac{c_{2} - c_{1}}{2}) \sin (2 t) \\ y (t) & = c_{1} e^{t} \cos (2 t) + c_{2} e^{t} \sin (2 t) \end{aligned}$

El periodo de las soluciones es $T = 2 π / 2 = π$ . Muestra, de manera similar a como lo hicimos en el ejemplo anterior, que

$x (π) > x (0) y y (π) > y (0)$

esto debido a que $e^{π} > 1$ . Por lo tanto, las trayectorias describen espirales que se alejan del origen.

La función paramétrica que define a las trayectorias es

$f (t) = (k_{1} e^{t} \cos (2 t) + k_{2} e^{t} \sin (2 t), c_{1} e^{t} \cos (2 t) + c_{2} e^{t} \sin (2 t))$

Con

$k_{1} = (\frac{c_{1} + c_{2}}{2}) y k_{2} = (\frac{c_{2} - c_{1}}{2})$

Para determinar la dirección de las trayectorias consideremos la ecuación

$y^{'} = 4 x - y$

Si $y = 0$ se obtiene que $y^{'} = 4 x$ y si $x > 0$ , entonces $y^{'} > 0$ , por lo tanto, las trayectorias se mueven en el sentido opuesto a las manecillas del reloj.

El plano fase se muestra a continuación.

La función vectorial que define al campo vectorial es

$F (x, y) = (3 x - 2 y, 4 x - y)$

El campo vectorial y algunas trayectorias se ilustran en la siguiente figura.

El punto de equilibrio $Y_{0} = (0, 0)$ corresponde a un foco inestable.

Hemos concluido con esta entrada. Continuemos en la siguiente entrada con el análisis en el caso en el que los valores propios de la matriz $A$ son iguales.

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.

Resolver los siguientes sistemas lineales y hacer un análisis cualitativo de las soluciones.

$Y^{'} = (\begin{matrix} 0 & 4 \\ - 9 & 0 \end{matrix}) Y$

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

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

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

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

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

Más adelante…

Continuando con nuestro estudio cualitativo de los sistemas lineales homogéneos con dos ecuaciones diferenciales, en la siguiente entrada veremos que ocurre en el plano fase cuando los valores propios de la matriz $A$ son repetidos.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Teoría cualitativa de los sistemas lineales homogéneos – Valores propios reales y distintos
Siguiente entrada del curso: Teoría cualitativa de los sistemas lineales homogéneos – Valores propios repetidos

Video relacionado al tema: Plano fase para sistemas lineales con valores propios complejos

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 – Videos: Plano fase para sistemas lineales con valores propios complejos

Por Eduardo Vera Rosales

Deja un comentario

Introducción

En la entrada anterior comenzamos a estudiar el plano fase para sistemas de dos ecuaciones homogéneas con coeficientes constantes de la forma $(\begin{matrix} \dot{x} \\ \dot{y} \end{matrix}) = (\begin{matrix} a & b \\ c & d \end{matrix}) (\begin{matrix} x \\ y \end{matrix}) .$ En particular, revisamos el caso cuando los valores propios del sistema son reales distintos y no son cero. Vimos que el comportamiento de las curvas y la estabilidad del punto de equilibrio dependen del signo de los valores propios. Así, cuando los signos difieren tenemos un punto silla (inestable), cuando los dos valores propios son negativos tenemos un atractor (punto de equilibrio asintóticamente estable) y finalmente, cuando ambos valores propios son positivos el punto de equilibrio es un repulsor (inestable).

Es turno ahora de analizar el plano fase para sistemas cuyos valores propios son complejos. Sabemos que si $λ_{1} = α + β i$ es un valor propio del sistema, entonces su conjugado $λ_{2} = α - β i$ también es un valor propio. Además la solución general a dichos sistemas tiene la forma $X (t) = c_{1} e^{α t} (\cos β t (\begin{matrix} u_{1} \\ u_{2} \end{matrix}) - \sin β t (\begin{matrix} v_{1} \\ v_{2} \end{matrix})) + c_{2} e^{α t} (\sin β t (\begin{matrix} u_{1} \\ u_{2} \end{matrix}) + \cos β t (\begin{matrix} v_{1} \\ v_{2} \end{matrix}))$ donde los vectores $(u_{1}, u_{2})$ y $(v_{1}, v_{2})$ son vectores tales que $w = (u_{1}, u_{2}) + i (v_{1}, v_{2})$ es un vector propio para $λ_{1}$ .

Estudiaremos las soluciones cuando $t \to \infty$ . La forma del plano fase va a depender de la parte real $α$ de los valores propios (nota que los dos valores propios tienen la misma parte real), por lo que distinguiremos tres casos, según $α$ sea positivo, negativo o cero. Finalmente clasificaremos a los puntos de equilibrio según su estabilidad.

Plano fase para sistemas con valores propios complejos

En el primer video estudiamos de manera general el plano fase para sistemas de la forma $(\begin{matrix} \dot{x} \\ \dot{y} \end{matrix}) = (\begin{matrix} a & b \\ c & d \end{matrix}) (\begin{matrix} x \\ y \end{matrix})$ cuyos valores propios son complejos. Analizamos tres casos: cuando la parte real de los valores propios es positiva, negativa o cero.

En el segundo video resolvemos y dibujamos el plano fase para distintos sistemas con valores propios complejos.

Tarea moral

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

Los campos vectoriales de las imágenes fueron realizados en el siguiente enlace.

Prueba que la función $X (t) = (\begin{matrix} (c_{1} u_{1} + c_{2} v_{1}) \cos β t + (c_{2} u_{1} - c_{1} v_{1}) \sin β t \\ (c_{1} u_{2} + c_{2} v_{2}) \cos β t + (c_{2} u_{2} - c_{1} v_{2}) \sin β t \end{matrix})$ es periódica, con período $\frac{2 π}{β}$ , donde $c_{1}, c_{2}, u_{1}, u_{2}, v_{1}, v_{2}$ son valores constantes.

De acuerdo al ejercicio anterior, concluye que si un sistema homogéneo con coeficientes constantes tiene un valor propio complejo $λ_{1} = β i$ con vector propio asociado $w = (u_{1}, u_{2}) + i (v_{1}, v_{2})$ , entonces las curvas en el plano fase son cerradas.

Considera ahora la función $X (t) = e^{α t} (\begin{matrix} (c_{1} u_{1} + c_{2} v_{1}) \cos β t + (c_{2} u_{1} - c_{1} v_{1}) \sin β t \\ (c_{1} u_{2} + c_{2} v_{2}) \cos β t + (c_{2} u_{2} - c_{1} v_{2}) \sin β t \end{matrix})$ con $α \neq 0$ . Prueba que los puntos en el plano que son imagen de valores periódicos bajo la función del primer ejercicio se quedan contenidos en una recta. Concluye el comportamiento espiral de las soluciones a sistemas de ecuaciones con valores complejos cuya parte real es distinta de cero.

Prueba que el punto de equilibrio del sistema $(\begin{matrix} \dot{x} \\ \dot{y} \end{matrix}) = (\begin{matrix} 0 & b \\ - b & 0 \end{matrix}) (\begin{matrix} x \\ y \end{matrix})$ es un centro.

Resuelve y dibuja el plano fase del sistema $(\begin{matrix} \dot{x} \\ \dot{y} \end{matrix}) = (\begin{matrix} 2 & 1 \\ - 2 & 0 \end{matrix}) (\begin{matrix} x \\ y \end{matrix}) .$

Encuentra la solución general y dibuja el plano fase del sistema $(\begin{matrix} \dot{x} \\ \dot{y} \end{matrix}) = (\begin{matrix} 0 & 1 \\ - 1 & - 1 \end{matrix}) (\begin{matrix} x \\ y \end{matrix}) .$

Dibuja el plano fase del sistema $(\begin{matrix} \dot{x} \\ \dot{y} \end{matrix}) = (\begin{matrix} 0 & 1 \\ - 5 & 0 \end{matrix}) (\begin{matrix} x \\ y \end{matrix}) .$

(Recuerda que puedes apoyarte del campo vectorial asociado para dibujar el plano fase).

Más adelante

Seguimos avanzando en el estudio del plano fase para sistemas homogéneos con coeficientes constantes. Ya sabemos la forma de las soluciones para sistemas cuyos valores propios son reales distintos y no nulos, o complejos. En la próxima entrada continuaremos revisando el plano fase, pero ahora para sistemas que tienen valores propios repetidos.

¡Hasta la próxima!

Entradas relacionadas

Ir a Ecuaciones Diferenciales I
Entrada anterior del curso: Plano fase para sistemas lineales con valores propios reales distintos no nulos
Siguiente entrada del curso: Plano fase para sistemas lineales con valores propios repetidos

Notas escritas relacionadas con el tema: Teoría cualitativa de los sistemas lineales homogéneos. Valores propios complejos

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: Sistemas lineales homogéneos con coeficientes constantes – Valores propios complejos

Por Omar González Franco

Deja un comentario

Un matemático que no es también algo de poeta
nunca será un matemático completo.
– Karl Weierstrass

Introducción

Ya vimos cómo obtener la solución general de sistemas lineales homogéneos con coeficientes constantes en el caso en el que los valores propios son todos reales y distintos. En esta entrada desarrollaremos el caso en el que los valores propios son complejos.

Valores propios complejos

Vimos que para un sistema lineal

$Label '1' multiply defined$

con $A$ una matriz de $n \times n$ con componentes reales

$Label '2' multiply defined$

siempre se puede encontrar una solución de la forma

$Label '3' multiply defined$

Ahora sabemos que $λ$ y $K$ corresponden a un valor y vector propio respectivamente. Como los valores propios se obtienen de encontrar las raíces del polinomio característico, entonces es posible que los valores propios sean números complejos, digamos de la forma

$Label '4' multiply defined$

Con $α$ y $β$ reales. Veremos más adelante que este tipo de valores propios generarán también vectores propios con componentes complejos que podremos escribir como

$Label '5' multiply defined$

Con estos resultados la solución ( $3$ ) se puede escribir como

$Label '6' multiply defined$

Un resultado interesante es que los valores y vectores propios conjugados de ( $4$ ) y ( $5$ ) también son valores y vectores propios de la misma matriz $A$ . Demostremos este hecho.

Recordemos que estamos denotando con $M_{n \times n}$ al conjunto de todas las matrices cuadradas de $n \times n$ con componentes reales y constantes.

Teorema: Sea

A \in M_{n \times n}

λ

un valor propio de

A

, entonces

\overset{―}{λ}

también es un valor propio de

A

. Así mismo, si

K

es un vector propio asociado a

λ

, entonces

\overset{―}{K}

es un vector propio asociado a

\overset{―}{λ}

Demostración: Por hipótesis $λ$ es un valor propio de $A$ , lo que significa que se cumple la relación

$Label '7' multiply defined$

Con $K$ el vector propio asociado a $λ$ . Si tomamos el conjugado de la ecuación anterior, tenemos

$\overset{―}{AK} = \overset{―}{λ K}$

o bien,

$Label '8' multiply defined$

Pero como $A \in M_{n \times n}$ , es decir, $A$ es una matriz con componentes reales constantes, entonces $\overset{―}{A} = A$ . La ecuación ( $8$ ) queda como

$Label '9' multiply defined$

Lo que muestra que $\overset{―}{λ}$ es también un valor propio de $A$ y el vector propio asociado es $\overset{―}{K}$ .

Como $λ$ y $\overset{―}{λ}$ son valores propios, con vectores propios asociados $K$ y $\overset{―}{K}$ respectivamente, de la misma matriz $A$ , por el último teorema de la entrada correspondiente podemos deducir que la solución conjugada de ( $6$ )

$Label '10' multiply defined$

es también una solución del sistema lineal ( $1$ ) y además las soluciones ( $6$ ) y ( $10$ ) son linealmente independientes por el mismo teorema.

A continuación enunciamos un teorema que establece que una solución como ( $6$ ) da lugar a dos soluciones con valores reales.

Teorema: Sea

A \in M_{n \times n}

y sea

Y^{'} = AY

un sistema lineal homogéneo. Si

Y

es una solución del sistema, con valores complejos, entonces sus partes real e imaginaria son soluciones del mismo sistema lineal.

Demostración: Supongamos que la solución del sistema lineal $Y^{'} = AY$ es de la forma

$Label '11' multiply defined$

Donde $W_{1}$ y $W_{2}$ son vectores con componentes reales.

Queremos probar que

$W_{1} = R e {Y} y W_{2} = I m {Y}$

también son soluciones del sistema lineal.

Por una lado, como $Y$ es solución, entonces

$Label '12' multiply defined$

Por otro lado, notemos que

$Label '13' multiply defined$

De ( $12$ ) y ( $13$ ), se tiene que

$Label '14' multiply defined$

Igualando las partes reales e imaginarias de ( $14$ ), se obtiene

$W_{1}^{'} = {AW}_{1} y W_{2}^{'} = {AW}_{2}$

Lo que muestra que las funciones $W_{1}$ y $W_{2}$ son soluciones con valores reales del sistema lineal ( $1$ ).

Ahora que conocemos este resultado veamos que forma tienen las funciones $W_{1}$ y $W_{2}$ .

Teorema: Sea

λ = α + i β

un valor propio complejo de la matriz de coeficientes

A

(

2

) del sistema lineal homogéneo (

1

) y sean

U

V

los vectores que definen al vector propio complejo

K

asociado a

λ

(

5

), entonces

Label '15' multiply defined

Label '16' multiply defined

son soluciones linealmente independientes de (

1

) en

(- \infty, \infty)

Demostración: Sabemos que una solución del sistema lineal ( $1$ ), en el caso en el que el valor y el vector propio son complejos, es

$Y (t) = e^{(α + i β) t} (U + i V)$

Esta función la podemos escribir como

$\begin{matrix} (17) & Y (t) = e^{α t} e^{i β t} U + i e^{α t} e^{i β t} V \end{matrix}$

Usando la identidad de Euler

$\begin{matrix} (18) & e^{i β t} = \cos (β t) + i \sin (β t) \end{matrix}$

podemos escribir la función ( $17$ ) como

$\begin{aligned} Y & = e^{α t} [\cos (β t) + i \sin (β t)] U + i e^{α t} [\cos (β t) + i \sin (β t)] V \\ = e^{α t} [U \cos (β t) + i U \sin (β t)] + i e^{α t} [V \cos (β t) + i V \sin (β t)] \end{aligned}$

Si reescribimos este resultado en una parte real y una imaginaria se tiene lo siguiente.

$\begin{matrix} (19) & Y = e^{α t} [U \cos (β t) - V \sin (β t)] + i e^{α t} [U \sin (β t) + V \cos (β t)] \end{matrix}$

En esta forma podemos definir

$W_{1} = R e {Y} y W_{2} = I m {Y}$

entonces,

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

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

Por el teorema anterior concluimos que ambas son soluciones del sistema lineal ( $1$ ). Para mostrar que son soluciones linealmente independientes probemos que se cumple

$\begin{matrix} (20) & c_{1} W_{1} (t) + c_{2} W_{2} (t) = 0 \end{matrix}$

sólo si $c_{1} = c_{2} = 0$ . Para ello consideremos la solución

$Y = W_{1} + i W_{2}$

Por el primer teorema visto sabemos que el conjugado de la función anterior es también una solución del sistema.

$\begin{matrix} (21) & \overset{―}{Y} = W_{1} - i W_{2} \end{matrix}$

Y además ambas soluciones son linealmente independientes, lo que significa que si se satisface la ecuación

$\begin{matrix} (22) & C_{1} Y + C_{2} \overset{―}{Y} = 0 \end{matrix}$

es porque $C_{1} = C_{2} = 0$ .

Sustituyamos $Y$ y $\overset{―}{Y}$ en ( $22$ ).

$C_{1} [W_{1} + i W_{2}] + C_{2} [W_{1} - i W_{2}] = 0$

Factorizando $W_{1}$ y $W_{2}$ , se tiene

$\begin{matrix} (23) & (C_{1} + C_{2}) W_{1} + i (C_{1} - C_{2}) W_{2} = 0 \end{matrix}$

Si definimos

$c_{1} = C_{1} + C_{2} y c_{2} = i (C_{1} - C_{2})$

podemos escribir

$c_{1} W_{1} (t) + c_{2} W_{2} (t) = 0$

Pero como $C_{1} = C_{2} = 0$ , entonces

$C_{1} + C_{2} = 0 y C_{1} - C_{2} = 0$

es decir, $c_{1} = c_{2} = 0$ , lo que muestra que las soluciones $W_{1}$ y $W_{2}$ son linealmente independientes.

Solución general de un sistema lineal con valores propios complejos

Nosotros ya sabemos que todos los vectores propios de una matriz $A$ , reales o complejos, son linealmente independientes, entonces un conjunto fundamental de soluciones de ( $1$ ) consiste de soluciones de la forma ( $15$ ) y ( $16$ ) en el caso en el que se obtienen valores propios complejos y soluciones de la forma ( $3$ ) cuando los valores propios son reales.

Por ejemplo, supongamos que $λ_{1} = α + i β$ , $λ_{2} = α - i β$ son valores propios complejos de un sistema lineal y que $λ_{3}, λ_{4}, \dots, λ_{n}$ son valores propios reales distintos del mismo sistema lineal. Los correspondientes vectores propios serían $K_{1} = U + i V$ , $K_{2} = U - i V$ , $K_{3}, K_{4}, \dots, K_{n}$ . Entonces la solución general del sistema lineal será

$\begin{matrix} (24) & Y (t) = c_{1} W_{1} (t) + c_{2} W_{2} (t) + c_{3} e^{λ_{3} t} K_{3} + c_{4} e^{λ_{4} t} K_{4} + \dots + c_{n} e^{λ_{n} t} K_{n} \end{matrix}$

Donde $W_{1} (t)$ y $W_{2} (t)$ son los vectores dados en ( $15$ ) y ( $16$ ), respectivamente.

Es importante mencionar que esta teoría se aplica sólo para el caso en que la matriz ( $2$ ) es una matriz con componentes reales.

Para concluir con esta entrada realicemos un ejemplo.

Ejemplo: Resolver el siguiente problema con valores iniciales.

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

Solución: En este caso la matriz $A$ es

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

La ecuación característica la obtenemos de calcular el determinante

$| \begin{matrix} 1 - λ & 0 & 0 \\ 0 & 1 - λ & - 1 \\ 0 & 1 & 1 - λ \end{matrix} | = 0$

De donde se obtiene que

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

Al resolver para $λ$ se obtienen las siguientes tres raíces.

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

Estos valores corresponden a los valores propios de la matriz del sistema. Determinemos los vectores correspondientes.

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

Buscamos un vector $K_{1} \neq 0$ , tal que

$(A - 1 I) K_{1} = 0$

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

Es claro que $k_{2} = k_{3} = 0$ y $k_{1}$ al ser libre lo elegimos como $k_{1} = 1$ , entonces el primer vector propio es

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

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

Buscamos un vector $K_{2}$ no nulo, tal que

$(A - (1 + i) I) K_{2} = 0$

$(\begin{matrix} 1 - (1 + i) & 0 & 0 \\ 0 & 1 - (1 + i) & - 1 \\ 0 & 1 & 1 - (1 + i) \end{matrix}) (\begin{matrix} k_{1} \\ k_{2} \\ k_{3} \end{matrix}) = (\begin{matrix} - i & 0 & 0 \\ 0 & - i & - 1 \\ 0 & 1 & - 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} - i k_{1} & = 0 \\ - i k_{2} - k_{3} & = 0 \\ k_{2} - i k_{3} & = 0 \end{aligned}$

De la primera ecuación se obtiene que $k_{1} = 0$ , y de la segunda o tercera se obtiene que $k_{2} = i k_{3}$ . Elegimos $k_{3} = 1$ , así $k_{2} = i$ , entonces el segundo vector propio es

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

Este vector al ser complejo lo podemos escribir como

$\begin{matrix} (25) & K_{2} = U + i V = (\begin{matrix} 0 \\ 0 \\ 1 \end{matrix}) + i (\begin{matrix} 0 \\ 1 \\ 0 \end{matrix}) \end{matrix}$

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

Este caso, como ya vimos en la teoría, corresponde al conjugado del caso anterior, así que el vector propio para este caso es

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

que también se puede escribir como

$\begin{matrix} (26) & K_{3} = U - i V = (\begin{matrix} 0 \\ 0 \\ 1 \end{matrix}) - i (\begin{matrix} 0 \\ 1 \\ 0 \end{matrix}) \end{matrix}$

Por lo tanto, una forma de la solución general del sistema es

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

Sin embargo, es conveniente tener la solución real dada en ( $24$ ). De los resultados ( $25$ ) y ( $26$ ) sabemos que

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

Si sustituimos en ( $15$ ) y ( $16$ ) con $α = β = 1$ , obtenemos lo siguiente.

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

Por su puesto, lo ideal es no memorizar las ecuaciones ( $15$ ) y ( $16$ ). Lo que se debe de hacer es tomar el caso en el que el vector propio es complejo, en este caso $λ_{2} = 1 + i$ y el vector propio correspondiente $K_{2} = (\begin{matrix} 0 \\ i \\ 1 \end{matrix})$ , tal que una solución del sistema es

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

y usamos la identidad de Euler ( $18$ ).

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

De donde podemos definir las funciones anteriores ( $28$ ).

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

Por lo tanto, de acuerdo a ( $24$ ), la solución general $Y (t)$ del sistema lineal homogéneo dado debe tener la forma

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

Apliquemos los valores iniciales. Tomando $t = 0$ , se ve que

$Y (0) = (\begin{matrix} 1 \\ 1 \\ 1 \end{matrix}) = c_{1} (\begin{matrix} 1 \\ 0 \\ 0 \end{matrix}) + c_{2} (\begin{matrix} 0 \\ 0 \\ 1 \end{matrix}) + c_{3} (\begin{matrix} 0 \\ 1 \\ 0 \end{matrix}) = (\begin{matrix} c_{1} \\ c_{3} \\ c_{2} \end{matrix})$

De modo que, $c_{1} = c_{2} = c_{3} = 1$ . Por lo tanto, la solución particular del problema de valores iniciales es

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

Hemos concluido esta entrada. En la siguiente revisaremos el último caso que corresponde a la situación en la que tenemos valores propios que se repiten, es decir, que tienen multiplicidad $r > 1$ .

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.

Resolver los siguientes sistemas lineales homogéneos.

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

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

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

Resolver los siguientes problemas con valores iniciales.

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

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

Más adelante…

Ya conocemos la forma de las soluciones generales de sistemas lineales homogéneos en los que los valores propios de la matriz del sistema son reales y distintos y en los que son números complejos. El caso en el que son repetidos se presentará en la siguiente entrada.

Cuando los valores propios son repetidos el método se puede complicar un poco, sin embargo existe una alternativa bastante ingeniosa que nos permite obtener $n$ soluciones linealmente independientes de un sistema lineal de $n$ ecuaciones. ¡Dicha alternativa involucra la utilidad de la exponencial de una matriz $e^{A t}$ !.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Sistemas lineales homogéneos con coeficientes constantes – Valores propios distintos
Siguiente entrada del curso: Sistemas lineales homogéneos con coeficientes constantes – Valores propios repetidos

Video relacionado al tema: Método de valores y vectores propios para sistemas lineales homogéneos con coeficientes constantes. Raíces complejas del polinomio característico

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: valores propios complejos

Ecuaciones Diferenciales I: Teoría cualitativa de los sistemas lineales homogéneos – Valores propios complejos

Introducción

Sistemas lineales con valores propios complejos

Valores propios complejos con parte real nula

Valores propios complejos con parte real negativa

Valores propios complejos con parte real positiva

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Ecuaciones Diferenciales I – Videos: Plano fase para sistemas lineales con valores propios complejos

Introducción

Plano fase para sistemas con valores propios complejos

Tarea moral

Más adelante

Entradas relacionadas

Agradecimientos

Ecuaciones Diferenciales I: Sistemas lineales homogéneos con coeficientes constantes – Valores propios complejos

Introducción

Valores propios complejos

Solución general de un sistema lineal con valores propios complejos

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos