Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Чтобы мотивировать введение основных понятий теории гамильтоновых динамических систем, начнем с рассмотрения простейшего примера. Пусть материальная точка (частица) с массой $m$ находится в потенциальном поле $U(q)$, где $q=\left(q^{1}, \ldots, q^{n}\right)$ – вектор $n$-мерного пространства. Тогда движение частицы описывается уравнениями Ньютона где точқа означает дифференцирование по времени. Введем, как обычно, вектор импульса и энергию – функцию Гамильтона, или просто гамильтониан, Тогда уравнения Ньютона (1.1.1) можно перенисать в виде уравнений Гамильтона причем эти уравнения описывают движение системы и в случае произвольной зависимости функции Гамильтона $H(p, q)$ от $p$ и $q$. Уравнения (1.1.3) можно записать в виде одного уравнения. Для этого объединим, прежде всего, векторы $p$ и $q$ в один $2 n$-мерный вектор $x=(p, q)$, величины $\left(\frac{\partial H}{\partial p_{j}} ; \frac{\partial H}{\partial q^{k}}\right)$ – в $2 n$-мерный вектор $ где I – единичная матрица порядка $n$. Тогда уравнения Гамильтона (1.1.3) можно записать в виде Вектор $x=\left(x^{1}, \ldots, x^{2}\right)$ определяет состояние системы. Множество этих векторов образует фазовое пространство системы $M=\{x\}$, которое в данном случае является $2 n$-мерным евклидовым пространством со стандартным скалярным произведением С помощью матрицы $J$ можно определить скобки Пуассона *) в пространстве $\mathscr{F}(M)$ гладких функций на $M$ : Нетрудно видеть, что скобка Пуассона удовлетворяет условиям и, следовательно, определяет на $\mathscr{F}(M)$ структуру алгебры Ли (бесконечномерной!). Отметим, что скобка Пуассона (1.1.7) удовлетворяет также правилу Лейбница и потому полностью определяется заданием скобок Пуассона для базисных величин Уравнения движения (1.1.5) теперь можно переписать в виде который является каноническим видом записи-уравнений движения гамильтоновой системы. Таким образом, гамильтонова система характеризуется тройкой объектов $\{M,\{\},, H(x)\}$ : фазовым пространством $M$, пуассоновой структурой $\{$,$\} и гамильтонианом H(x)$. Векторное поле $X_{H}=\{H, x\}$ назьвается гамильтоновым векторным полем, соответствующим гамильтониану $H$. В рассматриваемом случае матрица $J$ является невырожденной, так что существует обратная матрица определяющая невырожденную кососимметричную билинейную форму на фазовом пространстве: Невырожденная замкнутая 2-форма называется симплектической, а многообразие, снабженное такой формой, – симшлектическим многообразием. Итак, в нашем случае фазовое пространство является симплек тическим многообразием. Предположим теперь, что мы сделали замену координат $y^{j}=f^{j} \cdot\left(x^{k}\right)$, где $f^{j}\left(x^{k}\right)$ – гладкие функции. Если вектор $x(t)$ удовлетворяет уравнениям Гамильтона (1.1.5), то вектор $y(t)=f(x(t))$ удовлетворяет уравнениям где $A$ – матрица вида $A_{j}^{i}=\frac{\partial y^{i}}{\partial x^{j}}$, а $A^{\prime}$ – матрица, транспонированная к $A$. Нетрудно видеть, что уравнения для $y(t)$ будут гамильтоновы в том и только том случае, когда причем новый гамильтониан $\tilde{H}(y)=H(x(y))$. Преобразование, удовлетворяющее условию (1.1.16), называется каноническим. В простейшем случае, когда матрица $A$ не зависит от $x$, множество таких матриц образует группу Ли, называемую вещественной симплектической группой – группой $\left.\operatorname{Sp}(2 n, \mathbb{R})^{*}\right)$. Геометрия фазового пространства, движениями кото- *) Эта группа впервые рассматривалась Абелем. В XIX веке она обычно называлась линейной комплексной группой, поскольку она оставляет инвариантным определенное семейство (линейный комплекс) прямых. Термин \”симплектическая группа\” ввел Г. Вейль [8]. См. по этому поводу статью [306]. рого являются преобразования группы $\mathrm{Sp}(2 n, \mathbb{R})$, называется симплектической геометрией. Она играет важную роль при рассмотрении гамильтоновых систем $[1,3,9,40,62,63,66,279]$. Заметим, что условие (1.1.16) в терминах симплектической формы $\omega$ обычно обозначается как и ознаает, что преобразование $f$ не меняет $\omega$.
|
1 |
Оглавление
|