Инварианты Пуанкаре-Картана: что сохраняет фазовый поток

Когда система движется по фазовому пространству, координаты и импульсы непрерывно меняются, но некоторые геометрические величины при этом остаются неизменными. Именно их Анри Пуанкаре и Эли Картан выделили как глубинную структуру гамильтоновой динамики. Интегральный инвариант Пуанкаре говорит, что сумма площадей проекций замкнутого контура на плоскости координата-импульс сохраняется во времени, а форма Картана объединяет это утверждение с энергией в единый объект на расширенном фазовом пространстве. Разберём, что это за интегралы, почему они инвариантны и как из них вырастают теорема Лиувилля и канонические преобразования.

Ниже соберите конкретный вопрос по теме - вывод инварианта, проверка каноничности преобразования или связь с теоремой Лиувилля - и получите разбор по шагам.

Что такое интегральный инвариант Пуанкаре

Рассмотрим фазовое пространство гамильтоновой системы с координатами $q_i$ и импульсами $p_i$. Возьмём замкнутый контур $\gamma$ в этом пространстве в некоторый момент времени. Каждая точка контура движется по своей фазовой траектории, и через время $t$ контур переходит в новый замкнутый контур $\gamma_t$.

Интегральный инвариант Пуанкаре первого порядка утверждает, что интеграл

$$I_1 = \oint_{\gamma} \sum_i p_i \, dq_i$$

не меняется при таком переносе контура вдоль траекторий:

$$\oint_{\gamma} \sum_i p_i \, dq_i = \oint_{\gamma_t} \sum_i p_i \, dq_i.$$

По теореме Стокса этот циркуляционный интеграл равен потоку 2-формы $\sum_i dp_i \wedge dq_i$ через поверхность, натянутую на контур. Поэтому инвариантность $I_1$ - это инвариантность суммы ориентированных площадей проекций на плоскости $(q_i, p_i)$. Геометрически фазовый поток искажает форму контура, но суммарную «закрученную площадь» сохраняет.

Важно подчеркнуть, что речь идёт именно о сумме по всем парам координата-импульс. Если система имеет несколько степеней свободы, площадь проекции на одну плоскость $(q_1, p_1)$ по отдельности может меняться, но их общая сумма остаётся постоянной. Это и делает инвариант глобальной характеристикой движения, а не свойством одной пары переменных. На одной степени свободы картина наглядна: трубка фазовых траекторий ведёт себя как несжимаемая жидкость в плоскости, и её сечение хранит площадь.

Рассчитать для своей задачи

Форма Картана на расширенном фазовом пространстве

Картан предложил смотреть на ту же конструкцию шире, добавив к фазовым переменным время $t$ и энергию через гамильтониан $H$. Возникает дифференциальная 1-форма, которую называют формой Пуанкаре-Картана:

$$\theta = \sum_i p_i \, dq_i - H \, dt.$$

Эта форма живёт на расширенном фазовом пространстве размерности $2n+1$ с координатами $(q_i, p_i, t)$. Член $-H\,dt$ - это вклад энергии: он связывает геометрию траекторий с динамикой во времени. Если ограничить $\theta$ на фиксированный момент $t = \text{const}$, член с $dt$ обнуляется и остаётся ровно подынтегральное выражение инварианта Пуанкаре $\sum_i p_i\,dq_i$.

Ключевое свойство: интеграл формы Картана по замкнутому контуру в расширенном пространстве инвариантен, если контур охватывает одну и ту же трубку фазовых траекторий. Это утверждение объединяет сохранение площади и закон движения в одну геометрическую теорему.

Преимущество подхода Картана в том, что он не требует выделять время как особый параметр. Координаты, импульсы и время входят в форму на равных правах, а сами уравнения движения оказываются записаны через геометрию формы $\theta$, а не через конкретный выбор переменных. Это и есть та инвариантная формулировка, которая позже легла в основу симплектической геометрии: динамика перестаёт зависеть от системы координат и становится свойством самого пространства состояний.

Почему интеграл инвариантен

Инвариантность формы Картана - не случайность, а прямое следствие уравнений Гамильтона. Внешний дифференциал формы $\theta$ даёт замкнутую 2-форму

$$\omega = d\theta = \sum_i dp_i \wedge dq_i - dH \wedge dt.$$

Фазовый поток гамильтоновой системы - это движение вдоль векторного поля, заданного уравнениями

$$\dot q_i = \frac{\partial H}{\partial p_i}, \qquad \dot p_i = -\frac{\partial H}{\partial q_i}.$$

Можно показать, что производная Ли формы $\omega$ вдоль этого поля равна нулю: поток сохраняет 2-форму $\omega$. А раз сохраняется $\omega = d\theta$, то по теореме Стокса сохраняется и циркуляция $\theta$ по любому замкнутому контуру, переносимому потоком. Именно поэтому уравнения Гамильтона часто записывают компактно через эту 2-форму - она и есть та геометрическая структура, относительно которой динамика инвариантна.

Рассчитать для своей задачи

