Archivo de la etiqueta: trayectorias periódicas

Ecuaciones Diferenciales I: Teorema de Poincaré – Bendixson en el plano

Por Omar González Franco

Una de las cosas más impresionantes sobre las matemáticas es que la gente que
la practica no están normalmente interesadas en su aplicación, porque
las matemáticas en si mismas son una forma de hermoso arte.
– Danica McKellar

Introducción

¡Hemos llegado a la última entrada del curso!

Concluiremos esta unidad con la introducción a un importante teorema de la teoría cualitativa de las ecuaciones diferenciales. El teorema de Poincaré – Bendixson.

La demostración a este teorema suele ser compleja y requiere de definiciones y resultados previos, algunos de ellos sobre topología elemental. En este curso sólo enunciaremos este teorema en una versión simplificada de manera que podamos aplicarlo a los sistemas no lineales de dos ecuaciones diferénciales, por esta razón es que este teorema también se conoce como teorema de Poincaré – Bendixson en el plano.

En la entrada sobre linearización visualizamos el plano fase del sistema

$\begin{aligned} x^{'} & = y \\ (1) & y^{'} & = - x + μ (1 - x^{2}) y \end{aligned}$

Para el caso en el que $μ = 1$ . Dicho plano fase fue el siguiente.

El sistema ( $1$ ) en realidad se deduce de la ecuación diferencial de segundo orden

$\begin{matrix} (2) & \frac{d^{2} y}{d t^{2}} + μ (y^{2} - 1) \frac{d y}{d t} + y = 0 \end{matrix}$

la cual lleva por nombre ecuación de Van der Pol y representa el movimiento de un oscilador con amortiguamiento no lineal.

Lo que podemos observar del plano fase es que existe una trayectoria límite (resaltada en rojo) que de alguna manera divide al plano fase en secciones. Si nos concentramos en la trayectoria periódica formada, entonces podemos hablar de la zona interior y la zona exterior a dicha trayectoria y lo que observamos es que por fuera de ella todas las trayectorias tienden a la trayectoria periódica, mientras que dentro de ella todas se alejan del origen para aproximarse, de igual manera, a la trayectoria límite.

Esto es lo que se conoce como un ciclo límite y lo presentan algunos sistemas no lineales. El teorema de Poincaré – Bendixson nos dará las condiciones necesarias para asegurar que un sistema no lineal presenta ciclos límites.

Antes de continuar haremos un breve paréntesis para recordar un par de resultados importantes de las coordenadas polares que nos servirán para hacer más sencillos los cálculos de los ejemplos que realicemos más adelante.

Coordenadas polares

Las coordenadas cartesianas se relacionan con las polares a través de las siguientes relaciones.

$\begin{aligned} x & = r \cos (θ) \\ (3) & y & = r \sin (θ) \end{aligned}$

Es claro que

$\begin{aligned} r^{2} & = x^{2} + y^{2} \\ (4) & θ & = \arctan (\frac{y}{x}) \end{aligned}$

Derivemos explícitamente cada una de estas ecuaciones. Por un lado, derivando la ecuación de $r$ , se tiene

$2 r \frac{d r}{d t} = 2 x \frac{d x}{d t} + 2 y \frac{d y}{d t}$

o bien,

$r \frac{d r}{d t} = x \frac{d x}{d t} + y \frac{d y}{d t}$

Utilizando la notación prima, el primer resultado que nos interesa es el siguiente.

