CC BY
8
УДК 517.9
DOI: 10.14529/mmph210203
ОБ АНАЛОГЕ ЗАДАЧИ ТРИКОМИ ДЛЯ УРАВНЕНИЯ ТРЕТЬЕГО ПОРЯДКА СМЕШАННОГО ТИПА
А.М. Лайпанова
Российский университет транспорта, г. Москва, Российская Федерация E-mail: aida7@list.ru
Как известно, уравнениями смешанного типа называются уравнения в частных производных, которые принадлежат разным типам в разных частях рассматриваемой области. Например, в одной части области уравнение может принадлежать эллиптическому, а в другой - гиперболическому типу; эти части разделены линией перехода, на которой уравнение вырождается в параболическое или не определено.
В 1923 г. итальянский математик Ф. Трикоми рассмотрел краевую задачу для одного уравнения смешанного эллиптико-гиперболического типа (впоследствии названного его именем) в области, ограниченной в верхней полуплоскости ляпуновской кривой, а в нижней - выходящими из концов этой кривой характеристиками уравнения; краевые условия при этом ставились на кривой и на одной из характеристик. Решение должно было быть непрерывным в замыкании области, непрерывно дифференцируемым внутри нее и дважды непрерывно дифференцируемым в верхней (эллиптической) и нижней (гиперболической) подобластях; для первых производных решения допускались особенности интегрируемого порядка вблизи концов кривой. Ф. Трикоми доказал существование и единственность решения поставленной задачи в указанном классе; при доказательстве существования он свел задачу к сингулярному интегральному уравнению.
В данной статье исследован аналог задачи Трикоми для одного смешанного гиперболо-параболического уравнения третьего порядка со спектральным параметром. Доказаны единственность и существование решения поставленной задачи. Единственность решения задачи доказывается методом интегралов энергии, а существование решения - методом редукции к интегральному уравнению Фредгольма второго рода, разрешимость которого вытекает из единственности решения задачи.
Ключевые слова: гиперболо-параболическое уравнение; задача Трикоми; уравнение смешанного типа; краевая задача; интегральные уравнения.
В современной концепции уравнений в частных производных (УрЧП) большое значение имеет изучение уравнений смешанного типа.
Поставим задачу. Исследуем следующее уравнение:
\Uxxx - Uy -Я1и = 0, y > О, \Uxx - Uyy +1u = 0, y < О,'
где Ц - числовые параметры в некоторой конечной области D плоскости (x, y), образованной следующими линиями: 1) в полуплоскости y > 0 отрезками AA1, BB1 , A1B1, лежащими на прямых x = 0,x = 1,y = h, A(0,0), A1(0,h),B(1,0),B1(1,h); 2) в полуплоскости y < 0 двумя характеристиками уравнения (1): AL : x = — y, BL: x — y = 1, исходящими из определенной точки
L (2-—2) [■>•
Область D разделена на две части: D1 = D n (y > 0) - это параболическая часть смешанной области D; аD2 = D n (y < 0) — гиперболическая подобласть области D .
Задача 1. Требуется отыскать функцию u(x,y) , обладающую указанными свойствами:
1) u(x,y)е С(D) n С1 (D и АА1) n С^";!(A) n с2(D2);
2) и(x, y) является регулярным для уравнения (1) решением в области D;
3) u(x,y) отвечает требованиям краевых условий:
u(0,У) = j(y), u(l,y) = j(y), Ux(1,y) = j(y), 0<y <h, (2)
u(x,-x) = y(x), 0 < x < 1, (3)
где y(x) — функция, непрерывная совместно со второй производной, при этом y(0) = j(0); j(y), j2(y), j3(y) — данные непрерывные функции [1].
Определение. В области D для уравнения (1) регулярным решением вышеуказанной задачи называется всякая функция
u(x, y) е С(D) п С1 (D и АА1) n Cx3y1} (D1) n C2 (D2),
удовлетворяющая краевым требованиям (2) и (3). Предположим, что:
3
1> (—1)2 , 1>— l + 3Я2Р2,Я1> 0. Можно ввести новую некоторую неизвестную функцию
v( x, y) = exp(—р x)u (x, y), (4)
где р = const > 0.
Уравнение (1) в итоге станет таким:
Л т , ч \Vxxx —uy + 3PVxx + 3P2ux + (P3 —11)u,у > 0,
0 = A)(u) = \ 2 (5)
[ v„ — Uyy + 2pUx + (р2 +1 )u,У < 0,
Теорема. Если u(x,y) есть регулярное решение однородной задачи 1, то при соблюдении требований 1) или 2) решение u(x, y) в области D тождественно равно нулю [1].
Доказательство. Потребуем на концах интервала x = 0 и x = 1 выполнения следующего дополнительного условия:
lim u(x,0)[uxx(x, 0) + pux(x,0)]= lim u(x,0) [uxx(x,0) + pux (x,0)] = 0 (6)
x®0+ x®1—0
Перейдем в области D2 к характеристическим координатам g = x + y, h = x — y . Тогда уравнение (5) при y < 0 станет
L,(ü) = Vxn+p(Vx + vn) + р + 1 v = 0, (7)
а область D2 будет отображена с областью A =|(g,h) | 0< g < h < }1. Рассмотрим тождество
0 = 4vL0(v) = (2vvh + pv2)f + (2vvf + pv2)h + (р2 + 12)v2 — 4vgvh . (8)
Выразим из уравнения (7) vg и в правой части (8) изменим последний член:
4 2 р2 +1 ч2 (р2 + 1)2 2
—4vgvn = (-vh)g + (2vn+^P v)2 - Л 2 v2 .
ь р ь 2р 4р
Тождество (8) перепишем в виде, учитывая последнее равенство:
0 = 4vL0(v) = (2vvh + рv2 + -vh)x + (2vvx+рv2)h+ dv^^1 v)2 + (р2 + 1)2(3р2 —1)v2 (9) ' р h h 2р 4р
Взяв точку (x, x) (0 < x < 1) на прямой h = g, проведем через эту точку характеристику h = x
уравнения (7).
Через Ax «отметим» область, которая ограничена отрезками прямых п = x, h = g, X = 0. По этой области Ax проинтегрируем тождество (9):
2Jv(t,0)vy(t,0)dt = 2jv(X,g)[vg(X,g) — vh(g,g)]dg = -} v2h(g,X)dg+ (10)
0 0 р 0
Лайпанова А.М.
Об аналоге задачи Трикоми для уравнения третьего порядка смешанного типа
f u)2 dZdn + p\v\Z, x)dX + u2(x, x) + (P + 1) -1) f v2dxdh> 0.
Dx 2P 0 4p2 Д
Рассмотрим в области D1 тождество:
1 3
v(vxxx -vy + 3PVxx + 3P\ + (P2 - 1)v) = (vvxx - + 3PVVx + 2 PV2)x - (11)
-vvy - (3pv2x + (1-P3)v2) ° 0. Вдоль A(e,h)5(1 - e,h) (h,e- как угодно маленькие числа, большие нуля) проинтегрируем (11) по x, а потом перейдем в полученном равенстве к пределу h ® 0 и e ® 0. Принимая во внимание условия (6), в итоге имеем равенство
1 Г1 1
f v(x, 0)vy (x,0)dx = - j - v2(1,0) + f [3pvl(x,0) + (\ - p3)v2(x,0)]d }x. (12)
0 L2 0 Из неравенств (10) и
b / ь - \ 2 b
f z2 (x)dx < I I f z'2 (x)dx,
a ^ p ' a
из (12) имеем
v2x (1,0) + 2 f[3P +(1 - P )]v2x (x, 0)dx < 0 . 0 p2
В (10) и (12) положим теперь p = илиp = -12 .Тогда v(1,0) = 0,v(x,0) = const. Отсюда следует, что v(x,y) ° 0. Из выражения (4) тогда получим, что u(x,y) ° 0. Изучим тождество в области D1 :
u(uxxx - Uy -11U) = (uuxx -1 ul)x - (1 U2)y -11U2 ° 0.
Это тождество интегрируем по области Д и с учетом того, что ( (0) = (2 (0) = (3(0) = 0 , получим:
1 1 1
-2 f [(uuxx -1 u2x)x -^ u2)y -lu2]dxdy °f|u2(x,h) -u2(x,0)
1
dx +
W 0
1 b (13)
+f u2x (1,y)dy + 2\ f u2(x,y)dxdy = 0.
0 ц
Из-за того, что и(х,0) = 0, из формулы (13) имеем, что и(х, И) = 0 и их (1, у) = 0, однородная
и(х,у) ° 0, "(х,у) е Б1 . Задача Дарбу и(х,0) = 0, и(х,-х) = 0 в области В2 для уравнения (1) при
у < 0 имеет только тривиальное решение и(х,у) = 0, "(х,у) е В2 . Значит, и(х,у) ° 0 в В .
После этого докажем существование решения задачи 1. Для этого нужно перейти к лимиту (пределу) при у ® 0 + в уравнении (1) и принять к сведению краевые условия (2), [1]:
т"(х) -11т(х) = у(х), (14)
т(0) = ((0),т(1) = ((0),Т(0) = (3(0), (15)
где т(х) = и (х,0), у(х) = иу (х,0).
Применяя трёхкратное интегрирование к равенству (14) и принимая во внимание (15), составим функциональное соотношение между т(х)иу(х), принесенное из части В1 на у = 0 :
т(х) -11 (х - г)2т(г=11 (х - г)2у(г+1 т (0)х2 + (3(0)х + ((0), (16)
2 0 20 2
где
т" (0) = -11(1 - г)2т(г^г - |(1 - - 2фъ (0) - 2л (0) + 2^2(0).
0 0
Заранее предполагая, что правая сторона равенства (16) известна и равна выражению q(х), имеем интегральное уравнение Вольтерра второго рода для т( х) [1]:
т(х) = q(х) + 1 [ (х -1)2т(г^ . (17)
2 0
После обращения уравнения (17) имеем:
х
т(х) = q(х) + я|Я(х, t^(г)dt, (18)
0
2 1
где Я(х, t) есть резольвента ядра (х -1) , 1 = .
Принимая в расчет значение q(x) в (18), получаем
т(х) = |М(х,tЩг)dt + т (0)[— +11Я(х, t)t2dt] + (0) [х +11Я(х, t^] + л (0)[1 +11Д (х, t)dt],(19)
0 2 2 0 0 0
где
х
М(х, t) = -(х -1)2 + -[Я(х, t1)(t1 -1)2dt1]. (20)
22
г
Теперь принесём из гиперболической части £>2 на линию у = 0 функциональное соотношение между т(х) и v(х). Чтобы его получить, проанализируем для уравнения (1) при у < 0 решение задачи Коши т(х) = и(х,0),v(х) = иу (х,0). Следуем [2]:
и( х, у) = т( х - у ) + Т( х + у) + ^1 [у 2 - ( х ~^)2 ] )х (X) +
2 2 х-у Ь2-(х-х)2 (21)
1 Х+7 I-г-й
+2 ! Wl|У-(x-X)2])v(X)dX,
х-у
где 10(г) и 11(г) - функции Бесселя мнимого аргумента нулевого и первого порядков.
Если (21) удовлетворит краевому условию (3), то получится интегральное уравнение типа Вольтера
__х -ч
т( х) =р(х) - -1,(7х-ШХ, (22)
где
Г( х) = 2^ 2 ) - У(0) +170 (V х -X) МХМХ
Предполагая р(х) известной и применяя формулу обращения для уравнение типа (22), будем иметь [1]:
х
+
т( х) = | у (Д"( х - г Ш )dt + g (х), (23)
0
где
g(х) = 2У01 х(х- г)]Л. (24)
Принимая во внимание значение т (0), равенство (19) перезапишем так:
Лайпанова А.М. Об аналоге задачи Трикоми для уравнения
третьего порядка смешанного типа
х 1 1
т( х) = | М (х, г)у(г)Ж +1<( х, г)т(г )Ж +|3( х, г )у(г)Ж + § (х), (25)
0 0
где
< х, г) = 43( х, г); 3( х, г) = -1 (х2 + Я Я( х, г )г2Ж )(1 - г )2;
2 0
§ (х) = ((2(0) - ((0) - (3 (0))( х2 +Я| Я( х, г )г2 Ж) + (3 (0)( х + Я | Я( х, г )гЖ + ((0)(1 + Я | Я( х, г )Ж).
0 0 0 Из (23) и (25) «устраним» т(х) . Тогда получим для нахождения у(х) интегральное уравнение первого рода:
х х 1
1 0\ х — I ЦУ\1 — | ММ ( х, I 1У\1 1Ж1 +
| "0 (\/Я2~( х - 0М0 Ж = | М (х, г)у(г)Ж +1 <2(х, г)у(г)Ж +И(х), (26)
0 0 0 11 <(х,г) = 3(х,г) +|<х,"в^л/ЯГС! - г))ЖХ, И(х) = |<х,г)§(г)Ж + §(х) - §(х).
Так как в смысле гладкости резольвента Я(х, г) поступает также, как ядро (х - г)2 , то учитывая свойства заданных функций (у), 7 = 1,3, у(х), функции М(х, г), <х, г) непрерывны совместно с частными производными первого порядка по аргументам х иг; И(х) непрерывна вместе с производной в областях своего определения, притом что М (х, х) = 0, "0 (0) = 1.
Найдя производную по аргументу х от уравнения (26), приходим к смешанному интегральному уравнению. Обратим его, как интегральное уравнение Вольтерра второго рода:
1
у( х) = | Г (х, г )у(г )Ж + И (х), (27)
0
где ядро Г(х, г) и его правая часть И1(х) выражаются в терминах резольвенты Я(х, г) ядра (х - г)2 и данных функций (7 (у),7 = 1,3у(х), при том Г(х, г) е С([0,1]х[0,1]),И1(х) е С [0,1].
Как видно, выражение (27) есть интегральное уравнение Фредгольма второго рода. Из единственности решения исходной задачи вытекает разрешимость этого уравнения. Таким образом, функцию у( х) можно определить из уравнения (27). Далее, найдя функцию у( х), в области В2 по формуле (21) определим решение и(х,у) задачи, а в В1 как решение уравнения (1) при у > 0 с краевыми условиями (2) и и( х,0) = т( х).
Решение задачи (1) и (2), и( х,0) =т( х) удовлетворяет интегральному уравнению, согласно
[1]:
Я 1 у
и(х,у) = и0(х,у)-11Х^(х,у;%я)г(%,Л)Жл, (28 )
Р 0 0
1 I
и0 (х, у) = - и % (х, у; 0, ((л)Жл - | ^ (х, у; 0, ((л)Жл -К [ 0 0 у 1
| х, у;1,((^+ |04( х, у;Х,0)т(Х)Ж }Х,
у1 +
00 где G(х,уХ,Л) есть функция Грина краевой задачи (1), (2), и(х,0) = т(х) уравнения
иххх - иу = 0. (29)
Эта вышеупомянутая функция Грина G(х, уХ,Л) описывается посредством фундаментальных решений (29) :
0
0
г
u(x, yXhh) =
i
i
f
i ^ x-X
ft \ p^z f (z)=
(y-h)3
o, y <h,
( 3 ^
(y -h)
, y >h, v(x, yX,h) =
1 -j
2
,2
+ I
3 ^
3J3'
- к -fz
■j z)=IV?
1
— V
(y-h)3
0, y <h, ' 3 ^
ZzX (y -h)
2
343'
2
-1
y >h,
3 ^
3V3'
где 1У (г) - функция Бесселя. Функции /(г) и именуются функциями Эйри и удовлетворяют уравнению t (г) + гХ(г)/3 = 0.
В [2] рассмотрена однозначная разрешимость уравнения (28), а по формуле (21) можно решить задачу Коши.
При вышесказанных предположениях относительно Х1 и Х2 , а именно при
3
1 > (-12)2, 1 > -1 + 312р2,11 > 0 исследована однозначная разрешимость поставленной задачи для смешанного гиперболо-параболического уравнения третьего порядка со спектральным параметром.
Литература
1. Лайпанова, А.М. Локальные и нелокальные краевые задачи для смешанных уравнений гиперболо-параболического типа второго и третьего порядков: дисс. ... канд. физ.-мат. Наук / А.М. Лайпанова. - Нальчик, 2003. - 70 с.
2. Джураев, Т.Д. Краевые задачи для уравнений смешанного и смешанно-составного типов / Т.Д. Джураев. - Ташкент: Фан, 1979. - 238 с.
Поступила в редакцию 25 января 2021 г.
2
2
2
2
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2021, vol. 13, no. 2, pp. 17-23
DOI: 10.14529/mmph210203
ON ANALOGUE OF THE TRIKOMI PROBLEM FOR A THIRD-ORDER EQUATION OF MIXED TYPE
A.M. Laipanova
Russian University of Transport, Moscow, Russian Federation E-mail: aida7@list.ru
It is commonly known that equations of mixed type are partial differential equations that belong to different types in different parts of the domain under consideration. For example, the equation may belong to the elliptic type in one part of the domain and to the hyperbolic type in another one; these parts are separated by a transition line, at which the equation degenerates into parabolic or undefined.
In 1923, the Italian mathematician F. Tricomi considered a boundary value problem for one equation of mixed elliptic-hyperbolic type (later named after him) in a domain bounded in the upper halfplane by the Lyapunov curve, and in the lower half-plane by the characteristics of the equation that emerge from the ends of this curve; the boundary conditions were then set on the curve and on one of the characteristics. The solution had to be continuous in the closure of the domain, continuously differ-entiable within it, and twice continuously differentiable in the upper (elliptic) and lower (hyperbolic)
Лайпанова А.М. Об аналоге задачи Трикоми для уравнения
третьего порядка смешанного типа
subdomains; for the first derivatives of the solution, singularities of integrable order were allowed near
the ends of the curve. Tricomi proved the existence and uniqueness of the solution to the problem in the
specified class; when proving the existence, he reduced the problem to a singular integral equation.
The article studies an analogue of the Tricomi problem for a third-order hyperbolic-parabolic equation of mixed type with a spectral parameter. The uniqueness and existence of a solution to the problem are proved. The uniqueness of the solution to the problem is proved by the method of energy integrals, and the existence of the solution is proved by the method of reduction to the Fredholm integral equation of the second kind, the solvability of which follows from the uniqueness of the solution to the problem.
Keywords: hyperbolic-parabolic equation; Tricomi problem; equation of mixed type; boundary value problem; integral equations.
Reference
1. Laypanova A.M. Lokal'nye i nelokal'nye kraevye zadachi dlya smeshannykh uravneniy giper-bolo-parabolicheskogo tipa vtorogo i tret'ego poryadkov. Dissertatsiya na soiskanie uchenoy stepeni kandidata fiziko-matematicheskikh nauk (Local and non-local boundary value problems for mixed hyperbolic-parabolic equations of the second and third orders. Cand. phys. and math. sci. diss.). Nal'chik, 2003, 70 p.
2. Dzhuraev T.D. Kraevye zadachi dlya uravneniy smeshannogo i smeshanno-sostavnogo tipov (Boundary Value Problems for Mixed and Mixed-Composite Equations). Tashkent, Fan Publ., 1979, 238 p. (in Russ.).
Received January 25, 2021
