РЕШЕНИЕ УРАВНЕНИЯ ЭЙЛЕРА - ПУАССОНА - ДАРБУ ДРОБНОГО ПОРЯДКА Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2022, Том 24, Выпуск 2, С. 85-100

УДК 517.95

Б01 10.46698Д3110-3630-4771-£

РЕШЕНИЕ УРАВНЕНИЯ ЭЙЛЕРА - ПУАССОНА - ДАРБУ ДРОБНОГО ПОРЯДКА#

А. В. Дзарахохов1, Э. Л. Шишкина2'3

1 Горский государственный аграрный университет, Россия, 362040, Владикавказ, ул. Кирова, 37; 2 Воронежский государственный университет, Россия, 394018, Воронеж, Университетская пл., 1; 3 Белгородский государственный национальный исследовательский

Аннотация. Интерес к уравнениям дробного порядка, как обыкновенным, так и с частными производными, последние десятилетия неуклонно растет. Это связано с необходимостью моделирования процессов, в которых текущее состояние существенно зависит от предыдущих состояний процесса, т. е. так называемые системы с «остаточной» памятью. В работе рассматривается задача Коши для одномерного, однородного уравнения Эйлера — Пуассона — Дарбу с дифференциальным оператором дробного порядка по времени, который представляет собой левосторонний бесселев оператор дробного порядка. При этом, для пространственной переменной используется обычный дифференциальный оператор второго порядка. Показана связь между преобразованием Мейера и Лапласа, полученная с использованием преобразования Пуассона, которая представляет собой частный случай соотношения с преобразованием Обрешкова. Доказана теорема, которая определяет условия существования решения рассматриваемой задачи. При доказательстве теоремы существования решения использовалось преобразование Мейера. При этом решение задачи представляется в явном виде через обобщенную функцию Грина. Построенная для решения рассматриваемой задачи функция Грина определяется через обобщенную гипергеометрическую H-функцию Фокса.

Ключевые слова: дробные степени оператора Бесселя, дробное уравнение Эйлера — Пуассона — Дарбу, интегральное преобразование Мейера, H-функция. AMS Subject Classification: 26A33, 33E20, 34B27, 35C10.

Образец цитирования: Дзарахохов А. В., Шишкина Э. Л. Решение уравнения Эйлера — Пуассона — Дарбу дробного порядка // Владикавк. мат. журн.—2022.—Т. 24, вып. 2.—С. 85-100. DOI: 10.46698/t3110-3630-4771-f.

Классическое уравнение Эйлера — Пуассона — Дарбу (ЭПД) имеет вид

# Первый автор поддержан Министерством науки и высшего образования РФ, соглашение № 075-

университет (НИУ «БелГУ»), Россия, 308015, Белгород, ул. Победы, 85 E-mail: azambat79@mail.ru, ilina_dico@mail.ru

1. Введение

02-2022-890.

© 2022 Дзарахохов А. В., Шишкина Э. Л.

Уравнение (1) рассматривается как модель случайных полетов (см. [2-8]). Первый вклад в этой области был сделан С. Гольдштейном [2] (1951). Он рассмотрел простейшее случайное блуждание по вещественной прямой, при котором частица, помещенная в начало координат в момент времени 0, движется с двумя конечными скоростями ±А, изменяя свою текущую скорость в соответствии с простейшим пуассоновским процессом с постоянным параметром Он обнаружил, что распределение частиц положения х в течение £ является решением телеграфного уравнения вида

д2и ди 2 92и

Затем эта модель была подробно исследована М. Кацем в [3] и Э. Орсингером в [4, 5]. Естественные обобщения на случай пуассоновского процесса с функцией интенсивности А = А(£) € С 1(М) и на многомерный случай были исследованы в [6-9]. Модели случайных блужданий с дробными производными рассматривались в [10, 11].

В [12] было показано, что уравнение Эйлера — Пуассона — Дарбу вида

д2и 7 ди , 2 д2и , ^

и = и(х,г), а> о, ;>о, (2)

определяет вероятностный закон случайного блуждания на М. Явное распределение и(х, £) положения произвольно движущихся частиц получено путем решения исходных задач для уравнения Эйлера — Пуассона — Дарбу (2).

В работе [8] дробное диффузионно-волновое уравнение

д2и 7 ди\а >2 д2и ^

+ -— и = X т—т, и = и(х,г), х € М, г > 0, 0 < а < 1, (3)

д£2 £ д£ / дх2:

было получено как модель случайного блуждания. При а € (0,1/2) частица движется в среднем медленнее, чем при рассмотрении модели (2), которая соответствует а = 1. Для а € (1/2,1) частица в среднем движется быстрее.

В данной статье дробное уравнение Эйлера — Пуассона — Дарбу вида (3) с дополнительными условиями для 0 < а ^ 1/2 решено операционным методом.

2. Специальные функции

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

Модифицированные функции Бесселя (или гиперболические функции Бесселя) первого и второго рода (х) и Ки(х) определяются как (см. [13])

1 / х \ 2т+^

ш = г^игх) = £ (-) , (4)

^ т!Г(т + V + 1) \2J

т=О

2 sln(vп)

где V — нецелое. Для определения этих функций при целых значениях а используется предельный переход. Очевидно, что Ки(х) = К-и(х). При малых значениях аргумента 0 < \х\ <С у/и + 1 имеем асимптотическую формулу

