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

Вестник КРАУНЦ. Физ.-мат. науки. 2021. Т. 35. №2. C. 17-26. ISSN 2079-6641

УДК 517.956 Научная статья

Нелокальная задача для обобщенного уравнения Трикоми со спектральным параметром в неограниченной области

Р. Т. Зуннунов

Институт Математики АН РУз, 100174, г. Ташкент, ул. Университетская,

4б, Узбекистан

E-mail: zunnunov@mail.ru

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

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

DOI: 10.26117/2079-6641-2021-35-2-17-26

Поступила в редакцию: 09.04.2021 В окончательном варианте: 09.06.2021

Для цитирования. Зуннунов Р. Т. Нелокальная задача для обобщенного уравнения Трикоми со спектральным параметром в неограниченной области // Вестник КРАУНЦ. Физ.-мат. науки. 2021. Т. 35. № 2. C. 17-26. DOI: 10.26117/2079-6641-2021-35-2-17-26

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

© Зуннунов Р. Т., 2021

Введение

Известно, что впервые краевые задачи для модельных уравнений смешанного типа поставлены и изучены в работах Ф. Трикоми и С. Геллерстедта. Большой интерес к уравнениям смешанного типа объясняется как теоретической значимостью результатов, так и наличием их практических приложений в газовой динамике, в теории бесконечно малых изгибаний поверхностей, в безмоментной теории оболочек, в магнитной гидродинамике, в математической биологии и других областях. Например, газодинамические приложения краевых задач для уравнения Трикоми содержатся в работах Ф. И. Франкля. Нелокальные задачи для модельных уравнений смешанного типа исследовались А. М. Нахушевым и другими авторами, когда условия на характеристиках содержат дробные производные Римана-Лиувилля определенного порядка, зависящего от порядка вырождения уравнения.

Особенностью данной работы является наличие в краевых условиях не только

1 я

классического оператора В®х[/(х)] но и оператора А5х [/(х)] с помощью которых Финансирование. Исследование выполнялось без финансовой поддержки фондов.

нелокальные условия связывают значения искомого решения, принимаемые на полной границе характеристического треугольника.

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

Рассмотрим уравнение

s/gny|y|mUxx + Uyy - X 2|y|mu = 0 (1)

в неограниченной смешанной области Q = U AB U ^2, где = {(x,y) : y > 0, —^ < x < а Q.2 — область полуплоскости y < 0 ограниченная отрезком

AB = {(x,y) : y = 0,0 ^ x ^ 1} и характеристиками

AC : x — [2/(m + 2)](— y)(m+2)/2 = 0,BC : x + [2/(m + 2)](—y)(m+2)/2 = 1

уравнения (1), выходящими из точек A(0,0) и B(1,0). Здесь предполагается m,X — заданные действительные числа, причем X = Xi при y > 0 , X = X2 при y < 0, m = const > 0. Кроме того, Mj(j = 1,4) — положительные постоянные, а е — достаточно малое положительное число, в = m/(2m + 4), Г0 = \Jx2 + [2/(m + 2)]2ym+2

li = {(x,y) : < x < 0,y = 0}, /2 = {(x,y) : 1 < x < y = 0}

60(x) = ^ -

m + 2 x

2 , 2J

2 1 .

at \ i1 +x ,0i(x) = (—,

m+ 2 1 - x

2 , ~1T

m+2 \

Очевидно, что 60 (х) и 61(х) есть точки пересечения характеристик уравнения (1), выходящих из точки (х, 0) € АВ, с характеристиками АС и ВС соответственно.

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

1) «(х, у) € С(П и /1 и /2 и АС и ВС) П С!(П) П С2(^1 и П2) причем «у(х, у) непрерывна вплоть до /1 и/2 и в окрестности точек А(0,0) и В(1,0), функции ушмх(х,у),«у(х,у), могут иметь особенности порядка меньше чем 1 — 2в;

2) удовлетворяет уравнению (1) в областях и 0.2 ;

