Динамические системы
Интегрируемые системы
Задача трёх тел неинтегрируема - Пуанкаре доказал это в 1890. Задача двух тел интегрируема и решается точно. Разница в одно тело порождает хаос.
- **Оптические волокна:** солитоны используются в телекоммуникациях для передачи данных без дисперсии
- **Бозе-Эйнштейновские конденсаты:** солитоны наблюдаются экспериментально в квантовых газах
- **Орбитальная механика:** переменные действие-угол - основа теории возмущений в небесной механике
- **Квантовая физика:** метод обратного рассеяния лежит в основе квантовой интегрируемости и Bethe Ansatz
Предварительные знания
- Гамильтонова механика: скобки Пуассона и сохраняющиеся величины
- Фазовые портреты и инвариантные многообразия
- Линейные операторы и спектральная теория
Теорема Лиувилля-Арнольда
Задача двух тел (Кеплер, 1609) - первый пример полностью интегрируемой системы: 6 степеней свободы, 6 сохраняющихся величин (E, L, направление Лапласа-Рунге-Ленца) гарантируют аналитическое решение через эллиптические орбиты.
Сколько независимых интегралов движения в инволюции необходимо для интегрируемости системы с n степенями свободы?
Теорема Лиувилля-Арнольда: n независимых интегралов в инволюции для системы с n степенями свободы обеспечивают интегрируемость и движение на торах.
Солитоны и метод обратного рассеяния
В 1965 году Забуский и Крускал обнаружили в численном симуляции уравнения КдФ (Кортевега-де Фриза) солитоны - нелинейные волны, проходящие сквозь друг друга без изменения формы. Это открытие возродило интерес к интегрируемым системам.
Что соответствует дискретным собственным значениям в задаче обратного рассеяния для уравнения КдФ?
В методе обратного рассеяния дискретные уровни λ_n = −κ_n² отвечают за солитоны, а непрерывный спектр - за дисперсивную часть.
Пары Лакса и скобка Пуассона
Пара Лакса (L, B) - элегантная алгебраическая структура, порождающая бесконечные серии интегралов движения. Лакс показал в 1968 году, что уравнение КдФ эквивалентно эволюции оператора L по формуле dL/dt = [B, L], где скобка - коммутатор.
Формализм пар Лакса объединяет интегрируемые системы: уравнение КдФ, уравнение нелинейного Шрёдингера, цепочка Тоды и уравнение синус-Гордон - все описываются парами Лакса с бесконечными семействами интегралов.
Почему следы tr(L^k) являются интегралами движения в системах с парой Лакса?
Уравнение dL/dt = [B, L] - изоспектральная деформация: собственные значения L сохраняются, а следы tr(L^k) - симметрические функции собственных значений - тоже постоянны.
Связи с другими разделами
Интегрируемые системы лежат на пересечении дифференциальной геометрии, алгебры Ли и математической физики.
- Симплектическая геометрия — Торы Лиувилля - это лагранжевы подмногообразия симплектического пространства
- Алгебра Ли — Пары Лакса используют алгебраические структуры: коммутатор [B, L] - операция в алгебре Ли
- Квантовые группы — Квантовая интегрируемость (Bethe Ansatz) обобщает классические пары Лакса на операторный уровень
Ключевые результаты
- Интегрируемость по Лиувиллю: n интегралов в инволюции, движение на торах T^n
- Переменные действие-угол: гамильтонов поток - равномерное вращение с частотами ω_i = ∂H/∂J_i
- Солитоны КдФ: локализованные нелинейные волны, сохраняющие форму при столкновениях
- Метод обратного рассеяния: нелинейная эволюция → линейная задача рассеяния
- Пары Лакса: dL/dt = [B,L] порождают бесконечные семейства интегралов через tr(L^k)