Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
В предыдущем разделе был определен класс систем, связанных с системами корней полупростых алгебр Ли. В настоящем разделе, следуя работе [255], будет показано, что ряд результатов, полученных ранее для простейших систем типа $A_{n-1}$, может быть перенесен и на общий случай. Более точно, мы построим представление Лакса для систем типа $B C_{n}$, которое позволит доказать их полную интегрируемость. Мы также покажем, что системы типа $B C_{n}$ представляют редукции геодезического потока на симметрических пространствах типа $A$ III, и дадим явные решения для потенциалов типа I, II, III и V. Что касается систем типа $B_{n}, C_{n}$ и $D_{n}$, они представляют специальные случаи системы $B C_{n}$ для подходящих значений констант связи. Системы типа $E_{i}, i=6,7$ и $8 ; \quad F_{4}$ и $G_{2}$ также полностью интегрируемы, однако это требует отдельного доказательства, поскольку мы не знаем представления Лакса для них. Один из способов доказательства полной интегрируемости гамильтоновой системы с потенциалом (3.8.2), связанным с системой корней $R$, состоит в следующем. Рассмотрим некомпактное симметрическое пространство $X^{-}$с ограниченной системой корней $R$ (такое пространство всегда существует, но, вообще говоря, не единственно, см., например, [36]). Анализируя семейство операторов Лапласа на $X^{-}$, можно показать [96], что соответствующая квантовая система, и, следовательно, также классическая система, является вполне интегрируемой. Это верно, однако, лишь для соответствующих значений констант $g_{\alpha}^{2}$ в приведенных в работе [96]. A. Представление Лакса. Пусть $G, K$ — риманова симметрическая пара, где $G$ — вещественная полупростая группа Ли, а $K$ — подгруппа в $G$, выделяемая в ней инволюцией Картана. Пусть $\mathscr{G}$ и $\mathscr{I}$ — алгебры Ли групп $G$ и $K$, и Заметим, что $P$ лежит в $\mathcal{A}, X$ в $\mathscr{P}$, а $Y$ — в $\mathscr{K}$. и Тогда уравнение Лакса $\dot{L}=[L, M]$ с эквивалентно уравнению движения с гамильтонианом где $v(\xi)=x^{2}(\xi)$ и $g_{\alpha}^{2}=\left(E_{\alpha}, E_{-\alpha}\right)$. Пара Лакса такого типа для случая $G=S L(n, \mathbf{c}), K=\mathrm{SU}(n)$, приводящая к системам типа $A_{n-1}$, уже была описана. Перейдем теперь к рассмо1 рению систем типа $B C_{n}$. Соответствующая симметрическая пара — это $G=\operatorname{SU}(n+1, n), K=$ $=\mathrm{SU}(n+1) \times \mathrm{SU}(n) \times \mathrm{U}(1)$. Группа Ли $\mathrm{SU}(n+1, n)$ состоит из линейных преобразований, которые оставляют инвариантными эрмитову форму Обозначим через $J$ матрицу этой формы. Тогда алгебра Ли $\mathscr{G}=$ $=\mathrm{SU}(n+1, n)$ состоит из матриц, удовлетворяющих условию которые можно записать в блочных обозначениях как где $A, B_{1}, B_{2}$ — матрицы порядка $n, B_{1}^{+}=-B_{1}, B_{2}^{+}=-B_{2}, C_{1}$ и $C_{2}$ — векторы, $s$ — число, $\operatorname{Re}(s)=0$. Инволюция Картана задается формулой $\theta x=-x^{+}$, и мы выбираем подалгебру Картана в $\mathfrak{P}$ как алгебру диагональньх матриц вида $Q=\operatorname{diag}\left(q_{1}, \ldots, q_{n}, 0,-q_{1}, \ldots,-q_{n}\right)$. При этом справедливо следующее I редложение 2 [255]. Гамильтоновы системы $\mathrm{I}^{2} C_{n}-\mathrm{V} B C_{n}$ вполне интегрируемы при выполнении следующих условий: где а матрищы $X$ и $Y$ даются формулами где Здесь $y(\xi)=x^{\prime}(\xi)$ и $z(\xi)=x^{\prime \prime}(\xi) / 2 x(\xi)$. Мы уже отмечали, что систему типа $B C_{n}$ (для $g^{2}=g_{1}^{2}=2 g_{2}^{2}$ ) можно рассматривать как инвариантную часть системы $A_{2 n}$ на подмногообразии $q_{k}=-q_{-k}, p_{k}=-p_{-k}, k=-n, \ldots,+n$. Неудивительно поэтому, что пара Лакса (3.9.11) для этого частного случая совпадает с парой (3.1.6) (3.1.7) . Доказательство полной интегрируемости для систем I $B C_{n}$ — IV $B C_{n}$ аналогично доказательству для систем I $A_{n-1}$ — IV $A_{n-1}$ (см. раздел. 3.2). Интегрируемость для систем типа $\mathrm{V} B C_{n}$ получается из доказательства для систем типа $I B C_{n}$ с помощью того же приема, который был использован для систем типа $A_{n-1}$ в работе [262] . Отметим, что, как показано в работах [238] и [208], полная интегрируемость имеет место для класса потенциалов, более широкого, чем (3.8.7), а именно для потенциалов вида где пара функций ( $V(\xi), W(\xi))$ дается формулами где постоянные $g_{1}^{2}, g_{2}^{2}, g_{3}^{2}$ и $g_{4}^{2}$ произвольны; где $\omega_{1}$ и $\omega_{2}$ — полупериоды функции Вейерштрасса $\mathscr{P}(\xi)$. и являются просто прямыми линиями Пусть $\mathcal{A}$ — подалгебра Картана в $\mathscr{P}$. Каждый элемент пространства $\mathscr{P}$ может быть переведен в $\mathcal{A}$ с помощью действия группы $K$, так что мы можем положить Здесь $Q(t)$ — \»радиальная часть\» элемента $x(t)$. Дифференцируя (3.9.18) по отношению к $t$, мы получим где Дифференцирование (3.9.19) дает Таким образом, если пара Лакса $L, M$ удовлетворяет соотношению (3.9.20), то уравнение $\dot{L}=[L, M]$ эквивалентно уравнению для геодезических (3.9.16). Соотношение (3.9.20), очевидно, выполняется для пары Лакса из предюожения 1 с $x(\xi)=\xi^{-1}$. Точно так же, как и в разделе 3.3, мы видим, что если гамильтонова система с энергией обладает парой Лакса, описанной в предложении 1 , то траектория системы $Q(t)$ с начальными данными $Q(0), P(0)$ является радиальной частью траектории движения по прямой линии, Если при этом картановская подалгебра $\mathcal{A}$ состоит из диагональных матриц, как в случаях $\mathcal{A}_{n}$ и $B C_{n}$, рассмотренных выше, то координаты $q_{j}(t)$ — это просто собственные значения матрицы (3.9.24). Скажем еще несколько слов о процессе рассеяния. Поскольку потенциал $v(q)$ для систем типа I стремится к нулю при $|q| \rightarrow \infty$, то мы получаем Пусть $\Lambda$ — камера Вейля, содержащая $P^{-}$, и $s$ — элемент группы Вейля, который переводит $\Lambda$ в $-\Lambda: s \Lambda=-\Lambda$. Тогда и эти соотношения обобщают соотношения (3.3.19) и (3.3.22). Его решения, очевидно, имеют вид Переходя к радиальной части мы находим где и Таким образом, если пара Лакса ( $L, M$ ) удовлетворяет (3.9.31), то уравнение эквивалентно уравнению гармонического движения (3.9.27). Заметим, что пару уравнений (3.9.31), (3.9.34) можно записать в виде (3.1.18) Для ( $L, M$ ) пары из предложения 1 с $x(\xi)=\xi^{-1}$ это эквивалснтно уравнениям движения, порожденным гамильтонианом (3.9.23) с $v(\xi)=$ $=\xi^{-2}+\omega^{2} \xi^{2}$. Мы видим, таким образом, что их решение с начальными данными $Q(0), L(0)$ является радиальной частью траектории Заметим, что в этом случае движение является строго периодическим. где $b \rightarrow \theta b$ — автоморфизм Картана в $G$ (в случае группы $S U\left(n^{+}+1, n\right.$ ), описанном выше, $\left.(\theta b)^{-1}=b^{+}\right)$. Перейдем к радиальной части $x(t)$ : Повторяя рассуждения раздела 3.5, мы приходим к следующему результату: если гамильтонова система (3.9.23) с потенциалом $v(\xi)=$ $=a^{2} \operatorname{sh}^{-2}(a \xi)$ описывается парой Лакса из предложения 1 с $x(\xi)=a$ cth $a \xi$, тогда решение этой системы с начальными условиями $Q(0), P(9)$ являет- *) $X$ может иметь или отрицательную, или положительную кривизну в зависимости от вида симметрической пары $(G, K)$. ся радиальной частью траектории где $q$ определяется из формулы
|
1 |
Оглавление
|