Динамические системы
Теория КАМ
После Пуанкаре (1890) казалось, что хаос уничтожает все торы интегрируемых систем. КАМ-теорема (1954-1963) показала: большинство торов выживает при малых возмущениях. Именно диофантовы частоты объясняют долгосрочную устойчивость Солнечной системы.
- Небесная механика: орбиты планет Солнечной системы устойчивы на миллиарды лет благодаря КАМ-торам с диофантовыми частотами
- Физика плазмы: токамаки (ITER, JET) используют магнитные поверхности - КАМ-торы - для удержания термоядерной плазмы при температуре 150 млн градусов
- Небесная механика: пояс астероидов имеет пробелы Кирквуда на резонансных орбитах, где КАМ-торы разрушены резонансами с Юпитером
- Квантовый хаос: КАМ-переход от регулярного к хаотическому движению отражается в статистике уровней энергии атомов в сильных полях
Предварительные знания
- Гамильтонова механика
- Переменные действие-угол
- Теория возмущений
Малые делители и проблема возмущений
NASA использует теорию КАМ для долгосрочного прогноза орбит: для миссии Voyager (запущена 1977) расчёт траектории на 40 лет требует понимания того, какие торы выживают при гравитационных возмущениях Юпитера.
КАМ-теорема была доказана в три этапа: Колмогоров (1954, гипотеза и схема доказательства), Арнольд (1963, строгое доказательство для аналитических систем), Мозер (1962, версия для гладких систем типа скручивания).
В чём состоит проблема малых делителей в теории возмущений?
Классическая теория возмущений строит ряды с коэффициентами 1/(omega*k). При резонансных частотах omega*k -> 0 эти коэффициенты неограниченно растут, и ряд расходится. Это фундаментальное препятствие, открытое Пуанкаре в 1890 году.
Диофантово условие и итерационная схема Колмогорова
Колмогоров обошёл проблему малых делителей через итерационную схему с квадратичной сходимостью. Каждый шаг устраняет возмущение порядка epsilon^(2^N), что компенсирует медленное убывание малых делителей при иррациональных частотах.
Диофантово условие и устойчивость торов. Тор с рациональными частотами omega_1/omega_2 = p/q - как кристаллическая решётка: каждый резонансный удар совпадает по фазе и разрушает структуру. Тор с иррациональным отношением - как амортизатор: удары приходят в случайных фазах и гасятся.
Золотое сечение phi = (1+sqrt(5))/2 - наиболее иррациональное число (наихудшая аппроксимация рациональными). Поэтому тор с частотой phi - последний выживающий при возрастании возмущения.
Почему золотое сечение phi = (1+sqrt(5))/2 особенно устойчиво в КАМ-теории?
По теории цепных дробей, phi = [1;1,1,1,...] - число с самыми медленно сходящимися рациональными приближениями. Это означает максимальное расстояние от всех резонансов omega*k = 0. Тор с частотой phi разрушается последним при возрастании возмущения.
Диффузия Арнольда и устойчивость Солнечной системы
Теорема Арнольда о диффузии (1964) показывает, что в системах с тремя и более степенями свободы КАМ-торы не разделяют фазовое пространство. Вдоль резонансных зон возможен медленный дрейф (арнольдовская диффузия) - явление, имеющее значение для долгосрочной устойчивости Солнечной системы.
Применения в физике плазмы: токамаки (ITER, JET) используют магнитные поверхности - КАМ-торы - для удержания термоядерной плазмы при 150 млн градусов. Разрушение этих торов приводит к потере удержания.
Почему диффузия Арнольда не нарушает устойчивость Солнечной системы на практике?
При n=8 (8 планет) сеть Арнольда существует и дрейф теоретически возможен. Однако оценка времени диффузии Чирикова и Нехорошева даёт t_drift ~ exp(c/epsilon^alpha) - порядка 10^60 лет для малых возмущений. Возраст Солнечной системы 4.6*10^9 лет.
Связи с другими областями
Теория КАМ связывает небесную механику, эргодическую теорию и топологию. Её методы - итерационные схемы с квадратичной сходимостью - применяются далеко за пределами классической механики.
- Эргодическая теория — Связанная тема
- Теория бифуркаций — Связанная тема
- Дифференциальная геометрия — Связанная тема
- Теория чисел — Связанная тема
Итоги
- КАМ-теорема: при малом гамильтоновом возмущении большинство торов с диофантовыми частотами выживает - деформируется, но не разрушается
- Малые делители: при резонансах omega*k = 0 теория возмущений расходится; диофантово условие |omega*k| >= gamma/|k|^tau обеспечивает сходимость
- Итерационная схема Колмогорова: суперэкспоненциальная (квадратичная) сходимость устраняет накопление малых делителей
- Мера выживших торов: Лебегова мера тех, что выжили, стремится к мере полного фазового пространства при epsilon -> 0
- Золотое сечение - наиболее диофантово иррациональное число, последний разрушающийся тор при возрастании возмущения
- Арнольдовская диффузия: при n >= 3 степенях свободы КАМ-торы не изолируют фазовое пространство и возможен медленный межрезонансный дрейф
Почему золотое сечение phi = (1+sqrt(5))/2 особенно устойчиво в КАМ-теории?
По теории цепных дробей, phi = [1;1,1,1,...] - число с самыми медленно сходящимися рациональными приближениями. Это означает максимальное расстояние от всех резонансов omega*k = 0, и поэтому тор с частотой phi разрушается последним при возрастании возмущения.