CC BY
12
ISSN: 2310-7081 (online), 1991-8615 (print) d https://doi.org/10
УДК 517.95 + 517.584
Асимптотические оценки разностей произведений функций Бесселя на интеграл от этих функций
К. Б. Сабитов
1 Стерлитамакский филиал Башкирского государственного университета, факультет математики и информационных технологий, Россия, 453103, Стерлитамак, проспект Ленина, 37.
2 Институт стратегических исследований Республики Башкортостан, Стерлитамакский филиал, Россия, 453103, ул. Одесская, 68.
Аннотация
При исследовании прямых и обратных задач по отысканию правой части вырождающихся уравнений смешанного типа с различными граничными условиями возникает задача об установлении асимптотических оценок для разностей произведений цилиндрических функций на интеграл от этих функций. Предварительно на основании установленной новой формулы нахождения конечной биномиальной суммы вычислены разности произведений цилиндрических функций на определенный интеграл от этих функций через обобщенную гипергеометрическую функцию. С использованием асимптотической формулы при больших значениях аргумента для обобщенной гипергеометрической функции установлены асимптотические оценки при больших значениях параметра для указанных разностей функций Бесселя первого и второго рода, а также для модифицированных функций Бесселя.
Ключевые слова: функции Бесселя, модифицированные функции Бесселя, интегралы от функций Бесселя, конечная биномиальная сумма, обобщенная гипергеометрическая функция, асимптотические оценки.
Получение: 3 апреля 2019 г. / Исправление: 16 августа 2019 г. / Принятие: 16 сентября 2019 г. / Публикация онлайн: 21 ноября 2019 г.
.14498/vsgtu1685
Научная статья
3 ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования
Сабитов К. Б. Асимптотические оценки разностей произведений функций Бесселя на интеграл от этих функций // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2020. Т. 24, № 1. С. 41-55. doi: 10.14498/vsgtu1685. Сведения об авторе
Камиль Басирович Сабитов А https://orcid.org/0000-0001-9516-2704 доктор физико-математических наук, профессор; заведующий кафедрой, каф. математического анализа1; зав. лабораторией, лаб. прикладной математики и информатики1; e-mail: sabitov_fmf@mail.ru
Введение. При исследовании обратных задач по отысканию правой части вырождающихся уравнений смешанного типа [1-10] возникает задача об установлении асимптотических оценок для следующих разностей:
ГУ ГУ
N^l)(y) = VV^(Pyq) VI-v(psq)ds -V-Vl-u(pyq) VIv(psq)ds, (1) J 0 Jo
NU2)(y) = VyJu(Pyq)["VKu(psq) ds - VyKu(pyq)["Vlu(psq) ds, у > 0; (2) 00 ГУ
Si1)(y) = V- Ju (p(-y f) V—J-v (p(-s)q)ds -
Jo
ГУ
-V=yJ-u(p(-y)q) V—Ju(p(s)q) ds, (3) 0
ГУ
SU2)(y) = V- Ju (p(-y )q) V—Yu (p(-s )q)ds-
0
ГУ
-V=iiYu(p(-y)q) V—Ju(p(-s)q)ds, у < 0, (4) 0
при p ^ где v = 1/(2q) = 1/(m + 2), m > 0 — показатель степени вырождения уравнения, J±u(■) и Yu(■) — функции Бесселя соответственно первого и второго рода, I±u( ■) и Ku(■) — модифицированные функции Бесселя, p = const > 0.
Предварительно заметим, что
VP± u (py 9) = p-1/[2q)(py q)1/(2q)I±u (py 9) = p-uXuI±u (x),
V~SI± u (p Sq ) = p-ut uI± u (t),
где x = p\y\q, t = p\s\q,
ГУ 1 rx
V~sl±u(psq) ds = -3- t3u-1I±u(t) ds. Jo Qp3 u Jo
Тогда разность (1) принимает вид
xu
N(1)(y) = TXM^tx). (5)
Здесь
Cx fx
N(,1)(x) = Iu(x) t*I-u(t)dt - I-u(x) t^Iu(t)dt, v = 3v - 1. (6) Jo Jo
Аналогично (5) разности (2)-(4) представим в следующем виде:
xu
N(2)(y) = ^N(2)(x), (7)
p
fX fX
N(2)(x)= Iu(x) t*Ku(t)dt -Ku(x) t*Iu(t)dt, (8)
o o
®4v) = - ¿7 Si1)(x), (9)
ЧУ
fx fx
S(1)(x) = J7(x) t^J-7(t)dt J—7(x) t^Jv(t) dt, (10)
J 0 J 0
s72](y) = - -^42)(х), (11)
i'X i'X
s72)(x) = J7(x) П(t)dt -J7(x) П(t)dt, x ^ 0. (12) 7 0 0
Отметим, что разность (10) представляет собой функцию Ломмеля [11], [12, §10.7], [13, §7.5.5].
В данной работе, с использованием разложения функций 1±у(х) и ,]±у(х) в степенной ряд, аналогично работам [14, 15], найдены разности (6) и (10) на основании установленной нами новой формулы для вычисления конечной суммы (см. лемму ниже), затем на их основе найдены (8) и (12). Отсюда в силу представлений (5), (7), (9) и (11) получены окончательные результаты по разностям (1)—(4) и установлены асимптотические оценки при р ^
1. Вычисление разностей (1)—(4). Используя разложения функций 1±у(Ь) в степенной ряд, предварительно найдем
I v =/V е^Ц
(t/2)2к*7 dt_ _ 1) =
х2 к+ц^7+1
о к—'0KiL(^v + к + 1)
Y1 22кт7к! T(^V + к + 1)(2к + a T v + 1) к=0
и вычислим произведение рядов
¡■X
1± 7 (х) t1 1Т 7 (t)dt = 0
~ (х/2)2 к± 7 ^ х^1 (х/2)2т*7
V- (*/ 2)_ у^
Z^ к!Г(-1-1 / + к + 1)
к! Г(±v + к + 1) Г(^v + к + 1)(2т + a T и + 1)
к—0 т=0 v ' v '
,„.,01. к \ъП„ „Л I .. ,1 ^..1-1
= х^+1
х)2к^ [2(к -n)+a + 1 TV]'
П2) £
2) ^ п!(к -п)!Г(±и + n + 1)r(Tf + к -n + 1)' к—0 ^—0
где Г( ■) —гамма-функция Эйлера. Теперь составим их разность:
^(х) = х^1 jrt(|)2к (М1к - Щк). (13)
к—0 2
Здесь
к 1 М1к= ^П1(к-ПЩ17ТпПТ1Щ-7Тк-ПТ1)^-2П^ТаТ1-^), (14)
43
=
к 1 у_1_
^ п!(к - п)!Г— + п + 1)Т(и + к — п + 1)(2к - 2п + а + 1 + и)
(15)
В силу формулы для биномиальных коэффициентов
Г(* + 1)
(!)
Г(! + 1)Г( г -! + 1) \! конечные суммы (14) и (15) представим в виде
1
Ы1к -ТПаТ,
1
(к! )2 ' 2(к — п) + а + 1 — и\п)\п + и
п=0
к к
Мгк =
Е
(к! )2 2(к — п) + а + 1 + и\п)\п — V)'
п=0
к к
На основании равенства
(О=С
преобразуем конечные суммы (16) и (17):
(16) (17)
тк =
Е
( к!)2 П==0 2(к — п) + а + 1 — v\к — п)\к — п — V
к к \к — п) \к — п — V;
£
(к!)2 ^ 21 +а + 1 -v\lJ\l-v/
(Ж
Тогда
Здесь
Щк =
£
( к!)2 2 + а + 1 + +
0( 1 + *)'
Щ1к — Щ2к =
( к!)
Мк.
(18)
Мк = £
=0
1
(Л)
1
21 + а + 1 -v\l-v) 21 + а +1 + V + V
С + V)] (О'
(19)
Далее выведем формулу для вычисления суммы (19). Предварительно вычислим Мо, М\, М2 и М3, затем определим общий вид этой формулы и методом индукции докажем ее справедливость. При к = 0 имеем
М0 =
2
1
Г( V )Г(1 — V) (а + 1)2 — V2'
1
1
1
1
1
1
1
1
1
Если к = 1, то получим М1 = 2
Г(и) Г(1 - и) [(/ + 1)2 - ^2] [(/ + 1 + 2)2 - и2] • Когда к = 2, вычисления дают следующий результат: 2 ■ 4 16
М2 =
ВД Г(1 - и) [(/ + 1)2 - ^2] [(/ + 1 + 2)2 - и2] [(/ + 1 + 4)2 - и2] •
Приведенные выше вычисления для к = 0,1, 2 не дают возможности написать общий вид формулы, поэтому дополнительно найдем
Мз =
2-36 64
ВД Г(1 - и) [(/ + 1)2 - и2] [(/ + 1 + 2)2 - и2]
1
V _
[(/ + 1 + 4)2 - и2] [(/ + 1 + 6)2 - и2] 2 ■ (3!)2 22'3
Г( г/) Г(1 - ^) [(/ + 1)2 - р2] [(/ + 1 + 2)2 - и2]
1
(20)
[(/ + 1 + 2 ■ 2)2 - и2] [(/ + 1 + 2 ■ 3)2 - и2] Из равенства (20) уже нетрудно записать общий вид формулы для нахожде
ния
М = 2(к!)2__2^_
к Г(и)Г(1 -и) [(/ + 1)2 - и2][(/ + 3)2 -и2] ■■■ [(/ + 1 + 2к)2 -и2] - ( )
Предварительно, используя символ Похгаммера
. % , -.ч , -.ч Г(а + п)
( а)п = а(а + 1) ■■■ (а + п - 1) = )—,
преобразуем выражение, входящее в правую часть формулы (21):
(/ + 1 ± и)(/ + 1 + 2 ± и) ■■■ (/ + 1 + 2к ±и ) =
= / + 1 ± г/ ^ / + 1 ±у + ^ _ ^ / + 1 ± V +к^2к+1 =
_ ^ / + 1 ± г/ ^ 0к+1 _
Г
(/Ц^- + к + 1)2к+1
2 к
2 Ук+1 г^Л + 1
Тогда формула (21) принимает вид
М Г (^) Г (^) (22)
к 2Т(и)Т(1 - тУ) (/ + 1 + и \ (/ + 1 -V У ()
( ) ( ) +1У\—г~+к+1)
4
х
Пусть формула (22) верна при произвольном к. Докажем ее справедливость при к + 1. Для этого на основании (19) найдем Мк+1 и, используя равенство
(а + 1\
\Ь + 1
+
(л О ■
разобьем эту величину на четыре суммы:
Мк+1 = к+1
= £
=0
к+1
+ £
=0
к+1
+ £
=0
1
^-к - 1)
1
21 + а + 1 I — V - 1) 21 + а + l + v\l + v - 1
С
к
к)
—1
+
1
С—;)
1
21 + а + 1 l-vJ 21 + а +1 + V \ l + v;
{1 + V)] {1 — 1)
+
1
С — V — 1
1
21 + а + 1 -v\l-v — 1) 21 + а +1 + V у + V - 1
с
к
+
к+1
+ £
=0
1
—к
1
21 + а + 1 -v\l-vJ 21 +а + l + v\l + v/
= Р1 +Р2 + Р3 + Ра. (23)
В силу известных равенств
(-ь ■ (к к о
0,
Р. = £
=0
1
(Л)
1
к
21 +а + 2 + 1 -v\l-vJ 21 +а + 2 + 1 + v\l + V; = Мк (здесь а надо заменить на а + 2) = Мк
^■=11+2
, (24)
Р = £
=0
1
1
к
21 + а + 1 - v\l-vJ 21 + а +1 + V V l + v
о
= Мк, (25)
к+1
Р2 = £
=1
к
= £
=0
1
21 + а + 1 I - V
С — О
1
1
к
у+ 1 -V)
21 + а +1 + V \ l + v/ 1
( 1+^ (I-1)
21 +а + 3 -V у + 1 - V) 21 +а + 3 + v\l + 1 + v
Р3
£
=0
1
к
— — 1
1
к
21 +а + 1 -v\l-v-1) 21 +а + l + v\l + v -1,
к
(26) (27)
Предварительно на основании (26) и (27) найдем сумму
Р2 +Р3 = ^
I=0
1
21 + / + 2 + 1 - и У + 1 -V
к
У + 1 -V)
1
21 + / + 2 +и - 1 У + V - 1
к
+Е
=0
1
к
-1-
1
21 + / + 2 - 1 -и\ I - 1 - V) 21 + / + 2 + 1 + ^ \ 1 + 1 +и
к
= -Мк
= 1-у +Мк
+
у=1+у'
(28)
Тогда, подставляя (24), (25) и (28) в (23), с учетом формулы (22) получим
Мк+1 = Мк
2
( к!)2
+ Мк - Мк
у=1—у
+ Мк
у=1+у
2Г(и)Г(1 - и)
Г
+ 3 + и"^Г^ л + 3-и ^
|.г(и + 1 + и + к + 1)т(л + 3-и
И ^+к+1)
+
г
+
2
+ 1 - ^
г
и \ /и + 1 - и
- + к + 1)тг
г
^и+3-V^и+1+и^
Г
+ 3 - V
+ к + 1)Г(
М Ч^ + к + !)
и + 1 -
Г^)Г{ 2
Г{^ + к + 1)Г{ ^ + к + 1
( к!)2
2Г(и)Г(1 - и)
&1к - &2к
(29)
Используя формулу Г(а + 1) = аГ(а), найдем суммы Б1к и Б2к:
Г
$1к =
+ 1 - ^
и-+к + м ^^+к + л
г
2
(и + 1)2 -и2 + (и + 1 + 2к + 2)2 - и2
2
2
2
2
х
х
Г(Г{'-Ц^) [(а +1)2 - V2 + + 1)(а + к + 2)
/а + 3 + v \ /а + 3 — V \
(30)
4^)Г([(а +1)2 - V2 + 2(к + 1)(а +1)
$2к =
/а + з + v \ /а + з — V \
2Г{ + ^Г{ -+Г~+к + 1)
Теперь, подставляя (30) и (31) в (29), находим
(31)
)Г( ^ )
((к + 1)!)2 Ч—2—А—2
/а + l + v \ /а + 1 — V \
+ 2)Г{ +к + 2)
Мк+
1 2Г(V)Г(1 - V) ' (а + 1 + V 1 ; 1 + 1 -V
Таким образом, нами доказано следующее утверждение.
Лемма. Справедлива следующая формула вычисления конечной суммы:
V [ 1 ( к V 1 ( к (к\ =
£¿121 +а + 1 -v\l-vJ 21 + а + l + v\l + v)\ \1)
21 +а + 1 -v\l-vJ 21 + а +1 + V \1 + V
/ а + 1 + г/ ч / а + 1 - г/ ч
(V.)2 Ч^НЧ^Н (32)
2Г^)Г(1 - V) (а + l + v л/- + 1 -V \
( )( ) Г{а+^ + к + 1)г{-+Т~ + к + 1)
Тогда с учетом установленной формулы (32) и соотношений (18), (13) имеем
'а + 1 + v ч /а + 1 — vч
г( а + 1 + ^ Г( а + 1 -1У)
N (1)(х) =_Ь_2_¿Л_2_¿х
Щ (х)= 2ВДГ(1 - V)
Х2\ к
X
± &
(а + l + v \ (а + 1 — V \
к=0 Ча~2-+ к + 0Ча~2-+ к + 1)
х2ч к
к [(а + 1)2 - v2]f=о / а +3 + ^ / а + 3-v
(а + з + v\ ^ + 3 -v\
I 2 М 2 Л
2вт ^к ■ х1+^ / а + 3 + v а + 3 — V х2
( а + з + 1^ а + з-1У х*\ , .
^Ч1;—2—,—2—, (33)
к [(а + 1)2 - V2] 1 2\ ' 2 2 '4
где 1Р2( ■) —обобщенная гипергеометрическая функция [13, §10.10(1У)]. Тем самым первая задача о вычислении разности (6) выполнена.
Теперь рассмотрим разность (10). Аналогично вычислению разности (6) с использованием разложения функций З±у(г) в обобщенный степенной ряд получим
гу! /■ -1 \ к О £>
^у1)(х)=х^+1 ^(-1)к{X) (*1к -Н2к)=х»+1 Е УКX) Мк. (34) к=0 2 к=0 ( к!) 2
Подставляя (32) в (34), получим
-п т
х2\к
7
[(и + 1)2 - и2]к=0 ( и + 3 + У\ ( и + 3-У
2
к=0 х1+^2 8Ш га
7
[(и + 1)2 2]
1;
к 2 к и + 3 + и + 3 -
2
2
2
т)- (35)
Таким образом, полученный нами ряд (35) совпадает с рядом, найденным Ломмелем, как частное решение неоднородного уравнения Бесселя
х2и''(х) + хи'(х) + (х2 - V2)и(х) = х
= х^+1
с помощью обобщенного степенного ряда.
Далее вычислим разности (8) и (12). На основании формул
Ку(г) = имеем
7 1 —-[I—у (г) - 1у (г)], Уу (г) = --\Зу (г) совиж - З—у (г)
2 в1П га в1П га
Nу2)(х) = —
7
2 в1п га
гх гх
1у (х) ^ 1-у (г)м -1-у (х) #>1у (г)м 00
7
2 8Ш га
му1) (х) =
(1+и)2 - р2
1
и + 3 + и + 3 - х
2
2
; т) ■ (36)
2
1 х х
Яу2)(х) =--Зу (х) ^З- у (ь)(И-З- у (х) ^Зу (г)м
вт га Jo .
в1п га
Яу )(х) =
2х1+^
7 [(1+и)2 - V2]
1;
и + 3 + и и + 3 - и х2 ~2 , 2 ; - ~4
; -т)- (37)
Следовательно, установлено утверждение. Теорема 1. Справедливы следующие формулы:
гх гх
1у (х) р 1-у (г)м -1-у (х) (г) а =
00
1
к
2х1+^ s\nvк [(1 + а)2 - V2]
^ 1;
а + з + V а + з — V х
2
24
х \ ; :
гх гх
и(х) (г)м -Ку(х) Пу(г)си =
00
(1 + а)2 - V2
1+^ л а + з + v а + з -V х
1Г2\ 1' '
2
2
х2 \
; Т)
х х
Зу (х) ^З-у (г) а -3-у (х) ^Зу (г) а = 00
2х1+** '
вш vк / а + з + v а + з — V х2\ к[(1 + а)2 - V2] ^Ч1 2 , 2 ; -:
гх гх
Зу (х) ^Уу (Ь)сМ -Уу (х) РЗу (£)& = 00
2х1+»
к [(1 + а)2 - V2]
1;
а + з + V а + з — V х2
2
2
4
где а ±v > —1.
Теперь на основании (33), (35)—(37) с использованием представлений (5), (7), (9) и (11) найдем первоначальные разности (1)-(4):
2 ■ 2 ту) = У^ик! ^ы + ъ, 1 + V; ^/у),
к(2)(у) = ъ 1Н1; 1 + 2V, l + v; ^у1/у),
з(Лу) = - 1^ 1; ^, ^ - Р-(-у ^ ,
Зу2)(у) = -£^2(1; 1 + 2V, 1 + V; -^(-у)1/у),
(38)
(39)
(40)
(41)
здесь V = 1/(2д).
2. Асимптотические оценки. Поскольку нам неизвестно асимптотическое разложение для функции 1Р2(а; Ь, с; ±г) при г ^ то, воспользуемся ее интегральным представлением [16, форм. (28.96)]:
Ма-Ьс- -г)= 2Г(Ь)Г(С) ^ '1 ^2(а; D, С; г) = г(а)г(с — а) ^
[ Зь-1(2гг2а-ь(1 - г2)с-а-1а, (42 0
а также вытекающей из (42) формулой
а; Ь, с; г) =
2Г(Ь)Г(с) 1=ъ Г1
■г 2 '
Г(а)Г(с - а)
[ 1ь-1(2Ъ^) I 2а-ь(1 - í 2) 0
,2\с-а-1
с '
Здесь а > 0, с- а > 0. На их основе найдем интегральные представления для функций (38)-(41):
„(2)2у[^ц.ру 1) (1-г2Г1л,у> о, (43) к(2)(у) = иГ(2и)у(РУ" С Ьу(1ру^) 11—2у(1 - I2)у—1(И, у > 0, (44) У(2Ш-у)а)е—»(1-ет—\и. у < 0,(45)
яу2)ш = "Г(2»)у(-)2у Г З2уы-у)&) 1,—2у(1 - ?)у—1 Л, у < 0. (46)
0
В силу формулы асимптотического разложения интеграла, содержащего функцию Бесселя (см. [17, форм. (10.87)], а также [18]), при Ь = 1, к(1 ) = (1 + 1)3—1
имеем
/1 з^) е—1(1 - г2)3—1а = 0
2а—1 г—а ^ (-1)к (2чк. ж а + к-ич /а + к + ич
Е^кгЫ ВШ2(а-и-к)Ак V 2 Л—2—)
+
2 1 1 + -гг—3— (а,р,и)сав\г- -(и + / -к + г—к, г^ +ж, (47)
ж 2 2
к=0
где
п ( о , Л Г(Р + к - з) Г(1/2 + и + 3) д Ик(а,/, и) = —Л—^— /0 , ,,—^Л],к—](а)2 ,
=0
(к - ])! j! Т(1/2 + и - з)
( к
Лк (а) = э—3/2(1 + ЪУ—1
(к г
Ак (/3) = -¡: (Ь - г)13—1(1 + Ъ)13—1
=1
=1
=0
Из формулы (47) при г ^ найдем оценку интегралов:
0
1 2а+@—2 ж
За(гЬ)Г~ 1(1-У—1(И =-в1п -(а-
ж 2
(а-и)Г(а а-и )г( а+и )«-+
23— 2 + Г(/3) сов
ж
г- -{и + / + 1)]г—13— 1 + 0(г— 1}), (48)
а-1(1- 12У—1(И = -(а-и)г~^аГ(^)г(^)г—а+
+
23— IГ(/3)г1 , *(++1
1) + е*е т &+3+1)] г—'3— 1 +0(ех г—?—3) =
2'в-3 Г(/3)
ехр
2
2
? (а + Р + ^ - (а + Р + 1) Ь г
^^ ' 2 +
+ 0{ехх-'-3). (49)
Тогда в силу оценок (49) и (48) из (43)-(46) при р ^ получим
д^т, ч 23у-2 vГ(v)Г(2v)sm vк К1](У) =-_ ^- ехр
курк
1\ / % к
^Хт - 1пг
х у!-р-3у-2еру
1/(2*)
+ 0
РУ
™ у-3у-2
), (50)
х
Щу2)(у) =
2 2 vГ(v)Г(2v)
ехр
х У2-
3"+2
477р-3у- 2 еРу
к
--1п г
2
1/(2*)
+ 0
ру1/(2*) —3у —3 Л
еРУ у 3 у 2},
(51)
х
^(у) = к-2 22+уv2 Г(2v)Г(-2v) sinvк sin2vк (-у)2-1р~2--к-3 23у+2vГ(V)Г^)smvк сов р(-у)Ь - к (зv + 1
х (—у)2 4^р
1
-3 у-1
+ 0 р
- шт{3, 3 у+
2} ^ =
1
= —к-^гас32 23у+! vГ(v)Г(2v) вт vк сов \р(-у) ^ - к {3v + ^
х (-у)2-р-3 у-2 +0(р-2
(52)
X
42)(У) = к-1 21+у V2 Г^Щ^) вт 2vк (-у)2-!р-2-
- к-2 23у-1 vГ(v)Г(2v) сов р(-у) иЪ - к ^ + 1
- шт{3, 3 у+ 2 }^ = = -к-2 23у-2 V Г(V^^сов р(-у)^ - к ^ + 1
х (-У)
11 47/ 1 2 - р-3у- 2
+ 0
х (-У)2
р
3 у
2 +0{р-2). (53
Таким образом, нами доказана следующая основная
Теорема 2. Для разностей (1)-(4) при р ^ справедливы соответственно асимптотические оценки (50)-(53).
Конкурирующие интересы. Конкурирующих интересов не имею. Авторский вклад и ответственность. Я несу полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи мною одобрена.
Финансирование. Работа выполнена при финансовой поддержке РФФИ (проект № 17-41-020516).
х
1
Библиографический список
1. Сабитов К. Б., Рахманова Л. Х. Начально-граничная задача для вырождающегося уравнения смешанного параболо-гиперболического типа в прямоугольной области // Диффер. уравн., 2008. Т. 44, №9. С. 1175-1181.
2. Сабитова Ю. К. Нелокальные начально-граничные задачи для вырождающегося гиперболического уравнения// Изв. вузов. Матем., 2009. №12. С. 49-58.
3. Бурханова (Хаджи) И. А. Критерий единственности решения обратной задачи уравнения смешанного типа с оператором типа Чаплыгина / Дифференц. уравнения и смежные проблемы: Тр. междун. научн. конф.; в 2-х т. Т. 1. Уфа: БашГУ, 2013. С. 140-144.
4. Сабитов К. Б., Сидоров С. Н. Об одной нелокальной задаче для вырождающегося параболо-гиперболического уравнения// Диффер. уравн., 2014. Т. 50, №3. С. 356-365.
5. Сабитова Ю. К. Краевая задача с нелокальным интегральным условием для уравнений смешанного типа с вырождением на переходной линии // Матем. заметки, 2015. Т. 98, №3. С. 393-406. doi: 10.4213/mzm9135.
6. Сабитов К. Б., Сидоров С. Н. Обратная задача для вырождающегося параболо-гиперболического уравнения с нелокальным граничным условием // Изв. вузов. Ма-тем., 2015. №1. С. 46-59.
7. Мартемьянова Н. В. Необходимое и достаточное условие единственности решения нелокальной обратной задачи для уравнения типа Чаплыгина / Математическое моделирование процессов и систем: Материалы V Всерос. науч.-практ. конф., приуроченной к 110-летию со дня рождения академика А. Н. Тихонова (17-19 ноября 2016 г., г. Стер-литамак), Ч. III. Стерлитамак: Стерлитамакский филиал БашГУ, 2016. С. 19-23.
8. Сабитова Ю. К. Задача Дирихле для уравнения гиперболического типа со степенным вырождением в прямоугольной области // Диффер. уравн., 2018. Т. 54, №2. С. 228-238. doi:10.1134/S0374064118020097.
9. Сабитов К. Б., Сидоров С. Н. Начально-граничная задача для неоднородных вырождающихся уравнений смешанного параболо-гиперболического типа / Дифференциальные уравнения. Математическая физика / Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., Т. 137. Москва: ВИНИТИ РАН, 2017. С. 26-60.
10. Сидоров С. Н. Обратные задачи для уравнения смешанного параболо-гиперболического типа с вырождающейся параболической частью // Сиб. электрон. матем. изв., 2019. Т. 16. С. 144-157. doi: 10.33048/semi.2019.16.007.
11. Von Lommel E. Ueber eine mit den Bessel'schen Functionen verwandte Function// Math. Ann., 1S75. vol. 9, no. 3. pp. 425-444. doi: 10.1007/bf01443342.
12. Watson G. N. A treatise on the theory of Bessel functions. Cambridge: Cambridge Univ. Press, 1944. vi+804 pp.
13. Erdélyi A., Magnus W., Oberhettinger F., Tricomi F. G. Higher transcendental functions. vol. II / Bateman Manuscript Project. New York, Toronto, London: McGraw-Hill Book Co.. xvii+396 pp.
14. Сабитов К. Б. Вычисление определенных интегралов от произведения бесселевых функций// Вестн. МГУ, Сер. 15. Вычисл. матем. и киберн., 1992. №1. С. 24-29.
15. Сабитов К. Б. Построение в явном виде решений задач Дарбу для телеграфного уравнения и их применение при обращении интегральных уравнений. II // Диффер. уравн., 1992. Т. 28, №7. С. 1138-1145.
16. Риекстыньш Э. Я. Асимптотические разложения интегралов. Т. 3. Рига: Зинатне, 1981. 370 с.
17. Риекстыньш Э. Я. Асимптотические разложения интегралов. Т. 1. Рига: Зинатне, 1974. 392 с.
18. Тихонов А. Н. Об асимптотическом поведении интегралов, содержащих бесселевы функции // Докл. АН СССР, 1959. Т. 125, №5. С. 982-985.
Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki
[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2020, vol. 24, no. 1, pp. 41-55_
ISSN: 2310-7081 (online), 1991-8615 (print) d https://doi.org/10.14498/vsgtu1685
MSC: 33C20
Asymptotic estimates of the difference of products of Bessel functions by the integral of these functions
K. B. Sabitov
1 Sterlitamak branch of the Bashkir State University,
Faculty of Mathematics and Information Technology,
37, Lenina prospekt, Sterlitamak, 453103, Russian Federation.
2 Institute of Strategic Studies of Bashkortostan Republic, Sterlitamak Branch,
68, Odesskaya str., Sterlitamak, 453103, Russian Federation.
Abstract
In the study of direct and inverse problems of finding the right-hand side of degenerate equations of mixed type with different boundary conditions, the problem arises of establishing asymptotic estimates for the differences of the products of cylindrical functions by the integral of these functions. Previously, on the basis of the established new formula for finding the finite binomial sum, the differences between the products of cylindrical functions and a definite integral of these functions are calculated through a generalized hypergeometric function. Using the asymptotic formula for large values of the argument for the generalized hypergeometric function, asymptotic estimates are established for large values of the parameter for the indicated differences of the Bessel functions of the first and second kind, as well as for modified Bessel functions.
Keywords: Bessel functions, modified Bessel functions, integrals of Bessel functions, finite binomial sum, generalized hypergeometric function, asymptotic estimates.
Received: 3rd April, 2019 / Revised: 16th August, 2019 / Accepted: 16th September, 2019 / First online: 21st November, 2019
Competing interests. I declare that I have no competing interests.
Author's Responsibilities. I take full responsibility for submitting the final manuscript
in print. I approved the final version of the manuscript.
Funding. This work was supported by the Russian Foundation for Basic Research (project no. 17-41-020516).
Research Article
3 ©® 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:
Sabitov K. B. Asymptotic estimates of the difference of products of Bessel functions by the integral of these functions, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2020, vol. 24, no. 1, pp. 41-55. doi: 10.14498/vsgtu1685 (In Russian). Author's Details:
Kamil B. Sabitov & © https://orcid.org/0000-0001-9516-2704
Dr. Phys. & Math. Sci., Professor; Head of Mathematical Analysis Dept.1; Head of Applied Mathematics and Informatics Lab.2; e-mail: sabitov_fmf@mail.ru
References
1. Sabitov K. B., Rakhmanova L. Kh. Initial-boundary value problem for an equation of mixed parabolic-hyperbolic type in a rectangular domain, Differ. Equ., 2008, vol.44, no. 9, pp. 1218-1224. doi: 10.1134/S0012266108090036.
2. Sabitova Yu. K. Nonlocal initial-boundary-value problems for a degenerate hyperbolic equation, Russian Math. (Iz. VUZ), 2009, vol.53, no. 12, pp. 41-49. doi: 10.3103/ S1066369X09120068.
3. Burkhanova (Khadzhi) I. A. An uniqueness criterion for solving of the inverse problem of mixed-type equation with Chaplygin type operator, In: Differents. uravneniia i smezhnye problemy [Differential Equations and Related Problems], vol.1. Ufa, Bashkir State Univ., 2013, pp. 140-144 (In Russian).
4. Sabitov K. B., Sidorov S. N. On a nonlocal problem for a degenerating parabolic-hyperbolic equation, Differ. Equ., 2014, vol.50, no. 3, pp. 352-361. doi: 10.1134/S0012266114030094.
5. Sabitova Yu. K. Boundary-value problem with nonlocal integral condition for mixed-type equations with degeneracy on the transition line, Math. Notes, 2015, vol. 98, no. 3, pp. 454465. doi:10.1134/S0001434615090114.
6. Sabitov K. B., Sidorov S. N. Inverse problem for degenerate parabolic-hyperbolic equation with nonlocal boundary condition, Russian Math. (Iz. VUZ), 2015, vol. 59, no. 1, pp. 39-50. doi: 10.3103/S1066369X15010041.
7. Martem'yanova N. V. A necessary and sufficient condition for the uniqueness of a solution of nonlocal inverse problem for Chaplygin-type equation, In: Matematicheskoe modelirovanie protsessov i sistem [Mathematical modeling of processes and systems] (November 17-19, 2016, Sterlitamak), Part. III. Sterlitamak, Sterlitamak branch of Bashkir State Univ., 2016, pp. 19-23 (In Russian).
8. Sabitova Y. K. The Dirichlet problem for a hyperbolic-type equation with power degeneracy in a rectangular domain, Differ. Equ., 2018, vol. 54, no. 2, pp. 228-238. doi: 10.1134/ S001226611802009X.
9. Sabitov K. B., Sidorov S. N. Initial-boundary-value problem for inhomogeneous degenerate equations of mixed parabolic-hyperbolic type, J. Math. Sci. (N. Y.), 2019, vol. 236, no. 6, pp. 603-640. doi: 10.1007/s10958-018-4136-y.
10. Sidorov S. N. Inverse problems for a mixed parabolic-hyperbolic equation with a degenerate parabolic part, Sib. Elektron. Math. Reports, 2019, vol. 16, pp. 144-157 (In Russian). doi: 10.33048/semi.2019.16.007.
11. Von Lommel E. Ueber eine mit den Bessel'schen Functionen verwandte Function, Math. Ann., 1875, vol.9, no. 3, pp. 425-444. doi: 10.1007/bf01443342.
12. Watson G. N. A treatise on the theory of Bessel functions. Cambridge, Cambridge Univ. Press, 1944, vi+804 pp.
13. Erdélyi A., Magnus W., Oberhettinger F., Tricomi F. G. Higher transcendental functions, vol. II, Bateman Manuscript Project. New York, Toronto, London, McGraw-Hill Book Co., xvii+396 pp.
14. Sabitov K. B. Calculating definite integrals of products of Bessel functions, Mosc. Univ. Comput. Math. Cybern., 1992, vol.47, pp. 26-32.
15. Sabitov K. B. Construction in explicit form of solutions of the Darboux problems for the telegraph equation and their application in the inversion of integral equations. II, Differ. Equ., 1992, vol.28, no. 7, pp. 901-908.
16. Riekstms E. J. Asimptoticheskie razlozheniia integralov [Asymptotic Expansions of Integrals], vol.3. Riga, Zinatne, 1981, 370 pp. (In Russian)
17. Riekstms E. J. Asimptoticheskie razlozheniia integralov [Asymptotic Expansions of Integrals], vol. 1. Riga, Zinatne, 1974, 392 pp. (In Russian)
18. Tikhonov A. N. The asymptotic behaviour of integrals containing Bessel functions, Dokl. Akad. Nauk SSSR, 1959, vol. 125, no. 5, pp. 982-985 (In Russian).
