CC BY
31
МАТЕМАТИКА
В. Ф. Зайцев, Хоанг Нгы Хуан
АНАЛОГИ ВАРИАЦИОННЫХ СИММЕТРИЙ УРАВНЕНИЙ ВИДА у" = F (у,у ,у"
Рассматривается задача поиска симметрий уравнений 3-го порядка, содержащих «предстаршую» производную, аналогичных вариационным симметриям.
Ключевые слова: обратная задача, дифференциальное уравнение 3-го порядка, автономный первый интеграл, вариационная симметрия.
V. Zaitsev, Hoang Ngu Huan
ANALOGUES OF VARIATIONAL SYMMETRY OF THE EQUATION OF THE TYPE y” = F (y, y',y"
We discuss the problem of search of the «variational» symmetries of the equation of the
type y"' = F(yy,y').
Keywords: Inverse problem, 3d-order differential equation, autonomous first integral, variational symmetry.
Настоящая работа продолжает исследование уравнений третьего порядка, обладающих аналогами вариационных симметрий [1]. Напомним, что вариационной симметрией называется симметрия, «наследуемая» первым интегралом исследуемого уравнения, что позволяет понизить его порядок сразу на две единицы. В отличие от работы [1], в данной статье исследуются уравнения, содержащие «предстаршую» производную у".
Очевидно, поиск подобных уравнений в общем виде сводится к доказательству совместности условий инвариантности и условий существования первого интеграла заданного вида с такими же условиями инвариантности. При этом трудоёмкость реализации такого алгоритма оказывается слишком высокой. Поэтому в качестве исходного подкласса мы рассмотрим подкласс автономных уравнений, априорно допускающий оператор X = Э х, и будем искать для него автономный первый интеграл. Для нахождения общего класса достаточно будет (в силу принципа подобия локальных однопараметрических групп на плос-
кости) применить произвольное преобразование, являющееся элементом группы эквивалентности исследуемого класса.
1. Рассмотрим уравнения вида
ут = Е (у, у, у")в (/), (1)
где G(у") — произвольная функция, а Е подлежит определению. Потребуем, чтобы уравнение (1) имело автономный первый интеграл. Очевидно, после деления на G уравнение (1) принимает форму
т
у = Е (y, у', у"), (2)
о( /)
и левая часть выражения (2) становится полной производной. Для выполнения поставленных условий необходимо и достаточно, чтобы и правая часть (2) являлась бы точной производной:
Р(У, У , У") = (y, у ) = + ^НУ.
ду ду
Отсюда следует, что возможны следующие случаи:
1 а. Функция Р линейна по второй производной, тогда первый интеграл уравнения [ 1 ] имеет вид
р = \-^ - Н(у, у'). -1 О( у)
1 б. Функция Р не зависит от второй производной, тогда первый интеграл уравнения [1] имеет вид
В этом случае функция Р линейна по первой производной: Р = Н(у)у' , где Н — произвольна.
1в. Отметим важный случай степенной зависимости функции G от «предстаршей» производной, когда О = (у")п. Тогда
р=|(у")1-п - (1 - п)Н (y, у^ если п ф 19
Ии у” — Н (у, у'), если п = 1.
Уравнения подобного типа встречаются в теории пограничного слоя. Представляется интересным изучение физических приложений полученных результатов, аналогичных вариационным (нётеровым) симметриям уравнений чётных порядков.
2. Наряду с классом (1) будем рассматривать ещё один вид уравнений, содержащих
№
«предстаршую» производную у :
У=р(уУ) (3)
и имеющих автономные первые интегралы, которые, естественно, будут «наследовать» симметрию X = дх исходного уравнения. Класс (3) допускает точечную группу эквивалентности
у = а(г )и + Ь(х), х = у(х), (4)
где у(1) удовлетворяет дифференциальному уравнению (у*) 2 = у)3, а(г)=С„1Т,, функция ¡3(1) произвольна. Заметим, что в общем случае функция у(Х) представима через интеграл от эллиптических функций Вейерштрасса. Применение группы эквивалентности (4) к найденным уравнениям (3) позволит нам получить решение нашей обратной задачи. Выпишем условия, при выполнении которых уравнение (3) будет иметь автономный первый интеграл
р = Р( у, у, у"). (5)
По определению первого интеграла,
Ох(р) = Я( y, у \ у №)\ут - р (y, у \ у *)]; (6)
здесь Я — интегрирующий множитель, Ох — символ полной производной. Из определения следует, что Я = Р., и для поиска класса функций Р остаётся одно уравнение
(7)
(8)
старшей производной ( у ) :
(9)
,дР + „ дР ^дР
у +у Р^ = °.
ду ду ду
1. Рассмотрим класс уравнений
? = Р (у)( / )2 + О (у) у" + Н (у) и будем искать автономный первый интеграл, линейный по
Р = Я(у, у)у" + 0(у, у).
Теорема 1. Существует единственное нетривиальное автономное уравнение (8) с Р = 0 (т. е. линейное по второй производной), имеющее автономный первый интеграл вида (9), а именно:
у, = _^_, (1°)
ау + Ь
где а, Ь, с — произвольные константы.
Доказательство. Подставляя (8), (9) в (7) и расщепляя по у*, получим систему
Я,+ ЯР = 0,
у ’
ву + Яуу' + ЯО = 0, (11)
Ду' + ЯН = 0.
Так как Р = 0, из первого уравнения системы следует, что интегрирующий множитель зависит только от у : Я = Я( у). Из оставшихся уравнений получаем
в = — 2Я’(у )2 -ЯОу + Су),
где С(у) — произвольная функция у. Наконец, из последнего уравнения следует выражение
- 2 я(у')5 - (О'Я + ОЯ')(у )2 + Су’+ЯН = 0,
откуда (после расщепления по у ) с необходимостью следует
Я = 0, (ОЯ)' = 0, С = 0, ЯН = 0.
с
Поэтому, если Я ° 0, то Н ° 0, Я = ау + Ь, О =-------------, С = С. Окончательно
ау + Ь
получаем первый интеграл в виде
а
Р = (ау + Ь)у - -(у')2 - су. (12)
Пусть теперь Р ° 0. Тогда из первого уравнения системы (9) находим Я = Б(у)е-Ру', из второго уравнения — функцию в :
е- Ру
в =-г \БР2РXу')2 + Р(2БР' - Б'Р)у ' + 2БР' - БР - БР2О].
Р
Очевидно, третье уравнение (после сокращения на е ру ) примет вид
Л(у)( у')4 + Аз( у )(у')3 + А2(у)(у ')2 + Аі(у) у + БИ = 0,
поэтому при Б ° 0 оказывается, что И ° 0, и все Аі = 0, і = 1,...4. Из равенства Р4 = 0 следует Е = 0, т. е. Р = а. Из остальных условий без труда получаем с
Б = ау + Ь, О =----------------. Таким образом, доказано следующее утверждение.
ау + Ь
Теорема 2. Уравнение
''' / 2 . у = а( у ) +
су
ау + Ь
(13)
является единственным уравнением вида (8) с Р ° 0, имеющим автономный первый интеграл вида (9), а именно:
Р =
(ау + Ь) у" +
аау + а + ас а2
->ау
(14)
1. Будем теперь для уравнения (8) искать автономный первый интеграл, квадратичный по старшей производной ( у )
Р = Я( у, у ')(у")2 + О( у, у') у ' + Я (у, у').
(15)
Рассуждая аналогично п. 1, приходим к системе
Я , + 2ЯЕ = 0,
у ’
О,+ Я у + ОЕ + 2ЯО = 0,
у у
Б' + О у + ОО + 2ЯИ = 0,
у у
БУ + ОИ = 0.
(16)
Если Р = 0, интегрирующий множитель зависит от у : Я = Я(у), из второго уравнения
находим в
О=- 2 Я' (у )2 - 2ЯОу+6Х у).
Из второго уравнения находится £, а четвёртое расщепляется по степеням у до системы
' Ят = 0,
(5Я'в + 4ЯО') ' = 0,
<(2ЯО2 -О)' = 0, (17)
2(0) ' + 5Я'И + 4ЯИ' = 0, оИ = 0.
Системы (16) и (17) при И ° 0 имеют несколько «серий» решений, но соответствующие им уравнения тривиальны (линейные с коэффициентами, вообще не зависящими от у ).
Теорема 3. Не существует нетривиальных уравнений класса (8) с И ° 0, имеющих квадратичный по второй производной первый интеграл вида (15).
Замечание 1. Для уравнений (10) и (13) легко найти квадратичные первые интегралы, но они представляют собой квадратичные формы линейных первых интегралов, указанных в теоремах 1, 2.
При И ° 0 система (16) имеет единственное нетривиальное решение и справедливо следующее утверждение.
Теорема 4. Существует единственное уравнение класса (8) с Р ° 0, И ° 0, а именно:
* = СУ" + к ау + Ь (ау + Ь)5/2,
имеющее первый интеграл вида (15):
Р
(су + Ь)/ + 2 а(/)2 - с/
2к ау' + 2с а (ау + Ь)1/2
и единственное уравнение класса (8) с Р, И ° 0, а именно:
2
т / Нг
у =а( у )------------------+ ,
а(ау + Ь) (ау + Ь)
имеющее первый интеграл вида (15):
Р = \ [а(ау + Ь)у” + ау ]2 +
ас
-2оу'
(ау + Ь)2
Работа может быть продолжена поиском на случай кубичного первого интеграла, то есть
Р = Я( у, у')( у")3 + б( у, у')( у" )2 + £ (у, у') у" + т (у, у)
(18)
для класса (8) с Р = 0, (т. е. линейное по второй производной). Аналогично предыдущим случаям получим систему
Я , = 0,
у ’
Яуу' + Оу = -зяо,
0уу' + £у = -200 - 3ЯИ,
V ' + т, =-£0 - 2ОИ,
Туу ' = -£И.
(19)
Из первого уравнения следует
О(у,у ) = -2Я\уУ -3Я0у + а(у),
(20)
а из третьего
8 =1 Я" (у')4 +1 4 Я'О + ЯО'| (у')3 +1 3ЯО2 -1 а'| (у')2 - (3ЯИ + 2аО)у' + р(у). (21)
8
3
2
Четвёртое уравнение даёт
Т = -—Я'(у ')6 -48
'7 7 1
— Я О + — Я'О' +1ЯО ' 24 15 5
(у )5-
Г7_
4
1 13
-яоо ' - 1а+— я о 2
8 12
(у')4 +
+
52
4
-аО + —а0' + ЯИ' + - Я И - ЯО
6
3
3
(у )3 +
+
2
2
(22)
г 9 1 ^
аО2 + - ИЯО —р (у ')2 - (Ор + 2 И а) у' + /(у).
Подставив (20), (21) в последнее уравнение системы (18) и затем расщепив по первой производной у , получим
3
Я(1Г) = 0,
7 91 2 1
— Я'" О + — Я" О' + 2 Я'О" +1ЯО'" = 0, 24 120 3 5
13 (47 7
13 Я"О2 + 47 ■
12
—Я'О' + - ЯО" ч12 4
5 6
71
О + - Я(О ')2 —а = 0, 4 8
5 2 3 35 7
- ЗО'ЯО2 + ЯЯ" + -а"О - Я'О3 + 2аО" + 3а'О' + 35Я"И + 7Я'Н' = 0,
3
а О2+
35 9
24
2аО + — Я'Н + -ЯН' О — '" + — НЯО' = 0, 6 2 ) 2 2
5
ЗНЯО2 - - На - 2Н а - Ор' - Ор = 0,
ЗЯН2 -/ + 2ОНа = 0, рН = 0.
3
Из первого уравнения следует
Я (у) = ау + Ьу + су + й
(23)
а из последнего —
Р(у) ° 0.
(24)
Пятое уравнение теперь становится
2 Н 'а =
Н.
(25)
Переписав его в виде
легко находим решение
Н_ = 6ЯО2 - 5а Н ~ 4а :
Ґ £ ПГ-< 2 с Л
Н (у) = к ехр
6ЯО2 - 5а 4а
йу
(26)
где к — произвольная константа.
Оставшиеся четыре уравнения составляют переопределённую систему обыкновенных дифференциальных уравнений относительно функции О(у) :
7 91 2 1
— Ят О + — Я" О' + 2 Я'О" + - ЯОт = 0, 24 120 3 5
13
13 Я" О2 + 12
47 7
47 Я'О' + 7 ЯО" V12 4
л
71
О + 7Я(О')2 -1а = 0, 4 8
(27)
5 2 3 35 7
ЯИ" - ЗО'ЯО2 + -а О - Я'О3 + 2оО" + 3а'О' + — Я"Я + 7Я'Я' = 0,
аО2 +
6
35 9
2аО' + — ЯИ + - ЯИ' 62
3
2
24
11
О + — ИЯО' = 0. 2
3
Однако система (27) совместна и имеет решение, так как, согласно теореме 1, класс уравнений (8) с Р = 0 имеет линейный первый интеграл. Из этого следует, что этот класс уравнений также имеет тривиальный кубичный первый интеграл, полученный в результате возведения в третью степень линейного интеграла (13), т. е.
Р
Этот интеграл является, по построению, одним из решений системы (27).
Замечание 2. Очевидно, что алгоритм решения обратной задачи для классов уравнений, содержащих «предстаршую» производную, существенно отличается от метода, реализованного в работе [1]: если в уравнении имеются только младшие производные, мы в конечном итоге приходим к системе двух уравнений, в которых вспомогательная функция (один из коэффициентов первого интеграла) входит в виде частных производных по разным переменным. Тогда условие совместности приводит к получению уравнения в частных производных для искомой функции — правой части уравнения. В рассматриваемом в настоящей работе случае младшие (в данном случае — первая у') производные отсутствуют, и окончательное уравнение, к которому приводится определяющая система, необходимо расщеплять по у', в результате чего возникает новая система.
В заключение отметим, что для уравнений 3-го (и вообще нечётного) порядка свойство «наследования» первым интегралом симметрии исходного уравнения (т. е. свойство, аналогичное свойству вариационной симметрии) оказывается существенно более «редким», чем для уравнений чётных порядков. Это может объясняться рядом причин — отсутствием самосопряжённых форм для уравнений нечётных порядков и для их симметрий; отсутствием аналогий в уравнениях механики и вообще в вариационных задачах (уравнение Эйлера — Лагранжа может иметь только чётный порядок); отсутствием простых интегрируемых комбинаций с младшими производными (для сравнения: если к — целое, то выражение у у(2 к) является точной производной, а выражение у у(2 к+1) — нет). Исследование этих вопросов, безусловно, представляет значительный интерес.
3
Тем не менее множество уравнений, обладающих описываемым свойством, может быть существенно расширено, если использовать не точечную группу эквивалентности, а общее преобразование Беклунда, сохраняющее автономность [6].
1. Хоанг Нгы Хуан, Зайцев В. Ф. Аналоги вариационных симметрий ОДУ нечётных порядков // Некоторые актуальные проблемы современной математики и математического образования: Материалы научной конференции «Герценовские чтения — 2012». 16-21 апреля 2012 г. СПб.: Изд-во БАН, 2012. С.
2. Зайцев В. Ф., Линчук Л. В. Дифференциальные уравнения. Структурная теория. СПб.: ООО «Книжный дом», 2008. Ч. 1. 128 с.
3. Зайцев В. Ф., Линчук Л. В. Дифференциальные уравнения. Структурная теория. СПб.: ООО «Книжный дом», 2008. Ч. 2. 100 с.
4. Зайцев В. Ф., Полянин А. Д. Справочник по нелинейным дифференциальным уравнениям: приложения в механике, точные решения. М.: Наука, 1993. 464 с.
5. Bluman G. W., Anco S. C. Symmetry and integration methods for differential equations (AMS 154). Springer, 2002. 418 p.
6. Polyanin A. D., Zaitsev V. F. Handbook of exact solutions for ordinary differential equations, 2nd edition. Chapman & Hall / CRC, 2003. 814 p.
1. Hoang Ngy Huan, Zajtsev V. F. Analogi variatsionnyh simmetrij ODU nechjotnyh porjadkov // Ne-kotorye aktual'nye problemy sovremennoj matematiki i matematicheskogo obrazovanija: Material nauchnoj konferencii «Gercenovskie chtenia — 2012». 16-21 aprelja 2012 g. SPb.: Izd-vo BAN, 2012. S. 116-120.
2. Zajtsev V. F., Linchuk L. V. Differentsial'nye uravnenija. Strukturnaja teorija. Ch. 1. SPb.: OOO «Knizhnyj dom», 2008. 128 s.
3. Zatsev V. F., Linchuk L. V. Differentsial'nye uravnenija. Strukturnaja teorija. Ch. 2. SPb.: OOO «Knizhnyj dom», 2008. 100 s.
4. Zajtsev V. F., Poljanin A. D. Spravochnik po nelinejnym differentsial'nym uravnenijam: prilozhenija v mehanike, tochnye reshenija. M.: Nauka, 1993. 464 s.
5. Bluman G. W., Anco S. C. Symmetry and integration methods for differential equations (AMS 154). Springer, 2002. 418 p.
6. Polyanin A. D., Zaitsev V. F. Handbook of exact solutions for ordinary differential equations, 2nd edition. Chapman & Hall / CRC, 2003. 814 p.
СПИСОК ЛИТЕРАТУРЫ
116-120.
REFERENCES
