УДК 517.9
ДВУХМЕРНЫЕ АЛГЕБРЫ ДИНАМИЧЕСКИХ СИММЕТРИЙ ОДУ
М.И. ТИМОШИН
Аннотация. В работе показана эффективность использования динамических симметрий при исследовании интегрируемости дифференциальных уравнений. Построено обобщение классификации С.Ли обыкновенных дифференциальных уравнений второго порядка по двухмерным алгебрам точечных симметрий. Приведены интегрируемые случаи обыкновенного дифференциального уравнения второго порядка специального вида. Отмечено, что часть найденных случаев интегрируемости обыкновенных дифференциальных уравнений относится к уравнениям типа Абеля, и, по-видимому, представляет самостоятельный интерес.
Ключевые слова: динамические симметрии, инварианты, двухмерные алгебры, уравнение Риккати, уравнение Абеля.
Введение
Понятие динамических симметрий приведено, например, в [1]. Дифференциальное уравнение в этом случае заменяется системой дифференциальных уравнений первого порядка:
у" = !(х,у,у') ^ ^ ^ = !(х,у, г). (1)
Затем рассматривается вопрос об инфинитезимальном преобразовании
д д д X = С (х,у,г) — + Г! (х, у,г) — + у (х, у, г) (2)
переводящем решение системы (1) в решение этой же системы. Для этого оператор (2)
должен удовлетворять условию
[Х,А] = А (х,у,г)А (3)
гДе А = + *щ + / (х, У, *) £■
Важно отметить, что компоненты оператора (2) не удовлетворяют предложенной С.Ли формуле продолжения
¿'Ц
^ ¿х ¿х
У оператора динамической симметрии (2) компоненты определяются только условием (3). Известно, что оператор точечной симметрии
д д д д
1 = ^(х, у) дх + r](х, у)&у + т (х, У, у,) Ъу' + щ (х, ^ У', уП) ~д^', ^
M.I. Timoshin, Two-dimensional algebras of dynamic symmetries of ODEs. © Тимошин М.И. 2012.
Поступила 2 августа 2011 г.
компоненты которого удовлетворяют формуле продолжения Щ — у(г) ^, обладает
свойством продолжения инвариантов. Если для заданного оператора (4) известны инвариант V = V (х, у) и дифференциальный инвариант и = и (х,у,у'), то выражение
¿и и'х + и' у1 + и',у"
ш = ~т =-------;-----г~т—
аь у'х + у'у у'
является дифференциальным инвариантом второго порядка оператора (4),
В работе [2] предлагается начинать процедуру нахождения симметрий с инвариантов, при этом компоненты соответствующего оператора выписываются непосредственно с помощью дифференцирования и арифметических действий. Если функции и = и (х,у,у'),
V = V (х,у,у') являются инвариантами оператора (2), то естественно потребовать, чтобы выражение
¿и _и'х + и'уу1 + и'у, у"
¿У у'х + у'у у' + Уу, у"
также являлось бы инвариантом один раз продолженной динамической симметрии (2), Удобнее записать компоненты оператора динамической симметрии в виде
д д д д X = с(х, У, у1) ~ох + V (х, У, У1) ~0у + V (х, У, У1) (х, У, У', у") (5)
и определить их, разрешая систему уравнений
¿и
Хи = 0, = 0, X— = 0. (6)
¿V
Таким образом, компоненты динамической симметрии определяются с точностью до функционального множителя.
При нахождении симметрий ОДУ второго порядка Р(х,у,у',у'}) = 0 можно использовать критерий инвариантности
ХР\Р=о = 0. (7)
В общем случае критерий инвариантности (7), также как и критерий инвариантности
(3), не приводит к системе дифференциальных уравнений. Преимуществом критерия (7) является то, что он позволяет говорить о динамической симметрии (5), удовлетворяющей уравнениям (6) с точностью до функционального множителя.
Отметим, что все точечные симметрии можно рассматривать как частный случай динамических симметрий, когда
дх ду У п / \
и = да + да, ь = $ (х,у) , дх + дуУ
где а (х,у) , $ (х,у) — произвольные функции.
Желая сохранить возможность сведения критерия (7) к системе дифференциальных уравнений, естественно ставить вопрос о динамических симметриях как о расширении множества точечных симметрий, ограничиваясь функциями двух переменных,
В работе [3] рассматривался вопрос о динамических симметриях, порождаемых тремя функциями двух переменных, содержащих в себе всё множество точечных симметрий. Отмечалось, что оператор точечной симметрии
^ . д д
х = ‘ (х’у) ах + 4 (х’у) Ту'
обладающий инвариантом у = т (х,у) , в перемениых (у,у) принимает вил
X = X (ъ,у) ^.
ду
Представив функцию х (у, У) в виде х (ь, У) = ~Хт, можно выписать первый дифференци-
ау
альпый инвариант в виде и = + а'у^. Таким образом, взяв первый дифференциальный
инвариант в виде и = а + [ ^, можно расширить множество точечных симметрий с помощью трёх функций т (х, у) ,а (у, у), [ (у, у).
Практическое нахождение динамических симметрий рассматриваемого типа предлагалось осуществлять в несколько этапов:
А. Выполнив точечную замену переменных Ь = т(х, у) ,у = у, перейти от уравнения
=0
1 У сИ2 1
к уравнению
В. По инвариантам,
( йу ¿2у\
V ,у , ^, (И2)
* ("-¡Я)
V = х, и = а (х, у) + [ (х, у) (-,
ах
разрешив систему (6), построить оператор динамической симметрии.
С. Приравняв в критерии инвариантности
Х Ф |ф=0 = 0
уравнений.
Р. Найти решения определяющей системы уравнений.
В работах [2, 3] на примере уравнения
у" = у' + ! (У) (8)
показана эффективность использования динамических симметрий для нахождения явных решений, С помощью найденных решений удалось выписать точные решения уравнения диффузии Колмогорова-Петровекого-Пиекунова, уравнения Семёнова (Фитц-Хыо-Нагумо), используемого в теории цепных химических реакций,
К сожалению предложенный подход оказался весьма трудоёмким, В связи с этим в данной работе расматриваются двухмерные алгебры, образованные из дважды продолженного оператора точечной симметрии (4) и оператора динамической симметрии (5) с инвариантами
v = x, и = а (x, у)+[ (x, у) C^, щ = а'х + у'(а'у + ['х)+у'2[у + у"[.
1. Двухмерные алгебры динамических симметрий ОДУ
Софус Ли [4, 5], приводит классификацию ОДУ второго порядка на основе классификации двухмерных алгебр операторов преобразования плоскости :
[ХЬХ2 ] = 0, Х-1 V Х2 = 0, у" = /(у');
[Х1,Х2] = 0, X! VX2 = 0, у" = !(х);
4, [ХиХ2]=Хи X! VX2 = 0, у"= ^ (у>);
[ХЪХ2] = ХЪ X VX2 = 0, у" = !(х)у'.
Выскажем достаточно очевидное наблюдение, облегчающее рассмотрение двухмерных алебр динамических симметрий.
Х = А. дх ) Х2 = д ду ,
Х = д ду , Х2 = X дуду
Х = д. ду , Х2 = X — дх
Х = _д ду , Х2 = Уду-
Пусть дифференциальное уравнение
У” = f (х,У,У1) (9)
допускает точечную симметрию (4), В этом случае конечное однопараметрическое преобразование, порождаемое оператором (4), обладает следующими свойствами:
I, Преобразует решение уравнения (9) в решение этого же уравнения.
II, Преобразует гиперповерхность, определяемую уравнением (9), в себя.
Умножив оператор (4) па произвольный функциональный множитель р(х,у,у',у"), получим оператор
- ( д д д д \ J = р(х, у, у', у"т(х, у) qx + v(x, y)]fy+ ъ(х у> уГ) оу + ^ (х’ у, у’ , уП) щи) ■ (10)
Конечное однопараметрическое преобразование, порождаемое оператором (10), уже не будет обладать первым свойством. Второе свойство при этом сохранится, так как операторы
(4) и (10) обладают одинаковым набором инвариантов.
При решении задачи о нахождении ОДУ второго порядка основную роль играют именно инварианты, поэтому в этом случае можно рассматривать двухмерные алгебры не над числовым, а над функциональным полем. Переход к функциональному полю существенно облегчает задачу, поскольку позволяет перейти от рассмотрения полных систем дифференциальных уравнений к якобиевым.
Рассмотрим двухмерные алгебры, состоящие из оператора (4) и оператора динамической симметрии (5),
Потребуем, чтобы оператор (5) в некоторой новой системе координат
dp .. сРр
dt, Р dt2
/ \ / \ аР ..ар , ч
t = t{x,y), Р = p{x,y), Р=~ц, 'Р=—2 (И)
обладал инвариантами v = t, и = a{t,p) + P{t,p)
Отметим, что преобразование (11) является точечным, следовательно, наиболее общий вил оператора точечной симметрии (4) не изменится. Разрешая систему (6) и используя старые обозначения х,у,у',у", придём к операторам
д д д д х = і {х,у) — + rç {х,у) — + щ {х, y, у’)^~1+ V2 {х, У, у1 , у”)
где
2 дх ду ду1 ду"
т = v’x + у' Ыу - Q - Су у'2,
V2 = Vxx + у' {2Vxy - Схх) + у' Ыуу - 2îxy ) — у' Суу + у"' {Vy - 2Сх - 3Cyyf )’■>
д „ д , „ д
Vi I н\ ( ® ! Л ® ( I Н\ ® \
Х = у(х,у,у ,у ^ — + V (х,у,у ) — + ^ (х,у,у , у ) —у V = - {а'у + Р'уу') Р Л
^1 = (ау2 + ауР'х - <уР + у' (Р'хР'у + 3ауР'у - аууР - Р'хуР) +
+у' (яРу - РууР) - у” Р'уР) Р 2-
Для определения ОДУ второго порядка, допускающего приведённые операторы, необходимо решить систему линейных уравнений с частными производными
^ ,дд . .дд . . дд . ... дд
^(х,у) дХ + п(х,у) ~ду + щ(х,У,У ) Ъу' + Ъ(х’У’У ’У ) ъГ ’
№ „дЗ . ... д$ п ^
+ Кх,у,у ) + ^1(х,у,у ,у )= о.
Система дифференциальных уравнений (12) является полной, поскольку предполагается, что операторы образуют двухмерную алгебру.
Перейдя к переменным
ж = ж, у = у, и = а{х,у)+ Р(х,у)у', иг = ах + у'(а'у + рх) + у12$у + у"р, получим систему вида,
.. .д'д .д'д дд .8$
йх,у) 0^ + Л{%,У) + гП1(х,У,и) — + г]2{х,у,и,иг) — = 0,
тт = 0’
ду
(13)
где преобразованные компоненты fji(x, у, и), f)2(х, у, и, щ) полиноминально зависят от новых переменных и, и1.
Система (13) приводится к якобиевому виду, например, если £(х,у) = 0, то придём к системе
dû fji(x,y,u) dû fj2(x,y,u,ui) dû
dx ^ (x,y) du ^ (x,y) dui , ^
d'à
Ъу = °
Из якобиевости системы (14) следует, что
д (гц(х,у,и)\ = 0 д (fj2(x,y,u,ui)\ = 0
ду\ Ï(х,у) ) , ду\ Ç(x,y) ) - { }
Приравнивая к нулю коэффициенты при u,ul в системе (15), получим переопределён-
ную систему дифференциальных уравнений относительно функций £(х,у), г/(х,у), а(х,у), р (х,у).
Анализ переопределённой системы с точностью до точечных преобразований позволяет, наряду с четырьмя классами выписанными С, Ли, выделить обыкновенное дифференциальное уравнение вида,
Н\
у" + у'^ = î Ы + Чу». (!б)
Исследование системы (13) в общем случае позволяет сделать вывод о том, что в рассматриваемом классе алгебр содержатся все указанные Софуеом Ли уравнения и уравнение (16), Других уравнений второго порядка в этом классе нет,
2. Разрешимые случаи уравнения у'' + у'^ = f (у' + Х(у))
Прежде всего отметим, что если в уравнении (16) взять функцию
А(У) = Al + ^,
то получим уравнение
у” + = f Ы + Ai + \2y),
допускающее двухмерную алгебру точечных симметрий
д д
Xi = —, Х2 = ехр(-\2 х) —. ох оу
Таким образом, в случае линейности функции \(у) придём к дифференциальному уравнению, относящемуся к III типу классификации С, Ли, Сделав замену переменных
придем к уравнению
х^т = /(х2и + А1),
указанному С, Ли,
В случае квадратичной зависимости
Х(у) = А + Х2У + А3у2
уравнение
у'' + у'х2 + 2у'уаз = Цу1 + х + Х2У + хзу2) не допускает двухмерной алгебры точечных симметрий.
Легко выписать первый интеграл уравнения (16), Обозначив = у^, получим интеграл в виде
Ф(у' + Х(У)) = % + Съ (17)
К сожалению, оператор динамической симметрии известен с точностью до функционального множителя. Нахождение функционального множителя с помощью критерия (3) равносильно задаче интегрирования уравнения (16), Поэтому невозможно использовать динамическую группу для получения общего решения.
Очевидно, что решение уравнения (17) равносильно решению уравнения
* = ^(,! - Х(г/))- (18) При квадратичной зависимости Х(у) = А + Х2у + Х3у2 уравнение (18) становится уравнением Риккати, Перейдя в уравнении (18) к независимой переменной £ = Ф(г>), придём к уравнению
= Ф 1(1) — А — Х2у — хзу2.
С помощью стандартного преобразования уравнение Риккати приводится к каноническому виду
^ + и2 = Ф~г(г). (19)
Относительно интегрируемости уравнения (19) известна следующая теорема
Теорема 1. [6] Для, того чтобы, каноническое уравнение Риккати (19) было интегрируемо в квадратурах, необходимо и достаточно, чтобы, Ф-1(£) была, представлена в виде
г. . гг Е'' Е'2
Ф~г(1) = — +_____________
( ) Е2 + 2Е 4Е2,
где гг = сопэI, Е = Е (Ь). При этом, имеется, три, типа, решений:
Е' 1
А. гг = 0, и = —— +
2Е Е(/ § + С,)
2 Е' ехр (2а [ E + 2аСЛ + 1
В. г, = а2, и = — + a- v JE ’
2Е Е (exp (2а f E + 2аС{) — l) ’
_ 2 Е' tan (a f E + aCí)
С. n = —а2 и = — — а----------.
Если функция х(у) = А + х2 ехр (хзу), то уравнение (18) легко линеаризуется заменой и = ехр (—хзу) и, следовательно, интегрируется в квадратурах.
Приведём некоторые типы уравнения (18), допускающие точечные симметрии вида х = £ W rn + (VI М + П2{ж)у) % И.Ш х = ¿ (у) + ш<>) £, + я(у) £.
х5
2( Хг + Х2У + Х3у2 )Х3 ¿Ф =____________________________________
Х2Х5 — с + 2Х5Хзу , ¿V (1 — Х5Ьк(Х^у — с)2)(А5у — с)Х3,
( Х2 — )
( Х 2 Х 5 — )
А3<
2 Х3Х5
(1 — Х5Ък(Х^ — с)2)
(х& — с)2 '
2. Х(у) = — 1п(с — аЬ + у) + Хг, — = —^ ехр (—^
С 1
С (^ = 1, Л1(^ = а — -, щ = — ;
3. Х(У) = — Сг(У) = —
(15рго(Хгу + Х2)) 3 + Р9 ¿Ф 312Ъргр\0
5рго
Р9Х1 15рю ,
Х1
Ь (У) = — -3-
¿V (Ьр^ + рд)5'
я(у) = ХгУ + х2;
4рд^—р1о(Х2 + Х-у) ± У2 ¿Ф _ ______________
16'Рго\/—рго(Х2 + Х-у) ¿v (Р9 + 4Р10'Ц)/4
2Ь6р2р\о
\ Рд & Г \ 1 Г \ Х1У + Х2
Ш = — ъГо' ш = — 2 • Г1(у) = —ХГ;
Ь. Х(у) ¿Ф
Ь ехр (ьХ^рз ехр (— + Х2а ехр (аХ1 рз ехр (— ехр (^
ехр (ьХ1Рз ехр (—+ Х2 ехр (аХ1Рз ехр (—
.ж.
рз
Рз
¿V (Ь — v)(a — V)
ш = |— ■%)) ш- ш = РзШ — £Аы—ь)
ехр
2у
Х1 3
Л(У) = РзЫуУ,
6. х(у) =
арзХ1 ехр (—р^) — ехр(р^) — арзх2
¿Ф
Рз
Рз (А1 ехр (—Р^ — Х^ ¿ь (ь аУ
ехр
2у
п(у) = РзЬ(у);
7. Х(у)
¿Ф
ехр {и) (а — ЬХ2)оо8 (ьХ1Рз ехр (— + (Ь + аХ2)8т (ъХ1Рз ехр (—
Х1Р3
ООБ
(ьХ1 Рз ехр (—р^^ + Х2 в1п (ЬХ1Р3 ехр ^
Рз
¿V V2 — 2с^ + а2 + Ь2
С1(У) = (рз— Í2(y), Ь(у)
ехр
Рз(Х(у)2 — 2аХ(у) + а2 + Ь2)
Л(У) = Рз Ь (у);
146 М.И. ТИМОШИН
-{3рзРв{Х\У + Х2» 3 - РзР5 + Р2Р6 ¿Ф Р6Р2 + РзРв V - РзР5
8. Чу) = --
РзРб dv Р6
Г , ^ Х1 (Р2Рв — РзР5) ^ ( л Х1 ^ л , л
С1(у) =-----------------о-, ^2 (у) = тг, я(у) = Х1У + х2;
Зрзрб 3
О /\ 1X^14 ¿Ф (3Р1 + Р2^
9. х(у) = (х1 у + х2)) 5 + хз, ¿V =--------27рз----,
с I \ 3Р1 С I \ Л I \ Ь(Х1У + Х2)
Ш = —, С2(у) = 1 я(у) =--------г---;
Р2 Х1
10. Х(у) = —Х2 + Х1(4Хзу + Х4) 1, —— = а(V + Х2)2,
¿V
Ш = Х2Х3, С2(у) = Хз, 'П(У)=4ХзУ + Х4;
,------- —Ф
11. Х(У) = Х1 + Х2у у + Хз, ¿V = a,
С1(у)= Х1, 6 (у) = 1, 'П(у) = 2(у + хз).
В заключение отметим, что случаи 1, 5, 6, 7, 11 являются интегрируемыми случаями уравнения Абеля и, по-видимому, представляют самостоятельный интерес.
СПИСОК ЛИТЕРАТУРЫ
1. Н. Stephani Differential equations: their solution using symmetries. Cambridge university Press, 1989.
2. Тимошин М.И. Динамические симметрии ОДУ // УМЖ 2009, Т. 1, N8 3. С. 132-138.
3. МЛ. Timoshin Dynamical Symmetries of Second Order ODE // Proceedings of the "Third Conference on Nonlinear Science and Complexity". Ankara, Turkey, July 28-31, 2010. http://nsclO .cankava.edu.tr / proceedings / index.html
4. S. Lie Vorlesugen uber Differentialeichungen mit bekannten infinitesimalen Transform,ationen Leipzig: B. G. Teubner, 1891.
5. N.H. Ibragimov Handbook of Lie Group Analysis of Differential Equations. Boca Raton, CRC Press, 1994. v. 1, 430 p.
6. Тимошин М.И. О точечных симметриях ОДУ первого порядка // В сб. Трудов XI Российского коллоквиума "Современный групповой анализ и задачи математического моделирования". СГУ, Самара, 1993. С. 174-180.
Михаил Иванович Тимошин,
Ульяновский государственный техничекий университет, ул. Северный венец, 32,
432027, г, Ульяновск, Россия E-mail: midvolga@mail.ru