И МАТЕМАТИЧЕСКАЯ
ФИЗИКА
Том 151, № 1
апрель, 2007
c 2007 г. В. В. Цегельник∗
ГАМИЛЬТОНИАНЫ, АССОЦИИРОВАННЫЕ
С ШЕСТЫМ УРАВНЕНИЕМ ПЕНЛЕВЕ
Получена формула, определяющая общий вид полиномиальных гамильто-
нианов, ассоциированных с шестым уравнением Пенлеве, и доказана ее един-
ственность. Доказано существование гамильтонианов неполиномиального типа,
ассоциированных с данным уравнением. Выделен класс гамильтонианов, для
которых определяющее их дифференциальное уравнение совпадает с уравнени-
ем (h-уравнением) для простейшего полиномиального гамильтониана (гамиль-
тониана Окамото).
1. ВВЕДЕНИЕ
В 1884 г. Пуанкаре и Л. Фуксом была сформулирована проблема поиска новых
неприводимых уравнений, которые могли бы определить новые специальные функ-
ции. В 1887 г. Пикар для решения этой проблемы предложил рассмотреть урав-
нения второго порядка определенного класса. Указанная проблема была решена
в начале ХХ века в серии работ Пенлеве и Гамбье по классификации обыкновен-
ных дифференциальных уравнений второго порядка, общие решения которых не
имеют подвижных критических особых точек. Позднее данное свойство решений
стали называть P -свойством, а уравнения с P -свойством решений – уравнениями
типа Пенлеве или P -типа.
В настоящей работе рассматривается шестое уравнение Пенлеве
2
d2 w
1 1 1 1 dw 1 1 1 dw
= + + − + + +
dz 2 2 w w−1 w−z dz z z−1 w−z dz
w(w − 1)(w − z) z z−1 z(z − 1)
+ 2 2
α+β 2 +γ 2
+δ , (1)
z (z − 1) w (w − 1) (w − z)2
54
ГАМИЛЬТОНИАНЫ, АССОЦИИРОВАННЫЕ С ШЕСТЫМ УРАВНЕНИЕМ ПЕНЛЕВЕ 55
включил данное уравнение в число уравнений, которые известны сейчас как шесть
трансцендентных уравнений Пенлеве.
Уравнение (1) можно рассматривать с различных точек зрения [3]. Р. Фукс пред-
ложил два подхода к исследованию уравнения (1) [1], [4]. Один из его подходов
связан с концепцией изомонодромных деформаций. С этой точки зрения уравне-
ние (1) интерпретируется как дифференциальное уравнение, описывающее изомоно-
дромные деформации линейного обыкновенного дифференциального уравнения на
сфере Римана. Данный подход послужил источником для многочисленных исследо-
ваний, касающихся не только уравнения (1), но и остальных пяти трансцендентных
уравнений Пенлеве.
Другой подход связывает уравнение (1) с неполным эллиптическим интегралом.
При этом следует отметить, что эллиптическое представление уравнения (1) было
первоначально введено Пенлеве [5]. Он получил новое представление уравнения (1)
в терминах ℘-функции Вейерштрасса. Указанные результаты Пенлеве позже были
кратко проанализированы в работе Окамото [6], посвященной симметриям аффин-
ной группы Вейля. Некоторые алгебраические и геометрические свойства эллипти-
ческого представления уравнения (1) были исследованы в работе [7]. Аналитические
свойства решений уравнения (1) (связанные с эллиптическим представлением) при
произвольных значениях α, β, γ, δ были рассмотрены в работе [8].
Уравнение (1) и его решения обладают рядом важных и интересных свойств.
1. Уравнение (1) имеет группу дискретных преобразований [9]. Порядок данной
группы равен 24.
2. Существуют семейства рациональных [10], [11] и алгебраических [12] решений
уравнения (1) при определенных значениях параметров.
3. Уравнение (1) при определенных значениях входящих в него параметров имеет
однопараметрические семейства решений, выражающихся через гипергеометриче-
ские функции [13]–[16].
4. Существует ряд форм преобразований Беклунда уравнения (1) [10], [16], [17].
5. Уравнение (1) (при определенных значениях параметров) имеет однопарамет-
рические семейства решений [9]–[11]. Эти семейства решений связаны с помощью
преобразований, указанных в п. 4, с соответствующими известными однопарамет-
рическими семействами решений, указанными в п. 3.
6. Уравнение (1) возникает как автомодельная редукция уравнений, интегриру-
емых методом обратной задачи рассеяния. В качестве примера отметим две ра-
боты [18], в которых полное уравнение (1) (т.е. с четырьмя произвольными пара-
метрами) возникает как автомодельная редукция нелинейных дифференциальных
уравнений в частных производных.
7. Наличие дискретной группы преобразований и преобразований Беклунда поз-
волило получить [10], [19] новые случаи интегрируемости уравнения (1) в эллипти-
ческих функциях.
56 В. В. ЦЕГЕЛЬНИК
Еще одно важное свойство уравнения (1) состоит в том, что оно, как известно,
представимо (см. первую работу в [20]) в виде системы Гамильтона
dw ∂H(z, w, u) du ∂H(z, w, u)
= , =− (2)
dz ∂u dz ∂w
с полиномиальным относительно w и u гамильтонианом
−1 −1
H = z (z − 1) w(w − 1)(w − z)u2 − θ0 (w − 1)(w − z)u − r1 w(w − z)u +
k 2 − θ∞
2
+ (r2 + 1)w(w − 1)u + (w − z) , (3)
4
где θ02 + 2β = 0, r12 = 2γ, r22 = 1 − 2δ, θ∞
2
= 2α, k = 1 − θ0 − r1 + r2 . Представление
уравнения (1) в виде системы (2) впервые получено в [21], а позже в работах [14], [22].
Следует отметить, что полученные в указанных работах выражения для гамиль-
тонианов совпадают с H (3) с точностью до обозначения параметров, масштабного
преобразования переменной u и зависящей от z функции. В связи с этим оставался
открытым вопрос о существовании других гамильтонианов полиномиального типа,
отличных от указанных выше. Гамильтониан H будем называть простейшим.
Для полноты изложения отметим следующее: уравнение (1) (в случае его эллип-
тического представления [7]) эквивалентно системе Гамильтона с гамильтонианом
в нормальной форме H = p2 /2 + V (q), где потенциал есть линейная комбинация
℘-функции Вейерштрасса и ее сдвига на три полупериода.
Цель настоящей работы состоит в том, чтобы охарактеризовать весь класс поли-
номиальных гамильтонианов, ассоциированных с уравнением (1), а также исследо-
вать вопрос о существовании других (отличных от полиномиальных) гамильтониа-
нов, описать их структуру и некоторые свойства. Решение указанной задачи важно
по двум причинам. Во-первых, ее реализация позволяет описать все классы эквива-
лентных уравнению (1) гамильтоновых систем полиномиального типа. Во-вторых,
гамильтониан H (3) после добавления некоторой линейной функции от z (см. ни-
же) имеет характерную черту, заключающуюся в том, что он (рассматриваемый
как функция от z) удовлетворяет дифференциальному уравнению второго порядка
второй степени (h-уравнение) P -типа [6], [22], [23]. Как будет показано ниже, по-
следнее играет важную роль в различных приложениях. В связи с этим актуальным
является выделение среди гамильтонианов, ассоциированных с уравнением (1), та-
ких гамильтонианов (не обязательно полиномиального типа), что определяющие их
дифференциальные уравнения совпадают с h-уравнением для простейшего гамиль-
тониана H (определение h-уравнения см. ниже).
Статья построена следующим образом. В разделе 2 мы доказываем форму-
лу, определяющую общий вид полиномиальных гамильтонианов, ассоциированных
с уравнением (1), и рассматриваем два частных (важных с точки зрения прило-
жений) случая h-уравнения для простейшего полиномиального гамильтониана H.
В разделе 3 мы выделяем класс ассоциированных с шестым уравнением Пенлеве
гамильтонианов таких, что определяющие их дифференциальные уравнения совпа-
дают с h-уравнением для простейшего полиномиального гамильтониана H. В этом
ГАМИЛЬТОНИАНЫ, АССОЦИИРОВАННЫЕ С ШЕСТЫМ УРАВНЕНИЕМ ПЕНЛЕВЕ 57
2. ПОЛИНОМИАЛЬНЫЕ ГАМИЛЬТОНИАНЫ,
АССОЦИИРОВАННЫЕ С УРАВНЕНИЕМ (1)
Теорема 1. Пусть Pm (z, w), Qn (z, w) – многочлены относительно w степени
m ∈ Z0 и n ∈ Z0 , соответственно, с аналитическими по z коэффициентами такие,
что
∂Pm (z, w) ∂Qn (z, w)
≡ . (4)
∂z ∂w
Тогда множество ассоциированных с уравнением (1) полиномиальных гамильто-
нианов определяется выражением
H1 = z −1 (z − 1)−1 w(w − 1)(w − z)u21 − θ0 (w − 1)(w − z)u1 − r1 w(w − z)u1 +
k 2 − θ∞
2
+ (r2 + 1)w(w − 1)u1 + (w − z) + Qn (z, w), u1 = u + Pm (z, w), (5)
4
с точностью до произвольной (зависящей от z ) функции и преобразования
2) f (z, w) 6≡ 0 и хотя бы одна из функций fk (z, w) 6≡ 0 (считаем, что ∂fl (z, w)/∂w
6≡ 0, если fl (z, w) 6≡ 0), но
e 2 6= f (z, w)(u + Pm (z, w))l + fl−1 (z, w)(u + Pm (z, w)) + Qn (z, w),
H
dw
= lf (u + Pm )l−1 + fl−1 ,
dz (8)
du ∂f ∂Pm ∂fl−1 ∂Pm ∂Qn
=− (u + Pm )l − lf (u + Pm ) − (u + Pm ) − fl−1 − .
dz ∂w ∂w ∂w ∂w ∂w
dw
= p0 (z, w)u + p1 (z, w),
dz (9)
du ∂p2 (z, w) ∂p1 (z, w) 1 ∂p0 (z, w) 2
=− − u− u ,
dz ∂w ∂w 2 ∂w
d2 w
1 ∂p0 2 ∂p0 ∂p0 ∂p1 ∂p1 ∂p2
= p0 u + + p1 u+ + p1 − p0 . (10)
dz 2 2 ∂w ∂z ∂w ∂z ∂w ∂w
Анализ последней системы показывает, что можно выбрать (без ограничения общ-
ности) p0 = 2w(w − 1)(w − z)/(z(z − 1)), а в качестве p1 , p2 взять
k 2 − θ∞
2
+ (r2 + 1)w(w − 1) Pm (z, w) + (w − z) + Qn (z, m),
4
w(w − 1)(w − z) 2
H0 = u + ϕ(z, w)u + ψ(z, w), (12)
z(z − 1)
dw
= z −1 (z − 1)−1 2w(w − 1)(w − z)(u + Pm (z, m))−
dz
− θ0 (w − 1)(w − z) − r1 w(w − z) + (r2 + 1)w(w − 1) , (13)
du ∂H1
=−
dz ∂w
и
dw
= 2z −1 (z − 1)−1 w(w − 1)(w − z)u + ϕ(z, w),
dz (14)
du ∂H0
=− ,
dz ∂w
порождаемые гамильтонианами H1 и H0 , соответственно. Приравнивая правые ча-
сти первых уравнений систем (13), (14), получаем
где
m1 + n1 n2 + n2 n3 + n2 n4
m1 = n1 n3 + n1 n4 + n3 n4 , m2 = − ,
2
θ 0 − r1 θ 0 + r1 −r2 + θ∞ − 1 r2 + θ ∞ + 1
n1 = , n2 = , n3 = , n4 = − ,
2 2 2 2
dh d2 h
h0 = , h00 = 2 .
dz dz
Определение. Дифференциальное уравнение (18), определяющее функцию h
вида (17), будем называть h-уравнением для гамильтониана H, рассматриваемого
как функция от z.
Выразим функцию h через w, w0 , используя первое уравнение системы (16):
N2 − N4
[z(z − 1)h00 ]2 = 4h02 (zh0 − h) − 4h0 (zh0 − h)2 + (zh0 − h) +
4 4
N6 N2 − N4
1 02 N 1
+ N + 2
h + + h0 + + .
2 2 16 16 32
или
1
[z(z − 1)y 00 ]2 = N 2 [(z − 1)y 0 − y]2 − 4y 0 (zy 0 − y) (z − 1)y 0 − y − . (23)
4
Уравнение (23) получено [26], [27] при исследовании корреляционной функции
в двумерной модели Изинга с помощью теории голономных квантовых полей. За-
метим, что уравнения (21) и (23) при 4p2 = 1, N = 0 совпадают.
62 В. В. ЦЕГЕЛЬНИК
3. НЕПОЛИНОМИАЛЬНЫЕ ГАМИЛЬТОНИАНЫ,
АССОЦИИРОВАННЫЕ С УРАВНЕНИЕМ (1)
Теорема 2. Пусть K(z, w), L(z, w) – аналитические функции переменных z , w
такие, что Z
∂K(z, w)
L(z, w) = dw.
∂z
Тогда выражение
H3 = z −1 (z − 1)−1 w(w − 1)(w − z)u22 − θ0 (w − 1)(w − z)u2 − r1 w(w − z)u2 +
k 2 − θ∞
2
+ (r2 + 1)w(w − 1)u2 + (w − z) + L(z, w), u2 = u + K(z, w), (24)
4
u → pu, H3 → pH
e3,
k 2 − θ∞
2
+ (r2 + 1)w(w − 1)u3 + (w − z) , u3 = u + G(w). (25)
4
ГАМИЛЬТОНИАНЫ, АССОЦИИРОВАННЫЕ С ШЕСТЫМ УРАВНЕНИЕМ ПЕНЛЕВЕ 63
4. ЗАКЛЮЧЕНИЕ
Таким образом, в работе получена формула, определяющая общий вид поли-
номиальных гамильтонианов, ассоциированных с уравнением (1), и доказана ее
единственность. Выделен класс ассоциированных с шестым уравнением Пенлеве
гамильтонианов таких, что определяющее их дифференциальное уравнение совпа-
дает с аналогичным уравнением (h-уравнением) для простейшего полиномиального
гамильтониана H. Доказано существование ассоциированных с уравнением (1) га-
мильтонианов, обладающих свойством, что определяющие их дифференциальные
уравнения не являются уравнениями P -типа.
64 В. В. ЦЕГЕЛЬНИК
Список литературы
[1] R. Fuchs, C. R. Acad. Sci. Paris, 141 (1905), 555–558.
[2] B. Gambier, C. R. Acad. Sci. Paris, 142 (1906), 266–269.
[3] K. Takasaki, J. Math. Phys., 42 (2001), 1443–1473.
[4] R. Fuchs, Math. Ann., 63 (1907), 301–321.
[5] P. Painlevè, C. R. Acad. Sci. Paris, 143 (1906), 1111–1147.
[6] K. Okamoto, Ann. Mat. Pura Appl., 146 (1987), 337–381.
[7] Yu. I. Manin, “Sixth Painlevé equation, universal elliptic curve, and mirror of P2 ”, Geome-
try of Differential Equations, Dedicated to V. I. Arnold on the occasion of his 60th birthday,
AMS Transl, Ser. 2, 186, eds. A. Khovanskii, A. Varchenko, V. Vassiliev, AMS, Providence,
RI, 1998, 131–151.
[8] D. Guzzetti, Commun. Pure Appl. Math., 55 (2002), 1280–1363.
[9] В. В. Цегельник, Докл. АН БССР, 29:6 (1985), 497–500.
[10] В. И. Громак, В. В. Цегельник, ТМФ, 78:1 (1989), 22–34.
[11] M. Mazzocco, J. Phys. A, 34 (2001), 2281–2294.
[12] B. Dubrovin, “Geometry of 2D topological field theories”, Integrable Systems and Quantum
Groups, Lectures given at the 1st session of the Centro Internazionale Matematico Estivo
(CIME) (Montecatini Terme, Italy, June 14–22, 1993), Lecture Notes in Math., 1620,
eds. M. Francaviglia, S. Greco, Springer, Berlin, 1996, 120–348; B. Dubrovin, M. Maz-
zocco, Invent. Math., 141 (2000), 55–147; M. Mazzocco, Math. Ann., 321 (2001), 157–
195; F. V. Andreev, A. V. Kitaev, Commun. Math. Phys., 228 (2002), 151–176; T. Masuda,
Funkc. Ekvacioj. Ser. Int., 46 (2003), 121–171.
[13] Н. А. Лукашевич, А. И. Яблонский, Дифф. уравнения, 3 (1967), 520–523.
[14] Н. А. Лукашевич, Дифф. уравнения, 8 (1972), 1404–1408.
[15] В. И. Громак, Н. А. Лукашевич, Дифф. уравнения, 18 (1982), 419–429.
[16] A. V. Kitaev, J. Phys., 23 (1990), 3543–3553; A. S. Fokas, Y. C. Yourtsos, Lett. Nuovo
Cimento, 30 (1981), 539–544.
[17] A. V. Kitaev, Lett. Math. Phys., 21 (1991), 105–111; V. E. Adler, Physica D, 73 (1994),
335–351; F. Nijhoff, A. Hone, N. Joshi, Phys. Lett. A, 264 (2000), 396–406; R. Conte,
M. Mussette, Phys. Lett. A, 34 (2001), 10507–10522.
[18] F. Nijhoff, A. Hone, N. Joshi, Phys. Lett. A, 267 (2000), 147–156; W. K. Schief, Phys.
Lett. A, 267 (2000), 265–275.
ГАМИЛЬТОНИАНЫ, АССОЦИИРОВАННЫЕ С ШЕСТЫМ УРАВНЕНИЕМ ПЕНЛЕВЕ 65