3) при достаточно больших г0 удовлетворяет условиям

|u(x,y)| < M, |ymux(x,y)| < M, |uy(x,y)| < M

и краевым условиям

ro

uy(x, 0) = ^¿(x), Vx G li, i = 1,2

ro

(2) (3)

а(х)А0хЯ2 {^0—в [«(60 (х))]} + Ь(х)А1хЯ2 {^1—в [«(61 (х))]}+ (4)

+с(х)«у(х,0) + ^(х)м(х,0) = ^(х),Ух € АВ,

где <(х),а(х),Ь(х),с(х),#(х),¿(х) — заданные функции, причем а2(х) + Ь2(х) + с2(х) + #2(х) = 0, а(х),Ь(х),с(х),#(х),(х) € С1(АВ), <г-(х) € С(/г-) и при х —> 0, х —> 1 могут обращаться в бесконечность порядка меньше чем 1 — 2в, а для достаточно больших |х| удовлетворяют неравенствам

<(х)|< М4|х|—1—5,8 > 0,

а Щх [ f (х)] — оператор дробного в смысле Римана-Лиувилля интегро-

1 я

дифференцирования [1] и Asx [f (х)] — оператор из [2].

Отметим, что условие (4) является нелокальным условием типа условия А.М. Нахушева. При Я = 0,c(x) = 0,g(x) = 0,Vx е [0,1], из (4) следует условие, предложенное А.М. Нахушевым в [3], а из задачи TN™ — задача, изученная З. Г. Денисовой в работе [4]. При Я = 0 аналогичная задача исследована в [5].

Единственность решения задачи ТМ™

Пусть и(х,у) есть решение задачи ТМ™. Введем обозначения

и(х, 0) = т(х), 0 < х < 1;иу(х, 0) = V(х), 0 < х < 1 (5)

и предположим, что т(х) е С[0,1] П С2(0,1), V(х) е С2(0,1), причем V(х) может обращаться в бесконечность порядка меньше 1 — 2в при х ^ 0 и х ^ 1. Тогда решение и(х,у) в области ^2, как решение задачи Коши представимо в виде [6]:

1

и(х,у) = ^ —1)] —1 [2Яа5)] А+ 1

+72у / V1)] 1—в [2Аа] ¿г,

(6)

где а = [2/ (т + 2)] (—у)(т+2)/2, = Г(2в) /Г2 (в), 72 = Г(2 — 2в) /Г2 (1 — в),

1а (г) — функция Бесселя-Клиффорда а Г (г) — гамма-функция Эйлера [1].

Пользуясь представлением решения (6), с учетом свойств и известных

соотношений для операторов дробного в смысле Римана-Лиувилля интегро-

1 Я 1 я

дифференцирования [1], а также свойств операторов Л5х [/(х)] и С1 [/ (х)] из [2] получим

Л-Я! К-'5 иадя} = Гщ {Г(2в )С0.;Я! [т (х)]—}, (7)

Л1;Я2 {01—' Ив1(х))]} = ^ {Г(2в)с1хЯ[т(х)] — ^} , (8)

где 7з = (2 — 43)2вГ(')/[2Г(1 — в)Г(2')].

Подставляя (7) и (8) в условие (4), получим функциональное соотношение между т(х) и V(х) на ЛВ из области 0.2:

^(х) V (х) = 74 Г (в) [х (1 — х)]в в (х) т (х) — 74 Г (в )[х(1 — х)]в й (х)+

+74Г(2в)а(х)(1 — х)вС0;;Я2[т(х)] + 74Г(2в)¿(х^С^2[т(х)], 0 < х < 1, (9) где д(х) = (1 — х)ва(х) + хвЬ(х) — 74Г(в) [х(1 — х)]в с(х), 74 = вт2в/^7?.

Теорема. Пусть функции а(х),Ь(х),с(х),#(х) удовлетворяют условиям

а(х) = хв+еа0(х),Ь(х) = (1 -х)в+еЬ)(х), с(х) = [х(1 -х)]еС0 (х); (10)

