Главная > ОБШАЯ ТЕОРИЯ ВИХРЕЙ (В.В.Козлов)
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

$1^{\circ}$. Ключевую роль в гамильтоновой механике играют скобки Пуассона. Они уже упоминались в гл. I в связи с динамикой точечных вихрей. Мы напомним их определение и основные свойства, а также докажем ряд утверждений, которые будут использованы в дальнейшем.

Каждой упорядоченной паре гладких функций $f$ и $g$ на фазовом пространстве $M^{2 n}$ ставится в соответствие функция
\[
\{f, g\}=\sum_{i=1}^{n}\left(\frac{\partial f}{\partial x_{i}} \frac{\partial g}{\partial y_{i}}-\frac{\partial f}{\partial y_{i}} \frac{\partial g}{\partial x_{i}}\right),
\]

которая называется скобкой Пуассона функций $f$ и $g$. Производная по времени функции $F(x, y, t)$ в силу гамильтоновой системы с гамильтонианом $H$, очевидно, равна
\[
\frac{\partial F}{\partial t}+\{F, H\}
\]

Следовательно, сами канонические уравнения можно переписать в следующем виде:
\[
\dot{x}_{i}=\left\{x_{i}, H\right\}, \quad \dot{y}_{i}=\left\{y_{i}, H\right\} ; \quad 1 \leq i \leq n .
\]

Эти соотношения показывают особую роль скобки Пуассона в теории гамильтоновых систем.

Скобка Пуассона удовлетворяет следующим свойствам:
(1) $\{f, g\}=-\{g, f\}$ (кососимметричность);
(2) $\left\{c_{1} f_{1}+c_{2} f_{2}, g\right\}=c_{1}\{f, g\}+c_{2}\left\{f_{2}, g\right\}$, где $c_{1}, c_{2}$ – вещественные числа (билинейность);
(3) $\{\{f, g\}, h\}+\{\{g, h\}, f\}+\{\{h, f\}, g\}=0$ (тождество Якоби);
(4) $\{f g, h\}=f\{g, h\}+g\{f, h\}$ (правило Лейбница);
(5) если $\{f, g\}=0$ для всех функций $g$, то $f=$ const (невырожденность).
Множество всех гладких функций на фазовом пространстве $C^{\infty} \mathrm{c}$ обычными правилами сложения и умножения на числа образует бесконечномерное линейное пространство. Согласно (1),(2) и (3), операция «внутреннего умножения» $\{\cdot, \cdot\}$ превращает это пространство в алгебру Ли.
Из тождества Якоби вытекает простая, но важная

Теорема 2 (Пуассон). Скобка Пуассона первых интегралов уравнений Гамильтона также является первым интегралом.

Отметим, что скобка двух интегралов может оказаться константой или даже нулем. Из теоремы Пуассона вытекает, что интегралы образуют подалгебру Ли в алгебре Ли всех функций.

Если $\{f, g\}=0$, то говорят, что функции $f$ и $g$ коммутируют или находятся в инволюции. Если к тому же $f$ и $g$ не зависят от $t$, то $f$ интеграл уравнений Гамильтона с гамильтонианом $g$, и наоборот $g$ интеграл уравнений Гамильтона с гамильтонианом $f$. Эта двойственность объясняет термин «инволюция».
$\mathbf{2}^{\circ}$. В качестве важного примера рассмотрим нетеровы интегралы (3.2), которые в канонических переменных имеют следующий вид:
\[
F_{1}=y \cdot w_{1}, \ldots, F_{n}=y \cdot w_{n} .
\]

Предложение 3. Линейные комбинации функций $F_{1}, \ldots, F_{n}$ с операцией коммутирования $\{\cdot, \cdot\}$ порождают $n$-мерную алгебру Ли, изомор $\phi$ ную $\mathrm{g}$.

Доказательство.
Действительно, поскольку алгебра правоинвариантных полей на группе $G$ изоморфна алгебре Ли $g$, то поля $w_{1}, \ldots, w_{n}$ можно выбрать так, чтобы
\[
\left[w_{i}, w_{j}\right]=\sum c_{i j}^{k} w_{k} .
\]

