CC BY
6ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ И
ПРОЦЕССЫ УПРАВЛЕНИЯ N. 1, 2021 Электронный журнал, рег. Эл № ФС77-39410 от 15.04.2010 ISSN 1817-2172
http://diffjournal.spbu.ru/ e-mail: _ jodiff@mail.ru
Теория обыкновенных дифференциальных уравнений
Дробно-полиномиальные дифференциальные уравнения: дискретные группы и решения через трансцендент 1-го
уравнения Пенлеве
Хакимова З.Н.1*, Зайцев О.В. 2** военно-космическая академия им. А.Ф. Можайского, Санкт-Петербург
о
БГТУ «Военмех» им. Д.Ф. Устинова, Санкт-Петербург
e-mail: *vka@mil.ru **zaytsev_oleg1997@mail.ru
Аннотация. Для класса обыкновенных дифференциальных уравнений второго порядка с дробно-полиномиальной правой частью проведен дискретно-групповой анализ. Найдены преобразования, замкнутые на этом классе уравнений или на его подклассах. Построена группа преобразований диэдра 12-го порядка и граф этой группы для класса уравнений с дробно-полиномиальной правой частью.
С помощью этой группы преобразований диэдра построена псевдогруппа преобразований 120-го порядка для 1-го уравнения Пенлеве, а также граф этой псевдогруппы. Найдены точные решения через 1-й трансцендент Пенлеве 119-ти уравнений полиномиального и дробно-полиномиального видов, связанных преобразованиями указанной псевдогруппы с 1 -м уравнением Пенлеве.
Ключевые слова: Обыкновенное дифференциальное уравнение (ОДУ) 2-го порядка, дискретная группа, граф дискретной группы, группа диэдра, дискретная группа преобразований, псевдогруппа, дискретно-групповой анализ, 1 -ое уравнение Пенлеве, ОДУ полиномиального вида, ОДУ дробно-полиномиального вида, точное решение ОДУ, 1 -ый трансцендент Пенлеве, класс обобщенных уравнений Эмдена-Фаулера (ОУЭФ).
1. Введение
Одной из важных задач теории обыкновенных дифференциальных уравнений (ОДУ) является поиск точных решений; эта задача остаётся актуальной и в настоящее время. Точные решения дифференциальных уравнений помогают понимать качественные особенности многих явлений и процессов. Точные решения модельных уравнений могут быть использованы для разработки новых численных и асимптотических методов. Точные решения уравнений из различных областей естествознания помогают планировать эксперименты для определения эмпирических параметров и функций, содержащихся в уравнениях. Если даже не очевиден физический смысл уравнений некоторого модельного класса, «просчитывание» его полезно, так как служит основой для нахождения решений уравнений более общих классов.
Дискретно-групповой анализ обыкновенных дифференциальных уравнений, разработанный в конце 20-го столетия Зайцевым В.Ф. [1-8], позволил найти точные решения большого числа уравнений многих классов (см., например, [1,2,15-19]).
ОДУ с полиномиальной и дробно-полиномиальной правой частью, в частности уравнения Пенлеве, чаще всего возникают в нелинейной механике, но также и в других областях естествознания - в разных разделах физики, в астрофизике, химии, биологии и т.д.
В данной работе вначале сделан обзор результатов, полученных ранее авторами и другими исследователями (п.3 - п.6).
Проведен дискретно-групповой анализ классов ОДУ с полиномиальной и дробно-полиномиальной правой частью: указаны преобразования, замкнутые на этих классах уравнений; построены дискретные группы преобразований и их графы (п.7, п.8).
Результаты п.3 - п.8 применены к первому уравнению Пенлеве (п.9, п.10). Это позволило построить псевдогруппу преобразований и её граф 120-го порядка для первого уравнения Пенлеве. Выписаны 120 уравнений, соответствующих вершинам этого графа. Найдены точные решения всех этих уравнений через первый трансцендент Пенлеве.
Кроме того, указан способ нахождения решений уравнений с произвольными коэффициентами (п.11, теоремы 1,2).
Найден способ экономичного представления решений уравнений, когда граф псевдогруппы преобразований исследуемого класса уравнений есть декартово произведение графа-дерева и графа дискретной группы.
В статье использовались методы дискретно-группового анализа, в том числе метод расширения класса ОДУ до класса уравнений, в котором некоторое преобразование становится замкнутым; методы построения дискретной группы, псевдогруппы преобразований, замкнутых в данном классе дифференциальных уравнений; метод «размножения» разрешимых уравнений с помощью найденной группы или псевдогруппы преобразований.
2. Изучаемые классы уравнений
В данной статье изучаются классы ОДУ с полиномиальной правой частью:
у'"х = )тк*у'х - у)щ;
(1)
а также с дробно-полиномиальной правой частью - классы
Ухх = Е^И^уЧу;)т(хух -у)щ]
1
(2)
и
Ухх ъи^уЧу^Ы - У)щ '
(3)
Классы уравнений (1) и (2) содержатся в (3).
Обозначим классы уравнений (1), (2) и (3) матрицами параметров либо суммой векторов параметров, соответственно:
к1 11 т1 п1 А1
к2 12 п2 А2_
к1 11 т1 п1 А1
к2 12 ш2 п2 А2_
^=1(ки1итищ1А1)
Т,и3(.кик,т,щ1Ад'
2
Ы=1(к01и Щ, ЩЮ,
-1
2
Подкласс класса уравнений (1) при п1 = п2 = 0
у"х = Ъ2=1А^к1уЧух )т ,
(4)
обозначаемый
к1 11 т1 0 А1 к2 ¡2 Ш2 0 А2
к1 11 т1 А1 к2 ¡2 Ш2 А2
или
Х2=1(ко 1и ти 01А1) = Ъ2=1(кь 1и т{ №) ,
был исследован в работах [9-14].
Другой подкласс класса уравнений (1) с одним слагаемым в правой части, имеющий степенной
вид
Уж = Ахку1(ух)т(хух - у)п, или (к, 1,т,п1А),
(5)
исследовался в работах [20-28].
Основу дискретно-группового анализа некоторого класса дифференциальных уравнений составляет нахождение преобразований ^ замкнутых на всём этом классе или на его подклассах:
У™ = У, Ух, а) ип = ¡(г, и, щ,Ъ) , (6)
где а и Б - векторы или матрицы параметров соответственно исходного и преобразованного уравнений.
В (6) & х = а^,и,й), у = Р(1,и,а), если d - точечное преобразование. В случае преобразования Беклунда & х = а(1,и,йиа), у = Р(1,и,щ,а), = у(£,и,щ,а). Если преобразование d не зависит от параметров а исходного уравнения, то оно называется
независимым. Независимое преобразование Беклунда d: х = a(t,u,iit), у = P(t,u,iit), ух = y(t, и, iit) является касательным.
3. Дискретные группы преобразований класса уравнений (4)
Для класса уравнений (4) и его подклассов были найдены действующие на них преобразования [9-14], в том числе точечные
г
г: х = и, y = t, Iit=i(ki,li,mi\Ai')->£2=1(1ики3 - т^ - Ai), (7)
s: х = \, y = -j, If=1(ki,li,0\Ai)-^>Zf=i(-ki -It- 3,li,0\(-l)li-1-Ai), (8)
и:
X = to,
1-a
у = t~
^ u + (^i+2)(ki+3)
k1 2 0 \A1 kt 0 0 \At.
A
2^+5 5
2a 2
2k2+3 3
2a 2
k1+2
t ° , a = ^8k2 + 40k1 + 49,
1 tf2 \ —
1 tf2
(9)
i
1
0
и
Преобразования г и в являются независимыми, и зависит от параметров исходного уравнения. Преобразование г замкнуто на всем классе уравнений (4), в замкнуто на подклассе
ЪЫЬЛиО^), (10)
и замкнуто на еще более узком подклассе уравнений
ki kt
2 0
0 0
\Ai \At.
(11)
Эти точечные преобразования являются образующими циклических групп 2-го порядка: г2 = Е, б2 = Е, и2 = Е.
Для класса уравнений (4) найдены также преобразования Беклунда, переводящие уравнения класса (4) в уравнения того же класса, среди них
gt: х = ик1+1, у = (ut) i, у х =
А
1
ki
kt
I 0
0 0
\Ai \At.
9i
кЛ+1
t+-
A
2
к
1
k1+1 k2-k1+1 k1+1
21+1 I
21+1
k2+1 \-
k2+i ■ Uki+1,
I
(k-i+1)2 I
■A1
(ki+1)(k2+1)
A7
(12)
1
g-1:
l I1
0 It
x =
m m
i1+1 (2-m)A1
b-h
U
t -^tli+1, у = tl
Ai
— ,
1+1, V„ = U2-m_
A1
^2J
9i
h l1+1 2l1-1
1
U+1
m-2 0
, Ух = U2~ , 2-m
(li + 1)2
A1
, (h-h)(2-m) \ (h+1)2 ^A2.
(13)
2
Преобразования и Ц-1 являются образующими псевдогрупп, они действуют внутри класса уравнений (4); и Ц-1 не замкнуты на своих исходных классах уравнений.
4. Дискретная псевдогруппа преобразований 1-го уравнения Пенлеве
Рассмотрим подкласс класса уравнений (4)
у"XX = А1хк1у2 + А2хк2 или
к1 2 0 \А1 [к2 0 0 \А2.
(11)
Класс уравнений (11) допускает применение преобразований г, в , и, и имеет псевдогруппу преобразований 16-го порядка, граф которой изображен на рис.1.
г / к
7
т
3'
Рис. 1. Граф псевдогруппы преобразований 16-го порядка для класса уравнений (11)
Вершины графа на рис. 1 обозначают уравнения таблицы 1, где о = к2 + 40к1 + 49, у± = 2к1 + 5 ± 3о.
Таб. 1. Уравнения-вершины графа 16-го порядка для класса уравнений (11)
1 (к1,2,0\А1) + (к2,0,0\А2) 1' (2,к1,3\- А1) + (0,к2,3\- А2)
2 (-к1 - 5,2,0\ - А1) + (-к2 - 3,0,0\ - А2) 2' (2,-к1 - 5,3\А1) + (0,-к2 - 3,3\А2)
3 {2к1 + 5 - 5о Ал ( 1 2о ,2°\с2) + (2к2 + 3 - 3о А2\ + ( 2о '^О 3' { 2к1 + 5-5о Ал (2' 1 2о '3\-^) + { 2к2 + 3-3о А2\ + (0' 2о '3\-а1)
4 { 2к1 + 5 + 5о Ал (- 1 2о '2,0 - о1/ + { 2к2 + 3 + 3о А2\ + (- 2о '0'0\-А2) 4' { 2к1 + 5 + 5о Ал (2'- 1 2о '3\°2) + { 2к2 + 3 + 3о А2\ + (0'- 2о '^У
{1-
+ (0
(0'
к1 5 к1 + 1'2 к1 + 1 5
1 I
I-
2АЛ
(к1 + 1)2
+
2А,
к1 + 1 2 (к1 + 1)(к2 + 1))
5'
к.
1
-'1'11-
2АЛ
+
к1 + 1' '2'(к1 + 1)2)
(к2-к1 + 1 1 2А2
1 2
+
к,+1
2'(к1 + 1)(к2 + 1))
И
кт + 5 5
2АЛ
+ (0
{0'
к1 + 4 2' (к1 + 4)2) к2-к1-3 5 ^ 2А2
+
6'
к.+5 1 2АЛ \
—-,1'-1--1—
к1 + 4' 2 (к1 + 4)2>
+
к1 + 4 2 (к1 + 4)(к2 + 2))
+ 1
гкп — к
— к . —
2А,,
1 3 1 к1 + 4 '0'21 (к1 + 4)(к2 + 2))
2к1 + 5 — 5а 5
У-
5 8Лл '21-8-)
+
2(к2 — к1 — 1 + 2а) 5 + 10'—-
8АУ \
7'
+
2к1+5 — 5а 1 8Лл
^-у-—'1'-21-у2) +
2(к2 — к1 — 1 + 2а) 1
У- ■ (2к2 + 3 — а)
У-8^
'0'2
У- ■ (2к2 + 3 — а)
2к1 + 5 + 5а 5 8ЛЛ
1——-¿-у
2(к2 — к1 — 1 — 2а) 5
2к. + 5 + 5а 1
У+
1
'1'-2'—У1)
+
(2(к2—к1—1 — 2а) 1 + -1-'
V У+
2
8А?
У+ ■ (2к2 + 3 + а))
8АУ
У+ ■ (2^2 + 3 + а))
При к1 = 0, к2 = 1,А1 = 6, А2 = 1 уравнение (11) становится первым уравнением Пенлеве
У'XX = 6у2 + х или
0 2 0 '6 1 0 0 '1
(14)
допускающим дискретную псевдогруппу 32-го порядка, граф которой представлен на рис.2. Вершина с номером 1 обозначает первое уравнение Пенлеве.
Рис. 2. Граф псевдогруппы преобразований 32-го порядка для 1-го уравнения Пенлеве
5
6
7
I
8
I
I
С целью экономии места образующая г, удваивающая граф, не показана на рис.2, поэтому на самом деле вершин не 16, как на этом рисунке, а 32.
В таблицу 2 вписаны уравнения 1-16, соответствующие вершинам 1-16 графа на рис.2. Уравнения 1' -16' таблицы 2 связаны попарно с соответствующими уравнениями 1-16 преобразованием г.
Таблица 2. Уравнения-вершины графа 32-го порядка (рис. 2) для 1-го уравнения Пенлеве
1 (0,2,016) + (1Д0|1) 1' (2,0,3' -6) + (0,1,31 - 1)
2 (-5,2,0| -6) + (-4,0,01 - 1) 2' (2,-5,3'6) + (0,-4,3|1)
3 (15 6\ ( 8 1\ 3' ( 15 6\ ( 8 1 \ (2,--,3'--) + (0,—,3'--) V 7 1 49) \ 7 49)
4 ( 20 6 \ ( 13 1\ 4' ( 20 6 \ ( 13 1\
5 (14'-12) + (°4'-1) 5' (0,1,-|11)+(-,0,-|1)
6 ( 5 5 3\ ( 1 5 1\ 6' (51 3\ ( 1 1 1\
7 ( 15 5 3 \ ( 7 5 1\ 7' (15 (7 11\
8 / 20 5 12 \ / 14 5 1 \ (1, 13'2]'169) + \' 13,2139) 8' / 20 1 12 \ / 14 1 1 \ ( 13'1'21 169) + ( 13'0'21 39)
9 (0 1,0'-8) + (1,-1,0'11) 9' (1 8\ ( 5 4 \
10 ( 10 1 1 8\ (75 1 -\ + (-7,-з,01(-1)~6--) 10' (1 10 2 8\ (57 5 4^
11 (1,0,0|24) + (0,-1,0|2) 11' (0,1,3|-14) + (--,0,3|-l)
12 (-4,0,0' - 24) + (-^-^'и) 12' (0,-4,3124) + (--,--,3| - и)
13 ( 5 32 \ ( 4 4\ 13' (5 32 \ ( 4 4\
14 (75 1 32\ (54 1 4\ 14' (57 5 32\ ( 4 5 2 4\
15 (0,-1,0|48) + (--,0,0|-2) 15' (--,0,3|-48)+(0,-3-,3|1)
16 (--,--,0|48¿) + (--,0,0|-) 16' (--,--,3|-48i)+(0,-3-,3|-1)
16-вершинный граф на рис.1 расширился до 32-вершинного графа на рис.2 за счёт «кросс-эффекта»: повторное применение преобразования g1 возможно лишь благодаря перестановке строк (что не меняет уравнения):
15^11^1^5
или
0—0 ^8 3
--0 0 ^2
0 2 0 ^ 10 0 Ц
ё1
10 0 \24 1
0 —2 0 V
1 0 - I-12
25
0 2 2 |-1
Третье уравнение этой цепочки является первым уравнением Пенлеве. 5. Дискретная группа преобразований класса ОУЭФ
Класс обобщенных уравнений Эмдена-Фаулера (ОУЭФ), подробно исследованный в работах [1-8, 23, 24]:
у"хх = Ахку1(у'х)т, или (М.шИ),
(15)
является подклассом обоих классов уравнений - (4) при А2 = 0 и (5) при п = 0 (является пересечением этих классов).
На всём классе уравнений (15) замкнуты точечное преобразование
г: х = и,у = г, (к. ^т^) —> (I. к.3 - m| - А), г2 = Е
(16)
и преобразование Беклунда
& X = ик+1, У = (и) I, ух = г
' — 4-1-т
(к, I т
& / 1
1-т
к 21+1 к+1'
к+1\к+1 )
т I „3
&3=Е.
(17)
Преобразования г и & образуют дискретную группу преобразований диэдра
В = {E,g,g2,r,gr,g2r}
(18)
6-го порядка, имеющую код г2 = = (&г)2 = Е и граф [29], изображённый на рис. 3.
Замечание 1. Преобразование (12) при А2 = 0 является частным случаем преобразования & при т = 0.
1
1
1
1
Рис. 3. Граф группы преобразований диэдра Э3 6-го порядка для ОУЭФ
Вершины графа на рис.3 обозначают уравнения таблицы 3.
Таблица 3. Уравнения-вершины графа 6-го порядка (рис. 3) для ОУЭФ
1 (к, 1, т) 1' (1, к,3 —т)
2 11 к 21 +1\ 2' ( к 1 1 — 1)
(1 — т' к + 1' 1 ) V к + 1'1 — т' 1 )
3 ( 1 1 к — 1) 3' 11 1 2к + 1\
V 1 + 1'т — 2' к ) (т — 2' 1 + 1' к )
Кроме того, имеются преобразования, замкнутые на подклассах класса ОУЭФ (15). Например, уже рассмотренное в (8) преобразование в замкнуто на подклассе т = 0:
в: х = \, У = -\ (к,1,01А)-^(—к — 1 — 3,1,01(—1)1-1-А). (19)
При А2 = 0 (8) совпадает с (19).
Замечание 2. По поводу преобразования и можно сказать совершенно аналогичное. 6. Дискретная группа преобразований класса уравнений (5)
Класс уравнений (5) обобщает класс ОУЭФ (15) при помощи добавления новой скобки (хух — у)п. Эта скобка была введена для пополнения класса уравнений (15) с тем, чтобы преобразование и, не замкнутое в классе уравнений (15), стало замкнутым в (5):
5: х = 1у = —^, (к, I,т, п1А) (—к — 1 — 3,I,п,т1(—1)1-1 - А).
Преобразование г замкнуто не только в (15), но также и в (5): г: х = и,у = Ь, (к,1,т,п1А)-> (1,к,3 — т — п,п1(—1)п 1 - А).
Приятным сюрпризом явился тот факт, что известное касательное преобразование Лежандра также оказалось замкнутым в (5):
1: х = щ, у = — и, у'х = ^ (к, I, т, п\А) —> (—т, —п, —к, —1\А), \2 = Е. (20)
Композиция Ь = 1г образует дискретную циклическую группу преобразований 6-го порядка:
, 1 1щ-и '
п: х = —, у =--, уг = и,
щ щ
ь
(21)
(к, I, т,п\А)-> (—п, —т,к + 1 + 3, —1\(—1)1-1 -А), И6 = Е.
Преобразования г и Ь образуют дискретную группу преобразований диэдра 12-го порядка
Б6 = {Е, Ъ, Ъ2, Ь3, Ъ4, Ь5, г, Ьг, Ъ2г, Ь3г, Ъ4г, Ь5г),
(22)
имеющую код г2 = Ъ6 = (гЬ)2 = Е и граф [29], изображенный на рис. 4.
1
Рис. 4. Граф группы диэдра Б6 12-го порядка для класса уравнений (5)
Вершины графа на рис.4 обозначают уравнения таблицы 4.
Таблица 4. Уравнения-вершины графа группы Б6 для класса уравнений (5)
1 (к,1,т,п\А) 1' (1,к, —т — п + 3,п\(—1)п-1 - А)
2 (—п, —т,к + 1 + 3, —1\(—1)1-1 - А) 2' (—т,—п,—к,—1\А)
3 (1,—к — 1 — 3,—т — п + 3,т\(—1)1+т - А) 3' (—к — 1 — 3,1,п,т\(—1)1-1 - А)
4 (—т,т + п — 3,—к,к + 1 + 3\(—1)-к-т - А) 4' (т + п — 3, —т,—1,к + 1 + 3\(—1)-1-т -А)
5 (—к — 1 — 3,к,п,—т — п+3\(—1)к+п-А) 5' (к, —к — 1 — 3,т,—т — п + 3\(—1)к+т - А)
6 (т + п — 3, —п, —1, —к\(—1)1-п - А) 6' (—п,т + п — 3,к + 1 + 3, —к\(—1)-к-п - А)
Подгруппой группы преобразований Б6 является группа точечных преобразований б3 = {Е, г, г2, г, гг, г2г} = {Е, ъ2, ъ4, г, ъ2г, ь4г)
с образующими элементами г и I = Ъ2 = вг, имеющая код: г2 = I3 = (1г)2 = Е.
Рис. 5. Граф группы диэдра Б3 -подгруппы Б6
Граф этой группы И3, изображенный на рис. 5, - тот же, что и на рис. 3. Отличие рис. 5 от рис. 3 состоит лишь в том, что вместо образующей g 3-го порядка = Е), на рис. 5 образующая I (также 3-го порядка: I3 = Е).
Интересно, что 1 = Иг, в = Ь2г, вг = Ъ2, гв = (вг)2 = Ь2, т.е. 1 —> 2 , 1 —> 3 , 1-> 3,
1—^ 5.
Уравнения, соответствующие вершинам графа на рис.5, указаны в таблице 4.
7. Применение 06 к классу уравнений (3)
Попытка применить Б6 (21) к классу уравнений (1) потерпела неудачу, так как преобразование
Ь незамкнуто в (1): (1)-> (2).
Классы (1) и (2) являются подклассами класса уравнений (3), в котором Б6 замкнута, так как оказались замкнутыми в нём образующие г, Ь (также и остальные преобразования - элементы группы Б6 ):
" _ Ц=1А1хк1у11(у'х)тКху'х-у)п г(х=и,у=) ^ _ 12=1(-1)п1-1А1хЧук1(ух)-тГп1+3(хух-у)п\ (23) Ухх Т,4=зА1Хк1у11(у'х)тКхух-у)п " Т,4=з(-1)Пг1А1Х11укКухГтгП1+3(хух-у)п'
1 1щ-и ,
= 1,2=1^ хк1уЧуХ)т(хуХ -У)щ Ь:х=й-у=-—у=и ^
Ухх л „.к: - ,7.- г „. '\т: г____' ..."\ri_- ^
14=3^ хЧЧУ'Х)т^(хух - У)щ (24)
12=1(-1)к-1А1Хщут1(у'х)-к1-к-3(ху'х - у)
Ъ4=з(-1)11-1А#щут1(ух)-к1-к-3(хух -у)к '
Применение Б6 к классу уравнений (3) приводит к следующему списку вершин-уравнений таблицы 5, соответствующих тому же графу на рис. 4.
Таблица 5. Уравнения-вершины графа для класса уравнений (3)
1 12=1(к 1,11,т1,п1\А1) 1' 12=1( к.К-т^-щ + З.щК-^-Чд
141=3(к1,11,т1,п1\А1) 14=з( и.К-т^щ + 3,п1\(-1)п1-1А1)
2 П=з(п1,т1,-к1 -и- ЗЛЛ—У-ЧЛ 2'
И2=М,щ-Ь -и- зл^-гу^АО ^2=1(т1,п1,к1,111А1)
3 ^(Ь-Ь -1с- 3,-т1-Щ + з^к-гу^Ад 3' Т2=г(-к1 -к- 3,11,п1,т11(-г)^~1А1)
ЪЫи, -Ь -11-3, -ТЩ -Щ + з^к-гу^Ад ЪЫ-к—Ь-ЗЛ^т^-гу^Ад
4 !^=з(т1,-т1 -щ + 3,к1,-к1 -и- 31(-1)к^ АЛ 4' ХЫ-т^ -щ + 3,т1,11,-к1 -и- 31(-г)1^Ад
^Ми-^ -т + з,кь-к1 -и- зк-гуь+^Ад Т2=1(-ш1 -щ + 3,т1,11,-к1 -и- ЗК-гук+тАд
5 Т2=г(-к1 -и- 3,к1,щ,-т1 -щ + 31(-гуч+*ЧАд 5' 22=1(к1,-к1 -и- 3,т1,-т1 -щ + ЗК-гу^А^
14=3-1 -к- з,к1,щ,-т1 -Щ + зк-гуи+^Ад !4=з(к1,-к1 -Ь- 3,т1,-т1 -щ + ЗК-гу^АО
6 %=з(-т 1-п1 + 3,п1,11,к11(-1)п1~1А1) 6' ^Ыщ-щ -щ + з,-к¿ -и- з,к11(-гук1+п1А1)
12=1(-т 1-Щ + 3,п1,11,к11(-г)п1~1А1) ^(щ, -т¿ -щ + 3, -к, -и-з.кА (-гу^+^АО
Замечание 3. Дискретная группа преобразований Б 6 (21) замкнута и на классе (3*) уравнений с дробно-полиномиальной правой частью с любым конечным числом V слагаемых в числителе и знаменателе:
Ухх
Ж^^уЧух)тК*Ух -у)щ (з*)
Ш^а^ х^ухух- У)щ ■
Таким образом, формулы (23), (24) и таблица 5 верны для любого конечного числа V слагаемых в числителе и знаменателе.
8. Применение И6 к классам уравнений (1) и (2)
Классы уравнений (1) и (2) являются подклассами класса уравнений (3). Класс уравнений (1), так же как и класс уравнений (2), замкнут относительно преобразований I = Ъ2, Ъ2 = \\4 и относительно всей дискретной группы диэдра точечных преобразований Б3 (22), граф которой изображён на рис. 5.
Оба класса уравнений (1) и (2) не замкнуты относительно касательных преобразований Ь, Ь3, Ь5. Пусть вершина-уравнение 1 принадлежит классу уравнений (1), тогда вершины-уравнения с нечётными номерами - 1, 3, 5, 1', 3', 5' - принадлежат (1), а с чётными номерами - 2, 4, 6, 2', 4', 6' - принадлежат (2). В таблице 6 приведён список вершин-уравнений, соответствующих тому же графу группы Б6 на рис. 4, в которой видно действие точечного преобразования г и касательного преобразования Ь на классе уравнений (1):
,, 7 , , г: х=и,у=
Ухх = и=1А1Хк1у ЧУх)т(хух - У)щ-> (25)
г: х=и,у= ,, „ , , , ,
-> У** = ^г—Т^А^уЧУх)-т1-щ+3(хух -У)щ;
. 1 Ьи^-и ' Ь: Х=7-,У=--±—,ух=и
Ухх = 12=1А1Хк1Ук(Ух)т(ХУх - у)щ----
(26)
1
п: х=—,у=--г—,ух=и
-----> №=1(-1)к-1А1ХщУт<Ух)-к1-к-3(хУх -уУТ1
Замечание 4. Формулы (25), (26) и таблица 6 актуальны и для любого конечного числа слагаемых.
Таблица 6. Уравнения орбиты класса полиномиальных уравнений: уравнения с нечётными _номерами принадлежат (1), с чётными - (2)._
1 т21=1{кик,типААд 1' ТЫ^ко-т^-щ + 3,п1Ц-1)п^-1А1)
2 КЫщ.щ-Ь -и- 3,111(-1)11-1А1)]-1 2' [ТЫт^щ.к^А)]-1
3 Тл=1(1ь-Ь -и-3, -т1 -щ± +3,т1Ц-1)1^А1) 3' ТЫ-К -к-3, Ь, щ, т11 (-1)^-1А1)
4 Ои^т -т1 -щ + 3, кь -к1 -11- 4' [Т^=1(-т1 -щ + 3, т1, и, -к -11-
5 Ти^-Ь -и-3, к0 щ, -т1 -щ + +31(-ф+^А1) 5' ТЫЬ,-к -и-3, -т1 -щ + +3,т1Ц-1)1^А1)
6 [ТЫ^-Щ + 3,щ,11,к11(-1)'*-1А1)]-1 6' [Т2=1(п1, -т1 -щ + 3, -к -11- -зм-У^Ад]-1
9. Расширение дискретной группы преобразований первого уравнения Пенлеве с помощью
На рис. 2 вершина 1 - это 1-е уравнение Пенлеве (14), решение которого - известный ряд [2,15-19], который называют 1-ый трансцендент Пенлеве (или трансцендент 1-го уравнения Пенлеве).
Замечание 5. Иногда трансцендентами Пенлеве называют сами уравнения Пенлеве. Но в данной статье трансцендентами Пенлеве мы будем называть решения этих уравнений, как это делается, например, в справочнике 2018 года [19].
Таким образом, все 32 уравнения, соответствующие вершинам графа на рис. 2, разрешимы через 1 -й трансцендент Пенлеве.
Преобразование замкнуто не только в классе уравнений (8), но и в (1):
1 и я: х=-,у=~
у"х = 12=1А1 хк1Ук(Ух)т(*Ух - у)щ->
1 и
в: х=-у=-—
---^ уХхх = 1Ы-1У1-1А1 х-к->-3у1КуХ)щ(хуХ - У)щ ,
поэтому в графе на рис. 2 от вершин 5, 6, 7, 8 можно провести ребро «в» так же, как от остальных вершин. Таким образом, на рис. 2 можно проставить не 16, а 20 вершин, связанных попарно преобразованием .
С помощью преобразования г граф удваивается, он соответствует псевдогруппе преобразований 40-го порядка. Все 40 уравнений-вершин имеют полиномиальный вид (1), и их решения выражаются через 1-й трансцендент Пенлеве.
Таким образом, расширением таблицы 2 является таблица 7, куда добавлены уравнения (17)-(20), связанные преобразованием в с вершинами, соответственно, 5-8; 4-я компонента вектора параметров остальных уравнений равна нулю.
Таблица 7. Уравнения-вершины графа 40-го порядка (рис. 6). Уравнение под номером 1 - это 1-е _уравнение Пенлеве_
1 (0,2,0,0|6) + (1,0,0,0|1) 1' (2,0,3,01 —6) + (0,1,3,0| — 1)
2 (—5,2,0,01 -6) + (—4,0,0,0| - 1) 2' (2, —5,3,0|6) + (0, —4,3,011)
3 (15 6\ (8 1\ 3' (15 6\ ( 8 1\
4 ( 20 6 \ ( 13 1\ (—Т,2,0,01—49) + (—Т,0,0,01—49) 4' ( 20 6\ ( 13 1\ (2, — Т,3,01-9) + (0, — -,3,01-9)
5 (1,0,|,0| — 12) + (0,2,|,0| — 1) 5' (0,1,1,0112) +(2,0,^,011)
6 ( 5 5 3\ ( 15 1\ ^г^ + ^гг0^) 6' (51 3\ ( 1 1 1\
7 ( 15 5 3 \ ( 7 5 1\ (1,—,Г01—Т6) + (0,—-4,Г01—1) 7' (15 1 3\ ( 7 1 1\ (-15,1,-2,01136) + (—-7,0,-2,01-)
8 ( 20 5 12 \ ( 14 5 1\ (1,—й,2,0111в9) + (0, — 13,2,0139) 8' ( 20 1 12 \ ( 14 1 1\ Ы^^т^+Ы0,1,01-^)
9 (0,3,0»13) + (1,—1л014 0 9' (1 8\ ( 5 4 \
10 {—Т,3,0,01(—1Гз-8) + + {—1, — 3,т(—1У1Л) 10' (1 10 2 8\ ( 5 7 5 4ч + (—3,-3,3,°|(—1)5'-)
11 (1,0,0,0|24) + (0,-1,0,0|2) 11' (0,1,3,0| —24) + (—1, 0,3,0| — 2)
12 ( 5 1 \ (—4,0,0,0| -24) + (--,—-, 0,0Щ) 12' (15 \ (0, —4,3,0|24) + (--,— — 21)
13 { 5 32 \ { 4 4\ 13' /5 32 \ { 4 4\ (—r1,3,0|—Ti) + [—r0,3,0|—-)
14 (15 1 32\ {—r — з,0,0|(—1)-~6■-з) + (54 1 4\ + [—-5, — -3,0,0|(—1)--1■^) 14' (51 5 32\ [—-з, — -,3,0|(—1)~6•Y) + (45 2 4\ + {—-з, — з,3,0|(—1)2•-)
15 (0,-^,0,0|48) + (-3,0,0,0| - 2) 15' (—1,0,3,0| — 48) + (0, — ^щ)
16 {^¡лт8 ^{^-лт2) 16' С 1 ¿7 \ / О [-1 - 5'3'°1 "48г ] + [ °" 2'0'°1"
17 (—4,04|12) + (—5,24|1) 17' {0,—4,ll25--| — 12i) + {2,—5i¡| — i)
18 ( 11 5 5 1 3\ (--,—, 0^ |(—1)-4 —) + V 4' 4 2 К } 4) (5 1 5 1\ + {—r — 2,0,-5|-6i) 18' (5 11 1 5 з 3\ {—4, — -4,2,^|(—1)-~4•^) + / 1 5 1 5 1\ + \—2, — 2,2,2|-)
19 ( 11 15 5 1 3 \ (--,--,0^|(-1)8-—) + V 8 8 '2 к } 1-) ( 5 15 1 1\ V 4 4' '2^ } 4) 19' (15 11 1 5 з 3\ ( 1 5 15 1 1\
20 ( 32 20 5 7 12 \ (--,--,0-К—1)Т3--) + ( 13, 13 ^^ ) 1-9) ( 25 14 5 1 1 \ + (--,--,0-|(—1Г1з • —) V 13 13 2К } 39 20' ( 20 32 1 5 25 12 ч (--,--^.-К—^--) + V 13 13 2 2 1 169) ( 14 25 1 5 15 1 \ + (--,--,-,-|(—1Г26 •—) 13 13 2 2 39
Вместе с в = Ъ2г в классе уравнений (3) замкнуты все преобразования группы Б6 (21), поэтому вместо 10 ребер «в» (рис. 6) можно изобразить 10 12-вершинных графов группы Б6 (рис. 4). В результате получается граф псевдогруппы 1-го уравнения Пенлеве 120-го порядка, изображенный на рис. 7.
9.6' 7.2'
3.2
Рис. 7. Расширенный граф (с помощью графа группы 06) псевдогруппы 120-го порядка для 1-го уравнения Пенлеве. Вершина 5.1 обозначает 1-е уравнение
Пенлеве
120 уравнений-вершин графа на рис. 7 записаны в таблице 8.
Таблица 8. 120 уравнений - расширенная орбита 1-го уравнения Пенлеве
1.1 (1 8\ (5 4 \ 1.1' +{1'—1'0'%>)
1.2 ( 10 8\ (0'3'—Ю'0 ^ 74 -1 1.2' '{зА-'0|-) + f{зA—-л|4)' —1
1.3 ( 10 8\ (7 4 \ 1.3' ( 10 8\ {—^■0А3| —3) +
1.4 \/ 1 10 2 8\ ( 5 7 5 4\"|-1 1.4' Г/ 10 8\ Í0'3A-T| —-) + —1
1.5 / 10 1 1 8\ (-^'з'0'0|(-1)11'з) + (75 1 4\ 1.5' (1 10 2 8\ {3■—^'3■0|(—1)-3•?) + (57 - 4\ + {--з'--7'3■0|(--1■■i)
1.6 \( 1 8\ [0'0'0'-3 1 -) + 54 + {0'0■1■—--1 -Л. -1 1.6' Г/ 10 1 1 8\ К0А—Т'-^-Ь (75 1 4уГ1 + {0Д — -, — -|(—1)--•?)j
2.1 (1, 0' 0' 0 | 24) + + 1 2) 2.1' (0,1,3,01 — 24) + + {—-,0-,0| — 2)
2.2 [(0' 0' —4, 0 | -24) + + (0'0,-¡'-11 1 и) -1 2.2' [(0' 0,1,0|24) + + {0,0,0, —112)]
2.3 (0' —4,3' 0 | 24) + + (—-2-Г3'01—2>) 2.3' — 24) + + {—l — 1r0■0|-2t)
2.4 [(0,3,1,—4 1 —24) + + {o,3,0, — \ 1 2)\ 1 2.4' [(3,0,0,—4|24) + + {з■0'-1-'-\|-1^) 1
2.5 (—4,1,0,3 1 —24) + + {—\,0,0,3 1 2) 2.5' (l,—4,0,3| — 24) + +{o'—¡'o.з|l)
2.6 [(3,0,0,1 | -24) + +(з>о40|-2)] 1 2.6' [(0,3,-4,11-24) + (0^1012) + —1
3.1 (о,-1,0,0 1 48) + + (-3,0,0,0 1-2) 3.1' (-1, 0,3,0| - 48) + +(0,43,0|2)
3.2 ( 5 1 _(°,°,--2,--2 1 48 ^ОЛ-3,0 1 2) и) + -1 3.2' (0. 0, 0. —114в) + ^А-3,01-2)
3.3 (-\,-\,3,0 1 -480 + + (0,-\,3,0 1 -2) 3.3' (-1,^^,0,01-4ш) + + (-3,0,0,0|2)
3.4 (0, 3, 0,-5 | 48) + 33 Ч0-3-—г—2 1 -2') -1 3.4' \( 1 5 ( 3,0,--,--| - 48 22 + (3,0,0,-31-2) и) + -1
3.5 (-5,0,0,3 | 48) + (33 \ 3.5' (0,-5, 0,3|48) + + (-\,-10,31-21)
3.6 ((3,0,-2,0 1 -4 + (3Л0,-3 1 2) 8) + -1 3.6' (0,3,-|, 0|48) + ( 3 3 У!-1
4.1 (15 6\ (-у,2,0,0 149) + (8 1\ 4.1' (15 6\ + (0,-87,3,01-Т9)
4.2 г/ 20 6 \ [0,0,-—,2 1 - —) + 7 49 13 1 + (о,0.-^,0 1 --) -1 4.2' М 15 6 \ + {0■0.40|;1) + -1
4.3 ( 20 6 \ (13 1\ 4.3' ( 20 6 \ {-т-2Л01-й)+ (13 1\ + {-ТМ01-49)
4.4 г/ 15 20 1 6\ [0,3,-—,-— 1 (-1) 7 ■ — ) + [V 7 ' 7 14 у 49) ( 8 13 6 1 у|-1 + [0,3,--,-— 1 ( 1)7 . ) 7 7 49 4.4' Г/ 20 1 6\ [(3,0,2,--1(-1)-7.-) + ( 13 6 1 + (3,0,0,-т1(-1)7.-)]
4.5 ( 20 15 1 6\ V 7 7 1 49) ( 13 8 6 1ч + {-—,--,0,3 1 ( 1)7 - ттт) 7 7 49 4.5' ( 15 20 1 6 \ ( 8 13 6 1 \ + (-?--0.-|(-lУ7•-5)
4.6 ( 15 6 \ {3,0,2,-— 1 - — ) + 7 49 8 1 -1 Ь{3,0, 0,-- | - — ) 7 49 4.6' Г/ 20 15 1 6\ {0,3,--,--|(-1) 7—) + 7 7 49 / 13 8 6 1 \1-1 + {0,3,--,--|(—1)7 - —) 7 7 49
5.1 (0, 2,0,0 1 6) + + (1,0,0,0 | 1) 5.1' (2,0,3,01 -6) + + (0,1,3,01-1)
5.2 [(0,0,-5,2 | - 6) + + (0,0,-4,0 | - 1)]-1 5.2' [(0,0,0,2|6) + +(0,0,1,0|1)]-1
5.3 (2,-5,3,0 1 6) + + (0,-4,3,0 | 1) 5.3' (-5,2,0,0|-6) + + (—4,0,0,01 - 1)
5.4 [(0,3,0,-5 | 6) + + (0,3,1,-4 1 - 1)]-1 5.4' [(3,0,2,-516) + + (3,0,0,-4|1)]-1
5.5 (-5,0,0,3 | 6) + + (-4,1,0,3 1 - 1) 5.5' (0, —5,0,316) + +(1, -4,0,31 - 1)
5.6 [(3, 0,2,0 1 - 6) + + (3,0,0,1 | - 1)]-1 5.6' [(0,3,-5,016) + + (0,3, —4,1| - 1)]-1
6.1 / 5 32 \ (-33,1,3,01-т<) + (4 4\ 6.1' ( 5 32 \ ( 4 4\
6.2 \( 7 32 \ 5 4 -1 + (0Л--Г0 | ^ 6.2' 17 5 32 \ 1 4 4\1-1 Ч3'0'--'0|—^
6.3 ( 7 32 \ (5 4\ 6.3' ( 7 32 \ {--7Лm—-i) + +{—\'0m-)
6.4 г/ 5 7 5 32\ ( 4 5 2 4у.-1 +(30-3-з 1 (-1)2'4:)] 6.4' Г/ 7 32 \ {0■3X—.|—Tí) + 1 5 4Ч1-1
6.5 (75 1 32\ (54 1 4\ 6.5' (57 5 32\ ( 4 5 2 4\ +(- -'-•0|(—1)---)
6.6 г/ 5 32 (0,°,1,-5 1 44 )+ -1 6.6' Г/ 7 5 1 32\ [Г-^"т. ( 5 4 14у| + (0А-5|(-1)—Тi). 1+ -1
7.1 / 15 5 3\ (1'-Т-2-0|"Т?) + (75 1\ 7.1' ( 15 1 3 \ (—, 1,—, 01 —) + V 8 2 16) ( 7 1 1\ + (--,0,-,0|-) 4 2 4
7.2 \( 5 17 15 1 3 \ (0,-,--,--| (-1)8 • —) + 1Л 2 8 8 к } 16) ( 5 5 7 1 1\"|-1 + (0,-,—,— | (—1)4 • —) V 2 4 4 1 ^ 4)\ 7.2' Г/5 15 3 (-,0,1,--1-- 2 8 16 (5 7 1\] 4-(-,0,0,--| \2 V 4). ) + -1
7.3 (15 17 1 5 3 3\ (—Т' — Т'2'2 1 (—1)^^) + (7515 1 1\ 7.3' (17 15 5 1 3 \ (--,--, 0, _ |(—1)8 --) + V 8 8 2 16/ ( 5 7 5 1 и + (--,--,0,-|(-1)4 —) 4 4 2 4
7.4 г/5 1 17 3 \ К2'2Д'-Т 1 Т61) (5 1 5 1 \ + (-,-,0,-- | --Ц \2 2 4* 4 + -1 7.4' Г/1 5 15 17 3 3 (-,-,--,--|(-1) 8 — 2 2 8 8 1 (1 5 7 5 1 и + (-,-,--,--К-1) 4 -) 2 2 4 4 4 > -1
7.5 (17 1 3 \ (-'Т^116) + (5 1 1\ + (-7,0,0,- 1--) \ 4 2х 4) 7.5' ( 17 5 1 3 \ (1,— -^^ч + V 8 2 2 16 / / 5 5 1 1 \ + (0,--,-,-| --Ц 4 2 2 4
7.6 (1 15 3 А-2Л-тЛ1Гб (1 7 1\1 )+ -1 7.6' Г/ 1 17 3 \ (0,-,--,Ц — ) - Л 2 8 16/ 1 5 1 Н0,-,--,0| --) 2 4 4 -1
8.1 (1,0,5,0 | -12) + +{04'01-1) 8.1' (0,1,Т,0|12) + + (2,0,1-,0|1)
8.2 (0,5,-4,0|12) + (0,5,-5,2|1); + -1 8.2' [(^,0,1,0|-12) + + (5,0,0,2|-1)] 1
8.3 (°,-4\\ 1 -ш)+ + (2,-5\Б2 1 4 8.3' (-4,0,0,2|12) + + (-5,2,0,¡|1)
8.4 + (;1-,2,-4|l2^) + -(U■0■-s|—^). -1 8.4' Г/1 5 > (-,-,0,-4| - 1И + (-■¡■1■-2|-^l 1+ -1
8.5 (-4ЛЛ1 | 12) + + (-5,0,0,1^ 1 -1) 8.5' (-■-4■1-|-2i)+ +(o■-sV-|-i)
8.6 [(^,0,0,1 1 12) + + (г0'2'0 1 ^ 1 8.6' (o,-,-4,1|12) + -1
9.1 ( 20 1 12 \ (-2°Л'-2Л 1 -169) + ( 14 1 1\ + (-Tз■0■-■0 1 -39> 9.1' ( 20 5 12 \ (1,—,-,0|-) + V 13 2 169/ 1 14 5 1 \ + (0,--, —, 0| —) 13 2 39
9.2 + ( 1 32 12 (0,-,--,1 |-- 2 13 169 1 25 1 ) + -1 9.2' Г/1 20 12 \ (-,0,--,Ц--) \2 13 1 169/ 1 14 1 + (-,0,--0--) 2 13 39 + -1
9.3 / 32 5 1 12 \ (1, 13'2'2 1 1691) + / 25 5 1 1 \ + (0'-T-'-'- 1 -з9) 9.3' /32 1 12 \ (--,1,0,-|--) + V 13 2 169/ /25 1 1\ + (--,0,0,-| —) 13 2 39
9.4 г/1 5 20 32 1 12 \ ( , , , 1( 1)~2б. ) + [\2 2 13 ^ 169) /1 5 14 25 11 1 уГ1 + (-,-,-Tз,-Tз|(-1T>26.39)] 9.4' (5 1 32 12 \ (--,1, — | — 0 + 2 2 13 169 5 1 25 1 — |--0 2 2 13 39 -1
9.5 ( 32 20 5 7 12 \ (--,--,0,- | (-1)^13--) + 13 13 2 169 / 25 14 5 1 1 \ + (--,--,0,- | (-1) 13-—) V 13 13 2^ } 39 9.5' (20 32 1 1 1 12 \ (--,--,-,-|(-1) 26--) + V 13 13 2 2* 169/ (14 25 1 5 — 1 \ + (--,--^~К-1)26 13 13 2 2 39
9.6 г/5 20 12 \ ( ,0,1, | ) [\2 13 169) 5 14 1 + (-,0,0,--| —) (2 13 ^9) + -1 9.6' Г/ 5 32 20 7 12 \ (0,-,--,--|(-1) ---) + 1Л 2 13 131 169/ ( 5 25 14 1 1 У!-1 + (0,-,--,--|(-1) - —) 2 13 13 39
10.1 ( 5 5 3\ ( 15 1\ 10.1' (51 3\ 4 2 4 (11 1\ + (--лr0|--)
10.2 г/ 5 11 5 1 (0,-,--,--| (-1)-4 [( 4 , 4 | ) (5 5 1 1 \ 3 -1 10.2' Г/5 5 3\ (-,0,1, — н) + \2 414/ (5 1 1\1 -1
10.3 ¡5 11 1 5 з 3\ ( 1 5 1 5 1 \ + (--,--,-,-|6i) 10.3' ( 11 5 5 1 3\ (--,--,0,-|(-1) 4 •- ) + V 4 4 2 1 4/ (5 1 5 М + (—,—,0,-|-ч \ 2 2 2 6 /
10.4 /5 1 11 3 5 1 5 1 Лгг°'--г ' Т). )+ -1 10.4' г/1 5 5 11 3 3\ (-,-,—,--1(-1) 4.-) + 2 2 4 4 4 /15 15 1У|-1 + \2'2'-2'-2^6)\
10.5 /11 1 3\ (—гЛ,0,- 1 -т) + V 4 2х 4) (5 1 1\ 10.5' 1 11 5 1 3 \ (1,—,-,-1--п + V 4 2 2 4 ) 1 5 5 1 1 \ + (0,—,--1-п V 2 2 2 6 )
10.6 г/1 5 3\ (-,0,--,1 1 —) + 2 4 4 1 1 1 + \2Л-Т°1-6) -1 10.6' 1 1 11 3\ ( 0, —,--,1' --) + 2 4 4 /15 1\1-1 +{0■-■--■0|г)\
Сравнивая графы на рис. 6 и рис. 7, установим под какими номерами уравнения таблицы 7 (рис. 6) входят в таблицу 8 (рис. 7):
№ уравнения в табл. 7(рис. 6) № уравнения в табл. 8(рис. 7)
№ уравнения в табл. 7(рис. 6) № уравнения в табл. 8(рис. 7)
№ уравнения в табл. 7(рис. 6) № уравнения в табл. 8(рис. 7)
№ уравнения в табл. 7(рис. 6) № уравнения в табл. 8(рис. 7)
I 2 3 4 5 6 7 8 9 10 5.1 5.3' 4.1 4.3' 8.1 10.1' 7.1 9.1' 1.1' 1.5
II 12 13 14 15 16 17 18 19 20 2.1 2.3' 6.1' 6.5 3.1 3.3' 8.3' 10.5 7.3' 9.5
1' 2' 3' 4' 5' 6' 7' 8' 9' 10'
5.1' 5.3 4.1' 4.3 8.1' 10.1 7.1' 9.1 1.1 1.5'
11' 12' 13' 14' 15' 16' 17' 18' 19' 20'
2.1' 2.3 6.1 6.5' 3.1' 3.3 8.3 10.5' 7.3 9.5'
Нумерацию вершин на рис. 6 невозможно было сохранить на рис. 7, так как на рис. 7 каждая шестиугольная призма группы Б6 имеет свой номер от 1 до 10, а вершин на рис. 7 - 20, они попарно входят в каждую шестиугольную призму (соединенные преобразованием в).
10. Решение 120 уравнений через трансцендент 1-го уравнения Пенлеве
Уравнения Пенлеве встречаются в различных областях теоретической физики. Они появились в результате решения задачи о выделении классов уравнений вида [2, 15-19]
у'"х = к(х,у,ух X
интегралы которых не имеют подвижных критических точек (И - рациональная функция аргументов х, у и у'х с аналитическими коэффициентами). Эта задача решена в работах
П. Пенлеве и Б. Гамбье [30]. Всего выделено 50 уравнений, причем общее решение 44 уравнений выражаются через элементарные функции, либо через решения некоторых линейных уравнений, либо уравнений первого порядка, либо через решения остальных шести уравнений.
Шесть не проинтегрированных П. Пенлеве и Б. Гамбье уравнений называются неприводимыми уравнениями Пенлеве (кратко - уравнениями Пенлеве), а их решения -трансцендентными функциями Пенлеве, мы будем называть их трансцендентами Пенлеве, в соответствии с замечанием 5 п. 9. Отсутствие подвижных критических точек дает возможность использовать решения уравнений Пенлеве в качестве основы для описания решений других нелинейных дифференциальных уравнений (наряду с представлениями решений с помощью специальных функций, которые выражаются через решения линейных дифференциальных уравнений с переменными коэффициентами). Решением первого уравнения Пенлеве
у\х = 6у2+х (14)
является однозначная функция аргумента х. В окрестности подвижного полюса х0 оно представимо в виде ряда
у = (х-х0)-2 + Х0(х-хо)2 -1(х-х0)3 + С(х-х0)4 + + 3^(х~ хо)6 + Ъ1=7 а](х - хо)],
где х0 и С - произвольные постоянные коэффициенты; коэффициенты а] ( > 7) однозначно определяются через х0 и С.
Обозначим через Р(х, С1, С2) указанный выше ряд, где С1 = х0, С2 = С. Решение 1-го уравнения Пенлеве у = Р(х,С1,С2) можно записать в параметрическом виде
{ х = т (27)
\у = Р(т,С1,С2). ( )
На рис. 7 удалось построить 120-вершинный граф, вершина 5.1 которого обозначает 1-ое уравнение Пенлеве.
Этот граф наглядно показывает, с помощью каких композиций «базовых» преобразований g1, и, Ь, г каждая из остальных 119 вершин связана с вершиной 5.1. Этими же преобразованиями связаны и решения 119 уравнений с решением уравнения Пенлеве (14).
Пример 1. По графу на рис. 7 можно установить, что, например, уравнение 9.4 (см. таблицу 8):
1 12 1 5 -20 -31 11
уХ"х = [(-1) 26 . ^х2у2(уХ) 13(хуХ -у) 13 + (-1)26
115 25л-1
.^х2у2(уХ) 1з(хуХ -у) 13
связано с уравнением 5.1:
йп = 6и2 + г (14)
с помощью преобразования гИ^! ^^г = hsg1 (в = Ъ2г = гЬ4), которое имеет
следующий параметрический вид:
3б(12и-1)2
X — -----
113(7813щ-3614и2-24012и-1315+432У (28)
_ 36
У = ¡(78^щ-36Г4и2-240^и-13^+432У
Композиция (28) и (27*):
{ г = х (27*)
\и = Р(т,С1,С2)
даёт решение уравнения 9.4:
3б(т2Р-1)
X — ----
т13(78т3р-36т4р2-240т2р-13т5+432у 36
У
т(78т3Р-36т4Р2-240т2Р-13т5+432)
Выписать 119 преобразований, связывающих 119 уравнений с 1-м уравнением Пенлеве (14), трудоёмко. Для облегчения этих вычислений можно использовать следующие соображения. В каждой шестиугольной призме 12 уравнений связаны одними и теми же преобразованиями. 10 призм связаны между собой, согласно графу на рис. 7, преобразованиями g1, gl-1, и. Поэтому достаточно из каждой призмы выбрать по 1 ключевой вершине и вычислить решения 10-ти ключевых уравнений. Получение решений остальных уравнений можно автоматизировать, так как преобразования призмы - графа Б6 - являются независимыми преобразованиями, то есть в записи этих преобразований отсутствуют параметры уравнений, к которым они применяются.
В качестве ключевых выберем вершины 1.1-10.1 графа на рис. 7, в таблице 8. Только 6 из них есть на рис. 6: 2.1-5.1, 7.1, 8.1; остальные 4 - на той части графа, которая получается удвоением числа вершин с помощью преобразования г; они не показаны на рис. 6, но есть в таблице 7: 1.1, 6.1, 9.1, 10.1.
Вычислим решения 10 ключевых уравнений, результаты поместим в таблицу 9. Кроме х и у, в таблице 9 помещены также у'х и ху'х — у; необходимость этого будет понятна далее.
Таблица 9. Решения 10-ти ключевых уравнений орбиты 1-го уравнения Пенлеве
1.1 3 1 о 3 1 х = Р2, у = (—1)2 . 3 [2Р(2Р2 + т) — Р2], у'х = (—1)2Р2р-1, 3(3 ^ ху'х — У = (-1)2 ¡4 [2Р(2Р2 + т) — Р2] + Р2 • Р-1}
2.1 х = р, у = Р2, у'х = 2(6Р2 + т), ху'х — у = 2Р(6Р2 + т) — Р2
3.1 х = Р2, у = 4(6Р2 + т)2, у'х = 4(Р-1 + 12Р), ху'х —у = 4[Р(12РР + 1) — (6Р2 + т2)]
4.1 х = т7, у = т3Р — т = т(т2Р — 1), у'х = 1т-6(т3Р + 3т2Р — 1), 1 . ху'х —у = -х(х3Р — 4т2 Р + 6)
5.1 X = Т, У = Р, у'х = Р, ху'х — у = тР — Р
6.1 х = Р3,у = (-1)2 ■ 1 [2Р(6РР + 1)- (6Р2 + т)], у'х = (-1)\ ■ 1 ■ Р(6Р2 + т)-1, 3 1 ху'х -у = (-1)2~ [4Р4(6Р2 + т)-1 + 2Р(6РР + 1) - (6Р2 + т)]
7.1 х = т-6(т3Р + 3т2Р + т5 -1),у = т-8, у'х = т-2(т2Р - 1)-2, 1 ху'х-у = --Т-8(Т2Р - 1)-2[4т3Р + 3(т2Р + 1)2 +4(т5 - 1)]
8.1 х = 1(2Р - т2), у = т, у'х = Р-2, ху'х -у = 1р-2(2Р -т2)-т
9.1 х = т13, у = 13т(6т3Р - 24т2Р -т5 + 36), у'х = т-12(т2Р - 1)-2, 1 ху'х -у = - — т(78т3Р - 36т4 Р2 - 240т2 Р - т5 + 432)
10.1 х = т4,у = 2 [3(тР -Р)- т3], у'х = т-2Р2, ху' -у = т2Р2 - 2 [3(тР - Р) - т3]
Если функции в решении ключевого уравнения I.1 ( / = 1, ...,10) в таблице 9 обозначить через а, р, у, 5:
х = а,у = = у, ху'х -у = 5,
то, вычислив преобразования, связывающие остальные уравнения 1.2,...,1.6, ¿.1,... ,1.6 с уравнением ¿. 1, получим решения этих уравнений ¿.2,.. .,¿.6, ¿. 1,..., ¿. 6, аналогично рассмотренному в примере 1. Результаты поместим в таблицу 10. Решения всех 120 уравнений таблицы 8 получаются, если а, р, у, 5, взятые из таблицы 9, подставить в таблицу 10. В таблице 9 записаны решения ключевых уравнений.
Таблица 10. Решения уравнений 1.2,...,1.6, ¿.1,... ,1.6 через решение уравнения 1.1
(/ = 1,...,10) из орбиты 1 -го у равнения Пенлеве
П х = а,у = р,у'х = у, ху'х -у = 5 П' о , 1 , - х = р,у = а,у х=~ ,ху х -у =
12 X , 1 , - х = 5,у = у,у х=- ,ху х-у = -- 12' х = у, у = 5, у'х = а, ху'х -у = Р
13 - 1,1, у х = --а,у=-а,ух=~8,хух-у=--8 13' 1 -'к* х = - ,у = -- ,у х = 5,ху х-у = у
14 у 1 , - , 1 х = -у,у =^у х = -у, ху х-у = у 14' 1 у , а х = —, у = --, у х = --, - - х - , 1 хух-у=-
15 1 - - 1 х = -,у = --,ух = -у,хух-у = у 15' — 1 / у х = --,у=- ,ух = -у, , 1 ху х-у = -8
16 1 - х = - ,у = -- ,у х= р,ху х-у = а 16' - 1.1 х = —, у = - ,у х =—, у' ^ у> 7 х - . — ху х-у = --р
Итак, проведен дискретно-групповой анализ подклассов уравнений, принадлежащих классам (1) и (2), связанных с 1-м уравнением Пенлеве. В результате проведенного анализа получены
решения 120 уравнений полиномиального вида (1) и дробно-полиномиального вида (2) через 1-й трансцендент Пенлеве.
11. Получение решений 120 уравнений таблицы 8 с произвольными коэффициентами
Для получения решений уравнений таблицы 8 с произвольными коэффициентами А^ необходимо выполнить операцию масштабирования: х ^ ах, у ^ Ьу. Пример 2. Для 1-го уравнения Пенлеве
у''хх = 6у2+х (14)
решение в параметрическом виде: г X = Т
1у = Р(т,С1,С2) ,
где Р(т) - 1-й трансцендент Пенлеве.
Из (14) с помощью масштабирующего преобразования
(27)
1
/А1АЛ5 х ^ ах, а = I—-—)
1
\216A2)
у ^ Ьу, Ь = , „ к * \216А22
получается уравнение типа Пенлеве
У"х = АУ2 + А2х (29)
с произвольными коэффициентами А1, А2.
Соответственно, и решения уравнения (29) масштабируются совершенно аналогично, т.е. решение уравнения (29) в параметрическом виде:
1
ГА1АЛ5 х = ат, а = )
1.
[У = ЪР(т,С1.С2), ь = (26-2У
Теорема 1. Пусть из некоторого уравнения класса
Ухх = Я^А^УЧУХ )т(хух — у)щ (1)
с помощью масштабирующего преобразования х ^ ах, у ^Ьу
получается уравнение этого же класса уравнений
Ухх = Я=1В^у1Ку'х )^(хух —у)п>. (1*)
Тогда
К-2 _К±
МЛ А _ £ _ /^Л й . (^Л *
кВ1) \В2) , \В1/ \В2) ,
где
К1=к1—т1 + 2, Ь1 = 11+т1+щ — 1 (I = 1,2), Л = К1Ь2 — К2Ь1. (30)
Пусть решение полученного уравнения из класса уравнений (1*) в параметрическом виде:
(х = а(г,С1,С2) (31)
{у = 0(т,С1,С2У
тогда решение уравнения (1) отличается лишь множителями а и Ь:
(х = аа(т, С1, С2) (32)
{у = Ь(3(т,С1,С2У
где а и Ъ указаны в (30).
Таким образом, если уравнение класса (1*) - это одно из 60-ти уравнений полиномиального вида (с нечётными номерами), содержащееся в таблице 8, тогда уравнение класса (1) - уравнение с теми же показателями, но с произвольными коэффициентами А1, А2.
Теорема 2. Пусть из некоторого уравнения класса Ухх = [Т2=1А^УЧУх р(хУх — у)П1]~1 (2)
с помощью масштабирующего преобразования х ^ ах, у ^Ъу
получается уравнение этого же класса уравнений
Ухх = №=1В1Хк1у1Кух )тК*Ух — у)щ]-1 . (2*)
Тогда
-32 Зх Ез,
а = (Л1)~~л (12)* ь = (±у .(12.)-* ,
УВхУ \В2/ КВхУ \В2У
(33)
где
К1 = к1-т1-2, Ь1 = 11 + т1+п1 + 1 (I = 1,2), Д = КК - КК
Пусть (31) - решение уравнения класса (2*). Тогда (32) - решение уравнения класса (2), где а и Ъ указаны в (33).
Теорема 2 дает способ получения решений уравнений вида (2) с произвольными коэффициентами из решений уравнений таблицы 8 с фиксированными коэффициентами ( имеющих в таблице 8 чётные номера).
12. Экономичное представление решений с помощью «декартова произведения» таблиц
Граф орбиты первого уравнения Пенлеве на рис.7 является декартовым произведение графа-дерева, изображенного на рис.8, и графа дискретной группы диэдра , изображенного на рис.4.
1 91/2.1
3.1
Образующие группы Об (22) г и Ь не зависят от параметров уравнений:
г: х = и, у = V,
(7)
Ь:
х = —, у =
щ
Щ ,
ухе = и.
(21)
Поэтому все преобразования группы Б6 также являются независимыми.
По этой причине и решения уравнений орбиты 1 -го уравнения Пенлеве находятся из декартова произведения таблиц 9 и 10: а, р, у, 5 надо взять из решений ключевых уравнений ¿.1 в таб. 9 (/ = 1, ...,10), затем подставить их в таблицу 10 - в результате получим решения уравнений /._/', где} = 1,. ..,6; 1, ...,6.
Эти рассуждения имеют достаточно широкое обобщение.
А именно: если граф псевдогруппы преобразований подкласса некоторого класса уравнений является декартовым произведением графа-дерева, вершины которого обозначают «ключевые» уравнения данного подкласса, и графа некоторой дискретной группы независимых преобразований, тогда решения уравнений находятся из декартова произведения двух таблиц решений - решений ключевых уравнений и решений уравнений упомянутой дискретной группы.
1
13. Заключение
Подведем итоги исследований, проведенных в данной статье.
1. Проведен дискретно-групповой анализ ОДУ 2-го порядка с полиномиальной и дробно-полиномиальной правой частью.
2. Применение этих результатов к 1-му уравнению Пенлеве дало возможность построить псевдогруппу 120-го порядка для 1-го уравнения Пенлеве, граф которой изображен на рис.7, а сами уравнения орбиты 1-го уравнения Пенлеве помещены в таблицу 8.
3. Приведены решения всех 120-ти уравнений орбиты 1-го уравнения Пенлеве через 1-й трансцендент Пенлеве (табл. 9, 10).
4. Сформулированы теоремы 1 и 2, позволяющие находить решение решение уравнения класса (1) либо (2) с произвольными коэффициентами Ai, если известно решение соответствующего уравнения с фиксированными коэффициентами Аi. Таким образом, можно выписать решения всех уравнений таблицы 8 с произвольными коэффициентами в слагаемых. Теоремы 1 и 2 обобщаются на любое число слагаемых.
5. На примере орбиты 1-го уравнения Пенлеве найден способ экономичного представления решений уравнений некоторого класса, соответствующих вершинам графа псевдогруппы, если выполняются следующие два условия:
1) Граф псевдогруппы преобразований является декартовым произведением графа-дерева с вершинами - «ключевыми уравнениями» и графа некоторой дискретной группы преобразований;
2) Преобразования упомянутой выше дискретной группы являются независимыми (функциональная запись этих преобразований не содержит параметров уравнений).
Список литературы:
[1] Зайцев В.Ф., Полянин А.Д. Справочник по нелинейным дифференциальным уравнениям. Приложения в механике, точные решения. - М.: Наука, 1993. - 464с.
[2] Зайцев В.Ф., Полянин А.Д. Справочник по обыкновенным дифференциальным уравнениям: точные решения. - М.: Физматлит, 1995. - 560с.
[3] Зайцев В.Ф. Дискретно-групповой анализ обыкновенных дифференциальных уравнений // Дифференциальные уравнения, 1989, т.25, №3. - С. 379-387.
[4] Зайцев В.Ф. О дискретно-групповом анализе обыкновенных дифференциальных уравнений // ДАН СССР, 1988, т.299, №3. С. 542-545.
[5] Зайцев В.Ф. Дискретно-групповые методы теории дифференциальных уравнений, ч.1. -Л.: ЛГУ, 1982. - 130с.
[6] Зайцев В.Ф., Кормилицина Т.В. Дискретно-групповые методы теории дифференциальных уравнений, ч.2. - Л.: ЛГУ, 1985. - 150с.
[7] Зайцев В.Ф., Полянин А.Д. Дискретно-групповой метод интегрирования уравнений нелинейной механики. - М.: Препринт ИП Мех АН СССР, №339. - 1988. - 44с.
[8] Зайцев В.Ф., Флегонтов А.В. Дискретно-групповые методы интегрирования обыкновенных дифференциальных уравнений. - Л.: ЛИИА АН СССР, 1991. - 240с.
[9] Зайцев В.Ф., Флегонтов А.В., Хакимова З.Н. Дискретно-групповой анализ дифференциальных уравнений. Точные решения уравнения. - Л.: Препринт ЛИИА АН СССР, №105, 1989. - 61с.
[10] Зайцев В.Ф., Хакимова З.Н. О дискретно-групповом анализе уравнения ухх = A1xniymi (у'х )h + А2хп2ут2(ух )12. - Л.: ЛГУ, 1986. - 31с.
[11] Зайцев В.Ф., Хакимова З.Н. О преобразованиях Беклунда, замкнутых на одном классе уравнений // Дифференциальные уравнения и прикладные задачи, межвузовский сборник научных трудов. - Тула: ТулПИ, 1990. - С. 5-12.
[12] Хакимова З.Н. О преобразованиях уравнения Пенлеве // Дифференциальные уравнения с частной производной., межвузовский сборник научных трудов. - Л.: ЛГПИ, 1989. - С. 150-158.
[13] Хакимова З.Н. О точечных преобразованиях одного нелинейного уравнения 2-го порядка // Дифференциальные уравнения с частной производной, межвузовский сборник научных трудов. - Л.: ЛГПИ, 1988. - С. 85-90.
[14] Хакимова З.Н. Дискретно-групповой анализ нелинейных обыкновенных дифференциальных уравнений 2-го порядка с алгебраической правой частью. Диссертация. - СПб: РГПУ, 1997. - 119с.
[15] Зайцев В.Ф., Полянин А.Д. Справочник по обыкновенным дифференциальным уравнениям. - М.: Физматлит, 2001. - 576 с.
[16] Зайцев В.Ф., Полянин А.Д. Справочник по нелинейным обыкновенным дифференциальным уравнениям. - М.: Факториал, 1997. - 512с.
[17] Polyanin A.D., Zaitsev V.F. Handbook of Exact Solutions for Ordinary Differential Equations. CRC Press, Boca Raton-New York, 2003.
[18] Зайцев В.Ф., Полянин А.Д. Обыкновенные дифференциальные уравнения в 2 частях. Справочник для академического бакалавриата. - 2-е издание, исправленное и дополненное. - М.: Юрайт, 2018.
[19] Polyanin A. D., Zaytsev V. F. Handbook of Ordinary Differential Equations: Exact Solutions, Methods, and Problems. - CRC Press. Boca Raton - London, 2018.
[20] Хакимова З.Н., Зайцев О.В. Классификация новых разрешимых случаев в классе полиномиальных дифференциальных уравнений // Актуальные вопросы современной науки, №3. - СПб., 2014. - С. 3-11.
[21] Хакимова З.Н. Интегрирование дискретных инвариантов в классе полиномиальных дифференциальных уравнений 2-го класса // Труды Военно-космической академии им. А.Ф. Можайского, 2014 - С. 8-16.
[22] Зайцев О.В. О дискретных симметриях и новых разрешимых случаях в классе полиномиальных дифференциальных уравнений // Наука XXI века: новый подход: материалы IX молодежной международной научно-практической конференции студентов, аспирантов и молодых ученых. - СПб.: науч.-изд. центр «Открытие», 2014. -С. 8-16.
[23] Зайцев В.Ф., Зайцев О.В. Об одном применении метода вложения // Некоторые актуальные проблемы современной математики и математического образования: материалы научной конференции «Герценовские чтения - 2015». - СПб.: РГПУ, 2014. -С. 30-33.
[24] Хакимова З.Н. Выбор класса дифференциальных уравнений для нахождения новых разрешимых случаев // Некоторые актуальные проблемы современной математики и математического образования: материалы научной конференции «Герценовские чтения
- 2017». - СПб.: РГПУ, 2017. - С. 112-117.
[25] Хакимова З.Н. Преобразование типа Лежандра и новые разрешимые дифференциальные уравнения 2-го и 3-го порядков // Некоторые актуальные проблемы современной математики и математического образования: материалы научной конференции «Герценовские чтения - 2018». - СПб.: РГПУ, 2018. - С. 119-122.
[26] Хакимова З.Н. Дифференциальные уравнения степенного вида, интегрируемые в полиномах // Некоторые актуальные проблемы современной математики и математического образования: материалы научной конференции «Герценовские чтения
- 2019». - СПб.: РГПУ, 2019. - С. 97-101.
[27] Хакимова З.Н. Об интегрировании дробно-полиномиальных дифференциальных уравнений // Некоторые актуальные проблемы современной математики и математического образования: материалы научной конференции «Герценовские чтения
- 2020». - СПб.: РГПУ, 2020. - С. 115-118.
[28] Линчук Л. В. Параметрические полиномиальные решения одного класса обыкновенных дифференциальных уравнений 2-го порядка // Некоторые актуальные проблемы современной математики и математического образования: материалы науч. конф. «Герценовские чтения - 2018». - СПб.: РГПУ, 2018. - С. 85-90.
[29] H.S.M. Coxeter, W.O.J. Moser, Generators and relations for discrete groups. Fourth edition. Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], 14. Springer-Verlag, Berlin-New York, 1980. ix+169 pp.
[30] Ince, Edward L. Ordinary differential equations. - Dover Publications, New York, 1926.
Fractional polynomial differential equations: discrete groups and solutions throw the transcendent of the 1st Painleve equation
Khakimova Z.N.1*, Zaytsev O.V. 2**
1Mozhaisky Military Space Academy, Saint-Petersburg 2BSTU «VOENMEH» named after D.F. Ustinov, Saint-Petersburg
e-mail: *vka@mil.ru **zaytsev_oleg1997@mail.ru
Abstract. For a class of the second-order ordinary differential equations with fractional polynomial right-hand side, discrete group analysis is carried out. Transformations are found that are closed on this class of equations or on its subclasses. The dihedral group of transformations of the 12th order and the graph of this group for the class of equations with fractional polynomial right-hand side are constructed.
Using this transformation dihedral group a transformation pseudogroup of the 120th order for the 1st Painleve equation, as well as the graph of this pseudogroup, are constructed. Exact solutions through the 1st Painleve transcendent are found for 119 equations of polynomial and fractional polynomial types related with the 1st Painleve equation by transformations of this pseudogroup. Keywords: Ordinary differential equation (ODE) of the 2nd order, discrete group, graph of a discrete group, dihedral group, discrete group of transformations, pseudogroup, discrete group analysis, the 1st Painleve equation, ODE of polynomial form, ODE of fractional polynomial form, exact solution of ODE, the 1st Painleve transcendent, the class of the generalized Emden-Fowler equations (GEFE).
