Дифференциальная геометрия
Симплектическая геометрия
Классическая механика полностью описывается симплектической формой: объём фазового пространства сохраняется (теорема Лиувилля), траектории - гамильтоновы потоки. Это не просто красивая математика: симплектические интеграторы сохраняют энергию в молекулярной динамике миллионы шагов без накопления ошибки.
- Молекулярная динамика: интегратор Вeрле сохраняет симплектическую структуру
- Небесная механика: долгосрочное орбитальное моделирование (n-тело)
- Плазменная физика: движение заряженных частиц в магнитном поле
- Квантовая механика: скобка Пуассона $\{q,p\}=1$ - прообраз коммутатора $[\hat{q},\hat{p}]=i\hbar$
- ML-оптимизация: методы Гамильтона (HMC) для байесовского семплирования
Цели урока
- Понимать симплектическую форму $\omega = \sum dp_i \wedge dq^i$ и теорему Дарбу о локальных координатах
- Строить гамильтонов поток и доказывать сохранение $\omega$ (теорема Лиувилля)
- Вычислять скобки Пуассона и понимать их связь с законами сохранения
Предварительные знания
- Дифференциальные формы и внешнее произведение
- Уравнения Гамильтона: $\dot{q} = \partial H/\partial p$, $\dot{p} = -\partial H/\partial q$
- Потоки векторных полей на многообразиях
Симплектическая форма и теорема Дарбу
Симплектическое многообразие $(M, \omega)$: $\omega$ - замкнутая ($d\omega = 0$) невырожденная 2-форма. Стандартный пример: $\omega = \sum_{i=1}^n dp_i \wedge dq^i$ на $T^*Q$. Теорема Дарбу: локально любое симплектическое многообразие симплектоморфно $\mathbb{R}^{2n}$ с канонической формой. Следствие: у симплектической геометрии нет локальных инвариантов (в отличие от римановой).
Скобки Пуассона и законы сохранения
Скобка Пуассона: $\{f, g\} = \omega(X_f, X_g) = \sum_i \left(\frac{\partial f}{\partial q^i}\frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i}\frac{\partial g}{\partial q^i}\right)$. Величина $f$ сохраняется вдоль гамильтонова потока $\Leftrightarrow \{f, H\} = 0$. Скобка Пуассона - алгебра Ли относительно $\{\cdot, \cdot\}$.
Симплектическая форма: геометрия фазового пространства
Гамильтонова механика - основа молекулярной динамики, используемой в AlphaFold 2 для расчёта динамики белков и разработки лекарств в DeepMind. Симплектический интегратор Верле сохраняет объём фазового пространства точно - это не погрешность округления, это геометрия.
Ключевое отличие от риманновой геометрии: риманова метрика симметрична g(u,v) = g(v,u), измеряет длины. Симплектическая форма кососимметрична omega(u,v) = -omega(v,u), измеряет площади. Нет понятия расстояния или угла - только ориентированная площадь.
Почему симплектические многообразия имеют чётную размерность?
Симплектическая 2-форма невырождена по определению. Кососимметричная матрица нечётного порядка всегда имеет det=0 (вырождена), поэтому невырожденная симплектическая форма возможна лишь в чётных размерностях.
Теорема Дарбу: симплектическая геометрия локально плоская
Теорема Дарбу: вблизи любой точки симплектического многообразия существуют координаты (q^1,...,q^n, p_1,...,p_n) такие, что omega = sum dp_i ∧ dq^i. Это означает: симплектическая геометрия не имеет локальных инвариантов. В отличие от риманновой, где кривизна - локальный инвариант!
Следствие: все симплектические многообразия одной размерности локально диффеоморфны. Нет «симплектической кривизны» - все глобальные инварианты топологические (число Черна, группы Флоера). Это делает симплектическую геометрию принципиально другой дисциплиной.
| Геометрия | Тип формы | Локальные инварианты | Главный результат |
|---|---|---|---|
| Риманнова | g: симметричная | Кривизна Римана, секционная кривизна | Нет аналога теоремы Дарбу |
| Симплектическая | omega: кососимметричная | Нет локальных инвариантов | Теорема Дарбу: локально = R^2n |
| Контактная | alpha: 1-форма | Нет локальных инвариантов | Теорема Дарбу для нечётных многообразий |
В чём принципиальное отличие теоремы Дарбу от аналогичных результатов в риманновой геометрии?
В риманновой геометрии тензор кривизны Римана - нетривиальный локальный инвариант. Теорема Дарбу утверждает, что симплектических локальных инвариантов нет: любое симплектическое 2n-мерное многообразие локально диффеоморфно стандартному (R^{2n}, sum dp_i^dq_i).
Гамильтоново поле и теорема Лиувилля
Функция H: M -> R (гамильтониан) порождает векторное поле X_H через уравнение i_{X_H} omega = dH. В канонических координатах это классические уравнения Гамильтона. Поток X_H сохраняет omega (и значит объём) - теорема Лиувилля. Именно это делает симплектические интеграторы точными в молекулярной динамике.
GROMACS и AMBER (MD-пакеты для AlphaFold-MD) используют velocity Verlet как стандарт. RK4 не сохраняет симплектическую структуру - энергия дрейфует со временем. В симуляции 100 ns белка это критично.
Что физически означает теорема Лиувилля для молекулярной динамики?
Теорема Лиувилля: гамильтонов поток сохраняет фазовый объём. Для молекулярной динамики плотность состояний в пространстве (q,p) не меняется. Симплектические методы (Verlet) сохраняют это свойство, избегая энергетического дрейфа.
Скобка Пуассона и законы сохранения
Скобка Пуассона {f,g} = omega(X_f, X_g) превращает гладкие функции в алгебру Ли. Функция F - интеграл движения тогда и только тогда, когда {F,H} = 0. Теорема Лиувилля-Арнольда: при n инволютивных интегралах движения система полностью интегрируема - движение на торах T^n.
Квантование: {f,g}_Poisson -> [F_hat, G_hat]/(i*hbar). Симплектическая форма -> квантовый коммутатор. [q_hat, p_hat] = i*hbar - канонические коммутационные соотношения - это квантовый аналог {q,p}=1.
Что означает {F, H} = 0 для функции F?
Скобка Пуассона {F,H} - полная производная F по времени вдоль гамильтоновых траекторий: dF/dt = {F,H}. Если {F,H}=0, то F не меняется в процессе движения - это первый интеграл (закон сохранения).
Гамильтонов поток и теорема Лиувилля
Для гамильтониана $H$: векторное поле $X_H$ определяется из $\omega(X_H, \cdot) = dH$. Поток $\varphi_t$ сохраняет $\omega$: $\varphi_t^* \omega = \omega$ (лемма Картана). Следствие (Лиувилль): $\varphi_t^* (\omega^n) = \omega^n$ - фазовый объём сохраняется.
Итоги
- Симплектическая форма $\omega = \sum dp_i \wedge dq^i$: замкнутая, невырожденная; теорема Дарбу - нет локальных инвариантов
- Гамильтонов поток сохраняет $\omega$ (Картан) и фазовый объём $\omega^n$ (Лиувилль)
- Скобка Пуассона $\{f,H\}=0 \Leftrightarrow f$ - первый интеграл движения
Связь с другими темами
Симплектическая геометрия - основа гамильтоновых методов в ML: NUTS/HMC для байесовского вывода используют гамильтонову динамику для эффективного семплирования из апостериорных распределений. Деформационное квантование заменяет скобки Пуассона коммутаторами операторов.
- Связанные темы — развивает
Вопросы для размышления
- Теорема Дарбу говорит об отсутствии локальных симплектических инвариантов. Какие глобальные инварианты существуют?
- Симплектический интегратор (Вeрле, leapfrog) сохраняет $\omega$ точно. Что происходит с энергией? Она тоже сохраняется?
- Теорема Нётер: каждой непрерывной симметрии гамильтониана соответствует первый интеграл. Как это выражается через скобки Пуассона?