Симметрийная редукция и инвариантные решения нелинейного дробно-дифференциального уравнения аномальной диффузии с источником Текст научной статьи по специальности «Математика»

ISSN 2074-1871 Уфимский математический журнал. Том 8. № 4 (2016). С. 114-126.

УДК 517.9

СИММЕТРИЙНАЯ РЕДУКЦИЯ И ИНВАРИАНТНЫЕ РЕШЕНИЯ НЕЛИНЕЙНОГО ДРОБНО-ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ АНОМАЛЬНОЙ ДИФФУЗИИ С ИСТОЧНИКОМ

Аннотация. Рассматривается задача построения инвариантных решений для нелинейного дробно-дифференциального уравнения аномальной диффузии с источником. На основе проведенной ранее групповой классификации исследуемого уравнения, для каждого случая классификации построена оптимальная система одномерных подалгебр алгебр Ли инфинитезимальных операторов группы точечных преобразований, допускаемых уравнением. Для каждой одномерной подалгебры каждой оптимальной системы найден соответствующий вид инвариантного решения и выполнена симмет-рийная редукция к обыкновенному дифференциальному уравнению. Доказано, что выделяется всего три различных типа редукционных уравнений (фактор-уравнений): обыкновенное дифференциальное уравнение второго порядка, интегрируемое в квадратурах, и два обыкновенных нелинейных дробно-дифференциальных уравнения, для ряда частных случаев которых в работе построены точные решения.

Ключевые слова: дробно-дифференциальное уравнение диффузии, симметрия, оптимальная система подалгебр, симметрийная редукция, инвариантное решение.

Mathematics Subject Classification: 45K05, 70G65

Здесь Г(г) — гамма-функция и п = [а] + 1.

Уравнение (1) при a G (0,1) известно как уравнение субдиффузии, а при a G (1, 2) представляет собой диффузионно-волновое уравнение [3-6]. В предельном случае а = 1 оно переходит в классическое уравнение диффузии, при а = 2 — в волновое уравнение.

В настоящее время наиболее хорошо изученным является случай, когда уравнение (1) не содержит источника (/(и) = 0) и является линейным (к(и) = const). Вопросы существования и единственности решения соответствующих начально-краевых задач для такого

S.Yu. Lukashchuk, Symmetry reduction and invariant solutions for nonlinear fractional diffusion equation with a source term.

© ЛукАщук С.Ю., 2016.

Работа выполнена в ФГБОУ ВО УГАТУ в рамках договора № 11.G34.31.0042 по постановлению № 220 Правительства РФ.

Поступила 8 февраля 2016 г.

С.Ю. ЛУКАЩУК

1. Введение

Рассматривается нелинейное уравнение аномальной диффузии

= (к(и)их)х + /(и), а Е (0, 2) с дробной производной Римана-Лиувилля [1,2] по времени:

(1)

линейного уравнения изучались многими авторами, которые показали, что решения этих задач представляются, как правило, через специальные функции Райта и Фокса [6-8].

Нелинейные уравнения аномальной диффузии изучались менее интенсивно. Это обусловлено значительной сложностью исследования нелинейных интегро-дифференциаль-ных уравнений, частным случаем которых является и уравнение (1). Тем не менее, существует ряд общих математических подходов, позволяющих построить точные решения нелинейных дифференциальных уравнений, одним из которых является современный групповой анализ [9,10].

Исследование симметрийных свойств уравнений дробного порядка представляет собой весьма непростую задачу даже для линейных уравнений. Сложность задачи обусловлена, прежде всего, свойствами интегро-дифференциального оператора дробного дифференцирования и связана с его нелокальностью. В отличие от классического оператора дифференцирования целого порядка, действие оператора дробного дифференцирования на произведение двух функций представляется не конечной суммой, а бесконечным рядом (так называемое, обобщенное правило Лейбница) [1]. Еще более сложным образом представляется дробная производная сложной функции — в общем случае приходится иметь дело с четырехкратным рядом [13]. В результате решение определяющих уравнений для нахождения группы точечных преобразований оказывается весьма трудоемким.

Общие методы теории групп преобразований для дробно-дифференциальных уравнений представлены в работах [13-18]. Построены формулы продолжения группы точечных преобразований на дробно-дифференциальные переменные, предложен алгоритм нахождения линейно-автономных симметрий таких уравнений, развиты алгоритмы построения законов сохранения по известным симметриям на основе дробно-дифференциальных обобщений теоремы Нётер.

Для дробно-дифференциальных уравнений аномальной диффузии симметрии впервые использованы для построения инвариантных решений в работах [11,12]. Были построены инвариантные решения линейного уравнения субдиффузии и диффузионно-волнового уравнения с производными Римана-Лиувилля, соответствующие группе неравномерных растяжений. Было показано, что решения представляются через функции Райта.

