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

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2019. Т. 23, № 4. С. 622-645 188№ 2310-7081 (опИпе), 1991-8615 (ргт!) с1 https://doi.org/10

УДК 517.956.6

Задача Дирихле для уравнения смешанного типа с характеристическим вырождением

Ю. К. Сабитова

Стерлитамакский филиал Башкирского государственного университета,

Россия, 453103, Стерлитамак, пр-т Ленина, 37.

Аннотация

Для уравнения смешанного эллиптико-гиперболического типа с характеристическим вырождением исследована первая граничная задача в прямоугольной области. Установлен критерий единственности решения задачи. Ранее при доказательстве единственности решений краевых задач для уравнений смешанного типа использовали принцип экстремума или метод интегральных тождеств. Единственность решения данной задачи установлена на основании полноты системы собственных функций соответствующей одномерной спектральной задачи. Решение задачи построено в виде суммы ряда по системе собственных функций. При обосновании сходимости полученного ряда возникает проблема малых знаменателей более сложной структуры, чем в известных работах, относительно параметра, зависящего от длин сторон прямоугольника из гиперболической части области и показателя степени вырождения уравнения. В связи с этим установлены оценки об отделенности от нуля с соответствующей асимптотикой в случаях, когда данный параметр представляет собой натуральное, рациональное и алгебраическое иррациональное число степени два. Если данный параметр не является алгебраическим иррациональным числом степени два, то решения задачи в виде суммы ряда не существует. С помощью полученных оценок обоснована равномерная сходимость построенного ряда в классе регулярных решений при некоторых достаточных условиях относительно граничных функций. Также доказана устойчивость решения задачи относительно граничных функций в нормах пространства суммируемых с квадратом функций и в пространстве непрерывных функций.

Ключевые слова: уравнение смешанного типа с характеристическим вырождением, задача Дирихле, критерий единственности, существование, малые знаменатели.

Получение: 14 июля 2019 г. / Исправление: 23 октября 2019 г. / Принятие: 11 ноября 2019 г. / Публикация онлайн: 12 декабря 2019 г.

Научная статья

Q ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования

СабитоваЮ. К. Задача Дирихле для уравнения смешанного типа с характеристическим вырождением // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2019. Т. 23, № 4. С. 622-645. doi: 10.14498/vsgtu1721. Сведения об авторе

Юлия Камилевна Сабитова А https://orcid.org/0000- 0002- 7969- 007X кандидат физико-математических наук, доцент; доцент каф. математического анализа; e-mail: sabitovauk@rambler.ru

.14498/vsgtu1721

Введение. Для уравнения смешанного эллиптико-гиперболического типа

Ьи = ихх + ^пу) \у\пиуу + а\у\п-1иу — Ьи = 0 (1)

в прямоугольной области И = {(х,у) \ 0 < х < I, —а < у < Р}, где I > 0, а > 0, Р > 0, 0 < а < 1, 0 < п < а + 1, Ь — заданные действительные числа, поставим следующую граничную задачу.

Задача Дирихле. Найти функцию и(х,у), удовлетворяющую условиям

и(х,у) е С (Л) П С1Х(П) П С2 (Б+ и я-); (2)

'X \

lim УаиУ(%,У) = Ит (-у)аиу(х,у); (3)

Lu(x,y) = 0, (х,у) е D+ U D-; (4)

и(0,у)= и(1,у)=0, —а < у < ß; (5)

u(x,ß) = f (х), и(х, —а) = д(х), 0 ^ х ^ I, (6)

где D- = D П {у < 0}, D+ = D П {у > 0}, f (х) и д(х) —заданные достаточно гладкие функции, удовлетворяющие условиям f (0) = f (l) = 0, g(0)= g(l) = 0.

М. В. Келдыш [1] впервые исследовал более общее эллиптическое уравнение второго порядка от двух переменных, чем уравнение (1), при у > 0, с характеристическим вырождением. Он показал, что корректность первой граничной задачи существенным образом зависит от показателя степени вырождения и коэффициента при младшей производной иу. Опираясь на эту работу, И. Л. Кароль [2] исследовал задачу Трикоми для уравнения смешанного типа (1) при п = 1 и b = 0, т.е. для уравнения

Uxx + уиуу + аиу = 0 (7)

в области G, где G — область плоскости XOY, ограниченная простой жорда-новой кривой Г, лежащей в полуплоскости у > 0 с концами в точках 0(0, 0) и А(1, 0), характеристиками ОС и АС уравнения, расположенными в полуплоскости у < 0. Им было доказано, что постановка краевых задач для уравнений смешанного типа с характеристическим вырождением (7) в области G зависит от коэффициента а и класса решений уравнения (7). Это является существенным отличием от постановки краевых задач для уравнений с нехарактеристическим вырождением. В качестве примера: задача Трикоми при значении коэффициента а < 0 недоопределена, а уже при а > 0 — переопределена.

И. Л. Кароль для уравнения (7) в области G при 0 < а < 1 исследовал задачу Трикоми, где на линии перехода вводится условие сопряжения с весом:

lim уаиу(х,у) = k lim уаиу(х,у), 0 <х< 1,

у^-0+0 у^0-0

где к = -1 при 0 < а < 1/2, к = 1 при 1/2 < а < 1.

Задача Трикоми при а < 0 становится корректно поставленной, если условия склеивания ввести по-иному. С. С. Исамухамедов [3] впервые исследовал задачу Трикоми для уравнения (7) при а = —п + а0, а0 е (0,1/2) U (1/2,1),

где эллиптический контур Г предполагается «нормальным» по терминологии Трикоми, т.е. имеет вид (х — 1/2)2 + 4у = 1/4. На линии вырождения кроме условия непрерывности решения также задавалось условие склеивания

Vi(x) = (—1)nV2(x), (8)

где

и1(х) = lim уа[иу + B^+(U)], U2(x) = lim (—у)а[и — В-(х,у,т)]у,

В+(и) — некоторый дифференциальный оператор, В-(х, у, т) — решение уравнения (7), удовлетворяющее условиям

д

В-(х, 0,т) = т(х), lim (—у)а—В-(х,у,т) = 0. у^0- оу

М. Ю. Крикунов [4] изучал задачу Трикоми для уравнения (7) при а = = —п + 1/2. Р. С. Хайруллин [5] для уравнения (7) в случае когда а ^ —1/2 в смешанной области G, где кривая Г является «нормальным» контуром, доказал однозначную разрешимость задачи Трикоми методом интегральных уравнений.

Р. И. Сохадзе [6] для уравнения (7) при 0 < а < 1 исследовал первую краевую задачу в прямоугольной области D (где I = 1) при условии, что при всех п £ N

—а

(2vk^ß) + Ji-a(2nkV^)Ia-i(2 ъку/ß) = 0,

где J1-a(z) и I1-a(z) — функции Бесселя первого рода порядка 1—а с действительными и чисто мнимыми аргументами соответственно. А в другой работе этого же автора [7] для уравнения (7) при а > 1, где а — фиксированное целое число, изучена задача Дирихле со следующими весовыми условиями склеивания:

lim уа-1и(х,у) = lim (—у)а-1и(х,у), 0 ^ х ^ 1; lim уаиу(х,у)= lim (—y)aUy(x,y), 0 < X < 1

