Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Ж. Лиувилль доказал, что если в системе с $n$ степенями свободы известно $n$ первых интегралов в инволюции ${ }^{1}$ : то система интегрируема в квадратурах. Уравнения $F_{i}=f_{i}=$ const, $i=1, \ldots, n$, определяют инвариантные многообразия системы (П26.1). Можно заметить, что во всех примерах инвариантными многообразиями служат торы и что движение на этих торах квазипериодично (см. пример 1.2, гл. 1). Докажем теперь, что такая ситуация неизбежна для всех систем, допускающих однозначные интегралы (П26.2). Доказательство основано на очень простых топологических соображениях. Теорема П26.3. Предположим, что уравнения $F_{i}=f_{i}=$ const, $i=$ $=1, \ldots, n$, определяют компактное связное многообразие $M=M_{f}$, и что 1) всюду на $M \operatorname{grad} F_{i}(i=1, \ldots, n)$ линейно независимы, Тогда 1) $M$ является $п$-мерным тором, и окрестность многообразия $M$ есть прямое произведение тора и евклидова пространства $\mathbb{T}^{n} \times \mathbb{R}^{n}$; и траектория на торе $M$ квазипериодическая, так как $H=F_{1}=$ $=H\left(I_{1}, \ldots, I_{n}\right)$, и уравнения (П26.1) в координатах $I, \varphi$ – это уравнения Гамильтона ${ }^{2}$ с функцией Гамильтона $H(I)$. Обозначения П26.4 где $E$ – единичная матрица $n \times n$. где $(\cdot, \cdot)$ – обычное скалярное произведение. Можно показать, что $[x, y]$ представляет собой сумму площадей проекций параллелограмма со сторонами $x, y$ на плоскости $p_{i} q_{i}(i=1, \ldots, n)$. Линейные преобразования, которые сохраняют кососкалярное произведение называются симплектическими преобразованиями. Например, матрица $I$ задает симплектическое преобразование. Произведение $[\operatorname{grad} F, \operatorname{grad} G]=(F, G)$ называется скобкой Пуассона функций $F$ и $G$. Ясно, что функция $F$ есть первый интеграл системы (П26.5) в том и только том случае, если ее скобка Пуассона с функцией Гамильтона тождественно равна нулю. Если две функции имеют скобку Пуассона, равную нулю, то говорят, что они находятся в инволюции. Конструкция. П26.6 Рассмотрим $n$ векторных полей на $M$ : Эти поля линейно независимы в каждой точке многообразия $M$, так как преобразование $I$ невырождено и $\operatorname{grad} F_{i}$ независимы. Эти поля касательны к $M$, так как их орбиты служат решениями гамильтоновых уравнений с функцией Гамильтона $F_{i}$ (эти уравнения допускают $F_{j}$ в качестве первых интегралов, так как $\left(F_{i}, F_{j}\right)=0$ и каждая траектория лежит в $M$ ). Наконец, поля $\xi_{i}, \xi_{j}$ коммутируют, поскольку их скобка Ли есть не что иное ${ }^{3}$, как поле скоростей гамильтоновой системы с функцией Гамильтона $\left(F_{i}, F_{j}\right)=\mathbf{0}$. Следовательно, $M$ – компактная связная орбита группы $\mathbb{R}^{n}$, действующей транзитивно и дифференцируемым образом; таким образом, доказано, что $M=\mathbb{T}^{n}$. Кроме того, $M$ задано уравнениями $F_{i}=f_{i}=$ const, и поля $\operatorname{grad} F_{i}$ определяют в оюрестности орбиты $M$ структуру прямого произведения. Пусть теперь $\gamma_{i}(f), i=1, \ldots, n$ – некоторый базис 1 -циклов на каждом торе $M_{f}: F=f$, расположенном в окрестности орбиты $M$. Рассмотрим интегралы действия Так как $\operatorname{det}\left|\frac{\partial I_{i}}{\partial f_{j}}\right| (в окрестности орбиты $M$ ) и определить тор $M(I)=M_{f(I)}$, соответствующий заданным значениям $I$. где путь интегрирования – некоторая кривая на торе $M(I)$ (следовательно, $p=p(I, q)$ ). Многозначная функция $S$ является производящей функцией (см. приложение 32) канонического преобразования $I, \varphi \rightarrow p, q$, определяющего координаты действие-угол: Лемма П26.10. Форма $p d q$ на $M(I)$ залкнута. Доказательство. В действительности достаточно доказать, что интеграл от $p d q$ вдоль бесконечно малого параллелограмма, касательного к $M(I)$, равен нулю. Ясно, что этот интеграл есть сумма площадей проекций параллелограмма на плоскости $p_{i} q_{i}$. Следовательно, достаточно доказать, что $[\xi, \eta]=0$ для любых векторов $\xi, \eta$, касательных к $M(I)$. Но, как было показано в П26.6, любой вектор, касательный к $M(I)$, есть линейная комбинация векторов $I \operatorname{grad} F_{i}$. По формуле (П26.2) эти векторы удовлетворяют соотношению $\left[\operatorname{grad} F_{i}, \operatorname{grad} F_{j}\right]=0$; но $I$ – симплектическое преобразование, поэтому $\left[I \operatorname{grad} F_{i}, I \operatorname{grad} F_{j}\right]=0$. Таким образом, $[\xi, \eta]=0$ и лемма доказана. Таким образом, формула (П26.8) в действительности определяет многозначную функцию $S$, а уравнения (П26.9) определяют, по крайней мере локально, каноническое преобразование $I, \varphi \rightarrow p, q$. Переменные действие-угол. П26.11 В действительности формулы (П 26.9) определяют глобальное каноническое преобразование, для которого переменные $p, q 2 \pi$-периодичны по $\varphi$. Чтобы убедиться в этом, заметим, что при любом $I$ дифференциал от $S(I, \varphi)$ есть глобальная 1-форма на $M(I)$. Следовательно, то же справедливо и относительно $d \varphi$, определяемого формулой (П26.9). Вычислим периоды 1-формы $d \varphi_{i}$ на $M_{f}$ вдоль циклов $\gamma_{j}$. По формуле (П 26.7) имеем: Таким образом, $\varphi_{i}$ – угловые координаты на торе $M(I)$ и теорема доказана.
|
1 |
Оглавление
|