В работе [14] проведена групповая классификация нелинейного уравнения (1) без источника. Показано, что такое уравнение всегда допускает двухпараметрическую группу, состоящую из группы переносов по переменной х и группы неравномерных растяжений. Эта основная группа расширяется для четырех частных видов зависимости коэффициента диффузии к(и): к = const, к = иа, к = M2a/(1-Q0 и к = и-4/3.

В работе [19] приведены результаты групповой классификации классического (а = 1) уравнения диффузии с источником вида (1), а также инвариантные решения, соответствующие оптимальным системам одномерных подалгебр для каждого случая групповой классификации. Групповая классификация дробно-дифференциального уравнения (1) проведена в работе [20]. Там же построены некоторые инвариантные решения этого уравнения. Однако, задача построения инвариантных решений этого уравнения, соответствующих оптимальным системам подалгебр, в [20] лишь обозначена.

В настоящей работе приводится решение этой задачи для всех одномерных подалгебр конечномерных алгебр Ли инфинитезимальных операторов групп точечных преобразований, допускаемых уравнением (1). Доказано, что в результате симметрийной редукции исходное уравнение аномальной диффузии приводится к одному из трех видов обыкновенных дифференциальных уравнений, называемых редуцированными уравнениями, или фактор-уравнениями (в терминах академика Л. В. Овсянникова): одному уравнению второго порядка, которое проинтегрировано в квадратурах, и двум обыкновенным дробно-дифференциальным уравнениям, для которых найдены допускаемые ими группы линейно-автономных симметрий и построены соответствующие инвариантные решения.

2. Оптимальные системы одномерных подалгебр

Так как (1) является скалярным уравнением с двумя независимыми переменными, то для построения инвариантных решений могут быть использованы только одно- и двумерные подалгебры. При этом решения, построенные на двумерных подалгебрах, являются частными случаями решений, построенных на соответствующих вложенных одномерных подалгебрах. Поэтому интерес представляют, в первую очередь, одномерные подалгебры.

Групповая классификация уравнения (1) выполнена в работе [20], ее результаты приведены в первых трех столбцах табл. 1. При этом функция д(Ь,х), определяющая бесконечномерную алгебру Ьж, в случаях 1.1 и 1.2 является произвольным решением уравнения = 9хх, а в случае 1.3 — уравнения = дхх + 8д.

В четвертом столбце (Ь) таблицы 1 указан тип соответствующей алгебры инфините-зимальных операторов. Из анализа табл. 1 видно, что конечномерная часть алгебр Ли операторов групп, допускаемых уравнением (1), исчерпывается шестью типами алгебр — двумя двумерными, двумя трехмерными и двумя четырехмерными:

1) Ь2 = 2АХ;

2) Ь2 = Л :

3) 13 = А2 0 Аг :

4) 13 = Аз>8 :

5) Ь4 = 2А2 :

6) ЬА = АЗ,8 0 Ах

[еье2] = е2; [еье2] = е2;

[еье2] = еь [е2,ез] = ез, [ез,е1] = 2е2;

[еье2] = е2, [ез,е4] = е4;

[е1,е2] = ех, [е2,ез] = ез, [ез,е1] = 2е2

(здесь вг — г-й базисный вектор алгебры и, как обычно, указаны только ненулевые коммутационные соотношения).

Также в четвертом столбце (V) табл. 1 указана связь между базисами (е^} и {X¿}. Например, в случае 1У.5 запись < ^(4 — 1), 1 (1 + 3 — 4), ^(1 + 3), 2 > означает, что имеет место замена базиса

ех = 2(Х4 — Хх), е2 = + Хз — Х4), ез = + Х3), е4 = Х2.

ш ш ш

