CC BY
4
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2022. Т. 26, № 4. С. 672-693 ISSN: 2310-7081 (online), 1991-8615 (print) d https://doi.org/10.14498/vsgtu1962
EDN: DIOYZF
УДК 517.956
Начально-граничная задача
для гиперболического уравнения второго рода с тремя линиями вырождения
А. К. Уринов1'2, Д. А. Усмонов1
1 Ферганский государственный университет, Узбекистан, 150100, Фергана, ул. Мураббийлар, 19.
2 Институт математики имени В. И. Романовского АН Республики Узбекистан, Узбекистан, 100174, Ташкент, ул. Университетская, 46.
Аннотация
В прямоугольной области рассмотрено дифференциальное уравнение в частных производных гиперболического типа второго рода, вырождающееся на боковых сторонах и на основании прямоугольника. Для рассматриваемого уравнения сформулирована начально-граничная задача с нелокальными граничными условиями. Исследованы единственность, существование и устойчивость решения поставленной задачи. Единственность решения задачи доказана методом интегралов энергии. Существование решения задачи исследовано с применением метода Фурье, основанного на разделении переменных. При этом сначала исследована спектральная задача для обыкновенного дифференциального уравнения, возникающая из поставленной задачи при разделении переменных. Доказано, что спектральная задача может иметь только положительное собственное значение. Далее построена функция Грина спектральной задачи, с помощью чего она эквивалентно сведена к интегральному уравнению Фредгольма второго рода с симметричным ядром. Отсюда на основании теории интегральных уравнений заключено, что существует счетное число собственных значений и собственных функций спектральной задачи. Найдены условия, при которых заданная функция разлагается в равномерно сходящийся ряд Фурье по собственным функциям спектральной задачи. C использованием свойств функции Грина спектральной задачи доказана лемма о равномерной сходимости некоторых билинейных рядов, которые используются при
Дифференциальные уравнения и математическая физика Научная статья
© Коллектив авторов, 2022 © СамГТУ, 2022 (составление, дизайн, макет) 3 ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования
Уринов А. К., Усмонов Д. А. Начально-граничная задача для гиперболического уравнения второго рода с тремя линиями вырождения // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2022. Т. 26, № 4. С. 672-693. EDN: DIOYZF. DOI: 10.14498/vsgtu1962. Сведения об авторах
Ахмаджон Кушакович Уринов © https://orcid.org/0000-0002-9586-1799
доктор физико-математических наук, профессор; профессор каф. математического анализа
и дифференциальных уравнений1; ведущий научный сотрудник2; e-mail: [email protected]
Дониёр Абдумутолиб угли Усмонов А https://orcid.org/0000-0002-3574-075X исследователь; каф. математического анализа и дифференциальных уравнений1; e-mail: usmonov- [email protected]
доказательстве существования решения поставленной задачи. Доказаны также леммы о порядке коэффициентов Фурье заданной функции. Решение изучаемой задачи выписано в виде суммы ряда Фурье по системе собственных функций спектральной задачи. Равномерная сходимость этого ряда и рядов, полученных из него почленным дифференцированием, доказана с помощью лемм, перечисленных выше. В конце статьи получены две оценки для решения поставленной задачи, одна из которых — в пространстве квадратично суммируемых функций с весом, а другая — в пространстве непрерывных функций. Из этих неравенств следует устойчивость решения в соответствующих пространствах.
Ключевые слова: уравнение гиперболического типа, вырождающееся уравнение второго рода, начально-граничная задача, спектральная задача, функция Грина, интегральное уравнение, ряд Фурье, метод разделения переменных, метод интегралов энергии, единственность, существование и устойчивость решения.
Получение: 12 октября 2022 г. / Исправление: 8 ноября 2022 г. / Принятие: 29 ноября 2022 г. / Публикация онлайн: 15 декабря 2022 г.
1. Постановка задачи. В области О = :0 < х < 1; 0 <1<Т}
рассмотрим следующее вырождающееся гиперболическое уравнение второго рода:
^"(Г^ + Ьи = х^-а(1 - х)8-13[ха(1 - х)13их]х (1)
с тремя линиями вырождения, где а, Ь, т, а, Р, 7, 5 — заданные действительные числа, причем 0 < а < 1, 0 < $ < 1, 0 < а < 1.
Уравнение (1) с а = 1, т = а = Ь = @ = 7 = 6 = 0 возникает, например, при изучении свободных колебаний под действием силы тяжести однородной подвешенной тяжелой нити, а также при изучении радиальных колебаний газа в неподвижной неограниченной цилиндрической трубке с а = 2, т = = а = Ь = Р = 7 = 5 = 0 — при исследовании малых колебаний газа около его положения равновесия внутри непроницаемой оболочки сферической формы, ас т = а = Ь = 0, а = @ = 7 = 5 = 1 — при изучении свободных колебаний вращающейся струны [1].
Известно, что начальные задачи для вырождающихся гиперболических уравнений второго рода, в том числе для уравнения (1) при а = @ = 7 = = 5 = 0, изучены в работах [2-12]. Изучению начально-граничных задач для уравнений второго порядка, вырождающихся на одной боковой стороне прямоугольника, посвящены, например, работы [13-16], а для уравнений, вырождающихся на обеих боковых сторонах прямоугольника — работы [17,18]. В этих работах в зависимости от порядка вырождения уравнения на боковых сторонах прямоугольника заданы различные локальные краевые условия относительно искомой функции. Начально-граничные задачи для вырождающихся гиперболических уравнений второго порядка второго рода в многомерных цилиндрических областях рассмотрены в работах [19-25]. В задачах, изученных в этих работах, на боковой поверхности цилиндра заданы обычные локальные условия, т.е. значения искомой функции. В настоящей работе исследуем следующую начально-граничную задачу для уравнения (1) в области О с нелокальными граничными условиями.
Задача Apq. Найти функцию u(x,t), обладающую следующими свойствами : _
1) u(x,t), ха(1 - x)ßих, taut е С(Щ; х1-а(1 - x)S-ß[ха(1 - x)ßих]х, tm-a(taut)t е С(П);
2) в области Q удовлетворяет уравнению (1);
3) на границе области Q выполняются следующие начальные и граничные условия:
и(х, 0) = pi(x), х е [0,1]; lim taut(x,t) = <р2(х), х е (0,1), (2)
t—+0
pu(0,t) = qu(1,t), q lim xaux(x,t) = p lim(1-x)ßux(x,t), t е [0,T], (3)
x—0 x—^ l
где (pl(x) и <f2(x) — заданные непрерывные функции, а р и q —заданные действительные числа, причем р = q.
Отметим, что из задачи Apq в частном случае при р = 0 и q = 0 следуют локальные задачи, которые представляют самостоятельный интерес.
Исследуем единственность, существование и устойчивость решения задачи Apq. При этом воспользуемся методом интегралов энергии и методом Фурье, основанным на разделении переменных. Отметим, что в работах [26-30] метод Фурье успешно применен к исследованию краевых задач для вырождающихся уравнений второго порядка смешанного типа второго рода в прямоугольной области.
2. Единственность решения задачи Apq.
Теорема 1.Если а > т/2, b ^ 0, ^ < а + 1, 5 < ß + 1, то задача Apq не может иметь более одного решения.
Доказа тельство. Предположим, что существуют два решения ul(x, t) и u2(x,t) задачи Apq. Введем обозначение u(x,t) = ul(x,t) - u2(x,t). Тогда функция u(x,t) является решением уравнения (1), удовлетворяющего однородным условиям (3) и и(х, 0) = 0, limt—+0 taut(x,t) = 0. Возьмем произвольное число ^ из (0,Т] и введем функцию
0, V < t < Т,
F(x,t^ = i ( {-au(x,{)d£, 0 < t < rj. (4)
В силу а е (0,1) и свойств функции и(х, t) функция V(х, t) обладает следующими свойствами:
1) V(x,t), ха(1 - x)ßVx(x,t) непрерывны в Q и pV(0,t) = qV(1,t), q lim xaVx(x, t) = p lim(1 - x)ßVx(x, t);
x—0 x—l
)
2) taVt, ta(taVt)t непрерывны в П и V(x,t) = 0 при t е [v,T].
Умножим уравнение (1) на функцию ta mxa 1 (1 - х )ß-s V (x,t) и проинтегрируем по области Q:
/ [ ta-mxa-1 (1 - x)ß-s[tmutt + atm-lut + bu] Vdtdx = 00
= t Г ta-mXa-1 (1 - x)ß-&[x1 (1 - x)SUxx + 00
+ ах1-1 (1 - x)sux - ßx1 (1 - х)5-1 ux]Vdtdx. Это равенство можно переписать в виде
f1 ха-1 (1 - x)ß-&dx Г[(taut)t + bta-mu]Vdt = J0 J0
= Г ta-mdt f l[xa(1 - x)ßUx]xVdx. J0 J0
Применяя правило интегрирования по частям к внутренним интегралам
и учитывая равенства V(x,rj) = 0, lim taUt = 0, pV(0,t) = qV(1,t),
t—0
q lim xaux(x, t) = p lim(1 - x)13ux(x, t), имеем
x—0 x—^ 1
rv
xa-1 (1 _ ^)ß-d I l+ai
С xa-1 (1 - x)ß-Sdx Г[tautVt - bta-muV]dt = J0 J0
= Г ta-mdt f1 xa(1 - x)ßUxVxdx. (5) J0 J0
Из (4) следует, что Vt = t au, ux = taVxt, 0 < t < rj. Учитывая это, из (5) получим равенство
rv Ю
f1 xa~~((1 - x)ß-Sdx Г[uut - bt2a~mVVt]dt = J0 J0
= Г t2a-mdt f1 xa(1 - x)ßVxtVxdx, J0 J0
10 J0
которое можно записать в виде
i'V г ß ß
xa-1 (1 - x)ß-Sdx ^u2 - bt2a-m-^V2
0
Ißt ßt
dt =
Л т а
= ! ха(1 - х)13йх ! ^а-т^-У^и. Применяя правило интегрирования по частям, имеем
£ ха-1 (1 - х)3-51 [и2 - Ы2а-тУ2] 12 + Ь(2а - т) £ ^а-т-1У2сН^<1х
= С ха(1 -х) Jo
Отсюда, учитывая и(х, 0) = 0, V (х, г]) = 0, Ух(х,г]) = 0 и 2а - т> 0, имеем
/1 ха-1 (1 - х)3-6и2(х, фх = Jo
._ rv
t2a-mVx2tv - (2а -т) t2a-m-1Vx2dt
x 0 0 x
dx.
0
= -Ь(2а - т) Г t2a-m-ldt I ха—(1 - x)ß-&V2dx -Jo Jo
- (2a - m) Г t2a-m-ldt i1 xa(1 - x)ßV?dx, Jo Jo
откуда в силу 2a - m> 0, b ^ 0 и a - j > -1, ß - ö > -1 следует равенство
f xa-<(1 - x)ß-&u2(x, rj)dx = 0. o
Следовательно, x(a-l)/2(1 - x)(ß-S^/2u(x, rj) = 0 при 0 < x < 1, т.е. u(x, "q) = 0 при 0 ^ x ^ 1 для каждого Так как ^ £ (0,T] —произвольное число,
u(x, t) = 0 в области Q. Тогда щ(х, t) = u2(x, t), (х, t) £ Ü. Теорема 1 доказана.
□
3. Исследование спектральной задачи. Формальное применение метода Фурье к поставленной задаче Apq приводит к следующей спектральной задаче: найти значения параметра А, при которых существуют нетривиальные 'решения уравнения
Mv = -[ха(1 - x)ßv'(х)]' = \ха—(1 - x)ß-&v(x), 0 < х < 1, (6) удовлетворяющие следующим условиям:
v(x),xa(1 - x)ßv'(x) £ С[0,1]; [ха(1 - x)ßv'(x)]' £ L2(0,1); 1
pv(0) = qv(1), q lim xav'(x) = p lim(1 - x)ßv'(x). ( (7)
x^0 x^l )
Определим знак параметра Л, при котором существуют нетривиальные решения задачи (6), (7). Умножим обе части уравнения (6) на функцию v(x) и проинтегрируем по х на сегменте [0,1]. Затем, применяя правило интегрирования по частям к интегралу, стоящему в левой части, и учитывая условия (7), получим
/1 ха(1 - x)ß[v'(х)]2dx = \f1 ха—(1 - x)ß-&v2(x)dx. oo
Отсюда при v(x) ф 0 следует Л ^ 0. Если Л = 0, то из последнего равенства следует v'(х) =0, 0 < х < 1. Тогда v(x) = const, х £ (0,1), откуда в силу условия pv(0) = qv(1) при р = q получим v(x) ф 0, 0 ^ х ^ 1. Следовательно, если р = q, то задача (6), (7) может иметь нетривиальные решения только при Л > 0.
Предполагая р = q, спектральную задачу (6), (7) исследуем методом функций Грина. Функция Грина G(x, s) задачи должна обладать следующими свойствами: 1°) функция G(x, s) непрерывна для всех х, s £ [0,1];
2°) в каждом из интервалов (0, s) и (s, 1) существует непрерывная производная (d/dx)G(x,s), а при х = s имеет скачок [-s-a(1 - s)-ß], т.е.
dG(x,s) dG(x,s)
дх
x=s+o дх
= -s-a(1 - s)-ß; (8
x= o
3°) в интервалах (0, в) и ( в, 1) функция С(х, в), рассматриваемая как функция от х, удовлетворяет однородному уравнению МС(х, в) = 0; 4°) при У £ (0,1) выполняются граничные условия
рС(0, )= д0(1, ), д\\тхаОх(х, ,в)=р1\т(1 -х)3Сх(х, в). (9)
х—0 х—^ 1
Функция 0(х, в), обладающая перечисленными выше свойствами, существует, единственна и имеет вид
р [х ¿г д ¿г д2а
+ -—:/ —гля + ^—:Т9, ж< Ъ
r(^a) = J p-q 'о za(1 - z)ß P-(l Jo za(l - z)ß (р - чг ^S) = S р Г dz д Г dz д2а ( )
р-д J0 za(1 - z)ß + p-q J0 za(1 - z)ß + (p - q)2 , s <x'
где 7 = Г(2 - а - ß)/[Г(1 - а)Г(1 - ß)], Г(,г) — гамма-функция Эйлера [31]. Докажем, что функция (10) действительно удовлетворяет условиям 1°-4°. В силу условия а, ß £ [0,1) каждый из интегралов в (10) является непрерывной функцией своего верхнего предела. Поэтому функция G(x, s) непрерывна в ^ = {(х, s ) :0 ^ х ^ 1, 0 ^ s ^ 1} при х = s. Кроме этого, для каждого фиксированного s £ (0,1) lim G(x, s) = lim G(x, s) = G(s, s),
x—s+0 x—s-0
а функция
G( ) = 'P+_Q Г dz + Q27 G(S, S) p-q J0 z« (1 - z)ß + (p - q)2
непрерывна при s £ [0,1]. Следовательно, G(x, s) £ С(^).
Далее из (10) непосредственным дифференцированием находим
jLGfxs)=\'P(P - Q)-1x-a(1 -x)-ß, x< s; dx ' \q(p - q)-1x-a (1 - x)-ß, s<x.
Отсюда легко следует справедливость равенства (8). В силу равенства (11)
д_ дх
В
ха(1 - x)ß—G(x, s) ох
0
при х £ (0, з) и (в, 1), т.е. функция С(х, в) по х удовлетворяет однородному уравнению МО = 0.
Из формул (10) и (11) с учетом
/1 г-а(1 - z)-íidz = ( ■¡о
находим
( , ) р-д Уо *а(1 - г)3 (р - И)
р Г8 йг . . У2(Т
0(1, 8) = - ----ТТ +---Ът-Г7Т,
р -q ,)о га(1 - х)Р р -q (р - q)2
МтхаСх(х, в) = Иш(1 -х)3Сх(х, в) = .
х—о р - д х—1 р - д
Из этих равенств легко следует справедливость условий (9).
Теперь, пользуясь свойствами функции 0(х, в) и методом, примененным в [32], легко убедиться, что задача (6), (7) эквивалентна следующему интегральному уравнению:
у(х) = \ [1 С(х, 8)(1 - в)3-5у(8)й8. (12)
о
Умножая уравнение (12) на функцию х(а-"/)/2(1 - х)(/3-6')/2 и вводя обозначение w(x) = х(а-"/)/2(1 - х)(/3-6)/2у(х), получим интегральное уравнение с симметричным ядром К(х, з) = (х8)(а-1^/2[(1 - х)(1 - з)](/3-^/2С(х, з):
w(x) = X К(x, s)w(s)ds. (13)
Jo
ю
Нетрудно убедиться, что при j < 1+а, 5 < [ + 1, справедливо неравенство
[ К2(х, s)ds = А(х) ^С0 = const < +ж. (14)
o
Тогда согласно теории интегральных уравнений уравнение (13) имеет счетное число собственных значений:
0 < \i < \2 < \з < ••• < Xk,..., (15)
Xk ^ при к ^ а соответствующие им собственные функции
W\(x), w2(x), w3(x), ..., wk(x), ...,
то есть функции
x(»-l)/2(1 - x)(P-)/2Vl(x), ..., x(a-^/2(1 - x)(fi-8 V2 vk (x), . . . (16)
образуют ортонормированную систему в пространстве L2(0,1) и любая функция g(x), представимая через ядро К(x, s), т.е. функция вида
g(x)= С К(x, Oh(OdC, o
где h(x) £ L2(0,1), разлагается в ряд Фурье
те
g(x) = ^2 Ск wk (x), k=1
где
Ск = [ x(a-l)/2(1 -x)(l3-s)/2g(x)Vk(x)dx, o
который на интервале [0,1] сходится в среднем [33].
В силу эквивалентности задачи (6), (7) и интегрального уравнения (12) из доказанного выше следует, что числа (15) являются собственными значениями, а функции
vi(х), V2(x), ..., vk(х),... — собственными функциями задачи (6), (7).
Лемма 1. Пусть a ^ j < 1 + а, ß ^ ö < 1+ ß и функция д(х) удовлетворяет условиям
х(а—)/2(1 - x)(ß-S)/2g(x), ха(1 - x)ßg'(х) е С[0,1], x{i-»)/2(i - х){5-ß)/2Mg(x) е L2(0,1); pg(0) = qg(1), q lim xag'(x) = p lim(1 — x)ßg'(x).
x—0 x—^ i
Тогда ее можно разложить на отрезке [0,1] в абсолютно и 'равномерно сходящийся ряд по системе собственных функций {vk(^)}fc=i.
Доказательство. Прежде всего отметим, что в силу условий 7 < < 1+а, 5 < 1+ß справедливо неравенство (14). Далее, учитывая вид функций К(x,s), Mg(x) и свойства функций G(x,s) и д(х), имеем
f1 К(х, s)s(~f-a)/2(1 - s)(s-ß)/2Mg(s)ds = Jo
f i
= (xs)(a-f)/2[(1 -x)(1 - s)](ß-S)/2G(x, s) X JO
X {s("'-a)/2(1 - s)(s-ß)/2 [-sa(1 - s)ßg'(s)]'}ds =
= x(a-/)/2(1 - x)(ß-S)/2 f1 G(x, s) [-sa(1 - s)ßg'(s)]'ds =
J0
s=i
+
s=0 s=i
+ s"(1 - s)ßg(s)Gs(x, s) + s"(1 - s)ßg(s)Gs(x, s)
s=0
= x(a-/)/2(1 - x)(ß-S)/2 -s"(1 - s)ßg'(s)G(x, s)
s=x-0
+ s"(1 - s)ßg(s)Gs(x, s)
s=x+0
) ß
Uo + .ix ) g(s)^sa(1 - s)ßGs(x, s)]ds =
= х(а-1)/2(1 -X)(ß-S )/2g (X)_
Справедливо равенство
x(a—)/2(1 - x)(ß-&)/2g(x) = f1 К(x, s)s(l-a)/2(1 - s)(s-ß)/2Mg(s)ds. (17)
Jo
Так как x^-a)/2(1 - x)(s-ß)/2Mg(x) е L2(0,1), из (17) следует, что
x(a-l)/2(1 -x)(ß-)/2g (x)
— функция, представимая через ядро К(х, в). Тогда в силу неравенства (14) и теоремы Гильберта—Шмидта [33] эта функция на отрезке [0,1] разлагается в равномерно сходящийся ряд Фурье по системе функций (х)}^=1:
x{a-1)/2(l -x)(ß-S )/2д {х) = ^ дк Wk (х),
к= 1
т.е
с(а-1)/2(1 - x)(ß-)/2д(х) = Y^x(a-1)/2{1 -x)(ß-)/29kVk(x).
х^-" {" ] - „ ' )
к=1
Учитывая а — 7< 0 и Р — 5 < 0 и разделяя это равенство при х(1 — х) > 0 на х(а-"/)/2(1 — х)(/3-6)/2, имеем нужное разложение. Лемма 1 доказана. □
4. Вспомогательные леммы. В этом пункте предположим, что а < 7 < < 1 + а, Р < 5 < 1 + Р, р = д, сформулируем и докажем некоторые леммы, которые используются при доказательстве существования решения задачи Ард. Здесь под Хк и ь^х), к € М, понимаются собственные значения и собственные функции задачи (6), (7), а под дк — коэффициенты Фурье заданной функции д(х) по системе (16):
9к
= С x(a-/)/2(1 -x)(ß-&)/2д(x)vk(x)dx, к e N. Jo
Лемма 2. Следующие ряды сходятся равномерно на сегменте [0,1]:
^ [x°(1 -xyßvk(x)]2
Доказательство. В силу (6) и (12) справедливы равенства
Vk(x) = Xk С G(x, s)sa-(1 - s)ß-&Vk(s)ds = J0
= - I G(x, s) [sa(1 - s)ßv'k(s)] 'ds. J0
Отсюда, применяя правило интегрирования по частям, а затем принимая во внимание условия q lim savk( s) = p lim(1 - s)ßvk( s), pG(x, 0) = qG(x, 1) и (7),
s —s—l
получим
vk(x)= sa(1 - s)ßGs(x, s)v'k(s)ds.
0 k
Следовательно, справедливо равенство
ж = Ij^1 ^ 'k <" }d, (19)
Далее с помощью правила интегрирования по частям и равенств (6), (7) находим
,1 8а(! - 8)!Зу, (8Ц(8) =1
_-7 1 у 7 = ва(1 - з)ру'к(з)VI(¿) -
Jо л/ЛкМ «=о
-11 И' -'М'Я*м Л = ^ 11 ^У - .г V,.Ш^ =
=Л ¡Г*(з)щ(з)Ла ^ 1==(20)
Следовательно, {8а/2(1 - 8)'/2V,(8)/^Ак}+=°1 — ортонормальная система.
Из (19) и (20) следует, что vк(х)/^/\к — коэффициенты Фурье функции 8а/2(! - 8)'/2сз(х, по системе {8а/2(1 - 8)'/Ч,(з)/^АкПоэтому, согласно неравенству Бесселя [33], имеем
Е Щх^ 1 ^(1 - 5)' [Са(х, 8)]2*8. (21)
,=1
Принимая во внимание равенство (8), имеем
/1 8а(1 - 8)' [С8(х, 8)]2(1з = Р\2 Г 8~а(1 - +
Уо (Р - с1) Jо
+(^2 /; .-а - а^2 / ^ - .г'*. =
-а/1 ^ 1 I „-а
о
С\Т(1 -а)Т(1 -0)
(р - д)2Т(2 -а - 0):
С1 =ш&х{р2, д2}. (22
Отсюда и из (21) следует, что первый ряд в (18) сходится равномерно. Теперь, согласно уравнению (12), имеет место равенство
ха(1 - х)'^к(х)
С ха(1 - х)'Сх(х, 8)8а— (1 - в)'-5Vк(8)(18. о
Так как - 8)(' $)/2V,( в)} = — ортонормальная система, функции
ха(1—х)'v'к(х)/А, можно считать коэффициентами Фурье по аргументу в для функции ха(1 -х)'8(а-1^/2(1 - 8)('-6)/2Сх(х, в). Тогда, согласно неравенству Бесселя, имеем
^ [х»(1 ^ < [1 х2а(1 - х)2'8а-Ч (1 - 8)'-& [Сх(х, 8)]2ё8. (23)
к=1 Ак
На основании формулы (8), имеем
! х2а(1 — х)213ва-6(1 — в)3-[Сх(х, з)]2(з < Jo
< С\Т(а — 5 + 1)Г(Р — 7 + 1) (24)
< (р — д)2Г(а + Р — 5 — 7 + 2)" ( )
Если учесть (24), то из (23) следует, что второй ряд в (18) сходится равномерно. Лемма 2 доказана. □
Лемма 3. Если выполнены условия
х(«-1)/2(1 — х)(3-)/2д(х) € С[0, 1],
ха/2(1 — х)3/2д'(х) € Ь2(0,1); рд(0) = дд(1), то справедливо неравенство
ТХкд2к < ха(1 —х)3[д'(х)]2йх, (25)
к=1
в частности, ряд в левой части сходится.
Доказательство. В силу уравнения (6) справедливо равенство
л
Хк/2д к = Хк/2 ха-(1 — х)Г3-&д(х) Ук (х)(х = ■)о
= — Х-1/2 I' д(х) [ха(1 — х)3у'к(х)]'(х. Jo
Из этого равенства, применяя правило интегрирования по частям и учитывая свойства функций ( х) и к( х), получим
I-1
Хк29к = {ха/2(1 — х)3/2д'(х)}{Х-1/2ха/2(1 —х)3/2у'к (х)}йх. 1/2
Отсюда следует, что числа Хк дк — коэффициенты Фурье функции
ха/2(1 — х)/3/2д '(х)
по ортонормированной системе функций [ха/2(1 — х)13/2у'(х)/^Хк}+=~1. Тогда, согласно неравенству Бесселя, справедливо неравенство (25). Лемма 3 доказана. □
Аналогично лемме 3 доказываются следующие леммы. Лемма 4. Если выполнены условия
х(»-1)/2(1 — х)(3-6)/2д(х), ха(1 — х)3д'(х) € С[0,1], х(1-»)/2(1 — х)(8-3)/2Мд(х) € Ь2(0,1);
Р9(0) = Q9(1), Q lim xag'(x) = p lim(1 - x)ßg'(x),
x—0 x—i
то справедливо неравенство
I ^ i' i
2 4 xl-a(1 -x)s-ß[Mv(x)]2dx, k=i Jo
в частности, ряд в левой части сходится. Лемма 5. Если выполнены условия
x(a-l)/2(1 - x)(ß-s)/2g(х), ха(1 - x)ßg'(x) е С[0,1],
х1-а(1 - х)S-ßMg(х) е С[0,1], ха/2(1 - x)ß/2{x^-a(1 - x)s-ßMg(х)У е L2(0,1); pg(0) = qg(1), q lim xag'(x) = p lim(1 - x)ßg'(x),
x—0 x—i
p lim x1-aMg(x) = q lim(1 - x)S-ßMg(x),
x—0 x—i
то справедливо неравенство
i
Y,Xkgl ^ *a(1 -*)ß{ [*/-a(1 -x)S-ßMg (x)]' }2dx, 0
в частности, ряд в левой части сходится.
5. Существование и устойчивость решения Арч. Введем следующие обозначения:
— 1 — а
Зш (х) = Г(и + 1)(х/2)-шЗш (х), р = -—,
2 ^^
Г, (г) = ^ь + \к1(2-т)/2,
2 - т
= [ ха-1 (1 -х)'-5<рэ(х)V,(х)*х, з = 1,2, о
где Зш(х) — функция Бесселя первого рода [34], а V,(х), к € N — собственные функции задачи (6), (7).
Теорема 2.Пусть 0 < т < 2, т/2 < а < 1, а < ^ < 1 + а, 0 < 5 < < 1+0, р = q и функции Щ1(х), Щ2(х) удовлетворяют условиям леммы 3. Тогда сумма ряда
и(х, г) = (Щ+^2,(1 - а)-Н1-а1р[г,(t)]}vк(х) (26)
,=1
определяет решение задачи Аря.
Доказательство. Решение задачи Ард формально ищем в виде
и(х, г) = ^2*к(^Vк(х), (27)
к=1
где ик(^ — неизвестные функции, к € N.
Подставив (27) в уравнение (1) и условие (2), после некоторых преобразований относительно неизвестных функций ик (Ь) получим следующую задачу:
1ти'к(^ + аЪт-1и'к(^ + (Ь + Хк)ик(^ =0, 0 <КТ, (28)
ик (0) = у1к, Дш0 гаи'к (г) = ^2к. (29)
В силу 0 < т < 2, т/2 < а < 1 решение задачи (28), (29) существует, единственно и имеет вид
ик(1) = у1к 1-р [г к (*)] + V2к (1 — а)-Н1-а1р[гк (*)], (30)
причем здесь 0 < р < 1/2. Подставляя (30) в (27), получим формальное решение задачи Ард в виде (26).
Теперь для доказательства теоремы достаточно доказать, что ряд (26) и ряды, соответствующие функциям ха(1 — х)3их(х, ¿), 1ащ(х, ¿), сходятся равномерно в О, а ряды, соответствующие функциям 1т-а[1аи,г(х, ^, ха-5(1 — х)3-1 [ха(1 — х)13их(х, ■£)] х, сходятся равномерно на любом компакте И С О.
Сначала рассмотрим ряд (26). Так как | ^ (х)| < 1 при любых V > —1/2, справедливы неравенства
| и( х, )| =
<
+<х
^{У1к7-Р[Гк(■£)] + У2к(1 — а)-Н1-а1р[Гк(Ь)] }ьк(х)
к=1 +<х
< ^\<У1к^-р[гкШ+У2к(1 — а)-Н1-а1р[гк(¿)]\|Ьк(х)I < к=1
<У) ЦЫ +С21У2к |)| Ук (х)1, С2 = --. (31)
к=1 1 — а
Отсюда на основании неравенства Коши—Буняковского имеем
Е^ 1Мх)1 = £\,д~ку3к< Ех^кЕ^ к=1 к=1 ^Хк ^ «.-1 Хк
к( х)
г+те 2
У2(х)
к=1 к=1
1/2
= 1, 2.
Ряды, стоящие в правой части, в силу лемм 2 и 3 сходятся равномерно по х на [0,1]. Следовательно, ряд, стоящий в левой части, сходится равномерно по х на [0,1]. Тогда из (31) следует, что ряд (26) сходится абсолютно и равномерно в О.
Далее,
1ха(1 -х)'их(х, *)| <
,= 1
\-р[г,Ш + <Р2,(1 -а)-Н1-аЗр[г,(*)]| \ха(1 -х)^',(х)\ <
< ^Ци,I +С2^2,|) \ха(1 -х)^',(х)\. (32)
,=1
Очевидно, что
^ \ <Рз,ха(1 -х)'г/, (х)\ = ^2\А,Щ,\
,=1
,=1
ха(1 - х)'и,(х)
Ак
<
<
[ха(1 — х)'vlк (х)]2
А,
1/2
3 = 1,2.
,=1 ,=1
Здесь ряды, стоящие в правой части, в силу лемм 2 и 4 сходятся равномерно по х на [0,1]. Тогда и ряд, стоящий в левой части, сходится равномерно по х на [0,1]. Следовательно, ряд (32) сходится абсолютно и равномерно в О. Теперь рассмотрим ряд
\ хг-а(1 - х)1-' [ха(1 - х)'их(х, г)]х \ <
< , I + С2^2, |) | х5-а(1 - х)1-' [ха(1 - хУ%, (х)]'\.
,= 1
В силу уравнения (6) при 0 < х < 1 справедливо неравенство
„&-а I
(1 -х)1-' [ха(1 -х)'их(х, 1)]х\^ Цц, | +С1^А^, (х)1 (33)
,=1
V, (х) <
7,2(т)
,=1
А, ,=1 ,
1/2
= 1, 2.
Очевидно, что
S^|АкЩjкVк (х) =^2\А3'/2^Pjк\ ,=1 ,=1 Здесь ряды, стоящие в правой части, в силу лемм 2 и 5 сходятся равномерно по х на [0,1]. Тогда равномерно по х на [0,1] сходится и ряд, стоящий в левой части. Следовательно, ряд (33) сходится абсолютно и равномерно на любом компакте И С О.
Аналогично доказывается сходимость рядов 1ащ(х, ¿), 1т-а[1ащ(х, ¿)]¿. Теорема 2 доказана. □
Теорема 3. Пусть выполнены условия теоремы 2. Тогда для решения задачи Ард справедливы следующие оценки:
\\и(х, I)\\ь2,р(0,1) < С3 [\\Щ1(х)\\ь2,р(0,1) + \\!£2(х)\\L2,p(0,1)], (34)
\\и(х, *)\\с(^) < С4[\\!p,l(х)\\L2,r (0,1) + \\!'2(хШ2Ао,1)], (35)
где
II f(x)\\ L2,p(0,l) = \\ f (x)h2,r(0,i) =
p(x)f2(x)dx
1/2
p(x)=xa— (1 — x)3-S,
r(x)[ f' (x)]2dx
i/2
r(x) = xa(1 — x)f:
\\u(x, i)IIc(Q) = sup lu(x, i)|; C3, C4 —некоторые положительные числа. n
Доказательство. Так как [x(a-1")/2(1 — x)(/3-s)/2vk(x)}+=°l —ортонор-мальная система, из (26), учитывая | Jv(x)| ^ 1 при любом v > —1/2, получим следующее неравенство:
\\u(x, t)\H2A0,i) = J'xa-((1 — xf-5u2(x, t)dx =
= xa-(1 —xf-6 Tuk (t)v k (x) У^щ (t) VI (x)dx = j0 k=l l=l
„ l
= V uk(t)ui(t) xa-(1 — xf-5Vk(x)Vi(x)dx = k,l=l j0 . l
= Euk (t) I xa-^ (1 —xf-s vk(x)dx = ^uk(t) <
k=l
<
C^ Hflk I2 + I^2k I2) < C3(\Vl(x)H2L2A0,l) + H^xnl^Oll)) ,
k=l
где С3 = 8ир{1, Ь1 а/(1 — а)}. Отсюда, используя неравенство у/Ж+Р < д +1, которое верно при д> 0, I > 0, получим неравенство (34).
В силу неравенств (32), (22) и (25) справедливы неравенства
Iu(x, t )| ^ C^E Hflk I + If2k |)| Vk (x)I
k=l
+<x
C3 El ^f^k^lk k=l
г+те „ ,2
Vk (x)
V^k
Vk (x)
^C3
+ C3
EA^?kE
Lk=l
k=l
4(x) Ak
l/2
+ C3 E1 k=l „ ,2
V^k
+ C3
EAkrtkEVk(x)
k=l
k=l
Ak
l/2
<
—x}S [^dx
[(CEOg—^l [-a ~x* y^dx
l/2
+
l/2
= cM(x)\\l2,
Отсюда следует неравенство (35). Теорема 3 доказана. □
l
l
0
Замечание. Задача Apq корректно поставлена и в том случае, когда a = = ß = a = m = 0, но при a, ß ^ 1 она некорректна. В последнем случае для уравнения (1) области Q можно сформулировать и исследовать задачи с другими краевыми условиями.
6. Заключение. В прямоугольной области рассмотрена начально-граничная задача для гиперболического уравнения второго рода с тремя линиями вырождения. Методом разделения переменных найдено решение задачи в виде ряда, который сходится абсолютно и равномерно в замыкании области рассмотрения уравнения. Доказаны единственность решения задачи и непрерывная зависимость его от заданных функций.
Конкурирующие интересы. Заявляем, что в отношении авторства и публикации этой статьи конфликта интересов не имеем.
Авторский вклад и ответственность. Все авторы принимали участие в разработке концепции статьи и в написании рукописи. Авторы несут полную ответственность за предоставление окончательной рукописи в печать. Окончательная версия рукописи была одобрена всеми авторами.
Финансирование. Исследование выполнялось без финансирования.
Библиографический список
1. Кошляков Н. С., Глинер Э. Б., Смирнов М. М. Уравнения в частных производных математической физики. М.: Высш. шк., 1970. 712 с.
2. Кароль И. Л. К теории уравнений смешанного типа // Докл. АН СССР, 1953. Т. 88, №3. С. 397-400.
3. Терсенов С. А. О задаче Коши с данными на линии вырождения типа для гиперболического уравнения// Диффер. уравн., 1966. Т. 2, №1. С. 125-130.
4. Терсенов С. А. К теории гиперболических уравнений с данными на линии вырождения типа// Сиб. матем. журн., 1961. Т. 2, №6. С. 913-935.
5. Терсенов С. А. Введение в теорию уравнений, вырождающихся на границе. Новосибирск: НГУ, 1973. 144 с.
6. Смирнов М. М. Вырождающиеся гиперболические уравнения. Минск: Высш. шк., 1977. 157 с.
7. Хайруллин Р. С. Задача Трикоми для уравнения второго рода с сильным вырождением. Казань: Казанск. унив., 2015. 336 с. EDN: UWLDMB.
8. Мамадалиев Н. К. О представлении решения видоизмененной задачи Коши // Сиб. матем. журн., 2000. Т. 41, №5. С. 1087-1097.
9. Уринов А. К., Окбоев А. Б. Видоизмененная задача Коши для одного вырождающегося гиперболического уравнения второго рода// Укр. матем. журн., 2020. Т. 72, №1. С. 100-118.
10. Urinov A. K., Okboev A. B. On a Cauchy type problem for a second kind degenerating hyperbolic equation// Lobachevskii J. Math., 2022. vol. 43, no. 3. pp. 793-803. EDN: QPEVQB. DOI: https://doi.org/10.1134/S1995080222060324.
11. Уринов А. К., Усмонов Д. А. О видоизменной задаче Коши для одного вырождающегося гиперболического уравнения второго рода// Бюл. Инст. мат., 2021. Т. 4, №1. С. 46-63.
12. Эргашев Т. Г. Обобщенные решения одного вырождающегося гиперболического уравнения второго рода со спектральным параметром // Вестн. Томск. гос. ун-та. Матем. и мех., 2017. №46. С. 41-49. EDN: YPDTPD. DOI: https://doi.org/10.17223/19988621/46/ 6.
13. Байкузиев К. Б. Смешанная задача для одного гиперболического уравнения, вырождающегося на контуре// Изв. АН УзССР. Сер. физ.-мат. наук, 1962. Т. 6, №2. С. 83-85.
14. Каримов Д. Х. Байкузиев К. Б. Смешанная задача для одного гиперболического уравнения, вырождающегося на границе области // Научн. тр. Ташкент. гос. унив., 1962. Т. 208. С. 90-97.
15. Каримов Д. Х., Байкузиев К. Б. Вторая смешанная задача для одного гиперболического уравнения, вырождающегося на границе области // Изв. АН УзССР. Сер. физ.-мат. наук, 1964. Т. 8, №6. С. 27-30.
16. Байкузиев К. Б. О разрешимости смешанных задач для одного классе нелинейных уравнений гиперболического типа, вырождающихся на границе области // Изв. АН УзССР. Сер. физ.-мат. наук, 1967. Т. 11, №2. С. 3-6.
17. Байкузиев К. Б., Каримов Д. Х. О разрешимости смешанной задачи для гиперболических уравнений, вырождающегося на всей границе области// Тр. Ташкент. гос. унив., 1969. Т. 2, №350. С. 8-20.
18. Даткабаев Д. Смешанная задача для системы уравнений второго порядка, вырождающихся на всей границе области // Пробл. физ.-мат. наук. Ташкент, 1976. Т. 164. С. 32-38.
19. Краснов М. Л. Смешанные краевые задачи для вырождающихся линейных гиперболических дифференциальных уравнений второго порядка// Матем. сб., 1959. Т. 49(91), №1. С. 29-84.
20. Олейник О. А. Задача Коши и краевая задача для гиперболических уравнений второго порядка, вырождающихся в области и на ее границе // Докл. АН СССР, 1966. Т. 169, №3. С. 525-528.
21. Брюханов В. А. О смешанной задаче для одного уравнения гиперболического типа вырождающегося на части границы области // Диффер. уравн., 1972. Т. 8, №1. С. 3-6.
22. Врагов В. Н. Смешанная задача для одного класса гиперболо-параболических уравнений второго порядка// Диффер. уравн., 1976. Т. 12, №1. С. 24-31.
23. Бубнов Б. А. Смешанная задача для некоторых параболо-гиперболических уравнений// Диффер. уравн., 1976. Т. 12, №3. С. 494-501.
24. Барановский Ф. Т. Смешанная задача для сильно вырождающегося на начальной плоскости гиперболического уравнения второго порядка// Сиб. матем. журн., 1979. Т. 20, №3. С. 479-492.
25. Барановский Ф. Т. Смешанная краевая задача для гиперболического уравнения с вырождающейся главной частью// Матем. сб., 1981. Т. 115(157), №4(8). С. 560-576.
26. Сабитов К. Б., Сулейманова А. Х. Задача Дирихле для уравнения смешанного типа второго рода в прямоугольной области// Изв. вузов. Матем., 2007. №4. С. 45-53. EDN: JJSQRP.
27. Сабитов К. Б., Сулейманова А. Х. Задача Дирихле для уравнения смешанного типа с характеристическим вырождением в прямоугольной области// Изв. вузов. Матем., 2009. №11. С. 43-52. EDN: KVQCZZ.
28. Сабитов К. Б., Егорова И. П. О корректности краевых задач с условиями периодичности для уравнения смешанного типа второго рода // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2019. Т. 23, №3. С. 430-451. EDN: KBIAPC. DOI: https://doi.org/ 10.14498/vsgtu1718.
29. Хайруллин Р. С. К задаче Дирихле для уравнения смешанного типа второго рода в исключительных случаях// Диффер. уравн., 2018. Т. 54, №4. С. 565-568. EDN: YUTSLG. DOI: https://doi.org/10.1134/S0374064118040131.
30. Хайруллин Р. С. Задача с условием периодичности для уравнения смешанного типа с сильным вырождением// Диффер. уравн., 2019. Т. 55, №8. С. 1139-1151. EDN: JMRWTP. DOI: https://doi.org/10.1134/S0374064119080119.
31. 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., 1953. xvii+396 pp.
32. Наймарк М. А. Линейные дифференциальные операторы. М.: Физматлит, 2010. 528 с. EDN: RYRSSP.
33. Михлин С. Г. Лекции по линейным интегральным уравнениям. М.: Физматлит, 1959. 232 с.
34. Watson G. N. A Treatise on the Theory of Bessel Functions / Cambridge Mathematical Library. Cambridge: Cambridge Univ., 1995. vi+804 pp.
Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki
[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2022, vol. 26, no. 4, pp. 672-693 ISSN: 2310-7081 (online), 1991-8615 (print) d https://doi.org/10.14498/vsgtu1962
MSC: 35G15
An initial-boundary problem for a hyperbolic equation with three lines of degenerating of the second kind
A. K. Urinov1'2, D. A. Usmonov1
1 Fergana State University,
19, Murabbiylar st., Fergana, 150100, Uzbekistan.
2 Institute of Mathematics named after V. I. Romanovsky of the Academy of Sciences of the Republic of Uzbekistan, 46, Universitetskaya st., Tashkent, 100174, Uzbekistan.
Abstract
In present paper, a hyperbolic partial differential equation of the second kind degenerates on the sides and on the base of the rectangle has been considered. For the considered equation, an initial-boundary problem with non-local boundary conditions has been formulated. The uniqueness, existence, and stability of the solution to the stated problem were investigated. The uniqueness of the solution to the problem was proved by the method of energy integrals. The existence of obtained solution was investigated by the Fourier method based on the separation of variables. To do this first, a spectral problem for an ordinary differential equation was investigated, which arises from the formulated problem in virtue of the separation of variables. It was proved that this spectral problem can have only positive eigenvalues. Then, Green's function of the spectral problem has been constructed, and equivalently reduced to an integral Fredholm equation of the second kind with a symmetric kernel. Hence, on the basis of the theory of integral equations, it has been concluded that there is a countable number of eigenvalues and eigenfunctions of the spectral problem. Using the properties of constructed Green's function of the spectral problem, some lemmas, using to prove the existence of a solution to the problem on the uniform convergence of some bilinear series, were proved. Lemmas on the order of the Fourier coefficients of a given function have also been proved. The solution of the considered problem is derived as the sum of a Fourier series with respect to the system of eigenfunctions of the spectral problem. The uniform
Differential Equations and Mathematical Physics Research Article
© Authors, 2022
© Samara State Technical University, 2022 (Compilation, Design, and Layout) 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:
Urinov A. K., Usmonov D. A. An initial-boundary problem for a hyperbolic equation with three lines of degenerating of the second kind, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2022, vol. 26, no. 4, pp. 672-693. EDN: DIOYZF. DOI: 10.14498/vsgtu1962 (In Russian). Authors' Details:
Akhmadjon K. Urinov © https://orcid.org/0000-0002-9586-1799
Dr. Phys. & Math. Sci.; Professor; Dept. of Mathematical Analysis and Differential Equations1; Leading Researcher2; e-mail:[email protected] Doniyor A. Usmonov https://orcid.org/0000-0002-3574-075X Researcher; Dept. of Mathematical Analysis and Differential Equations1; e-mail: usmonov- [email protected]
convergence of this series and the series obtained from it by term-by-term differentiation is proved using the lemmas mentioned above. At the end of the paper, two estimates are obtained for the solution to the problem, one of which is in the space of square summable functions with weight, and the other is in the space of continuous functions. These inequalities imply the stability of the solution in the corresponding spaces.
Keywords: equation of hyperbolic type, degenerate equation of the second kind, initial-boundary value problem, spectral problem, Green's function, integral equation, Fourier series, method of separation of variables, method of energy integrals, uniqueness, existence and stability of the solution.
Received: 12th October, 2022 / Revised: 8th November, 2022 / Accepted: 29th November, 2022 / First online: 15th December, 2022
Competing interests. We declare that we have no conflicts of interest with respect to the authorship and publication of this article.
Authors' contributions and responsibilities. Each author has participated in the development of the concept of the article and in the writing of the manuscript. The authors are absolutely responsible for submitting the final manuscript in print. Each author has approved the final version of the manuscript. Funding. The research has not received funding.
References
1. Koshlyakov N. S., Smirnov M. M., Gliner E. B. Differential equations of mathematical physics. Amsterdam, North-Holland Publ., 1964, xvi+701 pp.
2. Karol' I. L. On the theory of equations of mixed type, Dokl. Akad. Nauk SSSR, 1953, vol. 88, no. 3, pp. 397-400 (In Russian).
3. Tersenov S. A. On the Cauchy problem, with data given on a curve of degenerate type, for a hyperbolic equation, Differ. Uravn., 1966, vol. 2, no. 1, pp. 125-130 (In Russian).
4. Tersenov S. A. On the theory of hyperbolic equations with data on a line of degeneration of type, Sibirsk. Mat. Zh., 1961, vol.2, no. 6, pp. 913-935 (In Russian).
5. Tersenov S. A. Vvedenie v teoriiu uravnenii, vyrozhdaiushchikhsia na granitse [Introduction to the Theory of Equations Degenerating at the Boundary]. Novosibirsk, Novosib. Gos. Univ., 1973, 144 pp. (In Russian)
6. Smirnov M. M. Vyrozhdaiushchiesia giperbolicheskie uravneniia [Degenerate Hyperbolic Equations]. Minsk, Vyssh. shk., 1977, 157 pp. (In Russian)
7. Khairullin R. S. Zadacha Trikomi dlia uravneniia vtorogo roda s sil'nym vyrozhdeniem [Tri-come's Problem for a Equation of the Second Kind with Strong Degeneration]. Kazan, Kazan Univ., 2015, 336 pp. (In Russian). EDN: UWLDMB.
8. Mamadaliev N. K. On representation of a solution to a modified Cauchy problem, Sib. Math. J., 2000, vol.41, no. 5, pp. 889-899. DOI: https://doi.org/10.1007/BF02674745.
9. Urinov A. K., Okboev A. B. Modified Cauchy problem for one degenerate hyperbolic equation of the second kind, Ukr. Math. J., 2020, vol.72, no. 1, pp. 114-135. EDN: XDIOGV. DOI: https://doi.org/10.1007/s11253-020-01766-1.
10. Urinov A. K., Okboev A. B. On a Cauchy type problem for a second kind degenerating hyperbolic equation, Lobachevskii J. Math., 2022, vol.43, no. 3, pp. 793-803. EDN: QPEVQB. DOI: https://doi.org/10.1134/S1995080222060324.
11. Urinov A. K., Usmonov D. A. About modified Cauchy problem for a second kind degenerated hyperbolic equation, Bull. Inst. Math., 2021, vol.4, no. 1, pp. 46-63 (In Russian).
12. Ehrgashev T. G. Generalized solutions of the degenerate hyperbolic equation of the second kind with a spectral parameter, Vestn. Tomsk. Gos. Univ. Mat. Mekh., 2017, no. 46, pp. 4149 (In Russian). EDN: YPDTPD. DOI: https://doi.org/10.17223/19988621/46Z6.
13. Baikuziev K. B. Mixed problem for one hyperbolic equation degenerating on a contour, Izv. Akad. Nauk UzSSR, Ser. Fiz.-Mat. Nauk, 1962, vol. 6, no. 2, pp. 83-85 (In Russian).
14. Karimov D. H., Baikuziev K. B. A mixed problem for a hyperbolic equation degenerating on the boundary of the domain, Nauchn. Tr. Tashkent. Gos. Univ., 1962, vol. 208, pp. 90-97 (In Russian).
15. Karimov D. H., Baikuziev K. B. The second mixed problem for one hyperbolic equation degenerating on the boundary of the domain, Izv. Akad. Nauk UzSSR, Ser. Fiz.-Mat. Nauk, 1964, vol. 8, no. 6, pp. 27-30 (In Russian).
16. Baikuziev K. B. On the solvability of mixed problems for a class of non-linear equations of hyperbolic type that degenerate on the boundary of a domain, Izv. Akad. Nauk UzSSR, Ser. Fiz.-Mat. Nauk, 1967, vol. 11, no. 2, pp. 3-6 (In Russian).
17. Baikuziev K. B., Karimov D. H. On the solvability of a mixed problem for hyperbolic equations that degenerates on the entire boundary of the domain, Tr. Tashkent. Gos. Univ., 1969, vol. 2, no. 350, pp. 8-20 (In Russian).
18. Datkabayev D. A mixed problem for a system of second-order equations that degenerate on the entire boundary of the domain, Probl. Fiz.-Mat. Nauk. Tashkent, 1976, vol. 164, pp. 32-38 (In Russian).
19. Krasnov M. L. Mixed boundary problems for degenerate linear hyperbolic differential equations second order, Mat. Sb. (N.S.), 1959, vol. 49(91), no. 1, pp. 29-84 (In Russian).
20. Oleinik O. A. The Cauchy problem and the boundary value problem for second-order hyperbolic equations degenerating in a domain and on its boundary, Sov. Math., Dokl., 1966, vol. 7, pp. 969-973.
21. Bryukhanov V. A. A mixed problem for a hyperbolic equation degenerate on a part of the bounday of a region, Differ. Uravn., 1972, vol. 8, no. 1, pp. 3-6 (In Russian).
22. Vragov V. N. A mixed problem for a certain class of second order hyperbolic-parabolic equations, Differ. Uravn., 1976, vol. 12, no. 1, pp. 24-31 (In Russian).
23. Bubnov B. A. A mixed problem for certain parabolic-hyperbolic equations, Differ. Uravn., 1976, vol. 12, no. 3, pp. 494-501 (In Russian).
24. Baranovskii F. T. Mixed problem for a second-order hyperbolic equation which is strongly degenerate on the initial plane, Sib. Math. J., 1979, vol. 20, no. 3, pp. 338-346. DOI: https:// doi.org/10.1007/BF00969936.
25. Baranovskii F. T. A mixed boundary value problem for a hyperbolic equation with degenerate principal part, Sb. Math., 1982, vol.43, no. 4, pp. 499-513. DOI: https://doi.org/ 10.1070/SM1982v043n04ABEH002577.
26. Sabitov K. B., Suleimanova A. Kh. The Dirichlet problem for a mixed-type equation of the second kind in a rectangular domain, Russian Math. (Iz. VUZ), 2007, vol.51, no. 4, pp. 42-50. DOI: https://doi.org/10.3103/S1066369X07040068.
27. Sabitov K. B., Suleimanova A. Kh. The Dirichlet problem for a mixed-type equation with characteristic degeneration in a rectangular domain, Russian Math. (Iz. VUZ), 2009, vol. 53, no. 11, pp. 37-45. DOI: https://doi.org/10.3103/S1066369X0911005X.
28. Sabitov K. B., Egorova I. P. On the correctness of boundary value problems for the mixed type equation of the second kind, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2019, vol.23, no. 3, pp. 430-451 (In Russian). EDN: KBIAPC. DOI: https://doi.org/10.14498/vsgtu1718.
29. Khairullin R. S. Dirichlet problem for a mixed type equation of the second kind in exceptional cases, Differ. Equat., 2018, vol.54, no.4, pp. 562-562. EDN: UXXARG. DOI: https:// doi.org/10.1134/S0012266118040134.
30. Khairullin R. S. Problem with a periodicity condition for an equation of the mixed type with strong degeneration, Differ. Equat., 2019, vol.55, no. 8, pp. 1105-1117. EDN: CYEAGU. DOI: https://doi.org/10.1134/S0012266119080111.
31. 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., 1953, xvii+396 pp.
32. Naimark M. A. Lineinye differentsial'nye operatory [Linear Differential Operators]. Moscow, Fizmatlit, 2010, 528 pp. (In Russian). EDN: RYRSSP.
33. Mikhlin S. G. Lektsii po lineinym integral'nym uravneniiam [Lectures on Linear Integral Equations]. Moscow, Fizmatlit, 1959, 232 pp. (In Russian)
34. Watson G. N. A Treatise on the Theory of Bessel Functions, Cambridge Mathematical Library. Cambridge, Cambridge Univ., 1995, vi+804 pp.