Здесь $c_{i j}^{k}$ – структурные постоянные алгебры $g$.
Нетрудно проверить равенства
\[
\left\{F_{i}, F_{j}\right\}=y \cdot\left[w_{i}, w_{j}\right] .
\]

Ввиду (4.1) и (4.2) получаем
\[
\left\{F_{i}, F_{j}\right\}=\sum c_{i j}^{k} F_{k} .
\]
$3^{\circ}$. Пусть $f_{1}, \ldots, f_{n}$ – функции на фазовом пространстве $M^{2 n}$ (возможно, зависящие от $t$ ), причем
\[
\frac{\partial\left(f_{1}, \ldots, f_{n}\right)}{\partial\left(y_{1}, \ldots, y_{n}\right)}
eq 0 .
\]

Тогда, по теореме о неявных функциях, систему уравнений
\[
f_{1}(x, y, t)=c_{1}, \ldots, f_{n}(x, y, t)=c_{n}
\]

можно разрешить (по крайней мере локально ) относительно импульсов $y$ :
\[
y_{1}=u_{1}(x, t, c), \ldots, y_{n}=u_{n}(x, t, c), \quad c=\left(c_{1}, \ldots, c_{n}\right) .
\]

Введем $n \times n$-матрицу скобок Пуассона
\[
A=\left\|\left\{f_{i}, f_{j}\right\}\right\| .
\]

В выражениях для скобою импульсы следует заменить в соответствии с формулами (4.5).

Лемма 3. $\operatorname{rank}(\operatorname{rot} u)=\operatorname{rank} A$.
Следствие 3. Если функции $f_{1}, \ldots, f_{n}$ находятся в инволюции, то 1-форма
\[
\sum u_{i}(x, t, c) d x_{i}
\]

замкнута при всех значениях $t$ и .

Доказательство леммы 3.
Воспользуемся очевидным фактом, что функции
\[
F_{k}(x, t, c)=f_{k}(x, u(x, t, c), t), \quad 1 \leq k \leq n
\]

тождественно равны $c_{k}$. Следовательно,
\[
\frac{\partial F_{k}}{\partial x_{i}}=\frac{\partial f_{k}}{\partial x_{i}}+\sum \frac{\partial f_{k}}{\partial y_{j}} \frac{\partial u_{j}}{\partial x_{i}}=0, \quad \frac{\partial F_{s}}{\partial x_{i}}=\frac{\partial f_{s}}{\partial x_{s}}+\sum \frac{\partial f_{s}}{\partial y_{j}} \frac{\partial u_{j}}{\partial x_{i}}=0 .
\]
суммируем по индексу $i$. В результате придем к соотношениям
\[
\left\{f_{k}, f_{s}\right\}+\sum_{i, j} \frac{\partial f_{k}}{\partial y_{j}} \frac{\partial f_{s}}{\partial y_{i}}\left(\frac{\partial u_{j}}{\partial x_{i}}-\frac{\partial u_{i}}{\partial x_{j}}\right)=0, \quad 1 \leq k, s \leq n .
\]

Введем $n \times n$-матрицу
\[
B=\left\|\frac{\partial f_{i}}{\partial y_{j}}\right\| .
\]

Здесь импульсы также исключены с помощью подстановки (4.5). Согласно предположению, матрица $B$ невырождена.

Совокупность соотношений (4.7) можно представить в матричной форме
\[
A=-B(\operatorname{rot} u) B^{T} .
\]

Как известно, в этом случае ранги матриц $A$ и $\operatorname{rot} u$ совпадают.
$4^{\circ}$. Пусть $\Phi(x, y, t)$ – еще одна функция на фазовом пространстве, коммутирующая с функциями $f_{1}, \ldots, f_{n}$ :
\[
\left\{\Phi, f_{k}\right\}=0, \quad 1 \leq k \leq n .
\]

Ей можно сопоставить гамильтонову систему
\[
\dot{x}=\frac{\partial \Phi}{\partial y}, \quad \dot{y}=-\frac{\partial \Phi}{\partial x} .
\]