Для алгебр малых размерностей оптимальные системы подалгебр хорошо известны. В частности, для вещественных алгебр Ли размерности три и четыре такие оптимальные системы построены в работе [21]. Соответствующие оптимальные системы одномерных подалгебр были взяты за основу в данной работе. В ряде случаев, для упрощения построения инвариантных решений, эти системы были дополнительно преобразованы с помощью соответствующих групп внутренних автоморфизмов алгебр. Также учитывалось, что уравнение (1) инвариантно относительно отражения х = —х. Окончательный вид оптимальных систем одномерных подалгебр для рассматриваемого уравнения приведен в последнем столбце (вЬх) табл. 1. Все оптимальные системы записаны в базисе {X¿}. Как обычно, указаны только номера соответствующих операторов, т.е. запись 2 + [33 означает подалгебру с оператором Х2 + [5Х3, где [3 — произвольная вещественная постоянная. Из табл. 1 видно, что размерность соответствующих оптимальных систем одномерных подалгебр для уравнения (1) не превышает семи.

3. Симметрийная редукция

Для каждого случая каждой оптимальной системы одномерных подалгебр из табл. 1 был найден вид соответствующего инвариантного решения и проведена симметрийная редукция уравнения (1). Результаты представлены в табл. 2. Редукция проводилась таким образом, чтобы сохранить вид дробной производной Римана-Лиувилля. Отметим, что такой подход является не единственно возможным. В работе [11] для построения инвариантного решения на группе неравномерных растяжений использовалась редукция к уравнению с дробно-дифференциальным оператором типа Эрдейи-Кобера.

Таблица 1: Групповая классификация уравнения (1) и оптимальные системы одномерных подалгебр (здесь е = ±1, 5 = ±1, е М, р,Х > 0, ш = 2/^3)

к (и) / М X ь 0Ь1

I. к =1 1. / = 0 ^ _ д 1 дх, X 2 = 2 ^ ^ + х , 2 а дъ дх' ^з = и 1, = д(г,х) £ Ьз еью, Ьз = Л 0 Л < -2,1, 3 > 1. {1} 2. {1 + 3} 3. {2 + р3} 4. {3}

2. / = 5 ^ _ д 1 дх, Х2 = 2 Ьд + ж тр- + 2 а дЬ дх , 2Й .«д 1 Г(1+а)1 ди Хз = (и Г(а+1) 1)ди , X= ^ ,ж) ди Ьз 0ЬЮ Ьз = Л 0 Л < -2,1, 3 > 1. {1} 2. {1 + 3} 3. {2 + р3} 4. {3}

3. / = ¿и + х ^ _ д 1 дх, Х2 =[и-Хг аЕа«+1 (5 Г)] ди , = д(г ,х) ди Ь2 0ЬЮ, Ь2 = 2Л1 < 1, 2 > 1. {1} 2. {/31 + 2}

4. / = ¿и7 (7 = 0, 1) ^ _ д 1 дх, X = Ц д + х ^ + и _д_ 2 а д1 + дх + 1—7 ди Ь2 = Л < -2,1 > 1. {1} 2. {2}

II. & = иа ((7 = 0, 4 2« ) 3 , 1-«) 1. / = 0 ^ _ д 1 дх, Х2 = 2 ^ ^ + х , 2 а д д х Хз = - мди Ьз = Л 0 Л1 < -2,1,-3 > 1. {1} 2. {1 + 3} 3. {2 + р3} 4. {3}

2. / = ¿и7 (7 = * + 1) ^ _ д 1 дх, V = 2(1—7) -^д . д , = а(<г+1—7)^ + Хдх + + 2 ид а+1—7 ди Ь2 = Л2 < -2,1 > 1. {1} 2. {2}

3. / = ¿и^1 ^ _ д 1 дх, Х2 = ~t■д — и 2 а дъ ди Ь2 = 2Л1 < 1, 2 > 1. {1} 2. {/31 + 2}

III. к = и1-а 1. / = 0 ^ _ д 1 дх, V _ + д I а—1 д А2 = % + ди, Хз ^С ¿д гч , 3 дх а ди' Х4 = г2| + (а - 1)^ди Ь4 = 2Л2 < -3,1, 2, 4 > 1. {1} 2. {1 + 2} 3. {1 + 4} 4. {2} 5. {/32 + 3} 6. {3 + е4} 7. {4}

2. / = ¿и7 (7 = ) ^^ _ д х = 2(1—7)(1—а)) ,д , = а[1—7+а(1+7)] ^ дЪ + +жд + 2(1—а) мд дх 1—7+а(1+7) ди Ь2 = Л2 < -2,1 > 1. {1} 2. {2}

к (и) / («) X Ь вЬг

1 + а 3. / = 5и1-а Хг = А. дх ' Ьз = Л 0 Л 1. 1}

х2 = ,д + (а-г) „ д Ьдъ + 2 ади, < 2, 3,1 > 2. ,51 + 2}

х3 = I + (« — ^ 1 3. 4. 1 + 3} 3}

4 IV. к = и-з 1. / = 0 Хг = А. дх ' ¿4 = ^з,8 0 Л 1. 1}

х2 = 2 г д + 3 ид а ЬдЬ + 2 ади , < 1, 3, —4, 2 > 2. 1 + 2}

х3 = ™ _д__3 „ д •ЛУ А п И/ Л 1 дх 2 ди' 3. 1+ р 2 — 4}

Х4 х л д х д и 4. 5. 2} р2 + 3}

2. f = ^ Хг = _д_ дх Lз = ^з,8 1. 1}

Х2 = ™ _д__3 7, дх 2 ди' < 1, 2, —3 > 2. 2}

Х3 х л дх ди 3. 1 — 3}

