Geometría local · Tema 29

Estabilidad y linealización

Usar autovalores y el jacobiano para anticipar si las trayectorias se acercan, se alejan o giran alrededor de un equilibrio.

01 · Qué ocurre ante una perturbación

Estabilidad no significa permanecer inmóvil

Sea X* un equilibrio de X′=F(X). La solución que comienza exactamente allí permanece constante. La estabilidad pregunta qué sucede cuando el estado inicial está cerca, pero no exactamente en el equilibrio.

S

Estable

Las perturbaciones suficientemente pequeñas permanecen pequeñas para todo tiempo futuro.

A

Asintóticamente estable

Además de permanecer cerca, las trayectorias convergen al equilibrio.

U

Inestable

Existen perturbaciones arbitrariamente pequeñas que terminan alejándose.

Un centro ideal es estable pero no asintóticamente estable: las órbitas cercanas permanecen cerca sin converger. Un atractor es asintóticamente estable; un repulsor es inestable.

02 · Definición precisa

Controlar la distancia durante todo el futuro

El equilibrio X* es estable en el sentido de Lyapunov si para todo radio permitido ε>0 existe un radio inicial δ>0 tal que

‖X(0)−X*‖<δ  →  ‖X(t)−X*‖<ε para todo t≥0

Es asintóticamente estable si además

X(t)→X* cuando t→∞

La primera condición impide excursiones grandes; la segunda exige convergencia. Una trayectoria que primero se aleja mucho y luego vuelve no demuestra estabilidad para tolerancias pequeñas.

La estabilidad puede ser local —solo para estados suficientemente próximos— o global —para todo estado de un dominio relevante—. La linealización que estudiaremos proporciona, en general, información local.

03 · El caso que organiza la teoría

Los autovalores determinan los modos de un sistema lineal

Para el sistema autónomo lineal

X′=AX

buscamos soluciones de la forma X(t)=veλt. Al sustituir:

Av=λv

Así, λ es un autovalor y v un autovector. Cada par genera un modo cuya dirección es v y cuya magnitud cambia como eλt.

Lectura del signo de la parte real.
Parte real de λModoConsecuencia
NegativaDecaeLa dirección atrae hacia el equilibrio.
PositivaCreceLa dirección expulsa del equilibrio.
CeroNo decide por decaimiento exponencialSe necesita análisis adicional.

Si todos los autovalores tienen parte real negativa, el origen es asintóticamente estable. Si alguno tiene parte real positiva, es inestable.

04 · Clasificar matrices 2×2

Traza, determinante y discriminante resumen los autovalores

Para

A=[a b; c d]

el polinomio característico es

λ²−τλ+D=0

donde

τ=tr(A)=a+d,    D=det(A)=ad−bc

El discriminante es Δ=τ²−4D. Por tanto,

λ=(τ±√Δ)/2
Clasificación genérica del origen para un sistema lineal plano.
CondicionesTipoEstabilidad
D<0SillaInestable.
D>0, Δ>0, τ<0Nodo atractorAsintóticamente estable.
D>0, Δ>0, τ>0Nodo repulsorInestable.
D>0, Δ<0, τ<0Espiral atractoraAsintóticamente estable.
D>0, Δ<0, τ>0Espiral repulsoraInestable.
D>0, Δ<0, τ=0Centro linealEstable, no asintótico.

05 · Direcciones reales del mismo signo

Los nodos atraen o repelen sin girar

Si hay dos autovalores reales negativos, cada modo decae y el equilibrio es un nodo atractor. Las trayectorias se acercan alineándose finalmente con el autovector asociado al autovalor de menor magnitud absoluta, es decir, el modo más lento.

A=[−2 0; 0 −1/2]  →  X(t)=[C₁e−2t,C₂e−t/2]

Si ambos autovalores son positivos, los modos crecen y se obtiene un nodo repulsor. Hacia atrás en el tiempo, los papeles de atracción y repulsión se invierten.

Cuando el autovalor es repetido, la geometría depende también de cuántos autovectores independientes existan. Puede aparecer un nodo propio con muchas direcciones o un nodo impropio con un término teλt.

06 · Atracción y repulsión simultáneas

Una silla siempre es inestable

Si D<0, los autovalores reales tienen signos opuestos. Una dirección decae y otra crece:

A=[1 0; 0 −1]  →  X(t)=[C₁et,C₂e−t]

La recta asociada al autovalor negativo es la dirección estable: los estados que comienzan exactamente allí se acercan al origen. La dirección del autovalor positivo es inestable.

Aunque algunas trayectorias converjan, el equilibrio es inestable porque una perturbación con cualquier componente en la dirección creciente termina alejándose. En sistemas no lineales, estas direcciones se generalizan a variedades estable e inestable.