Положим
\[
w=\left.\frac{\partial \Phi}{\partial y}\right|_{y=u(x, t, c)} .
\]

Ясно, что $w$ – векторное поле на конфигурационном пространстве.
Лемма 4. Если $\Phi$ – функция от $f_{1}, \ldots, f_{n}$, то $w$ – вихревое поле:
\[
(\operatorname{rot} u) w=0 .
\]

Доказательство.
Из (4.4) и (4.5) вытекают тождества
\[
y_{i} \equiv u_{i}(x, t, f(x, y, t)), \quad 1 \leq i \leq n .
\]

Следовательно,
\[
\sum_{s=1}^{n} \frac{\partial u_{i}}{\partial c_{s}} \frac{\partial f_{s}}{\partial y_{j}}=\delta_{i j}
\]

где $\delta_{i j}$ – символ Кронеккера.
Умножая (4.7) на производные
\[
\frac{\partial u_{p}}{\partial c_{k}}, \frac{\partial u_{q}}{\partial c_{s}},
\]

суммируя по индексам $k, s$ и используя (4.10), приходим к равенствам
\[
\sum_{k, s} \frac{\partial u_{p}}{\partial c_{k}} \frac{\partial u_{q}}{\partial c_{s}}\left\{f_{k}, f_{s}\right\}+\frac{\partial u_{p}}{\partial x_{q}}-\frac{\partial u_{q}}{\partial x_{p}}=0 .
\]

Чтобы проверить справедливость (4.9), умножим полученные соотношения на
\[
w_{p}=\left.\frac{\partial \Phi}{\partial y_{p}}\right|_{y=u(x, t, c)}
\]

и просуммируем по $p$ от 1 до $n$. Нас интересуют значения
\[
\sum_{k s p} \frac{\partial u_{p}}{\partial c_{k}} \frac{\partial \Phi}{\partial y_{p}} \frac{\partial u_{q}}{\partial c_{s}}\left\{f_{k}, f_{s}\right\} .
\]

Согласно предположению, функция
\[
\phi(x, t, c)=\Phi(x, u(x, t, c), t)
\]

зависит лишь от $c_{1}=f_{1}, \ldots, c_{n}=f_{n}$. Поэтому
\[
\sum_{p} \frac{\partial \Phi}{\partial y_{p}} \frac{\partial u_{p}}{\partial c_{k}}=\frac{\partial \phi}{\partial c_{k}} .
\]

Далее, сумма
\[
\sum_{k} \frac{\partial \phi}{\partial c_{k}}\left\{f_{k}, f_{s}\right\}
\]

равна скобке Пуассона $\left\{\Phi, f_{s}\right\}$, которая обращается в нуль согласно предположению.
$\mathbf{5}^{\circ}$. Каждой гладкой функции $f$, заданной в фазовом пространстве, можно поставить в соответствие каноническую систему дифференциальных уравнений с гамильтонианом $f$ :
\[
\dot{x}=\frac{\partial f}{\partial y}, \quad \dot{y}=-\frac{\partial f}{\partial x} .
\]

Порождающее ее векторное поле называется гамильтоновым; обозначим его $v_{f}$.

Пусть $L_{f}$ – оператор дифференцирования вдоль поля $v_{f}$. По определению скобки Пуассона
\[
L_{f} h=\{h, f\} .
\]

Лемма 5. Коммутатор гамильтоновых векторных полей $v_{f}$ и $v_{g}$ гамильтоново поле с гамильтонианом $\{f, g\}$.

Следствие 4. Если $\{f, g\}=0, \operatorname{mo}\left[v_{f}, v_{g}\right]=0$.
Доказательство леммы 5 основано на применении тождества Якоби. Действительно,
\[
\begin{aligned}
\left(L_{g} L_{f}-L_{f} L_{g}\right) h & =L_{g}\{h, f\}-L_{g}\{h, g\}= \\
& =\{\{h, f\}, g\}-\{\{h, g\}, f\}= \\
& =-\{\{f, g\}, h\}=L_{\{f, g\}} .
\end{aligned}
\]

Categories

1
Оглавление
email@scask.ru