3. / = Хг = дх ' ¿2 = Л 1. 1}

(7 = - 3,1) Х2 = б(г-7) , д „ д , а(г+37) 6д4 Хдх + + 6 ид 1 г+37 "ди < 2,1 > 2. 2}

4. / = и-3 Хг = дх ' ¿4 = ^з,8 0 Аг 1. 1}

Х2 = 4+д + 3ауд < 13, —11, ш ' Ш ' 2. р1 + 2}

Хз = ешх# — /3ешхи ди, дх * ди' — ш4, 2 > 3. 2 + е3}

Х4 = е-шх|- + /3е-шх м ди д х д и 4. 5. ,52 + 3 — 4} 3}

5. { = —м-3 Хг = дх ' ¿4 = ^з,8 0 Аг 1. 1}

Х2 = 4+д + 3ауд < 2(4 — 1), 2. р1 + 2}

Хз = сов(шж) дх+ г (1 + 3 — 4), 3. 1 + 2 + 3}

+л/3 ди, г(1 + 3), 2 > 4. 1 + 4}

х4 = в1п(шж) дх — — л/3соз(шх)и ди 5. А2 + 3}

6. { = м-3 + Хг = А дх ' Lз = ^з,8 1. 1}

+ХМ Х2 = ешхд — /3ешхм ди, дх у ди' < г2, — г 1, ш ш 2. 2}

Хз = е-шхд + /3е-шх и д, дх * ди' — г 3 > ш 3. 2 — 3}

7. f = Хг = дх ' Lз = ^з,8 1. 1}

1 = —И з + ^и Х2 = сов(шж) дх+ < 2 (3 — 1) 2. 1 + 3}

г (1 + 2 — 3), 3. 2}

Хз = в1п(шж) дх — — л/3 сов(шж)м ди г (1 + 2) >

Таблица 2: Вид инваринтных решений и соответствующие редуцированные уравнения для уравнения (1) (здесь е = ±1, 6 = ±1, 3, те К, р,\ > 0, ш = 2/^3)

N0 Вид решения Редуцированное уравнение

I 1 1 и = у(Ь) = 0

2 и = ех'^(Ь) Щу = у

3 Я / \ 2 и = X Р^(т), Т = Ьх а вау=а2 г2^"+а (а+1+23) V+3(3+%

4 — —

2 1 и = у(Ь) Щу = ^

2 и = ех^) + г(1+а) оау = у

3 _а , ч и = х у(Т) + г(1+а) , 2 Г = 1х а вау=а2 т2у"+а (а+1+23 ^+3(3+%

4 и = г(1+а) —

3 1 и = Щу = ^ + х

2 и = е+ ^„^(¿Г), (/3 = 0) = (32 + %

и = XtаЕа,а+1(6Г) (/3 = 0) —

4 1 и = у(Ь) вау = ^7 (7 = 0,1)

2 Я / \ 2 и = х Р^(т), Т = Ьх а , 3 = 1-7 (7 = 0, 1) вау=а2 г2 у"+а (а+1+2/)ту'+ +/(3 + 1)у + 8 у7

II 1 1 и = у(Ь) В'У = 0

2 и = е_х^(г), г = Ье вату = Й ' + а2 (у )2+ + а [а + 2(1 +а)] ту^' + (а + 1^

3 и = х~а^(т), т = 1хи, а ' = у2т2уау" + а z/2т2р'т—1 (ур! )2+ +и[и - 1 - 2/3(а + 1)]трaр+ +3 [1+/ (1 + а)]рa+1

4 а , ч и = £ * у(х) уу1' + а(у)2 - гff-ааt)P2-<J = 0

2 1 и = у(Ь) В" у = 5 у7

2 и = х~а^(т), т = 1хи, !/= ЯСТ+2,/ = +1 а ' г* ст+1-7 = v2т2р'тр" + а )2+ +и[и - 1 - 23(а + 1)^^'+ +3 [1+3 (1 + а)]уст+1 + ^7

3 1 и = у(Ь) В'У = 6уа+1

2 и = е-^(т), г = ¿ега, " = - аа (/ = 0) В'у = //2r2рстр/ + а )2+ +^ \у 2(ст/+1)] ту'У + + б) у^1

и = Г-у(х) (/3 = 0) уу' + а (у' )2 + - гВОО^У- = 0

^е Вид решения Редуцированное уравнение

III 1 1 и = = 0

2 и = е ^—Ах р(т), т = ге-х, а = ' 1—а = т2^а </ + ат 2ра—1(р' )2+ + (а + 2)тра 0 + 1—4а2

3 и = (1 + гх)а-1^(т), 1__1 ^ = 2а 1+4х ' 1—а Щр = т4ра </ + &т 4<ра—1(<р' )2+ +2(а + 2)т3ра^ + (1 - а)(2 + а)т2^а+1

