CC BY
19Математические заметки СВФУ Октябрь—декабрь, 2017. Том 24, № 4
УДК 517.956.6
О КОРРЕКТНОСТИ ОДНОЙ НЕЛОКАЛЬНОЙ КРАЕВОЙ ЗАДАЧИ С ПОСТОЯННЫМ КОЭФФИЦИЕНТОМ ДЛЯ МНОГОМЕРНОГО УРАВНЕНИЯ СМЕШАННОГО ТИПА ВТОРОГО ПОРЯДКА С. З. Джамалов
Аннотация. Описана постановка нелокальной краевой задачи для многомерного уравнения смешанного типа второго рода второго порядка. Класс таких уравнений охватывает классические уравнения эллиптического типа, гиперболического типа и параболические уравнения. Доказана регулярная разрешимость поставленной нелокальной краевой задачи в пространствах С. Л. Соболева.
БС! 10.25587/SVFU.2018.4.11313
Ключевые слова: многомерное уравнение смешанного типа второго рода второго порядка, нелокальная краевая задача, обобщенное решение, регулярное решение, единственность решения, существование решения, метод ^-регуляризации, метод Галёркина, априорные оценки.
Введение и постановка задачи
Пусть О — ограниченная область пространства К" с гладкой (для простоты бесконечно дифференцируемой) границей дО, Q — цилиндр О х (0,Т) (0 < Т < 5 = дО х (0, Т) — его боковая граница.
В цилиндрической области Q рассматривается дифференциальное уравнение второго порядка
" д
Ьи = К(х,Ь)ии — ^^ т:—{а,щ{х)иХ1) + а(х, Ь)щ + с(х, Ь)и = /(ж, Ь), (1) ■ -. дxi
где х = (хх,х2,... ,хп), а^(х) = aji(x) и aij(х), а(х, 4), с(х, 4) — заданные в цилиндре (3 достаточно гладкие функции.
Теории краевых задач для уравнений смешанного типа второго и высокого порядков посвящены работы многих авторов [1—6]. Отметим, что уравнение (1) относится к уравнениям смешанного типа второго рода, так как на знак функции К(х, 4) по переменной Ь внутри области Q не налагается никаких ограничений, т. е. функция К(х, 4) внутри области может менять знак [2].
© 2017 Джамалов С. З.
Краевая задача 1. Найти функцию и(х,Ь), являющуюся в цилиндре Q решением уравнения (1) и такую, что для нее выполняются условия
и(х, 0) = 7 • и(х, Т), (2)
и\з = 0, (3)
где 7 — постоянное число, отличное от нуля, значение которого будет уточнено ниже.
Пусть выполнены неравенства
К(х,0) < 0 < К(х,Т), х£ П. (4)
Впервые нелокальные краевые задачи с постоянными коэффициентами для уравнений смешанного типа второго рода и второго порядка (1) рассматривались функциональными методами в работах [6,7], когда 7 = 0 — постоянное число. В случае К(х, 0) = К(х, Т) = 0 в [8, 9] была доказана корректность решения краевой задачи (1)—(3). Кроме того, в работе [10] на плоскости для случая, когда выполнены неравенства (4), доказаны корректность и гладкость решения нелокальной краевой задачи (1)—(3) в пространствах С. Л. Соболева.
В настоящей работе в случае, когда выполнено (4), методами е-регуляри-зации, Галёркина и априорных оценок доказывается регулярная разрешимость нелокальной краевой задачи (1)—(3) в пространствах С. Л. Соболева.
Пусть выполнено одно из следующих условий:
(a) > ао|£|2, где ао > 0 — константа, х £ £2, £ £ М";
(b) ау (х)^^ < а-11С127 гДе а1 < 0 — константа, х £ £1, £ € М™.
Замечание 1. В дальнейшем для простоты изучим случай (а), случай (Ь) изучается аналогично.
1. Единственность решения задачи
Лемма. Пусть выполнены указанные выше условия для коэффициентов уравнения (1) , кроме того, пусть
2а(х, г) - Кг(х, г) + А К (х, г) > 81 > 0,
Ас(х, I) — С4(ж, I) > ¿2 > 0 при (х, I) £ (3,
2
с(х, 0) < с(х, Т), где А = -— 1п |7| > 0,
причем \7\ < 1 при выполнении условия (а).
Тогда имеет место неравенство
||и||1 < С1у/||о, С1 > 0.
(5)
Доказательство. Для любой функции п £ после интегрирования
по частям нетрудно получить следующее тождество:
2 У Ьп ехр(—А£)п Я
= J ехр(—А4) [(2а — К + АК)п2 + АацпХпХз_ + (Ас — с4)п2] Я
+ J ехр(— А4) [Кп^о — 2ацпЖз-п^ + ацпЖз-Из + сп2^] ¿в, (6) дЯ
где V = (^о = 008^, 4), V = 008( V, )) — единичный вектор внешней нормали к дф. Пусть п £ удовлетворяет краевым условиям (2), (3), тогда выражение — [Кп2 + ацпХпxj + сп2] ехр(—А4) неотрицательно на основаниях области ф, а на боковой границе Б равно нулю. Наконец, ацпХ1 ntVj равны нулю на Б, так как V = 0 на основаниях области ф и п(ж, 4) = 0 на Б. Отбрасывая неотрицательные слагаемые, из тождества (6) получаем
2 ! Ьп ехр(—А4)п Я
> J ехр(—А4) [(2а — К + АК)п2 + АацпХпХз_ + (Ас — с4)п2] (7)
Я
Условия леммы обеспечивают неотрицательность интеграла в (7) по области ф. Применяя неравенство Юнга к (7), получим искомую оценку (5). Лемма доказана.
Замечание 2. Из леммы следует, что при выполнении условий леммы регулярное решение задачи (1)—(3) единственно.
2. Уравнения составного типа
Для доказательства существования регулярного решения задачи (1)—(3) из используем метод е-регуляризации в сочетании с методом Галёркина [2,4,8,10].
Рассмотрим нелокальную краевую задачу для уравнения составного типа
д
Ьеие = -е—Аие +Ьие = /(ж,£), (8)
Щпе|,=0 = тЩпе|<=т, 9 = 0,1, 2, (9)
пе|^ = 0, (10)
где
- д12 + ^ дх*
1,3=1
оператор Лапласа,
щ
Оч
Жч
9 = 0,1,2;
е — достаточно малое положительное число, причем |71 < 1 при выполнении условия (а).
Уравнение составного типа (8) будем использовать в качестве е-регуляри-зирующего уравнения для (1) [2,4, 7, 8,10,11].
Через V будем обозначать класс функций пе таких, что ие(ж,£) £ Ж^ф), £ ¿2(<5), удовлетворяющих условиям (9), (10).
Определение. Регулярным решением краевой задачи (8)—(10) будем называть функцию ие(ж, £) £ V, удовлетворяющую уравнению (8).
Теорема 1. Пусть выполнены указанные выше условия для коэффициентов уравнения (8), кроме того, всюду в области (3 выполнены условия
2а -|К4| + АК > ¿1 > 0, Ас - с* > ¿2 > 0,
2
с(ж, 0) = с(ж, Т), а(ж, 0) = а(ж, Т), где А = — — 1п |7| > 0,
причем |71 < 1 при выполнении условия (а), |КХз. | — ограниченная функция в области (3. Тогда для любой функции /(ж, £) такой, что /(ж, £), /¿(ж, £) (Е ¿2(<Э), /(ж, 0) = 7/(ж, Т), существует единственное регулярное решение задачи (8)—(10) и для него справедливы следующие оценки:
др'
д л
+
-%1|2
+ И
< С2|
< сз
+ ||/
*ио;
(I)
(II)
Доказательство неравенства (I) проводится так же, как в лемме, в результате получаем единственность регулярного решения задачи (8)—(11) [2, 4, 711].
Докажем вторую априорную оценку. Пусть (ж, £) — собственные функции спектральной задачи
+ Е =
д 2£
»,¿=1
(11)
|*=0 = |,=т, где р = 0,1, (12)
Ъ ^ = 0. (13)
Из общей теории линейных самосопряженных эллиптических операторов [12,13] известно, что все собственные функции задачи (11)—(13) образуют фундаментальную систему в Сто(ф), ортогональную в Ь2(ф). Далее с помощью этих последовательностей функций построим решение вспомогательной задачи
. АА дш, гш, = ехр ( -— I — =
2
2
2
е
о
о
2
2
о
о
( (ж, 0) = 7Ш3(ж, Т),
(15)
где 7 = 0, причем |7| < 1. Очевидно, что задача (14), (15) однозначно разрешима и ее решение имеет вид
г т
1~ХЧ>з = шз = ! ехР (^ Лт + / 6ХР (
— I ^ м.
Ясно, что функции Ш3 (ж, 4) £ Сто(ф) линейно независимы. Действительно, если
N
5> шз =0
3=1
для какого-нибудь набора последовательностей функций ш1; ш2, ..., , то, действуя на эту сумму оператором I, имеем
N N
^ с3= с3 ^3 =
3=1 3=1
Отсюда следует, что с3- = 0 для всех 3 = . Отметим, что из построения функции ^з(ж, 4) вытекают следующие условия на функции ((ж, 4) £ Сто(ф):
(16) (17)
Щ?( 1г=о = тЩ( |г=т, 9 = 0,1, 2, Ш3 = 0.
Приближенное решение задачи (8)—(10) ищем в виде
N
ад(ж, 4) = (ж, 4) ^^ с3-Ш3 (ж, 4), 3=1
где коэффициенты С3 для любого 3 от 1 до N определяются как решение линейной алгебраической системы
Ьеи^ ехр ( — — ] lpj йхМ =
/ ехр —
А*. 2
^3
(18)
Докажем однозначную разрешимость алгебраической системы (18). Умножая каждое уравнение из (18) на 2с3- и суммируя по 3 от 1 до N, учитывая задачу (14), (15) и алгебраическую систему (18), получим тождество
J ехр(—= J /ехр(—
(19)
откуда в силу условия теоремы 1 интегрированием тождества (19) получим для приближенного решения задачи (8)—(10) оценки (I), т. е.
д2
—им
дР е
+
+ к 111 < С4У/110.
(20)
2
2
е
0
0
Отсюда вытекает разрешимость системы (18) [6-8,10,13].
Докажем вторую априорную оценку (II). Используя задачу (11)—(15), из тождества (18) получим
—^ [ Ьгюехр (--] А£и>^ йхМ =--тт [ f ехр (--) А с1хсИ.
м? у V 2; ^ м2 у р V 2
я Я
(21)
Умножая каждое уравнение в (21) на , суммируя по ] от 1 до N и учитывая условия (16), (17), из (21) получим следующее тождество:
- /
-Л2
я
дАад л А2
-г---А гии + -г^г
д£ 4
= 0.
(22)
Интегрируя (22) с учетом условий теоремы 1 и краевых условий (16), (17), приходим к следующему неравенству:
с5(Ш10 + II/112) > е
дАад
+ I е-^{(2а + К + АК)^2С + (2а - К + АК^
я
+ ^^ + Аа0^Х, X; } +1 е-Лг{К + )
дЯ
+ ода4wtt + (а^-)х3- + ^гг) + + )}Ио ¿в
_ 3
+ е Лt{KwttWtxi +2awtwtxi + (а^¿в = ^
(23)
где Jl — интеграл по области, г = 2, 3, — интегралы по границе. Учитывая условие теоремы 1 и используя неравенство Юнга, получим, что интеграл ^ допускает следующую оценку: 2
Л = е
дАw
д4
+ С6 / ехр(—А4) Ц2 + < + <] < со^ .
(24)
я
Учитывая краевые условия (9), (10) и условия теоремы 1, получим, что
^ = 0, г = 2,3. (25)
Постоянная в правой части (24) не зависит от N, следовательно, из (20)—(25) вытекает вторая оценка для приближенного решения задачи (8)—(10). Оценка (20) вместе с оценкой (24) позволяют выполнить предельный переход по N ^ то и заключить, что некоторая подпоследовательность (ж,£)} сходится в силу единственности решения (неравенства (I)) в Ь2(^) вместе с производными первого и второго порядков к искомому регулярному решению ие(ж,£) задачи (8)—(10), обладающему свойствами, указанными в теореме 1 [2,4,7—11,13].
2
0
0
В силу (24) для пе(ж, 4) справедливо следующее неравенство
2
+ 1Ы12 < с7(у/но + ШЮ). (26)
0
Теорема 1 доказана.
Перейдем к доказательству разрешимости краевой задачи (1)-(3).
3. Существование решения задачи
С помощью метода е-регуляризации докажем регулярную разрешимость задачи (1)-(3).
Теорема 2. Пусть выполнены условия теоремы 2. Тогда регулярное решение задачи (1)-(3) из Ж22(ф) существует и единственно.
Доказательство. Единственность решения задачи (1)-(3) в пространстве Ж22(ф) доказана в лемме. Докажем существование регулярного решения задачи (1)-(3) в Ж22(ф). Для этого рассмотрим в области ф уравнение (8) и краевые условия (9), (10) при е > 0. Так как выполнены все условия теоремы 1, существует единственное регулярное решение задачи (8)-(10) при е > 0 и для него справедливы первая и вторая оценки. Отсюда следует, что из множества функций |пе(ж,4)|, е > 0, можно извлечь слабо сходящуюся подпоследовательность функций в V такую, что {п^ (ж, 4)} ^ п(ж, 4) при е4 ^ 0. Покажем, что предельная функция п(ж,4) удовлетворяет уравнению Ьп = / (уравнению (1)). В самом деле, так как последовательность {п^(ж,4)} слабо сходится в Ж22(ф),
г дДи£. (Х,г) ^ т
а последовательность |-^-1 равномерно ограничена и оператор Ь линеи-
ный, имеем
дДп дДп
Ьи- / = Ьи- Ьие1 + ег——— = Ь{и -иЕ1)+ ег———. (27)
Из равенства (27), переходя к пределу при е4 ^ 0, получим единственное регулярное решение задачи (1)-(3) [2, 8,10]. Теорема 2 доказана.
Замечание 3. При постановке краевой задачи (1)-(3) знак квадратичной формы существенной роли не играет, хотя в случае (а) в класс уравнений (1) входят параболические уравнения, а в случае (Ь) входят обратно-параболические уравнения, тем не менее для задачи (1)-(3) в случае (а) и в случае (Ь) получены аналогичные результаты лишь с изменением значения 7, т. е. |71 < 1 в случае (а) и |71 > 1 в случае (Ь).
Замечание 4. Возникает вопрос: существенны ли ограничения на 7 при постановке задачи? Рассмотрим следующие примеры.
Пример 1. В прямоугольнике ф = (0,1) х (0,Т) рассмотрим модельную задачу
Щп = п — пхх = 0, (28)
п(ж, 0) = 7п(ж,Т), (29)
Дп
д
е
п(0,4) = п(1,4) = 0. (30)
Пусть ш(ж) — собственная функция, а А — соответствующее собственное значение задачи Дирихле для обыкновенного дифференциального уравнения
—ш'' = А2Ш, Ш(0) = ш(1) = 0.
Нетрудно проверить, что все условия леммы и теоремы 1 выполнены, но, несмотря на это, нетривиальным решением изучаемой нелокальной задачи (28)-(30) будут функции п(ж, 4) = Ае-А гш(ж), где А — произвольная постоянная и 7 = еА2т > 1.
Пример 2. В области ф рассмотрим задачу
Щп = п + пхх =0, (31)
п(ж, 0) = 7п(ж,Т), (32)
п(0,4)= п(1,4) = 0. (33)
Решая задачу (31)-(33), так же, как выше, убедимся, что п(ж, 4) = АеА гш(ж), где А — произвольная постоянная, и 7 = е-А т < 1 будет нетривиальным решением задачи (31)-(33).
Таким образом, ограничения на 7 в случаях (а) и (Ь) существенны. При невыполнении этих условий, как показано выше, единственность решения задачи нарушается.
Автор приносит глубокую благодарность профессорам А. И. Кожанову и И. Е. Егорову за обсуждение результатов работы и ценные советы в подготовке данной статьи.
ЛИТЕРАТУРА
1. Бицадзе А. В., Самарский А. А. О некоторых простейших обобщениях линейных эллиптических краевых задач // Докл. АН СССР. 1969. Т. 185, № 4, С. 739-740.
2. Врагов В. Н. Краевые задачи для неклассических уравнений математической физики. Новосибирск: НГУ, 1983.
3. Врагов В. Н. О постановке и разрешимости краевых задач для уравнений смешанно-составного типа // Математический анализ и смежные вопросы математики. Новосибирск: ИМ СО АН СССР, 1978. С. 5-13.
4. Кожанов А. И. Краевые задачи для уравнений математической физики нечетного порядка. Новосибирск: НГУ, 1990.
5. Егоров И. Е, Федоров В. Е. Неклассические уравнения математической физики высокого порядка. Новосибирск: ВЦ СО РАН, 1995.
6. Терехов А. Н. Нелокальные краевые задачи для уравнений переменного типа // Неклассические уравнения математической физики. Новосибирск: ИМ СО АН СССР, 1985. С. 148-158.
7. Глазатов С. Н. Нелокальные краевые задачи для уравнений смешанного типа в прямоугольнике // Сиб. мат. журн. 1985. Т. 26, № 6. С. 162-164.
8. Джамалов С. З. О корректности нелокальных краевых задач для многомерного уравнения смешанного типа // Применение методов функционального анализа к неклассическим уравнениям математической физики. Новосибирск: ИМ СО АН СССР, 1989. С. 63-70.
9. Каратопраклиева М. Г. Об одной нелокальной краевой задаче для уравнения смешанного типа // Дифференц. уравнения. 1991. Т. 27, № 1. С. 68-79.
10. Джамалов С. З. Об одной нелокальной краевой задаче для уравнения смешанного типа второго рода второго порядка // Узб. мат. журн. 2014. Т. 1, № 1. С. 5—14.
11. Кузьмин А. Г. Неклассические уравнения смешанного типа и их приложения к газодинамике. Ленинград: ЛГУ, 1990.
12. Березанский Ю. М. Разложение по собственным функциям самосопряженных операторов. Киев: Наук. думка, 1965.
13. Ладыженская О. А. Краевые задачи математической физики. М: Наука, 1973.
Статья поступила 26 февраля 2017 г. Джамалов Сирожиддин Зухриддинович
Институт математики при Академии наук Республики Узбекистан, ул. М. Улугбека, 81, Академгородок, Ташкент 100170, Узбекистан б!го}б3@шаИ.ги
Математические заметки СВФУ Октябрь—декабрь, 2017. Том 24, № 4
UDC 517.956.6
ON CORRECTNESS OF NONLOCAL EDGE PROBLEM WITH CONSTANT COEFFICIENT FOR MULTIDIMENSIONAL SECOND ORDER EQUATION OF MIXED TYPE S. Z. Jamalov
Abstract: We formulate a nonlocal boundary-value problem for a second order multidimensional equation of mixed type covering classical elliptic, hyperbolic, and parabolic equations. We prove regular solvability of the posed nonlocal boundary-value problem in Sobolev spaces.
DOI: 10.25587/SVFU.2018.4.11313
Keywords: second order multidimensional equation of mixed type, nonlocal boundary value problem, generalized solution, regular solution, uniqueness, existence, smoothness of solution, method of e-regularization, Galerkin method, a priori estimates.
REFERENCES
1. Bitsadze A. V. and Samarskii A. A., "About some protozoa generalizations of linear elliptic boundary-value problems," Russ. Math., 185, No. 4, 739-740 (1969).
2. Vragov V. N., Boundary Value Problems for Nonclassical Equations of Mathematical Physics [in Russian], Novosib. Gos. Univ., Novosibirsk (1983).
3. Vragov V. N., "On the statement and solvability of boundary value problems for equations of mixed-composite type [in Russian]," in: Mathematical Analysis and Related Questions of Mathematics, pp. 5-13, Inst. Mat. SO AN SSSR, Novosibirsk (1978).
4. Kozhanov A. I., Boundary Value Problems for Equations Mathematical Physics of Odd Order [in Russian], Novosib. Gos. Univ., Novosibirsk (1990).
5. Egorov I. E. and Fedorov V. E., Higher-Order Nonclassical Equations of Mathematical Physics [in Russian], Vychislit. Tsentr SO RAN, Novosibirsk (1995).
6. Terekhov A. N., "Nonlocal boundary value problems for equations of the variable type [in Russian]," in: Nonclassical Equations of Mathematical Physics, pp. 148-158, Inst. Mat. SO AN SSSR, Novosibirsk (1985).
7. Glazatov S. N., "Nonlocal boundary value problems for equations of mixed type in a rectangle," Sib. Math. J., 26, No 6, 162-164 (1985).
8. Jamalov S. Z., "On the correctness of non-local boundary problems for a multidimensional equation of mixed type [in Russian]," in: Application of Methods of Functional Analysis to Nonclassical Equations of Mathematical Physics, pp. 63-70, Inst. Mat. SO AN SSSR, Novosibirsk (1989).
9. Karatopraklieva M. G. "On a nonlocal edge problem for a mixed-type equation," Differ. Equ., 27, No 1, 68-79 (1991).
10. Jamalov S. Z., "On a nonlocal boundary-value problem for an equation of mixed type of the second kind of second order," Uzbek. Mat. Zhurn., 1, No 1, 5-14 (2014).
11. Kuzmin A. G., Nonclassical Equations of Mixed Type and Their Applications to Gas Dynamics [in Russian], Leningr. Gos. Univ., Leningrad (1990).
© 2017 S. Z. Jamalov
12. Berezanskiy Yu. M., Expansion by Eigenfunctions of Selfadjoint Operators [in Russian], Naukova Dumka, Kiev (1965).
13. Ladyzhenskaya O. A., Boundary-Value Problems of Mathematical Physics [in Russian], Nauka, Moscow (1973).
Submitted February 26, 2017 Sirozhiddin Z. Jamalov
Academy of Sciences of the Republic of Uzbekistan, Institute of Mathematics,
81 M. Ulugbek Street, Akademgorodok, Tashkent 100170, Uzbekistan siroj63Smail.ru
