CC BY
3
Вестник КРАУНЦ. Физ.-мат. науки. 2023. Т. 42. №1. C. 140-149. ISSN 2079-6641
МАТЕМАТИКА
" https://doi.org/10.26117/2079-6641-2023-42-1-140-149 Научная статья
Полный текст на русском языке УДК 517.58
К свойствам одной функции Фокса Ф. Г. Хуштова*
Институт прикладной математики и автоматизации КБНЦ РАН, 360000, г. Нальчик, ул. Шортанова, 89А
Аннотация. В работе рассматривается частный случай специальной функции Фокса с четырьмя параметрами, которая возникает в теории краевых задач для параболических уравнений с оператором Бесселя и дробной производной по времени. Целью исследования является получение некоторых рекуррентных соотношений, формул дифференцирования и интегрального преобразования рассматриваемой функции. При получении результатов работы в основном используется представление рассматриваемой функции через интеграл Меллина-Барнса. Также используются её асимптотические разложения при большом и малом значениях аргумента. С помощью указанного интегрального представления и некоторых известных формул для гамма-функции Эйлера, получены рекуррентные соотношения, связывающие функции с разными параметрами, а также функцию с её производной первого порядка. Получена формула дифференцирования п-го порядка. Исследуется несобственный интеграл первого рода, который содержит рассматриваемую функцию с двумя зависимыми параметрами из четырёх. Показывается, что этот несобственный интеграл может быть записан в терминах известной специальной функции Макдональда. При частных значениях параметров рассматриваемой в работе функции получаются некоторые известные элементарные и специальные функции. Результаты работы носят теоретический характер и будут полезны при исследовании краевых задач для вырождающихся параболических уравнений с производными дробного порядка по времени.
Ключевые слова: функция Фокса, интеграл Меллина-Барнса, гамма-функция Эйлера, функция Макдональда, гипергеометрическая функция.
Получение: 29.11.2022; Исправление: 16.03.2023; Принятие: 29.03.2023; Публикация онлайн: 15.04.2023
Для цитирования. Хуштова Ф. Г. К свойствам одной функции Фокса // Вестник КРАУНЦ. Физ.-мат. науки. 2023. Т. 42. № 1. C. 140-149. EDN: FXXPSA. https://doi.org/10.26117/2079-6641-2023-42-1-140-149. Финансирование. Исследование выполнялось без финансовой поддержки фондов. Конкурирующие интересы. Конфликтов интересов в отношении авторства и публикации нет. Авторский вклад и ответственность. Автор участвовал в написании статьи и полностью несет ответственность за предоставление окончательной версии статьи в печать.
* Корреспонденция: А E-mail: [email protected] ф
Контент публикуется на условиях Creative Commons Attribution 4.0 International License © Хуштова Ф. Г., 2023
© ИКИР ДВО РАН, 2023 (оригинал-макет, дизайн, составление)
Vestnik ^AUNC. Fiz.-Mat. nauki. 2023. vol. 42. no. 1. P. 140-149. ISSN 2079-6641
MATHEMATICS
" https://doi.org/10.26117/2079-6641-2023-42-1-140-149 Research Article Full text in Russian MSC 33С60
To the Properties of One Fox Function
F. G. Khushtova*
Institute of Applied Mathematics and Automation KBSC RAS, 89А Shortanova St., Nalchik, 360000, Russia
Abstract. The paper considers a particular case of a special Fox function with four parameters, which arises in the theory of boundary value problems for parabolic equations with a Bessel operator and a fractional time derivative. The research objective is to obtain some recurrence relations, formulas for differentiation and integral transformation of the function under consideration. The results are obtained through representation of the considered function in terms of the Mellin-Barnes integral. The function asymptotic expansions for large and small values of the argument are also used. Employing the integral representation and some well-known formulas for the Euler gamma function, recurrent relations are obtained connecting functions with different parameters, as well as a function with its first-order derivative. A formula for differentiation of the nth order is obtained. The paper studies an improper integral of the first kind that includes the considered function with two dependent of the four parameters. We show that the improper integral can be written out in terms of the well-known special Macdonald function. With special values of the parameters of the considered function we obtain some well-known elementary and special functions. The results of the study are theoretical and applicable in the study of boundary value problems for degenerate parabolic equations with fractional time derivatives.
Key words: Fox function, Mellin-Barnes integral, Euler gamma function, Macdonald function, hypergeometric function.
Received: 29.11.2022; Revised: 16.03.2023; Accepted: 29.03.2023; First online: 16.04.2023
For citation. Khushtova F. G. To the properties of one fox function. Vestnik KRAUNC. Fiz.-mat. nauki. 2023, 42: 1, 140-149. EDN: FXXPSA. https://doi.org/10.26117/2079-6641-2023-42-1-140-149. Funding. The study was carried out without financial support from foundations. Competing interests. There are no conflicts of interest regarding authorship and publication.
Contribution and Responsibility. The author participated in the writing of the article and is fully responsible for submitting the final version of the article to print.
* Correspondence: A E-mail: [email protected] ^
The content is published under the terms of the Creative Commons Attribution 4-0 International License © Khushtova F.G., 2023
© Institute of Cosmophysical Research and Radio Wave Propagation, 2023 (original layout, design, compilation)
Введение
Решения многих задач математической физики, техники и экономики выражаются через так называемые специальные функции. В теории специальных функций важное место занимают функции гипергеометрического типа. Многие из них могут быть записаны в терминах С-функции Мейера. Обобщением С-функции Мейера является Н-функция Фокса. Основные свойства этой функций, такие как представление через степенные ряды, асимптотические свойства при больших и малых значениях аргумента, некоторые интегральные преобразования, можно вывести из её представления через так зазываемый интеграл Меллина-Барнса. Однако, при выводе некоторых формул при частных значениях параметров, ввиду громоздкости её записи, удобнее пользоваться упрощенными обозначениями. В данной работе рассматривается частный случай такой функции Фокса, содержащей четыре параметра. Эта функция возникает при решении краевых задач для дифференциальных уравнений с оператором Бесселя, действующим по пространственной переменной, и производной дробного порядка по временной переменной [1], [2]
Вхи(х,у)- О^и^у) = 0,
где
-Ь 9 / ьЭи Вхи = х х° —
Эх \ Эх
- оператор Бесселя, |Ь| < 1, О^у - оператор дробного дифференцирования в смысле Римана-Лиувилля порядка а, который определяется следующим образом [3, с. 9]: О^уи = иу, если а = 1, и
1 д
Do>(x,y) = ПГ-О) äyj
если 0 < а < 1.
u(x,t)dt
(y -t)a '
Вспомогательные сведения.
Далее в работе Г (в) - гамма-функция Эйлера, К^(г) - функция Макдональда, для которых известны представления [4, с. 5], [5, с. 15], [6, с. 11], [7, с. 79]
Г (s) =
e-tts-1 dt, Re s > 0,
(1)
y+ioo
Kv(z) = — 4m
/z\ -2s
Г (v/2 + s) Г (-v/2 + s)(2) ds, y> |Re v|/2. (2)
у—ioo
Как известно, Г (в) аналитична в комплексной плоскости в всюду, кроме точек в = —п, п = 0,1,2,..., в которых имеет полюсы первого порядка с вычетами
(—1)п/п!. Соответственно, Г (-в) имеет в точках в = п, п = 0,1,2,..., вычеты, равные (—1)п+7п1.
Справедливы формулы [4, с. 10], [5, с. 17], [7, с. 27]
Г (в + п) = (в)пГ (в), (3)
г( , 1 , (—1)пГ (в +1)
Г (в +1 — п) =--—--, (4)
(—в)п
где п = 0,1,2,..., (в)п - символ Похгаммера, определяемый равенствами
(в)п = в(в + 1)(в + 2)...(в + п — 1), (в)о = 1.
Частный случай функции Фокса. Пусть 0 < р ^ 2, ц, а и г е С, Яв (а+г)/2 </ Z. Рассмотрим функцию от комплексного переменного г
•p^,ff(z) = и2'3
Z )2
1 - ff/2,1), (ц- pff/2,py (r/2,1), (1 - ff/2,1), (- r/2,1)
(5)
где Н2,3[...] - Н-функция Фокса [8]- [10].
Некоторые свойства функции (5), такие как представление через контурный интеграл, представление через степенные ряды, асимптотические свойства, формулы дифференцирования, рекуррентные соотношения, рассмотрены в работах [11], [12].
Для функции (5) имеет место представление через интеграл Меллина-Барнса
'rp-ff(z) = 2п
0(s)( 2) 2sds, (6)
где
_( ) = Г (r/2 + s) Г (1 - ff/2 + s) Г (ff/2-s) (7.
(s) Г (ц- pff/2 + ps) Г (1 + r/2 - s) ' ()
L = = (ш -гоо,ш + ioo), Ш1 < ш < Ш2, Ш1 = - min{Rer/2,1 - Re ff/2}, Ш2 = Re ff/2. Интеграл (6) абсолютно сходится, если:
Р < 2, |argz| <п(1 - p/2) /2, z = 0, p ^ 2, | ar g z| = n(1 - p/2) /2, (p-2) ш>р Re ff/2 - Re ц+1/2, z = 0. Справедливы асимптотические разложения
Jr№,ff(z) = ao (2)Г + bo (2)2-ff + o(z6), z^ 0, (8)
где 6 = min{Re r,2 - Re ff},
Г (1 -(r + ff)/2) Г ((r + ff)/2) Г ((r + ff)/2 -1)
ao = —FT-1—:—л wrf1 ,—r", bo =
и
где
Г (ц- p(r + ff)/2) Г (1 + r) ' 0 Г (ц- p) Г (2 + (r- ff)/2)'
JT^(z) = co (2)-ff + o(z-ff), z ^ 00, (9)
Co =
2
Г ((r + ff)/2)
Г (ц) Г (1 +(r- ff)/2) 143
2
Основные результаты.
В этой работе, используя интегральное представление (6), докажем следующие свойства функции (5).
Свойство 1. Имеет место формула
n-1
rp,
^(z) = (-1)n JTp,^+np,-+2n(z) + Y_ dk (|)
-a-2k
n = Ь^..^
k=0
(10)
где
dk =
(-1)кГ ((t + a)/2 + k) Г (ц + pk) Г (1 +(r - a)/2 - k).
Доказательство. Согласно (6) можем записать
где
-1)n JTP,H+nP,a+2n(z) =
(-1)n 2ni
01(s)(2) 2sds,
Li
01 (s) =
Г (r/2 + s) Г (1 - a/2 - n + s) Г (a/2 + n - s) Г (ц- pa/2 + ps) Г (1 + r/2 - s) :
L1 = (^ -ioo,^ + ioo), < Ш < ^4, = - min{Rer/2,1 - Re a/2 - n}, = Re a/2 + n.
Из формул (3) и (4) следуют равенства
(11)
(12)
Г (a/2 + n - s) = (a/2 - s)nF (a/2 - s), (-1)nr (1 - a/2 + s)
Г (1 - a/2 - n + s) =
(a/2 - s)T
В силу последних интеграл (11) преобразуется к виду
(-1 )n JP,H+np,a+2n(z) =
2ni
0(s)( 2
z
-2s
ds,
(13)
где ©(в) представляется в виде (7). Заметим, что контур интегрирования Ь|, определяемый из (12), оставляет слева полюсы в точках вк = ст/2 + к, к = 0,1, ...,п— 1. Вычеты функции ©(в) (г/2)—225 в этих точках равны
(-1)k+1r ((r + a)/2 + k) Г(ц + pk) Г(1 + (r- a)/2-k) V2
Вычитая их из функции (13), получим
( —1 )пЛр,ц+пр,а+2п(г) — £ ( —1 )к+1 Г ((Г + а)/2 + к)
-a-2k
k=0
Г (ц + pk) Г (1 + (r - a)/2 - k) V 2
z
-a-2k
= JтP,Ц,a(z),
что и доказывает равенство (10).
При n = 1 (10) принимает вид
у P,u+P,g+2fzl = Г ((т + а)/2) / z \—а r (Z) + J т (Z) Г (ц) Г (1 +(т - а)/2)1 2/
Свойство 2. Справедлива формула
1 —а
d dZ
zaj p^+V^)
ц J TP'H+1,a(z) — JтР'Ц'а (z)
Доказательство. Из представления (6) следует
rP>H+1,a(Z) = 1 т 2ni
z\ —2s @2(s) ( 2) ds,
(14)
(15)
где
02(s) =
Г (т/2 + s) Г (1 — а/2 + s) Г (а/2 — s) Г (ц +1 — ра/2 + ps) Г (1 + т/2 — s) '
Домножим (15) на га и продифференцируем полученное равенство по г. Результат дифференцирования умножим на г1—а. Получим
J—а
d dZ
z
а а Р,ц+1,а
(z)
1
2пг
z -2s
©2(s) (а — 2s) ( ds.
(16)
Преобразуем правую часть равенства (16), записав её в виде
J—а
d dZ
zJтр,ц+1,а (z)
2ц 1
р 2ть
z \ —2s @2(sH 2) ds—
2 1 p2ni ^
z \ -2s
®2(s) (ц — ра/2 + ps)( ds.
(17)
Из формулы (3) следует
Г (ц +1 — ра/2 + ps) = (ц — ра/2 + ps) Г (ц — ра/2 + ps).
Учитывая последнее, равенство (17) запишется в виде
z
1—а
d
dz
z
а а р,ц+1,а
(z)
2ц 1
р 2ть
z\ -2s 2 1
02(s)( 2) ds — pZirtj
z\ -2s
0(s)( ds, (18)
где 0(в) определяется из (7). Сравнивая правую часть (18) с представлением (6), приходим к (14).
Свойство 3. Имеет место формула дифференцирования
dn
dzn
где Л = const, n = 1,2,...
ц—ра/2—1 j p,ц,а(лz—р/2)
= zЦ—n—ра/2—1
.р,ц—n,а(лz—р/2),
(19)
т
т
Доказательство. Продифференцируем n раз по z равенство
z1
z
ц-ра/2-1
2ni
0(s)
az-p/^ -2s
2
ds.
Получим
dT
dzT
)n^-n-pa/2-1
2ni
Из формулы (4) следует
^_pa/2_1 Jip,H,ff(Az-P/2)
Az_P/2 \-2s
0(s)(1 - ц + pa/2 - ps)J a_] ds.
(1 - ц + pa/2 - psL =
Учитывая последнее, (20) примет вид
(-1 )ПГ (ц- pa/2 + ps) Г (ц-n- pa/2 + ps)
dz
z
Ц-pa/2-1 a p,^a
(Az-p/2)
z
ц-n-pa/2-1
2ni
03 (s)
Az-
p/2 \-2s
2
ds,
(20)
где
03(s) =
Г (r/2 + s) Г (1 - a/2 + s) Г (a/2 - s) Г (ц-n- pa/2 + ps) Г (1 + r/2 - s),
откуда следует (19).
Свойство 4. Пусть Re a > 0, Re (л > 0, Л = const. Тогда справедлива формула
1
Г (а)
(z- t)a-1^-pa/2-1 /rp^a(At-p/2) dt = z^a-pa/2-1 Jrp^+a,a(Az-p/2). (21)
Доказательство. Отметим, что сходимость интеграла в (21) следует из асимптотического разложения (9). Из представления (6) имеем
(z- t)a-1^-pa/2-1 Jrp^a(At-p/2) dt =
о
1
2ni
(z - t)a-1^-pa/2-1
0(s)
m-P/2^
2s
ds dt.
о
Меняя в (22) порядок интегрирования, получим
(22)
(z - t)a-1^-pa/2-1 Jrp,ц,a(At-p/2) dt =
о
1
2ni
0(sH A
2s
(z - t)a-1^-pa/2+ps-1 dt ds.
(23)
r
2
Внутренний интеграл равен [13, с. 238]
(z- t)«-1^-pff/2+ps-1 dt = ^+a-pff/2+ps-1 Г(а)Г (ц- pff/2 + ps) .
Г (ц + а - pff/2 + ps)
Подставляя найденное значение в (23) и учитывая (7), приходим к формуле (21). Частные случаи. Справедливы представления
zr
2
'Ur(z)= У r;^
4 / '
'r1№r(z) = (2(-f ) , Jr,2,4+r(z) = - (2)rexp (-f) ,
r1,1,2-r(z) = ( 2 )41+r( - y, Jr1A4-r(z)= ( 2 )
1,2,4-r (z) = ( ^r-2E1J - z-
4
J r1'1'ff(z) =(2И(ff+r)/2,1 + r;-f],
( 2 )' J r2+'(z) = и?;0
z
T
o, p
r,1),(0,1)
Здесь у (г;г) - неполная гамма-функция [5, с. 254], Ер,ц (г) - функция типа Миттаг-Леффелера [7, с. 101], Ф (а,с;г) - вырожденная гипергеометрическая функция [5, с. 237], [7, с. 73].
Приведённые частные случаи нетрудно получить придавая параметрам р, ц и а в (6) соответствующие значения и учитывая представления через интеграл Меллина-Барнса получающихся функций [5, с. 244], [7, с. 168, 136, 101, 74].
Заключение
r
Рассматривается частный случай специальной функции Фокса. Используя её интегральное представление, получены формулы, связывающие функции с разными параметрами, а также функцию с её производной первого порядка, формула дифференцирования n-го порядка. Исследуются два интеграла с рассматриваемой функцией. При частных значениях параметров получаются некоторые известные элементарные и специальные функции. Полученные результаты могут быть применены при исследовании краевых задач для некоторых дифференциальных уравнений с производными дробного порядка.
Список литературы
1. Хуштова Ф.Г. Первая краевая задача в полуполосе для уравнения параболического типа с оператором Бесселя и производной Римана-Лиувилля, Матем. заметки, 2016. Т. 99, №6, С. 921-928.
2. Хуштова Ф.Г. Вторая краевая задача в полуполосе для уравнения параболического типа с оператором Бесселя и частной производной Римана-Лиувилля, Матем. заметки, 2018. Т. 103, №3, С. 460-470.
3. Нахушев А.М. Дробное исчисление и его применение. М.: Физматлит, 2003.272 с.
4. Кузнецов Д.С. Специальные функции. М.: Высшая школа, 1962.248 с.
5. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции, Т. 1. М.: Наука, 1965.296 с.
6. Лебедев Н. Специальные функции и их приложения. М.: Физматлит, 1963.358 с.
7. Маричев О.И. Метод вычисления интегралов от специальных функций (теория и таблицы формул). Мн.: Наука и техника, 1978.312 с.
8. Прудников А. П., Брычков Ю. А., Маричев О.И. Интегралы и ряды. Дополнительные главы, Т.3. М.: Наука, 1986.800 с.
9. Kilbas A.A., Saigo M. H-Transform. Theory and Applications. Boca Raton, London, New York and Washington, D.C.: Chapman and Hall/CRC, 2004.389 с.
10. Mathai A.M., Saxena R.K., Haubold H.J. The H-function. Theory and Applications. Springer, 2010.270 с.
11. Хуштова Ф.Г. Формулы дифференцирования и формула автотрансформации для одного частного случая функции Фокса, Доклады Адыгской (Черкесской) Международной академии наук, 2020. Т. 20, №4, С. 15-18.
12. Хуштова Ф.Г. О некоторых свойствах одной специальной функции, Доклады Адыгской (Черкесской) Международной академии наук, 2020. Т. 22, №2, С. 34-40.
13. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. Элементарные функции, Т. 1. М.: Физматлит, 2002.632 с.
Информация об авторе
Хуштова Фатима ГидовнаА - кандидат физико-математических наук, научный сотрудник
отдела дробного исчисления, Институт прикладной математики и автоматизации РАН, г. Нальчик, Россия, https://orcid.org/0000-0003-4088-3621.
References
[1] Khustova F. G. First Boundary-Value Problem in the Half-Strip for a Parabolic-Type Equation with Bessel Operator and Riemann-Liouville Derivative, Matematicheskie Zametki, 2016, 99, 6, 921-928 (In Russian)
[2] Khustova F. G. The Second Boundary-Value Problem in a Half-Strip for a Parabolic-Type Equation with Bessel Operator and Riemann-Liouville Partial Derivative, Matematicheskie Zametki, 2018, 103, 3, 460-470.
[3] Nakhushev A.M. Drobnoye ischisleniye i yego primeneniye [Fractional calculus and its application], Moskva Fizmatlit. 2003, 272 (In Russian.)
[4] Kuznetsov D. S. Spetsial'nyye funktsii [Special Functions], Moskva, Vysshaya shkola, 1962, 248 (In Russian)
[5] Bateman G., Erdeyi A. Vysshiye transtsendentnyye funktsii [Higher transcendental functions], vol. I, Moskva, Nauka, 1965, 296(In Russian.)
[6] Lebedev N. Spetsial'nyye funktsii i ikh prilozheniya [Special functions and their applications], Moskva, Fizmatlit, 1963, 358(In Russian.)
[7] Marichev O.I. Metod vychisleniya integralov ot spetsial'nykh funktsiy (teoriya i tablitsy formul) [Method for calculating integrals of special functions (theory and tables of formulas)], Nauka i tekhnika, 1978, 312(In Russian.)
[8] Prudnikov A. P., Brychkov Yu. A., Marichev O. I. Integraly i ryady. Tom 3. Dopolnitel'nyye glavy [Integrals and series. vol. 3. Additional chapters], Moskva, Nauka, 1986, 800(In Russian.)
[9] Kilbas A. A., Saigo M. H-Transform. Theory and Applications, Boca Raton, London, New York and Washington, D.C., Chapman and Hall/CRC, 2004, 389.
[10] Mathai A.M., Saxena R. K., Haubold H.J. The H-function. Theory and Applications, Springer, 2010, 270.
[11] Khushtova F. G. Differentiation formulas and an autotransformation formula for one particular case of the Fox function, Doklady Adygskoy (Cherkesskoy) Mezhdunarodnoy akademii nauk, 2020, 20, 4, 15-18(In Russian.)
[12] Khushtova F. G. On some properties of one special function, Doklady Adygskoy (Cherkesskoy) Mezhdunarodnoy akademii nauk, 2020, 22, 2, 34-40(In Russian.)
[13] Prudnikov A. P., Brychkov Yu. A., Marichev O. I. Integraly i ryady. Tom. 1. Elementarnyye funktsii [Integrals and series. Vol. 1. Elementary functions], Moskva, Fizmatlit, 2002, 632(In Russian.)
Information about the author
Khushtova Fatima GidovnaA - PhD (Math. & Phys.), Professor, Researcher, Department of Fractional Calculus, Institute of Applied Mathematics and Automation RAS, Nalchik, Russia, https://orcid.org/0000-0003-4088-3621.