Связь с теоремой Лиувилля

Инвариант Пуанкаре первого порядка - лишь начало последовательности. Беря внешние степени 2-формы $\omega$, получаем инварианты высших порядков: интегралы по $2k$-мерным циклам от $\omega^k$ тоже сохраняются. Старший инвариант - это интеграл от $\omega^n$, пропорциональный фазовому объёму:

$$\int \prod_i dq_i \, dp_i = \text{const}.$$

Это и есть теорема Лиувилля: фазовый объём, занятый ансамблем систем, не меняется со временем. Таким образом теорема Лиувилля - частный, старший случай инвариантов Пуанкаре-Картана. Сохранение площади (первый порядок) влечёт сохранение объёма (n-й порядок), потому что объём строится как внешняя степень той же симплектической формы. Подробнее о том, как этот же принцип записывается для плотности ансамбля систем, - в разборе уравнения Лиувилля.

Канонические преобразования и инварианты

Форма Картана даёт удобный критерий каноничности преобразования. Преобразование $(q, p) \to (Q, P)$ называется каноническим, если оно сохраняет вид уравнений Гамильтона. На языке форм это означает, что разность старой и новой форм Картана является полным дифференциалом некоторой функции $F$:

$$\sum_i p_i \, dq_i - \sum_i P_i \, dQ_i = dF.$$

Функция $F$ - это производящая функция канонического преобразования. Поскольку прибавление полного дифференциала не меняет интеграл по замкнутому контуру, инвариант Пуанкаре остаётся тем же в новых переменных. Иными словами, каноничность - это в точности сохранение интегрального инварианта. Это даёт практический способ проверять преобразование: достаточно убедиться, что $\sum p\,dq - \sum P\,dQ$ - точная форма.

Историческое и физическое значение

Пуанкаре ввёл интегральные инварианты в трёхтомнике «Новые методы небесной механики» (1890-е) при изучении устойчивости орбит. Картан в работах по дифференциальным формам придал им современную геометрическую формулировку, превратив гамильтонову механику в раздел дифференциальной геометрии - теорию симплектических многообразий. Сегодня инварианты Пуанкаре-Картана лежат в основе геометрической механики, теории интегрируемых систем и квазиклассического приближения в квантовой механике, где условие Бора-Зоммерфельда формулируется как квантование того же интеграла $\oint p\,dq$.

Рассчитать для своей задачи

Частые ошибки

• Путают инвариант с сохранением энергии. Инвариант Пуанкаре сохраняется даже в системах с явно зависящим от времени гамильтонианом, где энергия не сохраняется. Сохраняется именно интеграл $\oint p\,dq$, а не $H$.
• Считают, что сохраняется форма контура. Поток искажает контур как угодно; неизменна только суммарная ориентированная площадь его проекций, а не геометрия.
• Смешивают инвариант первого порядка и теорему Лиувилля. Это разные порядки одной иерархии: площадь сохраняется всегда, объём - её старшее следствие через внешнюю степень.
• Забывают член $-H\,dt$ в форме Картана. Без него форма перестаёт быть инвариантной на расширенном пространстве и теряет связь с динамикой во времени.
• Проверяют каноничность только через матрицу Якоби. Критерий через точность формы $\sum p\,dq - \sum P\,dQ$ часто короче и нагляднее.

FAQ

Чем интегральный инвариант Пуанкаре отличается от инварианта Пуанкаре-Картана? Инвариант Пуанкаре $\oint \sum p_i\,dq_i$ берётся на фиксированном моменте времени в обычном фазовом пространстве. Инвариант Пуанкаре-Картана $\oint(\sum p_i\,dq_i - H\,dt)$ включает член с энергией и живёт на расширенном пространстве с осью времени. Второй - обобщение первого, объединяющее геометрию и динамику.

Как инварианты связаны с теоремой Лиувилля? Теорема Лиувилля о сохранении фазового объёма - это старший инвариант иерархии: интеграл от $n$-й внешней степени симплектической формы $\omega$. Инвариант первого порядка (площадь) и теорема Лиувилля (объём) - звенья одной цепочки, построенной на степенях $\omega$.

Зачем форма Картана нужна для канонических преобразований? Она даёт прямой критерий: преобразование канонично тогда и только тогда, когда разность форм $\sum p\,dq - \sum P\,dQ$ является полным дифференциалом производящей функции. Это часто проще проверки скобок Пуассона или якобиана и сразу выдаёт производящую функцию.

Коротко

Инварианты Пуанкаре-Картана - это интегралы, сохраняющиеся при движении гамильтоновой системы: интеграл $\oint \sum p_i\,dq_i$ хранит суммарную площадь фазовых проекций, а форма $\sum p_i\,dq_i - H\,dt$ объединяет эту площадь с энергией на расширенном пространстве. Их инвариантность следует из уравнений Гамильтона через сохранение симплектической 2-формы, старший случай даёт теорему Лиувилля о сохранении фазового объёма, а критерий точности разности форм определяет канонические преобразования. Это геометрический каркас всей гамильтоновой механики.