^ , л Г — 1п ) -<&, и = 0,

где

$ = кт (— + —

п^те \ к

\ к=1 ,

1 1

X [х\

^Х

— постоянная Эйлера — Маскерони [14].

Асимптотическое поведение функции Бесселя Ки (г) на бесконечности можно описать следующей формулой:

К (г) =

2 ^ V V*

|г| — то.

При г/ = А получим

=

(7)

(8)

Ядром левосторонней дробной производной Бесселя на полуоси является гипергеометрическая функция Гаусса, которая внутри круга |г|<1 определяется как сумма гипергеометрического ряда (см. [14, с. 373, формула 15.3.1])

т? ( и \ Т?( и \ ^ (а)к(Ь)к гк 2^1 (а, 6; с; г) = Да, Ь, с;г) = 2_--

к=0

(с)к к!

(9)

а при |г| ^ 1 определяется аналитическим продолжением этого ряда. В (9) параметры а, Ь, с и переменная г могут быть комплексными и с = 0, -1, -2,... Множитель (а)к является символом Похгаммера (г)п = г(г + 1)... (г + п — 1), п = 1,2,..., (г)0 = 1.

Функция Миттаг — Леффлера Еа,в (г) является целой функцией порядка 1/а, определяемой при Ие а > 0 следующим рядом:

Еа,в (г) =

=0 Г(ап + в)'

г € С, а, в € С, Ие а> 0, Ие в> 0.

(10)

п=0

Пусть г, р, в € С. Функция р(р, в; г) определятся формулой (см. [15, с. 353, формула Е.36'] и [16, с. 209, формула (7.1.1)])

р(р,в; г) =

1

те

^ Г(рА:+ /?)¥"

(11)

Если р > —1, то ряд в (11) сходится абсолютно для всех г € С. При р = —1 этот ряд сходится абсолютно при |г| < 1. Если р = —1 и |г| = 1, то ряд в (11) сходится абсолютно при Ие в > —1. Кроме того, для р > —1, р(р, в; г) является целой функцией г. При действительных значениях аргумента г функция (11) рассматривалась в [17].

При р = 1 и в = V + 1 функция <^(а, в; ±г2/4) выражается через функции Бесселя ^(г) и (г) следующим образом:

¡р 1,1/ + 1; —

4

Л (г),

Р +1;

4

/V (г).

Для целых чисел т, п, р, д таких, что 0 ^ т ^ д, 0 ^ п ^ р, аг,bj € С и для аг,вj € М+ (г = 1, 2,... ,р; j = 1, 2,..., д), Н-функция Н^Т^г) определяется через интеграл типа Меллина — Барнса в виде [18]

Нт>п(у) _ ит>п

(аг ,аг)1>р,

(bj ,вj К«

(12)

те

— х

е

п

г

2

V

2

V

г

г

г

где

Пусть

п Г(Ь, + в,в) П Г(1 - аг - агз)

/ \ _ ■?=1__

Vй/ — р д

п Г(аг + МП Г(1 - Ь, - в,в)

г=п+1 ]=т+1

п р т д

а* = ^ аг - ^ аг + ^ - ^ ,

г=1 г=п+1 ,=1 ]=т+1 д р

А = Е в, -£ аг,

,=1 г=1

д р

V = ^ Ь, - ^ аг + ,=1 г=1

Р - Я

Тогда Н-функция Н^""(г) имеет смысл в случае А > 0, г = 0, ^ = — левая петля,

расположенная на горизонтальной полосе, начинающаяся в точке -то + ¿(1 и заканчивающаяся в точке -то + ¿(р2 с -то < ( < (2 < +то. Другие случаи существования Нтп(г) представлены в [18, с. 4, теорема 1.1].

Есть следующая связь между ((р, в; г) и Нр;4 (г) [17, с. 60, формула 2]:

((р,в; г) = Н0'2

г

(0,1), (1 - в,р)

В [18, с. 33] приведена следующая формула дифференцирования Н-функции:

ш нт,п г нр,д

сг

(аг, аг)1,р

(Ь,)1,д

гш-кттт,п+1

г Нр+1,д+1

сг

(-ш,а), (аг,аг)1,р (Ь,,вз)1,д, (к - ш,(7)

(13)

(14)

3. Интегральные преобразования, оператор Пуассона и дробный интеграл Римана — Лиувилля

В этом разделе приведем интегральные преобразования Лапласа и Мейера и выпишем формулу из связи посредством оператора преобразования Пуассона. Также приведем теорему, в которой вычисляется дробный интеграл Римана — Лиувилля от ( (р, в; -г).

Для преобразования Лапласа функции ((р, в; кЬа) известна следующая формула (см. [19]):

£в-1((р,в; -к£а))(т) = т-ве

-в е-кг~

(15)

Чтобы использовать операционный метод для решения дифференциальных уравнений с дробной степенью оператора Бесселя необходимо найти удобное интегральное преобразование. В нашем случае — это интегральное преобразование с модифицированной функцией Бесселя (5) в ядре.

Для функции / : М+ ^ С интегральное преобразование, с функцией Бесселя Ки, V ^ 0, в ядре есть преобразование Мейера, определяемое формулой (см. [20, с. 93])

со

КЛМ) = I у/^£к„(х£)/(х) йх.

Условие V ^ 0 не является ограничивающим, так как Ки = К-и.

к

Для наших целей удобно использовать следующую модификацию преобразования Мейера:

оо

лад (О = j xJ^K1_L{xOf{x)dx. (17)

0

Принимая во внимание (8) и тот факт, что Kv = K-v, при y = 0 и 7 = 2 получим

_ оо _

«КО = =

0

_ оо _

lfm = xe-~x4{x)dx = У!]j?[xf(x)№,

0

где L [f (ж)](£) — преобразование Лапласа.

Пусть / € Ь11ос(М+) и f(t) = о (tß~ 2) при t ->■ +0, где ß > \ - 2, если 7 > 1 и ß > -1,

если y = 1. Кроме того, пусть f (t) = 0(eat) при t ^ Тогда преобразование Мейера функции f существует почти всюду для Re£ > a (см. [20, с. 94]). Класс таких функций обозначим K7.

Если 0 < y < 2, F(£) аналитична в полуплоскости Ha = {p € C : Rep ^ a}, a ^ 0 и si_1F({) —> 0, |£| —> +00 равномерно по args, то для любого числа с такого, что с > а, существует обратное преобразование Ж-1, которое имеет вид (см. [20, с. 94])

^-\J\{x) = f{x) = - [ (18)

' 7П J 2

c—io

Формула обращения (18) не удобна для вычислений и имеет условие 0 < y < 2. Здесь представим другую формулу обращения, использующую оператор преобразования Пуассона.

Чтобы упростить процесс восстановления функции по ее преобразованию Мейера, будем использовать оператор Пуассона вида

¡пт = {#7тт = 2-Ш f (^-t^-'mdt, с(7) = г ^ 2,7{. (19)

лу±Л

Левый обратный к (19) при 7 > 0 для любой функции Н(ж) € Сп определяется как

х

=Ш"!w-'r-*-1^ (2о)

где п = + 1.

Оператор преобразования Пуассона является разновидностью оператора дробного интегрирования Эрдейи — Кобера, а его обращение является разновидностью дробной производной Эрдейи — Кобера [21].

x

Используя представление функции Ки из [13, с. 190, формула (4)] вида

оо

X

и оператор Пуассона (19), можем записать

х^К^хО = ^ [ - х2)?"1 йг

_1 с

.2

и получить следующее представление преобразования Мейера:

-1

ЩЖ) = (^-^г/С*)) (О-

9 Г ( 1

7Г{ 2

г

Наконец,

7Г{"

7_1

2

^[/1(0 = ^ / +л (О, (21)

где ^ — преобразование Лапласа.

Представление (21) — это частный случай более общего представления преобразования Обрешкова с оператором Пуассона — Димовски. Операторы Пуассона — Димов-ски и Сонина — Димовски обобщают оператор Пуассона в смысле дробного интегро-дифференцирования по Киряковой (см. [15, часть 3]).

Для в > 0 дробный интеграл Римана — Лиувилля определяется следующим образом (см. [21]):

с

1

(^/)(аО = щ//(*)(*-я)'"1 ж > 0.

Далее нам понадобится формула дробного интеграла Римана — Лиувилля от гш((р, в; -га), которая следует из [18, с. 52, теорема 2.7].

Теорема 1. Пусть в> 0, ш € М, а > 0 и р< 1. Если ш + в < 0, тогда дробный интеграл I- функции гш((р, в; -г-) существует и

(/-рш((р, в; -Р-)) М = (Vршн!;0 [р- (0,1), (1 - в, р) ])

= н2;0

1,3

(0,1), (1 - в,р)

(-ш,а)

( ш - в, а), (0,1), (1 - в,р)

м

(22)

4. Дробные интегралы и производные Бесселя

Явное определение дробной степени оператора Бесселя (В7)4 = ^ + ^^ было представлено И. Г. Шпринкхёйзен-Купер в [22]. Это определение было получено в терминах гипергеометрических функций Гаусса с различными приложениями к УЧП. А. С. Мак-брайд в [23] рассмотрел дробные степени гипер-бесселева оператора, которые включают в себя рассматриваемые в этой статье операторы.

Пусть а > 0, 7 > 0. Левосторонний дробный интеграл Бесселя на полуоси В- 0+ для /€£[0, то) определяется формулой

(в-,а+ / )(х) = (/ва,о+ / )(х) 1 /VУV (х2( 7-^ у2\ (23)

Г(2а) У Vx7 V 2x J 2 ^ x2

о

Свойства (23) приведены в [24].

Пусть n = [а] + 1, f eL[0, то), IB7__f, IBn__feC2n(0, то). Определим левую дробную производную Бесселя на полуоси равенством

(BV f)(x) = (IB?_+В? f )(x), (24)

где Б™ = (jj^s + — интегрированный оператор Бесселя.

В [23] были введены пространства, адаптированные для работы с операторами вида

В£о+, а e R:

Fp = jp € С°°(0, то) : xk^ € Lp(0, то), А: = 0,1, 2,... | , 1 < р < то, Fco = € С°°(0, то) : xk^ О, ж ->■ +, ж —^ то, к = 0,1, 2,...

и

FP,ß = : x"M^(x) e Fp} , 1 ^ p ^ то, ß e C. Приведем теорему, которая является частным случаем теоремы из [23]. Теорема 2. Пусть а € R. Для всех р, /ли 7 > 0 таких, что /лф^—2 т, /х—2т+1,

m = 1, 2,..., оператор В"о+ является непрерывным линейным отображением из Fp,ß в Fpß—2a ■ Если, кроме того, 2а ф ¡л — ^ + 2т 07 - 2а ф ^ — ¡л — 2m + 1, т = 1, 2 ..., то В"0+ — гомеоморфизм из Fp, ß на FP;jU_2q, с обратным оператором Д_о+-

Несмотря на то, что операторы (23)—(24) изучались, не существовало удобного инструмента для решения дифференциальных уравнений с дробными степенями оператора Бесселя. Впервые такой инструмент, представляющий собой преобразование (17), был предложен в статье [25]. Вот некоторые результаты из [25], которые будут использованы в дальнейшем. Далее, применяя преобразование Мейера, предполагаем, что функции, к которым оно применяется, из класса K7.

Теорема 3. Пусть а > 0. Преобразование Мейера (17) оператора Д_0+ имеет вид

K [(/В°0+ f )(x)](£) = Г2аК/(£). (25)

Теорема 4. Пусть п € N, ^ [B™~kf(x)] ограничено, преобразование Мейера опера-

я/

тора Вп/ существует и при 7 = 1 определяется формулой

= 2 (26) Если ^ [В™~к/(х)] ~ х13, ¡3 > 0 при х ->• 0+, то (26) верно и при 7 = 1.

Класс С™ — С™ (М) состоит из всех функций из Ст(М) таких, что

всех неотрицательных целых к ^ ^^ (см. [1, с. 21]). Для 7 — 0, / € С^П получим

_ оо _

ж=0

— 0 для

^ж2п

/ (ж)

2п-1

(е) — е2п% [/ке) - Е ек / (2п-к-1)(о+)

к=0

— е2п% [/](е) - /(2п-1) (о+) - в/(2п-2)(о+) - 82/(2п-з)(о+)

- ¿з/(2п-4)(о+) - 84/(2п-5)(о+) - 85/(2п-б)(о+)-----е2п-2/ '(о+) - е2п-1/(о+).

Поскольку / € С2п, получим /'(о+) — /'"(о+) — ••• — /(2п-5)(о+) — /(2п-3)(о+) /(2п-1)(о+) — о, тогда

(¿2га ^ж2п

/ (ж)

(е) — е2п% [/](е) - /(2п-2)(о+)

- ¿з / (2п-4)(о+) - ¿5/(2п-б)(о+)-----е2п-1/(о+)

п

— е2п%[/](е) - Е82к-1/(2п-2к)(о+) — {т — п - к}

к=1

п- 1

е2п% [/](е) - Е 52(п--)-1/(2т)(о+).

т=0

Следовательно,

с!2п ^ж2п

/ (ж)

п- 1

(е) — е2п% [/](е) - Е «2(п--)-1/(2т)(о+).

т=0

С другой стороны,

\ т=0 /

? (^^^[/(^ке) - \Щ Е е2(га-тЬ2^от/(о+))

п- 1

е2п % [/(ж)](е) - Е е2(п-т)-1 / (2т)(о+).

т=0

Это подтверждает, что преобразование Мейера обобщает преобразование Лапласа.

Теорема 5. Пусть п = [а] + 1 для дробных а и п = а для а € М, к € М, ^[-^/(ж)] ограничено. Тогда преобразование Мейера Ва0+/ существует при 7 — 1 и имеет вид

^¡Ко+ш)=е2аж7[/ке) - (|)2 г (11р) Е е{а-т)~2в™цо+). (27)

т=0

Если ~ ж^ /3 > 0 при ж —)• 0+, то (27) справедливо и для 7 = 1.

и

Теперь, когда у нас есть инструмент для решения дифференциальных уравнений с дробным оператором Бесселя, переходим к решению дробного уравнения Эйлера — Пуассона — Дарбу.

5. Дробное уравнение Эйлера — Пуассона — Дарбу

А. Н. Герасимов [26] вывел для задачи вязкоупругости и решил уравнение в частных производных дробного порядка вида

д2в и д2и

-т-^-т = О—, и = и(х, ж € М, г > 0, 0 < ¡3. (28)

д£2в дж2

Рассмотрим сначала простейший одномерный случай, когда и — и(ж,£), ж € М, £ ^ о,

д2и 1 = А2 Л > 0, (29)

с условиями Коши

и(ж, о) — / (ж). (30)

Теорема 6. Пусть 0<а^|,Л>0, тогда решение задачи (29)-(30) имеет вид

оо

и(ж,£) — у с (ж - е, £)/(е) ¿е, (31)

где

лг

Л - V 2 ) .-ан2,0 М+_

(1- ,(0,1), (а-7>-а)

при условии, что интеграл в правой части (31) сходится.

< Применяя преобразование Мейера (16) по £ и учитывая условия Коши (30), получим

т2а((К7)4и(ж,£))(т) - т2а—1—7/(ж) — Л2((К7)4илх(ж,£))(т).

Теперь, применяя преобразование Фурье по ж к обеим частям последнего равенства, будем иметь

т 2а((к7 и(ж,£))(т, е) - т2а-1-^/(е) — -е2л2((к7 )^и(ж,£))(т,е)

и

т 2а-1—7 ^

((ж7)^(ж,^)(г,е) = т2а + л2 2/(о-

По формуле 6.2.13 из [18, с. 363] получим

т2а-1-7 та-7-1 ^ т2а + Д2£2 = 2Л

и в соответствии со свойством свертки

т2а—1—7 ^ та—7—1 , |х| \ —

((ж7)^ф^))(т,е) = т2а 2 2/(о = (де--^) (о/со

"УЛ'^У — т2а + д2£2

Та-7-1 / /

2Л

—о

Применяя обратное преобразование Фурье, получаем следующее соотношение:

Т ' / |Х| \

(рГ7ЫМ))(т) = (e-V^ /(ж)) .

Используя представление (21), получим

27Г2(^±1) (Ж-^ЪМ) (г) = f(x))

и

Г2 (^±1)

= ((jsf-V-T-^-^^) (t) /(ж)) .

Применяя обратное преобразование Лапласа и учитывая (15), можно записать

Г2 (2+1) / ы х

t^&qtuix, t) = -A—ZfT-a ^ 1 + 7 _ а; -Uj /(ж)

(-«, 1 + 7 - а; ** /и)

20Fi ( d

Г2 te)

Найдем

(-а, 1 + , - «= (4)"

где п = Щ + 1,

г

,Уа>1(х, Р,\) = 1 (-а, 1 + 7 - а; "у (¿2 " ¿Т^"1 ¿г.

о

Для интеграла 1а>1 (х,£; А) получим

г

Уа„(х, А) = I ^-а, 1 + 7 - а; -у.(¿2 - г2)""?"1^

о

г2

1 [ ( \х\ _оЛ 9 ч„_2_1 ,

= 2 У 2 У (-а, 1 + 7 - а; -уУ 2 ) (* - У) 2 ¿у.

о

2_

Здесь мы произвели замену переменной г2 = у. Теперь положим " у = тогДа

(x, А)

7+2 ^ оо / 2 \ га— '2—I

_ 1 " { , _ ,2 {\х\\а1

2\\ J J Р 2 р) dp

+2_-| оо / , , , ч 2 \ п~ ~2~ 1

1

-J i

те

[

J . 2.

/ ж \ а 1

1 л J t?

2 VA7/ V ' ' Л VA/i2

¿2п-7-2 /|ж|\ а -1 г ( , i\x\\~ 1 .

' 1 ' р2 V -а,1 +7 --Р2 Р - V то dp.

и

Обозначая IV = (■х)" 77, получаем дробный интеграл Римана — Лиувилля порядка

-у^ ^ оо

Уа>у(х, Л) = (Ш " /р%-п-V (-а, 1 + 7 " а; (р - ю)'^-1 ф

7ч £2п—'2 ( |ж|

7+2

—1

<* / п~г

Используя (22), будем иметь

7 а а а — 7

в = п — > 0, сг = — > 0, ш = --п-1, а; + 0 =—^—;— 1 с 0, р =-а < 1

7.-3

IV 2 Н1'3

■ш 2

(п + 1-§,§)

(1-2^,1), (0,1), (а-7>-а) ]

Следовательно,

*2п—а

7^-- - Н2.0

1,3

Лг

(0,1), («-7,-«)

Наконец,

{&1)-Чх-ач> (-а, 1 + 7 - а; -у

2у^

г (п±1) г („ - 2) V

1а,7(ж, Л)

\Z5ri

г

й

>2п—№ 2,0 £ Н1,3

лг

(п + 1-§,§,

(0,1), («-7,-«)

Теперь, используя формулу

£2п+в —

Г(п + 1 + §

Г(1 + |

и интеграл типа Меллина — Барнса (12), вычисляем производную в последнем представ-

лении

(-а, 1+7 - а; . Получае:

й чп

>2п—атт 2,0 £ Н1,3

А* й

п +1 - §,§;

(1-2^,1), (о,1), (а-7, -а) 1

2£й£

— Г

и

п

й

п

п

й

Поскольку

Г (1 - + §*) Г(в)

г С1 - § + §Г(п + 1-§ + §в)Г(1-а + 7 + ав)

Г(п + 1-|+ |д) _ г(1-^ + |Д)Г(Д) Г(1-§ + §в) Г (1 - § + 2в)Г(1-а + 7 + ав)!

будем иметь

>2п-№ 2,0 ^ Н1;3

А*

(0,1), («-7,-«)

ГаН

1;3

А

/1 _ а а \

V1 2' 2)

г№) /

А

_ а а ^

V1 2 ' 2/ (1- (0,1), (а-7,-а)

*х /(х) . О

В [27, с. 375, следствие 6.5] решение задачи Коши

,д 2 и

((ж, ¿) = А2ж€М, ¿>0, А > о, ■и(ж,0) = /(ж), 0 < а ^ ^

(32)

(33)

дано в виде

где

сс

и(х,г) = J Са(х - е,^)/(О

Са(ж, *) = (-<*, 1 - а;

2А А

(34)

При 7 = 0 вместо (29)—(30) получим (32)—(33) и решение (31) при 7 = 0 будет иметь вид

сс

и(м)= у са(х - е,^)/(е) ¿е,

где

Г

Ал/тг2

1;3

N ,-а

А

_ а

V1 2 > 2/

(1 -§,§), (0,1), (а, -а)

-атт 1,0 0;2

—( н.

N .-а

А

(0,1), (а, -а)

которое совпадает с (34). Здесь мы применили формулу 2.1.2 из [18, с. 31], формулу (13) и соотношение Г(1/2) = у/тт.

п

а

и

— с

-с

6. Заключение

Роль высших трансцендентных функций как в чистой математике, так и в многочисленных приложениях постоянно возрастает. Одним из ярких примеров такого рода является теория интегралов и производных нецелого порядка (дробное исчисление) и ее приложения. В рамках этой теории, и особенно для аналитических решений дробных ОДУ и УЧП, некоторые частные случаи высших трансцендентных функций стали чрезвычайно важными, включая функцию Миттаг-Леффлёра и ее обобщения, функцию Фокса — Райта и Н-функцию. В этой статье мы получили представление решения дробных дифференциальных уравнений с дробным оператором Бесселя через Н-функцию.

Литература

1. Киприянов И. А. Сингулярные эллиптические краевые задачи.— М.: Наука-Физматлит, 1997.— 204 с.

2. Goldstein S. On diffusion by discontinuous movements and thetelegraph equation // Quart. J. Mech. Appl. Math.—1951.—Vol. 4.—P. 129-156. DOI: 10.1093/qjmam/4.2.129.

3. Katz M. A stochastic model related to the telegrapher's equation // Rocky Mountain J. Math.— 1974.— Vol. 4.—P. 497-509. DOI: 10.1216/RMJ-1974-4-3-497.

4. Orsingher E. Hyperbolic equations arising in random models // Stochastic Process Appl.—1985.— № 21.—P. 93-106. DOI: 10.1016/0304-4149(85)90379-5.

5. Orsingher E. A planar random motion governed by the two-dimensional telegraph equation // J. Appl. Probab.—1986.—№ 23.—P. 385-397. DOI: 10.2307/3214181.

6. Orsingher E. Probability law, flow function, maximum distribution of wave-governed random motions, and their connections with Kirchhoff's laws // Stochastic Process Appl.—1990.—№ 34.—P. 49-66. DOI: 10.1016/0304-4149(90)90056-X.

7. De Gregorio A., Orsingher E. Random flights connecting porous medium and Euler-Poisson-Darboux equations // J. Math. Phys.—2020.—Vol. 61, № 4, 041505.—18 pp. DOI: 10.1063/1.5121502.

8. Garra R., Orsingher E. Random flights related to the Euler-Poisson-Darboux equation // Markov processes and related fields.—2016.—№ 22.—P. 87-110.

9. Iacus S. Statistical analysis of the inhomogeneous telegrapher's process // Statistics & Probability Letters.—2001.—№ 55.—P. 83-88. DOI: 10.1016/S0167-7152(01)00133-X.

10. Metzler R., Klafter J. The random walk's guide to anomalous diffusion: A fractional dynamics approach // Physics Reports.—2000.—№ 339.—P. 1-77. DOI: 10.1016/S0370-1573(00)00070-3.

11. GorenQo R. R., Vivoli A., Mainardi F. Discrete and continuous random walk models for space-time fractional diffusion // Nonlinear Dynamics.—2004.—Vol. 38.—P. 101-116. DOI: 10.1007/s10958-006-0006-0.

12. De Gregorio A., Orsingher E. Flying randomly in Rd with Dirichlet displacements // Stoch. Process. Appl.—2012.—Vol. 122.—№ 2.—P. 676-713. DOI: 10.1016/j.spa.2011.10.009.

13. Ватсон Г. Н. Теория бесселевых функций.—М.: ИЛ, 1949.—728 с.

14. Abramowitz M., Stegun I. A. Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables.—N. Y.: Dover Publ. Inc., 1972.—1060 p.

15. Kiryakova V. Generalized Fractional Calculus and Applications.—N. Y.: Longman Sci. Tech. & J. Wiley, 1994.—388 p.—(Pitman Research Notes in Mathematics. Vol. 301).

16. GorenQo R., Kilbas A. A., Mainardi F., Rogosin S. V. Mittag-Leffler Functions, Related Topics and Applications.—Berlin/Heidelberg: Springer, 2016.—443 p.

17. Luchko Yu. Algorithms for evaluation of the Wright function for the real arguments' values // Fract. Calc. Appl. Anal.—2008.—Vol. 11.—P. 57-75.

18. Kilbas A. A., Saigo M. H-Transforms. Theory and Applications.—Boca Raton: Chapman and Hall, 2004.—408 p. DOI: 10.1201/9780203487372.

19. Stankovic B. On the function of E. M. Wright // Publ. de l'Institut Mathematique, Nouvelle Ser.— 1970.—Vol. 10, № 24.—P. 113-124.

20. Glaeske H. J., Prudnikov A. P. and Skornik K. A. Operational Calculus and Related Topics.—N. Y.: Chapman and Hall/CRC, 2006.—424 p. DOI: 10.1201/9781420011494.

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

22. Sprinkhuizen-Kuyper I. G. A fractional integral operator corresponding to negative powers of a certain second-order differential operator // J. Math. Anal. Appl.—1979.—Vol. 72.—P. 674-702. DOI: 10.1016/0022-247x(79)90257-9.

23. McBride A. C. Fractional Calculus and Integral Transforms of Generalized Functions.—London: Pitman, 1979.—179 p.

24. Shishkina E. L. and Sitnik S. M. On fractional powers of Bessel operators // Journal of Inequalities and Special Functions, Special issue to honor Prof. Ivan Dimovski's contributions.—2017.—Vol. 8, № 1.— P. 49-67.

25. Shishkina E. L. and Sitnik S. M. A fractional equation with left-sided fractional Bessel derivatives of Gerasimov-Caputo type // Mathematics.—2019.—Vol. 7, № 12.—P. 1-21. DOI: 10.3390/math7121216.

26. Герасимов А. Н. Обобщение линейных законов деформации и их приложение к задачам внутреннего трения // АН СССР. Прикладная математика и механика.—1948.—Т. 12.—С. 529-539.

27. Kilbas A. A., Srivastava H. M., Trujillo J. J. Theory and Applications of Fractional Differential Equations.—Amsterdam: Elsevier, 2006.—523 p.

Статья поступила 10 декабря 2021 г.

дзарахохов азамат валерианович Горский государственный аграрный университет, старший преподаватель кафедры математики и физики РОССИЯ, 362040, Владикавказ, ул. Кирова, 37 E-mail: azambat79@mail.ru https://orcid.org/0000-0003-2231-4345

Шишкина Элина Леонидовна Воронежский государственный университет, профессор кафедры математического и прикладного анализа РОССИЯ, 394018, Воронеж, Университетская пл., 1;

Белгородский государственный национальный исследовательский университет (НИУ «БелГУ»), профессор кафедры прикладной математики и компьютерного моделирования РОССИЯ, 308015, Белгород, ул. Победы, 85 E-mail: ilina_dico@mail.ru https://orcid.org/0000-0003-4083-1207

Vladikavkaz Mathematical Journal 2022, Volume 24, Issue 2, P. 85-100

SOLUTION TO THE FRACTIONAL ORDER EULER-POISSON-DARBOUX EQUATION

Dzarakhohov, A. V.1 and Shishkina, E. L.2'3

1 Gorsky State Agrarian University, 37 Kirov St., Vladikavkaz 362040, Russia;

2 Voronezh State University, 1 Universitetskaya Pl., Voronezh 394018, Russia;

3 Belgorod State National Research University (BelGU), 85 Pobedy St., Belgorod 308015, Russia E-mail: azambat79@mail.ru, ilina_dico@mail.ru

Abstract. Interest in fractional order equations, both ordinary and partial, has been steadily growing in recent decades. This is due to the need to model processes in which the current state significantly depends on the previous states of the process, i.e. the so-called systems with "residual" memory. The paper considers the Cauchy problem for a one-dimensional, homogeneous Euler-Poisson-Darboux equation with a differential

operator of fractional order in time, which is a left-sided Bessel operator of fractional order. At the same time, the usual second-order differential operator is used for the spatial variable. The connection between the Meyer and Laplace transformation obtained using the Poisson transformation, which is a special case of the relation with the Obreshkov transformation, is shown. A theorem is proved that determines the conditions for the existence of a solution to the problem under consideration. When proving the theorem of the existence of a solution, the Meyer transform was used. In this case, the solution of the problem is presented explicitly through the generalized Green's function. The Green function constructed to solve the problem under consideration is defined by means of the generalized hypergeometric Fox H-function.

Key words: fractional powers of Bessel operator, fractional Euler-Poisson-Darboux equation, Meijer integral transform, H-function.

AMS Subject Classification: 26A33, 33E20, 34B27, 35C10.

For citation: Dzarakhohov, A. V. and Shishkina, E. L. Solution to the Fractional Order Euler-Poisson-Darboux Equation, Vladikavkaz Math. J., 2022, vol. 24, no. 2, pp. 85-100 (in Russian). DOI: 10.46698/t3110-3630-4771-f.

References

1. Kipriyanov, I. A. Singulyarnyye ellipticheskiye krayevyye zadachi [Singular Elliptic Boundary Value Problems], Moscow, Nauka, 1997, 204 p. (in Russian).

2. Goldstein, S. On Diffusion by Discontinuous Movements and Thetelegraph Equation, The Quarterly Journal of Mechanics and Applied Mathematics, 1951, vol. 4, pp. 129-156. DOI: 10.1093/qjmam/4.2.129.

3. Katz, M. A Stochastic Model Related to the Telegrapher's Equation, Rocky Mountain Journal of Mathematics, 1974, vol. 4, pp. 497-509. DOI: 10.1216/RMJ-1974-4-3-497.

4. Orsingher, E. Hyperbolic Equations Arising in Random Models, Stochastic Processes and their Applications, 1985, no. 21, pp. 93-106. DOI: 10.1016/0304-4149(85)90379-5.

5. Orsingher, E. E. A Planar Random Motion Governed by the Two-Dimensional Telegraph Equation, Stochastic Processes and their Applications, 1986, no. 23, pp. 385-397. DOI: 10.2307/3214181.

6. Orsingher, E. Probability Law, Flow Function, Maximum Distribution of Wave-Governed Random Motions, and their Connections with Kirchhoff's Laws, Stochastic Processes and their Applications, 1990, no. 34, pp. 49-66. DOI: 10.1016/0304-4149(90)90056-X.

7. De Gregorio, A. and Orsingher, E. Random Flights Connecting Porous Medium and Euler-Poisson-Darboux Equations, Journal of Mathematical Physics, 2020, vol. 61, no. 4, 041505, 18 pp. DOI: 10.1063/1.5121502.

8. Garra, R. and Orsingher, E. Random Flights Related to the Euler-Poisson-Darboux Equation, Markov Processes and Related Fields, 2016, no. 22, pp. 87-110.

9. Iacus, S. Statistical Analysis of the Inhomogeneous Telegrapher's Process, Statistics & Probability Letters, 2001, no. 55, pp. 83-88. DOI: 10.1016/S0167-7152(01)00133-X.

10. Metzler, R. and Klafter, J. The Random Walk's Guide to Anomalous Diffusion: A Fractional Dynamics Approach, Physics Reports, 2000, no. 339, pp. 1-77. DOI: 10.1016/S0370-1573(00)00070-3.

11. Gorenflo, R. R., Vivoli, A. and Mainardi, F. Discrete and Continuous Random Walk Models for SpaceTime Fractional Diffusion, Nonlinear Dynamics, 2004, vol. 38, pp. 101-116. DOI: 10.1007/s10958-006-0006-0.

12. De Gregorio, A. and Orsingher, E. Flying Randomly in Rd with Dirichlet Displacements, Stochastic Processes and their Applications, 2012, vol. 122, no. 2, pp. 676-713. DOI: 10.1016/j.spa.2011.10.009.

13. Watson, G. N. Teoriya besselevykh funktsiy [A Treatise on the Theory of Bessel Functions], Moscow, IL, 1949, 728 p. (in Russian).

14. Abramowitz, M. and Stegun, I. A. Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables, New York, Dover Publ. Inc., 1972, 1060 p.

15. Kiryakova, V. Generalized Fractional Calculus and Applications, New York, Pitman Res. Notes Math., Longman Scientific & Technical, Harlow, Co-publ. John Wiley, 301, 1994, 388 p.

16. Gorenflo, R., Kilbas, A. A., Mainardi, F. and Rogosin, S. V. Mittag-Leffler Functions, Related Topics and Applications Berlin/Heidelberg, Germany, Springer, 2016, 443 p.

17. Luchko, Yu. Algorithms for Evaluation of the Wright Function for the Real Arguments' Values, Fractional Calculus and Applied Analysis, 2008, vol. 11, pp. 57-75.

18. Kilbas, A. A. and Saigo, M. H-Transforms. Theory and Applications, Boca Raton, Florida, Chapman and Hall, 2004, 408 p. DOI: 10.1201/9780203487372.

19. Stankovic, B. On the Function of E. M. Wright, Publications de l'Institut Mathématique, Nouvelle Ser., 1970, vol. 10, no. 24, pp. 113-124.

20. Glaeske, H. J., Prudnikov, A. P. and Skornik, K. A. Operational Calculus and Related Topics, New York, Chapman and Hall/CRC, 2006, 424 p. DOI: 10.1201/9781420011494.

21. Samko, S. G., Kilbas, A. A. and Marichev, O. I. Integraly i proizvodnyye drobnogo poryadka i nekotoryye ikh prilozheniya [Integrals and Derivatives of Fractional Order and Some of their Applications], Minsk, Nauka i tekhnika, 1987, 688 c.

22. Sprinkhuizen-Kuyper, I. G. A Fractional Integral Operator Corresponding to Negative Powers of a Certain Second-Order Differential Operator, Journal of Mathematical Analysis and Applications, 1979, vol. 72, pp. 674-702. DOI: 10.1016/0022-247x(79)90257-9.

23. McBride, A. C. Fractional calculus and Integral Transforms of Generalized Functions, London, Pitman, 1979, 179 p.

24. Shishkina, E. L. and Sitnik, S. M. On Fractional Powers of Bessel Operators, Journal of Inequalities and Special Functions, Special Issue to Honor Prof. Ivan Dimovski's Contributions, 2017, vol. 8, no. 1, pp. 49-67.

25. Shishkina, E. L. and Sitnik, S. M. A Fractional Equation with Left-Sided Fractional Bessel Derivatives of Gerasimov-Caputo Type, Mathematics, 2019, vol. 7, no. 12, pp. 1-21. DOI: 10.3390/math7121216.

26. Gerasimov, A. N. A Generalization of Linear Laws of Deformation and its Applicationto Problems of Internal Friction, Akad. Nauk SSSR, Prikl. Mat. Mekh. T. 12. [Academy of Sciences of the USSR. Applied Mathematics and Mechanics Vol. 12], 1948, pp. 529-539 (in Russian).

27. Kilbas, A. A., Srivastava, H. M. and Trujillo, J. J. Theory and Applications of Fractional Differential Equations, Amsterdam, Elsevier, 2006, 523 p.

Received December 10, 2021

Azamat v. Dzarakhohov

Gorsky State Agrarian University,

37 Kirov St., Vladikavkaz 362040, Russia,

Senior Lecturer

E-mail: azambat79@mail.ru

https://orcid.org/0000-0003-2231-4345

Elina l. Shishkina Voronezh State University,

1 Universitetskaya Pl., Voronezh 394018, Russia, Professor;

Belgorod State National Research University (BelGU),

85 Pobedy St., Belgorod 308015, Russia,

Professor

E-mail: ilina_dico@mail.ru

https://orcid.org/0000-0003-4083-1207