4 а — 1 , ч и = £ 2 ^(ж) ^' + 12—аа (^)2 - Г(1/2+а/2) * -2 =0

5 и = ж^^(т), г = Ьх—3, у = 2—а3, а = 2а а ' 1—а = р 2т2ра </ + ар 2т V )2+ +Р[р + 1 - 27(а + 1)]т^а^+ +и[и(а + 1) - 1]^а+1

6 и = Ж 2 ^(т) X X (1 - £Т 1п(ж))1—а, ^__ г д. = 2а 1+et\n(х), 1—а Щр = </ + )2+ + а+2(2ат - е)т2<р'+ + ^[1 - а(а + 2)ег + а2(а + 2)т2]^а+1

7 и = ^(ж) ч^' + ггг (^ )2 = 0

2 1 и = Ва =

2 и = ж-3^(т), г = Ьхи, V = 3а+2 = +1 , а ' ' а+1—7' - = 1—а (т=е) Щу = ^ 2г <р" + аи 2т )2+ [и - 1 - 2р(а + 1)]т^а0+ +р [1+ р (1 + а)]^а+1 +

3 1 и = 1 + а

2 1 — а и = ега^(т), г = ¿ега, * = -1, * = 1—а (0 = 0) = ^V + ^^2ра—1(р' )2+ + (а + 2)^2г^а^ + + 1—4а2 и2^

и = *^(р(х) (р = 0) ^^' + 1—т V )2 + - ^ - =0

3 и = (1 + ¿ж)а—1^(т), 1__г ^ = 2а 1+4х' 1—а = т4ра + ат )2+ +2(а + 2)т 3<ра ^+ + [5 - (а - 1)(а + 2)т2]^а+1

4 и = Ьа—1^(х) г*/'+1—а (^ )2+= 0

IV 1 1 и = = 0

2 и = е3х^(т), г = ¿е—«х ДГ^ = ' - ЗТ2^7 (^)2 + +а (1+а) 3 ^- 4 1

3 (1+х)3 2 / \ и = а—х) 3 3 *(т), ^ = * (1—х)1 ва^ = 432 г2 3 ^' -16 а2 г 7 (^ )2+ + 232(а + 2)т<£>—3^ + (3 - 32) 3

4 3 ^' - 3 (^ )2 - ГГ^ ^10 = 0

5 и = Ж 3 (р—1)^(т), г = ¿ж—2 £ = 4Гг22 г V4 ^' -16 а2 Г 7 (^ )2+ +а (а+2 - р) 3 ^ - 4 (1+р)^—1

Вид решения Редуцированное уравнение

2 1 и = ф) =

2 и = х-3 Щч> = 1 +

3 и = (1 - х2)-!р(г) Щр = 3р-1+

3 1 и = ф) Щч> = 5 р7

2 и = х-13р(т), т = Ьхи, Щч> = и2т2р-Зр'' — |//2Т2р-3 (р')2+

V = 6(1-7) а = 6 «(1+37) , а 1+37 +V (\Ъ - 1 + //) тр-Зр'+ (Ь - р-1 +5 р7

4 1 и = <р(г) = р-1/3

2 и = 3 иар(х) (р = 0) 4 (р)2 , р2 г(1+3«/4) _ 10 = 0 3 ( ) + V Г(1-«/4) V 3 = 0

и = - 3^Х / ч , Зх е ^ ^(т), т = ъер = ^VV' - V3 (р)2 +

(р> 0) + ^(а + 2)тр-V + - ^ р-1

3 и = г = е-3шх-3аф(х)^(т)^ ге4ф(х), ф(х) = ^е-шх = т2р-' - |т2р-1 (р)2+ + (1 + 2а)тр-- 3а2р-3

4 и = ф 3« втЬ 2 (шх)р(т), = 16а 2г2р-V - 2г2р-з (р )2+

г = ¿ф(х), 4 3 ^апЬ - +8а2(а + 2)тр-V + (1 - 3а2а2)р- 1 3

ф =

5 и = 3 е-зшхр(г) = 0

5 1 и = Ф) Щч> 1 = - р 3

2 и = 3 Пар(х) (р = 0) 4 ( р')2 р2 г(1+3«/4)р 10 =0 3 ( р ) р Г(1-«/4) р 3 = 0

и = е~рхр(т), = 2р-зр' - Лр' )2+

