La métrica natural de un espacio de fases y el exponente de Lyapunov

Para mí, parece que no hay una métrica aparente en un espacio de fase de un sistema dinámico . Por supuesto, se puede definir ingenuamente una métrica euclidiana, pero parece que esta métrica no tiene mucho que ver con las características peculiares de un espacio de fase.

Pero en muchos libros de texto sobre sistemas dinámicos, es la métrica empleada en la definición del exponente de Lyapunov .

¿Es este realmente un buen enfoque?

Creo que esta es una gran pregunta, pero no soy lo suficientemente bueno como para responderla en este momento. Mi respuesta directa habría sido "no es un espacio mertic, es un espacio simpléctico", pero no responde a nada. Al buscar en la web, encontré estas notas que aún no puedo comprender por completo, pero que podrían contener algunas respuestas para usted.

Respuestas (1)

Eichhorn, Linz y Hänggi demostraron en 2000 que los valores numéricos de los exponentes de Lyapunov son invariantes bajo cualquier transformada de variable invertible. Esto es solo una reformulación del hecho de que son invariantes métricos, porque los autores suponen la norma | | ser una norma arbitraria en las coordenadas dadas, solo sus propiedades básicas, como la linealidad, son suficientes.

Para obtener algo de intuición para esto, los exponentes de Lyapunov están vinculados con la dimensión de Haussdorf o fractal de la trayectoria. Aunque la dimensión de Hausdorff se define en un espacio métrico, tenemos la intuición de que una dimensión fractal es en realidad más una propiedad de estructura diferencial que una noción específica de longitud/superficie/volumen. La métrica es solo un identificador para llegar a la dimensión fractal, pero su naturaleza no es métrica. Podemos entender la adquisición de exponentes de Lyapunov de manera similar: la métrica es solo un identificador y elegimos uno arbitrariamente.

Una segunda forma de obtener una intuición es a través de la definición explícita de los exponentes λ a través de la variación lineal d X ( t ) evolucionado en el tiempo:

λ = límite t Iniciar sesión | d X ( t ) | t
Supongamos que d X ( t ) = mi m t d X ( 0 ) . Entonces por la linealidad de la norma tenemos | d X ( t ) | = mi m t | d X ( 0 ) | y el límite da
λ = límite t ( m t t + Iniciar sesión | d X ( 0 ) | t )
El segundo término muere y tenemos λ = m para cualquier lineal definida positiva | | . Es decir, obtienes el mismo número con una norma diferente y, por lo tanto, el exponente de Lyapunov te da algo que está conectado a una "tasa de crecimiento relativa" independiente de la métrica. Hay algunas lagunas en este argumento y están cubiertas por el artículo citado anteriormente.

Comentario menor a la publicación (v1): considere mencionar explícitamente el autor, el título, etc. del enlace, para que sea posible reconstruir el enlace en caso de que se rompa.
Una pregunta estrechamente relacionada, si se me permite: las trayectorias vecinas en un sistema caótico divergen exponencialmente (tasa dada por el exp de Lyapunov), ¿implica esto que la variedad de tales sistemas tiene una curvatura riemanniana negativa? (para lo cual las geodésicas vecinas deben divergir exponencialmente). Solo trato de entender por qué tiene que ser exponencialmente divergente .
Los flujos geodésicos de @Phonon en variedades riemannianas con curvatura seccional negativa y geodésicas limitadas son realmente caóticos. Especialmente en relatividad, a menudo es posible transformar el flujo geodésico pseudo-riemanniano en uno riemanniano para probar la caoticidad. La definición exponencial es algo "numéricamente empírica": parece ser exclusiva del comportamiento no cuasiperiódico, mientras que los sistemas integrables siempre muestran un crecimiento de error lineal a polinomial.
@Void gracias por responderme. Tiene mucho sentido. Siempre tuve la fuerte impresión de que solo para una divergencia exponencial se mantendría la hipótesis ergódica, es decir, aunque las trayectorias estén separadas, la divergencia lineal no es suficiente para garantizar que el sistema cubra cada subconjunto medible del espacio de fase. Última pregunta, en mecánica clásica, para sistemas dinámicos regulares o caóticos, el espacio de fase debe ser compacto, pero ¿es correcto decir que para uno caótico la topología no puede ser plana (ni toroidal)? (obviamente ya no es simpléctico de todos modos)
@Phonon No realmente, el modelo Lorenz más conocido tiene un R 3 espacio de fase. Los famosos osciladores pateados tienen un diseño formal. T 2 × R 2 espacio de fase que es también el caso del péndulo doble plano. Hay algunas consideraciones topológicas en el caos, pero el espacio de fase solo tiene que tener dimensión. 3 para permitir el caos de tiempo continuo.