Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Уравнения движения модели имеют вид где Она является гамильтоновой с фазовым пространством $\mathscr{M}=\mathbb{R}^{2 N}$ с координатами ( $p_{1}, \ldots, p_{N}, q_{1}, \ldots, q_{N}$ ), стандартной пуассоновой структурой и гамильтонианом Мы покажем, что наша модель является вполне интегрируемой в смысле классической гамильтоновой механики с конечным числом степеней свободы. Согласно теореме ЛиувилляАрнольда для этого достаточно предъявить набор из $N$ инволютивных интегралов движения $I_{n}$ : функционально независимых: на множестве полной меры в $\mathscr{M}$. Здесь в левой части стоит матрица $N \times 2 N$, составленная из первых производных функций $I_{m}$. Для доказательства рассмотрим вспомогательную линейную задачу для модели Тода где Действительно, матрицу $L_{n}(\lambda)$ можно рассматривать как матрицу перехода (на один узел решетки), и скобки Пуассона для нее надо моделировать по аналогии с соответствующими формулами для матрицы $T(x, y, \lambda)$. где Из формул так что левая часть (1.9) линейна по $\operatorname{sh} q_{n}$ и $\operatorname{ch} q_{n}$ и не зависит от $\lambda, \mu$ и $p_{n}$. В произведении $L_{n}(\lambda) \otimes L_{n}(\mu)$ линейные по $\operatorname{sh} q_{n}$ и $\operatorname{ch} q_{n}$ члены имеют вид а оставшиеся слагаемые коммутируют с матрицей перестановки $P$. Поэтому будем искать $r$-матрицу в виде где $f(\lambda, \mu)$ – неизвестная функция. Имеем где мы использовали представление и формулы умножения для матриц Паули. Отсюда получаем, что соотношение (1.9) удовлетворяется при выборе функции $f(\lambda, \mu)$ в виде В результате матрица $L_{n}(\lambda)$ удовлетворяет фундаментальным скобкам Пуассона на решетке (1.9) с г-матрицей которая уже встречалась в случае модели НШ в части I. для соответствующих скобок Пуассона из (1.9) получаем выражение Как уже отмечалось в § I.7, в случае периодических граничных условий след матрицы монодромии является производящей функцией интегралов движения. В квазипериодическом случае где аналогичную роль играет функция где коэффициенты $I_{n}$, в свою очередь, являются полиномами от $p_{j}$ и $e^{ \pm q_{j}}$. В частности, имеем так что В силу коммутативности матриц $r(\lambda)$ и $Q(c) \otimes Q(c)$ из (1.21) следует, что поэтому функции $I_{1}, \ldots, I_{N}$ образуют инволютивное семейство интегралов движения, содержащее гамильтониан модели. Для завершения доказательства полной интегрируемости модели Тода нам осталось проверить функциональную независимость интегралов $I_{n}$. Очевидно, что где $S_{n}\left(p_{1}, \ldots, p_{N}\right)$ – $n$-я элементарная симметрическая функция, а $I_{n}^{\prime}$ – полином от $p_{1}, \ldots, p_{N}$ степени не выше $n-1$. Поэтому соотношение (1.6) справедливо при больших $p_{n}$ и вследствие полиномиальности имеет место во всем фазовом пространстве $\mathscr{M}$, за исключением алгебраического подмногообразия (в координатах $p_{n}, e^{\boldsymbol{q}_{n}}$ ) размерности, меньшей $N$. Для явного описания канонических переменных типа дейст. вие – угол требуется привлечение методов алгебраической геометрии, которые мы в этой книге не рассматриваем.
|
1 |
Оглавление
|