Comprender la matriz jacobiana

Tomando el ejemplo de un sistema bidimensional, descrito por las siguientes EDO:

d X 1 d t = F 1 ( X 1 , X 2 ) d X 2 d t = F 2 ( X 1 , X 2 )

La matriz jacobiana JM viene dada entonces por:

j METRO = ( F 1 X 1 F 1 X 2 F 2 X 1 F 2 X 2 )

Ahora citando de eruditopedia :

La estabilidad de los equilibrios típicos de las EDO suaves está determinada por el signo de la parte real de los valores propios de la matriz jacobiana. Estos valores propios a menudo se denominan "valores propios del equilibrio". La matriz jacobiana de un sistema de EDO suaves es la matriz de las derivadas parciales del lado derecho con respecto a las variables de estado donde todas las derivadas se evalúan en el punto de equilibrio x=xe. Sus valores propios determinan las propiedades de estabilidad lineal del equilibrio.

Un equilibrio es asintóticamente estable si todos los valores propios tienen partes reales negativas; es inestable si al menos un valor propio tiene parte real positiva.

  • ¿Existe una forma intuitiva de entender por qué el signo de los autovalores de JM implica el estado de estabilidad del sistema?
Sugerencia: piense en el caso unidimensional y cómo la gráfica de F mira el punto de equilibrio cuando la derivada (o jacobiana 1D) F es positivo, y cómo se ve cuando es negativo. La declaración multidimensional es muy parecida.
La intuición es que la parte real de los autovalores corresponde al crecimiento exponencial (decaimiento) para signo positivo (negativo), lo que conduce a un comportamiento inestable (estable), respectivamente.

Respuestas (2)

Veamos un ejemplo unidimensional:

Gráfico de equilibrio

Recordar que F ( X ) = X ˙ , entonces F codifica la evolución temporal de X . Si F < 0 , entonces X se moverá hacia la izquierda. Si F > 0 , entonces X se moverá hacia la derecha. Si F = 0 , X no se moverá en absoluto, por eso F ( X 0 ) = 0 es la condición de equilibrio.

Ahora, mira lo que sucede si perturbas los equilibrios X i ligeramente a la derecha: Si F ( X i ) < 0 , pues, en un pequeño entorno de X i , F ( X ) < 0 para X > X 0 en ese entorno, es decir, a la derecha de un equilibrio con F ( X i ) < 0 , X se moverá hacia la izquierda - ¡volviendo al equilibrio! Por el contrario, si F ( X i ) > 0 , entonces F ( X ) > 0 para todos X a la derecha en el pequeño entorno, lo que significa que, después de un pequeño empujón a la derecha, X se moverá aún más a la derecha, dejando el equilibrio!

La misma línea de razonamiento se puede aplicar a las perturbaciones a la izquierda, mostrando en conjunto que, si F ( X i ) < 0 , entonces una pequeña perturbación alrededor X i siempre se mudará de nuevo a X i , y si F ( X i ) > 0 , entonces una pequeña perturbación se hará cada vez más grande, alejándose de X i .

El caso multidimensional es menos gráfico, pero la intuición es la misma: los valores propios negativos del jacobiano significan que la evolución del tiempo apunta hacia el equilibrio, los valores propios positivos significan que apunta fuera del equilibrio.

Gracias muy claro ahora. Entonces, para resumir, si buscamos puntos de equilibrio estables, necesitamos encontrar X 0 's ( F ( X 0 ) = 0 ), para lo cual la segunda derivada de X a la derecha ya la izquierda es negativo, ¿verdad? (así que significa X 0 ¿Es que son los máximos de nuestra trayectoria? ¿Cómo puede un máximo ser el punto de estabilidad?
@usuario929304: X no tiene derivados "a la derecha y a la izquierda" ("izquierda" y "derecha", como los usé, se refieren a "menor X " y "más grande X "). X sólo tiene derivadas temporales. Un equilibrio estable es aquel en el que F ( X 0 ) < 0 , de modo que F es positivo a la izquierda del equilibrio y negativo a la derecha, porque entonces se mueve hacia la izquierda cuando se empuja hacia la derecha, y hacia la derecha cuando se empuja hacia la izquierda.
  1. F = k X es estable mientras que F = k X es inestable
  2. Por lo general, puede reescribir una matriz A como A = PAG D PAG 1 dónde PAG es una matriz de vectores propios y D es una matriz diagonal de valores propios.
  3. Si F = A X , entonces por lo anterior, ( PAG 1 F ) = D ( PAG 1 X ) . Ahora tu tienes norte ecuaciones independientes exactamente de la forma F = k X o F = k X . Si alguno de ellos es como F = k X , la solución explotará hasta el infinito bajo una pequeña perturbación.

Por ejemplo: ( 2 2 1 1 ) ( 1 0 0 1 ) ( 2 2 1 1 ) 1 = ( 0 2 1 2 0 ) = A

Con solo mirar el PAG D PAG 1 diagonalización, puedo decir - si F = A X , entonces cualquier X yendo en la dirección ( 2 , 1 ) tenderá a ser empujado lejos del origen, y cualquier X yendo en la dirección ( 2 , 1 ) tenderá a ser empujado hacia el origen. Debe comprender PAG 1 X como un cambio de base en un sistema de coordenadas donde los ejes son algunos norte direcciones arbitrarias que actúan como líneas de fuerza.

Aquí hay una trama de ese sistema. F = ( 0 2 1 2 0 ) X .

empujando lejos del origen

Me parece que, en su respuesta, está asumiendo que j METRO siempre se puede diagonalizar. es falso también en C ... En realidad escribiste "usualmente". ¿Qué pasa si no es el caso?
Punto justo de @ValterMoretti, ¿podría aclarar esto de manera general? (es decir, si se puede o no se puede diagonalizar). Definitivamente sería bueno tener tu opinión sobre esta publicación.
@user929304 Simplemente debe (a) clasificar los no- C -diagonalizable real 2 × 2 matrices A , (b) estudiar el comportamiento de las soluciones de d X / d t = A X alrededor del punto crítico X = 0 y finalmente (c) explotar un argumento (no trivial) que relacione el comportamiento de la solución de su sistema dinámico con los del sistema lineal asociado. Este último se define eligiendo A = j METRO X 0 calculado en el punto crítico X 0 tal que F i ( X 0 ) = 0 , i = 1 , 2 . Obviamente las coordenadas tienen que estar centradas en X 0 .
@ValterMoretti ¡No pude descubrir ninguna intuición detrás de eso! Supongo que todavía tienes los valores propios de A tiene que ser negativo (excepto en los peores problemas planteados todavía tendrá una ecuación característica con norte multiplicidad de conteo de soluciones) pero parece que en el X = A X caso de que pueda tener su valor propio negativo pero su solución explote hasta el infinito como X pecado ( X ) ! Pero todo eso está realmente lejos de una comprensión intuitiva, así que supongo que no pertenece a la respuesta. Prefiero barrerlo debajo de la alfombra.
Efectivamente no pretendía dar una intuición. Lo que quería decir es que el caso linealizado tiene el mismo comportamiento cualitativo que el caso no linealizado. Este es un teorema (difícil). Sin embargo, una vez que lo sepa, puede concentrarse solo en el caso lineal y puede clasificar los diversos casos, ya que las soluciones explícitas se pueden escribir en ese caso, para matrices reales de 2x2. Sólo hay unos pocos tipos posibles. Véase, por ejemplo , en.wikipedia.org/wiki/Phase_plane