Diferencia entre punto fijo inestable y punto caótico

Estoy leyendo el artículo de Scholarpedia sobre los exponentes de Lyapunov :

Dado un sistema dinámico

X ˙ = F ( X )
y un punto fijo X 0 tal que F ( X 0 ) = 0 , los exponentes de Lyapunov se definen como las partes reales de los valores propios jacobianos relevantes. Miden la tasa de contracción/expansión exponencial de perturbaciones infinitesimales. Hasta ahora, todo bien.

El problema viene al leer la sección de Propiedades . El autor dice:

Un exponente de Lyapunov máximo estrictamente positivo se considera a menudo como una definición de caos determinista. Esto tiene sentido solo cuando la variedad inestable correspondiente retrocede y queda confinada dentro de un dominio acotado (un punto fijo inestable NO es caótico).

Esto es lo que no estoy entendiendo. Estaba convencido, en efecto, de que, en un sistema dinámico no integrable, el caos surge siempre en correspondencia de puntos fijos inestables. ¿Qué me estoy perdiendo?

Respuestas (2)

La definición que está citando¹ solo se aplica a las inmediaciones de un punto fijo (la mina en negrita):

En este caso simple, las LE λ i son las partes reales de los valores propios.

En general, los exponentes de Lyapunov son propiedades de la dinámica, no de un punto determinado². En términos generales, son un promedio temporal de la proyección del jacobiano en una dirección específica a lo largo de la trayectoria. Análogamente, el caos es una propiedad de una dinámica o conjunto de trayectorias (un atractor caótico, silla, transitorio o conjunto invariante), no de un punto fijo.

Si observa un punto fijo estable, una trayectoria dentro de su cuenca de atracción estará muy cerca del punto fijo para este promedio y, por lo tanto, obtuvo la definición citada¹. Para un punto fijo inestable, casi cualquier trayectoria eventualmente se alejará de él y su tipo de dinámica (punto fijo, periódico, caos,…) depende de la estructura del flujo fase-espacio en regiones distantes del punto fijo inestable. Entonces, la naturaleza de un punto fijo no dice nada sobre si un sistema es caótico o no.

Su segunda cita alude a lo siguiente: el caos no solo requiere un exponente positivo de Lyapunov, sino también una dinámica acotada. Por ejemplo, X ˙ = X también tiene un exponente de Lyapunov positivo, pero no es caótico: no tiene límites y no retrocede (consulte también esta pregunta en Math SE).


¹ “Dado un sistema dinámico X ˙ = F ( X ) y un punto fijo X 0 tal que F ( X 0 ) = 0 , los exponentes de Lyapunov se definen como las partes reales de los valores propios jacobianos relevantes”.
² “También existe una noción de exponentes locales/instantáneos/… de Lyapunov, pero probablemente no sea lo que estás preguntando y no juega con la definición de caos. ³ “Un exponente de Lyapunov máximo estrictamente positivo se considera a menudo como una definición de caos determinista. Esto tiene sentido solo cuando la variedad inestable correspondiente se repliega y permanece confinada dentro de un dominio acotado (un punto fijo inestable NO es caótico)”

Muchas gracias por tu respuesta tan detallada. Solo algunas aclaraciones, corrígeme si me equivoco. Supongamos que tiene un punto fijo X 0 que está asociado a un jacobiano que tiene al menos un valor propio dotado de parte real positiva. Por lo tanto, este punto fijo es inestable. PERO el caos NO surge necesariamente. De hecho, la trayectoria, escapando del punto fijo inestable, puede caer, por ejemplo, en la cuenca de un punto fijo atractivo. ¿Cómo cambia tu respuesta si introducimos la hipótesis de que el sistema dinámico es hamiltoniano?
¿Cómo cambia tu respuesta si introducimos la hipótesis de que el sistema dinámico es hamiltoniano? Los sistemas hamiltonianos no tienen puntos fijos estables ni inestables.
¿Está diciendo que los sistemas hamiltonianos solo tienen un punto fijo de equilibrio neutral? Esto me suena extraño. ¿Puede por favor dar una explicación?
@AndreaPaco: Lo siento, reemplace punto fijo inestable con repelente en mi comentario anterior. De todos modos, los sistemas hamiltonianos no pueden tener atractores (o repelentes), ya que esto significaría contraer (o expandir) volúmenes del espacio de fase, lo que a su vez violaría el teorema de Liouville. También vea el enlace en el comentario anterior. Los sistemas hamiltonianos pueden tener puntos de silla.
Sé que los sistemas hamiltonianos presentan un flujo de divergencia cero. Lo que me interesa es lo que sucede cerca de puntos fijos inestables, es decir, puntos asociados a un jacobiano que tiene al menos un valor propio con parte real positiva. ¿Existen condiciones adicionales para el surgimiento del caos? Gracias por tu ayuda.
@AndreaPaco: No entiendo tu problema. El caos es una propiedad de una dinámica. Un punto fijo inestable por sí solo no es una dinámica. Hablar de si un punto fijo inestable es caótico tiene tanto sentido como hablar de si un único punto es integrable. (También vea mi edición).
Lo que tengo en mente es la dinámica de trayectorias que comienzan en la vecindad de puntos fijos inestables de un sistema hamiltoniano no integrable. ¿Son estas trayectorias caóticas o no?

El caos clásico requiere, además de la dependencia sensible de las condiciones iniciales (LE máxima positiva), que las trayectorias se mezclen. Por ejemplo, considere un solo dispersor de esfera dura. Cuando el parámetro de impacto es +/- cero, pequeñas perturbaciones enviarán la partícula en diferentes direcciones. Pero para que el sistema sea caótico, debes confinar las trayectorias para que puedan mezclarse y llenar el espacio de fase (o espacio real) como en el estadio de Bunimovich. Creo que ese es el punto de la propiedad que cita.

Aquí hay una foto de Hans-Jürgen Stöckman que ilustra el punto. Esta noción pasa al caos cuántico u ondulatorio, donde en lugar de trayectorias, observamos las propiedades asintóticas de los dominios nodales de las funciones propias de Dirichlet. En ese caso, las "cicatrices" aparecen como restos fantasmales de trayectorias periódicas inestables. Espero que eso sea lo que tenías en mente.

Billar