CC BY
14
УДК 517.926.4
АПРИОРНАЯ ОЦЕНКА РЕШЕНИЯ ЗАДАЧИ ДИРИХЛЕ ДЛЯ ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ ВЫСОКОГО ПОРЯДКА С ДВУМЯ ВЫРОЖДАЮЩИМИСЯ ЭЛЛИПТИЧЕСКИМИ ОПЕРАТОРАМИ
A PRIORI ESTIMATE OF THE SOLUTION OF THE DIRICHLET PROBLEM FOR A HIGH ORDER DIFFERENTIAL EQUATION WITH TWO DEGENERATING
ELLIPTIC OPERATORS
А.В. Глушак A.V. Glushak
Белгородский национальный исследовательский университет, Россия, 308015, г. Белгород, ул. Победы, 85.
Belgorod National Research University, 85 Pobedy St, Belgorod, 308015, Russia.
E-mail: [email protected]
Аннотация
Устанавливается априорная оценка решения задачи Дирихле для линейного дифференциального уравнения высокого порядка с двумя вырождающимися эллиптическими операторами, позволяющая исследовать однозначную разрешимость этой задачи.
Abstract
A priori estimate of the solution of the Dirichlet problem for a linear differential equation of high order with two degenerate elliptic operators is established, which makes it possible to investigate the unique solvability of this problem.
Ключевые слова: вырождающиеся дифференциальные уравнения высокого порядка, задача Дирихле, априорная оценка решения.
Keywords: degenerate differential equations of high order, the Dirichlet problem, a priori estimate of the solution.
Введение
Дифференциальные уравнения с обращающимся в нуль коэффициентом при старшей производной не вписываются в рамки стандартной теории обыкновенных дифференциальных уравнений и давно привлекали внимание широкого круга исследователей. Отдельные виды таких уравнений, например, обыкновенные дифференциальные уравнения Эйлера, Бесселя и др., подробно и глубоко изучены. Обзор уравнений с неотрицательной характеристической формой, которые, в частности, включают вырождающиеся дифференциальные уравнения второго порядка в частных производных можно найти в [1]. По данной тематике отметим также работы [2 - 6], появившиеся в последнее время. Подробная библиография работ по вырождающимся эллиптическим уравнениям высокого порядка содержится в [7]. Однако и до настоящего времени для вырождающихся дифференциальных уравнений в частных производных высокого порядка определенные моменты разрешимости исследованы не полностью.
Из теории регулярных эллиптических задач известно, что эти задачи устойчивы по отношению к младшим членам входящих в формулировку задач операторов. Аналогичная ситуация возникает, если к вырождающемуся эллиптическому оператору порядка 2т прибавить вырождающийся эллиптический оператор порядка 2р < 2т с не меньшей скоростью вырождения. Если же к такому оператору прибавить оператор порядка 2р с
меньшим порядком вырождения, то полученный оператор уже не будет подчинённым по отношению к исходному, и доказательство разрешимости граничных задач для суммы операторов такого вида становится нетривиальной задачей.
В настоящей статье в пространствах типа Соболева с весом устанавливается априорная оценка решения задачи Дирихле для дифференциального уравнения высокого порядка с двумя вырождающимися эллиптическими операторами, позволяющая в дальнейшем исследовать однозначную разрешимость этой задачи.
Постановка задачи
В полосе б = [0, d] х кп рассмотрим задачу Дирихле для дифференциального уравнения высокого порядка, содержащего два вырождающихся эллиптических оператора также высокого порядка и с постоянными коэффициентами
(б , Б )и (х, у) + Ьгр (б , Б )и (х, у) = ^ (х, у), (1)
и (й, у) = 5 и (а, у) = • • • = дт-1и ^, у) = 0, (2)
гдер < т - натуральные числа, ц = (ц1,..., ц„) - мультииндекс,
Ба, Б и (х, у) = X (х, у), Ь2р (б , Бу и (х, у) = X Ьц ВБи (х, у),
'+|ц|<2т '+|ц|<2 р
Бр(х,у) = дц •••д^и(х,у), Баи(х,у) = Ца(х)дх^/а(х)и(х,у)), а(х) е С2т[0,d], а(0) = 0, а(х) > 0
при х > 0. Аналогично Da определяется оператор Dß.
Коэффициенты ам (J +1 ц| < 2m) bJfL (j +1 ц| < 2p) - действительные постоянные числа. Условие 1. Многочлены L2m (т, L2 (т, положительны при любых (т, £) е Rn+l.
Условие 2. Пуст limа(х) = 0, а(х), ß(x)еC2m[0,d], а функция ю(х) = а(х) такова, что
х^0+ ß( х) ß( х)
ю p/((m-p)(х) е C2p [0, d].
Введём в рассмотрение функциональные пространства, в которых будет доказываться априорная оценка, а затем и разрешимость граничной задачи (1), (2).
Обозначим через Я^2p (D) пространство функций U(х, у) е L2(D), для которых конечен квадрат нормы
их у)^, = 2 } i(l + 2 )2m- J' x, + £ J J1+1^12 fp J|Dßß'u( x, ö|2 ,
j=0 -да 0 J=0 -да 0
да
где и(х,£) = Fy^Ju(х,у)]= Ju(х,y)exp(-i£y)dy - преобразование Фурье функции и(х,у)еL2(D)
—да
по переменной у е Rn.
Наряду с задачей (1), (2) рассмотрим задачу
L2m (Da ,&(х, £) + L2p (Dß , |)u(х,£) = /(х,£), (3)
u(d, £) = д xu(d, £) = ••• = д mlu(d, £) = 0, (4)
полученную из задачи (1), (2) после применения преобразования Фурье ^J ] по переменной у е Rn .
Через FHö^2p (D) мы будем обозначать пространство образов Фурье по переменной у е Rn функций из пространства Я^2p (D).
Априорная оценка
Лемма 1. Пусть выполнены условия 1 и 2. Тогда для функции и(х, £) е РИ1тв,2р (Б), являющейся решением задачи (3), (4), выполнена оценка
51 + Ц2^X,I)2 ёх + 5 1 +Ц2¡Г"1 х,^)|2 ёх < с(х,ёх, (5)
'=0 0 1=0 0 0 с постоянной с1 > 0 не зависящей от и(х,I) и /(х,I) е ^Х2(Р).
Доказательство. На функциях у(х) е ¿2(0, ё) определим (см. [7]) интегральное преобразование по формуле
ёз
ёх
М(т) = |у(х)ехр - л}^ ~ . (6)
д/а( х)
Преобразование обладает (см. [7]) следующими свойствами:
1 да а
а) —| КН ёт=| |у| ёх (равенство Парсеваля),
2п
-да 0
б) для функций у( х) е Ср [0, ё ], удовлетворяющих условиям у(ё) = дху(ё) = • • • = др-1у(ё) = 0 , справедливо равенство [^ар>)](т) = тр [^у](т).
Поскольку функции класса С2т+р[0, ё] плотны в Н2ат(0, ё) (см. [8]), то в дальнейшем, не ограничивая общности, будем считать, что и(х, I) е С1т+р[0, ё] при почти всех I е Яп.
Умножим уравнение (3) на функцию и(х, I) и проинтегрируем полученное равенство по х е (0, ё). В результате получим
(¿2т (Р„, х, I), и( х, 0)+^ Рр,&( х, I), и( х, о)=(/ (х, I), и( х, I)),
ё
где скалярное произведение определено равенством (/(х, |),и(х, |))= |/(х, |) и (х,|) ёх.
0
Из перечисленных ранее свойств интегрального преобразования (6) для з < т вытекает
Л да
Р>(х,|),и(х,1Р>(х,|) и(х,|) ёх = рКи](т,|)Х^Ои](т,|) ёт
0 -да
и, следовательно,
(¿2т (Оа , 1)и(х, I), и(х, |)) + (¿2р Рр , |)и(х, I), и(х, |)) =
да да
= I ¿2т (т, I) ^аи|2 ёт+ | ¿2р (т, I) ^ри|2 ёт = (/ (х, I), и(х, I)). (7)
Заметим, что из условия 1 вытекает (см. [9]) справедливость неравенств
¿2т (т, !)> М поэтому из (7) получим оценку
¿2т (т,I) > М1 +12 + |т|2 )Г, \ь2р (т,I) > М1 +12 + |т|2 ^,
51 + |!|2}т-||Р>(х,I)2 ёх + 51+ Ц2^1 ||Ррв'и(х,I)2 ёх <
'=0 0 1=0 0
<М1+ Ц2 +|т|2)>аи|2ёт+ М211+ Ц2 +|т|2У'^ри|2ёт< С01(/(х,I),и(х,I)) . (8)
-да -да
Теперь для доказательства априорной оценки (5) достаточно в (8) воспользоваться очевидным неравенством
|(/(х,!),и(х,I)) < е(1 + |!|2)Г}|и(х,I)!2 ёх +. с(е) г П/(х,I)!2 ёх
0 (1 + 1ИГ 0
и выбрать 0 < е < —. Лемма доказана.
2
Лемма 2 [10]. Пусть у(х) е С3 [0, ё ]. Тогда при любых е> 0,0 < г < ^ справедливо мультипликативное неравенство
||Р>(х)[ < е'-т|р,>(х)[ + с(е-т + е3-Г )|н(х)[ (9)
d
где Щх)|2 = ||у(х)| dx, с > 0 не зависит от у(х) и е .
0
Следствие 1 [10]. Пусть у(х) е С2т[0, d]. Тогда при любых е> 0,0 < ^ < 2т,^е Кп справедлива оценка
(1+Н2 )2m-l|Dаv( х)|2 <в-2(^-2т^Бату(х)|;+4-+е2т- )1+^2 )>х)Ю , (10)
где с > 0 не зависит от v(х) и е .
Лемма 3. Пусть 0 < к < 2т и дха(0) = дхв(0) = 0 . Тогда для любой функции м>(х) е С 2т+1[0, d] справедливо тождество
к-1 к Бр Б>(х) = БаБрЧх) + X Я] (х)ЦаБрЧх) + £ б* (х)Б>(х),
'=0 '=0
где функции Я] (х) и б] (х) зависят лишь от функций а(х) и в( х) и их производных, причём Я] (0) = б] (0) = 0.
Доказательство леммы не представляет больших трудностей и проводится по индукции.
Для дальнейших оценок введём в рассмотрение функцию ф(х) е С™ [0, d] равную числу
1 при 0 < х < й и равную нулю при < х < d . Обозначим через и1(х,£) = ф(х)и(х, £), через
и2(х,£) = (1 -ф(х))и(х,£) и рассмотрим скалярное произведение Бати(х,£),Бв2ри(х,. Лемма 4. Пусть и(х,£) е РИа^2р(Б). Тогда справедливо представление
а _
(Бати( х, Б2 ри( х, = | БаБи (х, ^ + 3 (и1 (х, и (х, +1 БОБ'и (х, " Б^^и, (х, Йх +
0
а _
+ 3 (и1( х, £), и2( х, £)) +1 Ба"Б|ри2 (х, £) "Ба,Бри1 (х, £) ¿х + 3 (и2( х, £), и1( х, £)) +
0
а 2
+ |а2т(х) в 2р(х)|дт+ри2(х,ёх + 31 (и2(х,£)) + я(и2(х,£)), (11)
а/4
где для 2 < , + ' < 4
а __а _
3(и,. (х, и' (х, = | БррБати,. (х, "Бри' (х, Йх Б^Б^ (х, 'б^' (х, ах,
х, ^))= X (-1)цБХ(х, Бат-ц Б2^ (х,
т+р<ц<2т-1
31 (и2(х,£)) = | £ Ф^(х) д>2(х,£)"д>2(х,£) dx,
d/4 ^<2(т+ р)-1 ц<т+ р, v<m+ р
Ф^ (х) - некоторые ограниченные функции. При этом для любого е > 0 имеют место оценки
а 2 а 2 а / \
|3(и,(х, а и' (х, ^))<еЛБати, (х, Йх + е||Бр2и (х, Йх + с(в)Д |и,(х, ^)|2 + |иу (х, ^ 1 Йх , (12) 0 0 0 а 2 а
\я(и2(х,< е Цд>2(х,¿х + с(е) ||и2(х,^)|2 ах , (13)
а/4 а/4
а 2 а 2 а
|31 (и2(х,§))<е/1Бати2(х,ёх + 8||Бр2ри2(х,ёх + с(е)||и2(х,^)|2 ёх . (14)
0 0 0 Доказательство. Запишем очевидное равенство
Бати( х, а Б в2 ри( х, ^))=(Бати1( х, Б в2 ри1( х, Э^БаХ х, Бв2 ри2( х, ^Ба^ х, Б2 ри1( х, ^))+
=а
X
X
Интегрируя в (15) по частям, для 2 < г + ] < 4 установим соотношение
а _ а _
|Д2Ч (х, О) 'в;ри] (х, О) ах = | врв>, (х, (х, О) ах =
0 0
а _
= I втври1 (х, О) ~В„Ври] (х, О ах + 3(и,. (х, О, Ы1 (х, ^ (16)
о
где у (и. (х, О), иу (х, О)) введены в (11).
Оценка (12) вытекает из лемм 2, 3 и элементарного неравенства, справедливого для в > 0
а а а
|ф(х) у(х) ах < в| |ф( х)|2 ах+с(в)||у(х)|2 ах. (17)
о
Рассмотрим далее скалярное произведение (вати2(х, О), вр2ри2(х, О)). Интегрируя по частям, получим
(д>2( х, О), В в2 ри2( х, О))= ри2( х, О)" БтДйсхО) ах + х, О)), (18)
а/4
где я(и2(х,О)) определено в (11). Поэтому оценка (13) для я(и2(х,О)) вытекает из известной теоремы о следах [11].
Интеграл, стоящий в правой части (18), преобразуем к виду
IВ'т+Ри2(х,О)"ва,-рв|2ри2(х,О)ах = |а2т(х)|2р(х)д„+ри2(х,О)"д„+ри2(х,О)ах + 31 (и2(х,О)) , (19)
а/4 а/4
причём для введённого в (11) у (м2( х, О)) справедлива оценка (14).
Таким образом, из (16), (18), (19) вытекает представление (11). Лемма доказана. Лемма 5. Пусть выполнены условия 1 и 2. Тогда при любом в> 0 для функции и (х, О) е ри а™,2 р (В), являющейся решением задачи (3), (4), выполнена оценка
||в2ри(х,О)||2 <в||вати(х,+ с(в)||/(х,О)||0, (20)
с постоянной с(в) > 0, не зависящей от и(х, £,), /(х, £,).
Доказательство. Умножим скалярно уравнение (3) на Вр2 ри( х, О). После элементарных преобразований будем иметь
а __а
„и
^01 вати (х, О)"В|ри(х, О) ах+ъгр,011В|ри (х, О) ах = | /(х, О)"Вр2ри(х, О) ах -
0
а
X в]и(х,О)"вр2ри(х,О)ах - X В]и(х,О) Вр2ри(х, О) ах . (21)
0<]+|ц|<2т 0 р 0
]*2ш ]*2р
Для оценки слагаемых, стоящих в правой части равенства (21), применим следствие 1 и неравенство (17). С помощью элементарных оценок получим
а _
^„^е|Вати(х,0'вр2ри(х,О)ах + Ъ2р,^|вр2ри(х,О)||2 < в^|вр2ри(х,О)||0 + )/(х,О)||2 +в^|в2ри(х,О)||0 +
0
+ с(в1) X (1+ О2У)\ВЯх, О)|о2 +вЦВ|ри(х, О)|2 + с(в1) X (1+ О2)1 |в]и(х, <
0<]+|ц|<2ш 0<]+|ц|<2 р
]ф2ш ]Ф2р
II2 ! 411 , ,-Л2 11^2 р , ,-Л2 /- Ь-|2\2'»|| , >.,112
;3в^|в2ри(х, + с(в1 )/(х, +в|| ва„и( х, + в||В 2 ри( х, О)||2 + С (в, в1 + 2 )"|и(х, О)||0
+ С1 (в, в1 )(1 + О2 У\\и( х, (22)
Выбирая в (22) е1 > 0 достаточно малым и применяя оценку (5), доказанную в лемме 1, установим неравенство
a^Re^X*,5),Dpu(x,5))+2MDM*,5)||2 <s|D>(x,+ C2(s)/(x,5)||2. (23)
Используя представление (11), а также неравенства (12) - (14) и (5), из (23) выводим оценку
\\d2pu(x,d[ <s||D>(x,5)|[ + c
d _
fDamDppUi(x,5)" D:D!pU2(*x,5)dx
+ / (x, С
Чтобы завершить доказательство леммы 5, достаточно заметить, что подынтегральное выражение в правой части последнего неравенства
дтдчсх, дтччс х, =дтдр (ф(х)М(Х, удодах!) - \в:вр (Ф(ХМХ, 5))2
содержит произведения производных от функции и(х,5) только до порядка т + р < 2т и поэтому сам интеграл, с учётом элементарного неравенства (17), может быть оценен следующим образом
а
f Da"DppUi(x,5)'D:DppU2(x,5)dx <s|D>(x,+ c(s)/(x,5)|[ .
d/4
Теорема. Пусть выполнены условия 1, 2 и —(X, у) Е ¿2(б). Тогда для функций и( х,!) Е -^,2т,2 р (Б) и г (х, у) Е н <2т'2 р (Б), являющихся соответственно решениями задач (3), (4) и (1), (2), выполнены априорные оценки
£(1 + !2Г1|АМх,!)||: + £(1 + !2)Г|Ди(х,5)[ ,с||/(х,^ (24)
U(^у)|2ЯА2p,P < cffF(x,У)|2 dxdy (25)
D
с постоянной c > 0 не зависящей от u(x, 5), /(x, 5), и(x,y), F(x,y).
Доказательство теоремы вытекает из лемм 1, 5 и следствия 1. Действительно, из уравнения (3) оценим |Da;mu(x,5)|| . Имеем
||D>(x,J)|0 < (5(l + J2riDUx,+Z(l + 52)2p-lDku(x,J)|0 +/(x,5)121 .
V k =0 k=0 J
Для оценки слагаемых, стоящих в правой части последнего неравенства, применим следствие 1 и леммы 1, 5. Получим
||d>( x, ;)|2 < e|DX x, 5)|2+c(S)|| / (x, 5)12. (26)
Выбирая в (26) s > 0 достаточно малым, выводим неравенство
||D>(x, 5)|0 < cj/(x, 5)|о,
которое вместе с (5), (10) и (20) приводит к оценке (24).
Оценка (25) вытекает из неравенства (24) после интегрирования его по 5 е Rn и теорема тем самым доказана.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, грант № 16-01-00197.
Список литературы References
l. Олейник О.А., Радкевич Е.В. 2010. Уравнения с неотрицательной характеристической формой. МГУ. Москва.
Oleinic O.A., Radkevich E.V. 2010. Equations wits nonnegative characteristic form. Moscow State University. Moscow.
2. Архипов В.П. 2011. Линейные дифференциальные уравнения второго порядка с вырождающимся коэффициентом при старшей производной. Дифференц. уравнения, 47, № 10: 1383-1393.
Arkhipov V.P. 2011. Linear Second-Order Differential Equations with Degenerating Coefficient of the Second Derivative. Differential Equations, 47, № 10: 1383-1393.
3. Архипов В.П., Глушак А.В. 2013. Асимптотические представления решений дифференциальных уравнений второго порядка около точки вырождения. Научные ведомости Белгородского государственного университета. Математика. Физика, №5 (148). Выпуск 30.
Arhipov V.P., Glushak A.V. 2013. Asymptotic Representations of Solutions the Second-Order Differential Equation near the Degenerating Point. Belgorod State University Scientific Bulletin. Mathem. Physics, №5(148). Iss. 30.
4. Архипов В.П. 2016. Асимптотические представления решений вырождающихся эллиптических уравнений. Вестн. Воронеж. гос. ун-та. Сер. Физика, математика, №1: 50-65.
Arhipov V.P. 2014. Asymptotic representations of solutions of degenerate elliptic equations. Proceedings of Voronezh State University. Series: Physics. Mathematics. №1: 50-65.
5. Архипов В.П., Глушак А.В. 2016. Вырождающиеся дифференциальные уравнения второго порядка. Асимптотические представления решений. Научные ведомости Белгородского государственного университета. Математика. Физика, №20 (241), Выпуск 44: 5-22.
Arhipov V.P., Glushak A.V. 2016. Degenerating Second-Order Differential Equations. Asymptotic Representations of Solutions. Belgorod State University Scientific Bulletin Mathem.&Physics, №20 (241), issue 44: 5-22.
6. Архипов В.П., Глушак А.В. 2016. Вырождающиеся дифференциальные уравнения второго порядка. Асимптотические представления спектра. Научные ведомости Белгородского государственного университета. Математика. Физика, №27 (248), Выпуск 45: 45-59.
Arhipov V.P., Glushak A.V. 2016. Degenerating Second-Order Differential Equations. Asymptotic Representations of Spectrum. Belgorod State University Scientific Bulletin Mathem.&Physics, №27 (248), issue 45: 45-59.
7. Глушко В.П., Савченко Ю.Б. 1985. Вырождающиеся эллиптические уравнения высокого порядка: пространства, операторы, граничные задачи. Итоги науки и техники. Сер. Мат. анал., 23: 125-218.
Glushko V.P., Savchenko Yu.B. 1985. Higher-order degenerate elliptic equations: Spaces, operators, boundary-value problems. Mathematical analysis. Itogi Nauki i Tekhniki, Moscow, 23: 125218.
8. Глушко В.П., Львин С.Я. 1977. О некоторых свойствах одного класса весовых пространств С.Л. Соболева. В сб. «Дифференциальные и интегральные уравнения», вып. 1. Нальчик: 52-57.
Glushko V.P., L'vin S.Ya. 1977. On some properties of a class of weighted Sobolev spaces. In the collection "Differential and Integral Equations", issue 1. Nalchik: 52-57.
9. Freeman R.S., Schechter M. 1974. On the existence, uniqueness and regularity of solutions to general elliptic boundary value problems. J. different. equat., issue 15: 213-246.
10.Глушко В.П. Априорные оценки решений краевых задач для одного класса вырождающихся эллиптических уравнений высокого порядка. Деп. ВИНИТИ № 1049-79 Деп: 47.
Glushko V.P. A priori estimates of solutions of boundary value problems for a class of degenerate elliptic equations of high order. Dep. VINITI № 1049-79 Dep: 47.
11. Агранович М.С., Вишик М.И. 1964. Эллиптические задачи с параметром и параболические задачи общего вида. УМН. XIX, вып. 3: 53-161.
Agranovich M.S., Vishik M.I. 1964. Elliptic problems with a parameter and parabolic problems of general form. UMN, XIX, issue 3: 53-161.
