El teorema de Kolmogorov-Arnold-Moser ( KAM ) es un resultado en sistemas dinámicos sobre la persistencia de movimientos cuasiperiódicos bajo pequeñas perturbaciones. El teorema resuelve en parte el problema del pequeño divisor que surge en la teoría de perturbaciones de la mecánica clásica .
El problema es si una pequeña perturbación de un sistema dinámico conservador da como resultado una órbita cuasiperiódica duradera . El avance original a este problema lo dio Andrey Kolmogorov en 1954. [1] Esto fue rigurosamente probado y ampliado por Jürgen Moser en 1962 [2] (para mapas de torsión suave) y Vladimir Arnold en 1963 [3] (para sistemas hamiltonianos analíticos). ), y el resultado general se conoce como teorema KAM.
Arnold originalmente pensó que este teorema podría aplicarse a los movimientos del Sistema Solar u otros casos del problema de n cuerpos , pero resultó funcionar sólo para el problema de los tres cuerpos debido a una degeneración en su formulación del problema para cuerpos más grandes. números de cuerpos. Más tarde, Gabriella Pinzari demostró cómo eliminar esta degeneración desarrollando una versión del teorema invariante en rotación. [4]
El teorema KAM suele expresarse en términos de trayectorias en el espacio de fases de un sistema hamiltoniano integrable . El movimiento de un sistema integrable está confinado a un toro invariante (una superficie en forma de rosquilla ). Diferentes condiciones iniciales del sistema hamiltoniano integrable trazarán diferentes toros invariantes en el espacio de fases. Trazar las coordenadas de un sistema integrable mostraría que son cuasiperiódicos.
El teorema KAM establece que si el sistema está sujeto a una perturbación no lineal débil, algunos de los toros invariantes se deforman y sobreviven, es decir, hay un mapa desde la variedad original hasta la deformada que es continua en la perturbación. Por el contrario, otros tori invariantes se destruyen: incluso perturbaciones arbitrariamente pequeñas hacen que la variedad ya no sea invariante y no exista tal mapa para las variedades cercanas. Los tori supervivientes cumplen la condición de no resonancia, es decir, tienen frecuencias "suficientemente irracionales". Esto implica que el movimiento sobre el toro deformado continúa siendo cuasiperiódico , con los períodos independientes cambiados (como consecuencia de la condición de no degeneración). El teorema KAM cuantifica el nivel de perturbación que se puede aplicar para que esto sea cierto.
Esos toros KAM que son destruidos por la perturbación se convierten en conjuntos de Cantor invariantes , denominados Cantori por Ian C. Percival en 1979. [5]
Las condiciones de no resonancia y no degeneración del teorema KAM se vuelven cada vez más difíciles de satisfacer para sistemas con más grados de libertad. A medida que aumenta el número de dimensiones del sistema, el volumen ocupado por los toros disminuye.
A medida que la perturbación aumenta y las curvas suaves se desintegran, pasamos de la teoría KAM a la teoría de Aubry-Mather, que requiere hipótesis menos estrictas y funciona con conjuntos tipo Cantor.
La existencia de un teorema KAM para perturbaciones de sistemas integrables cuánticos de muchos cuerpos sigue siendo una cuestión abierta, aunque se cree que perturbaciones arbitrariamente pequeñas destruirán la integrabilidad en el límite de tamaño infinito.
Una consecuencia importante del teorema KAM es que para un gran conjunto de condiciones iniciales el movimiento permanece perpetuamente cuasiperiódico. [ ¿cual? ]
Los métodos introducidos por Kolmogorov, Arnold y Moser se han convertido en un gran conjunto de resultados relacionados con movimientos cuasiperiódicos, ahora conocidos como teoría KAM . En particular, se ha extendido a sistemas no hamiltonianos (comenzando con Moser), a situaciones no perturbativas (como en el trabajo de Michael Herman ) y a sistemas con frecuencias rápidas y lentas (como en el trabajo de Mikhail B. Sevryuk). .
Un invariante múltiple bajo la acción de un flujo se llama -toro invariante, si existe un difeomorfismo en el -toro estándar tal que el movimiento resultante es lineal uniforme pero no estático, es decir , donde hay un vector constante distinto de cero, llamado vector de frecuencia .
Si el vector de frecuencia es:
entonces el -toro invariante ( ) se llama toro KAM . Este caso normalmente se excluye en la teoría KAM clásica porque no involucra divisores pequeños.