Вестник КРАУНЦ. Физ.-мат. науки. 2023. Т. 42. №1. C. 80-97. ISSN 2079-6641
МАТЕМАТИКА
" https://doi.org/10.26117/2079-6641-2023-42-1-80-97
Научная статья
Полный текст на русском языке
УДК 517.956.6
О сопряженной задаче в области с отходом от характеристики для смешанного параболо-гиперболического уравнения
дробного порядка
Б. И. Исломов*, И. А. Ахмадов*
Национальный университет Узбекистана имени Мирзо Улугбека, Узбекистан, 100174,
г. Ташкент, ул. Университетская, 4.
Аннотация. В настоящей статье доказана классическая, сильная разрешимость и вольтерровость сопряженной задачи о отходом от характеристики для уравнения смешанного параболо-гиперболического типа с оператором дробного порядка в смысле Герасимова-Капуто. Целью исследования является решение сопряженной задачи для уравнения смешанного параболо-гиперболического типа дробного порядка. Учитывая, свойств операторов дробного порядка найдены сопряженный оператор и применены постановки сопряженной задачи. Для исследования поставленной задачи в параболической частью смешанной области решается первой краевой задачи для уравнения параболического типа дробного порядка в смысле Герасимова-Капуто. Используя, свойств функции Райта получено функциональное соотношение на линии перехода. Точно также решая, задачи Коши гиперболической частью смешанной области находим функциональное соотношение. Следовательно, поставленная задача эквивалентным образом сводится к интегральному уравнению Вольтерра второго рода со слабой особенностью. Согласно теории интегральных уравнений Вольтерра второго рода доказывается однозначной разрешимость полученного уравнения. Кроме того, используя методы операторов интегро - дифференцирования дробного порядка, теории специальных функций, априорных оценок, теория интегральных уравнений доказываются теоремы единственности, существования и вольтерровость сопряженной задачи в области с отходом от характеристики для уравнения смешанного типа дробного порядка. Полученные результаты новые и отличаются от результатов М.А. Садыбекова и А.С. Бердышева.
Ключевые слова: локальные граничные условия, уравнение дробного порядка, функция Райта и Грина, сильная разрешимость, отход от характеристики.
Получение: 06.12.2022; Исправление: 19.03.2023; Принятие: 22.03.2023; Публикация онлайн: 15.04.2023
Для цитирования. Исломов Б. И., Ахмадов И. А. О сопряженной задаче в области с отходом от характеристики для смешанного параболо-гиперболического уравнения дробного порядка // Вестник КРАУНЦ. Физ.-мат. науки. 2023. Т. 42. № 1. C. 80-97. EDN: DCGBAL. https://doi.org/10.26117/2079-6641-2023-42-1-80-97. Финансирование. Исследование выполнялось без финансовой поддержки фондов. Конкурирующие интересы. Конфликтов интересов в отношении авторства и публикации нет. Авторский вклад и ответственность. Авторы участвовали в написании статьи и полностью несут ответственность за предоставление окончательной версии статьи в печать.
* Корреспонденция: А E-mail: [email protected], [email protected] Контент публикуется на условиях Creative Commons Attribution 4.0 International License © Исломов Б. И., Ахмадов И. А., 2023
© ИКИР ДВО РАН, 2023 (оригинал-макет, дизайн, составление)
Vestnik KRAUNC. Fiz.-Mat. nauki. 2023. vol. 42. no. 1. P. 80-97. ISSN 2079-6641
MATHEMATICS
" https://doi.org/10.26117/2079-6641-2023-42-1-80-97 Research Article Full text in Russian MSC 35A02
On the Adjoint Problem in a Domain with Deviation Out from the Characteristic for the Mixed Parabolic-Hyperbolic Equation with the Fractional Order Operator
B.I. Islomov*, I. A. Akhmadov*
National University of Uzbekistan named after Mirzo Ulugbek, Uzbekistan, Tashkent, 100174, st. Universitetskaya, 4.
Abstract. In this article, it was proved the classical, strong solvability and Volterra property of the adjoint problem with departure from the characteristic for an equation of mixed parabolic-hyperbolic type with a fractional order operator in the sense of Gerasimov-Caputo. The aim of the research is to solve the conjugate problem for the equation of a mixed parabolic-hyperbolic type of fractional order. Taking into account the properties of fractional order operators, the adjoint operator is found and the statements of the adjoint problem are applied. To study the formulated problem in the parabolic part of the mixed domain, the first boundary value problem for a parabolic type equation of fractional order in the sense of Gerasimov-Caputo is solved. Using the properties of the Wright function, a functional relation is obtained on the transition line. In the same way, solving the Cauchy problem with the hyperbolic part of the mixed domain, we find a functional relation. Consequently, the problem posed reduces in an equivalent way to a Volterra integral equation of the second kind with a weak singularity. According to the theory of Volterra integral equations of the second kind, the unique solvability of the resulting equation is proved. In addition, using the methods of integro-differentiation operators of fractional order, the theory of special functions, a priori estimates, the theory of integral equations, uniqueness, existence and Volterra theorems for the adjoint problem in a domain with deviation out of the characteristic for a mixed-type equation of fractional order are proved. The results obtained are new and differ from the results of M. A. Sadybekov and A. S. Berdyshev.
Key words: local boundary conditions, fractional order equation, Wright and Green's function, strong solvability, deviation out from characteristic.
Received: 06.12.2022; Revised: 19.03.2023; Accepted: 22.03.2023; First online: 15.04.2023
For citation. Islomov B. I., Akhmadov I. A. On the adjoint problem in a domain with deviation out from the characteristic for the mixed parabolic-hyperbolic equation with the fractional order operator. Vestnik KRAUNC. Fiz.-mat. nauki. 2023, 42: 1,80-97. EDN: DCGBAL. https://doi.org/10.26117/2079-6641-2023-42-1-80-97. Funding. Not applicable.
Competing interests. The authors declare that there are no conflicts of interest regarding authorship and publication. Contribution and Responsibility. All authors contributed to this article. Authors are solely responsible for providing the final version of the article in print. The final version of the manuscript was approved by all authors.
* Correspondence: A E-mail: [email protected], [email protected] 0
The content is published under the terms of the Creative Commons Attribution 4.0 International License © Islomov B. I., Akhmadov I. A., 2023
© Institute of Cosmophysical Research and Radio Wave Propagation, 2023 (original layout, design, compilation)
Введение
В последние годы возрос интерес к иследованию дифференциальних дробного порядка, в которых неизвестная функция содержится под знаком производной дробного порядка. Это обусловлено как развитием самой теории дробного интегрирования и дифференцирования, так и приложениями таких конструкций в различных областях науки: в физике, механике, биологии, инженерии и других областях.
Основные свойства оператора дробного порядка смысле Римана- Ливулля и Капуто развивались в известных работах А.М. Нахушева и М.С.Салахитдинова [1], А. М. Нахушева [2], [3], G. Hardy and J. E. Littlewood [4], E. R. Love [5], M. Saigo [6], М.С.Салахитдинова и Б. И. Исломова [7], В. П. Михайлова [8], А. В. Псху [9], С. Г. Самко, А. А. Килбаса и О. И. Маричева [10].
Отметим, что в работе В.А.Елеева [11] рассматривалась классическая разрешимость аналог задачи Трикоми для смешанных параболо- гиперболических уравнений с нехарактеристической линией изменения типа Н. Ю. Капустина [12] рассматривалась сильная разрешимость задаче Трикоми для системы уравнений параболо-гиперболического типа. К. Б. Сабитов [13] доказал единственность решения задачи Трикоми для уравнения смешанного параболо-гиперболического типа с комплексным спектральным параметром.
A. С. Бердышев [14] изучал разрешимость и спектральных свойств локальные и нелокальные задачи, а также сопряженные задачи к ним для уравнений смешанного параболо-гиперболического и смешанно - составного типов.
B. А. Ильин [15] исследовал единственность классического решения смешанной задачи для самосопряженного гиперболического уравнения. А. Б. Нерсесян [16] ввел обобщенное уравнение типа Вольтерра и выделил классы ядер, не имеющих собственных значений.
В работе М. А. Садыбекова [17] доказана сильная разрешимость и вольтерровость (отсутствие у нее собственных значений) краевой задаче в области с отходом от характеристики для уравнения смешанного типа целого порядка.
В работах [18-20] изучены краевые задачи для уравнения смешанного типа с оператором дробного порядка Капуто в смешанной области, состоящая из характеристической треугольника и прямоугольника.
Насколько нам известно, что краевые задачи для уравнения смешанного параболо-гиперболического типа дробного порядка не изучены.
В настоящей работе изучаются сопряженные задачи для смешанного параболо-гиперболического уравнения, в случае, когда параболическая часть содержит оператор дробного порядка Герасимова-Капуто. Установлены классическая, сильная разрешимость и вольтерровость поставленной задачи.
2. Вспомогательные сведения и постановка задачи
•Л
Пусть Q е R2 - конечная область, ограниченная при y > 0 отрезками AAo, AoBo, BoB прямых x = 0, y = 1, x = 1 соответсвенно, а при y < 0 монотонной гладкой кривой AC : y = —y(x), 0 < x < l, 0.5 < l < 1,y(0) = 0,1 + y(1) = 1, расположенной внутри характеристического треугольника D : 0 < x + y < x—y<1 и характеристикой BC : x — y = 1, l < x < 1 уравнения
Lu = ( cD?xu —uyy> y>° ) = f(x,y), (1)
Uxx — Uyy , y < 0 J
где cDax [•]—оператор дробного порядка о в смысле Герасимова-Капуто [9]:
cD0x9(x) = i ^ J>—tra9'(t)dt, 0<«<1, (2)
[ 9 '(x), а = 1.
Задача Ma. Найти решения уравнения (1), удовлетворяющей условия
u|AA0UA0B0 = 0 (3)
(Ux — Uy)|AC = 0 (4)
и на линии измененного типа I = {(x,y) : 0<x<1,y = 0} удовлетворяет условию сопряжения
lim u(x,y) = Um u(x,y), (x,0) е I, lim uy(x,y) = Hm uy(x,y), (x,0) е I. (5)
y->+0 y—>—0 y->+0 y->—0
Параболическую часть смешанной области Q обозначим через Q0, а гиперболическую - Q1.
Через W2(Q) = Hl(Q) обозначим пространство С. Л. Соболева с нормой || ■ || i, W20(Q) = L2(Q);L2 [0,1] - пространство квадратично суммируемых функций на [0,1], Q0 = QП{y>0},Q1 = QП{y<0}.
Определение 1. Для функций h(x), w(x) е L2 [0,1], выражение
(h(x),w(x))0 =
1
h(x) ■ w(x)dx.
0
называется скалярным произведением на пространстве [0,1]. Свойство оператора Капуто.
Лемма 1. Пусть выполнены условия ^х), д(х) € Ь2 [0,1], тогда справедливо равенства
(сО0«хН(х),^(х))0 = (Н(х),еОах^(х))о. (6)
Доказательство. Учитывая равенства (2), получаем
(cD0axh(x),w(x))0 =
1 rx h'(t)
Т-dt
0 (x — t)0 .
(1—0) 83
■ w(x)dx, (7)
1
0
Интегрируя по частям правую часть (7), будем иметь
Г1 ■ 1
о i(1 - a)J
1
(1 - a)J
h '(t)
(x - t)a
w '(x)dx
dt
■ w(x)dx =
dr
(1 - a)
h '(t) (r -1)°
w '(x)dx
w(x) (1-0)
w(1)
dr
h '(t)
(r - t)a
dt
dt =
dr
(1 - a)J
" h'(t)
о (r-t)c
dr
dt.
h '(t) (1 - t)<
dt-
(8)
Далее, меняя порядок интегрирования последнего интеграла (8), имеем
1
(1 - а)
w '(x)dx
dr
h '(t)
(r - t)a
dt =
1
(1 - а)
dr
w '(x)dx
1
(1 - a)J
dr
h '(t)
(r - t)a
dt
w '(x)dx =
(1 - а)
о
w(1)
(1 - a)J
h '(t)
(r - t)a
dt =
dr
h '(t)
(1 -1)
dt-
dr
h '(t)
(r -t)<
w(r)dt,
Отсюда и из (8) имеем
h '(t)
Г1 " 1
о [(1 - a)J
(x - t)a
dt
■ w(x)dx =
(1 - a)
dr
h '(t)
(r - t)a
w(r)dt,
Интегрируя по частям два раза правой части последнего равенство, получим
1
h '(x)dx
(1 - а^
В силу (2) из (9) имеем
им 1
w(t) (t - x)<
dt =
h(x)
1
(1 -a)
w' (t) (t - x)c
dt
dx,
(9)
(1 - a)
w '(t)
(t - x)a
dt
dx =
h(x) ■ cDfxw(x)dx.
(10)
Из равенства (7) и (10) следует справведливость тождества (6). Лемма 1 доказана. □ Умножая Ьи на некоторую функцию и, запишем слагаемые в виде
иихх = (иих)х- (ихи)х + иихх, ииуу = (ииу)у - (иуи)у + ииуу.
Используя, последних выражений с учетом леммы 1 получаем сопряженный оператор на операторе Ьи:
DfxU -Uy^ y>0,
Uxx - Uyy, y < о,
=) cD1xU - Uyy
где сОахи—определяется из (2).
Тогда сопряженной задаче к задаче Ма в области П ставится, следующим образом.
x
x
т
о
о
о
о
x
т
о
о
о
о
1
x
о
о
1
т
r
x
о
о
о
о
r
r
о
о
о
о
r
1
о
о
r
1
о
о
о
x
о
x
x
о
о
Задача M^. Найти решения уравнения
Lfu = g(x,y), (11)
удовлетворяющее условиям
u|A0B0UBB0UBC = 0 (12)
(Ux + Uy) Iac = 0 (13)
и на линии изменении типа удовлетворяет условию сопряжения
lim u(x,y) = Um u(x,y), (x,0) e I, lim uy(x,y) = Hm uy(x,y), (x,0) e I.
y—>+0 y—>—0 y—>+0 y—>—0
(14)
В дальнейшем всюду относительно кривой y(x) будем предполагать, что она принадлежит классу функций Cf(0,l) и таких что (x — y(x))— монотонно возрастает.
Определение 2. Классическим решением задачи назовем функцию
из класса Pf = |u(x,y): u(x,y) e C1(Q) П Cy(Q0) П Cx,y(От ^, удовлетворяющую краевым условиям (12), (13) и (14) задачи M^ и обращающую уравнение (11) в тождество.
Определение 3. Функцию и e Ly(O) назовем сильным решением задачи M^, если существует последовательность функций {un(x)}, un e Pf, удовлетворяющих краевым условиям (12), (13) задачи M£, такая, что последовательности un и Lun сходятся в Ly(O) к функциям и и g соответственно.
3. Существования и единственность решения задачи
Теорема 1. а) для любой функций g(x,y) e Cf(Q), g(B) = 0 существует единственное классическое решение u(x,y) задачи M^ и оно удовлетворяет неравенству:
l|u|li < С ||g|0 (15)
и представлено в виде
u(x,y) =
Kf(x,y,x1,y1)g(x1,y1)dx1dy1 = (Lf) 1f, (16)
О
где К*(х,у,х1,у1) € Ь2(П х П).
б) для любой функций д(х,у) € Ь2(П) существует единственное сильное решение и(х,у) задачи М£. Это решение принадлежит классу =
|и(х,у) : и(х,у) € Ш21 (П) П М2х2у(По) П С(П )|, удовлетворяет неравенству (15) и представимо в виде (16).
Доказательство. В параболической части области рассмотрим первой краевой задачи: найти в области По решение уравнение
сООхи - иуу = д(х,у), (17)
удовлетворяющее однородным краевым условиям
и|АоБоиББо = 0 и неоднородному краевому условию
и(х,0) = т(х), (х,0) е I.
(18)
(19)
Считая функцию т(х) известной, вычислим -у(х) = их(х,0).
Решение начально-краевой задачи с условиями (18) и (19) для уравнения (17) в области По имеет вид [9]:
u(x,y) =
Gy1 (xby; x,0)T(x1)dx1 +
dx1
g(x1 ,y1 )G(x1 ,y; x,y1 )dy1, (20)
где т( 1) = 0, а С(х1 ,у;х,у1)—функции Грина первой краевой задачи для уравнения (17) в области По, представимая в виде
G( ) (x1 - x)ß-1 f
G(x1,y;x,y1) =--- 2_
2
1,ß^ |y - y1 + o1,ß f |y + y1 + 2n| N
'1,ß
(x1 - x)ß ) e1>4 (x1 - x)ß )
здесь в = а/2, а (г) - функция типа Райта. Она имеет вид:
(21)
e$(-) = ^
n=0
(an + ц)(6 - en)
, a > e, a > 0.
Дифференцируя (20) по у и устремляя у к 0, получим
^(х) = Пт иу(х,у) =
у^+о
=
y^>+0
Gyiy(x1,y; x,0)T(x1)dx1 +
dx1
g(x1,y1)Gy (x1,y; x,y1 )dy1
(22)
Теперь вычислим функции Су(х1,у;х,у1) и Су1у(х1,у;х,0). В силу формулы [9]:
(-)=-1 dz ' ez
имеем
Gyi(x1,y;x,y1) =
1
2ß(x1 - x)
+
+L
ea'j-1(z) + (1 - 6)ea'j(z)
sign(y - y1 + 2n)(x1 - x)ß
(23)
ly - y1 + 2n|
e1,ß-1(-) +
+(1 - ß)e1;ß(z)
+
где
sign(y + y1 + 2n)(x1 - x)ß |y + y1 + 2n|
z = - ly —y 1 +2n-l
- (x1-x)ß
e1;ß-l(z) + (1 - ß)e1;ß(z)
(24)
z = - ^+yi+2n|
- (x1-x)ß
dz sign(y - y1 + 2n) dz sign(y + y1 + 2n)
dy1
(x1 - x)ß
dy1
(x1 - x)ß
0
x
x
n=-oo
n
z
1
1
0
x
x
n=-
Положив в (24) y1 = 0, а затем применив формулы [9]:
е1'е—1 (0) + (1 — S)e1£(9)=— eee1>pе(0),
,1,6
1,6—е /
с учетом 6 = ß, 0 = z, находим
,1Г(£) + (1 — ß)e1;ß(Z) = ß e1;ßß(Z), Z =
+
(x1 — x)ß
r , sign (y +2n) 1,^ |y +2n| Gy, (x1,y;x,0)= 2_ -:-e^ß
x1 — x (x1 — x)ß/'
Дифференцируя (27) по y с учетом формулу:
d e1,6 (z) = e1,6—ß(z) -T-e1,ß(Z) = eo,ß (Z),
dz
учитывая
имеем
z = — |y + 2n| (x — x1) ß, z« = — sign(y + 2n)(x — x1) ß,
+
Gy,y(x1,y; x,0) = Y_
1_ 1,—ßf ly + 2n|
(x1 — x)1+ße1,^ (x1 — x)ß
а затем применив формулы
s6—2e^—1(cs—ß) = A(s6—1e0,ß (cs—ß)
'o,ß
"0,ß (
с учетом ц = 1,6 = 1 — ß,o = 1, s = x — x1, c = |y + 2n|, получим
+
Gy, y(x1,y; x,0) = Y_
d
d(x1 — x)
1 e1,1— ß ( ly + 2n| (x1 — x)ße1,ß V (x1 — x)ß
Положив в (31) y = +0, имеем
Gy,y(x1, +0,x,0) =
d
dx1
+
L
,1,1— ß
fa — x)ße1,ß V (x1 —x)ß
|2n|
(25)
(26)
(27)
(28)
(29)
(30)
(31)
(32)
Подставлля (32) в (22), а затем интегруя по частям с учетом т(1) = 0, получим
K(t —x)t '(t) dt + Ф0М. (33)
Uy (x,0) = v(x) = —
где
+
K(x)= x—ße1,ß—4—|2n|/x
Фo(x) =
dx1
9(x1 ,У1 )Gy (x1,0,x,y1 )dy1,
n t а \ +T sign(y1 + 2n)
Gy(x1,0,x,y1)= (x_x)
_e1,o f |У1 + 2n|
(x1—x) e1,H (x1 —x)ß
(34)
(35)
n=—oo
n=—oo
n=
x
ß
n=
0
x
n=
Решение задачи Ма в области П1 ищем в виде
u(x,y) = 2
t(t) + т(п) -
v(t)dt
dt1
ti
где
t = x+y, n = x-y, 4g1 (x,y) = g
x + y x - y 2 , 2
(37)
(38)
На основание (12) и (13) из (37) находим
v(t)=-T '(t)- 2
•A*(t)
g1(t,m)dn, 0 < t < 1
(39)
где п = Л*(£), 0 < £ < £,о, Л*(£0) = 1 уравнение кривой АС в характеристических переменных £, п и Л*(£) = 1 , £0 < £ < 1.
Подставляя полученное выражение -у(£) в (37), получим
u(x,y) =
dt1
•A*(t)
g1 (t1 ,П1 )dm + т(п),
(40)
здесь £ и п— определяются из (38).
Исключая функцию -у(х) из соотношений (33) и (39), получаем интегральное уравнение относительно т'(х):
где
т '(x)-
Ф(x) =-2
K(t - x)t '(t)dt = Ф(x),
•A*(t)
g1 (x,n1 )dn1 - Фо(x).
Принимая во внимание формуле
(0) = (Г (5)Г (ц))-1,
из (34) следует
K(x) =
(1 - ß)
x-ß +
+
L
n = -00, n = 0.
x
ß e1,ß
|2п|
xß
(41)
(42)
Очевидно, что ядра К(1 — х) интегрального уравнения (41) имеет слабой особенностью.
Действительно, в силу формулы [9, стр.33, (2.2.38)]:
y-ße1,1ß-ß (0) < C1y-ß, n = 0,
x^y-1^-13 (-Axay-ß) < C2yß, n = 0.
n
n
n
t
t
t
n
t
t
x
x
1
из (34) с учетом а = 1, Л = —1, х = |2п|, у = х — £, получим оценка ядра
№ — х)| < Сз(1 — х)—в .
(44)
Ограничения, наложенные правую часть уравнения (11) позволяют утверждать, что Ф(х) е С1 (0,1).
Таким образом, задача Ма эквивалентно (в смысли однозначной разрешимости) редуцирована к интегральному уравнению типа Вольтерра второго рода (41) со слабой особенностью.
Отсюда согласно теории интегральных уравнений Вольтерра второго рода [21] заключаем, что интегральное уравнение (41) однозначно разрешимо в классе т'(х) е С1 (0,1) и его решение дается формулой
т '(x) = ФМ +
R(t - x)Ф(t)dt;
где — х) - резольвента ядра уравнения (41):
ОО - 1
И(х) = ^к,(х), К1(х) = К(х), к,+1(х)= К1 (г—хЖ^аг.
5=1 }х
На основания (44) из (46) имеем
—х)| < С4(г—х)—в . Интегрируя (45) от х до 1 с учетом т(1) = 0 получим
(45)
(46)
(47)
T(x) =
Ф(r)R1(r-x)dr, (x,0) g I,
где
R1(r - x) =-1 -
В силу (47) из (49) получаем
|R1 (r-x)| < 1 + Cs(r-x)
R(r - s)ds.
- x)1-ß
(48)
(49)
(50)
После определения функций т(х) и V (х) из (45) и (39) соответственно, решение задачи Ма можно восстановить в области П0 как решение первой краевой задачи для уравнения диффузии дробного порядка (см.(20)) а в П1 как решение задачи Коши для уравнения (1) [14].
Подставлля (42) в (48), а затем используя кратные интегральные свойства (изменяем порядок интегрирования), получим
T(x)= 2 где
dt1
■A*(t)
t1
R1 (t1 - x)g1 (t1 ,n1 )dn1 +
dx1
g(x1,y1)G1(x1,n,y1 )dy1. (51)
G1 (x1 ,n,y1) =
x1
Gy(x1,0,t,y1)R1(t - n)dt.
(52)
x
x
r
x
0
x
x
n
Подставляя (51) в (20) и (40) получаем
Гл*М
u(x,y) =
r1
x,y) = 2
x
fi
+ dx1
> x 0
r л*(У
dti
ti
gi(ti,ni)G3(ti,x,y)dni +
g(xi,yi)G2(xi,y;x,yi)dyi, y > 0,
(53)
dti
gi(ti,ni)dni + 2
dti
л (t)
ti
Ri(ti -n)gi(ti,ni)dni +
+
dxi
g(xi,yi)Gi(xi,n,yi)dyi, y < 0,
где
G2(xi ,y; x,yi) = G(xi ,y; x,yi) +
•xi
Gi(xi,x,yi)Gyi (t,y;x,0)dt,
G3(ti,x,y) =
ti
Gyi (xi,y;x,0)Ri(ti -xi)dxi,
(54)
(55)
(56)
а £ и п- определяются из (38).
Теперь из (53) и (54) после некоторых вычислений получим (16). В этой формуле
К*(х,у,хьп) = 9(у)9(у1)Коо (х,у,хьуО + 9(у)9(-у1 )Ко1 (х,у,хьуО +
+9(-у)9(у1 )Кю(х,у,Х1,у1) + 9(-у)9(-у1 )Кц (х,у,х1 ,У1), (57)
9(у) = 1, у > 0 и 9(у) = 0, у < 0.
где
Коо(х,у,Х1,у1) = 9(х1 - х)С2(хьу; х,у1), Ко1(х,у,Х1,у1) = 9(^1 - х)Сз(£,1 ,х,у), Кю(х,у,х1,у1) = 9(х1 - п)С (х1 ,п,у1), Кц(х,у,х1,у1) = 29(^1 - Шп-Ы9(Л1 -п) + 9(^1 -п)№ -п).
Покажем теперь, что К(х,у,х1 ,у1) € Ь2(П х П). Для этого нам нужно показать, что Коо(х,у,х1 ,у1), Ко1 (х,у,х1 ,у1), Кю(х,у,х1,у1), Кц (х,у,х1 ,у1) принадлежат классу Ь2(П х П). Функция К(х,у,х1,у1) состоит из комбинации функций
Су, (х1,у;х,о), Су(х1 ,о,х,у1), С2(хьу;х,у1), С1(хьп,у0, 1^1 (- п), Сз(£ьх,у).
Находим оценки этих функций.
Из вида функции Грина (21) , (27) и (36) при п = о имеем
G(xi,y;x,yi) =
_ (xi -x)ß-i |y -yil \ 1
2
i>4 (xi -x)^ 6i'4 (xi -x^^
lyl
,ß
ly + yil
r t sign (y) i,0
Gyi (xi ,y;x,0)= x -x ei,ß
x1- x 90
(xi - x)ß J '
n
t
t
n
0
n
x
x
+
бу(х1,0,х,у1) =
п=—сх
Отсюда в силу [9, стр.29, (2.2.24)]:
sign(y1 + 2n)
J,0
ly 1 + n|
- t e_,H tß
(x1 - x) e1,n (x1 - x)ß
< q-^0-1^30-1, 0 g [0,1]
получим оценки
| G(x1 ,y;x,y1) | < C5 |y -y11-0 (x1 -x)ß+ß0-1
|Gyi (x1,y;x,0)| < C7|y|-0 (x1 -x)ße-1, |Gy(x1,0,x,y1)|< C6|y11-0 (x1 -x)ße-1.
(58)
(59)
(60) (61)
Используя (50), (52), (61) мы находим оценку для функции Ст(х,х1,у1) при п = 0 :
| С1 (х1 ,п,у1 )1 < Сю |у 11—6 (х1 — п)в6 + С111 у11 —е (х1 — п)ве—в+1. (62)
В силу (59), (60), (62) из (55) при п = 0 получим неравенства
|С2(х1 ,у;х,у1 )| < С5 |у — у11—е (х1 — х)в+ве—1 + С121у11—е 1уI —е (х1 — х)2ве+
+C13 |y 11-0 |y|-0 (x1 -x)2ße-ß+1,
(63)
Принимая во внимании (50), (60) из (56) следует оценкуСз(£1 ,х,у1) при п = 0: | Сз (£1 ,х,у)| < С14 |у| —е (£1 — х)ве + С15 |у| —е (£1 — х)ве—в+1, (64)
Из (57) непосредственнымым вычислением имеем
2
||K00(x,y,x1 ,y1)||L2(axa) =
Г1 Г 1Г ^x
dx dy dx1
0 0 0
2
|K00(x,y,x1 ;y1 )| dy1 =
Г1 Г 1Г ^x
dx dy dx1
0 0 0
2
|G2(x1,y,x,y1)| dy1 < oo,
2
||K01 (x,y,x1 ;y1 )|Il2(oxq) =
Г1 Г 1Г ^x
dx dy dx1
0 0 0
2
IK01 (x,y,x1,y1)| dy1 =
Г1 Г 1Г ^x
dx dy dt1
0 0 0
2
IG3(t1 ,x,y,)| dn1 < oo,
2
||K10(x,y,x1 ;y1 )||L2(axQ) =
Г1 Г 1Г ^x
dx dy dx1
0 0 0
2
|K10(x,y,x1,y1)| dy1 =
Г1 Г 1Г ^x
dx dy dx1
0 0 0
2
IG1 (x1 ,n,y1 )l dy1 < oo,
2
||K11 (x,y,x1 ;y1 )||L2(üxO) =
Г1 Г 1Г
dx dy dx1
0 0 0
2
IK11 (x,y,x1 ,y1 )| dy1 <
< 2 +
dx
2
IR1 (x -n1) I dn1 < oo,
y
0
y
0
0
y
0
y
0
y
0
y
0
0
0
Отсюда и из (57) следует, что К*(х,у,£,п) е Ь2(П х П).
Теперь покажем справедливость неравенство (15). Для этого расмотрим выражение
ФтМ = 2
gi (t,x) dt,
используя неравенства Коши-Буняковского
|Ф1 (x)|2dx =
Г i Г
2
0
gi (t,x) dt
2
dx < 4
Igi (t,x)|2dt
dt
dx
4
dx
Igi (t,x)|2dt.
(65)
Из (65) следует, что
11ф1М1к2«),1) < с 11д1ь2 (П!).
Через г(х,у) обозначим решение в П0 задачи
_2УУ = 9, г|ААоиАоБоиАБ Очевидно, что Ф0(х) = ПтгУ(х,у).
у^0
= 0,
Решение задачи г* -гуу = 9, г|ААоиАоБоиАБ = 0, в классе Ш],2(По) сушествует, единственно и удовлетворяет неравенству [8]:
ИгНып,) + И2х"ь2(По) + Игу И^2(По) + ^ ^(По) < с И|91к2(п>). (66)
< с (п) (см. [10]) неравенства, из (66) получаем
НгН^По) + ИсОЫ^По) + Игу И^(По) + Ку И^По) < с 11дк2(п>). (67)
Используя очевидно равенство
Учитывая ||cDoxzHl_2(Oo)
zy(x,0) = zy(x,y)-
и неравенства Коши-Буняковского получаем
Zyy (x,t)dt
l|zy(x,0)||2L2(0,i) <
|zy(x,0)|2dx =
dy
|zy(x,0)|2dx <
< C (||zy(x,y)|L2(a0) + ||zyy(x,y)|L2(a0^ . Из (67) и (68) имеем
|^0(x)||L2(0,i) = |Zy(x,0)|L2(0,i) < С ||g»L2(Qo)-
(68)
Поэтому из (45) имеет
|т'(x)IIl2(0,i) < C||Ф(x)11l2(0,i) < C11g10.
x
0
x
x
x
0
0
0
0
0
x
0
0
0
0
0
0
Отсюда и из свойств решения первой начально-краевой задачи для уравнения (17) следует, что решение задачи M^ принадлежит классу Р2 и удовлетворяет неравенству (15).
Покажем, что найденное решение будет сильным. Так как С0(П) плотно в L2(n), то для любой функции g е L2(n) существует последовательность функции gn е С0(П) таких, что ||gn - g|| —> 0, n —> 0. Здесь Сз(П)- множество дифференцируемых в области П. функции, равные нулю в окрестности ЭП. (Заграница области Q). Обозначим un = (L|)-1gn. При gn е С0(П) нетрудно видеть, что Ф-jx) е с1 [0, i ]. Здесь un - классическое решение задачи M^ с правой частью gn. Поэтому уравнение (41) можно рассматривать как интегральное уравнение Вольтерра второго рода в пространстве С1 [0,1].
Из свойств решение первой краевой задачи для уравнения диффузии дробного порядка и решение задачи Коши для волнового уравнения, принимая во внимание представления (20) и (40), получаем, что un е Р| для всех gn е С1(П).
В силу неравенства (15) имеем
||un-и||< С||gn-gH 0.
Следовательно, {un} - есть последовательность, отвечающая определению сильного решения, задача M^- сильно разрешимо для любой правой части g, и принадлежит классу 2.
Теорема 1 доказана. □
4. Вольтерровость задачи М^
Определение 4. (см. [16]).
1. Пусть Б С П х П. Функцию К(Р, р) назовем Б-ядром, если К(^р) € Ь2(П х П) и К(^р) = о при € Б.
2. Открытое множество Б С П х П назовем множеством типа V, если любое Б-ядро не имеет собственных значений.
3. Если Б С П х П и Б1 = П х П - Б (Б- замыкание Б) одновременно являются множествами типа V, то Б назовем максимальным множеством типа V.
5 5
4. Пусть Б С П х П . Условимся записывать N1—>N2 (N^—>N1), если (N^N2) € Б ((^,N2) €Б).
5. Если Б-множество типа V и К(^р) - Б-ядро, то уравнение y(N) = Л/0 K(N,Q)y(Q)dQ + f(N) назовем обобщенным уравнением типа Вольтерра. [4]
Лемма 2. (Теорема Нерсесян). Для того чтобы Б было множеством
типа V, необходимо и достаточно, чтобы для любого к > 1 из условий
Б Б Б Б Б
N1 —> N2 —> N3 —}... —} N следовало N^^N1. Используя определения 4 и леммы
2 докажем следующую теорему.
Теорема 2. Обратный оператор (Ц )-1 задачи М^, определяемый формулой (16) является вольтерровым.
Доказательство. Рассмотрим последовательность точек Ni = (xi,yi), i = 1,k. Пусть для любого k > 0 выполняется условие
N1 -^N2 -^N3 -U... -UNk. (69)
Тогда при i < j из условия (Ni,Nj) е S следует соотношение
xi>xj, i<j. (70)
Докажем, что из (69) следует условие (Nr,Ni) е S. Используя явный вид (57) ядра K(xk,yk'>xi,yi), непосредственным вычислением убеждаемся в том, что для выполнения условия (70), достаточно, чтобы K(xk,yk'>xi ,yi) = 0. Значит из (69) для любого k> i следует, что (Nk,Ni) е S. Следовательно, (57) определяет S- ядро, не имеющее собственных значений, и оператор Li- является вольтерровым. Теорема 2 доказана. □
Заключение
В последние годы возрос интерес к исследованию краевых задач для смешанных уравнений с оператором дробного порядка в смысле Римана-Лиувилля и Капуто. В работах М. А. Садыбекова [17] и А. С. Бердышева [14] доказана сильная разрешимость и вольтерровость (отсутствие у нее собственных значений) краевых задач в области с отходом от характеристики для уравнения смешанного параболо-гиперболического типа целого порядка. Как известно, исследования по краевым задачам для уравнения параболо-гиперболического типа дробного порядка не проводились ранее. Исходя из этого, в данной работе мы исследовали сопряженной задачи в области c отходом от характеристики для уравнения смешанного параболо-гиперболического типа дробного порядка. Установлены классическая, сильная разрешимость и вольтерровость сопряженной задачи.
Список литературы
1. Нахушев А.М., Салахитдинов М.С.О законе композиции операторов дробного интегродифференцирования с различными, Доклады АН СССР, 1998. Т. 289, №4, С. 1313-1316.
2. Нахушев А. М. Элементы дробного исчисления и их применения. Нальчик: Изд. КБНЦ, 2000. 299 с.
3. Нахушев А. М. Задачи со смещением для уравнений в частных производных. М.: Наука, 2006.
4. Hardy G., Littlewood J. E. Some properties of fractional integrals, Math. Z, 1928. vol. 6, pp. 565-606.
5. Love E. R. A third index law for fractional integrals and derivatives, Fractional Calculus: Res. Notes Math., 1985, pp. 63-74.
6. Saigo M. On the Holder continuity of the generalized fractional integrals and derivatives, Math. Rep. Kyushu Univ, 1980. vol. 12, no. 2, pp. 55-62.
7. Салахитдинов М.С., Исломов Б. И. Уравнения смешанного типа с двумя линиями вырождения. Ташкент, 2009. 264 с.
8. Михайлов В. П. Дифференциальные уравнения в частных производных. Москва, 1983. 424 с.
9. Псху А. В. Уравнения в частных производных дробного порядка. Москва, 2005.199 с.
10. Самко С. Г., Килбас А. А. Интегралы и производные дробного порядка и некоторые их приложения. Минск, 1987. 688 с.
11. Елеев В. А. Аналог задачи Трикоми для смешанных парабологипер-болических уравнений с нехарактеристической линией изменения, Дифференциальные уравнения, 1977. Т. 13, №1, С. 56-163.
12. Капустин Н. Ю. Оценка решения задачи Трикоми для системы уравнений параболо-гиперболического типа, Докл. АН ссср, 1982. Т. 265, №3, С. 524-525.
13. Сабитов К. Б. К теории уравнений смешанного параболо-гиперболичес-кого типа со спектральным параметром., Дифференциальные уравнения, 1989. Т. 25, №1, С. 117-126.
14. Бердышев А. С. Краевые задачи и их спектральные свойства для уравнения смешанного параболо-гиперболического и смешанного-составного типов. Алматы, 2015. 224 с.
15. Ильин В. А. Единственность и принадлежность классического решения смешанной задачи для самосопряженного гиперболического уравнения, Математические заметка, 1975. Т. 17, №1, С. 93-103.
16. Нерсесян А. Б. К теории интегральных уравнений типа Вольтерра, Докл. АН ссср, 1964. Т. 155, №5, С. 1006-1009.
17. Садыбеков М. А. Краевые задачи в областях с отходом от характеристики для уравнений гиперболического и смешанного типов второго порядка. Докт.дисс. Ташкент, 1993.
18. Karimov E. T., Akhatov J.S.A boundary problem with integral gluing condition for a parabolic-hyperbolic equation involving the Caputo fractional derivative, Electronic Journal of Differential Equations, 2014. vol.2014, no. 14, pp. 1-6..
19. Исломов Б. И., Убайдуллаев У. Ш. Краевая задача для уравнения параболо - гиперболического типа с оператором дробного порядка в смысле Капуто в прямоугольной области., Научный вестник. Математика, 2017. №5, С. 25-30.
20. Исломов Б. И. , Абдуллаев О. Х. О нелокальных задачах для уравнения третьего порядка с оператором Капуто и нелинейной нагруженной частью, Уфимск. матем. журн., 2021. Т. 13, № 3, С. 45-57.
21. Михлин С. Г. Лекции линейным интегральным уравнениям. Москва, 1959.232 с.
Информация об авторах
Исломов Бозор Исломович& - доктор физико-математических наук, профессор, профессор кафедры "Дифференциальных уравнений и математической физики" Национального Университета Узбекистана имени М. Улугбека, Узбекистан, Шрв: //orcid.org/0000-0002-3060-3019.
Ахмадов кафедры математической Узбекистана
Илхом Али угли& - аспирант "Дифференциальных уравнений и
физики" имени
М.
Национального Улугбека,
университета Узбекистан,
© https://orcid.org/0000-0002-5797-7424.
ISSN 2079-6641
MCAOMOB B.M., AxMagoB M. A.
References
[1] Nakhushev A.M., Salakhitdinov M.S. O zakone kompozitsii operatorov drobnogo integrodifferentsirovaniya s razlichnymi nachalami. [On the law of composition of fractional integro-differentiation operators with different origins]. Doklady AN USSR, 1998, 289, 4, 1313-1316, (In Russian)
[2] Nakhushev A. M. Elementy drobnogo ischisleniya i ikh prilozheniya. [Elements of fractional calculus and their applications], Nalchik, Izd. KBNTs, 2000, 299, (In Russian)
[3] Nakhushev A. M. Zadachi so smeshcheniyem dlya uravneniy v chastnykh proizvodnykh. [Problems with displacement for partial differential equations]. Moscow, Nauka, 2006. (In Russian)
[4] Hardy G., Littlewood J.E. Some properties of fractional integrals. Math. Z, 1928, 27, 4, 565-606.
[5] Love E. R. A third index law for fractional integrals and derivatives. Fractional Calculus: Res. Notes Math. 138: A.C. McBride, G.F. Roach, eds Pitman Advanced Publ. Progr. Boston ets., 1985, 63-74.
[6] Saigo M. On the Holder continuity of the generalized fractional integrals and derivatives. Math. Rep. Kyushu Univ, 1980, 12, 2, 55-62.
[7] Salakhitdinov M.S., Islomov B.I. Uravneniya smeshannogo tipa s dvumya liniyami vyrozhdeniya. [Mixed type equations with two lines of degeneracy]. Tashkent, 2009, 264 (In Russian)
[8] Mikhailov V. P. Uravneniya s chastnymi proizvodnymi. [Partial Differential Equations]. Moscow, 1983, 424. (In Russian)
[9] Pskhu A. V. Uravneniya v chastnykh proizvodnykh drobnogo poryadka. [Equations in partial derivatives of fractional order]. Moscow, 2005, 199 (In Russian)
10] Samko S. G., Kilbas A. A., Marichev O.I. Drobnyye integraly i proizvodnyye i nekotoryye ikh prilozheniya. [Fractional integrals and derivatives and some of their applications]. Minsk, 1987, 688 (In Russian)
11] Eleev V. A. An analogue of the Tricomi problem for mixed parabolic-perbolic equations with a non-characteristic line of type change, Differential Equations, 1977, 13, 1, 56-63 (In Russian)
12] Kapustin N.Yu. Estimation of the solution of the Tricomi problem for a system of equations of parabolic-hyperbolic type. Doklady AN USSR, 1982, 265, 3, 524-525 (In Russian)
13] Sabitov K.B. On the theory of equations of mixed parabolic-hyperbolic type with a spectral parameter. Differential Equations, 1989, 25, 1, 117-126 (In Russian)
14] Berdyshev A. S. Boundary problems and their spectral properties for the equation of mixed parabolic-hyperbolic and mixed-component types. Almaty, 2015, 224, (In Russian)
15] Ilyin V. A. The unity and belonging of a classic solution to a mixed problem for the self-adjoint hyperbolic equation. Mathsaticheskie zametka, 1975, 17, 1, 93-103, (In Russian)
16] Nersesyan A. B. On the theory of integral equations of the Volterra type, Doklady AN USSR, 1964, 155, 5, 1006-1009. (In Russian)
17] Sadybekov M. A. Boundary value problems in domains with departure from the characteristic for equations of hyperbolic and mixed types of the second order. Doct. Diss., Tashkent, 1993 (In Russian)
18] Karimov E. T., Akhatov J. S. A boundary problem with integral gluing condition for a parabolic-hyperbolic equation involving the Caputo fractional derivative. Electronic Journal of Differential Equations, 2014, 14, 1-6.
[19] Islomov B.I., Ubaidullaev U.Sh. Boundary value problem for an equation of parabolic -hyperbolic type with a fractional order operator in the sense of Caputo in a rectangular region, Nauchny Vestnik. Mathematika, 2017, 5, 25-30. (In Russian)
[20] Islomov B. I., Abdullaev O. Kh. On nonlocal problems for a third-order equation with the Caputo operator and a nonlinear loaded part. Ufimsk. mate. Journal, 2021, 13, 3, 45-57 (In Russian)
[21] Mikhlin S. G. Lektsiya lineynym integral'nym uravneniyem. [Lectures linear integral equations]. Moscow, Mattizgiz, 1959, 232 (In Russian)
Information about authors
Islomov Bozor Islomovichfa - D. Sci. (Phys. & Math.), Professor of the Department of "Differential Equations and Mathematical Physics" of the National University of Uzbekistan named after Ulugbek, Uzbekistan, https: / / orcid.org/0000-0002-3060-3019.
Akhmadov Ilkhom Ali uglifa - Doctoral student (PhD) of the Department of "Differential Equations and Mathematical Physics" of the National University of Uzbekistan, named after Ulugbek, Uzbekistan, https://orcid.org/0000-0002-5797-7424.