Участник:Isbur/Теоретическая механика III/Билеты/Интегральный инвариант Пуанкаре

Лемма об аннуляторе канонической 2-формы. Интегральный инвариант Пуанкаре-Картана. Интегральный инвариант Пуанкаре. Инвариантность канонической 2-формы при сдвиге по траекториям.

Пусть $(q,p)$ — канонические координаты на фазовом пространстве $ℳ$ гамильтоновой системы. Уравнения Гамильтона задаются в расширенном фазовом пространстве $\widehat{ℳ}=ℳ\times ℝ$ в координатах $(q,p,t)$ векторным полем

${\widehat{𝐯}}_{𝑯}=({𝑯}_{𝐩},-{𝑯}_{𝐪},\mathrm{𝟏})$

где для краткости введены обозначения $H_{𝐩}=\partial H/\partial 𝐩,H_{𝐪}=\partial H/\partial 𝐪$.

Рассмотрим дифференциальную 1-форму $\lambda =𝐩d𝐪-Hdt$ на $\widehat{ℳ}$. Её дифференциал $d\lambda$ является 2-формой, а значит, билинейной кососимметрической функцией на касательном пространстве $T_{𝐱}\widehat{ℳ}$ в любой точке $𝐱\in \widehat{ℳ}$. Ненулевой вектор $𝐯\in T_{𝐱}\widehat{ℳ}$ называется аннулятором формы $d\lambda$, если для любого вектора $𝐮\in T_{𝐱}\widehat{ℳ}$имеем $d\lambda (𝐮,𝐯)=0$. Инвариантный смысл гамильтонова векторного поля дает следующая

Лемма. Векторное поле ${\widehat{𝐯}}_{𝑯}$ является аннулятором 2- формы $d\lambda$.

Доказательство. Положим $𝐮=(𝐚,𝐛,c)$, где $𝐚,𝐛\in {ℝ}^n$ и $c\in ℝ$ — компоненты, соответствующие координатам $q,p$ и $t$ соответственно. Так как $d𝝀=d𝐩\wedge d𝐪-dH\wedge dt$, по формуле из курса дифференциальной геометрии получим

$\begin{array}{cc}d\lambda (𝐮,{\widehat{𝐯}}_H)& =𝐛H_{𝐩}-𝐚(-H_{𝐪})-(H_{𝐪}𝐚+H_{𝐩}𝐛+H_{t}c)\cdot 1+\\ & +(H_{𝐪}{H}_{𝐩}+H_{𝐩}(-H_{𝐪})+H_t\cdot \mathrm{𝟏})\cdot c=0\end{array}$

(произведения векторов в этом равенстве понимаются как скалярные).

Лемма об аннуляторе показывает, что гамильтонова система полностью задается дифференциальной 2-формой Пуанкаре— Картана на расширенном фазовом пространстве. Поскольку дифференциальные формы имеют инвариантный смысл, независимо от выбора координат, гамильтоновы системы имеют инвариантный смысл.

Выведем из леммы об аннуляторе теорему об интегральном инварианте Пуанкаре—Картана. Пусть ${\gamma }_0$ — ориентированная замкнутая кривая в $ℳ$. Выпустив из каждой точки ${\gamma }_0$ траекторию уравнений Гамильтона, получим двумерную поверхность $\Sigma$, называемую трубкой траекторий.

Предложение. Пусть ${\gamma }_0$ — ориентированная замкнутая кривая в $ℳ$, а $\gamma$ — кривая, полученная из ${\gamma }_0$ в результате непрерывной деформации вдоль трубки траекторий. Тогда

${\int }_{{\gamma }_0}\lambda ={\int }_{\gamma }\lambda$

Доказательство. Действительно, обозначим через ${\Sigma }_0$ учатсток боковой поверхности трубки между кривыми ${\gamma }_0$ и $\gamma$. Выберем на ${\Sigma }_0$ ориентацию так, чтобы край $\partial {\Sigma }_0$дЕо с учетом ориентации имел вид $\partial {\Sigma }_0=\left\{{\gamma }_0\right\}\cup \{-\gamma \}$. По формуле Стокса ${\int }_{{\mathrm{\gamma }}_0}\lambda -{\int }_{𝜸}\lambda ={\int }_{{\Sigma }_0}d\lambda$. Трубка траекторий двумерна, причем в любой точке касательная плоскость к ней содержит аннулятор ${\widehat{𝐯}}_H$ формы $d\lambda$. Поэтому ограничение $d{\lambda |}_{{\Sigma }_0}$ равно нулю.

Переформулируем предложение в терминах фазового потока ${\phi }^{\tau }:\widehat{ℳ}\to \widehat{ℳ}$ в расширенном фазовом пространстве: для любой замкнутой кривой ${\gamma }_0$ в расширенном фазовом пространстве и любого $\tau$

${\int }_{{\phi }^T{\gamma }_0}\lambda ={\int }_{{{\rm Y}}_0}\lambda$

Если кривая ${\gamma }_0$ лежит в гиперплоскости $t=t_0$,то

${\int }_{\gamma }\lambda ={\int }_{{\mathrm{\gamma }}_0}𝐩d𝐪$