$\begin{matrix} (5) & r r^{'} = x x^{'} + y y^{'} \end{matrix}$

Por otro lado, para la ecuación de $θ$ se tiene

$\frac{d θ}{d t} = \frac{1}{1 + (\frac{y^{2}}{x^{2}})} (\frac{x \frac{d y}{d t} - y \frac{d x}{d t}}{x^{2}}) = \frac{x \frac{d y}{d t} - y \frac{d x}{d t}}{x^{2} + y^{2}}$

Nuevamente usando la notación prima, el segundo resultado que nos interesa es el siguiente.

$\begin{matrix} (6) & r^{2} θ^{'} = x x^{'} - y y^{'} \end{matrix}$

Las ecuaciones ( $5$ ) y ( $6$ ) nos serán de utilidad a continuación.

Un ciclo límite

Antes de revisar algunos conceptos y de presentar el teorema de Poincaré – Bendixson, consideremos el siguiente sistema no lineal.

$\begin{aligned} x^{'} & = - y + x (1 - x^{2} - y^{2}) \\ (7) & y^{'} & = x + y (1 - x^{2} - y^{2}) \end{aligned}$

Es sencillo hacer notar que el único punto de equilibrio del sistema es el origen $Y_{0} = (0, 0)$ .

Utilizando las relaciones ( $5$ ) y ( $6$ ) podemos transformar el sistema en coordenadas polares. Comencemos por obtener la ecuación diferencial para $r$ , para ello sustituyamos $x^{'}$ y $y^{'}$ del sistema ( $7$ ) en la ecuación ( $5$ ).

$r r^{'} = x [- y + x (1 - x^{2} - y^{2})] + y [x + y (1 - x^{2} - y^{2})]$

Desarrollando, obtenemos

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

Para el caso de $θ$ sustituimos ( $7$ ) en ( $6$ ).

$r^{2} θ^{'} = x [- y + x (1 - x^{2} - y^{2})] - y [x + y (1 - x^{2} - y^{2})]$

Desarrollando, obtenemos

$\begin{matrix} (9) & r^{2} θ^{'} = r^{2} \end{matrix}$

Por lo tanto, el sistema no lineal ( $7$ ) en coordenadas polares es el siguiente.

$\begin{aligned} r^{'} & = r (1 - r^{2}) \\ (10) & θ^{'} & = 1 \end{aligned}$

Este sistema esta desacoplado, de manera que podemos resolver cada ecuación por separado para obtener las funciones $r (t)$ y $θ (t)$ explícitamente.

Comencemos con la ecuación de $r^{'}$ . Dicha ecuación es separable.

$\begin{aligned} \frac{d r}{d t} & = r (1 - r^{2}) \\ d r & = r (1 - r^{2}) d t \\ \int \frac{d r}{r (1 - r^{2})} & = \int d t \end{aligned}$

Por un lado, tomando fracciones parciales, se tiene

$\begin{aligned} \int \frac{d r}{r (1 - r^{2})} & = \int (\frac{1}{r} - \frac{1}{2 (r + 1)} - \frac{1}{2 (r - 1)}) d r \\ = \int \frac{d r}{r} - \int \frac{d r}{2 (r + 1)} - \int \frac{d r}{2 (r - 1)} \\ = \ln | r | - \frac{1}{2} \ln | r + 1 | - \frac{1}{2} \ln | r - 1 | + c_{1} \end{aligned}$

y por otro lado,

$\int d t = t + c_{2}$

De ambos resultados se tiene que

$\ln | r | - \frac{1}{2} \ln | r + 1 | - \frac{1}{2} \ln | r - 1 | = t + c_{3}$

Multipliquemos ambos lados de la igualdad por $- 2$ .

$- 2 \ln | r | + \ln | r + 1 | + \ln | r - 1 | = - 2 t - 2 c_{3}$

Ahora tomemos exponencial en ambos lados,

$\begin{aligned} r^{- 2} (r + 1) (r - 1) & = e^{- 2 t - 2 c_{3}} \\ 1 - r^{- 2} & = e^{- 2 t} e^{- 2 c_{3}} \\ r^{- 2} & = 1 - c e^{- 2 t} \end{aligned}$

Por lo tanto,

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

Como $r \geq 0$ , entonces

$\begin{matrix} (12) & r (t) = \frac{1}{\sqrt{1 + c e^{- 2 t}}} \end{matrix}$

Para el caso de la ecuación de $θ^{'}$ es inmediato que

$\begin{matrix} (13) & θ (t) = t + t_{0} \end{matrix}$

Por lo tanto, la solución general de ( $10$ ) es

$\begin{aligned} r (t) & = \frac{1}{\sqrt{1 + c e^{- 2 t}}} \\ (14) & θ (t) & = t + t_{0} \end{aligned}$

De manera que la correspondiente solución del sistema no lineal ( $7$ ) es

$\begin{aligned} x (t) & = \frac{\cos (t + t_{0})}{\sqrt{1 + c e^{- 2 t}}} \\ (15) & y (t) & = \frac{\sin (t + t_{0})}{\sqrt{1 + c e^{- 2 t}}} \end{aligned}$

Analizando el resultado ( $14$ ) se tienen 3 casos:

Si $c = 0$ se obtiene la solución

$\begin{aligned} r (t) & = 1 \\ (16) & θ (t) & = t + t_{0} \end{aligned}$

Que no es más que la circunferencia de radio $1$ , $(x^{2} + y^{2} = 1)$ en sentido anti-horario.

Si $c < 0$ es claro que $r > 1$ , $θ = t + t_{0}$ y además,

$\begin{matrix} (17) & lim_{t \to - \infty} \frac{1}{\sqrt{1 + c e^{- 2 t}}} = \infty y lim_{t \to \infty} \frac{1}{\sqrt{1 + c e^{- 2 t}}} = 1 \end{matrix}$

Finalmente, si $c > 0$ se observa que $r < 1$ , $θ = t + t_{0}$ y además,

$\begin{matrix} (18) & lim_{t \to - \infty} \frac{1}{\sqrt{1 + c e^{- 2 t}}} = 0 y lim_{t \to \infty} \frac{1}{\sqrt{1 + c e^{- 2 t}}} = 1 \end{matrix}$

Lo que obtenemos es una curva cerrada o ciclo límite correspondiente a una trayectoria periódica para $r = 1$ y todas las demás trayectorias se acercan en espiral desde el exterior y el interior cuando $t \to \infty$ , tal como se muestra en la siguiente figura.

Nota: Este plano fase está definido con las trayectorias dadas por ( $15$ ), es decir, corresponde al plano $X Y$ .

Lo que hemos hecho es probar que el sistema no lineal ( $7$ ) tiene una trayectoria periódica, pero lo hemos hecho resolviendo el sistema explícitamente. Sin embargo, no siempre será sencillo resolver las ecuaciones involucradas, desearíamos de alguna manera saber si un sistema no lineal tiene o no trayectorias periódicas, pero sin conocer las soluciones explícitas. ¡Esto es posible con ayuda del teorema de Poincaré – Bendixson!.

Teorema de Poincaré – Bendixson en el plano.

Consideremos un sistema no lineal

$\begin{aligned} x^{'} & = F_{1} (x, y) \\ (19) & y^{'} & = F_{2} (x, y) \end{aligned}$

La definición formal de ciclo límite es la siguiente.

Definición: Se dice que una curva cerrada es un ciclo límite de un sistema no lineal (

19

) si existen trayectorias que describen espirales que se acercan o alejan de ella.

Definición: Se dice que un ciclo límite es estable si todas las órbitas de (

19

) que pasan suficientemente cerca de la curva cerrada describen espirales que tienden finalmente hacia ella. En caso contrario, se dice que es inestable.

En el ejemplo visto es claro que se trata de un ciclo límite estable.

En este caso, para que sean claras las siguientes definiciones, detonaremos a una solución del sistema ( $19$ ) como $Y (t; x, y)$ indicando que tanto $x$ como $y$ dependen de la variable $t$ .

Definición: Un punto

Y_{0} = (x_{0}, y_{0})

que pertenece a

R^{2}

(plano fase) se dice que es un punto

ω -

límite (omega límite) de la trayectoria

Y (t; x, y)

del sistema (

19

) si existe una sucesión

t_{n} \to \infty

, tal que

\begin{matrix} (20) & lim_{n \to \infty} Y (t_{n}; x, y) = Y_{0} \end{matrix}

Definición: Un punto

Y_{0} = (x_{0}, y_{0})

que pertenece a

R^{2}

(plano fase) se dice que es un punto

α -

límite (alfa límite) de la trayectoria

Y (t; x, y)

del sistema (

19

) si existe una sucesión

t_{n} \to - \infty

, tal que

\begin{matrix} (21) & lim_{n \to \infty} Y (t_{n}; x, y) = Y_{0} \end{matrix}

Definición: El conjunto de todos los puntos

ω -

límite de una trayectoria

Y (t; x, y)

se le llama conjunto

ω -

límite de

Y

y se denota como

ω (Y)

Definición: El conjunto de todos los puntos

α -

límite de una trayectoria

Y (t; x, y)

se le llama conjunto

α -

límite de

Y

y se denota como

α (Y)

Definición: El conjunto de todos los puntos limite de

Y (t; x, y)

α (Y) \cup ω (Y)

, es el conjunto límite de

Y (t; x, y)

Ejemplo: Un sistema lineal cuyo punto de equilibrio es nodo atractor

tiene como punto $ω -$ límite al punto $Y_{0} = (0, 0)$ , ya que cualquier trayectoria $Y (t_{n}; x, y)$ tiende a dicho punto para $t_{n} \to \infty$ . Mas aún, el conjunto $ω -$ límite es $ω (Y) = {(0, 0)}$ .

Los conjuntos $α -$ límite y $ω -$ límite se pueden describir como el lugar geométrico donde nace y muere la trayectoria de la solución de un sistema dinámico dado.

En el primer ejemplo visto anteriormente obtuvimos una trayectoria periódica definida por la circunferencia $x^{2} + y^{2} = 1$ , o bien $r = 1$ . De acuerdo al plano fase, dicha circunferencia es un conjunto $ω -$ límite tanto para las trayectorias $Y (t; x, y)$ fuera de la circunferencia unitaria $(r > 0)$ como para las trayectorias $Y (t; x, y)$ , dentro de la circunferencia unitaria $(r < 1)$ .

Definición: Un conjunto

U

en el plano es positivamente invariante si para todo punto

(x, y) \in U

Y (t; x, y) \in U

para todo

t \geq 0

Definición: Un conjunto

U

en el plano es negativamente invariante si para todo punto

(x, y) \in U

Y (t; x, y) \in U

para todo

t \leq 0

Observando nuevamente el plano fase del sistema del ejemplo desarrollado, es posible encontrar un región por fuera de la circunferencia unitaria en la que las trayectorias se comiencen a trazar a partir de $t = 0$ . Lo mismo se puede hacer en una región dentro de la circunferencia unitaria, de manera que dicha circunferencia quede completamente contenida en la unión de ambas regiones. Esto lo sabemos de los resultados ( $17$ ) y ( $18$ ).

Dicha unión de conjuntos corresponde al conjunto $U \subset R^{2}$ , en este caso, positivamente invariante ya que para todo punto $(x, y) \in U$ las trayectorias $Y (t; x, y) \in U$ para todo $t \geq 0$ .

Ahora conocemos los conceptos básicos que nos permitirán comprender el teorema de Poincaré – Bendixson. Cabe mencionar que existen varias formas de enunciar este teorema dependiendo incluso de la profundidad teórica que se este tratando, sin embargo el resultado siempre será el mismo. Lo que haremos en este curso será enunciar el teorema de Poincaré-Bendixson de una forma un poco intuitiva, posteriormente lo enunciaremos nuevamente de forma formal y como corolarios de este teorema enunciaremos dos resultados importantes que incluso se pueden encontrar como enunciados del mismo teorema de Poincaré – Bendixson.

Comenzamos por enunciar el teorema de Poincaré – Bendixson de forma intuitiva.

Teorema: Sean

φ_{1}

φ_{2}

dos curvas cerradas en el plano fase del sistema no lineal

\begin{aligned} x^{'} & = F_{1} (x, y) \\ y^{'} & = F_{2} (x, y) \end{aligned}

con

φ_{2}

en el interior de

φ_{1}

. Entonces si en cada punto de la curva

φ_{1}

el vector está dirigido hacia el interior de

φ_{1}

y en cada punto de la curva

φ_{2}

el vector está dirigido hacia el exterior de

φ_{2}

, entonces se puede afirmar que al menos existe un ciclo límite comprendido entre

φ_{1}

φ_{2}

Si recurrimos una vez más a nuestro ejemplo, podemos tomar la curva $φ_{1}$ como la frontera exterior del conjunto $U$ , mientras que la curva $φ_{2}$ como la frontera interior del mismo conjunto.

Curvas que definen al conjunto positivamente invariante.

Lo que observamos es que el campo vectorial sobre los puntos de la curva $φ_{1}$ está dirigido hacia el interior de dicha curva, mientras que el campo vectorial sobre los puntos de la curva $φ_{2}$ está dirigido hacia el exterior. Es decir, en ambos casos el campo vectorial incide a la región positivamente invariante $U$ y sabemos que efectivamente hay una un ciclo límite comprendido entre ambas trayectorias.

Enunciemos ahora el teorema de Poincaré – Bendixson de manera más formal.

Teorema: Sea

Y (t; x, y)

una solución del sistema no lineal

\begin{aligned} x^{'} & = F_{1} (x, y) \\ y^{'} & = F_{2} (x, y) \end{aligned}

que permanece en una región acotada del plano que no contiene puntos de equilibrio del sistema. Entonces su trayectoria debe describir una espiral que se aproxima a una curva cerrada simple, la cual a su vez es la trayectoria de una solución periódica del sistema no lineal.

En esta entrada no demostraremos el teorema de Poincaré – Bendixson, sin embargo, en la sección de videos se ha hecho un enorme esfuerzo por desarrollar con detalle la teoría previa para su demostración, así como la demostración del teorema. Se recomienda visitar la entrada.

Antes de realizar algunos ejemplos enunciemos dos resultados importantes que se deducen del teorema de Poincaré – Bendixson.

Corolario: Un conjunto cerrado, acotado y no vacío

U \subset R^{2}

, que es positivamente invariante (o negativamente invariante) contiene una trayectoria periódica o un punto de equilibrio.

Corolario: Si una solución

Y (t; x, y)

de un sistema no lineal (

19

) entra a una región cerrada y acotada

U \subset R^{2}

y no sale, y además la región no contiene puntos de equilibrio, entonces

Y (t; x, y)

se aproxima a una trayectoria periódica. En particular, la región contiene una trayectoria periódica.

Concluiremos esta entrada realizando algunos ejemplos en los que apliquemos el teorema de Poincaré – Bendixson, así como ambos corolarios para determinar que los sistemas no lineales estudiados presentan soluciones periódicas.

Ejemplo: Demostrar que el siguiente sistema no lineal tiene una trayectoria periódica.

$\begin{aligned} x^{'} & = x - y - (x^{2} + \frac{3}{2} y^{2}) x \\ y^{'} & = x + y - (x^{2} + \frac{1}{2} y^{2}) y \end{aligned}$

Solución: Por su puesto que intentar resolver el sistema para conocer explícitamente a la trayectoria periódica puede ser muy complicado, incluso si conociéramos métodos de resolución. Para poder aplicar el teorema de Poincaré – Bendixson lo que haremos será encontrar una región $U \subset R^{2}$ que sea positivamente (o negativamente) invariante y que no contenga puntos de equilibrio del sistema.

Como ejercicio moral muestra que el único punto de equilibrio del sistema es el origen $Y_{0} = (0, 0)$ . Esto nos indica que la región $U$ no debe contener al origen.

Nuevamente usemos coordenadas polares con la intención de hallar el intervalo en el que $r$ puede estar comprendido y cuyos valores extremos definan la región $U$ que buscamos.

Sustituyamos $x^{'}$ y $y^{'}$ del sistema no lineal en la ecuación ( $5$ ).

$\begin{aligned} r r^{'} & = x [x - y - (x^{2} + \frac{3}{2} y^{2}) x] + y [x + y - (x^{2} + \frac{1}{2} y^{2}) y] \\ = x^{2} + y^{2} - x^{4} - \frac{1}{2} y^{4} - \frac{5}{2} x^{2} y^{2} \\ = (x^{2} + y^{2}) - (x^{4} + 2 x^{2} y^{2} + y^{4}) + \frac{1}{2} y^{4} - \frac{1}{2} x^{2} y^{2} \\ = r^{2} - r^{4} + \frac{1}{2} y^{2} (y^{2} - x^{2}) \end{aligned}$

En el siguiente procedimiento haremos uso de las identidades trigonométricas

$\begin{aligned} \cos (2 θ) & = \cos^{2} (θ) - \sin^{2} (θ) \\ (22) & \cos (2 θ) & = 1 - 2 \sin^{2} (θ) \end{aligned}$

Si usamos las transformaciones ( $3$ ) y las identidades anteriores, tenemos lo siguiente.

$\begin{aligned} y^{2} (y^{2} - x^{2}) & = r^{2} \sin^{2} (θ) [r^{2} \sin^{2} (θ) - r^{2} \cos^{2} (θ)] \\ = - r^{4} \sin^{2} (θ) [\cos^{2} (θ) - \sin^{2} (θ)] \\ = - r^{4} \sin^{2} (θ) \cos (2 θ) \\ = - r^{4} [\frac{1 - \cos (2 θ)}{2}] \cos (2 θ) \\ = r^{4} [\frac{\cos^{2} (2 θ) - \cos (2 θ)}{2}] \end{aligned}$

Sustituyamos este resultado en nuestro desarrollo de $r r^{'}$ .

$r r^{'} = r^{2} - r^{4} + \frac{1}{2} r^{4} [\frac{\cos^{2} (2 θ) - \cos (2 θ)}{2}]$

De donde

$r^{'} = r - r^{3} (1 + \frac{\cos (2 θ)}{4} - \frac{\cos^{2} (2 θ)}{4})$

Para encontrar la región $U$ que contenga a la trayectoria periódica se debe hacer $r^{'} = 0$ , debido a que tal región debe ser tangente a la trayectoria periódica en algún punto en el cual $r^{'} = 0$ , entonces

$r^{'} = r - r^{3} (1 + \frac{\cos (2 θ)}{4} - \frac{\cos^{2} (2 θ)}{4}) = 0$

Factorizando convenientemente se tiene,

$\cos (2 θ) - \cos^{2} (2 θ) = 4 (\frac{1}{r^{2}} - 1)$

Se puede hacer uso de un graficador para mostrar que

$\begin{matrix} (23) & - 2 \leq \cos (2 θ) - \cos^{2} (2 θ) < \frac{1}{4} \end{matrix}$

Entonces se cumple la siguiente desigualdad

$- 2 \leq 4 (\frac{1}{r^{2}} - 1) < \frac{1}{4}$

Desarrollando se tiene lo siguiente.

$- \frac{1}{2} \leq \frac{1}{r^{2}} - 1 < \frac{1}{16}$

$\frac{1}{2} \leq \frac{1}{r^{2}} < \frac{17}{16}$

$\frac{16}{17} \leq r^{2} < 2$

Finalmente, el radio $r > 0$ tiene como desigualdades a

$\frac{4}{\sqrt{17}} \leq r < \sqrt{2}$

Observemos que si $r = \frac{4}{\sqrt{17}}$ , entonces $r^{'} > 0$ . En este caso, cualquier trayectoria por un punto en el conjunto

$(x_{0}, y_{0}) \in {(x, y) \in R^{2} : x^{2} + y^{2} < {(\frac{4}{\sqrt{17}})}^{2}}$

sale del disco abierto

$x^{2} + y^{2} < {(\frac{4}{\sqrt{17}})}^{2}$

Por otro lado, si $r = \sqrt{2}$ , entonces $r^{'} < 0$ . En este caso, cualquier trayectoria por el punto

$(x_{0}, y_{0}) \in {(x, y) \in R^{2} : x^{2} + y^{2} > \sqrt{2}}$

entra al disco cerrado

$x^{2} + y^{2} \leq \sqrt{2}$

Por lo tanto, el conjunto

$U = {(x, y) \in R^{2} : {(\frac{4}{\sqrt{17}})}^{2} \leq x^{2} + y^{2} \leq (\sqrt{2})^{2}}$

es un conjunto positivamente invariante. Esto quiere decir que para cualquier punto que se tome en el conjunto $U$ , la trayectoria por este punto permanecerá en tal conjunto.

Como el punto de equilibrio $(0, 0)$ no pertenece a $U$ , entonces por el teorema de Poincaré – Bendixson se concluye que existe una trayectoria periódica contenida en $U$ .

El plano fase del sistema no lineal, indicando la región $U$ , se muestra a continuación.

Plano fase del sistema indicando la región positivamente invariante.

En la figura observamos que efectivamente la región $U$ contiene un conjunto límite correspondiente a una trayectoria periódica del sistema no lineal.

Realicemos un ejemplo más.

Ejemplo: Mostrar que el siguiente sistema no lineal tiene por lo menos una trayectoria periódica.

$\begin{aligned} x^{'} & = y \\ y^{'} & = - x + y (1 - x^{2} - 2 y^{2}) \end{aligned}$

Solución: El punto $Y_{0} = (0, 0)$ es el único punto de equilibrio del sistema. Debemos construir una región $U$ en la cual se pueda aplicar el Teorema de Poincaré – Bendixson.

Apliquemos la ecuación ( $5$ ).

$\begin{aligned} r r^{'} & = x x^{'} + y y^{'} \\ = x [y] + y [- x + y (1 - x^{2} - 2 y^{2})] \\ = x y - x y + y^{2} - x^{2} y^{2} - 2 y^{4} \\ = y^{2} (1 - x^{2} - 2 y^{2}) \\ = r^{2} \sin^{2} (θ) [1 - r^{2} \cos^{2} (θ) - 2 r^{2} \sin^{2} (θ)] \end{aligned}$

De donde,

$r^{'} = r \sin^{2} (θ) [1 - r^{2} \cos^{2} (θ) - 2 r^{2} \sin^{2} (θ)]$

Hacemos $r^{'} = 0$ .

$r \sin^{2} (θ) [1 - r^{2} \cos^{2} (θ) - 2 r^{2} \sin^{2} (θ)] = 0$

Como queremos hallar el intervalo que comprende a $r$ nos quedamos con la ecuación

$1 - r^{2} \cos^{2} (θ) - 2 r^{2} \sin^{2} (θ) = 0$

Desarrollando, se tiene

$\begin{aligned} 1 & = r^{2} \cos^{2} (θ) + 2 r^{2} \sin^{2} (θ) \\ = r^{2} [1 - \sin^{2} (θ) + 2 \sin^{2} (θ)] \\ = r^{2} [1 + \sin^{2} (θ)] \end{aligned}$

De donde,

$r^{2} = \frac{1}{1 + \sin^{2} (θ)}$

Sabemos que

$0 \leq \sin^{2} (θ) \leq 1$

Entonces,

$1 \leq 1 + \sin^{2} (θ) \leq 2$

$\frac{1}{2} \leq \frac{1}{1 + \sin^{2} (θ)} \leq 1$

es decir,

$\frac{1}{2} \leq r^{2} \leq 1$

O bien,

$\frac{1}{2} \leq x^{2} + y^{2} \leq 1$

Esta desigualdad nos define la región $U$ . Notemos que $r^{'} > 0$ para $x^{2} + y^{2} < \frac{1}{2}$ . En este caso, cualquier trayectoria por el punto

$(x_{0}, y_{0}) \in {(x, y) \in R^{2} : x^{2} + y^{2} < \frac{1}{2}}$

sale del disco abierto

$x^{2} + y^{2} < \frac{1}{2}$

Por otro lado, $r^{'} \leq 0$ para $x^{2} + y^{2} > 1$ . En este caso cualquier trayectoria por el punto

$(x_{0}, y_{0}) \in {(x, y) \in R^{2} : x^{2} + y^{2} > 1}$

entra al disco cerrado

$x^{2} + y^{2} \leq 1$

Por lo tanto, el conjunto

$U = {(x, y) \in R^{2} : \frac{1}{2} < x^{2} + y^{2} < 1}$

es positivamente invariante. Es decir, para cualquier punto que se tome en el conjunto $U$ , la trayectoria por dicho punto permanecerá allí para $t \geq 0$ . Como el origen no esta contenido en la región $U$ , entonces es posible aplicar el Teorema de Poincaré – Bendixson mostrando así que existe al menos una órbita periódica en dicha región.

El plano fase del sistema, indicando la región $U$ , es el siguiente.

Efectivamente existe una trayectoria periódica contenida en la región $U$ .

Concluyamos con un último ejemplo.

Ejemplo: Mostrar que el siguiente sistema no lineal tiene por lo menos una trayectoria periódica.

$\begin{aligned} x^{'} & = - y + x (r^{4} - 3 r^{2} + 1) \\ y^{'} & = x + y (r^{4} - 3 r^{2} + 1) \end{aligned}$

con $r^{2} = x^{2} + y^{2}$ .

Solución: El único punto de equilibrio del sistema es el origen $Y_{0} = (0, 0)$ . Determinemos la región $U$ en la que podamos aplicar el teorema de Poincaré – Bendixson.

Sustituyamos las ecuaciones $x^{'}$ y $y^{'}$ del sistema en la ecuación ( $5$ ).

$\begin{aligned} r r^{'} & = x x^{'} + y y^{'} \\ = x [- y + x (r^{4} - 3 r^{2} + 1)] + y [x + y (r^{4} - 3 r^{2} + 1)] \\ = - x y + x^{2} (r^{4} - 3 r^{2} + 1) + x y + y^{2} (r^{4} - 3 r^{2} + 1) \\ = (x^{2} + y^{2}) (r^{4} - 3 r^{2} + 1) \\ = r^{2} (r^{4} - 3 r^{2} + 1) \end{aligned}$

De donde,

$r^{'} = r (r^{4} - 3 r^{2} + 1)$

Si hacemos $r^{'} = 0$ , obtenemos la ecuación de interés.

$r^{4} - 3 r^{2} + 1 = 0$

Hacemos $s = r^{2}$ , de manera que la ecuación anterior se pueda escribir como

$s^{2} - 3 s + 1 = 0$

Las raíces de esta ecuación son

$s_{1} = r_{1}^{2} = \frac{3 + \sqrt{5}}{2} y s_{2} = r_{2}^{2} = \frac{3 - \sqrt{5}}{2}$

Si $r^{2} = \frac{3 + \sqrt{5}}{2}$ se verifica que $r^{'} > 0$ de forma que cualquier trayectoria por el punto

$(x_{0}, y_{0}) \in {(x, y) \in R^{2} : x^{2} + y^{2} < \frac{3 + \sqrt{5}}{2}}$

sale del disco cerrado

$x^{2} + y^{2} \leq \frac{3 + \sqrt{5}}{2}$

Si $r^{2} = \frac{3 - \sqrt{5}}{2}$ se verifica nuevamente que $r^{'} > 0$ de forma que cualquier trayectoria por el punto

$(x_{0}, y_{0}) \in {(x, y) \in R^{2} : x^{2} + y^{2} < \frac{3 - \sqrt{5}}{2}}$

sale del disco abierto

$x^{2} + y^{2} < \frac{3 - \sqrt{5}}{2}$

De ambos resultados notamos que el conjunto

$U = {(x, y) \in R^{2} : \frac{3 - \sqrt{5}}{2} \leq x^{2} + y^{2} \leq \frac{3 + \sqrt{5}}{2}}$

no es un conjunto ni positivamente ni negativamente invariante, pues en ambos casos las trayectorias salen de ambos discos.

Si tomamos $r = 1$ observamos que $r^{'} < 0$ , es decir las trayectorias por un punto

$(x_{0}, y_{0}) \in {(x, y) \in R^{2} : x^{2} + y^{2} > 1}$

entran al disco cerrado

$x^{2} + y^{2} \leq 1$

Este importante resultado nos indica que la región $U$ se puede dividir en dos regiones en las que una de ellas será positivamente invariante y la otra negativamente invariante, dichas regiones son.

$U_{1} = {(x, y) \in R^{2} : \frac{3 - \sqrt{5}}{2} \leq x^{2} + y^{2} \leq 1}$

$U_{2} = {(x, y) \in R^{2} : 1 < x^{2} + y^{2} \leq \frac{3 + \sqrt{5}}{2}}$

Es claro que $U_{1}$ es un conjunto negativamente invariante y $U_{2}$ un conjunto positivamente invariante.

Como ninguna de ambas regiones contiene al punto de equilibrio, entonces podemos aplicar el teorema de Poincaré – Bendixson sobre cada una de las regiones deduciendo que en cada una de ellas existe una trayectoria periódica que corresponden a soluciones periódicas del sistema no lineal.

El plano fase del sistema, indicando ambas regiones, es el siguiente.

Plano fase del sistema indicando ambas regiones invariantes.

En este ejemplo mostramos que el sistema no lineal tiene dos trayectorias periódicas como solución.

Felicidades, ¡Hemos concluido el curso!

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.

Mostrar que los siguientes sistemas no lineales tienen por lo menos un trayectoria periódica. Verifica tu resultado visualizando el plano fase del sistema.

$x^{'} = - y - \frac{x (x^{2} + y^{2} - 2)}{\sqrt{x^{2} + y^{2}}}$
$y^{'} = x - \frac{y (x^{2} + y^{2} - 2)}{\sqrt{x^{2} + y^{2}}}$

$x^{'} = y + x (x^{2} + y^{2} - 1) (x^{2} + y^{2} - 2)$
$y^{'} = - x + y (x^{2} + y^{2} - 1) (x^{2} + y^{2} - 2)$

$x^{'} = x y + x \cos (x^{2} + y^{2})$
$y^{'} = - x^{2} + y \cos (x^{2} + y^{2})$

Más adelante…

Hemos concluido con el curso de Ecuaciones Diferenciales I.

Esperamos que este curso haya sido de tu agrado, lo hayas disfrutado y hayas aprendido mucho.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Las nulclinas en el estudio cualitativo de los sistemas no lineales

Video relacionado al tema: Teorema de Poincaré–Bendixson en el plano

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: Teoría cualitativa de los sistemas lineales homogéneos – Valores propios complejos

Por Omar González Franco

Deja un comentario

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

$Label '1' multiply defined$

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

$Label '2' multiply defined$

Sea

$Label '3' multiply defined$

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

$Label '4' multiply defined$

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

$Label '5' multiply defined$

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

$Label '6' multiply defined$

$Label '7' multiply defined$

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

$Label '8' multiply defined$

Por lo tanto, las soluciones linealmente independientes son

$Label '9' multiply defined$

$Label '10' multiply defined$

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.

$Label '11' multiply defined$

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

$Label '12' multiply defined$

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

$Label '13' multiply defined$

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,

$Label '14' multiply defined$

Si $t = 0$ , se obtiene que

$Label '15' multiply defined$

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,

$Label '16' multiply defined$

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»

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: trayectorias periódicas

Ecuaciones Diferenciales I: Teorema de Poincaré – Bendixson en el plano

Introducción

Coordenadas polares

Un ciclo límite

Teorema de Poincaré – Bendixson en el plano.

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

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