Математика и математическое моделирование. 2019. № 05. С. 1 - 14.
БО!: 10.24108/шаШш.0519.0000197
© В.О. Лукащук, Л.О. Гаврюшина
Математика й Математическое
моделирование
Сетевое научное издание http://mathmelpub.ru ISSN 2412-5911
УДК 517.95
Приближенные симметрии и законы сохранения дробно-дифференциального обобщения уравнения Бюргерса
Лукащук В.О.1*, Гаврюшина Л.О.1
1 Уфимский государственный авиационный технический университет, Уфа, Россия [email protected]
В работе проводится исследование симметрийных свойств нелинейного приближенного уравнения в частных производных, полученного путём разложения дробной производной Римана-Лиувилля в ряд по малому параметру, выделенному из порядка дробного дифференцирования в дробно-дифференциальном обобщении уравнения Бюргерса. Для приближенного уравнения проверяется выполнение условия нелинейной самосопряженности, а также строятся приближенные законы сохранения и некоторые инвариантные решения.
Ключевые слова: дробно-дифференциальное обобщение уравнение Бюргерса, приближенные симметрии, приближенные законы сохранения
Представлена в редакцию: 04.09.2019, исправлена 19.09.2019
* Работа выполнена при поддержке Министерства науки и высшего образования РФ, государственное задание № 1.3103.2017/4.6.
Введение
Уравнение Бюргерса является одним из классических уравнений математической физики. Впервые оно было предложено И. Бюргерсом для описания одномерной турбулентности [1]. В дальнейшем было показано, что это уравнение возникает при рассмотрении довольно широкого класса задач. Например, в гидродинамике оно возникает при моделировании распространения колебаний в вязкой среде [2], в нелинейной акустике [3, 4] оно описывает движение плоских волн небольшой амплитуды и нелинейных волн в газах.
В последние годы наблюдается значительный рост интереса к исследованию математических моделей с учетом эффекта памяти среды. Если функция памяти имеет степенную асимптотику при больших временах, то соответствующая математическая модель может быть представлена в виде дробно-дифференциального уравнения [5, 6]. Если влияние памяти относительно мало (то есть порядок дробного дифференцирования близок к
целому числу), то дробно-дифференциальное уравнение может быть приближено уравнением с малым параметром. Исследованию таких уравнений посвящены, например, работы [7, 8].
Эффективным аппаратом для исследования свойств и решения уравнений с дробными производными является групповой анализ. Его методы (см., например, [9,10]), впервые предложенные известным норвежским математиком С. Ли, и в настоящее время являются актуальными. Инфинитезимальный подход к изучению симметрийных свойств и построению группы точечных преобразований, развитый в работах [11, 12, 13], позволяет находить как точные, так и приближенные симметрии и инвариантные решения для дробно-дифференциальных уравнений.
В работе рассматривается дробно-дифференциальное обобщение уравнения Бюргерса Б "и = ихх + f (и) их, и = и (х, 0 , а е ( 0, 1 ) , (1)
с дробной производной Римана-Лиувилля по времени [14]
т^гг 1 д л и(т,х) ,
=--| 1 ' йт, (2)
С Г ( 1 -а) дС ■>о (С - т) а ' ( )
где Г ( 1 — а) - гамма-функция. Функция f (и) в уравнении (1) - произвольная функция, отличная от константы.
При а = 1 — е для дробной производной (2) справедливо разложение [13]:
Dfu « ut + е
i s(s + 1)!
S=1
где у - постоянная Эйлера. В данном разложении 0 < е << 1 является малым параметром. Здесь и далее равенство h (х) « g ( х) означает h (х) — g (х) = о ( е) .
Таким образом, из исходного уравнения (1) получается уравнение с малым параметром
иt + е [ ( 1 n ( t) + у — 1)иt + Z%!Dts+1и] « ихх + f(и)их. (3)
Уравнение (3) может рассматриваться, как нелокальное возмущение обобщенного уравнения Бюргерса
иt = f ( и) их + ихх, (4)
в которое оно переходит при .
В данной работе для уравнения (3) ищется допускаемая им группа приближенных точечных преобразований, проверяется выполнение для него условия нелинейной самосопряженности, строятся приближенные законы сохранения и некоторые инвариантные решения.
1. Допускаемая группа преобразований
Следуя работе [15], будем искать приближенно допускаемую группу преобразований для уравнения (3) с оператором
X « X (0 ) + е*(i ) = (^ ) + е fli )) ^ + (f(0 ) + е f(1)) ¿ + (Л(o ) + еЛ(i)) (5)
Координаты , ^, /^ (у = 0,1 ) данного оператора являются функциями переменных 1,х,и. Оператор X (0 ) в (5) является оператором невозмущенного уравнения (4). Групповая классификация уравнения (4) хорошо известна, (см., например, [9, 10]), для него справедливо
Утверждение 1. В зависимости от вида функции / ( и) уравнение (4) допускает двух-, трех- или пятипараметрическую группу Ли точечных преобразований. А именно,
если /( и) - произвольного вида, то уравнение (4) допускает двухпараметрическую группу Ли с операторами
_ д _ д
если / (и) = ик, к Ф 0, 1, то группа Ли С для уравнения (4) расширяется до трёхпара-метрической оператором
д д д
Х3 = 2 Ы— + кх---и—,
с^ ох ди
если то группа Ли для уравнения (4) расширяется до пятипараметриче-
ской операторами
д д д Х3 = 2г— + х—-и—, с^ ах ди
д д , д д д Х4 = г—-—,Х5 = t2 — +tx—-(x + Ы)—. ох ди с^ дх ди
Таким образом, оператор X (0 ) из (5) в зависимости от вида функции / (и) есть линейная комбинация операторов Х (,.. .,Х5 из утверждения 1.
Рассмотрим случай, когда уравнение (4) допускает самую богатую группу симметрий, то есть функция / (и) является линейной. Из утверждения 1 следует, что функции
^(оу %у V(о) в (5) примут вид
^(о) = С^ -Ь 2ЬС4 -Ь Ь2 = С2 "Ь ~Ь хС4 -Ь ЬхС^,
77(0) = —С3 — иС4 — (х + Ы)С5, где С(,..., С5 = Сопзt . Тогда второе продолжение оператора (5) будет иметь вид
д д д X * Ко) + ^(1))^ + ((оо) + ^(1))^ + (*т + «Ки) ^ +
00
++ + <*&>) ац; ■+ ш + 1
где
?(0) — — ЗщС4 — ЗtutC5 — ихС3 — хихС5 — иС5, ?(0) = ~2ихС4 — 2ШхС5 — С5, ^(о) = — ЗиххС4 — Зихх1С$, (¡3+1 = -(25 + 3)С4Б?+1и - (25 + 3)гС^+1и - (5 + 1)2С5^и -
-(5 + 1 )С30?их - (5 + 1 )хС^их, = ЛО-К + Л^иЩ ~ + ~ + )и}'
£(1) = ЛЮх + ЛО-^уЦх ~ + — + иХ$1)и)>
£(1) - Л(1)хх + щ01(.1)и - - ((1)хх) + их(2г1(.1)хи - 5(1)хх - иг1(.1)и + 2^(21)Х) -
-2- + и2х(11(1)ии - 2^1)хи + 3и^1)и) - ихи((2^1)хи + Щ1)и - и^(1)и)
Определяющее уравнение запишется как
к«
и
и
5=1 '
t t2 /—15(5 + 1)! с
+ (*7со) + - /и*) +
+ (?(о) + + £0П(0 + Г - 1)) - /(?(о) + ^(21)) -
00
(6)
5=1
5(5 + 1)!
„5 + 1 I ?(0)
= 0.
(3)
Все производные ихх в (6) заменяются в силу уравнения (3). Расщепляя полученное уравнение по степеням е, при е = 0 имеем тождественный ноль в силу утверждения 1. При е 1 определяющее уравнение расщепляем по всем производным и £,их,их2 ,щх,и 1их,ихщх,и £их2 ,их 3 £+1 и, Б £ их, входящим в уравнение. В итоге получаем систему на неизвестные функции ), ^), Л(1 у С1
7" + 2С4 + ¿С5 — % I + + С(!)хх + — О,
~ С3(1п(0 + К - 1) - - ~ Зи%(1)х ~ 2Л(1 )хи + К2(Х)хх =
2и^(21)и - ?7(1 )ии + 2^(21)хи = О,
2^1)х = = ^(1)гш = 0' %(1)ии = О,
+ 2^(1 ~ = о, 7Г - 7 - 0^5 + иС5) ■ (1п(0 + 7 - 1) + 77(1)с - Ш7(1)х - 77(1)хх = О,
Сли
(5 + 1)!
(5 + 1)!
5-5!
~Сз И^! гт; В1их — хС5 —- 01их = 0.
(7)
(8)
(9)
(10) (11) (12)
(13)
(14)
5-5! с л ° 5-5!
Из уравнений (13), (14) имеем С1 = С3 = С5 = 0. Тогда из уравнений (10), (11) следует
((1) = = х)-Из уравнения (9) получаем, что функция л( 1) будет линейной по переменной и. Следовательно, расщепляя (12) по и, имеем
т?(1) = (А^ + А2)и + А1Х + А3, где А1 ,А 2, А 3 = Со пя t . Используя полученную л ( 1) в уравнениях (7) и (8), находим ^) = 2 С 4г - А^2 - 2А2г + А5, ^ ) = -А¿х - А2х - А3г + А4,
где
Таким образом, уравнение (3) с линейной функцией /(и) допускает семипараметри-ческую приближенную группу преобразований с операторами
д д д д д
С! Х^ — ~~—, Х2 — £ ~~ , Х^ — еХ
д д _ д д д
Х4 = ег---г—,Х5 = £t/ — + егх---е(х + Ы)—,
ах ди с^ дх ди
д д д д
Х6 = гХг = г—,Х7 = гХ3 = 2ге — + гх---ги—.
дх ot дх ди
Аналогичным образом были найдены координаты оператора (5) в случае произвольной и степенной функции /(и) из уравнения (3). В результате доказана справедливость следующего утверждения.
Утверждение 2. В зависимости от вида функции / (и) Ф Сопэt уравнение (3) допускает трех-, пяти- или семипараметрическую группу Ли приближенных точечных преобразований. А именно,
если /(и) - произвольного вида, то уравнение (3) допускает трёхпараметрическую группу Ли с операторами
д _ д
если то группа Ли для уравнения (3) расширяется до пятипара-
метрической операторами
д д д
Ха = 2Ы(1 + е) — + кх---и—,Х 5 = еХа,
Зt дх ди
если то группа Ли для уравнения (3) расширяется до семипараметриче-
ской операторами
д д д Х4 = 21{1 + е) — + х— -и—, с^ дх ди
д д _ д д д
Хг = £t---е—,Х6 = еЬ1 — + £tx---е(х + Ы) —,Х7 = еХ4.
дх ди ot дх ди
2. Нелинейная самосопряженность
Невозмущенное обобщенное уравнение Бюргерса не имеет классического лагранжиана. Воспользуемся работами [16], [17] и найдем формальный лагранжиан для уравнения (3) в виде:
£ « £ (о) + е£ ( -) = V ^ о ) + ер ^ -) ,
где
00
и уг^ (-1У^
^(0) = Щ- /(и)их - ихх,= (1п(0 + у - 1 )щ + - + + 1Л\°"+1и'
5=1
а V « V(0) + е Р(() — новая зависимая переменная. Для определения V запишем приближенно сопряженное к (3) уравнение
8£ = — « О,
ди
где
Г = ^0) "зГ " ^ К» ) - Ъ* Ко) -д^) +Ъ Ко) ) +
а/7(°) п ( дРт\ П ( п2 ( Щ*)
ал
+ £
)'
(1)
ди
ал
(1)
ал
диг
+
1^(1) ■
(0) ди
ал
(0)
диг
ал
(0)
+
со
х 5=2
ал
(1)
ди
или, после преобразований,
р* = + 1>(0)х/(и) - + е[ + у - 1) -
— 2 (¡З^5(^ " 1р(0)) — р(() С + р(1)Х/(и) — р(1)ХХ ]. (15)
Уравнение (3) будет приближенно нелинейно самосопряженным, если найдутся такие функции ф ( 0)( 1,х,и) и ф ( ()(^ х , и), что выполняется условие (см., например, [17]):
П) + Ер(1)] ^^х.иНе^.х.и) * А(0)р(0) + е(А(0)Р(1) + А(1)Р(0)), (16)
где Л(0),Л(() - неопределенные коэффициенты. Подставляя (15) в (16) и расщепляя последнее по малому параметру и независимым переменным, получим решение в виде
Л-(о) = °< ^(1) = °< Ф(о) = Кь Ф(1) = где . Не ограничивая общности, положим
Таким образом, доказано
Утверждение 3. Приближенное уравнение (3) является приближенно нелинейно самосопряженным с подстановкой V = 1 + е.
3. Приближенные законы сохранения
Согласно [17], для уравнения (3) приближенный закон сохранения имеет вид
Б^С1) + БХ(СХ) «0,
где компоненты сохраняющегося вектора определяются по
формулам:
= IV,
д£
(0) _
г - - (0) \ диг ~х \ ди
. о^ = т
ах(0)
д
д£т (д£, = Ьг
(1)
+
1 - -.5 + 1,
5=1
00
г=1
д£
(1)
аелГ1«)
+
5-Г П5-Г
ДОГ1«), д£(
'(1)
ГХ 1д£(0)
5=7" + 1 ?д£
диу
+
+
а>с(0)
^ V д
^(0) = Г}(0) - 1) = ?7(1) - ^(1)и)>
а слагаемые формального лагранжиана с учетом утверждения 3 равны
•£(0) — ut — f(u)ux
oo
U V^ (-l)StS £(1) = (ln(t) + y)ut + - + 2jsss + + Ut ~ -
S=1
Снова рассмотрим уравнение (3) с самой широкой допускаемой группой приближенных преобразований, то есть случай /(и) = и . Для оператора X 1 имеем I(0) = — их, I/ ^ = О и компоненты сохраняющегося вектора в силу уравнения (3) равны
Сх = 0,Ct = 0.
Следовательно, приближенный закон сохранения является в этом случае тривиальным. Показано, что для операторов и соответствующие приближенные законы сохранения также оказываются тривиальными.
Для оператора имеем /(0) = — и — 2 tut — хих, //( 1 ) = — 2 tut, а компоненты сохраняющегося вектора равны
C^q^ — и + xuz¿х + "2.£ът>£ + "2,ъ1х х^хх ^^^xt'
C^ = — (u + 2tut + xux),
f v (-i)ntn
C^ = — £[(u + 2tut + xux) ■ (ln(t) + y) + (i¿ + 2tut + xux) + > -—D™u +
n=1
¿-L n-n\ 1 ¿—i n ■ (n + 1)!
71=1 71= 1
Выделяя в Cx слагаемые с полной производной по í и перенося их в С f, с учетом уравнения (3) получим координаты сохраняющихся векторов в виде
Сх « —е(и2 + 2их), Cz « 2ги. Таким образом, закон сохранения для данного оператора совпадает с невозмущенным уравнением (4). Для операторов , и получены тривиальные приближенные законы сохранения.
Аналогичным образом получены тривиальные приближенные законы сохранения для операторов ^ , Х2 и в случае / (и) произвольного вида и степенной функции / ( и) . Для оператора Х4, допускаемого уравнением (3) при / ( и) = и k, к^О , 1 , компоненты сохраняющегося вектора определяются выражениями: при
Сх « (1 - к)
ик+1
1-7 + их
к + 1
+ е(1 - 3к)
ик+1
, . Н- Wy I , к + 1
Сг « (/с - l)[u+ eu(ln(t) + v)] +eu(3fc - 1) +е(1 -fc) V-—--DTu;
/ 1 г ■ г!
5=1
при
Сх « 2[lnu + + 4г[1пи +
v1 (-l)r+V
Ct « -2[u + £u(ln(0 + v)] + 4eu + 2e > -—--Diu.
/ i г ■ r!
s=l
Можно показать непосредственными вычислениями, что этот приближенный закон
сохранения совпадает с самим уравнением (3). Поскольку Х5 = еХ4, компоненты
сохранящегося вектора для него получаются из вектора для оператора Х4 в виде
,к+1
Сх « (1 -к)е
и
+ Uy
,Ct « (к — l)su, при к Ф — 1;
к + 1
Сх « 2г[1п и + их], Cz « —2su, при к = — 1. и приближенный закон сохранения совпадает с невозмущенным уравнением (4). Таким образом, доказана справедливость следующего утверждения. Утверждение 4. Все законы сохранения, найденные методом нелинейной самосопряженности, для нелинейного приближённого уравнения (3) являются тривиальными или совпадают с самим уравнением.
4. Примеры инвариантных решений
Знание приближенных симметрий уравнения (3) дает возможность строить его приближенные решения. Построим некоторые примеры инвариантных решений приближенного уравнения (3) с функцией f (и) = и.
Пример 1. Общий приближенные инвариант для оператора X i имеет вид
/ « /(0)(t,w) + Eli(t,u),
откуда находим анзац на решение
и « <Р(о)(0 +Е(Р{i)(0-
Подставляя данный анзац в уравнение (3), получаем уравнение на неизвестные функции <Р (о) ><Р ( i ):
00
(ln(t) + Y - 1)<Р(0) + ■^ + Z ^TÜ!Dr V(0)
S=1
Расщепляя по малому параметру и решая полученную систему обыкновенных дифференциальных уравнений, получаем приближенно инвариантное решение
и « В1 + е(-В1 ln(t) +В2).
где
Пример 2. Анзац на инвариантное решение, порожденное оператором X4, запишется
как
и ~ h ф о ш+$ (ф ii) ш + ф h) ш 1 n t). (17)
Отметим, что при е = 0 инвариантное решение хорошо известно (см., например, [9]):
, _ 2 е 41
ф (0 =-«■ (18)
<Р[ 0) + Е(Р{ 1) + £
0.
где В 1 = С о ns t, и е г f( z) - функция ошибки. Осталось определить функции ф ^ ) , ф (( у Однако для уравнения (3), которое содержит бесконечный ряд из производных по переменной t, анзац на решение в виде (17) является весьма сложным для интегрирования. В силу инвариантов перепишем его в виде
«« ^(о) +е- {<ph Ш+<ph Шin 4
где <р ( 0 ) определяется по формуле (18). Подставляя (19) в уравнение (3), и расщепляя по степеням £, получаем систему:
£0 : 4Я2<р (0) - 2Я<р (0)<р(0) - <Р (о) - 2Я<Р (о) + 2 (0) - <Р (0) = 0, (20)
elnt: 4A2(<P(d)" - 2к<р{0)(<р2{1)) - (<р(21})' - 2A(<p(21})' - 2<р{0)<р2{1) -
- 2 ^ (0)<Р (1) + 2 <Р (1) = <Р (0) , (21)
£ : 4Я2(<Р (1)) ' ' - 2 ( 0) (<р h))' - (<р h))' - 2 Л(<р (\ ))' - 2 <р ( 0)<р (\ ) - 2 ( 0)<р (\)+
2 00
+2Wl) = (r-DK^f^^gHrV,,. (22)
S=1
t
где Я = —. Уравнение (20) выполняется тождественно в силу (18), а уравнения (21) и (22) являются обыкновенными дифференциальными уравнениями на неизвестные функции
12т г
<р ( 1 ) , <р ( 1 ). К сожалению, построить решение этих уравнений не удалось.
Заключение
В работе исследованы приближенные симметрийные свойства нелинейного приближенного уравнения Бюргерса, полученного из дробно-дифференциального аналога этого уравнения путём разложения дробной производной Римана-Лиувилля в ряд по малому параметру, выделенному из порядка дробного дифференцирования. Установлено, что в случае произвольного вида функции, стоящей при первой производной по пространственной переменой, допускаемая приближенная группа точечных преобразований для исследуемого уравнения является трёхпараметрической. В случаях, когда эта функция является степенной или линейной, группа расширяется до пяти- и семипараметрической, соответственно.
Доказано, что рассматриваемое уравнение является приближенно нелинейно самосопряженным, что дает возможность строить его приближенные законы сохранения. Показано, однако, что приближенные законы сохранения для данного уравнения являются либо тривиальными, либо имеют вид исходного уравнения. Также построены примеры инвариантных приближенных решений для некоторых допускаемых операторов.
Список литературы
1. Burgers J.M. A mathematical model illustrating the theory of turbulence // Advances in Applied Mechanics. 1948. Vol. 1. Pp. 171-199. DOI: 10.1016/s0065-2156(08)70100-5
2. Su C.H., Gardner C.S. Korteweg-de Vries equation and generalizations. III. Derivation of the Korteweg-de Vries equation and Burgers equation // J. of Mathematical Physics. 1969. Vol. 10. No. 3. Pp. 536-538. DOI: 10.1063/1.1664873
3. Уизем Дж.Б. Линейные и нелинейные волны: пер. с англ. М.: Мир, 1977. 622 с. [Whitham G.B. Linear and nonlinear waves. N.Y.: Wiley, [1974]. 636 p.].
4. Виноградова М.Б., Руденко О.В., Сухоруков А.П. Теория волн: учеб. пособие. М.: Наука, 1979. 383 с.
5. Kilbas A.A., Srivastava H.M., Trujillo J. J. Theory and applications of fractional differential equations. Amst.; Boston: Elsevier, 2006. 523 p.
6. Учайкин В.В. Метод дробных производных. Ульяновск: Артишок, 2008. 512 с.
7. Tarasov V. E., Zaslavsky G. M. Dynamics with low-level fractionality // Physica A: Statistical Mechanics and its Applications. 2006. Vol. 368. No. 2. Pp. 399-415.
DOI: 10.1016/j.physa.2005.12.015
8. Tofighi A., Golestani A. A perturbative study of fractional relaxation phenomena // Physica A: Statistical Mechanics and its Applications. 2008. Vol. 387. No. 8-9. Pp. 1807-1817. DOI: 10.1016/j.physa.2007.11.046
9. Ибрагимов Н.Х. Практический курс дифференциальных уравнений и математического моделирования: учебник: пер. с англ.. 2-е изд. М.: Физматлит, 2012. 332 c. [Ibragimov N.Kh. A practical course in differential equations and mathematical modelling: a textbook. [Hackensack]: World Scientific; Beijing: Higher Education Press, 2010. 348 p.].
10. CRC Handbook of Lie group analysis of differential equations / Ed. by N.Kh. Ibragimov. Vol. 1: Symmetries, exact solutions and conservation laws. Boca Raton: CRC Press, 1994. 442 p.
11. Газизов Р.К., Касаткин А.А., Лукащук С.Ю. Непрерывные группы преобразований дифференциальных уравнений дробного порядка // Вестник Уфимского гос. авиацион. техн. ун-та (УГАТУ). 2007. Т. 9. № 3(21). С. 125-135. Режим доступа: http://journal.ugatu.ac.ru/index.php/Vestnik/article/view/2347 (дата обращения 9.01.2020).
12. Gazizov R.K., Kasatkin A.A., Lukashchuk S.Yu. Symmetry properties of fractional diffusion equations // Physica Scripta. 2009. Vol. T136. 014016 (5 p.). DOI: 10.1088/0031-8949/2009/T136/014016
13. Лукащук С.Ю. Групповая классификация одного нелинейного приближенного уравнения субдиффузии // Вестник Самарского гос. техн. ун-та. Сер.: Физ.-матем. науки. 2016. Т. 20. № 4. С. 603-619. DOI: 10.14498/vsgtu1520
14. Самко С.Г., Килбас А.А., Маричев О.И. Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. 687 c.
15. Байков В.А., Газизов Р.К., Ибрагимов Н.Х. Методы возмущений в групповом анализе // Итоги науки и техники. Сер.: Современные проблемы математики. Новые достижения. 1989. Т. 34. С. 85-147.
16. Ibragimov N. Kh. Nonlinear self-adjointness in constructing conservation laws // Archives of ALGA. 2010-2011. Vol. 7/8. Pp. 1-99.
17. Lukashchuk S.Yu. Approximate conservation laws for fractional differential equations // Communications in Nonlinear Science and Numerical Simulation. 2019. Vol. 68.
Pp. 147-159. DOI: 10.1016/j.cnsns.2018.08.011
ao^Ya-nd4 MathematicalModeling 2019 Mathematics & Mathematical
DOI: 10.24108/mathm.0519.0000197
[¿on ®
Electronic journal
© V.0. Lukashchuk,L O. Gavryushina http://mathmelpub.ru ISSN 2412-5911
Approximate Symmetries and Conservation Laws of Fractional Differential Generalization of the Burgers Equation
V.O. Lukashchuk1*, L.O. Gavryushina1
1Ufa State Aviation Technical University, Ufa, Russia voJuk&ggmaiLcom
Keywords: fractional differential generalization of the Burgers equation, approximate symmetries, approximate
conservation laws
Received: 04.09.2019, Revised: 19.09.2019
The classical Burgers equation is well studied and is often used in problems of hydrodynamics and nonlinear acoustics. In recent years, there has been a significantly increasing interest in mathematical models that take into account the power-law memory effect of the medium. Such models are described by equations in which the time derivative is replaced by a fractional derivative.
The study object is a generalized Burgers equation with a fractional Riemann-Liouville time derivative. A memory effect of the medium is assumed to be small, so a small parameter, with respect to which the fractional derivative is expanded into a series, is extracted from the fractional-order differentiation. As a result, the initial fractional differential generalization of the Burgers equation is approximated by an equation with a small parameter. The aim of the work is to study the symmetry properties of such a partial differential equation with a small parameter and to construct conservation laws for it. To achieve the goal, methods of modern group analysis are used, as well as widely known methods of integrating systems and partial differential equations of first order.
The group classification of the equation under study is carried out according to the function standing at the first derivative with respect to the spatial variable. It is shown that if this function is of arbitrary form, then the admissible approximate group of point transformations is three-parameter. For power-law and linear functions, the admissible approximate group of point transformations extends to five- and seven-parameter groups, respectively. Examples of approximately invariant solutions for some admissible operators are constructed. It is proved that the studied equation with a small parameter is approximately nonlinearly self-adjoint. Based on the principle
of nonlinear self-adjointness, conservation laws are constructed for each group generator. It is shown that all conservation laws are either trivial or have the form of the original equation.
The results develop the theory of approximate transformation groups for fractional differential equations. The obtained symmetries can be used to construct approximate invariant solutions of the equation in question.
References
1. Burgers J.M. A mathematical model illustrating the theory of turbulence. Advances in Applied Mechanics, 1948, vol. 1, pp. 171-199. DOI: 10.1016/s0065-2156(08)70100-5
2. Su C.H., Gardner C.S. Korteweg-de Vries equation and generalizations. III. Derivation of the Korteweg-de Vries equation and Burgers equation. J. of Mathematical Physics, 1969, vol. 10, no. 3, pp. 536-538. DOI: 10.1063/1.1664873
3. Whitham G.B. Linear and nonlinear waves. N.Y.: Wiley, [1974]. 636 p. (Russ. ed.: Whitham G.B. Linejnye i nelinejnye volny. Moscow: Mir Publ., 1977. 622 p.).
4. Vinogradova M.B., Rudenko O.V., Sukhorukov A.P. Teoriia voln [Wave theory]: a textbook. Moscow: Nauka Publ., 1979. 383 p. (in Russian).
5. Kilbas A.A., Srivastava H.M., Trujillo J. J. Theory and applications of fractional differential equations. Amst.; Boston: Elsevier, 2006. 523 p.
6. Uchajkin V.V. Metoddrobnykhproizvodnykh [The fractional derivative method]. Ul'ianovsk: Artishoke Publ., 2008. 512 p. (in Russian).
7. Tarasov V. E., Zaslavsky G. M. Dynamics with low-level fractionality. Physica A: Statistical Mechanics and its Applications, 2006, vol. 368, no. 2, pp. 399-415.
DOI: 10.1016/j.physa.2005.12.015
8. Tofighi A., Golestani A. A perturbative study of fractional relaxation phenomena. Physica A: Statistical Mechanics and its Applications, 2008, vol. 387, no. 8-9, pp. 1807-1817.
DOI: 10.1016/j.physa.2007.11.046
9. Ibragimov N.Kh. A practical course in differential equations and mathematical modelling: a textbook. [Hackensack]: World Scientific; Beijing: Higher Education Press, 2010. 348 p.]. (Russ. ed.: Ibragimov N.Kh. Prakticheskij kurs differentsial'nykh uravnenij i matematicheskogo modelirovaniia: uchebnik. 2nd ed. Moscow: Fizmatlit Publ., 2012. 332 p.).
10. CRC Handbook of Lie group analysis of differential equations / Ed. by N.Kh. Ibragimov. Vol. 1: Symmetries, exact solutions and conservation laws. Boca Raton: CRC Press, 1994. 442 p.
11. Gazizov R. K., Kasatkin A. A., Lukashchuk S.Yu. Continuous transformation groups of fractional differential equations. Vestnik Ufimskogo gosudarstvennogo aviatsionnogo tekhnicheskogo universiteta (UGATU) [Vestnik USATU], 2007, vol. 9, no. 3(21), pp. 125-135. Available at: http://journal.ugatu.ac.ru/index.php/Vestnik/article/view/2347, accessed 9.01.2020 (in Russian).
12. Gazizov R.K., Kasatkin A.A., Lukashchuk S.Yu. Symmetry properties of fractional diffusion equations. Physica Scripta, 2009, vol. T136, 014016 (5 p.) DOI: 10.1088/0031-8949/2009/T136/014016
13. Lukashchuk S.Yu. An approximate group classification of a perturbed subdiffusion equation. Vestnik Samarskogo gosudarstvennogo tekhnicheskogo universiteta. Ser.: Fiziko-matematicheskie nauki [J. of Samara State Technical Univ. Ser. Physical & Mathematical Sciences], 2016, vol. 20, no 4, pp. 603-619. DOI: 10.14498/vsgtu1520 (in Russian)
14. Samko S.G., Kilbas A.A., Marichev O.I. Fractional integrals and derivatives: theory and applications. Phil.: Gordon & Breach Science Publ., 1993. 976 p.
15. Baikov V. A., Gazizov R. K., Ibragimov N. Kh. Perturbation methods in group analysis. J. of Soviet Mathematics, 1991, vol. 55, no 1, pp. 1450-1490. DOI: 10.1007/BF01097534
16. Ibragimov N.Kh. Nonlinear self-adjointness in constructing conservation laws. Archives of ALGA, 2010-2011, vol. 7/8, pp. 1-99.
17. Lukashchuk S.Yu. Approximate conservation laws for fractional differential equations. Communications in Nonlinear Science and Numerical Simulation, 2019, vol. 68, pp.147-159. DOI: 10.1016/j.cnsns.2018.08.011