Escolar Documentos
Profissional Documentos
Cultura Documentos
Мамаев
СОВРЕМЕННЫЕ МЕТОДЫ
ТЕОРИИ ИНТЕГРИРУЕМЫХ
СИСТЕМ
Москва Ижевск
2003
УДК 512.77+517.912+517.958
Интернет-магазин • физика
• математика
• биология
• нефтегазовые
http://shop.rcd.ru технологии
ISBN 5-93972-219-9
http://ics.org.ru
Оглавление
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
E.
Алгебраические преобразования скобок Пуассона . . . . . . . 261
1. Групповые преобразования пучка . . . . . . . . . . . . . . 262
2. Преобразования, связанные с симплектическими переменны-
ми Андуайе – Депри . . . . . . . . . . . . . . . . . . . . . 263
3. Изоморфизм орбит алгебр e(3) и so(3, 1) . . . . . . . . . . 266
4. Преобразование, связанное с углами Эйлера . . . . . . . . 267
F. Необходимые и достаточные условия интегрируемости обобщен-
ных цепочек Тоды . . . . . . . . . . . . . . . . . . . . . . . . 269
1. Обобщенные цепочки Тоды . . . . . . . . . . . . . . . . . 269
2. Необходимые условия интегрируемости . . . . . . . . . . . 269
3. Классификация диаграмм Дынкина и соответствующих непри-
водимых интегрируемых цепочек . . . . . . . . . . . . . . 272
4. Первые интегралы, L–A-пары и явное интегрирование . . . 274
5. Комментарии и исторические замечания . . . . . . . . . . 278
Список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . 280
Предметный указатель . . . . . . . . . . . . . . . . . . . . . . . . 294
Введение
L–A-пары [157]. В этот обзор также не включены новые и, как нам ка-
жется, наиболее интересные приложения r-матричного подхода к динамике
твердого тела и цепочкам Тоды, связанные с квадратичными алгебрами
Склянина. Эти результаты недавно были получены В. Б. Кузнецовым [154],
В. В. Соколовым и А. В. Цыгановым [75] и подробно излагаются в нашей
книге. В обзоре также полностью игнорируются наши собственные резуль-
таты (например, новая L–A-пара для случая Горячева – Чаплыгина, возник-
шие на этом пути нелинейные скобки Пуассона, новый алгоритм построе-
ния L–A-пар [11, 104]).
К сожалению, такой подход типичен для многих научных школ, кото-
рые сильно сосредоточиваются на развитии собственных методов, пытаясь
придать им универсальный характер. Однако сама обсуждаемая книга яв-
ляется наиболее выразительным свидетельством того, что такого метода,
пригодного для всех случаев жизни, не существует, все многообразие инте-
грируемых систем и их свойств нельзя получить с помощью одного общего
универсального алгоритма.
Еще раз можно подчеркнуть крайне формализованное (и совершенно
непригодное для, например, механиков) изложение большинства вопросов
теории многомерных волчков, не снабженное никакими комментариями,
связывающими их с общими принципами динамики. Относительно истори-
ческих замечаний можно лишь отметить их крайнюю односторонность.
Не будучи однозначными привеженцами метода сдвига аргумента и
полноты инволютивных семейств интегралов, развиваемой А. С. Мищенко,
А. Т. Фоменко, В. В. Трофимовым, А. В. Болсиновым, все же мы отметим,
что большинство результатов обсуждаемого обзора, связанных с динами-
кой многомерных волчков, может быть получено и с помощью этих мето-
дов. В некотором смысле они даже эквивалентны подходу, развиваемому
А. Г. Рейманым и М. А. Семеновым-Тян-Шанским для случая римановых
симметрических пар. При этом одни и те же проблемы одинаково хоро-
шо описываются различными методами и их первоначальное обнаружение
является лишь некоторой исторической случайностью. Например, новый
волчок на so(4) с интегралом четвертой степени (связанный с алгеброй g 2 )
возник первоначально в классификации А. С. Мищенко и А. Т. Фоменко, ко-
торые просто не обратили на него никакого внимания. Далее он был об-
наружен М. Адлером и П. Ван Мербеке с помощью метода Ковалевской и
создаваемой ими теории вполне алгебраически интегрируемых систем. Они
же предъявили первый интеграл. Далее А. Г. Рейман, М. А. Семенов-Тян-
Шанский построили L–A-пару с помощью своего метода, хотя нет никаких
проблем воспользоваться и другими соображениями (связанные, например,
со сдвигом аргумента или нашим алгоритмом, основанном на бигамильто-
новсти), изложенными в нашей книге.
Представление Лакса для обобщенной задачи Бруна было получено
О. И. Богоявленским [8, 9] при помощи явного анзатца. Он также дал этой
ВВЕДЕНИЕ 15
dq dp
q̇ = = ∂H , ṗ = = − ∂H , H = H(q , p), (1.1)
dt ∂p dt ∂q
Если
0 E
J= , E = kδij k, (1.6)
−E 0
то получаем каноническую скобку Пуассона, определяемую формулой (1.2).
Структурная матрица J(x ) удовлетворяет следующим условиям, выте-
кающими из 1◦ – 4◦ :
I. кососимметричность:
J ij (x ) = −J ji (x ), (1.7)
[X H , X F ] = −X {H,F } .
1 Отметим, что обозначение {x , H} для гамильтонова векторного поля не является обще-
принятым, формально оно не является корректным, т. к. использует неопределенную нелиней-
ную скобку Пуассона вектора и функции. Однако всегда ясно, о чем идет речь, если правильно
представлять себе соответствующие компонентные соотношения. В любом случае это лучше,
чем, например, sgrad H.
20 ГЛАВА 1
J ∧ J, . . . , (J ∧ . . . ∧ J)k/2 ,
2. Скобка Ли – Пуассона
Скобки Ли – Пуассона и алгебры Ли. Один из самых важных при-
меров пуассоновых структур связан с алгебрами Ли. Пусть c kij — структур-
ные константы алгебры Ли g в базисе v 1 , . . . , v n . Скобка Ли – Пуассона
пары функций F, H, заданных на некотором линейном пространстве V с
координатами x = (x1 , . . . , xn ), определяется формулой
n
X
{F, H} = Jij (x ) ∂F ∂H , (1.12)
∂xi ∂xj
i,j=1
P
где Jij (x ) = ckij xk — линейный по xk структурный тензор. Все необхо-
k
димые тождества 1◦ –4◦ (см. п. 1) для структурного тензора можно получить
из свойств структурных констант алгебры Ли:
1. ckij = −ckji ,
X
2. (clim cm l m l m
jk + ckm cij + cjm cki ) = 0.
m
Cимплектические листы структуры Ли – Пуассона, как известно из те-
ории алгебр Ли, представляют собой орбиты коприсоединенного представ-
ления соответствующей группы Ли. Уравнения Гамильтона для структуры
§ 1. СКОБКИ ПУАССОНА И ГАМИЛЬТОНОВ ФОРМАЛИЗМ 23
а гамильтониан
Ṁ = M × ∂H + α × ∂H + β × ∂H + γ × ∂H ,
∂M ∂α ∂β ∂γ
(2.5)
α̇ = α × ∂H , β̇ = β × ∂H , γ̇ = γ × ∂H .
∂M ∂M ∂M
В виде (2.5) могут быть также представлены уравнения движения твердого
тела в обобщенно-потенциальном, например магнитном, поле, в этом случае
гамильтониан H содержит члены, линейные относительно M (см. далее).
Скобка Пуассона (2.4) является вырожденной и обладает шестью функ-
циями Казимира
Ṁ = M × ∂H + 1 λ × ∂H + 1 ∂H λ − 1 λ0 ∂H ,
∂M 2 ∂λ 2 ∂λ0 2 ∂λ
(2.9)
λ̇0 = − 1 λ, ∂H , λ̇ = 1 λ × ∂H + 1 λ0 ∂H ,
2 ∂M 2 ∂M 2 ∂M
λ = (λ1 , λ2 , λ3 )
и для их интегрируемости также не хватает еще двух дополнительных инво-
лютивных интегралов. Кватернионные уравнения динамики твердого тела
в гамильтоновой форме (2.9) были впервые получены авторами в [17].
§ 3. ТЕОРЕМЫ ОБ ИНТЕГРИРУЕМОСТИ ГАМИЛЬТОНОВЫХ СИСТЕМ 29
{Fi , Fj } = 0, i, j = 1, . . . , n.
30 ГЛАВА 1
Если
1. на множестве
функции F1 , . . . , Fn независимы;
2. множество Ma является связной и компактной поверхностью,
то
а. решение гамильтоновой системы на поверхности M a полу-
чается в квадратурах;
б. поверхность Ma является n-мерным тором Tn , несущим ква-
зипериодические движения;
в. в окрестности поверхности Ma существуют такие кано-
нические координаты I1 , . . . , In , ϕ1 , . . . , ϕn (0 6 ϕi 6 2π),
называемые переменными действие-угол, в которых уравне-
ния движения имеют вид
∂H(I1 , . . . , In )
I˙i = 0, ϕ̇i = ωi (I1 , . . . , In ) = , i = 1, . . . , n.
∂Ii
r2 = q12 + q22 .
В частности, можно отметить системы, разделимые в полярных координа-
тах (r, θ)
B(θ)
H = 1 (p21 + p22 ) + A(r) + 2 , (3.3)
2 r
дополнительный интеграл
F = 1 (q1 p2 − q2 p1 )2 + B(θ),
2
где
r2 = q12 + q22 , q1 = r cos θ, q2 = r sin θ.
В параболических координатах (ζ, η)
H = 1 (p21 + p22 ) + 1r A(ζ) + B(η) , (3.4)
2
дополнительный интеграл
F = (q1 p2 − q2 p1 )p2 − 2r ηA(ζ) − ζB(η) ,
где
r + q1 r − q1
r2 = q12 + q22 , ζ= , η= . (3.5)
2 2
Для декартовых координат (q1 , q2 )
c c
H = 1 (p21 + p22 ) − r1 − r2 , (3.7)
2 1 2
q q
r1 = (q1 − c)2 + q22 , r2 = (q1 + c)2 + q22 , c = const.
а потенциальная не зависит от R.
Введем полярные координаты r, ϕ в плоскости x1 , x2 по формулам
p p
x1 = M1 r cos ϕ, x2 = M2 r sin ϕ
m i qi P
где qG = — координата центра масс, pG = pi — постоянная
mi
циклического интеграла.
Система Гарнье (R. Garnier, 1919 г.) [138]. Система с 2n степенями
свободы q1 , , . . . , qn , Q1 , , . . . , Qn задается гамильтонианом
Xn n
X X 2
H(p, q ; P, Q) = 1 p i Pi + a i qi Q i + qi Q i . (3.12)
2
i=1 i=1
а дополнительный интеграл
ε = 1, F = p1 p2 + 1 q13 + q1 q22 ;
3
ε = 6, F = −4p1 (p1 q2 − p2 q1 ) + 4q12 q22 + q14 ;
ε = 16, F = 1 p41 + q12 q2 p21 − 1 q13 p1 p2 − 1 q16 − 1 q14 q22 .
4 3 18 3
§ 3. ТЕОРЕМЫ ОБ ИНТЕГРИРУЕМОСТИ ГАМИЛЬТОНОВЫХ СИСТЕМ 37
с дополнительным интегралом
Fn = p1 (q1 p2 − q2 p1 ) + q12 Un−1 . (3.19)
38 ГЛАВА 1
U1 = 2q2 ;
U2 = 4q22 + q12 ;
U3 = 8q23 + 4q12 q2 ;
U4 = 16q24 + 12q12 q22 + q14 ;
U5 = 32q25 + 32q12 q23 + 6q14 q2 ;
U6 = 64q26 + 80q12 q24 + 24q14 q22 + q16 .
−2/3 1/3
F = 2p31 + 3p1 p22 + 3p1 q2 (−3q22 + 2q12 + 2δ) + 18p2 q1 q2 .
Существуют обобщения потенциала Холта с интегралами четвертой и ше-
стой степени по импульсам [139].
Потенциал Фокаса – Лагерстрома (A. Fokas, P. Lagerstrom, 1980 г.)
[124].
U = (q12 − q22 )−2/3 ,
(3.21)
F = (p21 − p22 )(q1 p2 − q2 p1 ) − 4(q2 p1 + p2 q1 )(q12 − q22 )−2/3 .
Цепочка Тоды. Система из трех взаимодействующих частиц одина-
ковой массы на прямой с потенциалом
U (q1 , q2 , q3 ) = [v(q1 − q2 ) + v(q2 − q3 ) + v(q3 − q1 )], (3.22)
где
v(qi − qj ) = g 2 e−(qi −qj ) , g = const.
Интеграл имеет вид
F = p1 p2 p3 − p1 v(q2 − q3 ) − p2 v(q3 − q1 ) − p3 v(q1 − q2 ). (3.23)
Интеграл (3.23) был найден Хеноном [129]. Представление Лакса для си-
стемы (3.22) было найдено Флашкой и Манаковым. Оно обсуждается нами
далее (см. § 6).
Система (3.22) имеет три степени свободы, но обладает линейным ин-
тегралом вида
p1 + p2 + p1 = const.
Исключая соответствующую этому интегралу циклическую перемен-
ную получим систему с двумя степенями свободы с интегралом третьей
степени по импульсам (см. гл. 3 § 4, п. 4).
§ 3. ТЕОРЕМЫ ОБ ИНТЕГРИРУЕМОСТИ ГАМИЛЬТОНОВЫХ СИСТЕМ 41
rj2 + 3rj + 3 = 0, r1 r2 = 3, j = 1, 2,
x2 y 2
P = (xpx − py y)3 , w= ;
2
β γ(y + µx)
U = √α + 2
+√ , (б)
xy (y − µx) xy(y − µx)2
P = 3(xpx − py y)2 (px + µpy ), w = xy(y − µx);
β γ
U = αxy + 2
+ , (в)
(y − ax) (y + ax)2
y 2 − a 2 x2
P = 3(xpx − py y)(p2x − a2 p2y ), w= ;
2
β γx
U=p α +p +√ , (г)
y(x − a) y(x + a) x − a2
2
в виде
−2/3 2 2 1/3 2/3
F = p42 + 2p22 p21 + 4q1 q2 p 2 + 24q1 q2 p1 p2 + 72q1 q22 ,
44 ГЛАВА 1
p21 p22
F = + g0 p21 + g1 p1 p2 + g2 p22 + h, h = h(q1 , q2 ),
2
где явные выражения для функций g0 , g1 , g2 имеют вид
g0 = v2 (q2 ), g1 = −v3 (q1 − q2 ) + v4 (q1 + q2 ), g2 = v1 (q1 ),
а функциональное уравнение для v1 , v2 , v3 , v4
[v4 (q1 + q2 ) − v3 (q1 − q2 )][v200 (q2 ) − v100 (q1 )]+
+3v40 (q1 + q2 )[v20 (q2 ) − v10 (q1 )] + 3v30 (q1 − q2 )[v20 (q2 ) + v10 (q1 )] = 0.
Как замечено М. А. Ольшанецким и А. М. Переломовым [66], система до-
пускает следующие типы частных решений
v3 = v4 = g 2 v(x), v1 (x) = g12 v(x) + g22 v(2x) = v2 x,
√
g1 [g12 − 2g22 + 2g1 g2 ] = 0,
где v(x) — функция из следующих пяти видов
1. v(x) = x−2 ;
2. v(x) = a2 [sh ax]−2 , a = const;
3. v(x) = a2 [sin ax]−2 ;
4. v(x) = a2 ℘(ax), ℘(x) — функция Вейерштрасса;
5. v(x) = x−2 + ω 2 x2 , ω = const.
Обобщения этого результата даны Г. Бозисом (Bozis G.), В. И. Иноземцевым,
Д. Леви и С. Войцеховским. С. Войцеховский привел также более слож-
ные потенциалы, допускающие интеграл четвертой степени по импульсам
(см. [66]). Прямые методы поиска интегралов третьей и четвертой степени
обсуждаются в работе [140] и в обзоре Хитаринты [134].
46 ГЛАВА 1
2.
H = 1 (p21 + p22 ) + 2q2 p1 p2 − q1 ,
2
I1 = p2 exp(p21 ), (3.36)
√ √
I2 = −q2 exp(−p21 ) + 1 2πp2 exp(p21 ) erf( 2p1 ),
4
где
Zx
erf(x) = √2
2
exp−t dt.
π
0
§ 4. БИГАМИЛЬТОНОВЫ СИСТЕМЫ 47
§ 4. Бигамильтоновы системы
1. Скобка Схоутена и согласованные скобки Пуассона
Введем еще один дополнительный, далее используемый, объект. Скоб-
кой Схоутена кососимметрических контравариантных i-тензора A и j-тен-
зора B (которые по общей терминологии являются мультивекторами) назы-
вается мультивектор размерности (i + j − 1) и определяемый координатным
образом как
1 X k ...k
[A, B]k2 ...ki+j = ε 2 i+j Apl2 ...li ∂ B m1 ...mj +
(i − 1)!j! p,l,m l2 ...li m1 ...mj ∂xp
(−1)i X k2 ...ki+j
+ ε B pm2 ...mj ∂ p Al1 ...li . (4.1)
i!(j − 1)! p,l,m l1 ...li m2 ...mj ∂x
ẋ = {x , H0 }0 = {x , H1 }1 , x ∈M (4.5)
v = {x , f1 }0 = {x .f0 }1 .
{x , f1 }1 = {x , f2 }0 . (4.7)
{x , fk }1 = {x , fk+1 }0 .
Hk (x ) = Tr Rk (x ).
В их бигамильтоновости легко убедиться, воспользовавшись равен-
ством нулю тензора Нийенхейса NR , которое можно эквивалентным
образом переписать в виде R v R − Rv R = 0 (здесь v — производ-
ная Ли вдоль векторного поля v). Тогда для любого векторного поля v
мы имеем (см. [187])
dHk (v ) = v Tr Rk = Tr vR
k
= Tr kRk−1 vR =
жения: [
J∗
0
= (B).
B∈J∗
0
не является.
56 ГЛАВА 1
ниям
[ , ]⊂ , [ , ]⊂ , [ , ]⊂
.
§ 5. ПРИМЕРЫ СОГЛАСОВАННЫХ СТРУКТУР И БИГАМИЛЬТОНОВЫХ СИСТЕМ 57
Положим, что второй коммутатор [·, ·]θ отличается от исходного лишь тем,
что [ , ]θ = 0.
H = 1 (M , AM ), (5.4)
2
представляющим собой кинетическую энергию. Функция Казимира струк-
туры (5.3) F = (M , M ), представляющая собой величину кинетического
момента, может быть принята за гамильтониан в новой пуассоновой струк-
туре, заданной соотношением
Матрицы
! !
0 −H3 H2 0 −K3 K2
m(x ) H3 0 −H1 , m(x ) K3 0 −K1
−H2 H1 0 −K2 K1 0
задают два структурных тензора, как несложно проверить, согласованных.
ẋi = vi (x ), i = 1, . . . , n, (5.12)
ẋ = w (x ), (5.14)
§ 5. ПРИМЕРЫ СОГЛАСОВАННЫХ СТРУКТУР И БИГАМИЛЬТОНОВЫХ СИСТЕМ 61
1 df ∧ . . . ∧ df
{F, G}dx1 ∧ . . . ∧ dxn = ρ (5.15)
1 n−2 ∧ dF ∧ dG,
λ1 f1 + . . . + λn−1 fn−1
H= , λi = const,
λ21 + . . . + λ2n−1
а множитель ρ находится из заведомо выполненного условия v = ρw .
Ранг скобки (5.16) равен двум. Из этого, в частности, следует, что для
нее справедливо тождество Якоби.
Система Лотки – Вольтерра. Рассмотрим вопрос о гамильтоновости
системы
X
n
ẋi = xi xk − 2xi , i = 1, . . . , n, (5.17)
k=1
и интегрируется в тэта-функциях.
1 Такие системы рассматриваются в математической биологии.
62 ГЛАВА 1
§ 6. Представление Лакса
1. Формальное описание
Определение. Полупростые алгебры Ли. Уравнения многих дина-
мических систем могут быть представлены в матричной коммутационной
форме (по другой терминологии — в виде L–A-пары, форме Лакса или Лак-
са – Гейзенберга). Такое представление в неявном виде использовались еще
в XIX столетии (например, Кеттером [148], в более продвинутом виде —
Гарнье в 1919 г. [138]). Впоследствии оно обрело современную форму в
квантовой механике в связи с матричным подходом Гейзенберга. С амери-
канским математиком П. Лаксом связано широкое его использование для
интегрирования эволюционных уравнений. В качестве основного примера
здесь рассматривалось уравнение Кортевега – де Фриза (KdV)
ẋ = ad∗dH(x ) x , x ∈ g∗ , (6.5)
hy ∗ , ξi = (y , ξ), (6.7)
§ 6. ПРЕДСТАВЛЕНИЕ ЛАКСА 65
и поэтому
представляются в виде
X X
Lks = cα
ks xα , Ask = cskα ∂H .
α α
∂xα
0 0 0 0
Если H(M , γ) — функция Гамильтона (на коалгебре), то ее дифференциал
dH (элемент алгебры) имеет вид
0 − ∂H ∂H ∂H
∂M3 ∂M2 ∂γ1
∂H ∂H ∂H
0 −
∂M3 ∂M ∂γ
dH = 1 2.
∂H ∂H ∂H
− 0
∂M2 ∂M1 ∂γ3
0 0 0 0
Таким образом, для гамильтоновой системы на e(3) ẋ = ad∗dH x получаем
представление в виде L–A-пары:
L̇ = [L, dH].
Из этого представления следует, что, например, уравнения Эйлера – Пуас-
сона можно записать в форме Лакса.
Представление Лакса и первые интегралы. Из представления (6.4)
вытекает, что оператор L(t) = L(x (t)) в процессе эволюции подвергается
преобразованию подобия
L(t) = T(t)L(0)T−1 (t), A = Ṫ(t)T−1 (t), (6.12)
где T можно считать элементом группы Ли G, порождаемой алгеброй g,
так что
L(t) = AdT(t) L(0),
где A(t) — левый сдвиг касательного вектора Ṫ(t) в алгебру. Таким образом,
собственные числа оператора L(t), испытывающего, как говорят, изоспек-
тральную деформацию, не зависят от t, а инварианты алгебры g
Ik (x ) = Tr(Lk (x )), k∈N (6.13)
являются первыми интегралами системы (6.3).
§ 6. ПРЕДСТАВЛЕНИЕ ЛАКСА 67
gl = ⊕ gi . (6.15)
i∈Z
k
X
Ik (x , λ) = Il,m (x )λm , l = k − m, (6.17)
m=0
2. Примеры
Волчок Эйлера. Как уже было показано, уравнения волчка Эйле-
ра имеют вид (5.2). Они также могут быть записаны в виде пары Лакса,
содержащей спектральный параметр λ
L̇ = [L, A],
!
0 M3 −M2
−1/2
L(λ) = (B + λE) −M3 0 M1 (B + λE)−1/2 ,
M2 −M1 0
!
0 a3 M3 −a2 M2
1/2
A(λ) = (B + λE) −a3 M3 0 a1 M1 (B + λE)1/2 ,
a2 M2 −a1 M1 0
где H = 1 (M , BM ), и B = diag(a1 , a2 , a3 ).
2
Возможно и другое представление с полиномиальным вхождением
спектрального параметра
!
λa1 M3 −M2
L(λ) = −M3 λa2 M1 ,
M2 −M1 λa3
−λa21 −(a1 + a2 )M3 (a1 + a3 )M2
A(λ) = (a1 + a2 )M3 −λa22 −(a2 + a3 )M1 ,
−(a1 + a3 )M2 (a2 + a3 )M1 −λa23
здесь H = 1 (a2 + a3 )M12 + (a1 + a3 )M22 + (a1 + a2 )M32 .
2
Оказывается, что и то и другое представления можно обобщить для
многомерных волчков, причем из первого представления, оказывается, мож-
но извлечь изоморфизм с многомерной задачей Клебша о движении твер-
дого тела в идеальной жидкости (гл. 2 § 2).
Волчок Шоттки – Манакова. В динамике n-мерного твердого тела
первое нетривиальное представление Лакса было найдено Манаковым [49]
в 1976 г. для n-мерного аналога волчка Эйлера (или как мы далее называем
волчка Шоттки–Манакова, см. гл. 2). Оно имеет вид
d (M + λU) = [M + λU, Ω + λV], λ = const,
dt (6.21)
U, V = const, U = diag(a1 , . . . , an ), V = diag(b1 , . . . , bn )
и при условии [M, V] = [Ω, U] описывает уравнения n-мерного свободного
волчка
bi + b j
Ṁ = [M, Ω], Ωij = M . (6.22)
ai + aj ij
72 ГЛАВА 1
для любых i 6= j 6= k 6= i.
Условия (6.26) определяют многомерный случай Клебша (для n = 3
он был найдены Клебшем в [113]), они вместе с парой (6.25) и были най-
дены А. М. Переломовым. Полнота семейства интегралов, получаемых из
§ 6. ПРЕДСТАВЛЕНИЕ ЛАКСА 73
Приложение к § 6.
Представление нулевой кривизны и его модификации
Для некоторых многомерных (и бесконечномерных) систем для уста-
новления интегрируемости удобнее пользоваться не L–A-парой, а пред-
ставлением нулевой кривизны (или U–V-парой), хотя эти два представления
и оказываются тесно связанными друг с другом. Оно имеет вид [78]
∂U − ∂V + [U, V] = 0 (6.30)
∂t ∂x
и является условием совместности двух вспомогательных линейных задач
∂F (x, t, λ)
= U(x, t, λ)F (x, t, λ),
∂x
∂F (x, t, λ)
= V(x, t, λ)F (x, t, λ),
∂t
§ 6. ПРЕДСТАВЛЕНИЕ ЛАКСА 75
1 dn(λ, K) cn(λ, K)
u1 (λ) = ρ , u2 (λ) = ρ , u3 (λ) = ρ ,
sn(λ, K) sn(λ, K) sn(λ, K)
где sn(λ, K), cn(λ, K), dn(λ, K) — эллиптические функции Якоби с модулем
s
J2 − J 1 p
K= , ρ = 1 J3 − J1 .
J3 − J 1 2
b = α∂y − ∂ 2 + u(x, y, t)
где L x
b
∂L b A]
b +B
b L,
b
= [L,
∂t
b = 8(∂ 3 + ∂ 3 ) + 2(w∂z + w∂olz ),
A z z
b = wz + w z , L
B b = −∂xx + u(x, t).
ḃ = [L,
L b A]
b + P (L)
b (6.32)
подробно рассматриваются в книге О. И. Богоявленского «Опрокидывающи-
еся солитоны» [9]. Уравнения, построенные по этой схеме, имеют аттрак-
торы в фазовом пространстве и вместе с тем обладают большим набором
первых интегралов и их солитонные решения имеют нестандартную дина-
мику. В этой книге обсуждаются одномерные и двумерные уравнения типа
Бюргерса, Буссинеска, Гарри Дима, Кадомцева – Петвиашвили.
Отметим также, что кроме U–V-представления для НУШ, КП и других
уравнений известны также пары Лакса. Они содержатся, например, в обзо-
ре [33].
78 ГЛАВА 1
Приложение к главе 1.
Сингулярные орбиты коприсоединенного представления
алгебр Ли
Здесь мы приведем простейшие примеры отображений момента (см.
Приложение C) и опишем возникающие при этом орбиты коприсоединен-
ного представления малых размерностей в некоторых алгебрах Ли. В част-
ности, мы опишем топологию этих орбит, пользуясь следующей конструк-
цией.
Пусть группа Ли G гамильтоново действует на симплектическом мно-
гообразии (M 2n , ω). Рассмотрим соответствующее отображение момента
µ : M 2n → g∗ , где g∗ — коалгебра алгебры Ли группы G.
Поскольку отображение момента согласовано с действием группы, то
образом каждой орбиты O(x ) ⊂ M 2n является орбита коприсоединенного
представления OAd∗ (µ(x )) ⊂ g∗ . Связь между этими орбита весьма про-
ста и естественна. Точнее, отображение µ : O(x ) → OAd∗ (µ(x )) являет-
ся «факторизацией по ядру» симплектической структуры ω, ограниченной
на O(x ). В частности, если O(x ) ⊂ M 2n является симплектическим мно-
гообразием, то орбиты O(x ) и OAd∗ (µ(x )) симплектоморфны.
ДОКАЗАТЕЛЬСТВО этого утверждения довольно просто. Нужно лишь
проверить, что ядро дифференциала отображения момента µ, ограниченно-
го на орбиту O(x ) ⊂ M 2n , совпадает с ядром формы ω|O(x ) . Воспользуемся
тождеством, определяющим отображение момента:
µ(x )(ξ) = Hξ (x ),
где e
bi — соответствующие дифференциальные операторы (векторные
поля). Переписывая эту формулу в виде
X
f (g(x )) = f (x ) + ξi {Hi (x ), f (x )} + . . . ,
i
где x ∈ Rn , p ∈ Rn ∗ , g ∈ SO(n).
Как и в предыдущем случае это действие гамильтоново, и гамильто-
нианы, сооветствующие элементам алгебры Ли A ∈ so(n), имеют тот же
самый стандартный вид: HA (x , p) = p(Ax ). Отождествляя алгебру Ли
so(n) с двойственным пространством при помощи скалярного произведе-
ния Tr AB, мы легко находим явную формулу для отображения момента.
Отличие от алгебры gl(n, R) заключается в том, что матрица вида xp > не
является ортогональной, поэтому ее необходимо спроектировать на про-
странство ортогональных матриц, в результате чего отображение момента
µ : T ∗ Rn → so(n)∗ примет следующий вид:
p
(x , p) и cos φ · x + sin φ · ,
|p|
µ(z ) = 1 z z > .
2i
µ : Rn + Rn∗ → (so(n) ⊕s Rn )∗ ,
2. Формальное описание
1. Пусть — матричная алгебра Ли со стандартным матричным
коммутатором [·, ·], на которой задана еще одна нестандартная структура
86 ГЛАВА 2
3. Координатное представление
В координатной форме эта конструкция выглядит следующим образом.
Обозначим базис в алгебре через E i , i = 1, . . . , n, дуальный ему базис
в ∗ соответственно ω i . В этом случае
{Mij , Mkl } = δjk Mil + δik Mlj + δjl Mki + δil Mjk ,
{Mij , Qkl } = δjk Qil − δik Qjl .
H = 1 Tr Mω + U (Q),
2
где ω выражается через M по формуле (1.11).
90 ГЛАВА 2
v(x ) = {x , Hλ (x )}λ ,
dL(λ)
= [L(λ), A(λ)], (2.5)
dt
где
−1/2 −1/2
L(λ) = (B2 + λE) X(B2 + λE) ,
−1/2 −1/2
(2.6)
A(λ) = (B2 + λE) (λΩ − BΩB)(B2 + λE) .
ДОКАЗАТЕЛЬСТВО.
Эквивалентность этого представления системе (2.4) легко проверяет-
ся прямым вычислением. Здесь, впрочем, интересна связь представления
с семейством скобок. Остановимся на ней более подробно. Поскольку си-
стема (2.4) гамильтонова относительно скобки {·, ·} B2 +λE , то мы можем
представить Ẋ в виде
Ẋ = E0 ΩX − XΩE0 , (2.8)
(bi − bj )a−1 −1 −1
ij + (bj − bk )ajk + (bk − bi )aik = 0
di − dj = (bi − bj )a−1
ij , 1 6 i < j 6 n − 1.
∗
Рассмотрим также на пространстве = so(n)⊕s R[n(n−1)/2]
i,j
X ai − a j X bi a i − b j a j X b2i ai − b2j aj
2
H0+λ·1 = Zij +2 Zij Pij + Pij2 ,
bi − b j bi − b j bi − b j
i,j i,j i,j
1. Общая конструкция
Рассмотрим полупростую алгебру Ли , представленную в виде кар-
тановского разложения = + , где — подалгебра и выполнены
следующие соотношения
[ , ]⊂ , [ , ]⊂ , [ ,
]⊂ . (3.1)
∗
стве возникают, следовательно, две различные скобки Ли – Пуассона
{·, ·} и {·, ·}θ , отвечающие алгебрам и θ соответственно. Нетрудно
видеть, что эти скобки согласованы между собой.
Кроме них на ∗ имеется еще одна скобка (с замороженным аргумен-
том) {·, ·}a . Она получается, если в первоначальной скобке {·, ·} зафикси-
ровать некоторый вектор a ∈ ∗
рассматривать любой из коммутаторов [·, ·] и [·, ·]θ , она будет давать один и
тот же результат.
Предложение 6. Если a ∈ ∗ , то скобки {·, ·}, {·, ·}θ и {·, ·}a
∗
Как обычно мы предполагаем, что и отождествлены при по-
мощи ad-инвариантной формы Киллинга (соответствующей алгебре (3.1)).
Рассмотрим линейную комбинацию
{·, ·}αβγ = α{·, ·} + β{·, ·}θ + γ{·, ·}a . (3.3)
Прямым вычислением можно проверить, что гамильтонова относительно
{·, ·}αβγ система с гамильтонианом f записывается в следующем явном
виде:
ḣ = (α + β) ([ξ, h] + [η, v]) + γ[η, a],
(3.4)
v̇ = (α + β)[ξ, v] + α[η, h] + γ[ξ, a].
где df (h + v) = ξ + η, h, ξ ∈ , v, η ∈ .
Предложение 7. Если α 6= 0, α+β 6= 0, то скобка Пуассона {·, ·}αβγ
эквивалентна (сводится линейной заменой) полупростой скобке {·, ·},
и, следовательно, любая система, являющаяся гамильтоновой отно-
сительно {·, ·}αβγ , допускает естественное представление Лакса.
ДОКАЗАТЕЛЬСТВО.
В качестве доказательства укажем явно соответствующую L–A-пару
гамильтоновой системы со скобкой (3.3). Действительно, уравнения (3.4)
могут быть переписаны в следующем виде
Замечание. Для того чтобы получить частный случай систем (3.7) без
потенциала, нельзя одновременно в (3.7) и (3.8) полагать b = 0. Как
будет показано ниже, правильная L–A-пара для эволюции h получится,
если всюду в соотношениях (3.7) и (3.9) исключить v, сохранив при
этом неизменным соотношение (3.8).
Случай отсутствия потенциала. Система Шоттки – Манакова.
Приведем здесь отдельно описанную конструкцию для более частного слу-
чая, который позволит нам установить более четко связь с методом сдвига
аргумента и построить L–A-пару для многомерного аналога волчка Эйлера
(волчка Шоттки – Манакова).
Пусть — произвольная алгебра Ли, ∗ — двойственное простран-
ство. Кроме стандартной скобки Ли – Пуассона {f, g}(x )=hx , [df (x ), dg(x )]i
рассмотрим на ∗ постоянную скобку, которая получается из нее "замора-
живанием аргумента":
∗
{f, g}a (x ) = ha, [df (x ), dg(x )]i, где a ∈ .
x = x1 + x2 , где x1 ∈ , x2 ∈ ⊥
и положим C(x ) = ad−1a adb x2 +
−1 ⊥ ⊥
+ D(x1 ), где ada : → корректно определен, а D : → —
произвольный самосопряженный оператор.
Предложение 9. Гамильтонова система
ẋ = [C(x ), x ] (3.10)
Имеется важный частный случай, когда система (3.10) может быть есте-
ственным образом ограничена на некоторую подалгебру ⊂ , другими
словами, подалгебра является инвариантным подмногообразием данной
системы. Примером такой подалгебры является, например, так называемая
нормальная форма алгебры Ли C
(см. [54, 56]). Простейшим случаем
такой ситуации является волчок Шоттки–Манакова.
Здесь = sl(n, R), = so(n, R) ⊂ . В качестве подалгебры
Картана берется подалгебра диагональных матриц. В частности, a и b —
это диагональные матрицы A = diag(a1 , . . . , an ), B = diag(b1 , . . . , bn ).
Тогда гамильтониан H, ограниченный на подалгебру , имеет вид
H = 1 (ad−1 1 X b i − b j x2 , (3.12)
a adb X, X) = ai − aj ij
X = kxij k ∈ so(n).
2 2
i<j
0 = f ⊕s e
(3.13)
(именно такая ситуация встречается в классической динамике твердого
тела, причем f = so(3)).
Подбираем некоторую полупростую алгебру , допускающую карта-
новское разложение = + , и вкладываем рассматриваемую
n × n,
Положим для x ∈
x = h + v, h∈ , v∈ , (3.14)
fk = Tr(h + v)k , k = 1, . . . , n.
L = λh + v + λ2 a, A = ξ + λη, (3.15)
c + c ⊗ x.
L = B + ax ⊗ x + r(x ⊗ y − y ⊗ x ) + x ⊗ x (3.20)
x
Отметим также, что представление Лакса в форме 2×2 найдены для случаев
Ковалевской, Горячева – Чаплыгина, цепочек Тоды и связаны с возможно-
стью записи системы на скобках Пуассона, определяемых квадратичными
алгебрами Склянина [84]. Эти представления подробно рассматриваются
в гл. 3.
Приведем еще один недавний результат А. В. Цыганова. Рассмотрим
систему Росохатиуса без членов Неймана, т. е. гамильтониан вида
X
n n
X c2k
H=1 Mij2 + (3.23)
2 x2k
i,j=1 k=1
x2i x2j
Fij = Mij2 + c2j + c2i . (3.25)
x2j x2i
b=M
L c + N,
b
c N
где матрицы M, b имеют те же элементы, что и M, N, но теперь, наоборот,
являются соответственно, симметрической (M cij = M cji ) и кососимметри-
b b
ческой (Nij = −Nji ), т. е. соотношения (3.24) и (3.26) определяют теперь
110 ГЛАВА 2
L–A-пара для системы (3.27) была найдена А. В. Цыгановым [86, 183], она
имеет вид
L̇ = [L, A],
!
λ M3 + ay3 M2 − ay2
L = M3 − ay3 λ M1 + ay1 ,
M2 + ay2 M1 − ay1 λ (3.28)
−1 −1
0 y3 y2
A = 2a (y , y ) y3−1 0 y1−1 ,
3
y2−1 y1−1 0
где y = .
(γ1 γ2 γ3 )1/3
Обобщение системы Гаффе получено им самим же. Оно тем не
менее имеет дополнительный интеграл шестой степени по импульсам [137].
Действительно, система с гамильтонианом (на e(3))
2 2 2 2
H = 1 (M12 + M22 + M32 ) + 1 a 2 b2 + 1 a c (γ2 + γ3 )
2 2 (γ1 γ2 γ3 )2/3 2 (γ22 − γ32 )2
где
4c2 γ22 γ32
K1 = M12 + ,
(γ22 − γ32 )2
γ12 γ2 γ3 c2
K2 = M 2 M 3 + ,
(γ22 − γ32 )2
Kb = M 1 M 2 M 3 + b2 (γ2 γ3 M1 + γ1 γ3 M2 + γ1 γ2 M3 ),
(γ1 γ2 γ3 )2/3
c γ22 + γ32
где fb = b(γ1 γ2 γ3 )−1/3 , fc = .
γ32 − γ22
Интересно было бы придать гамильтониану H и интегралу F более
симметричные выражения.
x = h + v,
где
M 0 0 V
h= ∈ , v= ∈ , (3.29)
0 N V> 0
fk = Tr(h + v)2k , k = 1, 2, 3.
i, j, k, l = 1, 2, 3.
Между собой переменные M , Q и N , S коммутируют.
Зададим следующее вложение в алгебру so(3, 3), которое согласовано
с коммутатором [· , ·]θ (алгебра θ )
M 0 0 QRST
h= , v= , (3.37)
0 N SRT QT
где R — постоянная матрица 3×3. Компоненты матриц M, N связаны с век-
торами M , N соотношением (3.34). Здесь мы пользуемся отождествлением
алгебры и коалгебры с помощью метрики (X, Y) = − Tr(XY). Другими
словами, мы задали пуассоново отображение в коалгебру θ∗ .
Постоянная матрица R задает взаимодействие волчков, зависящее от
позиционных переменных каждого из волчков Q, S. Поскольку для каж-
дого волчка орты неподвижного пространства определены с точностью до
ортогональных преобразований, матрица R допускает преобразование вида
e = U1 RUT ,
R U1 , U2 ∈ SO(3). (3.38)
2
114 ГЛАВА 2
Ṅ = 0,
F = M3 + N (4.7)
(его квадрат линейно выражается через инварианты F 1 , F2 , F3 (4.4)). При
этом один из квадратичных интегралов имеет вид
F 1 (x ) = F1 (x , y)|y=const , . . . , F k = Fk (x , y)|y=const
в переменных (Mf1 , M
f2 , M
f3 , αe1 , α e3 , βe1 , βe2 , βe3 , ye) принимает
e2 , α вид [157]:
0 f3 −M
M f2 0 e3
α −e α2 0 βe3 −βe2 0
f e
−M3 0 Mf1 −e α3 0 e1
α − β3 0 βe1 0
f
M2 − M f1 0 e2
α −e α1 0 βe2 −βe1 0 0
0
αe3 −e α2 0 f
M3 −M2 −e f y 0 0 βe1
−eα 0 e
α − Mf3 0 Mf1 0 −ey 0 βe2
3 1 .
α f2 −M f1 βe3
e2 −eα1 0 M 0 0 0 −e y
e e f f
0 β3 − β2 ye 0 0 0 M3 − M2 −e α1
e
− β3 0 βe1 0 ye 0 −M f3 0 f1
M −e α2
βe2 −βe1 0 0 0 ye Mf2 −M f2 0 −e α3
0 0 0 e e
− β1 − β2 − β3 e αe1 αe2 αe3 0
Предлагается следующая линейная замена переменных, приводящая линей-
ную комбинацию P1 + λP2 к полупростому виду, точнее к скобке, отвеча-
ющей алгебре Ли so(3, 2) и указанной выше.
Отсюда, согласно общей конструкции, будет следовать существование
представления Лакса со спектральным параметром.
Переменные M f , α, e x связаны с первоначальными переменными M ,
e β,
α, β, y формулами
f1 = M1 , M
M f2 = M2 , M f3 = M3 ,
α −λ α α
e1 = 1√ , α
α e2 = √2 , α e3 = √3 ,
λ λ λ
β 1 β 2 − λ β 3
βe1 = √ , βe2 = √ , βe3 = √ ,
λ λ λ
1
ye = x + M3 + c.
λ
Матрица L имеет следующий естественный вид:
α1 − λ β1
0 M3 −M2 √ √
λ λ
α2 β2 − λ
−M3 0 M1 √ √
f α e λ λ
M e β
> α3 β3
e
L = α 0 −ey = M2 −M1 0 √ √ .
e > λ λ
β ye 0 α −λ α2 α3
1
0 − 1 x − M3 − c
√ √ √
λ λ λ λ
β1 β2 − λ β3 1
√ √ √ x + M3 + c 0
λ λ λ λ
§ 4. ИНТЕГРИРУЕМЫЕ СИСТЕМЫ, СВЯЗАННЫЕ С АЛГЕБРАМИ so(3, 2) И so(3, 1) 123
где 0 0 0 0 0 0
0 0 0 0 0 −1
0 0 0 0 1 0
B=
0
,
0 0 0 M3 −M2
0 0 −1 −M3 0 M1
0 1 0 M2 −M1 0
а C — это дираковская поправка, которая имеет следующий вид:
0 0 1 M2
0 0 0 −M1 0 α3 −α1 −M1
−1 0 0 0 −α3 0 α2 −M2
C = ±f −1
−M3 − c 0 0 α 2 α1 −α2 0 −M3 ×
0 −M3 − c 0 −α1 M1 M2 M3 0
0 0 −M3 − c 0
0 0 1 M3 + c 0 0
0 0 0 0 M3 + c 0
× .
−1 0 0 0 0 M 3 + c
−M2 M1 0 −α2 α1 0
f1 = γ 2 , f2 = (M , γ).
F1 = (M , a), a = (a1 , a2 , a3 ).
F1 = M 3 , F2 = 1 M 2 − aγ3 . (4.15)
2
H = 1 (M12 +M22 +4M32 )−a1 M3 −2c1 γ2 −2a1 c2 γ1 +4c2 M3 γ1 −2c22 γ32 . (4.17)
2
a1 , b, b2 , c1 , c2 = const
0 0 0 1 0 0 M3 −M2 0 0
0 0 0 0 1 −M3 0 M1 0 0
A = 0 0 0 0 0, B = M2 −M1 0 0 0 ,
1 0 0 0 0 0 0 0 0 −M3 − a1
0 1 0 0 0 0 0 0 M 3 + a1 0
§ 4. ИНТЕГРИРУЕМЫЕ СИСТЕМЫ, СВЯЗАННЫЕ С АЛГЕБРАМИ so(3, 2) И so(3, 1) 127
0 0 0 0 0 0 0 0 b1 β1 c1 γ1
0 0 0 0 0 0 0 0 b 1 β 2 c 1 γ2
X= 0 0 0 0 0 , C= 0 0 0 b 1 β 3 c 2 γ3 ,
0 0 0 0 −c2 γ1 + b2 β2 b β b β b β 0 0
1 1 1 2 1 3
0 0 0 c 2 γ1 − b 2 β 2 0 c 1 γ1 c 1 γ2 c 1 γ3 0 0
0 0 0 b 2 β1 c 2 γ 1
0 0 0 b 2 β2 c 2 γ 2
Y= 0 0 0 b 2 β3 c 2 γ 3 .
−b2 β1 −b2 β2 −b2 β3 0 0
−c2 γ1 −c2 γ2 −c2 γ3 0 0
Рассмотрим также матрицы
L1 = λA + B + X − λ−1 C, L2 = −E + λ−1 Y,
L = L1 + µL2 , E = kδij k,
где λ, µ являются произвольными параметрами типа спектральных. Ока-
зывается, что необходимые нам два дополнительных интеграла движения
получаются при коэффициентах λ4 и λ2 в разложении det L(λ, µ) = 0,
оператор L удовлетворяет свойству симметрии
L(λ, µ) = −L> (−λ, −µ), L(λ, µ) = V−1 L(−λ, µ)V,
где V = diag(1, 1, 1, −1, −1), а через > обозначено транспонирование. При
этом операторы L1 , L2 эволюционируют по закону
d L = L M(λ) + M> (−λ)L , i = 1, 2, (4.19)
i i i
dt
где
M = Mkow + W, Mkow = −2λA + D,
0 −4M3 − a1 2M3 0 0
−4M3 − 2a1 0 −2M1 0 0
D=
−2M2 2M1 0 0 0,
0 0 0 0 0
0 0 0 0 0
b 2 β1 c 2 γ 1 0 0 0
b2 β2 c2 γ2 0 0 0
W = 2 b2 β3 c2 γ3 0 0 0 .
0 0 0 −b2 β1 −c2 γ1
0 0 0 −b2 β2 −c2 γ2
128 ГЛАВА 2
M = 2i(λS + W),
−M3 0 −M1 − iM2 0 0 γ3
W= 0 0 0 − 2c2 0 iγ2 0 ,
−M1 + iM2 0 4M3 − a1 0 0 2γ1 − iγ2
!
0 0 0
S= 0 0 −2 .
0 2 0
где
0 0 −M1 − iM2 0 γ3 0
J= 0 −2M3 + a1 0 , X= γ3 0 γ1 + iγ3 ,
−M1 + iM2 0 2M3
0 γ1 − iγ2 0
!
0 γ3 0
Y= −γ3 0 −γ1 − iγ2 ,
0 γ1 − iγ2 0
!
0 0 0
B = 1 (X − Y)S − S(X + Y) = 4γ1 0 1 0 .
2 0 0 0
M1 → M1 − 2c2 γ3 , M2 → M 2 , M3 → M3 + 2c2 γ1 .
M3 = const,
U (γ3 ) = −mgγ3 ,
при этом отделяется система уравнений для M , γ, которая без труда инте-
грируется [20].
В многомерном случае, в связи с возможностью различных подгрупп в
SO(n), относительно которых инвариантен гамильтониан, существует мно-
жество обобщений случая Лагранжа. Наиболее интересные из них, которые
мы рассмотрим ниже, следующие:
1) обобщение на e(n) с линейным потенциалом;
2) обобщение на gl(n) с квадратичным потенциалом;
3) обобщение на so(n) ⊕s so(n) с квадратичным потенциалом.
Кроме того, для обобщений случая Лагранжа и вообще любых случаев
с некоммутативным набором линейных интегралов можно построить новые
интегрируемые случаи, комбинируя уже известные.
§ 5. МНОГОМЕРНЫЕ АНАЛОГИ СЛУЧАЯ ЛАГРАНЖА 131
e M
Здесь C( f n−1 ) ∈ so(n − 1) — дифференциал первого слагаемого гамиль-
тониана (5.4).
Системы, отвечающие гамильтониану (5.4), являются гамильтоновыми
относительно любой линейной комбинации скобок { , } θ + µ({ , } + { , }a )
за исключением лишь одного случая µ = −1, поэтому функции Tr(λh +
+ v + λ2 a)2k также будут первыми интегралами системы (5.4). Однако для
линейных функций {Mij }i<j6n−1 это уже не верно. Это связано с тем, что
эти линейные функции являются функциями Казимира для исключительной
скобки
{ , }θ − ({ , } + { , }a ), (5.6)
и в случае Лагранжа они являются первыми интегралами просто в силу
гамильтоновости системы (5.3) относительно этой скобки. В случае (5.4)
этой гамильтоновости нет, поэтому функции Mij перестают быть первыми
интегралами (впрочем, равным образом можно было бы сказать, что га-
мильтоновость в смысле (5.6) не имеет места, поскольку эти функции не
являются первыми интегралами).
Системы на e(n) с гамильтонианом (5.4) в общем случае не является
интегрируемыми, но допускают неполный набор коммутирующих интегра-
лов, который может быть получен из представления Лакса со спектральным
параметром (5.2), (5.5), в виде
h i
Fk = Tr(λh + v + λ2 a)2k , 2 6 k 6 n .
2
Интегрируемость будет иметь место, если первое слагаемое гамильтониана
X
e =1
H c M M
2 i<j6n−1 ijkl ij kl
k<l6n−1
L = λM + V + λ2 B, A = ∂H + 2λB,
∂M (5.7)
V = QRQ> , R> = R, B = diag(0, . . . , 0, a)
134 ГЛАВА 2
и гамильтонианом
X n−1
X X n
H= 1 Mij2 + 1 2
Min + Rij Qni Qnj . (5.8)
4J1 2(J1 + Jn ) i=1
i<j6n−1 i,j=1
H(x ) = H0 (x ) + H1 (y (x ))
тониан вида
n
X k−1
X
2
H= dk Mjk . (5.17)
k=2 j=1
X dk ak−m − dm
HM = 1 2
Mkm . (5.19)
2 a k−m
− 1
k<m
so(4) ⊃ so(3).
H(X) = Tr(ad−1
a adb X)X,
где
X X X X
u2 = u2k , w2 = wk2 , a2 = a2k , (u, w ) = uk w k .
k k k k
L = (hλ + v + aλ2 ),
где !
−i(m3 +m4 ) im1 +m2
0
h= im1 −m2 i(m3 −m4 ) ,
0 2im4
!
p1 − ip2
0
v= p3 − ip4 , (7.2)
−p1 −ip2 −p3 −ip4 0
!
a1 − ia2
0
a= a3 − ia4 .
−a1 −ia2 −a3 −ia4 0
Среди инвариантов матрицы L при произвольном сдвиге содержится ли-
нейная по mi функция вида
F1 = m4 a 2 + (m, γ a ), (7.3)
4
X
где a 2 = a2i , m = (m1 , m2 , m3 ) и компоненты постоянного вектора γ a
i=1
144 ГЛАВА 2
F4
{Ki , Kj } = εijk Kk + εij3 , {Ki , sj } = εijk sk , {si , sj } = 0, (7.11)
s23
где F4 = (K, s)s3 — функция Казимира скобки (7.11). При нулевой «по-
стоянной площадей» (K, s) = 0 скобка (7.11) совпадает со скобкой ал-
гебры e(3), а гамильтониан (7.8), как можно показать, в новых перемен-
ных (7.10) совпадет с гамильтонианом Горячева – Чаплыгина:
1 1 M − iM
0 −i M3 + k 0 − 2 1
2 2
A(λ) = .
1 M − iM 0
1
−i M3 + k −ik
2 1
2 2
0
1 M + iM ik i M3 +
1k
2 1
2 2
(7.15)
Для того чтобы получить из матриц (7.15) L–A-пару для случая Горяче-
ва – Чаплыгина, надо вычеркнуть из матрицы L первый столбец и первую
строку, что приводит к матрицам
2 ik −iγ3 /k −M2 + iM1
3
L = iγ3 /k −2iM3 − 4 ik −2ik + (γ2 − iγ1 )/k . (7.16)
3
M2 + iM1 (γ2 + iγ1 )/k + 2ik 2iM3 + 2 ik
3
Каждая из скобок {·, ·}s при условии s+bi > 0 изоморфна стандартной
скобке Пуассона – Ли на so(3), поэтому согласно общей конструкции можно
явно указать для системы Жуковского – Вольтерра представление Лакса со
спектральным параметром. Поскольку изоморфизм между скобками {·, ·} s
и {·, ·} задается формулой
или q
A(s)αβ = εαβγ s − bα )(s − bβ )pγ ,
получаем два взаимно-коммутирующих (взаимных) потока, определяющих
случай Рубановского, которые задаются на алгебре e(3) = {M , p} гамиль-
тонианами
X3
H1 = 1 bα (Mα − 2gα )2 + 2νbβ bγ Mα pα +
2
α=1
+ν bα (bβ − bγ )2 p2α + 4ν(bβ + bγ )gα pα ,
2
3
X
H2 = 1 Mα2 − 2νbα Mα pα + ν 2 (bβ − bγ )2 p2α + 8gα pα ,
2
α=1
{Mij , Mkl } = δjk Mil + δik Mlj + δjl Mki + δil Mjk ,
{Nij , Nkl } = δjk Mil + δik Mlj + δjl + Mki + δil Mjk ,
{Qij , Qkl } = {Sij , Skl } = {Mij , Nkl } = {Mij , Skl } = {Nij , Qkl } = 0.
Фазовые переменные
M ∈ so(n) — угловой момент n-мерного твердого тела
Q ∈ SO(n) — матрица направляющих косинусов (позицион-
ные переменные n-мерного тела)
Параметры
R = diag(r1 , . . . , rn ), C = diag(c1 , . . . , cn )
B = diag(a1 , . . . , an )
Общий квадратичный гамильтониан
X ci − c j n
X
H=1 Mij2 − 1 ri (Qi , CQi )
2 ai − a j 2
i<j i=1
Qi = (Q1i , . . . , Qni )
L–A-пара на алгебре so(n, n)
M 0 0 QRQ> 2 0 B
L(λ) = λ + + λ
0 M QRQ> 0 B 0
∂H 0
1 ∂M 0 B ∂H
∂H
A(λ) = +λ , =
2 0 ∂H B 0 ∂M
∂Mij
∂M
A(λ) = 1 ∂H − λB
2 ∂M
Замечание 1. В данном случае представление Лакса дает уравнение
движения матрицы V = QRQ> , квадратичной относительно направ-
ляющих косинусов.
2
Замечание 2. Т. к. so(n)⊕s Rn — подалгебра в so(n)⊕s Rn , то из этих
представлений в случае rn 6= 0, r1 , . . . , rn−1 = 0 получается случай
Клебша – Переломова.
Замечание 3. Полагая r1 = . . . = rn = 0, получаем случай Манако-
ва. На алгебре gl(n) представление Лакса совпадает с представлением
Манакова, а на so(n, n) получается другая L–A-пара.
154 ПРИЛОЖЕНИЕ К ГЛАВЕ 2
Фазовые переменные
Параметры
X (ci aj − cj ai ) X
+ Mij Nij − ci Vii , V = QRS>
i<j
a2i − a2j i
∂H 0 ∂H
0
A(λ) = ∂M +λ
∂V
∂H ∂H 0
0
∂N ∂V>
∂H =
∂H
∂H =
∂H
,
∂M ∂Mij ∂N ∂Nij
Фазовые переменные
0 N
M =∈ so(n), N = ∈ so(2) — угловые моменты
−N 0
волчка и ротатора
x1 y 1
Q ∈ SO(n), S = ∈ SO(2) — позиционные переменные
x2 y 2
Параметры
r1 0 a1 0 c1 0
0 r2 0 a2 0 c2
R= , B= , C= , d = const
. . . . . . . . . . . . . . . . . .
0 0 0 0 0 0
n
+
a 1 c2 − a 2 c1
M N + 1d X M2 − c V − c V , V = QRS>
12 1 11 2 22
a21 − a22 2 i,j>2 ij
i<j
L–A-пара на so(3, 2)
!
M 0 0 QRS> 2 0 B
L(λ) = λ + +λ
0 N SR> Q 0 B 0
∂H 0 ∂H
0
A(λ) = ∂M +λ
∂V
∂H ∂H 0
0
∂N ∂V>
Фазовые переменные
Параметры
R, B — постоянные матрицы p × q, q 6 p
R — произвольная, B = kδij k, 1 6 i 6 p, 1 6 j 6 q
! !
M 0 0 QR 0 B
L(λ) = λ + + λ2
0 fq
−M R> Q> 0 B> 0
!
∂H 0 B
0 ∂H =
∂H
A(λ) = ∂M −λ ,
0 0 B> 0 ∂M
∂Mij
f q = kMij k,
M i, j 6 q
Фазовые переменные
M = kεijk Mk k ∈ so(3) — угловой момент,
Q ∈ SO(3) — матрица направляющих косинусов
α, β, γ − столбцы Q
Коммутационные соотношения
{Mi , Mj } = εijk Mk , {Mi , Qjl } = εijk Qkl , {Qij , Qkl } = 0
Параметры ! !
r1 0 1 0
R= 0 r2 , B= 0 1
0 0 0 0
L–A-пара на so(3, 2) !
M 0 0 QR 2
0 B
L(λ) = −λ + +λ
0 N R> Q> 0 B> 0
!
∂H 0 0 B
A(λ) = ∂M −λ
0 0 B> 0
N=
0 −M3 + c ∂H =
εijk ∂H
M3 − c 0 ∂M
∂Mk
Замечание 1. Матрицу R можно выбирать произвольно, это при-
водит к тому, что в гамильтониане появятся дополнительные слагае-
мые, соответствующие не взаимно перпендикулярным полям. (Столб-
цы матрицы R задают векторы напряженности полей в неподвижном
пространстве.)
Замечание 2. L–A-пара обычного случая Ковалевской (в одном поле)
получается, если выбрать r1 6= 0, r2 = 0, либо использовать матрицу
R вида !
r1 λr1
R = r2 λr2
r3 λr3
(в этом случае поля параллельны в неподвижном пространстве).
158 ПРИЛОЖЕНИЕ К ГЛАВЕ 2
Фазовые переменные
M ∈ so(n) — угловой момент n-мерного волчка
Q ∈ SO(n) — матрица направляющих косинусов
Фазовые переменные
M ∈ so(n) — угловой момент волчка
Q ∈ SO(n) — матрица направляющих косинусов
Параметры [n/2]
X
R = −R> , B = −B> = kBij k, Bij = ak (δ2k−1,i δ2k,j − δ2k−1,j δ2k,i )
k=1
∂Sk
где через Pk (qk , α) = обозначено решение алгебраического уравне-
∂qk
ния (1.6).
В несколько другой формулировке укажем, что значения первых инте-
гралов α1 , . . . , αn , при которых функции
удовлетворяющие неравенствам
Уравнение (1.11) помимо этих корней допускает еще один корень u 0 < a0 ,
который параметризует семейство софокусных с (1.10) эллипсоидов. Пола-
гая u0 = 0, мы получим эллипсоид (1.10).
Обозначая канонические импульсы, сопряженные переменным u i че-
рез vi , i = 1, . . . , n, запишем гамильтониан свободного движения точки
единичной массы на эллипсоиде
Xn
A(uk )vk2
H =2 ,
u U 0 (uk )
k=1 k
n n
(1.12)
Y Y
A(z) = (z − ai ), U (z) = (z − ui ),
i=0 i=1
где U 0 (z) = dU .
dz
8A(u)Qα (u)
R(u) = u .
3. Задача Неймана
Пусть сфера S n вложена в Rn+1 с координатами x = (x0 , . . . , xn )
(x, x) = 1, (1.17)
166 ГЛАВА 3
Ниже мы приведем более удобный способ явно получать эти полиномы при
помощи производящей функции.
§ 1. РАЗДЕЛЕНИЕ ПЕРЕМЕННЫХ. МЕТОД ГАМИЛЬТОНА – ЯКОБИ 169
Частные случаи:
1) ϕ = 0 — задача Якоби,
2) N = 0, c0 = 1,
V2 (x0 , . . . , xn ) = x20 + . . . + x2n + const
A−1 (z)
Φz (x ) = . (1.36)
P
n x2µ
1−
µ=0
aµ − z
При этом для полиномиальных потенциалов (типа (1.37), (1.38)) можно по-
лагать u0 = 0, это упрощает запись потенциалов в эллиптических координа-
тах на эллипсоиде. Для рациональных потенциалов (типа (1.39)) вследствие
выбора производящей функции в виде (1.36) необходимо полагать u 0 6= 0.
Замечание. В работе [193] приведены в наиболее простой форме
потенциалы шестой и восьмой степени:
X
n 3 Xn X
n Xn
V6 = x2µ − 2 x2µ aµ x2µ + a2µ x2µ ,
µ=0 µ=0 µ=0 µ=0
X
n 4 X
n 2 X
n
V8 = x2µ −3 x2µ aµ x2µ +
µ=0 µ=0 µ=0
X
n X
n X
n 2 n
X
+2 x2µ a2µ x2µ + a2µ x2µ − a3µ x2µ .
µ=0 µ=0 µ=0 µ=0
§ 1. РАЗДЕЛЕНИЕ ПЕРЕМЕННЫХ. МЕТОД ГАМИЛЬТОНА – ЯКОБИ 173
A−1 (z)
Φz (x ) = . (1.40)
P
n x2µ
µ=0
z − aµ
X
n 2 n
X
V4 = aµ x2µ − a2µ x2µ =
µ=0 µ=0
n
X X
n X
n Xn
= ui uj − ui aµ + aµ aν
i<j i=0 µ=0 µ<ν
Рациональный потенциал:
X n Qn
x2µ −1 µ=0 aµ
V−2 = am u = Q n ,
µ=0 i=1 ui
X n Qn Pn
n
x2µ −2 X 1
Xn
x2µ Xn
x2µ µ=0 aµ i<j ui uj
V−4 = aµ aµ aµ − 2
= Qn 2
µ=0 µ=0 µ=0
a
µ=0 µ i=1 ui
ẋ = v (x ), x = (x1 , . . . , xn ) (2.1)
эволюционируют по закону
−k1 −k2 0 −M3
L= , A= , (2.14)
−k2 k1 M3 0
− − C D
180 ГЛАВА 3
где
M1 M12 + M22 M3 γ3
f1 = 1 , f2 = , f3 = , g1 = 2
, g2 = ,
M2 M2 M2 M2 M2
g3 = − 2 (M12 + M22 )M3 + M1 γ3 ,
M2
s1 = 1 (f3 + h1 f1 )2 − 4c3 f1 f2 − (c4 + h2 )f12 − 4h1 f22 ,
2
s2 = −2c3 (f3 + h1 f1 )f2 − (c4 + h2 )f22 − c23 f 2 , T1 = 1 (−g1 g2 + g22 ),
2
1 2 2
T2 = (h1 g1 − g3 ) − (c4 + h2 )g1 + 4c3 g1 g2 .
4
Выражение для функции P5 (s) в (2.15) имеет вид
2
2P5 (s) = (s) (s) − (s).
Отметим, что переменные типа f , g использовались Хайне и Хорозо-
вым [126] для установления взаимосвязи между волчком Ковалевской и за-
дачей Неймана (см. далее). Они также предложили использовать соответ-
ствующую известную L–A-пару задачи Неймана для анализа волчка Кова-
левской. При этом преобразование [126] имеет комплексную форму.
Другая L–A-пара 2 × 2 для волчка Ковалевской на всем пучке ско-
бок (2.13), построенная при помощи r-матричного подхода, была недавно
предложена В. Б. Кузнецовым [154], мы ее рассмотрим в § 4. К сожале-
нию, на этом пути пока не удалось получить каких-либо нетривиальных
§ 2. ПЕРЕМЕННЫЕ КОВАЛЕВСКОЙ И ИХ ОБОБЩЕНИЯ. L–A-ПАРЫ 2 × 2 181
с гамильтонианом
K = K12 + K22 ,
где
K1 = M12 − M22 − 2C1 γ1 + 2C2 (γ3 M2 − γ2 M3 ) − C22 ,
(2.17)
K2 = 2M1 M2 − 2C1 γ2 + 2C2 (γ1 M3 − γ2 M1 ).
Разделение переменных для случая (2.16), (2.17) было получено В. В. Соко-
ловым и А. В. Цыгановым, которые обобщили рассуждения из [126]. Дей-
ствительно, рассмотрим преобразование
ṙ = l × r , l̇ = Qr × r , (2.18)
где !
b+2 iC1 l i(b − 2)
Q= iC1 l H −C1 l ,
i(b − 2) −C1 l −b − 2
b = K − 4C12 a + 4C22 (l2 − Ha) − C22 a2 .
Система (2.18) после ортогонального преобразования координат сводится
к системе Неймана, интегралы которой (являющиеся квадратичными по
импульсам) связаны с интегралами (2.16), (2.17) формулами
e = 1 (l , l ) − (Qr , r ) = 2H + 2C 2 a,
H 2
2
e = 2(Ql , l ) + det Q(Q−1 r , r ) = K − C 4 a2 .
K 2
n
X λβk λ̇k p
µk = δβ,α , β = 0 . . . n − 1, µk = R(λk ), (3.2)
k=1
где R(λ) = − det L(λ). При этом полином v(λ) при помощи интерпо-
ляционной формулы Лагранжа представляется в форме
n
X Y λ − λi
v(λ) = µk . (3.3)
λk − λ i
k=1 i6=k
∆α
k
p
λ̇k = R(λk ), k = 1 . . . n, α = 0 . . . n − 1, (3.4)
∆
где
1 1 ... 1
λ λ ... λ
∆ = det S = det . . .1. . . . . . 2. . . . . . . . . . .n. . ,
λ1n−1 λ2n−1 . . . λnn−1
§ 3. УРАВНЕНИЯ АБЕЛЯ – ЯКОБИ, L–A ПАРЫ 2×2 185
n−1
!
X
R(λ) = Φ(λ) Hα λα + Ψ(λ) , (3.6)
α=0
n−1 n+m
!
X X
α β
R(λ) = Φ(λ) Hα λ + Jβ−n z ,
α=0 β=n
{Q(λ), Q(λ0 )} = 0.
откуда
n n n
X λβk {λk , Q(λ)} X Y λ − λl
= λβk = λβ .
ϕ(λk , µk ) ∂F (λk , µk ) λk − λ l
k=1 k=1 l6=k
∂µk
С другой стороны,
u̇(λ) = {u(λ), Q(λ0 )}, v̇(λ) = {v(λ), Q(λ0 )}, ẇ(λ) = {w(λ), Q(λ0 )}.
λ
Раскладывая (λ0 − λi )−1 по степеням i0 , можно получить следующее соот-
λ
ношение
∞
X λα Xn
u(λ0 ) i 0α u(λi )
= u(λ i ) + λ . (3.18)
λ0 − λ i α=0
λ0α α=0 λα+1
i +
+ λα+1
+
λ0α
Aλ0 (λ)= + +
.
ϕ(λ, v(λ))w(λ) u(λ) ϕ(λ, v(λ))v(λ) u(λ)
α=0 −
u(λ) λα+1
+
+
u(λ) λα+1
+
+
192 ГЛАВА 3
5. Система Неймана
В избыточных канонических переменных xi , yi ({xi , yj } = δij ) гамиль-
тониан системы имеет вид:
H = 1 y 2 x 2 − (y , x )2 − k (x , Ax ), (3.20)
2 2
где A = diag(a1 , . . . , ak ), а сфера задается уравнением x 2 = 1. Зная из-
вестное разделение переменных в сфероконических координатах, несложно
подобрать матрицу L(λ) вида (3.15) (см. [160], а также § 3 гл. 2)
n
X n
Y
Φ(λ) xi y i x2i
L(λ) = , Φ(λ) = (λ − bi ).
λ − bi k(λ − bi ) − yi2 −xi yi
i=1 i=1
Несложно показать, что матрица A(λ) для системы Неймана (3.20) соот-
ветствует матрице An−1 (λ) в уравнении (3.1) и имеет вид
0 1
An−1 (λ) = .
kλ − y 2 0
z = 1 M 2 − B2 p, B2 = diag(b2 + b3 , b3 + b1 , b1 + b2 ),
2
семейство интегралов можно записать в параметрической форме, указанной
Кёттером [148]
3
X
e
Q(λ) = (λ − bi )(zi + λpi )2 =
i=1 (3.23)
= p 2 λ3 + (M , p) − p 2 Tr B λ2 + 1 H
e λ − 1H
e ,
2 L 2 S
где
e L = HL − (M , p) det B Tr B−1 + 2p 2 det B,
H
He S = HS − (M , p) Tr B + 2p 2 det B Tr B−1 .
Помимо этого Кеттер также указал переменные, в которых уравнения дви-
жения систем (3.21) принимают вид Абеля – Якоби (3.2), (3.5).
194 ГЛАВА 3
откуда
3 3
p
xi X X R(λk )
yi + λvi = P (λ − cα )Yα Q ,
Yα α=1 k=1
(cα − λk )(bi − λk ) (λk − λj )
α j6=k
p
(cα − λ1 )(cα − λ2 )(cα − λ3 )
Yα = Q .
(cα − cβ )
β6=α
H = 1 (M , M ) + (γ, Aγ),
2 (3.26)
F4 = (M , AM ) − a1 a2 a3 (γ, A−1 γ),
§ 3. УРАВНЕНИЯ АБЕЛЯ – ЯКОБИ, L–A ПАРЫ 2×2 197
1. r-матричный формализм
Предположим, что мы имеем интегрируемое семейство гамильтоновых
систем, заданных уравнениями
∂Hj ∂Hj
ẋ = , ṗ = − , j = 1, . . . , n,
∂p ∂x (4.1)
x = (x1 , . . . , xn ), p = (p1 , . . . , pn ),
с коммутативным семейством гамильтонианов H1 , . . . , Hn , которые явля-
ются первыми интегралами каждого представителя j семейства (4.1)
{Hi , Hj } = 0, i, j = 1, . . . , n. (4.2)
Как и ранее, мы будем называть систему (4.1), (4.2) разделимой в перемен-
ных x , p, если существует n соотношений вида
Φj (xj , pj , H1 , H2 , . . . , Hn ) = 0, j = 1, . . . , n, (4.3)
связывающих пару (xj , pj ) при фиксированных значениях первых интегра-
лов H1 , . . . , Hn . Это определение является более общим, чем в § 1, т. к.
допускает не только конфигурационные, но и фазовые канонические пре-
образования координат. Мы уже останавливались в § 2 на таком обобщении.
Функции Φj называются разделяющими, а уравнения (4.3) соответственно
разделенными уравнениями (см. также § 1). В частном случае вид Φ j может
не зависеть от j.
Изложим теперь основы метода явного интегрирования системы в
функциях Бейкера – Ахиезера, предположив, следуя методу обратной зада-
чи теории рассеяния, что наше коммутативное семейство гамильтонианов
H1 , . . . , Hn получается как спектральные инварианты некоторой матрицы
L(u) размера N × N , элементы которой функции от динамических пере-
менных (x , p) и дополнительного параметра u, называемого спектральным.
Это значит, что Hj могут быть получены из коэффициентов tn (u) разложе-
ния характеристического полинома W (z, u) матрицы L(u)
N
X
W (z, u) = det(z − L(u)) = (−1)n tn (u)z N −n ,
n=0 (4.4)
n
Y
t0 (u) = 1, tn (u) = tr L(u), tN (u) = det L(u).
Характеристическое уравнение
W (z, u) = 0 (4.5)
§ 4. МЕТОД r-МАТРИЦЫ, ИНТЕГРИРУЕМЫЕ СИСТЕМЫ 201
[r12 (u), r13 (u + v)] + [r12 (u), r23 (v)] + [r13 (u + v), r23 (v)] = 0.
§ 4. МЕТОД r-МАТРИЦЫ, ИНТЕГРИРУЕМЫЕ СИСТЕМЫ 203
где Ej,k — матрица, элемент которой, стоящий в j-й строке и k-м столбце,
равен единице, а остальные элементы равны нулю. Гамильтониан цепочки
Тоды получается следующим образом
X n
H = 1 tr L(λ) = 1 p2i + ai eqi −qi+1 . (4.18)
2 2
i=1
B(λ) = BN −1 λN −1 + . . . + B0 ,
(4.24)
C(λ) = CN −1 λN −1 + . . . + C0 ,
D(λ) = DN −2 λN −2 + . . . + D0 ,
т. е. фазовое пространство определено переменными
A0 , . . . , AN −1 , B0 , . . . , BN −1 , C0 , . . . , CN −1 , D0 , . . . , DN −2 .
B(λ) = BN −1 λ2N −1 + . . . + B1 λ3 + B0 ,
(4.25)
C(λ) = λ2N +1 + CN λ2N −1 + CN −2 λ2N −3 + . . . + C0 λ,
D(λ) = A(−λ),
A0 , . . . , A2N , B0 , . . . , BN −1 , C0 , . . . , CN −1 .
для второй
d(λ) = d2N λ4N + . . . + d1 λ2 + d0 . (4.28)
В первом случае число функций Казимира равно 2N − 1, во втором 2N + 1.
При этом в обоих случаях размерность симплектического листа равна 2N .
Введем на симплектических листах обеих скобок канонические координаты
pi , qi , i = 1, . . . , N , которые оказываются разделяющими для нескольких
рассмотренных далее задач.
§ 4. МЕТОД r-МАТРИЦЫ, ИНТЕГРИРУЕМЫЕ СИСТЕМЫ 207
pj = η −1 ln B(qj ). (4.30)
Остальные переменные в (4.24) выражаются через (4.29), (4.30) по форму-
лам
N
λ − qk
XN Y
B(λ) = eηpj ,
qj − q k
j=1 k6=j
N
λ − qk
N
X Y
C(λ) = − d(qj )e−ηpj , (4.31)
qj − q k
j=1 k6=j
d(λ) + B(λ)C(λ)
D(λ) = .
A(λ)
Линейное по фазовым переменным (4.24), (4.25) коммутативное семейство
на алгебре (4.24) можно построить, используя коэффициенты tr KL(λ), где
K является произвольной числовой матрицей.
2. Для второй скобки в качестве переменных qi необходимо взять нули
многочлена (как заметил И. В. Комаров)
N
Y
C(λ) = λ (λ2 − qj2 ), (4.32)
j=1
(λ) = bM λ + bM −1 λ + . . . + b0 ,
M M −1
(λ) = cM λ + cM −1 λ + . . . + c0 ,
(qk ) = k = 1, . . . , N,
i=N i=0
(4.40)
где d(qk ) = det L(qk ).
Второе семейство (для скобки (4.15), (4.25)).
Аналогично введем матрицу Le = KL,
0, . . . , ,
M −1 0I , . . . , I N −1
лением
NX
+M N
X
b
tr L(λ) = bi−N λ2k + Ik λ2k + a0 d0 , (4.42)
i=N +1 k=1
где bi ∈ C, d0 = A0 — функция Казимира.
Аналогично предыдущему справедлива следующая
210 ГЛАВА 3
X n X n
H=1 p2i + ai eqi −qi−1 + a1 eq1 −qn , (4.44)
2
i=1 i=2
p1 + p2 + p3 = const.
x1 = q 1 − q 3 , x 2 = q 2 − q 3 , x 3 = q 3 ,
(4.45)
y1 = p 1 , y2 = p 2 , y3 = p 1 + p 2 + p 3 .
Редуцированный гамильтониан
∂Si
(ui , h1 f ) = Vi (ui , h1 f ),
∂ui
с дополнительным интегралом
При этом
tr L(u) = u6 + 1 u4 + 2 u2 + 2δ,
1 = 2A4 + C3 , 2 = 2A2 + C1 , { 1, 2} = 0.
Теперь необходимо построить вложение первоначального фазового про-
странства (M , γ) в новое, определяемое матрицей (4.55). В явном виде
216 ГЛАВА 3
2
A4 = − 1 (X 2 + M32 − x b ), (4.59)
2 2
2 2 2
A2 = M (X 2 + M32 ) + bγ2 M3 X − bγ1 M32 + b (xM32 − γ32 + a ), (4.60)
2 2 2
2 2
A0 = − b l , A3 = − i (X 3 + (M32 + bγ1 − xb2 )X + bγ2 M3 ), (4.61)
4 2
+ M34 (M 2 −2bγ1 )−b2 M32 (γ32 −γ12 +x(M12 +M22 ))+xb4 γ32 , (4.68)
где
M1 M3 + bγ3
X= , M 2 = M12 + M22 + M32 . (4.69)
M2
ė
L(u) e
= −i[L(u), A(u)],
(4.70)
u 2A4
A(u) = .
2 −u
§ 4. МЕТОД r-МАТРИЦЫ, ИНТЕГРИРУЕМЫЕ СИСТЕМЫ 217
b0 + c0 = iβ0 , b0 − c 0 = α 0 , b1 + c1 = iβ1 , b1 − c 1 = α 1 ,
pi → pi + ϕ(qi ), qi → qi ,
∂Si
= Pi (qi , h, f ), i = 1, 2.
∂qi
При этом уравнения движения (1.7) приобретают вид типа уравнений Абе-
ля – Якоби:
2
X 2
X
∂ P (q , h, f ) = 1, ∂ P (q , h, f ) = 0. (4.78)
i i i i
∂h ∂f
i=1 i=1
M 1 → M 1 + 1 α2 γ 2 , M 2 → M 2 + 1 β2 γ 3 , M 3 → M 3 − 1 α 2 γ 1 − 1 β2 γ 2 ,
2 2 2 2
гамильтониан (4.82) приобретает более привычный вид
F1 = s 2 = c 1 , F2 = t 2 = c 2 .
где
1 0 0 0
0 0 1 0 1 2
r(λ − ν) = i , L(λ) = L(λ) ⊗ E, L(ν) = E ⊗ L(ν).
0
λ−ν 0 1 0
0 0 0 1
1 2 1 2
{K(λ), K(ν)} = [r(λ − ν), K(λ)K(ν)]+
1 2 2 1
+K(λ)r(λ + ν)K(ν) − K(ν)r(λ + ν)K(λ) = 0, (4.92)
1 2
K(λ) = K(λ) ⊗ E, K(ν) = E ⊗ K(ν).
При этом сама матрица K−1 − (λ) соответствует второй скобке Скляни-
на (4.25).
Простейшие решения уравнений (4.92), линейные по λ, имеют вид
a1 λ+a0 (b1 +ic1 )λ d1 λ+d0 (b0 +ic0 )λ
K+ = , K− = .
(b1 −ic1 )λ −a1 λ+a0 (b0 −ic0 )λ −d1 λ+d0
(4.93)
Соответствующее инволютивное семейство получается при разложении
по λ
{H, K} = 0.
§ 4. МЕТОД r-МАТРИЦЫ, ИНТЕГРИРУЕМЫЕ СИСТЕМЫ 225
(y, A−1 y)
ẋ = y, ẏ = − A−1 x . (A.3)
(A−1 x, A−1 x)
A. АНАЛОГИЯ СИСТЕМЫ КЛЕБША – ПЕРЕЛОМОВА И ЗАДАЧИ ЯКОБИ 227
L̇ = L ∂H + y ∂H − ∂H y, ẏ = − ∂H y.
∂L ∂y ∂y ∂L
A. АНАЛОГИЯ СИСТЕМЫ КЛЕБША – ПЕРЕЛОМОВА И ЗАДАЧИ ЯКОБИ 229
F (L)
H= , H 0 = F (L) − B(y).
B(y)
H = 1 (M ,A (γ) M ) , (B.6)
2
с помощью отображения (B.5) переносится на T ∗ R3 , где функция Гамильто-
на имеет вид (B.4). Коэффициенты матриц A и B связаны соотношениями
−1 −1 −1 −1
Akl εkim εljn = Bij Bmn − Bim Bjn ,
v = J∇H, e
ve = J∇H,
где J — тензор пуассоновой структуры. Поскольку поверхности уров-
ня совпадают, на них выполняется соотношение ∇H = λ(x )∇ H e и,
следовательно,
v (x ) = λ(x )e
v (x ).
a1 dq 2 + a2 dq22 + a3 dq32
ds2 = a ah a −1 21 .
1 2 3 a
1q + a−1 q 2 + a−1 q 2
1 2 2 3 3
B. ИНТЕГРИРУЕМЫЕ ГЕОДЕЗИЧЕСКИЕ ПОТОКИ 233
Дополнительный интеграл
а соответствующую метрику на S 2
он порождает метрику
h + a−1 2 −1 2 −1 2 2 2 2
1 q1 + a2 q2 + a3 q3 a1 dq1 + a2 dq2 + a3 dq3
ds2 = a1 a2 a3 . (B.10)
a−1 2 −1 2 −1 2
1 q1 + a 2 q2 + a 3 q3
Как показано в работе [38] (см. также приложение A), при h = 0 случай
Клебша и соответствующий геодезический поток траекторно эквивалентны
234 ПРИЛОЖЕНИЯ
x2 y2 z2
a1 + a2 + a3 = 1. (B.11)
q3 M1
Fe = M3 M12 + M22 − M12 + M22 + 4M32 .
2(h − q1 )
dµ|x : Tx∗ X → g ∗ .
b
ker dµ|x = {a ∈ Tx X | ω(a, ξ(x)) = 0, ∀ξ ∈ G}.
gb : V → V, v → gb(v).
(x, p) → (b g ∗ −1 (e
g(x), π(b p))).
b
hξ (x, p) = hp, ξ(x)i,
{hξ , ha } = h[ξ,a] ,
βγ3 + αγ2
H = 1 M 2 − µ1 p −
2 γ1 + β γ22 + α2 γ32 − 2αβγ2 γ3
2 2
При x > 0 воспользуемся тем, что группа (E.2) изоморфна SO(4), алгебра
Ли которой допускает вещественное разложение so(4) = so(3) ⊕ so(3). Для
скобок Пуассона получим
K = 1 M + √1 γ , S = 1 M − √1 γ ,
2 x 2 x (E.6)
{Ki , Kj } = εijk Kk , {Si , Sj } = εijk Sk , {Ki , Sj } = 0.
E. АЛГЕБРАИЧЕСКИЕ ПРЕОБРАЗОВАНИЯ СКОБОК ПУАССОНА 261
K 0 = Q1 K , S 0 = Q2 K , Q1 , Q2 ∈ so(3),
Q1 + Q 2 Q1 − Q 2
M0 = M + √1 γ,
2 x 2
(E.7)
0
√ Q1 − Q 2 Q1 + Q 2
γ = x M+ γ.
2 2
(M , γ) = lx , γ 2 + xM 2 = cx , (E.8)
l → l + ϕ(L), L, G, g → L, G, g.
M 0 = QM , γ 0 = Qγ,
!
cos ϕ(M3 ) sin ϕ(M3 ) 0 (E.10)
Q = − sin ϕ(M3 ) cos ϕ(M3 ) 0 .
0 0 1
H 0 = 1 (M102 + M202 + 2M302 ) + a γ10 cos ϕ(M30 ) − γ20 sin ϕ(M30 ) . (E.11)
2
γ2 γ1 γ2
H = M12 + M22 + 2M32 + δ 2
+ 2a0 M3 + α1 + β1 −
γ3 |γ| |γ|
2 2
− α 2 β2
γ1 γ2
− 1 (α2 − β 2 ) γ1 − γ2 . (E.16)
2 2
γ2 4 γ2
264 ПРИЛОЖЕНИЯ
M1 M2 M 2 − M12 M3
M10 = p , M20 = p 2 , M30 = .
M12 + M22 2 M12 + M22 2
b2 γ + c2 (γ, M )M − bc(γ × M )
M → M, γ→y = , (E.19)
b(b2 + c2 M 2 )
где полагаем, что M , γ удовлетворяют соотношениям (E.1) при x 6= 0.
Скобки для новых переменных имеют вид
{Mi , Mj } = εijk Mk , {Mi , yj } = εijk yk ,
xb + b c (γ + xM 2 ) + c4 (γ, M )2
4 2 2 2 (E.20)
{yi , yj } = εijk Mk .
b2 (b2 + c2 M 2 )2
Если b и c удовлетворяют уравнению
xb4 + b2 c2 cx + c4 lx2 = 0,
E. АЛГЕБРАИЧЕСКИЕ ПРЕОБРАЗОВАНИЯ СКОБОК ПУАССОНА 265
γ → γ 0 = γ, M → M 0 = M + g (x ),
а также
γ → γ 0 = γ + Q(γ)M , M → M0 = M
содержится в [84].
F. НЕОБХОДИМЫЕ И ДОСТАТОЧНЫЕ УСЛОВИЯ ИНТЕГРИРУЕМОСТИ 267
X n m
X
H=1 p2i + U (q ), U (q ) = vk e(ak ,q ) , (F.1)
2
i=1 i=1
∆ = {a1 , . . . , am } (F.2)
2(e
ai , aj )
∈ −Z+ , (F.3)
(e ei )
ai , a
4(ai , aj )2
4 cos2 ϕij = ∈ {0, 1, 2, 3, 4}. (F.4)
(ai , ai )(aj , aj )
X 4
H=1 p2i + v1 e−q1 −q4 + v2 eq1 −q2 + v3 eq2 −q3 +
2 (F.6)
i=1 1
q3 (−q1 −q2 −q3 +q4 )
+v4 e + v5 e2
для первой схемы и
X 4
H=1 p2i + v1 e−q1 −q4 + v2 eq1 −q2 + v3 eq2 −q3 +
2 (F.7)
i=1
+v4 e2q3 + v5 e−q1 −q2 −q3 +q4
для второй.
270 ПРИЛОЖЕНИЯ
5
X
в) U (q ) = vi eqi+1 −qi +
i=1
1 1
(q1 +q2 +q3 −q4 −q5 −q6 − √ q7 ) √
2 2 2q7
+ v6 e + v7 e
5
X
г) U (q ) = vi eqi+1 −qi +
i=1
1
(q1 −q2 −q3 −q4 −q5 −q6 −q7 +q8 )
+ v6 e 2 + v7 eq7 −q8 +
+ v8 eq1 +q2
6
X
д) U (q ) = vi eqi+1 −qi +
i=1
1
(q1 −q2 −q3 −q4 −q5 −q6 −q7 +q8 )
+ v7 e 2 +
+ v8 e−q7 −q8 + v9 eq1 +q2
е) см. (F.7)
ж) см. (F.6)
n−1
X
з) U (q ) = vi eqi+1 −qi + vn eq1 +q2 +
i=1
+ vn+1 e−qn + vn+2 e−2qn , n>3
n−1
X
и) U (q ) = vi eqi+1 −qi + vn eq1 + vn+1 e2q1 +
i=1
+ vn+2 e−qn + vn+3 e−2qn , n>2
√
л) U (q ) = v1 eq1 + v2 e2q1 + v3 e3q1 + v4 e 3q2
+
√
3 3
q1 − q
+ v5 e2 2 2
272 ПРИЛОЖЕНИЯ
X n X n−2
H=1 p2i + vi eqi+1 −qi + 1 a2 vn vn−1 (eqn −qn−1 + e−qn −qn−1 )−
2 2
i=1 i=1 (F.14)
−α0 e q1
− 1 (α21 + β1 )e2q1 .
2
При n > 2 он, как несложно проверить, соответствует диаграмме з), а при
n = 2 — диаграмме к). Приведенное построение интегрируемой систе-
мы (F.14) имеется в работе [75], в которой, однако, не отмечена ее связь
с ранее найденной системой к) [42] и предположительно интегрируемой
системой з) [41, 42].
Замечание ([75]). При a1 6= 0 и a2 6= 0 к гамильтониану добавляются
слагаемые вида
a ch qn + 1 a 1 ,
∆H = a0 − 1
2 2
sh qn 2a 2 sh2 qn
л0 )
Рис. 4. Сечение Пуанкаре (на плоско- Рис. 5. Сечение Пуанкаре (на плоско-
сти q2 , p2 ) для частного случая це- сти q2 , p2 ) для частного случая це-
почки л), соответствующего диаграм- почки л), соответствующего диаграм-
ме . Параметры потенциала,
указанного в случае л), равны v1 = v3 = ме . Параметры потенциа-
= 0, v2 = 20, v4 = v5 = 0.1, посто-
янная интеграла энергии имеет значение ла л) выбраны следующим образом v1 =
h = 30. На рисунке приведено сечение = v3 = 20, v2 = 0, v4 = v5 = 0.1, посто-
фазового потока плоскостью q1 = 0 янная интеграла энергии равна h = 80.
На рисунке приведено сечение фазового
потока плоскостью q1 = 0
Рис. 6. Для сравнения приводим сечение Пуанкаре предыдущего случая (рис. 5) при
тех же значениях параметров, при этом дополнительно положено в случае а) v1 = 0,
а в случае б) v3 = 0. Оба случая, как было сказано выше, интегрируемы и соответ-
ствуют диаграммам л0 )
276 ПРИЛОЖЕНИЯ
(1)
1 An An случай а)
(1)
2 Bn Bn частный случай з)
(1)
3 Cn Cn частный случай и)
(1)
4 Dn Dn случай б)
(2)
5 Dn+1 — частный случай и)
(2)
6 A2n−1 — частный случай з)
(2)
7 A2l — частный случай и)
F. НЕОБХОДИМЫЕ И ДОСТАТОЧНЫЕ УСЛОВИЯ ИНТЕГРИРУЕМОСТИ 277
Аффинная алгебра
Ли (Адлер-ван
Простая алгебра Классификация
Диаграмма Дынкина Мербеке, Рейман –
(О. И. Богоявленский) Козлова – Трещева
Семенов-Тян-
Шанский)
(1)
8 E6 E6 случай в)
(1)
9 E7 E7 случай г)
(1)
10 E8 E8 случай д)
(1)
11 F4 F4 случай ж)
(1)
12 E6 — случай е)
(1)
13 G2 G2 частный случай л)
(3)
14 D4 — частный случай л)
Список литературы
[1] Абловиц М., Сигур Х. Солитоны и метод обратной задачи. М.: Мир,
1987. Пер. с англ.: Ablowitz M., Segur H. Solitons and the Inverse
Scattering Transform. SIAM, 1981.
[2] Арнольд В. И. Математические методы классической механики. M.:
Наука, 1991.
[3] Арнольд В. И. Гамильтоновость уравнений Эйлера динамики твер-
дого тела и идеальной жидкости. Усп. мат. наук. т. 24, 1969, №3,
с. 225–226.
[4] Арнольд В. И., Козлов В. В., Нейштадт А. И. Математические аспек-
ты классической и небесной механики. В кн. Совр. пробл. матем.
Фундаментальные направления. М.: ВИНИТИ, 1985, т. 3, 304 c.
[5] Белавин А. А., Дринфельд В. Г. О решениях классического уравнения
Янга – Бакстера для простых алгебр Ли. Функц. анал. и прил., 1982,
т. 16, вып. 3, с. 1–29.
[6] Беляев А. В. О движении многомерного тела с закрепленной точкой
в поле силы тяжести. Мат. сборник, т. 114, 1981, №3, с. 465–470.
[7] Бобенко А. И. Уравнения Эйлера на алгебрах e(3) и so(4). Изоморфизм
интегрируемых случаев. Функц. анал. и прил., т. 20, вып. 1, с. 64–66.
[8] Богоявленский О. И. Интегрируемые случаи динамики твердого тела
и интегрируемые системы на сферах S n . Изв. АН СССР, сер. мат.,
т. 49, 1985, №5, с. 899–915.
[9] Богоявленский О. И. Опрокидывающиеся солитоны. Нелинейные ин-
тегрируемые уравнения. М.: Наука, 1991.
[10] Болсинов А. В. Согласованные скобки Пуассона на алгебрах Ли и
полнота семейств функций в инволюции. Изв. АН СССР, сер. мат.,
т. 55, 1991, №1, с. 68–92.
[11] Болсинов А. В., Борисов А. В. Представление Лакса и согласованные
скобки Пуассона на алгебрах Ли. Мат. замет., 2002, т. 72, вып. 1,
с. 11–34.
СПИСОК ЛИТЕРАТУРЫ 279
[184] Tsiganov A. V. On the invariant separated variables. Reg. & Chaot. Dyn.,
v. 6(3), p. 307–326, 2001.
[185] Tsiganov A. V. On the Kowalevski-Goryachev-Chaplygin gyrostat. J. Phys.
A, v. 35, p. 309–318, 2002.
[186] Tsiganov A. V. On integrable deformation of the Poincare system. Reg. &
Chaot. Dyn., 2002, v. 7, №3, p. 331–337.
[187] Turiel F. G. Classification locale d’un couple des formes sympléctiques
Poisson-compatible. C. R. Acad. Sci. Paris. Sér. I., 1989, v. 308, p. 575–
578.
[188] Uhlenbeck K. Minimal 2-spheres and tori in S k . Preprint, 1975.
[189] Vanhaecke P. Linearising two dimensional integrable systems and the
construction of action-angle variables. Math. Z., v. 211, p. 265–313, 1992.
[190] Vanhaecke P. Integrable systems in the realm of algebraic geometry.
Lecture Notes in Mathematics, v. 1638, Springer-Verlag, 1996.
[191] Veselov A. P. Two remarks about the connection of Jacobi and Neumann
integrable systems. Math. Z. 1994, v. 216, p. 337–345.
[192] Volterra V. Sur la theorie des variations des latitudes. Acta Math., v. 22,
1899, p. 201–358.
[193] Wojciechowski S. Integrable one-particle potentials related to the
Neumann system and the Jacobi problem of geodesic motion on an
ellipsoid. Phys. Lett., v. 107A, №3, p. 106–111.
[194] Yoshida H. Necessary condition for the existence of algebraic first
integrals. Celest. Mech., v. 31, №4, 1983, р. 363–379. р. 381–399.
[195] Yoshida H. A criterion for the non-existence of an additional integral in
hamiltonian system with a homogeneous potential. Physica 29D, 1987,
р. 128–132.
Предметный указатель
Дизайнер М. В. Ботя
Технический редактор А. В. Широбоков
Корректор М. А. Ложкина