07 · Autovalores complejos

La parte imaginaria gira; la real cambia el radio

Si λ=α±βi, las soluciones combinan seno, coseno y una envolvente eαt.

α<0

Espiral atractora

El giro continúa mientras el radio decrece hacia cero.

α>0

Espiral repulsora

El radio crece y las trayectorias se alejan girando.

α=0

Centro lineal

Las órbitas son cerradas y no convergen ni se alejan.

El signo de β en una representación concreta se relaciona con el sentido de giro, pero los autovalores aparecen como par conjugado y no bastan por sí solos para distinguir horario de antihorario. Hay que observar la matriz o evaluar el campo en un punto.

08 · Aproximar un sistema no lineal

El jacobiano captura la dinámica de primer orden

Sea X′=F(X) y X* un equilibrio. Escribimos una perturbación U=X−X*. La expansión de Taylor da

U′=J(X*)U+términos de orden superior

donde el jacobiano es

J(x,y)=[∂f/∂x ∂f/∂y; ∂g/∂x ∂g/∂y]

Cerca del equilibrio, el sistema lineal U′=J(X*)U aproxima al original. Si ningún autovalor del jacobiano tiene parte real cero —equilibrio hiperbólico—, el tipo de estabilidad local coincide con el de la linealización.

Ejemplo: para x′=x−x³, los equilibrios son −1,0,1. La derivada f′(x)=1−3x² vale 1 en cero y −2 en ±1. Por ello, cero es localmente repulsor y ±1 son atractores.

09 · Cuando el método no decide

Autovalores con parte real cero requieren más información

Si la linealización tiene un autovalor con parte real cero, los términos no lineales pueden decidir el comportamiento. Compare los sistemas escalares

x′=−x³    y    x′=x³

Ambos tienen equilibrio en cero y derivada lineal f′(0)=0. Sin embargo, el primero atrae desde ambos lados y el segundo repele. La linealización es inconclusa.

También un centro lineal puede transformarse en una espiral débil bajo términos no lineales. En estos casos se recurre a funciones de Lyapunov, análisis de términos dominantes, invariantes o resultados específicos.

  1. Encontrar el equilibrio.

    Resolver todas las componentes de F(X)=0.

  2. Calcular el jacobiano.

    Derivar antes de sustituir el punto.

  3. Evaluar y hallar autovalores.

    Usar traza y determinante en dimensión dos.

  4. Comprobar hiperbolicidad.

    Si alguna parte real es cero, no concluir solo con la linealización.

10 · Exploración interactiva

Laboratorio: retratos lineales y autovalores

Elegí un tipo de matriz y una condición inicial. El campo, la trayectoria y los invariantes algebraicos permiten relacionar autovalores con geometría.

EXPERIMENTO 29

Clasificación de equilibrios lineales

X′=[−0,30 −1,00; 1,00 −0,30]X

Los resultados numéricos aparecen debajo.
Autovaloresλ = −0,30 ± 1,00i
ClasificaciónEspiral atractora
Traza y determinanteτ=−0,60 · D=1,09
Derivada inicialX′(0)=[−1,10; 1,85]

La parte real negativa contrae la trayectoria mientras la parte imaginaria produce el giro.

Las flechas se normalizan para mostrar dirección. La curva dorada representa la evolución hacia adelante desde el punto inicial.

Preguntas para explorar

  1. Compará el nodo atractor y la espiral atractora. ¿Qué propiedad comparten sus autovalores?
  2. En la silla, elegí estados sobre cada eje. ¿Qué dirección atrae y cuál repele?
  3. Compará el centro con las espirales. ¿Qué cambia cuando la parte real pasa por cero?
  4. Cambiá la condición inicial. ¿Se modifica la clasificación del equilibrio?

11 · Representación en código

Clasificar y linealizar computacionalmente

Clasificar una matriz real 2×2

function clasificarMatriz([[a, b], [c, d]], tolerancia = 1e-10) {
  const traza = a + d;
  const determinante = a * d - b * c;
  const discriminante = traza ** 2 - 4 * determinante;

  if (determinante < -tolerancia) return "silla inestable";
  if (Math.abs(determinante) <= tolerancia) {
    return "caso no hiperbólico: hay un autovalor cero";
  }
  if (discriminante > tolerancia) {
    return traza < 0 ? "nodo atractor" : "nodo repulsor";
  }
  if (discriminante < -tolerancia) {
    if (traza < -tolerancia) return "espiral atractora";
    if (traza > tolerancia) return "espiral repulsora";
    return "centro lineal";
  }
  return "caso degenerado: analizar autovectores";
}