^0 (х), Ь0 (х), С0 (х) € С1 [0,1];

(х) = хеа0(х) + (1 - х)е¿0(х) - 74Г (в) [х (1 - х)]е С0 (х) = 0, 0 < х < 1; (11)

£(х) > 0, [хе«0 (х) /40 (х)]' < 0, [('1 -х)е¿0 (х) /40 (х)]' > 0, 0 < х < 1. (12)

Тогда задача Г^ не может иметь более одного решения. Сначала докажем следующую лемму.

Лемма. Если «(х,у) — решение однородной задачи ГМ™ и выполнены условия теоремы, то справедливо неравенство

1

А = J т(х)у (х)^х > 0.

0

Доказательство. Пусть «(х,у) — решение однородной задачи Тогда,

согласно (9) справедливо равенство

4(х) V (х) = 74Г (2в) а(х)(1 - х)в С^2 [т (х)] + 74Г (2в) Ь(х)хв С^2 [т (х)]+

+74Г (в) [х (1 - х)]в g (х) т (х), 0 < х < 1. Учитывая (10), отсюда имеем

40(х)V(х) = 74Г(2в)хеЫх)^2[т(х)] + 74Г(2в) (1 -х)еЫх)^/2[т(х)]+

+74Г (в) g (х) т (х), 0 < х < 1. (13)

Принимая во внимание 40(х) = 0, из (13) находим функцию V(х) и подставим в А:

1

А = 74Г (2в) | т (х){ «1 (х)с0ххЯ2 [т (х)] + ¿1 (х)^2 [т (х)]} ¿х+

0

1

+Г4Г (в)/ gl (х) т2 (х) ¿х (14)

0

где «1 (х) = хеа0(х)/40(х), Мх) = (1 -х)е¿0(х)/40(х), gl (х) = g(х)/40 (х). Введя обозначения

Р1(х) = 74Г (2в) С^2 [т (х)], Р2(х) = 74Г (2в) С^2 [т (х)] (15)

и обращая равенства (15) относительно т(х) в классе функций, непрерывных на [0,1], как ив [2], подставляя в (14), получим

1 х