В этих работах методом разделения переменных построены частные решения уравнения (7) при указанных значениях а. Решение задачи формально построено в виде суммы ряда, но отсутствуют четкие доказательства единственности поставленных задач и не приводятся обоснования сходимости рядов.

Для уравнения смешанного типа второго рода

иХх + sgn у lylmuyy — Ъ2 и = 0, 0 <т < 2, b = const ^ 0, (9)

в прямоугольной области D в зависимости от значений параметра т К. Б. Сабитовым и А. Х. Трегубовой (Сулеймановой) [8] была решена первая граничная задача и видоизмененные задачи. Решение задач построено в виде суммы ряда Фурье. Доказаны теоремы единственности решения задач и найдены

достаточные условия сходимости рядов в соответствующих классах решений уравнения (9) при следующих значениях параметра т: 0 < т < 1, 1 < т < 2, т = 1.

Р. С. Хайруллин [9], используя методы работ [8-10], установил критерий единственности решения задачи Дирихле для уравнения (7) в прямоугольной области D при отрицательных значениях параметра a ^ -1/2, при этом на линии изменения типа уравнения задаются неклассические условия сопряжения типа (8). Позже в работе [11] он показал существование решения этой задачи.

Отметим также работы А. И. Кожанова [12,13], И. Е. Егорова [14,15] и их учеников, где изучались краевые задачи для уравнений смешанного типа функциональными методами.

Автором [16] исследована нелокальная задача, близкая к задаче (2)-(6), для уравнения смешанного типа с нехарактеристическим вырождением вида

К (y)uxx + иуу = 0, (10)

где К (у) = sgn ylylm, т > 0. Уравнение (10) сводится к уравнению (7) путем замены х = х, z = |y|m+2/(rn + 2)2, где a = (т + 1)/(т + 2) е (1/2,1).

Данная работа является продолжением исследований автора [16-18]. Здесь при всех a е (0,1) и 0 < n < a + 1 установлен критерий единственности решения задачи (2)-(6).

Теорема 1 (Критерий единственности решения). Если существует решение задачи (2)-(6), то для его единственности необходимо и достаточно, чтобы при всех n е N выполнялись условия

Ак( а,3) = Jv(pkaq)KV(ркpq) + Iv(ркpq)YV(pkaq) = 0,

где

__К

Y и (Pk (-y)q) = — (Jv (pk (-У )q) + J-v (Pk (-У )q)), 2sin kv

Jv (Pk (—y)q) и Yv(pk(-y)q) —функции Бесселя первого и второго рода соответственно, Iv(pkyq) и Kv(pkyq) — модифицированные функции Бесселя,

и = (1 - a)/2q, pk = Xk/q, q = (2 - n)/2, Xk = \j+ b, Vk = кк/l.

В дальнейшем, не теряя общности, будем считать, что b ^ 0, так как в противном случае начиная с некоторого номера ко при всех к ^ ко выполняется неравенство + b ^ 0. Поэтому знак b не влияет на полученные результаты.

Отметим, что ранее при доказательстве единственности решений краевых задач для уравнений смешанного типа применяли принцип экстремума или метод интегральных тождеств ([19, с. 28-64], [20, с. 295-302], [21, с. 37-58]). В прямоугольной области эти методы не работают. Поэтому здесь единственность решения задачи (2)-(6) установлена на основании полноты системы собственных функций соответствующей спектральной задачи.

Решение задачи (2)-(6) построено в виде суммы ряда

Í2 ^

u(x,y) = d- 2^ик(у) sin/лкх, (11)

к=\

где функция ик(у) построена и приведена ниже формулой (39). Выражение Ak(a, 0) является знаменателем этих коэффициентов. Для обоснования сходимости ряда (39) в классе регулярных решений (2)-(4) доказаны следующие утверждения.

Утверждение 1. Выражение Aк(a, 0) имеет счетное множество положительных нулей относительно параметра agi = aq/(ql).

В силу этого утверждения возникает проблема малых знаменателей более сложной структуры, чем в известных работах В. И. Арнольда [22,23].

Для исследования асимптотики нулей представим Ak(a, 0) в следующем виде:

Ак ( a,p ) = h (р к P q ) 6к (a,p),

где

5к (a,0) = Jv (p kaq ) K/(Pk+ F, (pkaq ) = Iv (p к PQ )

Jv(nk\kaqi) Ku(7rk^kPqi) +y^(7Tk\kaql) = (Clql,fjql), Iv (7 k Xk pqi )

. , (jbl\2 a* a pi

Xk = \11 + Ы, a* = arv = W

Функция Kv(■.ккХкPgi) при больших k строго убывает по асимптотической формуле k-1/2е-жк13ч1, а функция Iv(ик\кfîqi) строго возрастает по формуле

k-1/2 ежк13ч1, поэтому величина Ju (7ik\kaai) Kv есть бесконечно малая

4 Iv (кк\крч1)

более высокого порядка, чем Yv(nk\kaqi) при больших к. Поэтому достаточно рассмотреть выражение

h (aqi ) = yu (7k\kaqi ) = Ju (-ïïk\kaqi ) + J-v (7ik\kaqi ),

7

которое также имеет счетное множество положительных нулей относительно aqi.

Утверждение 2. Если выполнено одно из следующих условий :

1) aqi является произвольным натуральным числом;

2) aqi = d/t является произвольным 'рациональным числом, d, t G N, (d, t) = 1, (t, 4) = 1, d/t G N,

то существуют положительные постоянные С0 и к0 (к0 G N), зависящие от a, l, a, q, такие, что для всех к > к0 справедлива оценка

\ôk(aql)| > С> 0. (12)

Если же

3) aqi является иррациональным алгебраическим числом степени 2, 626

то существуют положительные постоянные С\ и к0 (ко G N), зависящие от а, I, a, q, b, е0 и удовлетворяющие неравенству

>2l_Vb ^

к

и для всех к > к0 справедлива оценка

{ 21 Vb\2

ео - 2aqiy —^j > 0,

№Ki)| > -С-2. (13)

Если §k(aql) = 0 при всех к = 1,к0, то существует единственное решение задачи (2)-(б), которое определяется рядом (11).

На основании утверждения 2 при определенных условиях относительно граничных функций f(x) и д(х) доказана равномерная сходимость ряда (11) в классе регулярных решений (2)-(4), т.е. доказаны следующие утверждения.

Теорема 2. Пусть число aqi удовлетворяет условиям 1), 2) утверждения 2, т.е. выполнена оценка (12) при всех к > ко, функции f(x), g(x) G С3[0, l], f(0) = g(0) = 0, f(l) = g(l) = 0,J^0) = g"(0) = 0, f(l) = g"(l) = 0. Тогда, если ôk(agi) = 0 при всех к = 1,к0, то существует единственное решение задачи (2)-(6) и это решение определяется рядом (11). Если же ôk ( agi) = 0 при некоторых к = S\,S2,..., sm ^ к0, то задача (2)-(6) разрешима только тогда, когда выполнены условия (59) и 'решение определяется рядом (60).

Теорема 3. Пусть число aqi является иррациональным алгебраическим числом степени 2, т.е. выполнена оценка (13) при всех к > ко, функции f(x), g(x) G С4[0, l], f(0) = g(0) = 0, f(l) = g(l) = 0, _Пр) = g"(0) = 0, f"(l) = 9" (ï) = 0. Тогда, если ôk(agi) = 0 при всех к = 1,к0, то существует единственное решение задачи (2)-(6) и это решение определяется рядом (11). Если же ôk(agi) = 0 при некоторых к = si,s2,..., sm ^ к0, то задача (2)-(6) разрешима только тогда, когда выполнены условия (59) и решение определяется рядом (60).