console.log(clasificarMatriz([[-0.3, -1], [1, -0.3]]));

Calcular autovalores de una matriz 2×2

function autovalores2x2([[a, b], [c, d]]) {
  const traza = a + d;
  const determinante = a * d - b * c;
  const delta = traza ** 2 - 4 * determinante;

  if (delta >= 0) {
    const raiz = Math.sqrt(delta);
    return [{ real: (traza + raiz) / 2, imag: 0 }, { real: (traza - raiz) / 2, imag: 0 }];
  }
  return [
    { real: traza / 2, imag: Math.sqrt(-delta) / 2 },
    { real: traza / 2, imag: -Math.sqrt(-delta) / 2 }
  ];
}

console.log(autovalores2x2([[-0.3, -1], [1, -0.3]]));

Aproximar numéricamente un jacobiano

function jacobianoNumerico(campo, punto, h = 1e-5) {
  const dimension = punto.length;
  return Array.from({ length: dimension }, (_, fila) =>
    Array.from({ length: dimension }, (_, columna) => {
      const adelante = [...punto];
      const atras = [...punto];
      adelante[columna] += h;
      atras[columna] -= h;
      return (campo(adelante)[fila] - campo(atras)[fila]) / (2 * h);
    })
  );
}

const campo = ([x, y]) => [x - x ** 3 - y, x + y - y ** 3];
console.log(jacobianoNumerico(campo, [0, 0]));

12 · Comprensión

Confusiones frecuentes

«Estable y asintóticamente estable son sinónimos»

Un centro lineal es estable porque permanece cerca, pero no converge al equilibrio.

«Una silla es parcialmente estable»

La definición considera todas las perturbaciones; la dirección repulsora hace que sea inestable.

«Autovalores complejos implican inestabilidad»

La estabilidad depende de su parte real. Una parte real negativa produce una espiral atractora.

«El determinante positivo garantiza estabilidad»

También importa la traza: con traza positiva puede haber nodo o espiral repulsora.

«Linealizar describe todo el plano»

La aproximación es local y puede fallar lejos del equilibrio.

«Si un autovalor vale cero, el equilibrio es estable»

La linealización queda inconclusa; los términos no lineales pueden atraer o repeler.

13 · Práctica guiada

Ejercicios de comprensión

Ejercicio 1: nodo atractor

Clasificá X′=AX para A=[−1 0; 0 −3].

Ver solución

Los autovalores son −1 y −3. Ambos son reales negativos: el origen es un nodo atractor asintóticamente estable.

Ejercicio 2: silla

Clasificá A=[2 0; 0 −4].

Ver solución

Los autovalores tienen signos opuestos, o equivalentemente det(A)=−8<0. El origen es una silla inestable.

Ejercicio 3: espiral

Clasificá A=[−1 −2; 2 −1].

Ver solución

Los autovalores son −1±2i. La parte real negativa produce una espiral atractora.

Ejercicio 4: usar traza y determinante

Una matriz tiene τ=4, D=13. Clasificá el equilibrio.

Ver solución razonada

Δ=τ²−4D=16−52=−36. Hay autovalores complejos con parte real τ/2=2>0: es una espiral repulsora inestable.

Ejercicio 5: linealizar

Para x′=x(1−x), encontrá y clasificá los equilibrios mediante la derivada.

Ver solución

Los equilibrios son 0 y 1. Como f′(x)=1−2x, f′(0)=1>0: cero es repulsor. f′(1)=−1<0: uno es atractor.

Ejercicio 6: caso inconcluso

¿Qué concluye la linealización sobre x′=−x⁵ en cero?

Ver solución razonada

f′(0)=0, así que la linealización no decide. Analizando el signo, si x>0 entonces x′<0, y si x<0 entonces x′>0; el origen sí es asintóticamente estable.

14 · Síntesis

Ideas para recordar

  • La estabilidad describe el efecto de pequeñas perturbaciones alrededor de un equilibrio.
  • La estabilidad asintótica agrega convergencia al equilibrio.
  • En sistemas lineales, la parte real de los autovalores controla crecimiento o decaimiento.
  • Determinante negativo implica una silla inestable.
  • Traza y discriminante distinguen nodos, espirales y centros en dimensión dos.
  • Una silla puede atraer en una dirección y seguir siendo inestable.
  • El jacobiano linealiza un sistema no lineal cerca de un equilibrio.
  • Los equilibrios hiperbólicos conservan localmente el tipo de su linealización.
  • Autovalores con parte real cero exigen herramientas adicionales.

En el siguiente tema aplicaremos campos de fase, equilibrios y estabilidad al modelo no lineal depredador–presa de Lotka–Volterra.