А = Уз <{ Jа (х)р1 (хУхУ (х - г)-2вр1(?)/_в [Я2(х - г)] Л +

00

11 I 1

+ У bi(x)p2(x)dxy (t -x)-2ßp2(t)J-ß [Яг(г -x)] dt+ 74Г(ß)Jgi (x) т2 (x) dx.

Отсюда, пользуясь формулами

СЮ

|х - г|-2в = Г (2в) С^в)/ ^-1с°8[г (х - ' ^

Ja (z) =

(z/2)c

Vn Г(а +1/2)

i

I(1 - %2)a-(1/2) cos(%z) d%, Rea > -1/2

находим

А = 75/ z2ß-1dz/ (1 - %2)-ß-1/2d% \\ a1(x) f £

2)-ß-1/2,

д

д x

k=1

JP1 (t) cos(zkt)dt I +

+ I у p1 (t) sin(zkt)dt

д

dx -1 b1(x) dx £

+ I у p2(t) cos(zkt)dt

k=1

yp2(t) cos(zkt)dt I +

dx > + 74Г (ß) у g1 (x) т2 (x) dx,

где ¿к = г - ( - 1)к ^, 75 = [(2 - 4в)2в Г (в)] / [8 ^ПГ (в - 1/2) Г2(2в) с°8(пв)]. Интегрируя по частям интегралы по х, имеем

А = Y5 / z2ß-1dz/ (1 - %2)-ß-1/2d% x

x< £

k=1

a1(x) £ k=1

P1 (t) cos(zkt )dt1 + ^У P1 (t) sin(zkt )dt

x \ 2 / x

У P1 (t)cos(zkt)dt | + Iy P1 (t) sin(zkt)dt

dx+

2

1

1

00

2

2

1

1

00

2

2

2

+ Е

k=l

+ bl(x) Е

« k=1

dx > +

Р2 (5) ^¿(г^^ + Р2 (5) ¿т(г^ I Р2(5) ^¿(г^)Л I + I У р2(?) ¿Ш(г^)Л

хх 1

+ Г4Г (в )/ (х) т2 (х) йх 0

Отсюда, в силу условий (11),(12) и у5 > 0, у4Г(в) > 0 следует, что А > 0. Лемма доказана.

Доказательство теоремы. Пусть и(х,у) — решение однородной задачи ТМ™. Тогда в области справедливо тождество

(ymuux)x + (uuy)y -ym(ux)2 - (uy)2 -ymA2u2 = 0

(16)

а на АВ имеет место равенство (13). Тогда единственность решения задачи ТМ™ будет сразу следовать из соотношений

1

\2 , Л. \2 , 1 2, т 21

ym (ux)2 + (uy)2 + Afymu2 dxdy+ / t(x)v(x)dx = 0,A > 0.

(17)

ß1

В силу утверждения леммы и и(х,у) е С(П1 U1), из (17) при Я1 = 0 сразу следует, что и(х,у) = 0 в U 1. Если Я1 = 0, то из (17) с учетом и(х,у) е С(П1 U1) получим и(х,у) = const в U1. Учитывая первое из условий (2), и иу(х,0) = 0(Vx е /¿, i = 1,2) в этом случае тоже имеем и(х,у) = 0 в U 1. Отсюда следует, что и(х, 0) = 0 и Му(х,0) = 0 на AB. Принимая во внимание это и (5), согласно формуле (6), получим и(х,у) = 0 в П2. Следовательно, и(х,у) = 0, (х,у) е П U11 U12 U AC U BC. Тем самым теорема доказана.

2

2

Существование решения задачи ТМ™

Переходим к доказательству существования решения задачи ТМ™. Пусть выполнены условия теоремы, а и(х,у) — решение задачи ТМ™. Тогда решение задачи ТМ™ в области ^1, как решение задачи Неймана полученное методом функций Грина, представимо в виде

+™

и(х,у) = — ¿1 | )г—2вКв (|Я11 г) (18)

™

где ¿1 = [4/(т + 2)]2в Г2(в)/[4пГ(2в)], г2 = (х — 5)2 + [2/(т + 2)]2ут+2, К (г) = 21—вгвКв (г) /Г(в) — функция Бесселя-Клиффорда,

(х), —™ < х < 0; V(х), 0 < х < 1; ф2(х), 1 < х < +™.

Полагая в (18) у = 0, получим функциональное соотношение между т(х) и V(х) на АВ, принесенное из области П1:

т (x) = -ki | v (t )|x -t |-2ß KKß [|Ai|(x - t)]dt + f (x), (19)

0

где f (x) = fi(x) + f2 (x),

0

fi(x) = -ki | 9i(i)|x-t|-2ßKKß[|Ai||x-t|]dt,

/2(х) = -¿1 | Ф2(?)|х - г|-2вК [|Ях||х - г|]йг. 1

С другой стороны на АВ справедливо равенство (9). Пользуясь разложением 1 я

оператора С1 2 [2] и условиями (10), равенство (9) можно переписать в виде

оо

qo(x)v(x) = 74Г(ß)g(x) т(x) - Y4r(ß)d(x) + 74Г(2ß)xeao (x)<2ß [т(x)]

+

+74Г (2ß )(i - x)e bo(x)Dx-2ß [т (x)] + | Q (x, t) т (t) dt,

0

(20)

где

Jß [A2(x-t)]-i

(x-t)i-2ß

Q(x, t ) = 4

Qi(x, t) = 74xe ao (x)| dx

+ ^Г+ß) Jß+i[A2(x - t)U , x > t;

+

Q2(x, t) = 74 (i -x)ebo(xм --d-

+^4ß(v+ByJß+i[Ä2(t - x)U , x < t.

Jß fo(t-x)]-i

(t -x)i-2ß

+

Таким образом, задача Г^ (в смысле разрешимости и в классе искомых решений) эквивалентна системе уравнений (19) и (20). Если из этой системы однозначно найдем функции т(х) и V(х) с требуемыми свойствами, тогда решение задачи Г^ в областях П и П2 определяется формулами (6) и (18) соответственно. Поэтому теперь займемся нахождением функции т(х) и V(х) из системы (19) и (20).

Пусть выполнены условия теоремы и дополнительно будем предпологать что ао(1) * Ьо(0) = 0, ао(х), Ьо(х), со(х) е С2[0,1], й(х) е С[0,1] иС2(0,1), /(0) = /(1) = 0.

Исключая функцию т(х) из равенств (19) и (20), имеем

i i B(x) г v(t)

A(x)v(x) + -(x) f ^dt + /P(x, t) v(t)dt = F(x), o < x < i, n J t — x J

o o

где

A(x) = qo(x) + [xeao(x) + (i -x)ebo(x)] sin (nß)

i

B(x) = |xea0(x) - (1 -x)eb0(x)] cos (пв)

P(x, t) = Po (x, t) + Pi (x, t) + P2 (x, t) , 1

Po(x, t)= kij [Q (x, z) + 74Г (в) g (z)] |z -1 Г2в*в [l^illz -11] dz 0

P1 (x,t) = -xea0(x) cos (пв) [G1(x,t) - G1(x,x)] (t -x)-1, п

P2(x, t) = - (1 - x)e b0(x) cos (пв) [G2(x, t) - G2(x,x)] (t - x)-1. п

^t) = ^Г(*>) + dz

( 1-t \1-2в G2(x, t) = —J Кв [|A1| (1 -1)] -

- ^ 21-2в|Я1|2в Г(1 - в) ¡ dz

x

F(x) = 74Г (в) g (x) - 74Г(в)d(x) + 74Г (2в) xe«0 (x) <-2в [f (x)] +

1

+74Г(2в)(1 -x)ebo(x)D-1-2в [f(x)] + |Q(x,t)f (t)dt

0

Используя условия, наложенные на заданные функции, нетрудно убедиться, что F(x) G C2(0,1) и может иметь особенность порядка меньше 1 - 2в при x ^ 0 и x ^ 1, а ядро P(x,t) имеет слабую особенность.

Переходя к вопросу о разрешимости сингулярного интегрального уравнения (21), прежде всего, заметим, что оно является уравнением нормального типа [7], так как A2(x) + B2(x) = 0, Vx G [0,1]. Следовательно, существует регуляризатор приводящий уравнение (21) к уравнению Фредгольма второго рода, безусловная разрешимость которого, в силу эквивалентности, следует из единственности решения задачи TN^. По найденной функции v(x) из искомого класса функций можно определить т(x) из (19), тогда решение задачи TN^ в областях и ^2 определяется формулами (6) и (18) соответственно.

Список литературы/References

[1] Самко С. Г., Килбас А. А., Маричев О. И., Интегралы и производные дробного порядка и некоторые их приложения, Наука и техника, Минск, 1987, 688 с. [Samko S.G., Kilbas A. A., Marichev O. I., Integraly i proizvodnyye drobnogo poryadka i nekotoryye ikh prilozheniya, Nauka i tekhnika, Minsk, 1987, 688 pp.]

[2] Салахитдинов М.С., Уринов А. К., Краевые задачи для уравнения смешанного типа со спектральным параметром, Наука, Ташкент, 1997, 165 с. [Salakhitdinov M.S., Urinov A. K., Krayevyye zadachi dlya uravneniya smeshannogo tipa so spektral'nym parametrom, Nauka, Tashkent, 1997, 165 pp.]

[3] Нахушев А.М., "О некоторых задачах для гиперболических уравнений и уравнений смешанного типа", Дифференциальные уравнения, 5:1 (1969), 44-59. [Nakhushev A.M., "O nekotorykh zadachakh dlya giperbolicheskikh uravneniy i uravneniy smeshannogo tipa", Differentsial'nyye uravneniya, 5:1 (1969), 44-59].

[4] Денисова З. Г., "Об одной краевой задаче со смещением для уравнения в неограниченной области", Дифференциальные уравнения, 14:1 (1978), 170-173. [Denisova Z.G., "Ob odnoy krayevoy zadache so smeshcheniyem dlya uravneniya v neogranichennoy oblasti", Differentsial'nyye uravneniya, 14:1 (1978), 170-173].

[5] Репин О. А, Кумыкова С. К., "Об одной краевой задаче со смещением для уравнения смешанного типа в неограниченной области", Дифференциальные уравнения, 48:8 (2012), 1140-1149. [Repin O. A, Kumykova S.K., "Ob odnoy krayevoy zadache so smeshcheniyem dlya uravneniya smeshannogo tipa v neogranichennoy oblasti", Differentsial'nyye uravneniya, 48:8 (2012), 1140-1149].

[6] Бакиевич Н. И., "Сингулярные задачи Трикоми для уравнения ymuxx + - Я2ymu = 0", Известия высших учебных заведений, 1964, №2(39), 7-13. [Bakiyevich N.I., "Singul-yarnyye zadachi Trikomi dlya uravneniya ymuxx + - Я2ymu = 0", Izvestiya vysshikh ucheb-nykh zavedeniy, 1964, №2(39), 7-13].

[7] Мусхелишвили Н.И., Сингулярные интегральные уравнения, ГИФМЛ, М., 1962, 600 с. [Muskhelishvili N.I., Singulyarnyye integral'nyye uravneniya, GIFML, M., 1962, 600 pp.]

Vestnik KRAUNC. Fiz.-Mat. Nauki. 2021. vol. 35. no. 2. P. 17-26. TSSN 2079-6641

MSC 35M10, 35M12 Research Article

A nonlocal problem for a generalized Trikomi equation with a spectral parameter in the unbounded domain

R. T. Zunnunov

Institute of Mathematics Uzbekistan Academy of Sciences, 100174, Tashkent,

University st., 4b, Uzbekistan E-mail: zunnunov@mail.ru

Tn this article, we study a nonlocal problem for the generalized Tricomi equation with a spectral parameter in an unbounded domain, the elliptic part of which is the upper half-plane. The uniqueness of the solution to the problem posed is proved by the method of energy integrals. The existence of a solution to the problem is proved by the method of Green's functions and integral equations.

Key words: non-local problem, unbounded domain, generalized Tricomi equation with spectral parameter, energy integrals method, Green's function method, integral equations method.

DOT: 10.26117/2079-6641-2021-35-2-17-26

Original article submitted: 09.04.2021 Revision submitted: 09.06.2021

For citation. Zunnunov R. T. A nonlocal problem for a generalized Trikomi equation with a spectral parameter in the unbounded domain. Vestnik KRAUNC. Fiz.-mat. nauki. 2021,35: 2,17-26. DOT: 10.26117/2079-6641-2021-35-2-17-26

Competing interests. The author declares that there are no conflicts of interest regarding authorship and publication.

Contribution and Responsibility. The author contributed to this article. The author is solely responsible for providing the final version of the article in print. The final version of the manuscript was approved by the author.

The content is published under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0/deed.ru)

© Zunnunov R.T., 2021

Funding. The study was carried out without financial support from foundations.