CC BY
20
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2017. Т. 21, № 1. С. 80—93
ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10
УДК 517.956.6
Задача Дирихле для уравнения смешанного типа с сильным характеристическим вырождением и сингулярным коэффициентом
Р. М. Сафина
Поволжская государственная академия физической культуры, спорта и туризма,
Россия, 420010, Казань, Деревня Универсиады, 35.
Аннотация
Для уравнения смешанного типа второго рода с сингулярным коэффициентом исследована первая граничная задача в прямоугольной области. Для исследования поставленной задачи используются методы спектрального анализа. Предварительно решается одномерная спектральная задача. Установлен критерий единственности решения задачи. Единственность решения задачи доказывается на основании полноты системы собственных функций соответствующей одномерной спектральной задачи. Решение задачи построено в явном виде как сумма ряда Фурье—Бесселя. При обосновании равномерной сходимости построенного ряда возникает проблема малых знаменателей. В связи с этим найдена оценка отделенности от нуля малого знаменателя с соответствующей асимптотикой. Полученная оценка позволила доказать сходимость ряда и его производных до второго порядка включительно, а также теорему существования в классе регулярных решений данного уравнения.
Ключевые слова: уравнение смешанного типа, задача Дирихле, сингулярный коэффициент, спектральный метод, единственность, ряд Фурье—Бесселя, малые знаменатели, существование.
Получение: 3 июня 2016 г. / Исправление: 17 января 2017 г. / Принятие: 13 марта 2017 г. / Публикация онлайн: 27 апреля 2017 г.
.14498/vsgtu1495
Научная статья
3 ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования
С а ф и н а Р. М. Задача Дирихле для уравнения смешанного типа с сильным характеристическим вырождением и сингулярным коэффициентом // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2017. Т. 21, № 1. С. 80-93. doi: 10.14498/vsgtu1495. Сведения об авторе
Римма Марселевна Сафина& http://orcid.org/0000-0002-5787-1427 старший преподаватель; каф. физико-математических дисциплин и информационных технологий; e-mail: [email protected]
1. Постановка задачи. Рассмотрим уравнение смешанного типа второго рода с сингулярным коэффициентом
к
¿и = пхх + ^п у)Ыт-%у + - а2и = 0 (1)
в прямоугольной области
Б = {(ж, у) | 0 < ж < I, -а < у < в},
где к< 1, к = 0, I, а ^ 0, 1 ^ т< 2, а> 0, в > 0 — заданные действительные числа.
Задача Дирихле. Найти функцию и(ж,у), удовлетворяющую следующим условиям:
u(x,y) е C2(D+ U D-) П C(D), (2)
lim ym-1uy (x,y) = - lim (—y)m-1uy (x,y), 0 < x < l, 1 <m< 2, (3)
y^0+0 y^ü-0
lim Uy^ = - lim U^y), 0 <x<l, m = 1, (4)
y^0+0 ln y y^0-0 ln(-y)
Lu(x,y) = 0, (x, y) е D+ U D-, (5)
u(x,ß) = ^>(x), u(x, —a) = ^(x), 0 ^ x ^ l, (6)
u(l, y) = 0, — a ^ y ^ ß, (7)
u(0, y) = 0, —a ^ y ^ ß, (8)
где <^(x) и ^(x) —заданные достаточно гладкие функции,
р(0) = p(l) = ^(0) = ^(l) = 0,
D+ = D П {y > 0}, D- = D П {y < 0}.
Особое внимание к задаче Дирихле для уравнений смешанного типа стало проявляться после опубликования работы Ф. И. Франкля [1], где впервые отмечено, что проблемы трансзвуковой газовой динамики сводятся к этой задаче. А. В. Бицадзе [2] показал некорректность задачи Дирихле для уравнения Лаврентьева uxx + sgn yuyy = 0. После этой работы возникла проблема поиска смешанных областей, для которых задача Дирихле является корректно поставленной. В дальнейшем задача Дирихле для уравнений смешанного типа изучалась многими авторами [3-11]. Достаточно полную библиографию работ, посвященных этой тематике, можно найти в монографии [11]. Задача Дирихле для уравнений смешанного типа второго рода (1) при k = 0 исследована в работах [11, с. 33-49], [12-18].
Данная работа является продолжением исследований автора [19,20], где первая граничная задача для уравнения (1) в прямоугольной области D изучена при 0 <k< 1, m = 0, a = 0 и k ^ 1, 0 <m< 1 соответственно.
В данной работе установлен критерий единственности решения задачи Дирихле при k< 1 и 1 ^ m< 2. Решение построено в виде суммы ряда Фурье—Бесселя. При обосновании равномерной сходимости построенного ряда возникает проблема малых знаменателей. Найдена оценка отделенности
малого знаменателя от нуля с соответствующей асимптотикой, которая позволила обосновать сходимость построенного ряда в классе функций (2)—(4).
2. Критерий единственности решения задачи. Частные решения уравнения (1), не равные нулю на множестве и Б- и удовлетворяющие нулевым граничным условиям (7) и (8), ищем в виде и(х,у) = X(х)У(у). Подставляя данное произведение в уравнение (1) относительно X(х), получим следующую спектральную задачу:
-
X"(х) + -Х'(х) + А2Х(х) = 0, 0 < х < I,
х
X (0) = 0, X (1) = 0,
где А2 — постоянная разделения переменных.
Решение спектральной задачи (9) и (10) определяется формулой
Xra(x) = х(1-к)123—ь (А гах), А„ = ^, п = 1,2,3,...,
2
(9) (10)
где ^( ■ ) —функция Бесселя первого рода порядка V, рп — п-ный корень уравнения
J 1-к (рп) = 0.
2
Для удобства дальнейших вычислений данную систему функций ортонор-мируем:
Xn(x) =
1
\\ХЛь2,р(0,1)
Xn(x),
(11)
где
\\Xn\\L2,p(0,l)
Г1 \ 1/2
p(x)Xn(x)dxJ =
(/ xJi-k ^x^dx^j = J3-k (ßn) , p(x)
x
Известно [21, Sect. 18.1], что система собственных функций (11) ортогональна и полна в пространстве L2[0, с весом xk.
Отметим, что для собственных значений спектральной задачи (9), (10) при больших n справедлива следующая асимптотическая формула (по аналогии с [22, Sect. 6.5]):
k i 1 Л
ßn = Anl = nn --n + Of- . (12)
4 Vn/
Пусть u(x,y) — решение задачи (2)-(8), удовлетворяющее условию
lim Xn(x)ux = 0. (13)
Следуя работам [17,20], рассмотрим следующие функции:
un(y) = / u(x,y)xkXn(x)dx, n = 1,2,3,.... (14)
Jo
На основании (14) введем вспомогательные функции
fl-E
/1-е
и(х,у)хк Х„(х)^х, (15)
где е > 0 — достаточно малое число. Дифференцируя равенство (15) по у дважды при у £ (-а, 0) и (0,в) и учитывая уравнение (1), получим
/1-е
иуу (х,у)хк Х„(х)^х =
/1-е / к \
{а2и - ихх - хкХ„(х)^х = = (в§пу)|у|-т^а2и„,е(у) - ^ дх(хких)Х„(х)^^ =
= (sgn y)|y|-
a2u„,E(y) — ^xk uxXn(x) — J xk ux X, (x)dx
Из равенства (15) в силу уравнения (9) получим
1 /*1 e , k
1k
1 г- / k \
un,E(y) = — ту u(x,y)xk( X,(x) +— X, (xU dx =
Л, Л v x /
1 f i e d
= — Л2 J u(x,y)— (xkX^(x))dx =
Л2
Из равенства (17) имеем
(16)
= —T^ fxkX^(x)u — J uxxkX^(x)dx^. (17)
i'l-E k 2 k I-E
/ uxx X^(x)dx = Л,^^^ x X^(x)u . (18)
Л ' E
Подставляя (18) в (16), получим
/ 2 k l — E
u",E(y) = (sgny)|y| m( a u„,E(y) — x uxX„(x) ^ —
l-e\
Л, u„,E(y) — xk X, (x)ue J. (19) Предварительно заметим, что следующий предел существует и конечен:
lim xkX,(x) = „ м lim x(k+1)/2J_k+1 (Л^) = 2(k+2)/2^ k)/2
х^о+о ^ Ы| х^о+о -гау (^„)|Г(^)'
2 2
Переходя в (19) к пределу при е ^ 0, с учетом граничных условий (7), (8), (10) и (13) получим, что ип(у) удовлетворяет дифференциальному уравнению
и"га(у) - ^пу)|у|-т(а2 + Л>„(у)=0, у £ (-а, 0) и (0,в), (20)
условиям склеивания
u,(0 — 0) = u,(0 + 0), lim ym-1u,(y) = — lim (—y)m-1u,(y), 1 < m < 2,
y^0+0 y^0-0
(21)
u,(0 — 0)= u,(0 + 0), lim un^ = — lim , m = 1 (22)
y^0+0 ln y y^0-0 ln(—y)
и граничным условиям l
un(ß)= / u(x,ß)xkXn(x)dx = ^(x)xkXn(x)dx = (23)
00
un (—a) = u(x, —a)xk Xn(x)dx = ^(x)xk Xn(x)dx = (24)
00
Аналогично работам [15, 20] найдем общее решение дифференциального уравнения (20), удовлетворяющее условиям (21) и (22)
Г (Р^у9 ^ у > 0 , .
ип(у) = (Рп(-у)9), у < 0, (25)
где ( ■) — модифицированная функция Бесселя первого рода порядка V,
2 — т
9Рп = Уа2 + А|, 9 = £ (0,1/2.
Далее, удовлетворяя функции (25) граничными условиями (23) и (24), получим равенства для определения неизвестных коэффициентов ап и Ьп:
а„/х (Рпв9) = <^в-1/2, х (Рпа9) = а-1/2. (26)
2д 2q
Единственное решение системы (26) существует и определяется по формуле
' ^у^п/1- (Рпу9 )
2q y > 0,
u,(y) = <
^в/х (Рпв9) '
У^П 7а. (Рп(-у)9) (27)
--ч-, у< 0
^ (р„а9)
2q
при условии
Е(п) = (р„а9) = 0, п £ N. (28)
2q
Пусть теперь <^(х) = 0 и ^(х) = 0. Тогда из равенств (23), (24), (27) и (14) следует
/ и(х,у)хк(х)^х = 0, п = 1, 2, 3,.... о
Отсюда в силу полноты системы (11) в пространстве ¿2 [0,1] с весом хк следует, что и(х,у) = 0 для всех х £ [0,1] и при любом у £ [-а, в]. В силу (2) функция и(х, у) непрерывна на Б, следовательно, и(х, у) = 0 на Б.
Пусть при некоторых а, д, а, -, 1 и п = в € N нарушено условие (28), то есть Е(в) = 0. Тогда однородная задача (2)-(8), где <^(х) = ^(х) = 0, имеет нетривиальное решение
иДх, у) = иДу^Дх), (29)
где
( ) / 0 У ^ 0,
иДу) = Зг_ (р5(-у)9)^=У, У < 0,
^ 2д
Xs(x) находятся по формуле (11).
Действительно, функция (29) в силу условия
(р^а9) = 0
удовлетворяет однородным граничным условиям (6), где <^(х) = ^(х) = 0. Нетрудно доказать, что функция (29) также удовлетворяет условиям (2)-(5)
и (7), (8).
Поскольку функция Бесселя (рпа9) имеет счетное множество нулей от-
2я
носительно а9 = а9/д при фиксированном п, приходим к следующему утверждению.
Теорема 1. Если существует 'решение задачи (2)-(8), удовлетворяющее условию (13), то оно единственно только тогда, когда выполняются условия (28) при всех п € N.
3. Обоснование существования решения задачи. Для обоснования существования решения задачи Дирихле необходимо показать существование чисел а, д, а, -, 1, таких, что при достаточно больших п выражение Е(п) отделено от нуля с соответствующей асимптотикой.
Лемма 1. Если
____ а9 р
ад = -у = р, * € N (р,*) = 1
и выполнено условие 1
р V д
то существуют положительные постоянные С0 и по, по € N такие, что при всех п > п0 справедлива оценка
- = + —1 - 4*Д д € г € N0 П [0,* - 1], р V д У
|^пЕ(п)| ^ Со > 0. (30)
Доказательство. На основании асимптотической формулы [23, Eq. 7.13(3)] для функции
Л (г) =
— сое С г — П V — + о( -1-пг V 2 4) \х5/2
г —> оо,
при достаточно больших n > n имеем
J х (p,aq) = Ji (aq ^nPn)
^ ^ sinfaq+ + O(n 5/2), (31)
где
^ = у Уа2ГЛП = ^ + (^ )2 = ^ 1 + (^ )2 = aq №
При этом натуральное число п1 выбирается настолько большим, что при всех п > П1 выполняется равенство (31) и при любых фиксированных а ^ 0 имеет место неравенство
а1
0 < — < 1.
^га
Тогда
где для 0га справедлива оценка
0 < 0„ < 1 (—)2. (32)
Отсюда на основании формулы (12)
= ппа9(1 + 0П) - 4ка9(1 + 0П) + о(П). (33)
Тогда из соотношения (31) с учетом (33) получим
vJ (p,aq) = y^Jx (^nP,aq) =
2q 2 q
= Bn sin
nnaq (1 + 0n) — 4 kaq (1 + 0n) + oQ + n^^q1
+
+ ^ (n^) = B1n + B2n
где
Bn =
n^aq (1 + ön — зП (1 + 0,)) + o(n - 2)
Поскольку последовательность Bn имеет конечный положительный предел она ограничена и отделена от нуля.
Пусть теперь о = p/t — рациональное число, p, t е N, (p, t) = 1. Разделим np на t с остатком:
np = st + r, r, s е N0, 0 ^ r ^ t — 1.
2
В силу оценки (32) существует конечный предел
- 11
= А ^ 0.
11ш |БЫ| = Бс
81П
пг п, р д — 1 ---- к—+ п
'И 4 £ 4д Тогда существует натуральное число п2 такое, что при всех п > п2
|Бщ| ^ 1А ^ 0.
Теперь потребуем, чтобы постоянная А была больше нуля, а это возможно только тогда, когда
пг п р д — 1
Т — 4к£ + = ^
г—кр+^=<* (34)
или
£ 4 £ 4д при всех ^ € Z и г € N0 П [0, £ — 1]. Из (34) имеем
к = 1 4г + —1 — 4*Д (35)
рд
Из неравенства (35) видно, что если к принимает иррациональные значения, а д рациональные значения и наоборот, то неравенство (34) всегда выполнено. При рациональных к и д условие (34) может нарушаться, поэтому потребуем, чтобы постоянные к, д и а^ удовлетворяли условию (35).
Таким образом, при выполнении условия (35) при всех п ^ шах{п1,п2}
А1
|Бщ| ^ -у > 0.
Тем самым показана отделимость от нуля выражения -^пЕ(п) при больших п. □
Если Е (п) = 0 при п = 1,по для указанных а из леммы 1 и выполнена оценка (30) при п > п0, то решение задачи (2)-(8) на основании частных решений (11) и (27) можно представить в виде суммы ряда Фурье—Бесселя:
«(ж,у) = ^ «п(у)Хп(ж). (36)
п=1
Теперь покажем, что при определенных условиях относительно функций ■0(ж) и ^>(ж) (см. (6)) ряд (36) сходится равномерно на замкнутой области в которой его можно почленно дифференцировать по ж и у дважды. Рассмотрим следующие отношения:
гу1 Л. (РпУ)
У м^ ■ уе [м]; (37)
/-у7 X ы-у)9) ^п(у) = \1 -, у £ [-а, 0]. (38)
V а (Рпа9)
2q
Лемма 2. Для (37), (38) при достаточно больших п справедливы следующие оценки:
К(у)| < 1, у £ [0,в]; №(у)| < Сь у £ [-а, 0]; V(у)| < С2п, V'(у)| < Сзп2, е < у < в; К(у)| < С4п, |<(у)| < С5п2, -а < у < -е,
где Сг — здесь и далее положительные постоянные, е > 0 — достаточное малое число.
Лемма 3. Если выполнена оценка (30) при п > п0, то для таких п справедливы следующие оценки:
|ип(у)| < Сб(|^п| + |), у £ [-а, в]; |иП(у)1 < Стп(|^п| + |^п|), (у)| < С8п2(|^п| + |^п|), у £ [-а, -е] и [е,в].
Доказательство следует из леммы 2.
Лемма 4. При достаточно больших п и при всех х £ [5, I], где 5 — достаточно малое число, справедливы следующие оценки:
|Хп(х)| < С9, (х)| < С10п, |Х'(х)| < С11 п2.
где Сг — положительные постоянные.
Доказательство проводится аналогично работам [20,24]. Лемма 5. Если ^>(х) £ С4[0,1] и ^(х) £ С4[0,1] и выполняются условия
р(0) = ^(0) = р'(0) = ^'(0) = </(0) = <(0) = 0, = ^(0 = = ^'(0 = </(0 = <(0 = 0,
то справедливы оценки
|^п| < , | < ^.
Доказательство проводится аналогично работам [20,24]. Формально из ряда (36) почленным дифференцированием составим ряды
иу (х,у) = £ иП (у)Хп (х), их(х,у) = ^ ип (у)Х' (х). (39)
п=1 п=1
+с +с
(ж,у) = £ < (у)Хп(ж), иЖх(ж,у) = Е ип(у)ХП'(ж). (40)
п=1 п=1
Тогда на основании лемм 3 и 4 ряд (36) при любом (ж, у) € мажорируется рядом
+с
С14 Е (|^п| + |0п|), (41)
п=по
а ряды (39) и (40) при любом (ж, у) €
Б+е ^ Б- е соответственно рядами +с +с
С15 Е п(|^п| + |0п|), С16 Е п2(Ы + |0п|), (42)
п= по п= по
где Б+е = Б+ П {ж > П {у > е > 0}, Б" = Б" П {ж < П {у < —е < 0}.
Согласно лемме 5 ряды (41) и (42) оцениваются соответственно рядами
+с +с +с
С17 Е п"4, С18 Е п"3, С19 Е п"2. (43)
п= по п= по п= по
Поскольку числовые ряды из (43) сходятся, на основании признака Вей-ерштрасса ряд (36) и ряды (39) и (40) сходятся равномерно соответственно на Б, Б+е и Б-е. Поэтому функция и(ж,у), определяемая равенством (36), удовлетворяет условиям (2)-(8).
Если для указанных в лемме 1 чисел 5 при некоторых п = в = Г1, Г2,..., г^, где 1 ^ г1 < г2 < ••• < г^ ^ п0, гг, г = 1,к, и к — заданные натуральные числа, то Е(в) = 0. Тогда для разрешимости задачи (2)-(8) необходимо и достаточно, чтобы выполнялись условия
0 = 0, в = п,г2,...г^. (44)
В этом случае решение задачи (2)-(8) определяется в виде суммы ряда
и(ж,у)=( Е + ••• + Е + Е )ип(у)Хп(ж) + Еив(ж,у), (45)
Г1 "1 + С ч
Ип(у)Ап(ж) + ^ Щу
п=1 п=Г^ — 1 + 1 п=Г^ + 1 3
здесь в последней сумме в принимает значения г1, г2,..., г^, функция и3(ж, у) определяются по следующей формуле:
^^у7-1 (р^у9)
. ^ 2*--Ха(ж), у ^ 0,
ив(ж,у) = { А(Рзв9) ( ), у ,
СУх (рД-у)9) У—Х(ж), у < 0,
где — произвольные постоянные, конечные суммы в (45) следует считать равными нулю, если нижний предел больше верхнего.
Нетрудно проверить, что найденные решения (36) и (45) удовлетворяют условиям (13).
Таким образом, доказана следующая
Теорема 2. Пусть ^>(ж), ^(ж) € C4[0,1] и выполнены условия р'(0)= ^'(0) = </(0) = <(0) = 0,
= ^(1) = </(0 = <(0 = 0,
а также условия (30) при n > n0. Тогда если E(n) = 0 при n = 1,n0, то задача (2)-(8) однозначно разрешима и это решение определяется рядом (36). Если же E(n) = 0 при некоторых n = s = ri,r2,...,rh ^ n0, то задача (2)-(8) разрешима только тогда, когда выполняются условия (44) и решение в этом случае определяется рядом (45).
Конкурирующие интересы. Я заявляю, что не имею конкурирующих интересов. Авторская ответственность. Я несу полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи мною одобрена.
Финансирование. Работа выполнена при поддержке Российского фонда фундаментальных исследований (проект № 16-31-50008-мол_нр).
Библиографический список
1. Франкль Ф. И. О задачах С. А. Чаплыгина для смешанных до- и сверхзвуковых течений// Изв. АН СССР. Сер. матем., 1945. Т. 9, №2. С. 121-143.
2. Бицадзе А. В. Некорректность задачи Дирихле для уравнений смешанного типа // ДАН СССР, 1953. Т. 122, №2. С. 167-170.
3. Шабат Б. В. Примеры решения задачи Дирихле для уравнения смешанного типа // ДАН СССР, 1957. Т. 112, №3. С. 386-389.
4. Вахания Н. Н. Об одной особой задаче для уравнения смешанного типа // Тр. АН Груз. ССР, 1963. Т. 3. С. 69-80.
5. Cannon J. R. A Dirichlet problem for an equation of mixed type with a discontinuous coefficient // Annali di Matematica, 1963. vol. 61, no. 1. pp. 371-377. doi: 10.1007/BF02410656.
6. Нахушев А. М. Критерий единственности задачи Дирихле для уравнения смешанного типа в цилиндрической области // Дифференц. уравнения, 1970. Т. 6, №1. С. 190-191.
7. Хачев М. М. Задача Дирихле для уравнения Трикоми в прямоугольнике // Дифференц. уравнения, 1975. Т. 11, №1. С. 151-160.
8. Хачев М. М. paper О задаче Дирихле для одного уравнения смешанного типа // Дифференц. уравнения, 1976. Т. 12, №1. С. 137-143.
9. Солдатов А. П. Задача типа Дирихле для уравнения Лаврентьева-Бицадзе. I. Теоремы единственности// Докл. РАН, 1993. Т. 332, №6. С. 696-698.
10. Солдатов А. П. Задача типа Дирихле для уравнения Лаврентьева-Бицадзе. II. Теоремы существования// Докл. РАН, 1993. Т. 333, №1. С. 16-18.
11. Хачев М. М. Первая краевая задача для линейных уравнений смешанного типа. Нальчик: Эльбрус, 1998. 168 с.
12. Сохадзе Р. С. Первая краевая задача для уравнения смешанного типа с весовыми условиями склеивания вдоль линии параболического вырождения // Дифференц. уравнения, 1981. Т. 17, №1. С. 150-156.
13. Сохадзе Р. С. О первой краевой задаче для уравнения смешанного типа в прямоугольнике// Дифференц. уравнения, 1983. Т. 19, №1. С. 127-134.
14. Сабитов К. Б. Задача Дирихле для уравнений смешанного типа в прямоугольной области// Докл. РАН, 2007. Т. 413, №1. С. 23-26.
15. Сабитов К. Б., Сулейманова А. Х. Задача Дирихле для уравнения смешанного типа второго рода в прямоугольной области // Изв. вузов. Матем., 2007. №4. С. 45-53.
16. Сабитов К. Б., Сулейманова А. Х. Задача Дирихле для уравнения смешанного типа с характеристическим вырождением в прямоугольной области// Изв. вузов. Матем., 2009. №11. С. 43-52.
17. Сабитов К. Б., Вагапова Э. В. Задача Дирихле для уравнения смешанного типа с двумя линиями вырождения в прямоугольной области // Дифференц. уравнения, 2013. Т. 49, №1. С. 68-78.
18. Хайруллин Р. С. К задаче Дирихле для уравнения смешанного типа второго рода с сильным вырождением // Дифференц. уравнения, 2013. Т. 49, №4. С. 528-534. doi: 10. 1134/S0374064113040122.
19. Сафина Р. М. Задача Дирихле для уравнения Пулькина в прямоугольной области // Вестн. СамГУ. Естественнонаучн. сер., 2014. №10(121). С. 91-101.
20. Сафина Р. М. Задача Келдыша для уравнения смешанного типа второго рода с оператором Бесселя// Дифференц. уравнения, 2015. Т. 51, №10. С. 1354-1366. doi: 10.1134/ S0374064115100106.
21. Watson G. N. A Treatise on the Theory of Bessel Functions. Cambridge: Cambridge University Press, 1944. viii+804 pp.
22. Olver F. W. J. Differential equations with irregular singularities; Bessel and confluent hy-pergeometric functions (Chapter 7) / Asymptotics and Special Functions. Boston: Academic Press, Inc., 1974. pp. 229-278. doi: 10.1016/B978-0-12-525850-0.50012-2.
23. Erdelyi A., Magnus W., Oberhettinger F., Tricomi F. G. Higher transcendental functions. vol. II / Bateman Manuscript Project. New York, Toronto, London: McGraw-Hill Book Co., Inc., 1953. xvii+396 pp.
24. Сафина Р. М. Задача Келдыша для уравнения Пулькина в прямоугольной области // Вестн. СамГУ. Естественнонаучн. сер., 2015. №3(125). С. 53-63.
Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki
[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2017, vol. 21, no. 1, pp. 80-93
d http://doi.org/10.14498/vsgtu1495
ISSN: 2310-7081 (online), 1991-8615 (print)
MSC: 35M10, 35M12
The Dirichlet problem for a mixed-type equation with strong characteristic degeneracy and a singular coefficient
R. M. Safina
Volga Region State Academy of Physical Culture, Sport and Tourism,
35, Universiade Village, Kazan, 420010, Russian Federation.
Abstract
In this paper we consider the first boundary value problem in a rectangular area for a mixed-type equation of the second kind with a singular coefficient. The criterion of the uniqueness of the problem solution is determined. The uniqueness of the problem solution is proved on the basis of completeness of the system of eigenfunctions of the corresponding one-dimensional spectral problem. The solution of the problem is built explicitly as a sum of Fourier-Bessel. There is the problem of the small denominators that appears when justifying the uniform convergence of the constructed series. In this regard, an evaluation of separateness from zero with a corresponding small denominator asymptotic behavior is found. This estimate has allowed to prove the convergence of the series and its derivatives up to the second order, and the existence theorem for the class of regular solutions of this equation.
Keywords: mixed-type equation, Dirichlet problem, singular coefficient, spectral method, uniqueness, Fourier-Bessel series, small denominators, existence.
Received: 3rd June, 2016 / Revised: 17th January, 2017 / Accepted: 13th March, 2017 / First online: 27th April, 2017
Competing interests. I declare 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. 16-31-50008-mol_nr).
References
1. Frankl F. To the theory of the Laval nozzle, Izv. Akad. Nauk SSSR Ser. Mat., 1945, vol. 9, no. 2, pp. 121-143 (In Russian).
2. Bitsadze A. V. The incorrectness of the Dirichlet problem for equations of mixed type, Dokl. Akad. Nauk SSSR, 1953, vol. 122, no. 2, pp. 167-170 (In Russian).
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:
Safina R. M. The Dirichlet problem for a mixed-type equation with strong characteristic degeneracy and a singular coefficient, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2017, vol. 21, no. 1, pp. 80-93. doi: 10.14498/vsgtu1495 (In Russian). Author's Details:
Rimma M. Safina A http://orcid.org/0000- 0002- 5787-1427
Senior Lecturer; Dept. of Physical and Mathematical Disciplines and Information Technologies; e-mail: [email protected]
3. Shabat B. V. Examples of solving the Dirichlet problem for equations of mixed type, Dokl. Akad. Nauk SSSR, 1957, vol. 112, no. 3, pp. 386-389 (In Russian).
4. Vakhaniya N. N. On a particular problem for the mixed type, Trudy Akad. Nauk Gruz. SSR, 1963, vol. 3, pp. 69-80 (In Russian).
5. Cannon J. R. A Dirichlet problem for an equation of mixed type with a discontinuous coefficient, Annali di Matematica, 1963, vol.61, no. 1, pp. 371-377. doi: 10.1007/BF02410656.
6. Nakhushev A. M. A uniqueness condition of the Dirichlet problem for an equation of mixed type in a cylindrical domain, Differ. Uravn., 1970, vol. 6, no. 1, pp. 190-191 (In Russian).
7. Khachev M. M. The Dirichlet problem for the Tricomi equation in a rectangle, Differ. Uravn., 1975, vol. 11, no. 1, pp. 151-160 (In Russian).
8. Khachev M. M. The Dirichlet problem for a certain equation of mixed type, Differ. Uravn., 1976, vol. 12, no. 1, pp. 137-143 (In Russian).
9. Soldatov A. P. Dirichlet-type problems for the Lavrent'ev-Bitsadze equation. I. Uniqueness theorems, Dokl. Math,., 1994, vol.48, no. 2, pp. 410-414.
10. Soldatov A. N. Dirichlet-type problems for the Lavrent'ev-Bitsadze equation. II. Existence theorems, Dokl. Math., 1994, vol.48, no. 3, pp. 16-18.
11. Khachev M. M. Pervaia kraevaia zadacha dlia lineinykh uravnenii smeshannogo tipa [The First Boundary Value Problem for Linear Equations of Mixed Type]. Nalchik, Elbrus, 1998, 168 pp. (In Russian)
12. 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).
13. 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).
14. 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.
15. 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.
16. 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: 10.3103/S1066369X0911005X.
17. Sabitov K. B., Vagapova E. V. Dirichlet problem for an equation of mixed type with two degeneration lines in a rectangular domain, Differ. Equ., 2013, vol.49, no. 1, pp. 68-78. doi: 10.1134/S0012266113010072.
18. 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.
19. Safina R. M. Dirichlet problem for Pulkin's equation in a rectangular domain, Vestnik SamGU. Estestvenno-Nauchnaya Ser., 2014, no. 10(121), pp. 91-101 (In Russian).
20. Safina R. M. Keldysh problem for a mixed-type equation of the second kind with the Bessel operator, Differ. Equ., 2015, vol.51, no. 10, pp. 1347-1359. doi: 10.1134/ S0012266115100109.
21. Watson G. N. A Treatise on the Theory of Bessel Functions. Cambridge, Cambridge University Press, 1944, viii+804 pp.
22. Olver F. W. J. Differential equations with irregular singularities; Bessel and confluent hyper-geometric functions (Chapter 7), In: Asymptotics and Special Functions. Boston, Academic Press, Inc., 1974, pp. 229-278. doi: 10.1016/B978-0-12-525850-0.50012-2.
23. 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., Inc., 1953, xvii+396 pp.
24. Safina R. M. Keldysh problem for Pulkin's equation in a rectangular domain, Vestnik SamGU. Estestvenno-Nauchnaya Ser., 2015, no. 3(125), pp. 53-63 (In Russian).
