Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2020. Т. 24, № 2. С. 226-248 ISSN: 2310-7081 (online), 1991-8615 (print) d https://doi.org/10
УДК 517.958
Групповая классификация, инвариантные решения и законы сохранения нелинейного двумерного ортотропного уравнения фильтрации с дробной производной Римана—Лиувилля по времени
В. О. Лукащук, С. Ю. Лукащук
Уфимский государственный авиационный технический университет,
Россия, 450008, Уфа, ул. К. Маркса, 12.
Аннотация
Рассматривается нелинейное двумерное ортотропное уравнение фильтрации с дробной производной Римана-Лиувилля по времени. Доказывается, что такое уравнение может допускать группы точечных преобразований только линейно-автономного типа. Решается задача групповой классификации рассматриваемого уравнения по его точечным сим-метриям относительно коэффициентов пьезопроводности, являющихся функциями квадрата модуля градиента давления. Доказывается, что если порядок дробного дифференцирования меньше единицы, основная допускаемая уравнением группа точечных преобразований является че-тырехпараметрической и расширяется до пятипараметрической в изотропном случае. Для степенных зависимостей коэффициентов пьезопро-водности допускаемая группа становится пятипараметрической в орто-тропном случае и шестипараметрической в изотропном случае. Также выделяется специальный вид степенной зависимости коэффициентов, не имеющий аналога в случае классического уравнения фильтрации, при котором происходит дополнительное расширение группы оператором проективного преобразования. Для уравнения с порядком дробного дифференцирования a G (1, 2) размерности всех допускаемых групп оказываются на единицу больше за счет допускаемого оператора, соответствующего сдвигу решения на дополнительное частное решение этого уравнения.
На основе проведенной групповой классификации для соответствующих алгебр Ли инфинитезимальных операторов групп точечных преобразований, допускаемых различными видами рассматриваемого нели-
Научная статья
Q ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования
Лукащук В. О., Лукащук С. Ю. Групповая классификация, инвариантные решения и законы сохранения нелинейного двумерного ортотропного уравнения фильтрации с дробной производной Римана-Лиувилля по времени // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2020. Т. 24, № 2. С. 226-248. doi: 10.14498/vsgtu1761. Сведения об авторах
Вероника Олеговна Лукащук© https://orcid.org/0000-0002-3082-1446 кандидат физико-математических наук; доцент; каф. высокопроизводительных вычислительных технологий и систем; e-mail: voluks@gmail.com
Станислав Юрьевич Лукащук А https://orcid.org/0000-0001-9209-5155 доктор физико-математических наук; профессор; каф. высокопроизводительных вычислительных технологий и систем; e-mail: lsu@ugatu.su
.14498/vsgtu1761
нейного ортотропного дробно-дифференциального уравнения, выписываются представления инвариантно-групповых решений, соответствующие оптимальным системам двумерных подалгебр. Приводятся примеры уравнений, получающихся в результате симметрийной редукции исходного дробно-дифференциального уравнения, а также некоторые их решения.
Доказывается, что рассматриваемое дробно-дифференциальное уравнение фильтрации является нелинейно самосопряженным, что дает возможность строить его законы сохранения. Соответствующие компоненты всех найденных сохраняющихся векторов приводятся в явном виде.
Ключевые слова: дробно-дифференциальное уравнение фильтрации, групповая классификация, точечная симметрия, инвариантное решение, закон сохранения.
Получение: 29 ноября 2019 г. / Исправление: 17 мая 2020 г. / Принятие: 1 июня 2020 г. / Публикация онлайн: 30 июня 2020 г.
Введение. Интегро-дифференциальные уравнения с производными дробных порядков различных типов [1,2] в последнее время привлекают большое внимание исследователей из самых различных областей науки и техники благодаря возможности их использования в качестве математических моделей сложных процессов, сред и систем, проявляющих эффекты памяти и пространственной нелокальности [3-12]. Наиболее хорошо в настоящее время исследованы одномерные дробно-дифференциальные уравнения диффузионного типа, к которому относится и большинство простейших дробно-дифференциальных уравнений фильтрации. Однако с точки зрения практического использования существенно больший интерес представляют уравнения в двумерных и трехмерных областях. Исследование ряда важных качественных свойств таких уравнений, особенно нелинейных, может быть выполнено методами современного группового анализа [13-17]. Для дробно-дифференциальных уравнений в последнее десятилетие удалось развить ряд классических теоретико-групповых методов (см. [18, 19] и цитируемую там литературу), что дало возможность находить допускаемые такими уравнениями группы симметрий, решать задачи их групповой классификации, строить фактор-уравнения, инвариантные решения и законы сохранения. Отметим, что задача групповой классификации уравнения имеет не только теоретическое, но и прикладное значение, поскольку выделение классов уравнений с расширенной группой симметрий позволяет выделять также и соответствующие подмодели, обладающие расширенным набором симметрийных свойств и, как следствие, имеющих дополнительные инвариантные решения и законы сохранения.
Настоящая работа посвящена исследованию симметрийных свойств нелинейного двумерного дробно-дифференциального уравнения
0 Щи = Ц(и2х + и2у)их)х + (д(и2х + и2у)иу)у , },д> 0, а е (0,1) и (1, 2). (1) Здесь через обозначен оператор дробного дифференцирования Римана—
Лиувилля порядка а:
™ 1 дп ('* и(т,х,у) , г .
0^?и = —------—1 '■ 'л(1т, п = [а] + 1.
0 1 Г(п — а) сЯп ,]0 (Ъ — т)а-п+1 ' 1 ]
Уравнение (1) позволяет, в частности, описывать процессы фильтрации в ортотропной гетерогенной пористой среде и может быть получено на основе дробно-дифференциальных модификаций закона Дарси [20-22] (в этом случае в качестве функции и выступает давление, а функции ¡ид являются компонентами тензора пьезопроводности ортотропной среды). При а = 1 уравнение (1) превращается в классическое нелинейное двумерное ортотроп-ное уравнение фильтрации, результаты групповой классификации которого приведены в [23].
Решается задача групповой классификации уравнения (1) относительно функций / и д по допускаемым этим уравнением однопараметрическим группам Ли точечных преобразований вида
I = А( £ ,х,у,и,а), у = и2^ ,х,у,и,а),
Х = и ,х,у,и,а), и = ш(1 ,х,у,и,а), (2)
А| „ = I, и1\ п = х, и2\ п = у, ш\ п = и,
1«=0 ' 1а=0 ' 1а=0 1а=0 '
где а — параметр группы. Порядок дробного дифференцирования а не преобразуется. Группе преобразований (2) соответствует инфинитезимальный оператор
д д д д
X = т(ъ, х, у, и) — + ^, х, у, и) — + , х, у, и) — + ф, х, у, и) — , (3)
координаты которого определяются соотношениями
, . ОАи ,х,у,и,а) .2. . ди 2и ,х,у,и,а)
т(1,х,у,и) = , ) , е(I,х,у,и)= , '
д а
а=0 да
а=0
,л. , ди 1и ,х,у,и,а) , . дши ,х,у,и,а)
д а
а=0 да
а=0
Такой инфинитезимальный оператор допускаемой уравнением группы будет, как обычно, называться точечной симметрией этого уравнения.
1. О линейной автономности группы, допускаемой дробно-дифференциальным уравнением. Уравнение (1) является частным случаем уравнения вида
00"и = , х, у, и, их, иу, и хх,иху ,иуу ), (4)
для симметрий которого может быть доказано одно важное свойство.
Следуя работе [24], преобразования вида (2), в которых функции А, и1 и V2 не зависят от и, будем называть х-автономными преобразованиями. Очевидно, что в этом случае координаты т, ^ и £2 оператора (3) также не будут зависеть от и. Соответствующие симметрии будут называться х-авто-номными симметриями. Если для х-автономной симметрии дополнительно
выполнено условие ции = 0, то такая симметрия будет называться линейно-автономной [25].
Теорема 1. Уравнение (4) может обладать точечными симметриями вида (3) только линейно-автономного типа с координатами
т = р(х,у)г + ф(х,У)е, е = е1(х,у), еу = ву(Х,У),
(5)
■п = -ф(г, х, у) + [р(х, у) + (а — 1)ф(х, уЩ и,
где р, ф, в1, О2, ф, р —произвольные функции своих аргументов.
Доказательство. Необходимое условие инвариантности [19] уравнения (4) относительно группы точечных преобразований, определяемой оператором (3), может быть записано в виде
[Х{а)оО?и — Х(у)Ф] =0, (6)
где
Х(а) = Х + ((а)
— продолжение оператора (3) на дробно-дифференциальную переменную и, а Х(2) — классическое второе продолжение оператора (3) на все аргументы функции Ф (см., например, [13,17]). Координата ((а) находится по формуле продолжения [19]:
((а) = т™)+т^и+ео?их+ев?иу, (7)
■у.
где Ш = ц — тщ — (1их — (уи
Как доказано в [26] (см. также [18,19]), определяющее уравнение (6) должно быть дополнено условием неподвижности точки начала отсчета дробной производной под действием преобразований группы:
т (г,х,у,и)\=0 = 0. (8)
Функция ц является сложной функцией переменной ¿, поэтому вычисление дробной производной О^ц, входящей в (7), является непростой задачей. Как показано в [18], такая производная будет представляться рядом с четырехкратным вложенным суммированием. Поэтому для упрощения доказательства теоремы воспользуемся следующим формальным приемом. Перепишем функцию ц в квазилинейном по переменной и виде
г!(г, х, у, и) = ф(Ь, х, у) + г)(Ь, х, у, и)и.
Тогда для доказательства утверждения теоремы необходимо показать, что "Ли = 0.
Рассмотрим первое слагаемое в определяющем уравнении (6) с учетом формулы продолжения (7):
Х(а)оЩи = ((а) = оО? (ф + щ — тщ — их — (уиу) +
+ Т0^^+1(и) + ?0тих) + £ 20^Пиу )■ (9)
Как это принято в групповом анализе, будем полагать, что все координаты инфинитезимального оператора (3) являются требуемое число раз непрерывно дифференцируемыми по своим аргументам. Тогда возможно применение оператора дробного дифференцирования 00" независимо к каждому из слагаемых, стоящих в круглых скобках в правой части (9), а также использование обобщенного правила Лейбница [1]:
га , ч
0тт = £ ^ 0в?-к (р) о* (о, (10)
где 00"-к(Р) — дробные производные (при а — к > 0) и дробные интегралы
/ 7 пл {а\ Г(а + 1)
(при а — к< 0) соответствующих порядков, = ——----- — биноми-
\к/ к!Г(а — к + 1)
альные коэффициенты. Также воспользуемся очевидным равенством
тщ = Ог(ти) — (т)и.
В силу условия (8) и регулярности функции г и ее первой производной по Ь в точке £ = 0 имеем ти|t=0 = 0. Тогда (см. [1,2]),
00?П1(ти) = 00?+1(ти). Подстановка приведенных выражений в (9) и применение (10) дает
С(а) = 0^(ф) + [Л — <*Ог(т)\ 00?(и) +
га , ч га , ч
+ £ (1) 0°Гк(и) пк(Л) — £ (к " ^ 0ПГк(и) Вк+1(т) —
£ (?)00гкывк(а1) — £ (?)00гк(щ(ау)- (11) к=1 ^ ' к=1 ^ '
Подставляя (11) в (6) и заменяя дробную производную 00"(и) на Ф в силу исходного уравнения (4), приходим к следующему определяющему уравнению:
+ — аПг(т)]Ф+
+ £ (I)0°Гк(и) Вк(Л) — + г )00Гк(и) ^(т) —
гага
0°гк—Е к: 1
к=1 4 7 к=1 4 7
£ (к)0ПГкЫ ок(ц1) — £ (к) ™-к<~ ^ ^*
к,00ГкЫ Ок(Ц1) — ^ к )0ПГк(Щ) пк(£у) = Х(у)Ф. (12) 4 7 к=1 ^ '
Выполним расщепление уравнения (12) по всем интегралам и производным дробных порядков, которые могут рассматриваться теперь в качестве независимых переменных.
Расщепление по 00"-к(их) и 00(^-к(иу) приводит к уравнениям
Ок (Ц 1) = 0, Бк (С у) = 0, к = 1, 2,...,
интегрирование которых дает
е1 = в\х, у), е = 02(х, у),
где в1 и в2 — произвольные функции.
Аналогично, расщепление (12) по QD"-k(и) приводит к системе
(к + 1)Dkt (fj) - (a - k)Dk+1(T) = 0, k = 1, 2,... .
Рассматривая первые два уравнения этой системы (соответствующие к = 1 и к = 2), находим
D2t(fj) = 0
или
fjtt + 2fjtuUt + fjuuut + fjuUtt = 0.
Расщепление этого уравнения по щ и иц дает требуемое условие fju = 0. Решение оставшегося уравнения fjtt = 0 может быть представлено в виде
fj = §(х, y)t + ip(x, у),
где $(х, у) и (р(х, у) — произвольные функции. Тогда уравнение, соответствующее к = 1, принимает вид
(a - 1) D?t = 2д(х, у).
Его интегрирование с учетом условия (8) дает
т = ф(х, y)t2 + р(х, y)t,
где р(х, у) — произвольная функция, а ф(х, у) = §(х, y)/(a - 1).
В результате приходим к искомым представлениям (5). Определяющее уравнение (12) принимает при этом вид
0DUip) + [<р -ap - (1 + а)ф1] Ф = Х{2)Ф. (13)
□
Результат теоремы 3 можно усилить, если наложить дополнительные ограничения на вид функции Ф. Заметим, что функция Ф не зависит от щ и ее производных. Следовательно, правая часть уравнения (13) будет линейно зависеть от переменных ut, Щх и Щу в силу линейной зависимости от них координат продолженного оператора Х(2). Осуществляя дополнительное расщепление уравнения (13) по этим переменным, приходим к следующей системе уравнений:
дФ дФ дФ дФ дФ _
т х т;
- + Ту---+
Тхх ~ + ^'ху о + 7~уу ~ — °
д Ux д Щу д Uxx д иху д Щуу
дФ дФ
2Тх дЩ - + Ту д^ =0, (14)
дихх диху
дФ дФ
Тх д--+ 2Ту --= 0.
диху диуу
Из двух последних уравнений этой системы следует, что при выполнении условия
^Ф - )2 = 0 (15)
дихх диуу ^ диху '
справедливы равенства тх = Ту = 0. Тогда в (5) имеем р = С х, ф = С2, и
т = с1г+с2е, е = в1(Х, У), е = в2(х, У),
(16)
Г] = ф(г, х, у) + (р(х, у) + (а - 1)С2^ и,
где С\ и С2 — произвольные постоянные.
2. Групповая классификация уравнения (1). Уравнение (1) может быть представлено в виде
0О"и = Р (и,х,иу )ихх + о (их, иу )иуу + Н (и,х,иу )иху, (17)
где
Р = 2и2х/' + /, О = 2и2д' + д, Н = 2ихЩ (/' + дг). (18)
Для уравнения (17) условие (15) принимает вид 4РО = Н2. С учетом (18) нетрудно показать, что это условие нарушается только в том случае, когда ¡(г) = д(г) = ¡о/л/г, ¡0 — произвольная постоянная. Однако подстановка этих функций в первое уравнение системы (14) снова приводит к уравнениям тх = ту = 0. Таким образом, представления (16) справедливы для уравнения (1) при любых /, д > 0.
Для уравнения (17) с учетом (16) уравнение (13) для определения функций в1, в2, р и ф принимает вид
оО?(Ф) + [р - аСх - (1 + а)Ю2] (Ри хх + Оиуу + Ниху)
(дР дО дН
л ^ л ^ л тт л ( дР до дН \
(пР - (22° - (12Н - ~дщихх + еи~хиуу + 8и~хиху)-
. (дР дО дН \
- Чзиуихх + зиуиуу + дйу,иху) = 0, (19)
в котором
С1 =фх + Рхи + + (а - 1)СЫ - в1х)их - д2хиу, (2 =фу + Руи - в^их + + (а - 1)С21 - в2)иу,
Си = фхх + Рххи + (2рх - д^х)их - О^иу+
+(<Р + (а - 1)С2Ъ - 2в1х)ихх - 2в2хи
х
(12 = Фху + Рхуи + (Ру - в1ху)их + (Рх - 02Ху)иу-
-дХихх + + (а - 1)С21 - Ох + 02у)иху - 02хиуу,
(22 = фуу + Рууи - 01ууих + (2Ру - в2 )иу-
-2вуиху + (<Р + (а - 1)С2Ъ - 202)иуу.
Расщепление (19) по u, иихх, uuyy и uuzz приводит к системе
O F O F = 0,
Oux + OWy
O G O G = 0,
fx „ Oux + Ouy
O H O H = 0,
fx я Oux + Ouy
ФxxF + IfyyG + (РхуН = 0,
расщепление по tuxx, tuyy, tuzz дает
dF dF 2a
„ f OF OF 2a \
C2[ux— +uy—~ +--F =0,
V Oux Ouy a — 1 )
OG
O uy + a — 1
OG + 2a
O uy a — 1
OH + 2a
„ / OH OU 2a \
C^u^— +uy— +--H =0,
O ux O uy a — 1
а расщепление по uxx, uyy, uzz дает
O F O F
7у я O ux + 72 д Ouy
O G O G
7у я O ux + 72 я Ouy
O H O H
7у я O ux + 72 я Ouy
9\F + eyi
где
7у = 7y(x,y,ux,uy ) = 'фх + — Glx )ux — 6X
(20)
^ f OG OG 2a \ , ч
^ Oux + u> OÛ, + —G) =0 (21)
(22)
x, иу) — Фх + (V - "х)их - УхиУ,
Ъ = ъ(х, у, их,иу) — фу - в\их + - ву)иу. Оставшееся после указанных расщеплений уравнение имеет вид
оАа0Ф) — {фхх + (2^х - еХх) их - вХухиу)Р+
+ (фуу - ®\уих + (2^у - 6уу)иу) °+
+ {Фху + (VУ - е1ху)их + (Рх - 02ХУ)иу) Н. (23)
Из (21) следует, что если С2 — 0, то
р — и^р( Уих V О — и^О ( их ), Н — и^Н ( их ), § —
х х \и„; х 1-а
где F, G, Н — произвольные функции. Подстановка этих представлений в (18) и решение получающихся в результате обыкновенных дифференциальных уравнений дает
/( г) = for6, д(г) = доrs, fo, до = const, г = uX + u2.
Если С2 = 0, то (21) выполнено тождественно. В этом случае подстановка (18) в (20) и решение получающихся в результате уравнений дает, что либо f = fo = const, д = до = const, либо рх = py = 0, то есть p = С3 = const.
Дальнейшая классификация проводится на основе анализа системы (22) и уравнения (23), который показывает, что выделяются отдельно случай степенных функций f(г) = f0г13, д(г) = д0г13 (f0, д0 = const) и случай f(r) = д(г). Окончательные результаты классификации формулируются в виде следующего утверждения.
Теорема 2. Уравнение (1) в случае произвольных функций fug имеет четырехмерную алгебру Ли симметрий с базисом
Х = ТГ, Х2 = i, Х3 = 2tI + 4 + vl Х4 = Г-1 f (24)
ox ov a ot ox ov ou Ou
В случае f(r) = f0r13, g(r) = g0r13, f0, g0 = const, ft = 0, при f0 = g0 алгебра расширяется до пятимерной оператором группы неравномерных растяжений
o o o
Х = !>xsxc +*>Щ + (1 + ^иТи (25)
В частном случае ft = a/(1 - a) происходит дополнительное расширение алгебры до шестимерной оператором проективной группы
o o
Х = f « + (a - l)t"ей: (26)
В изотропном случае ( f = g) размерности всех указанных выше алгебр увеличиваются на единицу за счет дополнительно допускаемого оператора группы вращений
o o
Х = vox - (27)
При a € (1, 2) размерности всех приведенных алгебр дополнительно увеличиваются на единицу, а базис дополняется оператором
ха = е—.
ди'
Линейный случай f = f0, g = g0, f0, g0 = const, растяжением пространственных переменных сводится к f0 = g0 = 1. В этом случае алгебра является бесконечномерной и ее базис образуют операторы Х, Х2, Х3 из (24), оператор Хг из (27) и операторы
o o
Хи = и—, Х= ф—, o u o u
где функция ф(Ь, x, v) является произвольным решением линейного уравнения
oDt " = ихх + иуу.
Основные отличия результатов теоремы 2 от аналогичных результатов групповой классификации классического ортотропного уравнения фильтрации (соответствующего a = 1) заключаются в следующем:
1) дробно-дифференциальное уравнение фильтрации не допускает оператор группы переносов по временной переменной ¿, что является характерной особенностью всех дифференциальных уравнений с дробными производными по времени [18,19];
2) выделяется особый вид степенной зависимости коэффициентов пьезо-проводности, не имеющий аналога в классическом уравнении фильтрации, при котором уравнение допускает оператор проективной группы Х^;
3) операторы групп растяжений Хз и Х5 оказываются зависящими от порядка дробного дифференцирования а.
Также от него зависят операторы Х4 и Ха, соответствующие сдвигу и на частное решение дробно-дифференциального уравнения.
Полученная в теореме 2 групповая классификация уравнения (1) может быть использована для нахождения его инвариантно-групповых решений и построения законов сохранения.
3. Представление инвариантных решений. Рассмотрим задачу построения представлений инвариантно-групповых решений для нелинейного ортотропного уравнения (1) по допускаемым им неподобным двумерным подалгебрам алгебр Ли симметрий.
В случае произвольных функций / и д (/ — д) уравнение допускает четырехмерную алгебру Ли симметрий (см. теорему 2) с базисом (24). Данная алгебра изоморфна алгебре (по классификации [29]) с ненулевыми коммутационными соотношениями
[ е х, е4] — ех, [ е2, е4] — ае2, [ е3, е4] — ае3, -1 <Ь<1, в которую она переходит в результате замены базиса
а
ех — Хз, е2—Хх, е3 — Х2, е4 — ЬХ4, Ь —
2-а
Построим неподобные инвариантно-групповые решения уравнения (1) на основе оптимальной системы двумерных подалгебр алгебры А^, построенной в [29]:
1 ) {е\ + ее2, е3}, 4) {ei,e2cosd + е3 sin в},
2) {ei +ее3,е2+Ре3}, 5) {еь е4},
3) {е2, ез}, 6) {e2cosd + ез sin в, е4},
где в е [0,ж), е = ±1, р е R.
Подалгебры 5) и 6) не позволяют построить инвариантное решение, так как не удовлетворяют соответствующему необходимому условию его существования (см., например, [13]). Вычисление инвариантов остальных подалгебр приводит к следующим анзацам инвариантных решений:
1) и = eta-lx + <p(t),
2) и = -е¡3ta-1 x + ta-ly + <p(t),
3) и = <p(t),
4) и = (y cos в — x sin6)ip(£), £ = ---Y,
\y cos в — x sin 0\*
где — новая искомая функция одного аргумента. Подстановка этих ан-зацев в исходное уравнение сводит задачу нахождения инвариантного решения к решению так называемых редуцированных уравнений (или фактор-уравнений), представляющих собой в данном случае обыкновенное дробно-дифференциальное уравнение порядка а. В первых трех случаях это уравнение имеет вид
оЩ^ = 0,
его общее решение хорошо известно [1,2]:
где С — произвольная постоянная. В результате приходим к следующим весьма простым неподобным инвариантным решениям:
1) и = СЧа-1,
2) и = га-1(ех + С),
3) и = га-1(е/х + у + С), 0 е М, е = ±1.
Более интересным оказывается случай 4), для которого редуцированное уравнение имеет вид
2
0D<¡p + ^ [sin2 вф(ф))^ + cos2 в(фд(ф))^ = 0, (28)
где ф(0 = - V(О-
Уравнение (28) в общем случае аналитически решено быть не может, поэтому рассмотрим некоторые его частные случаи.
Пусть f = 1 и д(ф) = ф-1. Тогда уравнение (28) переходит в линейное уравнение
a20Dlv = 4{2 sin2 в<р" + 2(2 - a) sin2 в
При 9 = 0 решение уравнения имеет вид = а-1, что дает инвариантное решение исходного уравнения
и = Ct а-1у ¿-1.
2
При в = 0 заменой переменных т = £(sin0)«, z(t) = р(((т)) уравнение (28) приводится к виду
a20D*z = 4т2z'' + 2(2 - а)тz!,
который является частным случаем уравнения, рассмотренного в работе [30], и имеет общее решение
, , « г„ ,( a л a а\ ( a л a а\
z(t)= т~2 с\ф(--^, 1 + ^;+С2Ф[-^, 1 + -т-
Здесь Ci и С2 — произвольные постоянные,
1 zk
ф(р,К*) = ^гм+Г) ki, р> 0, е C
— функция Райта. Тогда инвариантное решение имеет вид
, а ■ о\ ( t(sinO) а \
и = (у cos в — x sin 0)z ( -Y ) •
^\y cos в — x sin 0\
Теперь рассмотрим случай f(ip) = ф3-1 (/ = 0, 1), д(ф) = ф-1. Тогда уравнение (28) принимает вид
a3+l0D^ + 2/ sin2 в— 2£(р')3-1((а — 2)<р' — 2£<р") = 0.
Данное уравнение при а < / < 1 имеет частное степенное решение
2
V(0 = AC, А =
а3+1 Г(^) ] д-т 1 — а
=
3 — 1
-2/3 sin2 9 Г(7 + 1 — а) J Соответствующее инвариантное решение исходного уравнения имеет вид
( cos — x sin )
и = Af-
\ cos — x sin \
V
rv '
Теперь рассмотрим случай f(r) = for3, g(r) = g0r3, fo, go = const (fo = go), 3 = 0. В этом случае алгебра Ли симметрий L5 является пятимерной с базисом Xi,..., Х5, определяемым (24), (25). Соответствующая оптимальная система подалгебр строится на основе двухшагового алгоритма, предложенного академиком Л. В. Овсянниковым в работе [31] (см. также [32]). Базисы найденных неподобных двумерных подалгебр из оптимальной системы Q2L5 и соответствующие представления инвариантных решений с одной независимой переменной приведены в табл. 1. В таблице для подалгебр используется сокращенная форма записи: например, в, р2 + 4 означает двумерную подалгебру с базисом из операторов Xl sin0 + Х2 cos в, рХ2 + Х4. В табл. 2 представлены аналогичные результаты для шестимерной алгебры L§ с базисом Х1,..., Хб, соответствующей частному случаю / = а/(1 — а).
Все анзацы инвариантных решений записаны в табл. 1 и 2 таким образом, чтобы после симметрийной редукции соответствующее редуцированное уравнение относительно функции ^(z) было либо обыкновенным дифференциальным уравнением целого порядка (если z не зависит от t), либо обыкновенным дробно-дифференциальным уравнением с дробной производной Римана—Ли-увилля по переменной z. Замены переменных, позволяющие сохранить тип оператора дробного дифференцирования при симметрийной редукции, приведены в [30].
4. Построение законов сохранения. Уравнение (1) не обладает классическим лагранжианом, поэтому для построения его законов сохранения с использованием симметрий может быть применен принцип нелинейной самосопряженности, изначально предложенный профессором Н. Х. Ибрагимовым для дифференциальных уравнений целого порядка [27, 28] и обобщенный в работах [33, 34] на дифференциальные уравнения дробного порядка.
Уравнение (1) может быть представлено в виде
•(t, x, У, ^^ иx, иу, иxx, иху, иуу, 0D» = 0
no.
1
2
3
4
5
6
7
8
9
10
11
12
13
Here
238
Таблица 1
Представления инвариантных решений для алгебры L5 [Representations of invariant solutions for algebra L5]
a subalgebra of Q2L5 u(t,x,y)
1, 2 p(t)
22, p1+4 p-1xta-1 + p(t) (p = 0)
3, 5 x4a(1-^)/2p( y/x)
2,1 + 3 - 5 ei1-l)^p(t e-2x/a)
в,р2 + 4 p-1 ta-1(xctge-y) + p(t) (p,e = 0)
в, 5 (x cos в - у sin &)1p(t)
в, 3 + r5 z^p (tz-2/[^(P+1)]) (r = -1); ta(1-^)/2p(z) (r = -1); z = (x cos в - у sin в)
в, 2 + 3 - 5 z1-^p (tz-2/a), z = ey-x ctg в (9 = 0); ta(1-^)/2p(x) (в = 0)
в, 3+4-*5 (7=0) z1-ap(tz-2/a), z = (xcose - ysind)1-a/1 (7 = a);
t a-1[(a/2)\nt + p(x cose - у sine)] (7 = a)
в, 4 + 5 (7 = 0) p(t) + ta-1 In lx cose - у sin el
p1+q2+4, 3+ 5 и = p-1xt0-1 + z2^-1-a^p (tz2(1--y)/a) , z = (qx - py)1/(^-a) (7 = a,p = 0); q-1t a-1y + z2^-1-a^p(t z1-^ ), z = x1/(i-a) (7 = a, p = 0, q = 0); p-11a-1[x + p(qx - py)} (7 = a, p = 0); q-11a-1[y + p(x)] (7 = a, p = 0, q = 0)
в, 2 + 3 + 4 - 5 za-1p(tz-2/a), z = e(y-x ctg e)/P (e = 0);
(7 = a, р = 0) ta-1[(a/2)\nt + p(x)] (6 = 0)
X2,p1 + 3 + 4 - 5 t a-1[(a/2)\nt + p(t e-2x/(ap))]
(7 = a р = 0)
p1+q2+4, в+3-5 p-1ta-1[x - (a/2)sine\nt + p(tz)],
(7 = a) z = e 2(qx-py)/(p cos e-q sin в) (p, p cos в + qsinO = 0); q-11a-1[y - (a/2)cose\nt + p(te-2x/(asine))] (p = 0, q,e = 0); q-11a-1[y - (a/2)\nt + p(x)] (p,e = 0, q = 0); (p\/p2+ q2)-1 ta-1[\/p2+q2x - (a/2)p\ni + p(qx-py)] (p = 0, p cos e = q sin e)
в = X1 srn9 + X2 cos в, в e [0, f ], 7 = 1 + ¡3-1, a = 2a-1 - 1, p,q > 0, re R.
Таблица 2
Представления инвариантных решений для алгебры Le [Representations of invariant solutions for algebra L6 ]
a subalgebra of ©2Ьб
u(t,x,y)
1-10
11 12
13
14
15
16
17
18
19
20
are identical as 1-10 from Table 1 5, 6 3 + p5, 6 Q, 6
Q, 5 + e6 в, 4 + 6
Q, 2+p4 + 6 (в = 0)
2,1+p4 + 6 p1 + q2 + 4, 6
p1 + q2 + 4, 1 + 6
p1 + q2 + 4, r1 + 2 + 6
are identical as 1-10 from Table 1
ta-1x1/a<f(y/x)
ta-lx{2+p-a)/{a{p+l))(f(y/x) (p = -1)
ta-1<p(x cos 0 — y sin 0)
ta-1z1/a^ e+ , z = x cose — ysinO ta-1<p(x cos 0 — y sin 0)
1 a"V( i^) , z = y — x ctg8(p = 0) t(T+rx) (p = 0)
q-1ta-1 [у + фу- qx)\ (q = 0) p-11a-1 [x + y{y)\ (p = 0)
q-1t
ba-1
y + v(q+tdx-PV))} (<i = 0)
p-11a-1[x + t-1 +<p(y)] (p = 0)
q-1ta-1
У + t-1 + <p
qr-p+t(qx-py)
Ы = 0)
-1
Ua-1
x -r y + v\ T+y)
(p = 0)
Here are в = X1 sin в + X2 cos в, в e [0, f ], p,q > 0, re R.
Для него вводится формальный лагранжиан вида ^ = , где V = , х, у) — новая зависимая переменная. Тогда уравнение, сопряженное к (1), находится как
— - 0
5и '
где вариационная производная имеет в данном случае вид
д
= -Dx A -D А + D2 _+ D2 _+DxD _+ CDa_.
ôu xdux yduy xduxx yduyy x yduxy г TdnD?u'
'•yy
xy
Здесь р И % — оператор правостороннего дробного дифференцирования Гера-симова-Капуто порядка а, определенный для £ е (0,Т) [2,7]:
Cd^v, —
T
1
dnu(т, x, у)
Г(п -a)Jt (т - t)
_ f )a-'n+l
дт n
dr, п = [a] + 1.
Для уравнения (1), представленного в форме (17), вычисления приводят к следующему сопряженному уравнению:
Cd^V = -Dx
,(— \дш
ux
+
dG dux
uy y +
дН
u
x y
n
-Dy
fdF OG ОН \
VI 7Г ихх + ^ uyy + ^ uxy )
\диу Ouy Ouy J -.2
х
y диу диу
+ VxxF + 2v xDxF + vDX.F+
+ vyyG + 2v yDyG + vD^G + vxyH + vxDyH + vyDxH + vDxDyH. (29)
Если найдется такая подстановка v = p(t,x,y,u), что приведенное сопряженное уравнение будет выполнено тождественно на всех решениях u,(t, x, у) исходного уравнения (1), то уравнение (1) называется нелинейно самосопряженным. В [28] доказано, что любое линейное уравнение является нелинейно самосопряженным. Поэтому в линейном случае f = fo = const, g = go = const уравнение (1) является нелинейно самосопряженным с подстановкой v = = t,x, у), где t,x, у) — любое решение его сопряженного уравнения (29), которое в данном случае также будет линейным. Для нелинейного случая в результате вычислений получено, что p = p(x, у), и эта функция должна удовлетворять следующей системе уравнений:
OF /ОН OF ч
Oux Py\cjux диy) ,
■'x
■ i i I ' ' \ /■ i i I /■ i i
y
/ он _ og \ og
x ° y Oux) Py Ouy
диу дих) + Py ^ dF dG
рх дииу + dUX =0
д иу д их
Рхх-F + PyyG + РхуН = 0.
Для произвольных функций f и g единственным решением этой системы будет р = с, где с — произвольная постоянная. Также выделяются два особых случая:
1) / — произвольная функция, g = const, тогда р = с\ + с2у;
2) g — произвольная функция, f = const, тогда р = С\ + с2х.
Таким образом, доказана
Теорема 3. Уравнение (1) является нелинейно самосопряженным. Соответствующая подстановка v = p(t,х,у,и), обращающая уравнение (29) в тождество на всех решениях уравнения (1), имеет следующий вид:
1) v = с в случае произвольных функций ¡и д, при этом формальный лагранжиан ^ совпадает с самим уравнением (1);
2) v = С\ + с2у в случае, когда функция f произвольная, ад = const;
3) v = С\ + с2х в случае, когда функция g произвольная, а f = const;
4) v = ,х, у), где ,х, у) —любое 'решение линейного сопряженного уравнения (29) при = const, = const.
Здесь с, с\, с2 — произвольные постоянные.
Поскольку уравнение (1) является нелинейно самосопряженным, по любой его известной симметрии вида (3) может быть найден соответствующий закон сохранения
DtCd + DxCx + DyCy = 0. Координаты сохраняющегося вектора ( C, Cх, Cy) будут при этом находиться
по следующим формулам (см. [19,35]):
с' = Ш (I? - в* жт - 1т) + ) + ^) жт •
\ищх ^ щхх ^щхуу хх ^щху
°у = Ш(ЪЩЩ - °х!т - °у!т) + ^)|т + )|т'
\ ^ Щу ^ Мух ^ ^уу ^ Мух ^ иуу
где Ш = г}- тщ - (1их - (2иу,
з(/,9} = —V Г Г /(т,х/уШ:х>У)^т.
х } г(1 -а)1оЬ (I - т)а И
В случае произвольных /ид подстановка в эти формулы формального лагранжиана
^ — qd"u - F(ux, иу)ихх - G{ux, иу)иуу - -Н{ux, Uy)иху - —Н{ux, иу)uyX,
где функции F,G,H определены в (18), дает
С — 0 l1-aW,
Сх — W [2и,х:иу(ихиху + иуиуу)(f" - д'') + (иуиху + и,х:иуу)(f' - д0] -
у - x у
- ( f + 2и2хГ)Ох(W) - ихиу (f + д')Бу(W),
Су — W [2ихиу(иуиху + ихихх)(д" - f") + (ихиху + Щихх)(д' - f)] -
- ихиу(f + g'^W) - (д + 2и2удг)Оу(W). Операторам (24) соответствуют следующие значения W:
2 _ 1
W\ — —их, W — —иу, W3 —и--tut - хих - уиу, W4 — ta .
Легко видеть, что оператор Х4 дает тривиальный закон сохранения с С1 — 0, а операторы Х\ и Х дают законы сохранения, сводящиеся к тривиальному элементарными преобразованиями с учетом самого уравнения (1). Единственный нетривиальный закон сохранения порождается оператором Хз, соответствующий сохраняющийся вектор имеет координаты
С — 01]-а и, Сх — - ¡(и2х +иу )их, Су — -д (их + иу )иу. (30)
Данный закон сохранения соответствует исходному уравнению (1). Других нетривиальных законов сохранения в случае произвольных функций и метод нелинейной самосопряженности с подстановкой вида v — <ß(t, х, у, и) для уравнения (1) не дает.
В случае ¡(г) = for13, g(r) = дог13 оператор Х5 из (25) также порождает закон сохранения c сохраняющимся вектором (30). При 0 = а/(1 — а) оператор Хб из (26) порождает новый закон сохранения, координаты сохраняющегося вектора которого имеют вид
С = t0 !\-аи — 01?-аЩ С2 = — fotux(u2x+u2y) , С2 = —gotUy (и2х + и2у) ^.
В случае f = д оператор Хг из (27) также порождает лишь тривиальный закон сохранения.
Более интересными представляются случаи 2) и 3) из теоремы 3. Для произвольной функции ¡ид = д0 = const при v = С\ + с2у для операторов Xi и Х2 получаем закон сохранения c сохраняющимся вектором (30). Оператор Хз порождает в этом случае новый закон сохранения:
С = У оII-au, С2 = —yuxf (UX + Uy), С2 = go(u — yuy).
Аналогично, для случая ¡' = ¡о = const и произвольной функции д оператор Х3 при v = с\ + с2х дает
С1 = х 0l}-au, С2 = ¡0(u — xuX), С2 = —xuyg (uX + u?y).
Других законов сохранения для нелинейного уравнения (1) метод нелинейной самосопряженности с подстановкой вида v = p(t, х, у, u) не дает.
Найденные законы сохранения могут быть использованы, в частности, для построения частных решений уравнения (1) по методу, предложенному в [36].
Конкурирующие интересы. Авторы заявляют об отсутствии конкурирующих интересов.
Авторский вклад и ответственность. Все авторы принимали участие в получении основных результатов статьи и в написании рукописи. Авторы несут полную ответственность за предоставление окончательной рукописи в печать. Окончательная версия рукописи была одобрена всеми авторами.
Финансирование. Работа выполнена в рамках государственного задания Министерства науки и высшего образования РФ (проект № 1.3103.2017/4.6).
Библиографический список
1. Samko S. G., Kilbas A. A., Marichev O. I. Fractional integrals and derivatives. Theory and applications. New York: Gordon & Breach Sci. Publishers, 1993. xxxvi+976 pp.
2. Kilbas A. A., Srivastava H. M., Trujillo J. J. Theory and Applications of Fractional Differential Equations / North-Holland Mathematics Studies. vol. 204. Amsterdam: Elsevier, 2006. xv+523 pp.
3. Podlubny I. Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications / Mathematics in Science and Engineering. vol. 198. San Diego: Academic Press, 1999. xxiv+340 pp.
4. Metzler R., Klafter J. The random walk's guide to anomalous diffusion: a fractional dynamic approach// Phys. Rep., 2000. vol. 339, no. 1. pp. 1-77. doi: 10.1016/S0370-1573(00) 00070-3.
5. Hilfer R. Applications of fractional calculus in physics. Singapore: World Scientific, 2000. vii+463 pp.
6. Нахушев А. М. Дробное исчисление и его применение. М.: Физматлит, 2003. 272 с.
7. Учайкин В. В. Метод дробных производных. Ульяновск: Артишок, 2008. 512 с.
8. Mainardi F. Fractional calculus and waves in linear viscoelasticity. An introduction to mathematical models. Hackensack: World Scientific, 2010. xx+347 pp.
9. Головизнин В. М., Кондратенко П. С., Матвеев Л. В. и др. Аномальная диффузия радионуклидов в сильнонеоднородных геологических формациях. М.: Наука, 2010. 342 с.
10. Fractional Dynamics: Recent Advances/ eds. J. Klafter, S. C. Lim, R. Metzler. Hackensack: World Scientific, 2011. xiv+515 pp.
11. Fractional kinetics in solids: Anomalous charge transport in semiconductors, dielectrics and nanosystems / eds. V. Uchaikin, R. Sibatov. Boca Raton: CRC Press, 2013. xvi+257 pp. doi: 10.1142/8185.
12. Baleanu D., Diethelm K., Scalas E., Trujillo J. J. Fractional calculus: models and numerical methods / Series on Complexity, Nonlinearity and Chaos. vol. 5. Hackensack: World Scientific, 2017. xxviii+448 pp. doi: 10.1142/10044.
13. Ovsyannikov L. V. Group analysis of differential equations. New York: Academic Press, 1982. xvi+416 pp.
14. Olver P. J. Applications of Lie groups to differential equations / Graduate Texts in Mathematics. vol. 107. New York: Springer, 2000. xxviii+513 pp.
15. Bluman G. W., Cheviakov A. F., Anco S. C. Applications of symmetry methods to partial differential equations / Applied Mathematical Sciences. vol. 168. New York: Springer, 2010. xix+398 pp pp.. doi: 10.1007/978-0-387-68028-6.
16. Grigoriev Yu. N., Ibragimov N. H., Kovalev V. F., Meleshko S. V. .Symmetries of integro-differential equations. With applications in mechanics and plasma physics. / Lecture Notes in Physics. vol.806. Dordrecht: Springer, 2010. xiii+305 pp. doi: 10.1007/ 978-90-481-3797-8.
17. Ibragimov N. H. Transformation groups and Lie algebras. Hackensack: World Scientific, 2013. x+185 pp. doi: 10.1142/8763.
18. Gazizov R. K., Kasatkin A. A., Lukashchuk S. Y. Symmetries and group invariant solutions of fractional ordinary differential equations / Handbook of Fractional Calculus with Applications, Vol. 2 Fractional Differential Equations; eds. A. Kochubei, Y. Luchko. Berlin: De Gruyter, 2019. pp. 65-90. doi: 10.1515/9783110571660-004.
19. Gazizov R. K., Kasatkin A. A., Lukashchuk S. Y. Symmetries, conservation laws and group invariant solutions of fractional PDEs / Handbook of Fractional Calculus with Applications, Vol. 2 Fractional Differential Equations; eds. A. Kochubei, Y. Luchko. Berlin: De Gruyter, 2019. pp. 353-382. doi: 10.1515/9783110571660-016.
20. Raghavan R., Chen C. Fractional diffusion in rocks produced by horizontal wells with multiple, transverse hydraulic fractures of finite conductivity // J. Petrol. Sci. Eng., 2013. vol. 109. pp. 133-143. doi: 10.1016/j.petrol.2013.08.027.
21. Obembe A. D. Al-Yousef H. Y., Hossain M. E., Abu-Khamsin S. A. Fractional derivatives and their applications in reservoir engineering problems: A review // J. Petrol. Sci. Eng., 2017. vol.157. pp. 312-327. doi: 10.1016/j.petrol.2017.07.035.
22. Газизов Р. К., Лукащук С. Ю. Дробно-дифференциальный подход к моделированию процессов фильтрации в сложных неоднородных пористых средах// Вестник УГАТУ, 2017. Т. 21, №4. С. 104-112.
23. Бабков О. К. О групповой классификации некоторых эволюционных уравнений / Тезисы международной конференции Mogran-16 (28 октября - 2 ноября 2013 г.). Уфа: УГАТУ, 2013. С. 6-7.
24. Овсянников Л. В. О свойстве ж-автономии// Докл. РАН, 1993. Т. 330, №5. С. 559-561.
25. Чиркунов Ю. А. Условия линейной автономности основной алгебры Ли системы линейных дифференциальных уравнений // Докл. РАН, 2009. Т. 426, №5. С. 605-607.
26. Газизов Р. К., Касаткин А. А., Лукащук С. Ю. Уравнения с производными дробного порядка: замены переменных и нелокальные симметрии // Уфимск. матем. журн., 2012. Т. 4, №4. С. 54-68.
27. Ibragimov N. H. A new conservation theorem // J. Math. Anal. Appl., 2007. vol. 333, no. 1. pp. 311-328. doi: 10.1016/j.jmaa.2006.10.078.
28. Ibragimov N. H. Nonlinear self-adjointness and conservation laws // J. Phys. A: Math. Theor., 2011. vol.44, 432002. doi: 10.1088/1751-8113/44/43/432002.
29. Patera J., Winternitz P. Subalgebras of real three- and four-dimensional Lie algebras// J. Math. Phys., 1977. vol.18, no. 7. pp. 1449-1455. doi: 10.1063/1.523441.
30. Лукащук С. Ю. Симметрийная редукция и инвариантные решения нелинейного дробно-дифференциального уравнения аномальной диффузии с источником // Уфимск. матем. журн., 2016. Т. 8, №4. С. 114-126.
31. Овсянников Л. В. Об оптимальных системах подалгебр // Докл. РАН, 1993. Т. 333, №6. С. 702-704.
32. Чиркунов Ю. А., Хабиров С. В. Элементы симметрийного анализа дифференциальных уравнений механики сплошной среды. Новосибирск: НГТУ, 2012. 659 с.
33. Lukashchuk S. Yu. Conservation laws for time-fractional subdiffusion and diffusion-wave equations// Nonlinear Dyn., 2015. vol.80, no. 1-2. pp. 791-802. doi: 10.1007/ s11071-015-1906-7.
34. Gazizov R. K., Ibragimov N. H., Lukashchuk S. Yu. Nonlinear self-adjointness, conservation laws and exact solutions of time-fractional Kompaneets equations // Commun. Nonlin. Sci. Numer. Simulat., 2015. vol.23, no. 1-3. pp. 153-163. doi: 10.1016/j.cnsns.2014.11.010.
35. Лукащук С. Ю. О построении законов сохранения для интегро-дифференциальных уравнений дробного порядка// ТМФ, 2015. Т. 184, №2. С. 179-199. doi: 10.4213/ tmf8833.
36. Ибрагимов Н. Х., Авдонина Е. Д. Нелинейная самосопряженность, законы сохранения и построение решений уравнений в частных производных с помощью законов сохранения// УМН, 2013. Т. 68, №5(413). С. 111-146. doi: 10.4213/rm9536.
Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki
[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2020, vol. 24, no. 2, pp. 226-248
d https://doi.org/10.14498/vsgtu1761
ISSN: 2310-7081 (online), 1991-8615 (print)
MSC: 35R11, 76M60, 76S05
Group classification, invariant solutions and conservation laws of nonlinear orthotropic two-dimensional filtration equation with the Riemann—Liouville time-fractional derivative
V. O. Lukashchuk, S. Yu. Lukashchuk
Ufa State Aviation Technical University,
12, K. Marx st., Ufa, 450008, Russian Federation.
Abstract
A nonlinear two-dimensional orthotropic filtration equation with the Riemann-Liouville time-fractional derivative is considered. It is proved that this equation can admits only linear autonomous groups of point transformations. The Lie point symmetry group classification problem for the equation in question is solved with respect to coefficients of piezoconductivity. These coefficients are assumed to be functions of the square of the pressure gradient absolute value. It is proved that if the order of fractional differentiation is less than one then the considered equation with arbitrary coefficients admits a four-parameter group of point transformations in orthotropic case, and a five-parameter group in isotropic case. For the power-law piezoconductivity, the group admitted by the equation is five-parametric in orthotropic case, and six-parametric in isotropic case. Also, a special case of power function of piezoconductivity is determined for which there is an additional extension of admitted groups by the projective transformation. There is no an analogue of this case for the integer-order filtration equation. It is also shown that if the order of fractional differentiation a G (1, 2) then dimensions of admitted groups are incremented by one for all cases since an additional translation symmetry exists. This symmetry is corresponded to an additional particular solution of the fractional filtration equation under consideration.
Using the group classification results for orthotropic case, the representations of group-invariant solutions are obtained for two-dimensional subal-gebras from optimal systems of symmetry subalgebras. Examples of reduced equations obtained by the symmetry reduction technique are given, and some exact solutions of these equations are presented.
Research Article
Q ©® The content is published under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/) Please cite this article in press as:
Lukashchuk V. O., Lukashchuk S. Yu. Group classification, invariant solutions and conservation laws of nonlinear orthotropic two-dimensional filtration equation with the Riemann-Liouville time-fractional derivative, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2020, vol. 24, no. 2, pp. 226-248. doi: 10.14498/vsgtu1761 (In Russian). Authors' Details:
Veronika O. Lukashchuk © https://orcid.org/0000-0002-3082-1446
Cand. Phys. & Math. Sci.; Associate Professor; Dept. of High Performance Computing Technologies and Systems; e-mail: voluks@gmail.com
Stanislav Yu. Lukashchuk A https://orcid.org/0000-0001-9209-5155
Dr. Phys. & Math. Sci., Associate Professor; Professor; Dept. of High Performance Computing
Technologies and Systems; e-mail: lsu@ugatu.su
It is proved that the considered time-fractional filtration equation is non-linearly self-adjoint and therefore the corresponding conservation laws can be constructed. The components of obtained conserved vectors are given in an explicit form.
Keywords: fractional filtration equation, group classification, Lie point symmetry, invariant solution, conservation law.
Received: 29th November, 2019 / Revised: 17th May, 2020 / Accepted: 1st June, 2020 / First online: 30th June, 2020
Competing interests. Authors declare no competing interests.
Authors' contributions and responsibilities. Each author has participated in article results and in the manuscript writing. The authors are absolutely responsible for submitting the final manuscript in print. Each author has approved the final version of manuscript.
Funding. This work was supported by the Ministry of Science and Higher Education of the Russian Federation (State task no. 1.3103.2017/4.6).
References
1. Samko S. G., Kilbas A. A., Marichev O. I. Fractional integrals and derivatives. Theory and applications. New York, Gordon & Breach Sci. Publishers, 1993, xxxvi+976 pp.
2. Kilbas A. A., Srivastava H. M., Trujillo J. J. Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, vol. 204. Amsterdam, Elsevier, 2006, xv+523 pp.
3. Podlubny I. Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications, Mathematics in Science and Engineering, vol. 198. San Diego, Academic Press, 1999, xxiv+340 pp.
4. Metzler R., Klafter J. The random walk's guide to anomalous diffusion: a fractional dynamic approach, Phys. Rep., 2000, vol.339, no. 1, pp. 1-77. doi: 10.1016/S0370-1573(00) 00070-3.
5. Hilfer R. Applications of fractional calculus in physics. Singapore, World Scientific, 2000, vii+463 pp.
6. Nakhushev A. M. Drobnoe ischislenie i ego primenenie [Fractional Calculus and its Applications]. Moscow, Fizmatlit, 2003, 272 pp. (In Russian)
7. Uchaikin V. V. Metod drobnykh proizvodnykh [Method of Fractional Derivatives]. Ul'yanovsk, Artishok, 2008, 512 pp. (In Russian)
8. Mainardi F. Fractional calculus and waves in linear viscoelasticity. An introduction to mathematical models. Hackensack, World Scientific, 2010, xx+347 pp.
9. Goloviznin V. M., Kondratenko P. S., Matveev L. V. Anomal'naia diffuziia radionuklidov v sil'noneodnorodnykh geologicheskikh formatsiiakh [Anomalous Radionuclide Diffusion in Highly Heterogeneous Heological Formations]. Moscow, Nauka, 2010, 342 pp. (In Russian)
10. Fractional Dynamics: Recent Advances, eds. J. Klafter, S. C. Lim, R. Metzler. Hackensack, World Scientific, 2011, xiv+515 pp.
11. Fractional kinetics in solids: Anomalous charge transport in semiconductors, dielectrics and nanosystems, eds. V. Uchaikin, R. Sibatov. Boca Raton, CRC Press, 2013, xvi+257 pp. doi: 10.1142/8185.
12. Baleanu D., Diethelm K., Scalas E., Trujillo J. J. Fractional calculus: models and numerical methods, Series on Complexity, Nonlinearity and Chaos, vol. 5. Hackensack, World Scientific, 2017, xxviii+448 pp. doi: 10.1142/10044.
13. Ovsyannikov L. V. Group analysis of differential equations. New York, Academic Press, 1982, xvi+416 pp.
14. Olver P. J. Applications of Lie groups to differential equations, Graduate Texts in Mathematics, vol. 107. New York, Springer, 2000, xxviii+513 pp.
15. Bluman G. W., Cheviakov A. F., Anco S. C. Applications of symmetry methods to partial differential equations, Applied Mathematical Sciences, vol. 168. New York, Springer, 2010, xix+398 pp pp.. doi: 10.1007/978-0-387-68028-6.
16. Grigoriev Yu. N., Ibragimov N. H., Kovalev V. F., Meleshko S. V. Symmetries of integro-differential equations. With applications in mechanics and plasma physics., Lecture Notes in Physics, vol.806. Dordrecht, Springer, 2010, xiii+305 pp. doi: 10.1007/ 978-90-481-3797-8.
17. Ibragimov N. H. Transformation groups and Lie algebras. Hackensack, World Scientific, 2013, x+185 pp. doi: 10.1142/8763.
18. Gazizov R. K., Kasatkin A. A., Lukashchuk S. Y. Symmetries and group invariant solutions of fractional ordinary differential equations, In: Handbook of Fractional Calculus with Applications, Vol. 2 Fractional Differential Equations; eds. A. Kochubei, Y. Luchko. Berlin, De Gruyter, 2019, pp. 65-90. doi: 10.1515/9783110571660-004.
19. Gazizov R. K., Kasatkin A. A., Lukashchuk S. Y. Symmetries, conservation laws and group invariant solutions of fractional PDEs, In: Handbook of Fractional Calculus with Applications, Vol. 2 Fractional Differential Equations; eds. A. Kochubei, Y. Luchko. Berlin, De Gruyter, 2019, pp. 353-382. doi: 10.1515/9783110571660-016.
20. Raghavan R., Chen C. Fractional diffusion in rocks produced by horizontal wells with multiple, transverse hydraulic fractures of finite conductivity, J. Petrol. Sci. Eng., 2013, vol. 109, pp. 133-143. doi: 10.1016/j.petrol.2013.08.027.
21. Obembe A. D. Al-Yousef H. Y., Hossain M. E., Abu-Khamsin S. A. Fractional derivatives and their applications in reservoir engineering problems: A review, J. Petrol. Sci. Eng., 2017, vol. 157, pp. 312-327. doi: 10.1016/j.petrol.2017.07.035.
22. Gazizov R. K., Lukashchuk S. Yu. Fractional differentiation approach to modeling of fluid filtration processes in complex heterogeneous porous media, Vestnik UGATU, 2017, vol. 21, no. 4, pp. 104-112 (In Russian).
23. Babkov O. K. On group classification of some evolution equations, In: Book of abstracts of International conference MOGRAN-16 (October 28 - November 2, 2013). Ufa, Ufa State Aviation Technical Univ., 2013, pp. 6-7.
24. Ovsyannikov L. V. On the property of ^-autonomy, Dokl. Math., 1993, vol. 47, no. 3, pp. 581584.
25. Chirkunov Y. A. Linear autonomy conditions for the basic Lie algebra of a system of linear differential equations, Dokl. Math., 2009, vol.79, no. 3, pp. 415-417. doi: 10.1134/ S1064562409030302.
26. Gazizov R. K., Kasatkin A. A., Lukashchuk S. Yu. Fractional differential equations: change of variables and nonlocal symmetries, Ufimsk. Mat. Zh., 2012, vol.4, no. 4, pp. 54-68 (In Russian).
27. Ibragimov N. H. A new conservation theorem, J. Math. Anal. Appl., 2007, vol.333, no. 1, pp. 311-328. doi: 10.1016/j.jmaa.2006.10.078.
28. Ibragimov N. H. Nonlinear self-adjointness and conservation laws, J. Phys. A: Math. Theor., 2011, vol.44, 432002. doi: 10.1088/1751-8113/44/43/432002.
29. Patera J., Winternitz P. Subalgebras of real three- and four-dimensional Lie algebras, J. Math. Phys., 1977, vol.18, no. 7, pp. 1449-1455. doi: 10.1063/1.523441.
30. Lukashchuk S. Yu. Symmetry reduction and invariant solutions for nonlinear fractional diffusion equation with a source term, Ufa Math. J., 2016, T. 8, №4, C. 111-122. doi: 10. 13108/2016-8-4-111.
31. Ovsyannikov L. V. On optimal systems of subalgebras, Dokl. Math., 1994, vol.48, no. 3, pp. 645-649.
32. Chirkunov Yu. A., Khabirov S. V. Elementy simmetriinogo analiza differentsial'nykh urav-nenii mekhaniki sploshnoi sredy [Elements of Symmetry Snalysis of Differential Equations of Continuum Mechanics]. Novosibirsk, Novosibirsk State Tecnical Univ., 2012, 659 pp. (In Russian)
33. Lukashchuk S. Yu. Conservation laws for time-fractional subdiffusion and diffusion-wave equations, Nonlinear Dyn., 2015, vol.80, no. 1-2, pp. 791-802. doi: 10.1007/ s11071-015-1906-7.
34. Gazizov R. K., Ibragimov N. H., Lukashchuk S. Yu. Nonlinear self-adjointness, conservation laws and exact solutions of time-fractional Kompaneets equations, Commun. Nonlin. Sci. Numer. Simulat., 2015, vol.23, no. 1-3, pp. 153-163. doi: 10.1016/j.cnsns.2014.11.010.
35. Lukashchuk S. Y. Constructing conservation laws for fractional-order integro-differential equations, Theoret. and Math. Phys., 2015, vol.184, no. 2, pp. 1049-1066. doi: 10.1007/ s11232-015-0317-8.
36. Ibragimov N. H., Avdonina E. D. Nonlinear self-adjointness, conservation laws, and the construction of solutions of partial differential equations using conservation laws, Russian Math. Surveys, 2013, vol.68, no. 5, pp. 889-921. doi: 10.1070/RM2013v068n05ABEH004860.