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

МАТЕМАТИКА

УДК 517.95

Б01: 10.21779/2542-0321-2021-36-1-7-14 Ж.А. Балкизов

Краевые задачи для смешанно-гиперболического уравнения

Федеральное государственное бюджетное научное учреждение «Институт прикладной математики и автоматизации»; Россия, 360000, КБР, г. Нальчик, ул. Шортанова, 89а; Giraslan@yandex.ru

В работе исследованы краевые задачи с данными на противоположных (параллельных) характеристиках для одного смешанно-гиперболического уравнения, состоящего из волнового оператора в одной части области и вырождающегося гиперболического оператора Геллерстедта в другой части. Известно, что задачи с данными на противоположных (параллельных) характеристиках для волнового уравнения в характеристическом четырехугольнике поставлены некорректно. Однако, как показано в данной работе, решение аналогичных задач для смешанно-гиперболического уравнения, состоящего из волнового оператора в одной части области и вырождающегося гиперболического оператора Геллерстедта с порядком вырождения m > 0 в другой части области, при определенных условиях на заданные функции существует единственно и выписывается в явном виде.

Ключевые слова: волновое уравнение, вырождающееся гиперболическое уравнение, уравнение Вольтерра, метод Трикоми, метод интегральных уравнений, методы теории дробного исчисления.

Введение. Постановка задачи

На евклидовой плоскости независимых переменных x и у рассмотрим уравнение

[■ыхх " иуу + f (Х У I У < 0 0 = \ (1) [ У^хх - Ыуу , У > 0

где m - заданное положительное число, / = /(х, у) - заданная функция, и = и (я, у) -

искомая функция.

При у < 0 уравнение (1) совпадает с неоднородным волновым уравнением

Ыхх - ЫУУ = У (Х У) , (2)

а при у > 0 уравнение (1) является вырождающимся гиперболическим уравнением первого рода и совпадает с уравнением Геллерстедта

УтЫх - Ыуу = 0. (3)

Уравнение (1) рассматривается в области О = и О2 и I, где 01 - это область, ограниченная характеристиками:

а1 = АС: х + у = 0, а2 = ВС: х - у = г

уравнения (2), выходящими из точек А = (0,0) и В = (г,0), пересекающимися в точке С = (г /2, - г /2) и отрезком I = АВ прямой у = 0 ; О2 - область, ограниченная характе-

ристиками:

ст3 = АБ: х - -

2

т + 2

У

(т+2)/2 =

= 0,

= ВБ: х + -

2

т + 2

у(т+2)/2 = г

уравнения (3), выходящими из А и В, пересекающимися в точке Б = (г/2, уБ),

/ _\-|2/(т+2)

• (т + 2)

Уо =

4

, и отрезком I.

Регулярным в области О решением уравнения (1) назовем функцию и = и(х, у) из класса и(х, у)е С(о)п С1(о)п С2(О1 о>О2), их (х,0), иу (х, 0)е Ц (0, г), при подстановке которой уравнение (1) обращается в тождество.

Задача 1. Найти регулярное в области О решение уравнения (1), удовлетворяющее условиям:

и[©00 (х)]=у (х), 0 < х < г, (4)

и[©01(х)]=у2(х), 0 < х < г, (5)

где

©00 (х ) =

х х

Г 2

©01 (х ) =

т + 2

4

х

2/(т+ 2 )Л

- аффиксы точек пересечения харак-

теристик, выходящих из точки (х,0), с характеристиками АС и АБ соответственно, а у(х), у2(х) - заданные на отрезке [0, г] функции.

Задача 2. Найти регулярное в области О решение уравнения (1), удовлетворяющее условиям

и[©г0(х)]=у (х), 0 < х < г, (6)

и[©г1(х)] = ^2(х), 0 < х < г, (7)

( Г ^ -|2/(т+2)Л

/

где

©г 0 (х) =

х + г х - г

2

2

, ©г1 (х ) =

г + х 2 :

т + 2 4

(г - х)

- аффиксы точек пере-

сечения характеристик, выходящих из точки (х,0), с характеристиками ВС и ВБ соответственно, у(х), у2 (х) - заданные на [0, г] функции.

Задача 3. Найти регулярное в области О решение уравнения (1), удовлетворяющее условиям (4) и (7).

Задача 4. Найти регулярное в области О решение уравнения (1), удовлетворяющее условиям (5) и (6).

Сформулированная выше задача 1 является частным случаем задачи Гурса, исследованной в работах [1; 2], а задача 2 есть частный случай первой краевой задачи, исследованной в работе [3]. Аналог задачи 4 был исследован в работе [4]. Задачи со смещением для вырождающихся внутри области гиперболических уравнений были исследованы в работах [5-8]. В данной работе найдены решения задач 3 и 4 с данными на противоположных (параллельных) характеристиках. Известно, что при т = 0 задачи 3

и 4 для уравнения (1) поставлены некорректно. Однако, как показано в данной работе, при т > 0 и при определенных условиях на заданные функции (х), у/2(х) и /(х, у) решения задач 3 и 4 существуют единственно и выписываются в явном виде.

Теорема единственности решения задачи 3 Теорема 1. Решение задачи 3 единственно.

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

и (х,0) = г(х), 0 < х < г, (8)

иу (х,0) = и(х), 0 < х < г. (9)

Найдем фундаментальные соотношения между функциями г(х) и и(х), принесенные из соответствующих областей и 02 на линию у = 0 . Решение задачи Коши (8), (9) для уравнения (2) выписывается по формуле Даламбера [9, с. 64]:

/ ч т(х + у)+г(х - у) 1 х++у/ч^ 1 ухТ1/ ь . #(х,у) = --—+ - ¡и(г)Л + 4 ¡/(э,г)ёэёг . (10)

и

2 2 2'

^ х - у ^ 0 х - у+г

Удовлетворяя (10) условию (4), найдем

и[©00(х)] = 1(0)^ --2И) + 2 ¡ 7/(г)ЛЛ = щ(х).

2 2 0 2 -х/2 -г

Путем дифференцирования из последнего равенства приходим к соотношению

0

и(х) = г'(х)- 2щ[(х)+ ¡ / (х + г, г )Лг. (11)

-х/2

Соотношение (11) есть основное фундаментальное соотношение между функциями г(х) и и(х), принесенное из на линию I = АВ.

Далее найдем соотношение между г(х) и и(х), принесенное из 02 на линию у = 0 . Воспользуемся следующим представлением решения задачи (8), (9) для уравнения (3) (формула Дарбу) [10, с. 45]:

и(х, у) = Щ£]т[х + (1 - 2')(1-2') - 2г)'-1 (1 - г)'-1 Л +

