Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Напомним, что наличие симметрии приводит к существованию у гамиль тоновой системы интегралов движения. Это дает возможность редуцирс вать систему – свести ее к системе с меньшим числом стененей свободь В этом разделе мы покажем, следуя $[243,1,40,25]$, как это можно сделатı Хорошо известный пример (см., например, [25]) – это гамильтонов система, инвариантная относительно группы $G=\mathrm{SO}(3)$ – группы вращени трехмерного пространства: Гамильтониан $H$ и форма $\omega$ инвариантны относительно действия группы $G=\mathrm{SO}(3)$ : Отсюда находим интегралы движения – компоненты вектора момента количества движения Поскольку мы имеем три интеграла, то можно было бы ожидать, что с их помощью можно уменьшить размерность фазового пространства на шесть единиц. Однако эти интегралы не находятся в инволюции, и потому удается уменьшить размерность лишь на четыре единицы. Рассмотрим подмногообразие $\tilde{M}_{l}$ с фиксированным значением момента количества движения $l$. При этом без ограничения общности мы можем считать, что вектор $l$ направлен по оси $x_{3}: l=\lambda l_{3}, l_{3}=(0,0,1), \lambda>0$. Подмногообразие $\widetilde{M}_{l}$ определяется уравнениями Из уравнений (1.7.4) и (1.7.5) следует, что $q_{3}=0, p_{3}=0$, и, следовательно, задача сводится к задаче с двумя степенями свободы ( $q_{1}, p_{1}, q_{2}, p_{2}$ ) сополнительным условием (1.7.6). Но эта задача обладает дополнительной инвариантностью относительно вращений в плоскости $\left(q_{1}, q_{2}\right.$ ). Удобно поэтому перейти с помощью канонического преобразования к полярным координатам $r, \varphi, p_{r}, p_{\varphi}$ : после чего условие (1.7.6) принимает вид Таким образом, $p_{\varphi}$ есть интеграл движения, а гамильтониан $H$ не зависит от $\varphi$. а зависимость $\varphi$ от времени можно найти из уравнения Можно осуществить эту редукцию и несколько иным способом. Разложим вектор импульса $\mathbf{p}$ на вектор, перпендикулярный $\mathbf{p}_{r}$ к орбите группы вращений в координатном пространстве, и вектор, касательный $\mathbf{p}_{t}$ к этой орбите : Из уравнения (1.7.6) тогда следуют и выражение (1.7.9) для редуцированного гамильтониана. Потребуем теперь, чтобы $c$ было регулярным значением момента, т.е. чтобы дифференциал отображения $\mu$ в каждой точке множества $\widetilde{M}_{c}$ отображал касательное пространство к $M$ на все касательное пространство к $\mathscr{G}^{*}$, либо чтобы $\widetilde{M}_{c}$ было пусто (по теореме Сарда [12] это условие выполняется для почти всех значений $c$ ). Тогда $\tilde{M}_{c}$ является многообразием. *) Эти условия можно несколько ослабить, например вместо компактности $G_{c}$ потребовать, чтобы действие $G_{c}$ на $\tilde{M}_{c}$ было собственным. Однако некоторые условия на $G_{c}$ всегда необходимо наложить. ранство $\widetilde{M}_{c}$ относительно действия группы $G_{c}$ разбивается на орбиты. Пространство орбит $M_{c}=\widetilde{M}_{c} / G_{c}$ при этом также будет многообразием. Это пространство $M_{c}$ и называют приведенным фазовым пространством. Можно показать $[1,40]$, что на пространстве $M_{c}$ имеется естественная симплектическая структура, т.е. оно является симплектическим многообразием, и, более того, построеннсе нами отображение является отображением симплектических многообразий. Теорема 1.7.1 $[1,40]$. Приведенное поле на приведенном фазовом пространстве гамильтоново. Значение функции Гамильтона приведенного поля в какой-либо точке приведенного фазового пространства равно значению исходной функции Гамильтона в соответствующей точке исходного фазового пространства. напомним, что $c$ – регулярное значение отображения момента. Это действие группы гамильтоново с гамильтонианом $H=\frac{1}{2}|q|^{2}$. Подмногообразие $\widetilde{M}_{c}$ выделяется условием $H=c$ и при $c>0$ имеет вид $S^{n-1} \mathrm{X}$ $\times \mathbb{R}^{n}$, где $S^{n-1}{ }^{c}-$ единичная сфера в $\mathbb{R}^{n}$. Группа $G_{c}$ совпадает с $G$. Для описания $M_{c}=\tilde{M}_{c} / G_{c}$ выберем в качестве начальной $(s=0)$ точку на прямой $(p-s q, q)$ с минимальным расстоянием от начала координат, т.е. положим $(p, q)=0$. При этом инвариантный относительно рассмотренного выше действия группы $G$. Уравнения движения для этой системы при ограничении на $T^{*} S^{n-1}$ переходят в (при $c=1 / 2$ ) где $T^{*} G$ отождествляется с $G \times \mathscr{G}^{*}$ при помощи левых сдвигов. Следовательно, $\tilde{M}_{c} \sim G$ и $M_{c} \sim \mathcal{O}_{c}$ – орбите точки $c$ в $\mathscr{G}^{*}$. Действительно, $M_{c}$ симплектически диффеоморфно $\mathcal{O}_{c}$, что проще всего увидеть с помощью отображения момента для левых сдвигов
|
1 |
Оглавление
|