Динамические системы
Гамильтоновы системы
CERN симулирует траектории 2808 протонных сгустков в LHC, делая 10^11 оборотов. Без гамильтоновой механики и симплектических интеграторов пучок терялся бы за часы.
- **Молекулярная динамика:** сохранение фазового объёма - критерий правильности термостата
- **Ускорители частиц:** симплектические интеграторы сохраняют структуру фазового пространства
- **Квантовая механика:** скобки Пуассона становятся коммутаторами: {q,p} → [Q,P] = iħ
Формализм Гамильтона
CERN использует гамильтонову механику для трекинга 2808 протонных сгустков в LHC: ошибка в симплектическом интеграторе на 1 часть в 10^9 за оборот приводит к потере пучка за 10 часов.
Сколько уравнений первого порядка в формализме Гамильтона для системы с n степенями свободы?
Гамильтонов формализм заменяет n уравнений Лагранжа второго порядка на 2n уравнений первого порядка.
Теорема Лиувилля и скобки Пуассона
IBM использует теорему Лиувилля в молекулярной динамике: при моделировании 10^6 атомов белка объём фазового пространства должен сохраняться - это критерий корректности термостата.
Что утверждает теорема Лиувилля о фазовом потоке гамильтоновой системы?
Теорема Лиувилля: гамильтонов поток сохраняет объём фазового пространства. Это основа статистической механики.
Ключевые результаты
- Гамильтонов формализм: 2n уравнений первого порядка вместо n уравнений второго порядка
- Скобки Пуассона {f,g} - алгебраическая структура, обобщающая коммутатор
- Теорема Лиувилля: гамильтонов поток несжимаем - объём фазового пространства сохраняется
- Применение: симплектические интеграторы в молекулярной динамике и ускорителях