+ И + (1 - 2Р)у1/(1-2")(1 - 2г)]] ' (1 - гУ Лг, (12)

т

где ' = —,--V .

2(т + 2)

Из (12) при условии (7) находим

и[0г1(х)]=ЙрИг-(г - х> ]]( -' ' Лг +

+ Г(2 - 2'Х2''' (г - хГ' Их - (г - х)г]](1 - г)- ' Л = ^г(х). (13)

Под знаками интегралов в последнем равенстве произведем замену переменной интегрирования по формуле э = г - (г - х)г. Тогда (13) перепишется в следующей форме:

Г(Г(г - х)-{<*)(г - ^Г +_Г(2 - 2Г)_Г К*)(г -*Г = у (х) (14)

Г2 (Г)(г х) ! (* - х )1-Г + Г2 (1 -Г)(2 - 4Г)12гГ (* - х )-Г = У (х). (14)

Пользуясь определением оператора Б"х дробного (в смысле Римана-Лиувилля) интегродифференцирования порядка а [11, с. 9]

б:А>)=^^Ый* ,

Г(- а) с |х - г\ перепишем равенство (14) в следующем виде:

ГГ(г - х)1 -2ГБ/[(г - ОТ)] + Г(1 Г БГ1 ( -'"«] = У(х). (15)

Подействовав на обе части равенства (15) оператором Б1ГХГ дробного дифференцирования порядка (1 - Г) и воспользовавшись свойствами композиции операторов дробного дифференцирования и интегрирования с одинаковыми началами [11, с. 18], приходим к соотношению

у(х) = -71 ) + 72 (г - х)ГБ1-У2 (*), (16)

где 7 =Г(1 -Г)Г(2Г)(2 - 4Г)12Г 7 = Г(Г)71 где 71 = Г(2 - 2Г)Г() , 72 =Г(2Г).

Соотношение (16) и есть искомое фундаментальное соотношение между функциями т(х) и у(х), принесенное из О2 на линию I = АВ.

Рассмотрим теперь однородную задачу, соответствующую задаче 3, т. е. положим / (х, у) = 0 V (х, у )еО1, у (х) = у2 (х) = 0 V х е [0, г ]. Тогда найденные выше соотношения (11) и (16) перепишутся соответствующим образом

т/(х) = т'(х), (17)

Кх)=-7 Бх 2Т). (18)

Умножая обе части соотношения (17) на функцию т(х), а затем интегрируя по х от 0 до г с учетом условий согласования т(0) = у1 (0), т(г) = у2 (г), найдем

г г

3 = |т(х)к(х)dх = |т(х)т' (х)dх = 0 .

0 0

С другой стороны, с учетом последнего равенства после аналогичных действий из (18) найдем

3 = { т(х)к(х)с1х = -7 }т(х)Б1-2рт(г)с1х = 0. (19)

00

В силу теоремы о положительности оператора дробного дифференцирования Ба порядка а е [0,1) [11, с. 46], равенство (19) может иметь место в том и только в том

случае, когда т(х) = 0 Vх е [0,г]. Но тогда из (17) и (18) следует, что и

у(х) = 0 Vх е (0,г). При этом из формул (10) и (12) сразу следует, что и(х,у) = 0

V (х, у)е О . Теорема 1 доказана.

Теорема о существовании решения задачи 3

Справедлива следующая

Теорема 2. Пусть заданные функции (х), у/2(х) и f (х,у) обладают теми

свойствами, что

/(х, у) е С(Ц) , щ (х) е С2 [0, г]п С3 ]0, г[, щ (х) е С[0,г]пС3 ]0, г[, причем ^(0) может обращаться в бесконечность порядка ниже 2'; щ2(г) - в бесконечность порядка ниже 1 - '; щ"(0) - в бесконечность порядка ниже 1, а щ"(г) - в бесконечность порядка ниже ' и выполнено условие согласования

щ(0) = Р(0)-у¡г2'-1 Е! ((г2';2')р(() Лг,

2Р

r 0

где F(х) = 2 (х) - 2 (r) + \у2 (r) -у2 j(r -t)р Dlrt ру2 (s)dt + j j f (t + s, s)ds dt,

х -1/2

z"

E (z;)) = --гт - функция типа Миттаг-Леффлера [12, с. 117].

n=о Г() + "р )

Тогда существует регулярное в области Q решение задачи 3.

Для доказательства теоремы 2 вернемся к найденным выше фундаментальным соотношениям (11) и (16). Исключая из (11) и (16) искомую функцию 1/(х), относительно г(х) приходим к следующей задаче для обыкновенного дифференциального уравнения первого порядка, содержащего производную дробного порядка в младших членах:

(х) + У\ D^2Mt) = 2^'(х) +у2 (r - х)^-V2(t) - j f (х + t, t) dt, 0 < х < r (20)

гх

-х/2

г(г) = щ (г). (21)

Интегрируя уравнение (20) по х от х до г, с учетом (21), придем к соответствующему задачам (20), (21) интегральному уравнению вида:

Т(х) + ГЩ ^ (г - х) т(г) Л = Р (х). (22)

Уравнение (22) есть интегральное уравнение Вольтерра второго рода с ядром (г - х)2 '-1 (г - х)2и'+2'-! К (х, г) = и правой частью Р(х). Функции Кп (х, г) = —.—-являются

итерированными ядрами ядра К (х, г), а функция

у=(г - х)= (г - - Г;'

есть резольвента ядра К(х, г) . С помощью резольвенты Я (х, г; у) ядра К (х, г) решение уравнения (22), а следовательно, решение задачи (20),(21) запишется по формуле

г(х) = Р(х)-у {(г-х)2'-1 Е±(- у(-х)2 ';2')р(()Л.

х 2'

После того как функция т(х) найдена, функцию у(х) можно найти из соотношений (11) или (16). Тогда решение исследуемой задачи 3 в области О1 дается по формуле (10), а в области О2 решение задачи (8), (9) для уравнения (3) выписывается по формуле (12).

Теорема об однозначной разрешимости задачи 4

Перейдем к исследованию задачи 4. Справедлива

Теорема 3. Пусть заданные функции у1(х), у2(х) и /(х, у) таковы, что:

/(х, у)е С(Ц ), у (х)е С2[0,г]С3]0,г[, у2(х)е С[0,г]п С3 ]0,г[, причем у2(0) может обращаться в бесконечность порядка ниже 2 Г; у'(г) - в бесконечность порядка ниже 1 -Г; у2(0) - в бесконечность порядка ниже 1, а у/"2(г) - в бесконечность порядка ниже Г и выполнено условие согласования

у(г) = ^(г) + 7 }(г - Г)2Г-1 Е(7 (г - ГГ ;2Р)Г1 ()((,

0 2Г

х 0 х

где ^ (х) = 2у(х)-2у (0)+у2 (0) + { { /(( - *, *)(*<((-у2{ (Г Б10-/Зу2 (*)((.

0 ((-г)/ 2 0

Тогда существует единственное регулярное в области О решение задачи 4.

Действительно, удовлетворяя (10) условию (6) с последующим дифференцированием полученного равенства, найдем

0

у(х) = -т'(х) + 2у'(х) + Г /(х - (, ()((. (23)

х - г 2

А из (12) при условии (5) после некоторых преобразований будем иметь

у(х ) = -71Б0-2рт(()+ 72 хГБ0-У2 ((). (24)

Исключая из (23) и (24) искомую функцию у(х), с учетом (5) и (8) приходим к следующей задаче относительно т(х):

т 2

' (х) - 71 Б1-2Гт(() = 2у'(х) + Г /(х - (, ()((-72 хГБ1/у2 ((), 0 < х < г, (25)

х-г 2

т(0)=У2 (0). (26)

Решение задачи (25), (26) выписывается по формуле

т(х) = ^ (х) +7! }(х - ()Г (7! ( - х)2Г; 2^ ()((.

0 2Г

Как и при исследовании предыдущей задачи 3, после нахождения функции т(х) функцию у(х) можно найти из соотношений (23) или (24). Стало быть, решение иссле-

дуемой задачи 4 в области О1 выписывается по формуле (10), а в области О2 решение задачи (8), (9) для уравнения (3) находится по формуле (12).

Литература

1. Кальменов Т.Ш. Критерий непрерывности решения задачи Гурса для одного вырождающегося гиперболического уравнения // Дифференц. уравнения. - 1972. - Т. 8, № 1. - С. 41-55.

2. Балкизов Ж. А. Краевая задача для вырождающегося внутри области гиперболического уравнения // Известия высших учебных заведений. Северо-Кавказский регион. Сер.: Естественные науки. - 2016. - № 1 (189). - С. 5-10.

3. Балкизов Ж.А. Первая краевая задача для вырождающегося внутри области гиперболического уравнения // Владикавказский математический журнал. - 2016. -Т. 18, № 2. - С. 19-30.

4. Кумыкова С.К., Нахушева Ф.Б. Об одной краевой задаче для гиперболического уравнения, вырождающегося внутри области // Дифференц. уравнения. - 1978. -Т. 14, № 1. - С. 50-65.

5. Салахитдинов М.С., Мирсабуров М. О некоторых краевых задачах для гиперболического уравнения, вырождающегося внутри области // Дифференц. уравнения. -1981. - Т. 17, № 1. - С. 129-136.

6. Салахитдинов М.С., Мирсабуров М. О двух нелокальных краевых задачах для вырождающегося гиперболического уравнения // Дифференц. уравнения. - 1982. -Т. 18, № 1. - С. 116-127.

7. Ефимова С.В., Репин О.А. Задача с нелокальными условиями на характеристиках для уравнения влагопереноса // Дифференц. уравнения. - 2004. - Т. 40, № 10. -С.1419-1422.

8. Репин О.А. О задаче с операторами М. Сайго на характеристиках для вырождающегося внутри области гиперболического уравнения // Вестник Самарского государственного технического университета. Сер.: Физико-математические науки. - 2006. - Вып. 43. - С. 10-14.

9. Тихонов А.Н., Самарский А.А. Уравнения математической физики. - М.: Наука; МГУ. 2004. - 798 с.

10. Бицадзе А.В. Уравнения смешанного типа. - М.: Издательство АН СССР, 1959. - 164 с.

11. Нахушев А.М. Дробное исчисление и его применение. - М.: Физматлит, 2003. - 272 с.

12. Джрбашян М.М. Интегральные преобразования и представления функций в комплексной области. - М.: Наука, 1966. - 672 с.

Поступила в редакцию 4 декабря 2020 г.

ШС 517.95

БОТ: 10.21779/2542-0321-2021-36-1-7-14

Boundary Value Problems for a Mixed-Hyperbolic Equation

Zh.A. Balkizov

Institute of Applied Mathematics and Automation of Kabardin-Balkar Center of RAS; 360000, Russia, Kabardin-Balkar Republic, Nalchik, Shortanov st., 89a; Giraslan@yandex.ru

Within the framework of this research, solutions of boundary value problems with the data on the 'opposite' ('parallel') characteristics are found for one mixed-hyperbolic equation consisting of a wave operator in one part of the domain and a degenerate hyperbolic Gellerstedt operator in the other part. It is known that problems with the data on the opposite (parallel) characteristics for the wave equation in the characteristic quadrangle are posed incorrectly. However, as the given work shows, the solution of similar problems for a mixed-hyperbolic equation consisting of a wave operator in one part of the domain and a degenerate hyperbolic Gellerstedt operator with an order of degeneracy in the other part of the domain, under certain conditions on the given functions, is unique and is written explicitly.

Keywords: wave equation, degenerate hyperbolic equation, Volterra equation, Tricomi method, integral equation method, methods of the theory offractional calculus.

Received 4 December 2020