г = 4 1е-ях (р > 0) + (а + 2)тр-Зр - (1 + р-1

3 и = г = ф-4«(х) осе-22 (шх)р(т), гф(х), ф = е-4 ^п(шх/2) = 4т2р-Зр' - 3(р)2+ +2(а + 2)тр-Зр - |а2р-3

4 и = 81п-3 (^ + 4) "(*) = 0

5 и = ф-4«(х) осе-2 (шх)р(т), = 16 А2т2р- V - 64А2т2р-1 (р)2+

г = ф( х) , +8 А2(а + 2)тр-Зр + (1 - 3а2А2)р- 1 3

ф(х) = 1ап-^ + ,

6 1 и = ф) = р-1 + хр

2 и = 3 е-^шхр(г) = хр

3 и = 3 втЬ 2 (шх)р(Ь) = р-1 +хр

7 1 и = Ф) = -р-1 +хр

2 и = 81п-3 (^ + 4) <р® = хр

3 и = осе- 2 (шх)р(ф = р-1 +хр

Тем не менее, сохранение типа оператора дробного дифференцирования при редукции представляется более целесообразным, так как позволяет с единых позиций рассматривать различные виды редуцированных уравнений. Тип дробной производной (2) сохраняется, в частности, при замене переменных следующего вида:

и(x, г) = f(x)p(т), т = tg{x),

где /(х), д(х) — прозвольные функции. Тогда

Б^и = ¡(х)д т(х)Б'Тр(г).

Подавляющее большинство случаев из табл. 2 соответствует именно такой замене переменных.

Другим типом замены переменных, также позволяющим сохранить тип оператора дробного дифференцирования при симметрийной редукции, является

и(x, г) = f(x)p(т), т = 1 + * ,

который соответствует проективной группе точечных преобразований. В этом случае

Бу = !(х)(1 + тд(х))1-тВТр(т).

Этому типу замены переменных соответствуют случаи 111.1.3, 111.1.6 и 111.3.3 табл. 2, в которых одномерные подалгебры включают проективный оператор

2 д д х = *- + (а -1»^

Из табл. 2 вытекает следующее

Утверждение 1. Симметрийная редукция нелинейного дробно-дифференциального уравнения аномальной диффузии (1), соответствующая оптимальным системам одномерных подалгебр алгебр Ли инфинитезимальных операторов группы точечных преобразований этого уравнения, представленных в табл. 1, приводит к уравнению одного из следующих видов:

рр" + т(р')2 + ¿р2 + вр(Г(1 ~а/(Т] )р2-" = 0, а / [0,а]; (3)

1(1 — а — а/т)

Ватр = Ат 2(рар')' + Втрар' + Сра+1 + бр1; (4)

л , 2а .

БТр = г4(р ^р')' + (2 +а)

2 г — £ а

2 ^ ' ,

т р1-а р +

+ (1 — а)(2 + а)

2 £ £2 5

Т--Т + -—-г +

а а2(2 + а) (1 — а)(2 + а) Здесь а е (0,1) и (1, 2); р = р(г); 8 = 0, ±1; е = 0, 1.

1 + а р 1-а .

4. Решения редуцированных уравнений

В результате проведенной симметрийной редукции, задача построения инвариантных решений уравнения (1) свелась к задаче нахождения решений обыкновенных дифференциальных уравнений (3)-(5).

Уравнение (3) интегрируется в квадратурах:

Г Ар У ^(р,С\)

Т±С2

где

С1р-2^ + — ^р2, (т = —1) и (5 = 0), т = —2;

2 + ( 1 + (

Ф(р,с1)=\ С\р2 + ар3 — 25р21п(р), - = —1,5 = 0;

С1р4 + ар41п(р) + $р2, - = —2.

Здесь а = 2Г(1 — а/т)/Г(1 — а — а/т), С1 и С2 — постоянные интегрирования.

Общие решения нелинейных обыкновенных дробно-дифференциальных уравнений (4) и (5) в настоящее время неизвестны. Могут быть построены лишь общие решения линейного (т = 0) уравнения вида (4), а также некоторые инвариантные решения нелинейных уравнений (4) и (5).

В соответствии с табл. 2, при т = 0 выделяются следующие линейные частные случаи уравнения (4):

БТр = 0; (7)

= Хр + Л е М, 5 = ±1; (8)

а2Б> = 4тУ + 2(2аР + а + 2) тр' + а2/3(р + 1)р, р е М. (9)

Общие решения уравнений (7) и (8) хорошо известны [1] и имеют, соответственно, вид

п п

р(т) = ^ Сктт-к, р(т) = ^ Скгт-кЕа,т+1-к(Лтт) + 5гтЕа,т+1(Лгт), к=1 к=1

где Ск — произвольные постоянные, п = [а] + 1 и Ер>^(г) = ^^о г(рП+^) (г е С) — функция типа Миттаг-Леффлера.

Общее решение уравнения (9) может быть представлено через функцию Райта

ф(р, щ; Z) = ЕГ= 0 пщп+Г) ^ е С):

р(г) = г-^ [С1Ф (—а/2,1 — ар/2; т-?) + С2Ф (—а/2, 1 — ар/2; — г-?)] ,

где С1 и С2 — произвольные постоянные. В частном случае Р = 0, это решение впервые было построено в работе [11].

Инвариантные решения нелинейных уравнений (4) и (5) могут быть построены методами группового анализа. В соответствии с табл. 2, выделяются два основных частных вида нелинейного (т = 0) уравнения (4): А = В = С = 0,5 = 0 иА = 0, 5 = 0. В первом случае (4) принимает вид

Б.т>р = 6р1, 6 = 0, 7 = 0, 1. (10)

Это уравнение является частным случаем уравнения вида БТ+1р = /(т, р, БТр), групповая классификация которого в классе линейно-автономных симметрий вида

д

х = е(г)^ + [по(т) + щ(т)р\ ^

дана в работе [16]. Из результатов этой классификации следует следующее

Утверждение 2. Нелинейное уравнение (10) для а Е (0,1) и (1, 2) и 7 € К, 7 = 0, 1, допускает однопараметрическую группу растяжений с оператором

/-< \ д д

Х1 = (1 - 7)т+ а

'11)

В частном случае 7 = (1 + а)/(1 — а) группа расширяется проективным точечным преобразованием с оператором

Хо

д

Тд^ + (а —

'12)

Оператору Х1 из (11) соответствует инвариантное решение уравнения (10):

р(т) = атр

Г(1 + ^)

Г(1 +7 и)

а

1—

:13)

Это решение существует при 7 Е [1,1 + а] (и > —1) и дополнительных условиях

7 =

1

а € (1, 2);

=

1 + п

п = [а], а € (1, 2) и (1, 2),

1 — а 1 + п — а

соответствующих необращению коэффициента а в бесконечность и нуль, соответственно.

При 7 = (1 + а)/(1 — а) с помощью оператора Х2 (12) из решения (13) получается однопараметрическое семейство решений

р(т) = а[т(1 — Ът)]"2 , а =

8 па 2 — сое —Г п 2

(^)

1-" 2а

где Ь — произвольная постоянная. Это решение при а Е (0,1) является общим решением соответствующего уравнения.

Теперь рассмотрим уравнение (4) при 8 = 0 и А = 0. Его групповая классификация проведена в работе [22]. Справедливо

Утверждение 3. Нелинейное (а = 0) уравнение (4) при 8 = 0 и А = 0 допускает, однопараметрическую группу точечных преобразований растяжения с оператором

д

Х1 = —ат——+ ар^—

д

др

'14)

В частном случае а = —2, В = 2аА, С = а(1 — а)А проективным точечным преобразованием с оператором Х2 из (12) группа расширяется до двухпараметрической.

Оператор (14) порождает инвариантное решение уравнения (4):

ф)

ат °.

_о!__Г(1 — а/а)

а(а + а + аа)А — ааВ + а2С Г (1 — а — а/а)

'15)

Это решение существует при а Е [0, а], а = а/(1 — а) при а Е (0,1) и (1, 2) иа = а/(2 — а) при а Е (1, 2), а также выполнении очевидных дополнительных условий

а = а В — (1 + а)А ± V[(1 + а)А — В]2 — 4АС , С = 0; 2 С

а =

аА

В — (1 + а) А

С = 0, В = (1 + а)А.

В частном случае а = —2, В = 2аА, С = а(1 — а)А оператору Х2 (12) соответствует инвариантное решение уравнения (4) р(т) = ата-1 с произвольной постоянной а. Также

а

а

при А > 0 с помощью этого оператора из решения (15) строится однопараметрическое (с произвольной постоянной Ь) семейство решений уравнения (4):

. . — / . а

р(т) = ат2 (1 — bт)2

-1

г

(2 — а)пА

2в1п(^ а/2)Г2 (а/2)' Наконец, рассмотрим уравнение (5). Справедливо

Утверждение 4. Уравнение (5) для любых е и 5 допускает однопараметрическую группу линейно-автономных симметрий с оператором Х2 из (12). При £ = 0 и 5 = 0 группа расширяется до двухпараметрической преобразованием растяжения с оператором

д д Х1 = 2ат— + (а — 1)(а + 2)р—

др

1, 5 = —1 и

"— 1

ат" 1 с произволь-

В результате при е = 5 = 0 и любом а е (0,1) и (1, 2), а также при е а = (л/Ъ — 1)/2, уравнение (5) имеет инвариантное решение р(т) ной постоянной а, соответствующее оператору Х2. В случае е = 0 и 5 = 0, с помощью операторов х1 и х2, строится еще одно однопараметрическое семейство инвариантных решений

р(т) = ати (1 — Ьт)

a—1—v

Г( U + 2 — а)

Щ

у

а + 2

(а — 1)(а + 2) 20

где Ь — произвольная постоянная.

Вопрос о нахождении общих решений нелинейных обыкновенных дробно-дифференциальных уравнений (4) и (5) остается открытым.

Построенные решения редуцированных уравнений позволяют восстановить соответствующие точные решения исходного уравнения аномальной диффузии (1).

а

СПИСОК ЛИТЕРАТУРЫ

1. СамкоС.Г., КилбасА.А., МаричевО.И. Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. 688 с.

2. KilbasA. A., SrivastavaH. M., TrujilloJ.J. Theory and applications of fractional differential equations. Elsevier, Amsterdam, 2006. 539 p.

3. MetzlerR., KlafterJ. The random walk's guide to anomalous diffusion: A fractional dynamic approach. // Phys. Rep. 2000. Vol. 339. P. 1-77.

4. Zaslavsky G. M. Chaos, fractional kinetics, and anomalous transport. // Phys. Rep. 2002. V. 371. P. 461-580.

5. Учайкин В. В. Автомодельная аномальная диффузия и устойчивые законы // УФН. 2003. Т. 173, № 8. С. 847-876.

6. Псху А. В. Уравнения в частных производных дробного порядка. М.: Наука, 2005. 199 с.

7. Mainardi F., Pagnini G. The Wright functions as solutions of the time-fractional diffusion equation. //App. Math. Comp. 2003. Vol. 141, №. 1. P. 51-62.

8. Mainardi F. The fundamental solutions for the fractional diffusion-wave equation. // Appl. Math. Lett. 2007. Vol. 9, №. 6. P. 23-28.

9. Овсянников Л. В. Групповой анализ дифференциальных уравнений. М.: Наука, 1978. 339 с.

10. Ibragimov N.H. (ed.) CRC Handbook of Lie Group Analysis of Differential Equations. — CRC Press, Boca Raton. V. 1. 1994. 430 p.

11. BuckwarE, LuchkoYu. Invariance of a partial differential equation of fractional order under the Lie group of scaling transformations. //J. Math. Anal. Appl. 1998. Vol. 227. P. 81-97.

12. Gorenflo R., Luchko Yu., Mainardi F. Wright functions as scale-invariant solutions of the diffusion-wave equation. // J. Comp. Appl. Math. 2000. Vol. 118, №. 1. P. 175-191.

13. Газизов Р. К., Касаткин А. А., Лукащук С. Ю. Непрерывные группы преобразований дифференциальных уравнений дробного порядка // Вестник УГАТУ. 2007. Т. 9, № 3 (21). C. 125-135.

14. GazizovR. K., Kasatkin A. A., LukashchukS. Yu. Symmetry properties of fractional diffusion equations. // Physica Scripta. 2009. T 136. 014016.

15. Газизов Р. К., Касаткин А. А., Лукащук С.Ю. Уравнения с производными дробного порядка: замены переменных и нелокальные симметрии // Уфимский мат. журнал. 2012. Т. 4, № 4. С. 54-68.

16. GazizovR. K., Kasatkin A. A., LukashchukS. Yu. Linearly autonomous symmetries of the ordinary fractional differential equations // Proc. of 2014 International Conference on Fractional Differentiation and Its Applications, ICFDA 2014. — IEEE. 2014. P.1-6.

17. Lukashchuk S. Yu. Conservation laws for time-fractional subdiffusion and diffusion-wave equations // Nonlinear Dyn. 2015. Vol. 80. P. 791-802.

18. Лукащук С.Ю. О построении законов сохранения для интегро-дифференциальных уравнений дробного порядка // ТМФ. 2015. Т. 184, № 2. С. 179-199.

19. Дородницын В. А. Об инвариантных решениях уравнения нелинейной теплопроводности с источником // ЖВММФ. 1982. Т. 22, № 6. С. 1393-1400.

20. Lukashchuk S.Yu., Makunin A.V. Group classification of nonlinear time-fractional diffusion equation with a source term // Appl. Math. Comp. 2015. Vol. 257. P. 335-343.

21. Patera J., Winternitz P. Subalgebras of real three- and four-dimensional Lie algebras //J. Math. Phys. 1977. Vol. 18, №. 7. P. 1449-1455.

22. Белевцов Н. С., Лукащук С. Ю. Групповая классификация одного обыкновенного дифференциального уравнения дробного порядка // Мавлютовские чтения: Материалы IX Всероссийской молодежной научной конференции (28-30 октября 2015 г.). Уфа: УГАТУ, 2015. Т. 3. C. 170175.

Станислав Юрьевич Лукащук,

Уфимский государственный авиационный технический университет, ул. Карла Маркса, 12, 450000, г. Уфа, Россия E-mail: lsu@mail.rb.ru