УДК 517.95
Б01: 10.21779/2542-0321-2020-35-1-13-20 Ж.А. Балкизов
Первая краевая задача со смещением для уравнения параболо-гиперболического
типа второго порядка
Институт прикладной математики и автоматизации КБНЦ РАН; Россия, Кабардино-Балкарская Республика, 360000, г. Нальчик, ул. Шортанова, 89А; [email protected]
В статье исследована краевая задача со смещением для неоднородного уравнения пара-боло-гиперболического типа второго порядка с волновым оператором в области гиперболичности, когда в качестве граничного условия задана линейная комбинация с переменными коэффициентами от значений искомой функции на двух независимых характеристиках и на линии изменения типа. Найдены необходимые и достаточные условия существования и единственности регулярного решения задачи. В некоторых частных случаях представление решения исследуемой задачи выписано в явном виде.
Ключевые слова: уравнение параболо-гиперболического типа, первая краевая задача, задача со смещением, теорема о среднем значении, условия разрешимости.
Впервые задача с граничным условием, связывающим значения искомой функции на двух независимых характеристиках гиперболической части области для уравнения Лаврентьева-Бицадзе, была сформулирована и исследована в работе [1]. В работе [2] было введено понятие краевой задачи со смещением и исследован ряд нелокальных краевых задач с разными смещениями для гиперболических уравнений и уравнений смешанного типа. В работе [3] найдена связь между решением вырождающегося гиперболического уравнения и оператором дробного интегродифференцирования (в смысле Римана-Лиувилля) и дана методика постановки краевой задачи со смещением для уравнения Геллерстедта. Также в работе [3] было получено свойство решения уравнения Геллерстедта, которое является аналогом теоремы о среднем значении для волнового уравнения. Достаточно полная библиография научных работ, посвященных исследованиям краевых задач со смещениями, приведена в монографиях [4-9], а также в диссертациях [10-12]. Некоторые задачи со смещением, возникающие в естествознании, встречаются в монографиях [13-15].
Нами исследована краевая задача со смещением для неоднородного уравнения параболо-гиперболического типа второго порядка с волновым оператором в области гиперболичности, когда в качестве граничного условия задана линейная комбинация с переменными коэффициентами от значений искомой функции на двух независимых характеристиках и на линии изменения типа. Найдены необходимые и достаточные условия существования и единственности регулярного решения задачи. В некоторых частных случаях представление решения исследуемой задачи выписано в явном виде.
На евклидовой плоскости независимых переменных x и у рассмотрим уравнение
0 = {"- --/» у < 0 (1)
["хх - "у - У > °
где /1 = /1 (х, у), /2 = /2 (х, у) - заданные функции, и = "(х, у) - искомая функция. Уравнение (1) при у < 0 совпадает с неоднородным волновым уравнением
"хх - "уу = /1 у) , (2)
а при у > 0 совпадает с неоднородным уравнением теплопроводности
"хх - "у = /2 у) . (3)
Уравнение (1) рассматривается в области О, ограниченной характеристиками АС: х + у = 0 и СВ: х — у = г уравнения (3) при у < 0, выходящими из точки С = (г /2, - г /2) и проходящими через точки А = (0,0) и В = (г, 0) соответственно, а также прямоугольником с вершинами в точках А , В , А) = (0, И), В0 = (г, И), И > 0 при у >0. Обозначим =Оп{у < 0}, О2 =Оп{у > 0}, J = {(х,0):0 < х < г},
О = Ох и О 2 и J .
Регулярным в области О решением уравнения (1) назовем функцию " = "(х, у) из класса с(о)пС1 (О)оС2()оС2Х (О2), "х, "у е 1^(1), удовлетворяющую уравнению (1).
Задача 1. Найти регулярное в области О решение уравнения (1), удовлетворяющее условиям
"(0,у)=р(у), "(г,у) = ^2(у), 0 <у <И, (4)
а(х)"\0 (х)] + Р(х)"[вг (х)]+у(х)"(х, 0) = у/(х), 0 < х < г, (5)
где д0 (х; - , 9 (х) = ^ х + г;х - г | - аффиксы точек пересечения характеристик
уравнения (2), выходящих из точки (х, 0) с характеристиками АС и ВС соответственно; р(у), (Р2(у), <Рз(у); «(х), Р(х), у(х), у/(х) - заданные функции. Пусть существует решение задачи (1), (4), (5), и пусть
"(х,0) = т(х), 0 <х < г ; "у(х,0) = у(х), 0 < х < г. (6)
Переходя в уравнении (1) к пределу при у ^ +0 с учетом обозначений (6), получим первое фундаментальное соотношение между функциями т(х) и у(х), принесенное из параболической части О 2 на линию у = 0:
т"(х)-у(х) = /2 (х,0). (7)
При предельном переходе к у ^ +0 из граничных условий (4) получим
т(0 )=Р (0), т(г ) = Р2 (0). (8)
Найдем теперь фундаментальное соотношение между функциями т(х) и у(х), принесенное из гиперболической части О1 области О на линию изменения типа у = 0. С этой целью докажем следующую лемму (теорему) о среднем значении для неоднородного одномерного волнового уравнения (2).
Лемма 1. Всякое регулярное решение уравнения (2), удовлетворяющее условию " (х, 0) = т(х), обладает тем свойством, что
(Г Г Л 10 г+s
и[0 (х)]+и[г (х)] = и(х,0)+и—, — | + — | | / ((, s)dtds -
V 2 2у 2 -г/2 -s
1 0 г+ s 1 0 х+s
- 2 1 1 / (, s)dt ds - - | | / (t, s )dtds . (9)
2 (х-г)/2 х-s 2 -х/2 -s
Действительно, решение задачи (6) для уравнения (2) выписывается по формуле
[20]:
и(х,у)=ф + уМх-у) + 2х+^(t)dt-21 ~у-/(,s)dtds . (10)
2 2 х - у 2 0 х - у + s
Из формулы (10) находим
откуда
п[в0(x)] = u[x,-IхVK0Mx) + 2]v{t)dt_2 f x)tdx,
V 22 y 2 2 x 2 0 x+X
fniW fx + rx-r^ r(x)+r(r) 1 x 1(x-r)/2 x_,
u[r «] = u —1= v ^ v > + - Jv(()dt - - J J f((, s)dtds,
V 2 2 y 2 2 r 2 0 r+X
u[o (x)]+u[r (x)] = r(x) + I(0l+^ - -2 H )dt -
2 2 0
1 (x-r)/2 x-X 1 -x/2 -X
2 J J f(, x)dtdx - 2 J J f(t, x)tdx . (11)
2 0 r + x 2 0 x+x
Найдем
u
'r r W°Mr) U/.w 1 "f 7.
2 -т -2 1 1 /(s)dtds . (12)
V2 2 у 2 2 0 2 0 г+s
Из (11) и (12) приходим к (9).
Для дальнейшего рассуждения воспользуемся формулой (9). Найдем значение
( Г Г Л
и —; — I. При х = 0 из граничного условия (5) с учетом первого из условий (8) нахо-
V 2 2 у
дим
[(0) + г(0)к (0) + Р(0)и{ 2; - 21 = уф),
V
откуда при ß(0) Ф 0 находим
(г. г | = у(0)-И0) + 7(0)]^1 (0) (13)
V 2 2 у А(0) ■ ^ ;
Аналогично при х = Г и а(г)ф 0 из (5) и (8) найдем
и(Г . - Г Л=У(Г)-[^(г)+?(г)]^2(0) (14)
V 2' 2) а(г) '
Таким образом, если а2(г)+^2(0)ф 0, то значение искомой функции и(х,у) в точке С =
Г Г |
—; — I находится по одной из формул (13) или (14). Пусть, например, V 2 2 у
а(г) ф 0. Тогда равенство (9) перепишется в следующем виде:
и[б>0 (х)] + и[г (х)] = г(х)+^ (х), (15)
где ^(х) =
у(г)-\/(г) +у(г)]р2(0) , 1
(
а (г)
2
0 г+х 0 х+в
Л
I I - I I - I I / (.
у-г/2 - в (х- г)/2 х - в - х/2 - в у
Рассмотрим сначала случай, когда а(х) = /(х) V х е\0, г]. Справедлива следую-
щая
Теорема 1. Пусть заданные функции р(у), р2(у), р3(у); а(х) , /(х), у(х) , у/(х); / (х, у) , /2 (х, у) таковы, что
р(у), Р2 (у), Рз (у) е С\0, И] С1 ]о, и\; (16)
а(х), /(х), у(х), ¥(х)е Сх\0,г]С2]0,г\; (17)
/ (х, у) е С1 (д), /2 (х, у) е с(О2); (18)
а(х) = р(х), а(х) +у(х)* 0, а2(х) +у2(х)* 0 V хе\0,г]; (19)
а2 (г) + /2 (0) * 0. (20)
Тогда существует единственное регулярное в области О решение задачи 1. Действительно, из (5) с учетом (15) и (19) находим
т(х) = У(х) -а(х)1'\(х), а(х) + у(х)
откуда при условиях (17), (18) из (7) имеем
"М = Ах) - Л (x,°) = ГгСО^У^ У - /2 (,,0) .
у а(х )+у(х) у
При найденных значениях т(х) и "(х) решение исходной задачи (1), (4), (5) в области О выписывается по формуле (10), а в области О решение первой краевой задачи для уравнения теплопроводности (3) при заданных граничных условиях (4) и при заданном начальном условии "(х, 0) = т(х) выписывается по формуле [15]:
"(х, у) = 10% (х, у; 0, ГрРГй) -10% (х, у; г, ))р2 Гй) +
0 0
+ }б<х,у; %,0)т(%) -1 |а(х,у;%,))/(%))%й),
(21)
где в(х, у; %,)) =
1
л/4^(у -г)
Е 1ехР
—/ Iп=-о>
0 0
х - % + 2гп 4()-у) _
ехр
х + % + 2гп . 4()- у)
- функция Грина
первой краевой задачи уравнения теплопроводности.
Пусть теперь а(х)*/(х) Vх е \0, г]. Справедлива следующая теорема единственности регулярного решения задачи (1), (4), (5).
Теорема 2. Пусть относительно заданных функций а(х), /3(х) и у(х) выполнено условие (20), а также:
(22)
(23)
(24)
а2(х)+/2(х) + у2(х)*0 V хе\0,г], а(х), /(х), у(х)е ф,г] а(х) */(х) V х е\0, г]
а(х) + /(х) + 2у(х)
> 0 V х е\0, г].
а(х) - 3(х)
Тогда решение задачи 1 единственно в требуемом классе.
0 г + в
Доказательство. При условии (24) из (5) и (15) приходим к следующей системе линейных алгебраических уравнений:
Ги [0 (х)] + и [<9г (х)] = т(х) + Ц (х), [а(х)и[0(х)]+ р(х)и[вг(х)] = у(х)- у(х)т(х) относительно неизвестных и[0 (х)] и и\вг (х)]. Решая систему (24), находим, что
(26)
и [0 (х )] = Р(х )+^(х ) т (х ) + Р(х (х )-У(х ).
0 (3(х )-а(х) (3(х )-а(х)
С другой стороны, из формулы (10) находим, что
и
[0(х)] = ^)±Ф)-2^)ds + 2 1 Ц (^ .
(27)
(28)
' -х/2 -
Подставляя значение и\в0 (х)] из (28) в (27), а затем дифференцируя полученное равен-
(29)
ство, приходим к следующему соотношению:
У(х) = [а(х)Г(х)| - Ц2(х) = а(х) + р(х) + 2у(х)
где а
(х) = -
Ц2 (х)= 1 /1 (х + t, t )dt + 2
- х/2
Р(х >1 (х )-у(х )' а(х)- /3(х)
а(х) - р(х)
Соотношение (29) есть фундаментальное соотношение между функциями т(х) и у(х) в случае, когда соблюдено условие (24).
Для соответствующей исходной задаче (1), (4), (5) однородной задачи (у) = / (х, у) = у(х) = 0, i = 1,3, 7 = 1,2) рассмотрим интеграл
Г
J = 1т(х)у(хX)dx .
0
Из соотношения (7) при условиях (8) имеем, что рассматриваемый интеграл
г г
J = 1 т(х) у(х)<х = -1 [т(х)]2 dx < 0.
00
А из соотношения (29) находим
(30)
J = ^т(х)у(х)<<х = 1т(х )[а(х )т(х)]/ dx =—1а' (х )т2 (х)<х.
20
(31)
0 0 2 0 Если выполнены условия (22), (23), (25) теоремы 2, то из (30) и (31) следует, что т(х) = 0 . При этом из соотношений (7) или (29) имеем, что и к(х) = 0. Тогда из формулы (10) заключаем, что и(х, у) = 0 в области С, а из (21) следует, что и(х, у) = 0 в С,. Таким образом, показано, что однородная задача, соответствующая задаче (1), (4), (5), при выполнении условий теоремы 2 имеет только тривиальное решение и(х, у) = 0 в области С, что говорит о единственности регулярного решения исследуемой задачи 1. Так как
'(х ) =
а
(х )+р(х )+ 2у(х )'
а
(х М(х )
=2
а
(х )+У(х )
а(х )- ^(х)
=2
Р(х )+/(х )' а(х )- ^(х)
то вместо условия (25) в теореме 2 можно воспользоваться одним из следующих более простых равносильных условий:
а
a(x) + y(x) a(x) - ß(x)
> 0 или
ß(x) + y(x) ' a(x) - ß(x)
> 0.
Теорема 3. Пусть относительно заданных функций q—(y), q>2(y), (p3(y); oc(x), ß(x), y(x), i//(x); f (x, y) , f2(x,y) выполнены условия (16), (20), (22), (23), (24), (25), и пусть
¥(x) e C—[0, r], f (x, y) e ф—), f2 (x, y) e cfö). (32)
Тогда решение задачи 1 существует.
Доказательство. Для доказательства теоремы 3 вернемся к соотношениям (7), (8) и (29). Исключая из (7) и (29) искомую функцию v(x), относительно r(x) приходим к задаче нахождения решения обыкновенного дифференциального уравнения второго порядка вида
t"(x) - a(x) [(x) - a'(x[(x) = f (x,0) - F2 (x), (33)
удовлетворяющего условиям (8).
При соблюдении условия (25) однородная задача, соответствующая задаче (33), (8) имеет только тривиальное решение r(x) = 0. Это следует из равенства
j"r(x)[r"(x)- a(x )[(x)- a'(x)r(x)]t/x = -{['(x)]2 dx -—Ja'(x)r2 (x)dx = 0.
0 0 2 0 Поэтому, согласно общей теории линейных дифференциальных уравнений второго порядка, существует единственная функция Грина ü(x,£), с помощью которой решение задачи (32), (8) выписывается по формуле:
1
Kx) = -
r - x +
J G(x,i)[a(i) + a'(i)(r-,)]
щ(0) +
1
+ — r
x +
щ (o)+J G(x,i)/2 (i,0)di-J G(x,i) ()<%.
В случае, когда
a(x) + ß(x) + 2y(x)
= 0 V x e [0, r], то есть в случае
a(x) - ß(x)
/ \ a(x) + ß(x) + 2y(x) w г -i
a(x) = v ' i\ = a = const V x e [0,r]
a(x) - ß(x)
функция G(,i) имеет следующий вид:
(r-i) -1) (l - eax),
G (x,,) = ■
1
a (r-i)
ey ' - e
а (еаг -1)
и с помощью нее решение задачи (33), (8) выписывается в явном виде по формуле [21]:
0 < x < ,,
aix-{) ) (l - eai ) , i< x < r,
(34)
r(x) = J G(x,i)/2 (i,0) di-J G(x,i) F2 (i) di + Gi(x,l) щ (0) - G, (x,0) <01(0) .
(35)
Явный вид искомой функции т = т(х) выписывается также и в случаях, когда либо а2 (х) + у2 (х) = 0, либо 01 (х)+у2 (х) = 0, либо же а2 (х)+01 (х) = 0 и при этом выполнены условия (22), (23). Так, в случаях, когда а2 (х) + у2 (х) = 0 или ¡З2 (х) + у2 (х) = 0,
r
решение т = т(х) задачи (33), (8) выписывается по формуле (35), где О(х,%) определяется по формуле (34) при а = -1 и а = 1 соответственно. А при а2(х) +/2(х) = 0 из
( \ ¥{х)
условия (5) сразу следует, что т(х) = , ч .
у(х)
В каждом из рассмотренных выше случаев по найденному значению т(х) из фундаментальных соотношений (7) или (29) можно найти и функцию "(х). При этом решение исходной задачи (1), (4), (5) в области О выписывается по формуле Даламбера (10), а в области О2 решение задачи (3), (4) при заданном "(х,0) = т(х) дается по формуле (21).
Литература
1. Жегалов В.И. Краевая задача для уравнения смешанного типа с граничными условиями на обеих характеристиках и с разрывами на линии перехода // Ученые записки Казанского университета. - 1962. - Т. 122, кн. 3. - С. 3-16.
2. Нахушев А.М. Новая краевая задача для одного вырождающегося гиперболического уравнения // Доклады Академии наук СССР. - 1969. - Т. 187, № 4. - С. 736739.
3. Нахушев А.М. О некоторых краевых задачах для гиперболических уравнений и уравнений смешанного типа // Дифф. уравнения. - 1969. - Т. 5, № 1. - С. 44-59.
4. Репин О.А. Краевые задачи со смещением для уравнений гиперболического и смешанного типов. - Самара: Издательство Самарского филиала Саратовского университета, 1992. - 162 с.
5. Кальменов Т.Ш. Краевые задачи для линейных уравнений в частных производных гиперболического типа. - Шымкент: Гылая, 1993. - 328 с.
6. Салахитдинов М.С., Уринов А.К. Краевые задачи для уравнений смешанного типа со спектральным параметром. - Ташкент: ФАН, 1997. - 165 с.
7. Нахушев А.М. Задачи со смещением для уравнений в частных производных. -М.: Наука, 2006. - 287 с.
8. Нахушева З.А. Нелокальные краевые задачи для основных и смешанного типов дифференциальных уравнений. - Нальчик: КБНЦ РАН, 2011. - 196 с.
9. Сабитов К.Б. К теории уравнений смешанного типа. - М.: Физматлит, 2014. -
304 с.
10. Нахушев А.М. К теории линейных краевых задач для гиперболических и смешанных уравнений второго порядка: дис. ... д-ра ф.-м. н. - Новосибирск, 1970. - 172 с.
11. Жегалов В.И. Исследование краевых задач со смещением для уравнений смешанного типа: дис. ... д-ра ф.-м. наук. - Новосибирск, 1988.
12. Кожанов А.И. К теории уравнений составного типа: дис. . д-ра ф.-м. наук. - Новосибирск, 1993. - 329 с.
13. Берс Л. Математические вопросы дозвуковой и околозвуковой газовой динамики. - М.: Иностранная литература, 1961. - 208 с.
14. Франкль Ф.И. Избранные труды по газовой динамике. - М.: Наука, 1973. -
712 с.
15. Нахушев А.М. Уравнения математической биологии. - М.: Высшая школа, 1995. - 301 с.
16. Килбас А.А., Репин О.А. Задача со смещением для параболо-гиперболического уравнения // Дифф. уравнения. - 1998. - Т. 34, № 6. - С. 799-805.
17. Репин О.А. Нелокальная краевая задача для параболо-гиперболического уравнения с характеристической линией изменения типа // Дифф. уравнения. - 1992. -Т. 28, № 1. - С. 173-176.
18. Мирсабуров М., Чориева С. Т. О задаче с тремя вариантами смещений для уравнения смешанного типа // Известия вузов. Сер.: Математика. - 2016. - № 4. -С.32-45.
19. Балкизов Ж.А. Об одной краевой задаче типа задачи Трикоми для уравнения смешанного параболо-гиперболического типа второго порядка с тремя смещениями в гиперболической части области // Научные ведомости Белгородского государственного университета. Сер.: Математика. Физика. - 2019. - Т. 51, № 1. - С. 5-14.
20. Тихонов А.Н., Самарский А.А. Уравнения математической физики. - М.: МГУ. Наука, 2004. - 798 с.
21. Хубиев К. У. Задача типа задачи Бицадзе-Самарского для нагруженного уравнения гиперболо-параболического типа // Математические заметки СВФУ. - 2019. - Т. 26, № 2. - С. 31-40.
Поступила в редакцию 9 октября 2019 г.
UDC 517.95
DOI: 10.21779/2542-0321-2020-35-1-13-20
The First Boundary Value Problem with Bias For a Second-Order Parabolic-Hyperbolic
Type Equation
Zh.A. Balkizov
Institute of Applied Mathematics and Automation, KBSC RAS; Russia, 360000, Kabardino-Balkarian Republic, Nalchik, Shortanova st., 89a; [email protected]
The boundary-value problem with bias for a second-order parabolic-hyperbolic type equation with a wave operator in the region of hyperbolicity is studied when a linear combination with variable coefficients of the values of the desired function on two independent characteristics and on the type change line is specified as the boundary condition. Some necessary and sufficient conditions for the existence and uniqueness of a regular solution to the problem are found. In some special cases, the representation of the solution to the problem under study is written out explicitly.
Keywords: parabolic-hyperbolic type equation, first boundary value problem, bias problem, mean value theorem, solvability conditions.
Received 9 October 2019