Кривая ${\gamma }_1={\phi }^{\tau }{\gamma }_0$ лежит в гиперплоскости $t=t_1=t_0+\tau$. Получена следующая

Теорема. (теорема Пуанкаре) Для любой замкнутой кривой в гиперплоскости $t=t_0$

${\int }_{{\phi }^T{\gamma }_0}𝐩d𝐪={\int }_{{𝜸}_0}𝐩d𝐪$

Выражение ${\int }_{{𝜸}_0}𝐩d𝐪$ называется относительным интегральным инвариантом Пуанкаре.

Рассмотрим теперь дифференциальную 2-форму

$\omega =d𝐩\wedge d𝐪=\sum d{p}_i\wedge d{p}_i$

Легко видеть, что $\omega =d(𝐩d𝐪)$, где $d$ — внешний дифференциал.

Теорема. (теорема Пуанкаре) Для любой двумерной ориентированной поверхности $\Sigma \subset ℳ\times \left\{t_0\right\}$

${\iint }_{\Sigma }d𝐩\wedge d𝐪={\iint }_{{\Phi }^{\tau }(\Sigma )}d𝐩\wedge d𝐪$

Это выражение называется абсолютным интегральным инвариантом Пуанкаре (в относительном интегральном инварианте интегрирование ведется по многообразию без границы, а в абсолютном — по любому многообразию).

Доказательство. Границей двумерной поверхности $\Sigma$ является замкнутая кривая $\gamma =\partial \Sigma$. Аналогично ${\phi }^{\mathrm{\top }}(\gamma )=\partial {\phi }^{\tau }(\Sigma )$. По формуле Стокса

${\int }_{\Sigma }\omega ={\int }_r𝐩d𝐪,{\int }_{{\phi }^r(\Sigma )}\omega ={\int }_{{\phi }^{\tau }(\gamma )}𝐩d𝐪$,

так что эта теорема вытекает из предыдущей.

Часто бывает удобно вместо расширенного фазового пространства $\widetilde{ℳ}=ℳ\times ℝ$ рассматривать обычное фазовое пространство $ℳ$. Формы $𝐩d𝐪$ и $d𝐩\wedge d𝐪$ можно отождествить с дифференциальными формами на $ℳ$. Фазовый поток ${\phi }^{\tau }:\widehat{ℳ}\to \widehat{ℳ}$ определяет семейство отображений $g_{t_0}^{t_1}:ℳ\to ℳ$ за время от $t_0$ до $t_1$:

${\phi }^{t_1-t_0}(𝐪,𝐩,t_0)=(g_{t_0}^{t_1}(𝐩,𝐪),t_1)$

Тогда теоремы Пуанкаре принимают вид

${\int }_{g_{t_0}^{t_1}(\gamma )}𝐩d𝐪={\int }_{𝐘}𝐩d𝐪,{\int }_{g_{t_0}^{t_1}(\Sigma )}d𝐩\wedge d𝐪={\int }_{𝜮}d𝐩\wedge d𝐪$

для любой замкнутой ориентированной кривой $\gamma$ и двумерной ориентированной поверхности $\Sigma$ в фазовом пространстве.

Прообразом дифференциальной $k$-формы $\omega$ на гладком многообразии (или области в евклидовом пространстве) $N$ при гладком отображении $f:M\to N$ называется $k$-форма $f^{\ast }\omega$ на $M$, такая, что для любой $k$-мерной ориентированной поверхности $\Sigma$ в $M$

${\int }_{f(\Sigma )}\omega ={\int }_{\Sigma }{f}^{\ast }\omega$

Предложение. Сдвиг $f=g_{t_0}^{t_1}:ℳ\to ℳ$ вдоль траекторий гамильтоновой системы сохраняет 2-форму $\omega =d𝐩\wedge d𝐪$ на фазовом пространстве: $f^{\ast }\omega =\omega$.

Доказательство. Для любой двумерной ориентированной поверхности $\Sigma$ в фазовом пространстве

${\int }_{\Sigma }{f}^{\ast }\omega ={\int }_{f(\Sigma )}\omega ={\int }_{\Sigma }\omega$

Поскольку $\Sigma$ произвольна, $f^{\ast }\omega =\omega$.

Точно так же доказывается следующее

Предложение. Фазовый поток ${\phi }^{\tau }:\widehat{ℳ}\to \widehat{ℳ}$ в расширенном фазовом пространстве сохраняет 2-форму $d\lambda =d(𝐩d𝐪-Hdt)=d𝐩\wedge d𝐪-dH\wedge dt$.

Итак, получается, что для любого $k$ форма ${\omega }^k=\underset{k}{\underbrace{\omega \wedge \cdots \wedge \omega }}$ инвариантна относительно отображений $f=g_{t_0}^{t_1}$, т. е. является интегральным инвариантом гамильтоновой системы:

$f^{\ast }{\omega }^k={\omega }^k$ или ${\int }_{\Sigma }{\omega }^k={\int }_{f(\Sigma )}{\omega }^k$

для любой ориентированной $2k$-мерной поверхности $\Sigma \subset ℳ$.