Теорема 4. Пусть выполнены условия теоремы 2 и ôk(aqi) = 0 при к = = 1,к0. Тогда для решения задачи (2)-(6) справедливы оценки

I

.. , ^ , Ml(\\f\\L2[oA + Wgh^i]) при и > I/2,

\Hx, y)WL2 M ........(14)

M-(WfWc [o,i] + \ш\\с[од) при и < 1/2;

/ М;Ш\\с[0,1] + \\д"\\ср,1]) при ^ 1/2, МХ,т°™ ^ МА(\\Г\\ст + УЫ при и < 1/2, (15)

где М1, М2, М3, М4 —положительные постоянные, не зависящие от граничных функций ¡(х) и д(х).

Ниже приводятся доказательства теорем 1-4.

1. Критерий единственности решения задачи. Пусть и(х, у) является решением задачи (2)-(6). Подставляя произведение и(х, у) = X(х)У(у)

в уравнение (1), относительно функции X(х) получим спектральную самосопряженную задачу:

Х''(х) + ц2Х(х) =0, 0 <х <1, (16)

X (0) = X (I) = 0, (17)

где ц — постоянная. Решение спектральной задачи (16), (17) имеет вид

[2 . жк

Хк(х) = \/- ът цкх, Цк = — , к е N. (18)

Тогда по системе (18) введем функции

ик (*) = у1г1 и(х,у)*тцк х(х, к = 1, 2,..., (19)

На основании (19) рассмотрим вспомогательные функции

I'1-е

и£,к (у) = ^ !е и(х, у)ътцк хйх, к = 1, 2,..., (20)

где е > 0 — достаточно малое число. Дифференцируя дважды равенство (20) при у е (-а, 0) и (0,0) и учитывая уравнение (1), получим

/1-е

иуу (х, у) втцкх(х = (вдпу)

Ъ2 а

т~^и£,к(у) -тли£,к(у)-

ихх(х, у)ъ\пцкх(1х

(21)

Интегрируя (21) по частям два раза с учетом условий (5) и переходя к пределу при 0, получим обыкновенное дифференциальное уравнение

а Ъ2 + и2

и'к (у) + Ыпу) -щи'к (у) - (щпу) -у^ик (у)=0, уе (-а, 0) и (0,0). (22)

Произведя в уравнении (22) замену при у > 0

и+ (у) = W (Ркуд)у ^, Я = , Рк = у, Ак = УЦТъ, (23) получим модифицированное уравнение Бесселя

W"(г) + ^'(г) - (1 + ^^(г) = 0, г= Ркуд, и = ^. (24)

£ \ £ / 2С[

В дальнейшем, не теряя общности, будем считать, что Ь ^ 0, так как в противном случае начиная с некоторого номера ко при всех к ^ ко выполняется неравенство и'к + Ь ^ 0.

628

Общее решение уравнения (24) определяется по формуле

W(г) = С1I»(г) + С2К»(г), г> 0, (25)

где I» (г) и К»(г) — соответственно модифицированные функции Бесселя первого и третьего рода, С1 и С — произвольные постоянные. Тогда на основании (23) и (25) общее решение уравнения (22) при у > 0 определяется по формуле

и+(у) = у- Ы» (Рк уя) + ЬкКу (Рк у«)], (26)

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

В уравнении (22) при у < 0 произведем замену

ч(у) = г (рк (-Уу )(-у) 1-1, (27)

в результате получим уравнение Бесселя

г" (г) + ±г' (г) + (1 - ^) Я (г) =0, г = Рк (-у У. (28)

Общее решение уравнения (28) определяется по формуле

г (г) = СгЪ (г) + С(г), г< 0, (29)

где (г) и У» (г) — соответственно функции Бесселя первого и второго рода, С3 и С4 — произвольные постоянные. Тогда на основании (27) и (29) общее решение уравнения (22) при у < 0 определяется по формуле

% (У) = (—У) ^ [ Ск3» (Р к (—У У )+(1к¥„ (р к (-у)«)], (30)

где Ск и dк — произвольные постоянные.

Таким образом, функции (19) определяются с учетом формул (26) и (30):

ик(у) = [ Ь+(у), У> (31)

ик(У) = \ч(у), у < 0. (31)

С учетом класса решения (2) и (3) в (31) подберем постоянные ак, Ьк, Ск и dк так, чтобы выполнялись условия сопряжения

Пк(0 + 0)=Пк(0 - 0), 11т уаи'к(у)= 11т (-у)аи'к(у). (32)

у^0+0 у^-0-0

Первое из равенств (32) выполнено, если dк = -кЬк/2 при любых ак и Ск, а второе равенство будет иметь место при п < а + 1 и Ск = к Ьк ^(к у)/2 - ак, dк = -к Ьк/2.

Подставив полученные выражения для постоянных Ск и dк в (31), будем иметь

/Л [у1-1 Ы» (РпУ4)+ ЬкК (р кУч)], у> 0, ^

ик (У) = < _ (33)

I (-у) — [-акЛ(Рк(-уУ)+ ЪкУ»(Рк(-уУ)], у < 0,

где

^ (Pk (-y)q) =

ж

2sin-xv

[ Ju (Pk (-y )q) + J-u (Pk (-y )")].

На основании граничных условий (6) и формулы (19) справедливы равен-

ства

Uk(3) = ]fj f f(x)sin\kxdx = fk, Uk(-a) = ^ J

-a) = y - J g(x) sin \kxdx = gk.

° (34)

Удовлетворяя функции (33) граничным условиям (34), получим систему для нахождения постоянных ak и bk:

I ак1и (рк3я) + ЪкК„(рк/3«) = Д3^, I -ак3,(Рк^д) + ЬкУи(РкоР) = дкаV , к = 1, 2,... . Если при всех к € N определитель системы (35)

А к (а,3) = 3» (Рк&9 )К (рк 3я) + 1и (Рк 3я )Уи (рка.1) = 0,

то данная система имеет единственное решение

1

ak = -j—,—fkР 2 Yu(Pka4) - gka 2 Kv(pk3я)], A k(a, p)

bk = д / aAfkР^ Ju(pka4)+ gka(pk3я)]. Ak(a, p)

Подставляя (37) и (38) в (35), найдем функции

1

Д(£) 2 A k (a, y)+ gk( y) 2 Ak (y ,p)

3'

Uk(y) = < Ak^r , ,

fk{ -f) 2 Bk (a, - y)+ 9k[ -y) 2 Ak (-y ,p)

где

A k( a, p) k p

A k(a, y) = Ju(Pkaq)Ku(Pkyq) + Yu(pkaq)h(Pkyq), Ak (y ,p ) = Iu (Pk pq )Ku (Pkyq) - Iu (Pkyq)Ku (Pk pq),

Bk (a, -y) = Ju (Pkaq )Yu (Pk (-y )q) - Yu ('Pkaq )Ju ('Pk (-y )q) =

(35)

(36)

(37)

(38)

y> 0, y < 0,

(39)

ж

2sinKV

[Ju(Pkaq)Ju(Pk(-y)q) - Ju(Pkaq)Ju(Pk(-y)q)],

А к (-у ,3) = 3» (Рк (-у )Я)К (Рк 3я) + г, (Рк (-у )я) и (Рк 3я).

Доказательство теоремы 1. Если существует решение задачи (2)—(6), то для его единственности необходимо и достаточно, чтобы выполнялись условия (36) при всех к € N.

Достаточность. Пусть ¡'(х) = 0, д(х) = 0 на [0,1] и выполнены условия (36) при всех к Е N. Тогда Д = 0, дк = 0 при всех к Е N. Следовательно, согласно формуле (39) при у Е [-а,Р] функции ик (у) = 0 ив силу (19) имеем

[2 Г1

у- ! и(х, у)в'т^к х(х = 0, к = 1, 2,....

Отсюда в силу полноты системы (18) в пространстве Ь2 [0,1] следует, что функция и(х, у) = 0 почти всюду на [0,1] при любом у Е [-а,Р]. Поскольку в силу (2) функция и(х, у) непрерывна в И, то и(х, у) = 0 в И.

Необходимость. Пусть существует единственное решение задачи (2)-(6). Надо показать, что при этом выполняются условия (36) при всех к Е N. Предположим, что при некотором к = ( выражение А^(а, Р) = 0. Тогда однородная задача (2)-(6), где ¡'(х) = д(х) = 0, имеет ненулевое решение

Ud(x, у) = <

1 —g

у 2 Ad(y,f) .

sin ydx, у ^ 0,

L (рdfq )

N 1 - Л

(-у ) — Ad(-y ,0)

h (р dfq

sin уdx, у ^ 0,

что противоречит условию.

Выясним, при каких а, Р, I, а и к выражение Ак(а,Р) равно нулю. Для этого представим знаменатель А к(а,Р) в следующем виде:

А к (а,Р ) = 1и (рк )6 к (а,Р),

где

6к(а, Р) = 3У (ркад) + (ркад).

Представим аргументы функций Бесселя, входящих в формулу (20), в виде _

Р^ = = "* = ^ 1 + ( § )2 = ^к а* -

где

Л ,Л (Tbl\2 aq 0 fq

Xk = \11 + Ы, а« = Т fql = Т

Тогда выражение 5к ( a, f) будет определяться по формуле

5к(a,f) = Jv(7rk~\kaqi) K»(77k^kf<iÏÏ +у^(7гк^кад1 ) = ^(aqhfqi).

Iv (7k\k fgl )

Существование нулей 5k(aig,fqi) относительно aqi следует из того, что функции Jv(nk\kaqi) и Yv(nk\kaqi) являются линейно независимыми решениями уравнения Бесселя

1 Г v21

у" (agi) + — у1 (agi) + (nk\k)2 - — y(aqi) = 0. (40)

agl L agiJ

Поскольку функции 3»(тгк\кад1) и 5к (ад1, /д1) являются линейно независимыми решениями уравнения (40), из общей теории линейных дифференциальных уравнений следует, что нули двух линейно независимых решений уравнения Бесселя строго чередуются, т.е. на интервале между любыми последовательными нулями любого из этих решений содержится ровно один нуль другого решения. Функция 3»(тткХ.кад1) имеет счетное множество положительных нулей. Тогда функция §к(ад[,/ф) также имеет счетное множество положительных нулей относительно ад1. Следовательно, для задачи (2)—(6) установлен критерий единственности. □

2. Оценки малых знаменателей. Поскольку ад[ — любое положительное число, то при достаточно больших к выражение Ак(а, /), которое входит в знаменатель формулы (39), может стать достаточно малым из-за существования счетного множества нулей §к (ад1,/д1) относительно ад1. Следовательно, возникает проблема малых знаменателей [10,22,23]. Функция К»(тгкХк3д1) при больших к строго убывает по асимптотической формуле к-1/2е-жк^, а функция I»(тткХк/д1) строго возрастает по формуле к-1/2ежк^, поэтому величина

3» (жк~Хкад1) ^^¿кМ I» (ж кХк 33Ф)

есть бесконечно малая более высокого порядка, чем У»(тгкХкад[) при больших к. В связи с этим достаточно рассмотреть выражение

4 (ад1) = 2 ^ У» (жкХкаф) = 3»(жкХкаф) + 3-»(жк~Хкадг),

которое также имеет счетное множество положительных нулей относительно ад1.

Функция 3»(тгкХкад[) = 0 только в том случае, когда аргумент жкХкад1 совпадает с нулями функции Бесселя первого рода 3»(х), и = (1 — а)/(2д), при х > 0. Известно [25, с. 70], что функция 3»(х) при V > —1 и х > 0 имеет счетное множество изолированных нулей х»,т, т € N. Значит, 3»(тгкХкад[) = 0 только тогда, когда

ад1 = —Х-, к, т € N. жкХк

Поскольку ад1 —любое положительное число, оно может принимать значения, близкие к нулям §к(ад[,/ф). Поэтому при больших к выражение Хк( ад[, 3ф) может стать достаточно малым.

Выражение Хк, которое зависит от

при условии

- < 1 или к >-= к1

ж ж

можно представить в виде

*=(1+(§ )Г=1+«к,

при этом для справедлива оценка

3 (£ )2 < * < 2 (£

(41)

Используя асимптотическую формулу [25, с. 98]

Л (-г) = \ — cos (z — — ^ + 0( z-5/2), z^<x>, V к z \ 2 4)

при к > к0, где к0 — достаточно большое натуральное число, получаем

Vk5k (aqi) = - * —— \со^ккаЯ1 + Qkaqi

к\ Xkaqi 1 v

ки к

— — 4

к к )

Т — ~4)

к'

Jy-—cos ^ sinivkaqi + Qkcaqi + h = ккOk. (42) V hkaqi 2 v 4J

1. Пусть ад1 = р, р € N. Тогда, поскольку

Хк ^ 1 и вк ^ 0, при всех к > ко из (44) получим оценку

(р)

2 2 кур

, , к\ ки sin ккр + — J cos —

2

>

1

Ky/i>

■ки

cos

(43)

= Сх > 0. (44)

2. Пусть ад1 = — рациональное число, где й, I € N (й, 1) = 1, (1,4) = 1,

€ N. Разделим кй на £ с остатком: кй = + г, 8,1 € N = Nи{0}, 0 ^ г <1.

Тогда соотношение (42) принимает вид

VhSk (aqi) = (—iy-

^ ^kaql

к \l Skaql

Если г = 0, то из представления (45) получим

,2

к к — + Qkaql + 4

к

cos

(45)

VhSk (aqi) = (—1Г 2 к

/

2

Akaql

sin

к

Vkaqi + 44

ки

cos

(46)

Поскольку последовательность вк в силу оценки (41) является бесконечно малой при к ^ существует число к2 € N такое, что при всех к > к2

~ ж ж

0 < вкаЯ1 + 4 < ^.

2

2

2

Тогда в силу неравенства

2 ж

sm£ > —х, 0 < х < —, ж 2

на основании (41), (46) получим оценку

Тк~5к(aqi) >

ж2

' Y ~Xkaqi

жи

cos

Okaql + 4) ^

^ ж н

Xkttql

жи

cos

( 2 ( ж У + 0 > 0

при к ^ max[ki,k2}.

Пусть г > 0, тогда 1 < г < t — 1, t ^ 2. Поскольку выражение sin +

+ Gkaqi + 4] имеет конечный предел при к ^ ж, существует к3 £ N такое, что при всех к > кз из (45) будем иметь

Vkók (aqi)

1

^ -ж

жи

cos

sinKi+4)

= С3.

(47)

В силу последней оценки следует исключить случай, когда ^ + | = 1, то есть число ^ надо взять так, чтобы выполнялось неравенство \ = 4. Если

числа ¿и 4 взаимно простые, то постоянная Сз из (47) всегда больше нуля.

Из полученных выше неравенств (44) и (47) следует справедливость оценки

Ыа,) > 0

при всех к > к0 = тах{к\,к2, к3}, где С0 = тип{С\,С2, С3}.

Замечание. Если (Ь, 4) > 1, т.е. пусть £ = 4ЬI, Е М, тогда из оценки (47) следует, что

/Г 1\ /Г 1\ /Г 1\ ж ( Т \

sin ж - + - = sin ж[ —+ - = sin ж ---+ - = sin —--h 1 .

\t 4) \t 4) \4t 1 4) 4 V ti )

Отсюда, например, при г = 3t1 последнее равенство будет равно нулю.

3. Рассмотрим случай, когда aqi является алгебраическим иррациональным числом степени 2. Тогда соотношение (42) представим в виде

Vk Sk (aqi ) = (—1)m -ж

У XkUql

2 жи . / жк 4m — 1 \ л \

^cos sinU \4а* —k~) + kaq )

(48)

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

Для любого к Е N существует нечетное число т' = 4т — 1 = 2т" — 1, т" = 2т [26] такое, что имеет место неравенство

m

4 aql — т

1

<к.

2

2

2

2

Действительно, для этого достаточно положить

m =

[4 к a:^], если [4кaqi] — нечетное, [4kaqi] + 1, если [4кaqi] — четное,

где [4кaqi] — целая часть иррационального числа 4кaqi.

Число m G N возьмем таким, чтобы в силу неравенства (49) выполнялось неравенство

4 m — 1

aqi

жк

4 к

ж

<~4.

(50)

Если ая1 является алгебраическим числом степени два, то в силу теоремы Лиувилля [27, с. 60] существует положительное число £о, зависящее от ад[, такое, что при любых целых 4к и 4т — 1, к > 0, выполняется неравенство

aq

4 m 1

4

>

£о 16 к 2.

(51)

В силу оценок (41) имеем

0 < aqi 9к <

aqi(Ы)2 _ С±

2жк к

Тогда с некоторого номера ко при всех к > ко выполняется условие

(52)

aqi(bl)2 < ж 2ж 2.

Тогда из (50) и (52) возможны два случая:

,, ж ^ . ( 4m — 1 \ ~ ж ~

1) 2 ^^[aqi--+ aql< 4+С4 <ж,

. ж г 4m — 1 \ ~ ж

2) — 2 --4^)+aql°к < 2.

В первом случае

sin

кк( aqi — -—4-—) + aqiвк

> sin( -7 + С4^ > si^ —j— = cos -7 > .

3ж

T

ж > Cl5

4 > к

Во втором случае с учетом неравенств (51) и

\ sinx\ > 2\х\, 0 < \х\ <

ж 2

имеем

sin

nfî^aqi —

4 m — 1 4к

> 2 к

aq

) + aqi 0 к

4 m 1

2

> -ж

■ïï^aql — + aql вк

>

4 к

~ 2 £0 2С4 1 ( 2С4 \ — аф9кж>— ^к = к{£0 — —). (53)

Потребуем, чтобы постоянные (хд\, и £о удовлетворяли неравенству

( 21ТЬ Л2

ео — 2аЯ1^> 0,

( 2ЫЪ_ \2

к )

которое, например, при малых I, или л/Ь, или а всегда имеет место. Тогда из (48) и (53) при к > к0 следует

Тем самым нами доказано утверждение 2.

3. Обоснование существования решения задачи. Если §к(ад[) = 0 при к = 1,ко и выполнена оценка (12), то на основании частных решений (18) и (39) решение задачи (2)-(6) представим в виде суммы ряда

те

и(х, у) = ^ик(у)Хк(х). (54)

к=1

Покажем, что при определенных условиях на числа ад[ = ад/(д1) и функции /(х), д(х) ряд (54) сходится равномерно в замкнутой области И и можно применить дважды почленное дифференцирование по переменным х и у соответственно в замкнутых областях И+£ и И-£, где И+£ = И+ П {у > е} и И-£ = П {у < —е}, где е — достаточно малое положительное число.

Рассмотрим следующие отношения:

1 — а 1 — а

О , ч У 2 Ак(а, У) ™ { ч У 2 Ак(у,Р)

Кк (У) = Л (п в\ , Тк (У) = А (п вЛ , УЕ [0,Р\,

Ак ( а,р) Ак (а,Р ) (55)

, .1—а , . , .1—а . , .

Мк(у) = —АШ)—, Ьк(у) = —АШ)—, уЕ [ ,0].

Лемма 1. Пусть выполнено условие (12) при всех к > к0. Тогда для таких к справедливы следующие оценки:

К (у)1 <С2, уЕ [0,Р]; К (у)1 < Сз к, К Ш < С4к5 -, у Е [е ,Р];

1Тк(у)1 < С5к2^, у Е [0,Р]; 1Тк(у)1 < С6к, Т(у)1 < С7к2, у Е [е,Р];

Мк (у)1 <С8, УЕ [—а, 0]; Мк (У)1 < С9 к, М'к (у)1 < Сюк5, у Е [—а, —е];

1Ьк(у)1 < Спк2, у Е [—а,0]; 1Ь'к(у)1 < Ы, Щ(у)1 < С\зк5, у Е [—а, —4 Здесь и далее Сг — положительные постоянные.

Доказательство. Рассмотрим функции Кк (у). На основании асимптотических формул поведения функций Бесселя в окрестности бесконечно удаленной точки [29, с. 227] и в окрестности нуля [25, с. 98-99] из (55) при 0 ^ у ^ Р и больших к имеем

R (у)1 ^^J feag Ж К, (ад/д)+у Iv (р кУ q)\Yv (ркоР )|

h (p к Рд )Co

<

^Ce 2 ^(Pf]\Y,(pka2)\^C2,

Co Iv (рк P1)

Используя формулы [25, c. 90], вычислим производную

о---1 чд 2 2

Кк (у) = РТ( V 1^-1(РкУ9)Уи (РкО9) — ъ (р кО? )Ки-1(рку«) Ак(а,/3) I

Отсюда на основании оценки (12) и асимптотических формул функций Бесселя в окрестности бесконечно удаленной точки при у £ [е, р\ получим

\ R,k(у)\ ^тг^тт íl Jv(Vka°)\уд-2- 1Ки-1(ркУЧ) +

h (Рк Рд )Co

+ уд- 2 - 2 Iv-i(Pkyд) \ Yv (Pkaq )\

<

.я, , VкркУд 2 1 Iv-!(ркуЧ)— о

< с\к +-cOMPÍJ—)-\^(Vka ^ ^ °зк- (56)

Для производной второго порядка функции Rk(y) имеет место представление

R'í(у) = pIq2у2д-2Rk(у) - -R(у), о <у <р.

Из данного равенства в силу оценки (56) следует, что

\ Rkk(У)\ ^С4к2, е^у^р.

Аналогично получаем оценки для функций Тк (у), К к (у) и Lk (у) и их производных первого и второго порядков.

Лемма 2. Пусть выполнено условие (12) при всех к > к0. Тогда для таких к справедливы следующие оценки:

\ Пк (у) \ <Си(\/к\ +к 2-\9к\), ye [-a,/3];

\<(У)\ < С15к(\fк\ + \9к\), К(у)\ < Сгек2(\Д\ + \9к\), У e [-a, -e] U [е, Р].

Доказательство. На основании формулы (39) с учетом функций (34), (35) получим представление для функции

а—1 a—1

, }кР "ГRk (у)+ 9ка ^Тк (у), у> 0,

Кк(у) =

fкР(у) + дка-^rLk(у), 0.

Отсюда, используя лемму 1, нетрудно получить указанные оценки для функции Кк(у) и ее производных первого и второго порядка. □

Лемма 3. Пусть f(x), g(x) G С3[0,I], f(0) = д(0) = 0, f(l) = д(1) = 0, f"(0) = g" (0) = 0, ¡"(I) = g"(I) = 0. Тогда справедливы представления

A3) (3)

Л = ^Т, 9k = ^Г, (57)

где

îk3 = ]fj J f"(x)cos^kxdx, gf3 = J g"'(x)cosy,kxdx,

E I^ < \\ f"(x)\\l2m, E l^l2 < h'''(x)\\lm. (58)

k=1 k=1

Доказательство. Интегрируя по частям три раза интегралы в (34) с учетом условий леммы, получим представления (57). Оценки (58) являются неравенствами Бесселя для системы косинусов {-—, cos ^kx}. □

Таким образом, в силу лемм 2, 3, ряд (54) при любом (x, у) из D мажорируется сходящимся рядом

Ci7 £ ¡з (l/fl + l^l)

к=к0+1

поэтому ряд (54) сходится равномерно в замкнутой области И. Ряды из производных первого и второго порядка мажорируются соответственно на замкнутых областях И+£ и И—£ сходящимся числовым рядом

:

Ci« £ i(l/k3)l + tó3)l)

k=k0+l

поэтому сумма и(х, у) ряда (54) принадлежит классу (2) и удовлетворяет уравнению (1) на множестве D+ U D-.

Если для указанных в утверждении 2 значений aqi из случаев 1), 2) выполняется равенство A s(a, ß) = 0, где s = si, s2, ..., sm и m — заданные натуральные числа (1 ^ s1 < s2 < ... < sт ^ ко), то для разрешимости задачи (2)—(6) необходимо и достаточно, чтобы выполнялись условия

fsa V Jv (р saq ) + gaß V Iv (р ß ) = О, (59)

где ¡3, дв определены ниже формулами (34). Тогда решение этой задачи определяется в виде суммы ряда

(«1 — 1 «2-1 N

Е + Е+••• + Е ) ик(у)в'т^кх(х,у), (60)

к=1 «1+1 вт+У я

где в последней сумме д принимает значения $1,52,..., и функции и3(х, у) определяются по формуле

us(x, у) = <

fsV 1 (psyq) ^ у1 2а As(y ,в)\

s +Cs Т , д \ )sin^sx, у> 0,

P V Iu (р sP* ) h> (Р sPq )

'WsA

1 - а , , . , . 1 — а

'9J-H т]. к П ^ MZÏ i\sin,iX, V* 0.

Здесь Cs — произвольная постоянная; конечные суммы в (60) следует считать нулями при условии, когда верхний предел меньше нижнего.

Таким образом, доказана теорема 2.

Если oqi является алгебраическим числом степени 2, тогда будут справедливы следующие леммы.

Лемма 4. Пусть выполнено условие (13) при всех к > к0. Тогда для таких к справедливы следующие оценки :

3

u(y)l *Ci9(klM + m-v|gk|), ye [-o,P]; lu'k(y)l * C2ak2(lfkI + Igk|), К(y)l * C21k3(| fkI + Igk|), У e [-o, -e] U [e, f].

Доказательство леммы 4 проводится аналогично доказательству леммы 1.

Лемма 5. Пусть f(x), g(x) e C4[0, l], f(0) = g(0) = 0, f(l) = g(l) = 0, (0) = (0) = 0, ( ) = ( ) = 0. Тогда справедливы оценки

A4) A4)

f = J k = iJk

J k = 4 , 9 k = 4 , Vk Vk

где

fk4 = ]fj f f(4) (x)s'm^k xdx, g[4) = \fj f g{4)(x)sinvk xdx,

EIfk4)i2 * \\f{4)(x)\\lM, EIà4)i2 * {4)(x)\\lm.

1к \^/\\Ь2[0,Ц> / ., Мк

к=1 п=1

Доказательство леммы 5 проводится аналогично доказательству леммы 3.

На основании лемм 4, 5 по аналогии с доказательством теоремы 2 доказывается теорема 3.

5. Устойчивость решения задачи. Рассмотрим следующие нормы:

\\u(x,y)\\L2[0,l] = \\u(x, у)\\ь2 = ^J'^Iu(x, y)I2dxj , -o *y*P,

\\u(x, y)\\cp = max Iu(x

D

Доказательство теоремы 4. Поскольку система собственных функций (18) является ортонормированной, из формулы (54) и леммы 2 имеем

те те

\\и(х, у)\\12 =^ик (у) < 2С?4 Е(1 ¡к I2 + 1к2—"9к |2). (61)

к=1 к=1

Если V < 1/2, то из неравенства (61) имеет место оценка

(те те ч

Е(1 ЛI2 + Е 1к29кI2) . (62)

к=1 к=1 '

Учитывая, что при д(0) = д(1) = 0 коэффициент дк можно представить в виде

9к = ^ ^т, где д^ = ^ I д'(х)сов^кхйх, (63)

из неравенства (62) получим

(те те \

Е(|лI2 + ЕIзк^п ^мтй2 + У\?Ь2)■ (64) к=1 к=1 '

Если V ^ 1/2, то из оценки (61) имеем

те

\\и(х, у)\\12 < 2(514 Л I2 + Ьк I2) = М2(\\П12 + ЫЪ). (65)

к=1

Тогда из неравенств (64) и (65) следует справедливость оценки (14).

Пусть (х, Ь ) — любая точка из И. Тогда из ряда (54) в силу леммы 2 имеем

те \

+ 2—' ь I . (66)

(тете \

Е ик I + Е^1—' I зк и. к=1 к=1 '

При (0) = ( ) = 0, (0) = ( ) = 0 коэффициенты к и к можно представить в виде

I к = , № = ! (х) СОё ^кхйх, (67)

/ 1\2д(2) ( ) [2 Г1 9к = -( - \ , д}} =уу I д"(х)вшу,кх<1х. (68)

'0

Тогда из оценки (66) при V < 1/2 с учетом (67) и (68) на основании неравенства Коши—Буняковского будем иметь

их, у) ^ С10 640

тете

1, „т, ^ 1

Е^ + Е XI

к=1 к=1

1/2-

получим

Г / N 1/2 / \ 1/2-1

|и(х,у)| ^ С12 (^(1 ^П +( Е^П < - V к=1 ' ^ к=1 '

к=1

к=1

1/2

< С12(||/'Н^2[о,г] + \\Ль2м) < М3(\\Г\\См + \\д''\\с.

Если V ^ 1/2, то из неравенства (66) с учетом (68) и (67) получим

те

1и(х, у)1 ^Си Е Ъ(1 ¡к1]1 +19? I) < к=1

< Си{\\ПЫо,1] + У\\ыо,1]) < М4(ц/*\\см + \\д"\\см).

Конкурирующие интересы. Конкурирующих интересов не имею.

Авторский вклад и ответственность. Я несу полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи мною одобрена.

Финансирование. Работа выполнена при поддержке РФФИ (грант № 18-31-00111).

Библиографический список

1. Келдыш М. В. О некоторых случаях вырождения уравнений эллиптического типа на границе области // Докл. АН СССР, 1951. Т. 77, №2. С. 181-183.

2. Кароль И. Л. Об одной краевой задаче для уравнения смешанного типа второго рода // Докл. АН СССР, 1953. Т. 88, №2. С. 197-200.

3. Исамухамедов С. С. Краевая задача Трикоми для уравнения смешанного типа второго рода// Изв. АН УзССР. Сер. физ.-мат. наук, 1970. №4. С. 9-12.

4. Крикунов Ю. М. Краевые задачи для модельных уравнений смешанного типа. Казань: Казан. гос. ун-т, 1986. 150 с.

5. Хайруллин Р. С. Задача Трикоми для уравнения смешанного типа второго рода в случае нормальной области // Диффер. уравн., 1990. Т. 26, №8. С. 1396-1407.

6. Сохадзе Р. С. О первой краевой задаче для уравнения смешанного типа в прямоугольнике// Диффер. уравн., 1983. Т. 19, №1. С. 127-134.

7. Сохадзе Р. С. Первая краевая задача для уравнения смешанного типа с весовыми условиями склеивания вдоль линии параболического вырождения// Диффер. уравн., 1981. Т. 17, №1. С. 150-156.

8. Сабитов К. Б., Сулейманова А. Х. Задача Дирихле для уравнения смешанного типа второго рода в прямоугольной области // Изв. вузов. Матем., 2007. №4. С. 45-53.

Из полученных неравенств следует справедливость оценки (15). □

9. Хайруллин Р. С. К задаче Дирихле для уравнения смешанного типа второго рода с сильным вырождением// Диффер. уравн., 2013. Т. 49, №4. С. 528-534. doi: 10.1134/ S0374064113040122.

10. Сабитов К. Б. Задача Дирихле для уравнений смешанного типа в прямоугольной области// Докл. РАН, 2007. Т. 413, №1. С. 23-26.

11. Хайруллин Р. С. О существовании решения задачи Дирихле для уравнения смешанного типа второго рода// Диффер. уравн., 2017. Т. 53, №5. С. 684-692. doi: 10.1134/ S0374064117050119.

12. Кожанов А. И. Краевые задачи для ультрапараболических и квазиультрапараболиче-ских уравнений с меняющимся направлением эволюции / Материалы международной научной конференции «Актуальные проблемы прикладной математики и физики» Кабардино-Балкария, Нальчик, 17-21 мая 2017 г. / Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., Т. 149. М.: ВИНИТИ РАН, 2018. С. 56-63.

13. Кожанов А. И., Потапова С. В. Краевые задачи для двумерных по временным переменным дифференциальных уравнений нечетного порядка с меняющимся направлением эволюции// Сиб. матем. журн., 2018. Т. 59, №5. С. 1098-1115. doi: 10.17377/smzh. 2018.59.511.

14. Егоров И. Е. Применение модифицированного метода Галеркина к первой краевой задаче для уравнения смешанного типа// Матем. заметки СВФУ, 2015. Т. 22, №3. С. 3-10.

15. Егоров И. Е., Ефимова Е. С., Тихонова И. М. Фредгольмова разрешимость первой краевой задачи для уравнения смешанного типа второго порядка со спектральным параметром// Матем. заметки СВФУ, 2018. Т. 25, №1. С. 15-24. doi: 10.25587/SVFU. 2018.1.12765.

16. Сабитова Ю. К. Краевая задача с нелокальным интегральным условием для уравнений смешанного типа с вырождением на переходной линии // Матем. заметки, 2015. Т. 98, №3. С. 393-406. doi: 10.4213/mzm9135.

17. Сабитова Ю. К. Нелокальные начально-граничные задачи для вырождающегося гиперболического уравнения// Изв. вузов. Матем., 2009. №12. С. 49-58.

18. Сабитова Ю. К. Критерий единственности решения нелокальной задачи для вырождающегося уравнения смешанного типа в прямоугольной области // Диффер. уравн., 2010. Т. 46, №8. С. 1205-1208.

19. Смирнов М. М. Уравнения смешанного типа. М.: Наука, 1970. 296 с.

20. Бицадзе А. В. Некоторые классы уравнений в частных производных. М.: Наука, 1981. 448 с.

21. Сабитов К. Б. К теории уравнений смешанного типа. М.: Физматлит, 2014. 304 с.

22. Арнольд В. И. Малые знаменатели. I. Об отображениях окружности на себя // Изв. АН СССР. Сер. матем., 1961. Т. 25, №1. С. 21-86.

23. В. И. Арнольд Small denominators and problems of stability of motion in classical and celestial mechanics// УМН, 1963. Т. 18, №6(114). С. 91-192.

24. Келдыш М.В. О собственных значениях и собственных функциях некоторых классов несамосопряженных уравнений // Докл. АН СССР, 1951. Т. 77, №5. С. 11-14.

25. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Т. 2: Функции Бесселя, функции параболического цилиндра, ортогональные многочлены. М.: Наука, 1966. 296 с.

26. Сабитов К. Б., Сафин Э. М. Обратная задача для уравнения смешанного параболо-гиперболического типа в прямоугольной области// Изв. вузов. Матем., 2010. №4. С. 55-62.

27. Хинчин А. Я. Цепные дроби. М.: Наука, 1978. 112 с.

28. Бухштаб А. А. Теория чисел. Спб.: Лань, 2008. 384 с.

29. Сабитов К. Б. Уравнения математической физики. М.: Физматлит, 2013. 312 с.

Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2019, vol. 23, no. 4, pp. 622-645

d https://doi.org/10.14498/vsgtu1721

ISSN: 2310-7081 (online), 1991-8615 (print)

MSC: 35M10

Dirichlet problem for a mixed type equation with characteristic degeneration

Yu. K. Sabitova

Sterlitamak Branch of Bashkir State University,

37, Lenina prosp., Sterlitamak, 453103, Russian Federation.

Abstract

For a mixed elliptic-hyperbolic type equation with characteristic degeneration, the first boundary value problem in a rectangular region is investigated. The criterion for the uniqueness of the solution of the problem is established. Earlier, in proving the uniqueness of solutions of boundary value problems for equations of mixed type, the extremum principle or the method of integral identities was used. The uniqueness of the solution to this problem is established on the basis of the completeness of the system of eigenfunctions of the corresponding one-dimensional spectral problem. The solution of the problem is constructed as a sum of a series in the system of eigenfunctions. When we proved the convergence of the obtained series, the problem of small denominators of a more complicated structure than in other known works arose. These denominators contain a parameter depending on the lengths of the sides of the rectangle in the hyperbolic part of the domain and the exponent of the degree of degeneration. In this connection, estimates are established about separation from zero with the corresponding asymptotics, in cases where this parameter is a natural, rational and algebraic irrational number of degree two. If this parameter is not an algebraic irrational number of degree two, then the solution of the problem as a sum of a series does not exist. Using the obtained estimates, the uniform convergence of the constructed series in the class of regular solutions is justified under certain sufficient conditions with respect to the boundary functions. The stability of the solution of the problem with respect to the boundary functions in the norms of the space of summable functions and in the space of continuous functions is also proved.

Keywords: equation of mixed type with characteristic degeneration, Dirich-let problem, criterion of uniqueness, existence, small denominator.

Received: 14th July, 2019 / Revised: 23rd October, 2019 / Accepted: 11th November, 2019 / First online: 12th December, 2019

Research Article

Q ©® 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:

Sabitova Yu. K. Dirichlet problem for a mixed type equation with characteristic degeneration, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2019, vol. 23, no. 4, pp. 622-645. doi: 10.14498/vsgtu1721 (In Russian). Author's Details:

Yulia K. Sabitova https://orcid.org/0000-0002-7969-007X

Cand Phys. & Math. Sci.; Associate Professor; Dept. of Mathematical Analysis;

e-mail: sabitovauk@rambler.ru

Competing interests. 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. 18-31-00111).

References

1. Keldysh M. V. On some cases of degeneration of an equation of elliptic type on the domain boundary, Dokl. Akad. Nauk SSSR, 1951, vol.77, no. 2, pp. 181-183 (In Russian).

2. Karol I. L. On a boundary value problem for an equation of mixed elliptic-hyperbolic type, Dokl. Akad. Nauk SSSR, 1953, vol.88, no. 2, pp. 197-200 (In Russian).

3. Isamukhamedov S. S. The Tricomi boundary value problem for a mixed type equation of the second kind, Izv. Akad. Nauk UzSSR, Ser. Fiz.-Mat. Nauk, 1970, no. 4, pp. 9-12 (In Russian).

4. Krikunov Yu. M. Kraevye zadachi dlia model'nykh uravnenii smeshannogo tipa [Boundary Value Problems for Model Mixed-Type Equations]. Kazan', Kazan' State Univ., 1986, 150 pp. (In Russian)

5. Khairullin R. S. The Tricomi problem for an equation of mixed type of the second kind in the case of a normal domain, Differ. Equ., 1990, vol. 26, no. 8, pp. 1031-1039.

6. Sokhadze R. I. The first boundary value problem for an equation of mixed type in a rectangle, Differ. Uravn., 1983, vol. 19, no. 1, pp. 127-134 (In Russian).

7. Sokhadze R. I. The first boundary value problem for an equation of mixed type with weighted glueing conditions along a line of parabolic degeneration, Differ. Uravn., 1981, vol. 17, no. 1, pp. 150-156 (In Russian).

8. 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: 10.3103/S1066369X07040068.

9. Khairullin R. S. On the Dirichlet problem for a mixed-type equation of the second kind with strong degeneration, Differ. Equ., 2013, vol.49, no. 4, pp. 510-516. doi: 10.1134/ S0012266113040113.

10. Sabitov K. B. The Dirichlet problem for equations of mixed type in a rectangular domain, Dokl. Math., 2007, vol.75, no. 2, pp. 193-196. doi: 10.1134/S1064562407020056.

11. Khairullin R. S. Solvability of the Dirichlet problem for a mixed-type equation of the second kind, Diff Equ., 2017, vol.53, no. 5, pp. 677-685. doi: 10.1134/S0012266117050111.

12. Kozhanov A. I. Boundary value problems for ultraparabolic and quasi-ultraparabolic equations with a varying direction of evolution, In: Proceedings of the International Conference "Actual Problems of Applied Mathematics and Physics", Kabardino-Balkaria, Nalchik, May 17-21, 2017, Itogi Nauki i Tekhniki. Ser. Sovrem. Mat. Pril. Temat. Obz., 149. Moscow, VINITI, 2018, pp. 56-63 (In Russian).

13. Kozhanov A. I., Potapova S. V. Boundary value problems for odd order forward-backward-type differential equations with two time variables, Siberian Math. J., 2018, vol.59, no. 5, pp. 870-884. doi:10.1134/S0037446618050117.

14. Egorov I. E. Application of the modified Galerkin method for the first boundary problem for mixed type equation, Math. Notes NEFU, 2015, vol. 22, no. 3, pp. 3-10 (In Russian).

15. Egorov I. E., Efimova E. S., Tikhonova I. M. On Fredholm solvability of first boundary value problem for mixed-type second-order equation with spectral parameter, Math. Notes NEFU, 2018, vol. 25, no. 1, pp. 15-24 (In Russian).

16. 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.

17. 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.

18. Sabitova Yu. K. Criterion for the uniqueness of a solution of a nonlocal problem for a degenerate equation of the mixed type in a rectangular domain, Differ. Equ., 2010, vol. 46, no. 8, pp. 1215-1218. doi: 10.1134/S001226611008015X.

19. Smirnov M. M. Uravneniia smeshannogo tipa [Mixed Type Equations]. Moscow, Nauka, 1970, 296 pp. (In Russian)

20. Bitsadze A. V. Nekotorye klassy uravnenii v chastnykh proizvodnykh [Some Classes of Partial Differential Equations]. Moscow, Nauka, 1981, 448 pp. (In Russian)

21. Sabitov K. B. K teorii uravnenii smeshannogo tipa [On the Theory of Equations of Mixed Type]. Moscow, Fizmatlit, 2014, 304 pp. (In Russian)

22. Arnol'd V. I. Small denominators. I. Mapping the circle onto itself, Izv. Akad. Nauk SSSR Ser. Mat., 1961, vol. 25, no. 1, pp. 21-86 (In Russian).

23. Arnol'd V. I. Small denominators and problems of stability of motion in classical and celestial mechanics, Russian Math. Surveys, 1963, vol.18, no. 6, pp. 85-191. doi: 10.1070/ RM1963v018n06ABEH001143.

24. Keldysh M. V. On the characteristic values and characteristic functions of certain classes of non-self-adjoint equations, Dokl. Akad. Nauk SSSR, 1951, vol.77, no. 5, pp. 11-14 (In Russian).

25. Bateman H., Erdelyi A. Vysshie transtsendentnye funktsii [Higher Transcendental Functions], vol.2, Bessel functions, parabolic cylinder functions, orthogonal polynomials. Moscow, Nauka, 1966, 296 pp. (In Russian)

26. Sabitov K. B., Safin E. M. The inverse problem for a mixed-type parabolic-hyperbolic equation in a rectangular domain, Russian Math. (Iz. VUZ), 2010, vol. 54, no. 4, pp. 48-54. doi:10.3103/S1066369X10040067.

27. Khinchin A. Ya. Tsepnye drobi [Continued Fraction]. Moscow, Nauka, 1978, 112 pp. (In Russian)

28. Bukhshtab A. A. Teoriia chisel [Number Theory]. St. Petersburg, Lan', 2008, 384 pp. (In Russian)

29. Sabitov K. B. Uravneniia matematicheskoi fiziki [Equations of Mathematical Physics]. Moscow, Fizmatlit, 2013, 312 pp. (In Russian)