CC BY
8
Научная статья DOI: 10.18287/2541-7525-2020-26-4-25-35
УДК 517.95 Дата: поступления статьи: 09.10.2020
после рецензирования: 11.11.2020 принятия статьи: 25.11.2020
А.В. Гилев
Самарский национальный исследовательский университет имени академика С.П. Королева, г. Самара, Российская Федерация E-mail: toshqaaa@gmail.com. ORCID: https://orcid.org/0000-0001-6747-5826
ОБ ОДНОЙ НЕЛОКАЛЬНОЙ ЗАДАЧЕ ДЛЯ ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ С ДОМИНИРУЮЩЕЙ СМЕШАННОЙ ПРОИЗВОДНОЙ
АННОТАЦИЯ
В статье рассмотрена задача Гурса с нелокальными интегральными условиями для гиперболического уравнения с доминирующей смешанной производной. Методы исследования разрешимости классических краевых задач для уравнений с частными производными не могут быть применены без серьезных модификаций и предварительных действий к нелокальным задачам. Выбор метода исследования разрешимости нелокальной задачи зависит от вида интегрального условия. В процессе разработки методов, эффективных для нелокальных задач, были выделены интегральные условия различных типов [1]. Разрешимость нелокальной задачи Гурса с интегральными условиями первого рода для общего уравнения с доминирующей смешанной производной второго порядка была исследована в [2]. Интегральные условия рассматриваемой задачи являются нелокальными условиями второго рода, поэтому для исследования разрешимости задачи мы предлагаем другой метод, который заключается в сведении поставленной нелокальной задачи к классической задаче Гурса, но для нагруженного уравнения. В статье получены условия, выполнение которых гарантирует существование единственного решения поставленной задачи. Основным инструментом доказательства являются априорные оценки, полученные в работе.
Ключевые слова: неклассическая задача; нелокальные условия; нагруженное уравнение; задача Гурса; интегральные условия второго рода; существование и единственность решения; метод последовательных приближений; редукция.
Цитирование. Гилев А.В. Об одной нелокальной задаче для гиперболического уравнения с доминирующей смешанной производной // Вестник Самарского университета. Естественнонаучная серия. 2020. Т. 26, № 4. С. 25-35. DOI: http://doi.org/10.18287/2541-7525-2020-26-4-25-35.
Информация о конфликте интересов: автор и рецензенты заявляют об отсутствии конфликта интересов.
© Гилев А.В., 2020
Гилев Антон Владимирович — аспирант кафедры дифференциальных уравнений и теории управления, Самарский национальный исследовательский университет имени академика С.П. Королева, 443086, Российская Федерация, г. Самара, Московское шоссе, 34.
Введение
Математическое моделирование явлений окружающей нас действительности приводит к различным новым задачам дифференциальных уравнений с частными производными. Одним из классов качественно новых задач являются задачи с нелокальными условиями, к которым приводит моделирование различных процессов и явлений в случаях, когда мы не знаем или не можем измерить то, что происходит на границе какого-либо реального процесса.
По определению [1], нелокальными условиями называются соотношения, связывающие значения искомого решения и его производных в различных граничных и внутренних точках области, в которой ищется решение поставленной задачи.
Началом многих исследований данного класса задач для уравнений в частных производных послужила статья Дж. Кэннона [3], в которой исследована задача с нелокальным интегральным условием для уравнения теплопроводности, а в конце XX века задачи с интегральными условиями для гиперболических уравнений стали объектом систематических исследований [4-7].
Дальнейшие исследования показали, что нелокальные задачи тесно связаны с нагруженными уравнениями, которыми занимались многие исследователи в последней четверти XX века.
Нагруженным уравнением называется уравнение, которое содержит след некоторых операций от искомого решения [8]. К данному типу уравнений приводят задачи математической физики, математической биологии, теории моделирования нелокальных процессов. Стоит отметить, что задачи, связанные как с нелокальными условиями, так и с нагруженными уравнениями, не являются классическими в силу неприменимости к ним ранее известных методов исследования, что приводит к новым трудностям при решении задач, а также к потребности в разработке новых методов решения.
Как было отмечено раньше, существует взаимосвязь между нагруженными уравнениями и нелокальными задачами, а именно установлено, что нагруженные уравнения используются как метод решения нелокальных задач для дифференциальных уравнений в производных [9]. Указанная связь удобна тем, что благодаря ей возможно редуцировать задачу о решении некоторого уравнения, удовлетворяющего нелокальному условию, к задаче о нахождении решения некоторого нагруженного уравнения, удовлетворяющего классическим граничным условиям.
В данной статье рассмотрена нелокальная задача для гиперболического уравнения в области, ограниченной его характеристиками. Отметим, что задачи с интегральными условиями первого рода для гиперболического уравнения в характеристической области рассматривались в работах [2; 10; 11].
В настоящей статье в качестве нелокальных условий рассмотрены интегральные условия второго рода. Благодаря методу редукции нелокальная задача сведена к задаче Гурса, но для нагруженного уравнения. Сформулированы условия, выполнение которых гарантирует существование единственного решения поставленной задачи. Основным инструментом доказательства являются априорные оценки, полученные в работе.
1. Постановка задачи
Рассмотрим в Q = (0, а) х (0, Ь) следующую нелокальную задачу: найти решение уравнения
Ux
ьxy
удовлетворяющее нелокальным условиям
b
(x, y) + A(x, y)ux(x, y) + B(x, y)uy(x, y) + C(x, y)u(x, y) = f (x, y), (1.1)
и(х, 0) + J К2(х,у)и(х,у)3у = ф(х), и(0,у) + ! К^(х,у)и(х,у)йх = ф(у). (1.2)
0 0
Будем предполагать, что коэффициенты уравнения, его правая часть, а также функции К^(х,у) достаточно гладкие, причем выполняются условия
Кг(х, 0)=0, К2(0,у)=0. (1.3)
В силу того, что условия (1.2) являются нелокальными, мы не можем воспользоваться известными результатами о разрешимости задачи Гурса. Однако предложенный в статье метод позволит свести нелокальную задачу (1.1)—(1.2) к классической задаче Гурса для нагруженного уравнения и доказать разрешимость поставленной задачи.
Одним из методов решения подобных задач является метод редукции задачи с нелокальными условиями к задаче с классическими граничными условиями, но для нагруженного уравнения.
2. Редукция к задаче Гурса
Введем новую неизвестную функцию
а Ь
ю(х,у) = и(х,у) + ! Кх(^,у)и(^,у)й^ + J К2(х,п)и(х,п)3п, (2.1)
a
предполагая, что и(х,у) является решением задачи (1.1)—(1.2). Тогда легко видеть, что в силу (1.2) и
(1.3)
а Ь Ь
у(х, 0) = и(х, 0) + J 0)и(^, 0)^ + ^ К2(х,п)и(х,п)^п = и(х, 0) + J К2(х,п)и(х,п)^п = ф(х); 0 0 о
а Ь а
у(0,у) = и(0,у) + I К^уЩ^ + I К2(0,п)и(0,пЩ = и(0,у) + [ К^уЩ^ = ф(у). 0 0 0 Отсюда следует, что новая неизвестная функция удовлетворяет условиям
ъ(х, 0) = ф(х), ю(0,у) = ф(у).
Выразив из (2.1) и(х,у) и подставив в уравнение (1.1), получим уравнение относительно функции ь(х,у) :
Ь
д [
Vxy(x,y) + A(x,y)vx(x,y) + B(x,y)vy(x,y) + C(x,y)v(x,y) - A(x,y) — K2(x,n)u(x,n)dn-
0
а а Ь
-В (х,у) ду / ^уП^уЖ - С (х,у)(! К1(^у)и(£,у)^ ^У К2(х,п)и(х^п) = !(х,у).
о оо
Таким образом, мы получили задачу Гурса для нагруженного гиперболического уравнения с доминирующей смешанной производной. Введем следующее обозначение:
Ь а
д Г д Г
Р(х,у,и) = А(х, у) —J К2(х, п)и(х, + В(х,у) — ! К1(£,у)и(£,у)й£+
a b
+C(x,y)(J Ki(i, y)u(£,y)d£ + J K2{x,n)u(x,n)dn).
00
Тогда задачу Гурса можно записать в следующем виде:
Vxy(x, y) + A(x, y)vx(x, y) + B(x, y)vy(x, y) + C(x, y)v(x, y) = f (x, y) + P(x, y, u); (2.2)
v(x, 0) = ф), v(0,y) = ф(у). (2.3)
3. Разрешимость задачи Гурса для нагруженного уравнения
Теорема 1
Пусть
А, В, С € С (О), К € С 1(О), ! (х, у) € Ь2(Я),у/ 2(а + Ь)к < 1, К\(х, 0) = К2(у, 0)=0. Тогда существует единственное решение задачи Гурса (2.2)-(2.3). Доказательство
Доказательство проведем в несколько этапов:
1. Покажем, что задача (2.2)-(2.3) эквивалентна системе интегральных уравнений.
2. Докажем разрешимость уравнения (2.1).
3. Выведем предварительные оценки.
4. Докажем разрешимость системы (3.4).
Сначала сведем задачу (2.2)-(2.3) к системе интегральных уравнений. Предположим, что V — решение задачи Гурса. Положим
Ъх(х,у) = V(х,у), Vy(х,у)= т(х,у), (3.1)
откуда
^ху(х, у) = Vу(х, у), УуХ(х, у) = тх(х, у). (3.2)
Тогда из (2.2)
Vy (х, у) = /(х, у) + Р(х, у, и) - А(х, уУ(х, у) - В(х, у)т(х, у) - С(х, у)ю(х, у),
Ых(х, у) = /(х, у) + Р(х, у, и) - А(х, уУ (х, у) - В(х, у)т(х, у) - С(х, у)ю(х, у), (3.3)
Vу (х,у) = ™(х,у)-
Из (2.3) получим
у(х, 0) = ф'(х); т(0, у) = ф'(у). Проинтегрировав каждое из соотношений (3.3), приходим к системе интегральных уравнений
у
V (х, у) = ф/(х) + ¡(1 + Р - Av - Bw
0
х
w(x, у) = ф/(у) + ¡(/ + Р - Av - Bw - Су)3х, (3.4)
0 у
у(х,у) = ф(х) + f wdy.
0
Таким образом, если у(х,у) — решение задачи Гурса, то (иудовлетворяет системе интегральных уравнений (3.4). Покажем обратное. Пусть — решение (3.4). Тогда из последнего равенства (3.4)
y y
v(0,y) = ф(0) + J w(0,y)dy = фо + J ф'(y)dy = ф(у).
00 Аналогично
у(х, 0) = ф(х).
Еще раз воспользуемся последним равенством (3.4) и получим
у у
dx = 4>'(x) + J dW<x У dy = p'(x) + J(f + P - Av - Bw - Cv)dy = v(x, y).
(x)
оо
Покажем, что V удовлетворяет (2.2). Из третьего уравнения системы (3.4) уу(х,у) = -)л(х,у). В силу (3.1)—(3.3) и первого уравнения (3.4), имеем
у у
Vx(x, у) = ф'(х) + J ^^х(х, у^у = ф'(х) + !и - Р - Av - В->м - Cv)dy = V(х, у).
00
Следовательно, (3.1) выполняется. Подставим теперь (3.1) в первое уравнение системы (3.3)
Vxy(х, у) = и(х, у) + Р(х, у, и) - А(х, у^х(х, у) - В(х, у^у(х, у) - С(х, у^(х, у).
Получили, что V удовлетворяет уравнению (2.2).
Таким образом, система (3.4) эквивалентна (2.2)—(2.3).
Докажем, что система (3.4) имеет единственное решение. Однако заметим, что для доказательства разрешимости поставленной задачи нам потребуется доказать разрешимость уравнения (2.1), а также оценить Р(х,у,и) через v(x,y).
4. Доказательство разрешимости (2.1)
Рассмотрим интегральное уравнение
а Ь
v(x, у) = и(х,у) + ! К1(х,у)и(х,у)с1х + ! К2 (х, у)и(х, y)dy. 00 Докажем его разрешимость при помощи принципа сжатых отображений. Рассмотрим оператор
а Ь
Аи(х, у) = u(x,y)+J Kl(x,y)u(x,y)dx + J K2(x,y)u(x,y)dy
и покажем, что он переводит функцию и(х,у) € Q) в другую функцию из этого же пространства. Обозначим
а Ь
А(х, у) = J К (х,у)и(х,у^х + J К2(х, у)и(х, у)Лу. 00 Заметим, что в силу условий теоремы существуют числа К > 0 такие, что
а Ь
« =т*.[ К2Лх,у)Лх, «2 =т*.[ К {х,у)Лу.
[0>Ь1 } [0>а1 } 00
Применим неравенство Коши, получим
а Ь а Ь
А2(х,у) < К1(х,у)и(х,у)с1х)2 + K2(x,y)u(x,y)dy)2 < 2к^ u2(x,y)dx + 2к2J u2(x,y)dy. (4.1) 0 0 0 0 Тогда легко видеть, что
Ь а Ь а Ь а
\ 2/„, „л д„,д„. ^ о— / / „,2/„ \ ог— / / „.2,
A2( x,y)dxdy ^ 2ак\ J J u (x,y)dxdy + 2Ьк2 J J u dxdy.
о о о о о о
Оценим теперь
b a a b a
p(Aui,Au2) = (J J (Aui - Au2 )2dxdy)5 ^ (J J(2(J K1(x,y)(u1(x,y) - u2(x,y))dx)2 + о о о о о
b a b
+2(J K2(x,y)(u1(x,y)-u2(x,y))dy)2)dxdy)2 < (2(а+Ь)к J J(ui(x,y)-u2(x,y))2dxdy)5 < \J2(a + b)Kp(ui,u2),
где к = «1 + «2.
Если -у/2(а + Ь)к < 1, то мы находимся в условиях принципа сжатых отображений. Тем самым доказано, что уравнение (2.1) разрешимо, если К^ € С1^).
5. Вывод априорных оценок решения
Приступим к выводу оценок.
Сначала оценим и(х,у) через v(x,y), используя соотношение (2.1). В силу условий теоремы существуют положительные числа «1,«2 такие, что
a
maxj\K\y(x,y)\dx ^
о
b
max \K2x(x,y)\dy < K2.
[0,a] J
о
Из равенства
a b
u(x,y) = v(x,y) -J Ki(x,y)u(x,y)dx -J K2(x,y)u(x,y)dy
о 0
следует неравенство
a b
\u(x,y)\ \K1(x,y)\\u(x,y)\dx + J \K2(x,y)\\u(x,y)\dy.
о 0
Тогда
a b
max \u(x,y)\ ^ max \v(x,y)\ + max \u(x,y)\ \Kl(x,y)\dx + max \u(x,y)\ \K2(x,y)\dy,
(x,y)eQ (x,y)eQ (x,y)eQ J (x,y)eQ J
0 0
max \u(x,y)\ ^ max \v(x,y)\ + (—1 + —2) max \u(x,y)\.
(x,y)eQ (x,y)eQ (x,y)eQ
Получим
max \u(x,y)\ ^ - max \v(x,y)\. (5.1)
(x,y)eQ 1 - — - K2 (x,y)eQ
Для нахождения нормы в C1 нам потребуются оценки ux(x,y) и uy(x,y). Оценим ux (x,y)
b b \ux(x,y)\ < \vx(x,y)\ + J\K2(x,y)\\ux(x,y)\dy + J\(K2(x,y))x\\u(x,y)\dy,
00
max \ux(x,y)\ < max \vx(x,y)\ + —2 max \ux(x,y)\ + — max \u(x,y)\.
(x,y)eQ (x,y)eQ (x,y)eQ (x,y)eQ
Окончательно получим
max \ux (x,y)\ < —-—(max \vxix,y)\+ --—- max \v(x,y)\). (5.2)
(x,y)€Q 1 - —2 (x,y)€Q 1 - —1 - —2 (x,y)€Q
Аналогично можно оценить и uy (x,y)
max \uy (x,y)\ < ———(max \vy (x,y)\ + --—- max \v(x,y)\). (5.3)
(x,y)€Q 1 - —1 (x,y)£Q 1 - —1 - —2 (x,y)£Q
Принимая во внимание оценки (5.1)—(5.3), получим
\\u(x,y)\\ci = max \u(x,y)\ + max \ux(x,y)\ + max \uy(x,y)\ <
(x,y)eQ (x,y)eQ (x,y)eQ
1 —2 — 1
^ (--+7-г-.-г + 7-—--) max \v(x,y)\+
1 - —1 - —2 (1 - —2)(1 - —1 - —2) (1 - —1)(1 - —1 - —2) (x,y)eQ
+ — max \vx(x,y)\ + —1— max \vy(x,y)\.
1 - —2 (x,y)£Q 1 - —1 (x,y)£Q
Запишем данную оценку в более компактном виде
\\u(x,y)\\ci(D) < l\\v(x,y)\\ci(D), (5.4)
где
1 - —1 - —2 + —1—2 + —2 - —1—2 + —1 - —1—2 1 1 т
y = maxi-п——-^-; 1—; 1—
(1 - —1)(1 - —2)(1 - —1 - —2) 1 - —2 1 - —1
Теперь оценим
b b
P(x,y,u) < \A(x,y)\U \K2(x,y)\\ux(x,y)\dy + f \(K2(x,y))x\\u(x,y)\dy) +
00 a a
+ \B\(/ \K1(x,y)\\uy(x,y)\dx + f \(K1 (x,y))y\\u(x,y)\dx) + (5.5)
00
a b
+\C(x,y)\U \K1(x,y)\\u(x,y)\dx + f \K2(x,y)\\u(x,y)\dy).
00
Учитывая приведенные выше оценки, получим
max \P(x,y,u)\ < ( ^^ + \B(x,y)\—1 + \C^^ + —2) + 7-\A(x>y)\—2- + (5.6)
(x,y)eQ 1 - —1 - —2 (1 - —2)(1 - —1 - —2)
\B(x,y)\—1 \A(x,y)\ 1 / м , \B(x,y)\ 1 —-—--) max \v(x,y)\ +--max \vx(x,y)\ +--max \
(1 - —1)(1 - —1 - —2) (x,y)eQ 1 - —2 (x,y)eQ 1 - —2 (x,y)EQ
Отметим, что в силу условий теоремы существует число М > 0 такое, что
\А(х,у)\ + \В(х, у) | + \С(х,у)\ < М. Тогда, увеличив правую часть (5.6), окончательно имеем
\\Р(х,у,и)\\о{а) < м1 Мх,у)\\а1^). (5.7)
6. Метод последовательных приближений
В одном из предыдущих разделов задача Гурса (2.2)—(2.3) была сведена к системе интегральных уравнений (3.4). Решение системы (3.4) будем искать методом последовательных приближений. Положим
vo = ф(х); wo = ф'(у); vo = ф(х);
у у
Vn(x, у) = vo + ¡(/ - Av - Вт - Cv)dy + / Р(х, у, ип^у,
00
wn(x, y) = W0 + f(f - Av - Bw - Cv)dx + f P(x, y, un)dx,
ип
0 у
Vn(x,y) = vo + / Wn-ldy.
0
Докажем сходимость последовательностей
Покажем, что для разности ¡Vп - vn-1|, для разностей \wn - wn-1\ и \ип - vn-1| данная оценка доказывается аналогично, имеет место следующая оценка:
к - Vn-l| < тмп-1 (х + у)"-1, (6.1)
(п - 1)!
где Т — максимум среди всех чисел, ограничивающих разности - vn-l|, \-)лп - ")лп-1\, ¡Vп - vn-l|. При п = 1 имеем
у у
Vl - vo = J(f - Аф'(х) - Вф'(у) - Cф(x))dy + ! Р(х, у, ul)dy, 00 \\Р(х,у,и1)\\ < М1 |И|С1.
Пусть ф,ф,ф',ф',А,В,С ограничены. Тогда оценка (6.1) очевидна, так как найдется такое число Т, что
Ь у
V - vo| (\и\ + \А\\ф'(х)| + \В\\ф'(у)| + \С\\ф(хШу + 1 Мк1 (\ф(х)\ + \ф(у)\ + \ф'(х)| + \ф'(у)\^у < МКТ7, 00 где к = тях{к1'; «2; к}.
Аналогично доказывается справедливость оценки (6.1) для разностей |wl - wo| и |vl - vo|. При п = 2 получим
у у
|V2 - Vl| ^ I(\А\^1 - vo| + - wo| + \С|К - vo|)dy + ! \Р(х,уи) - Р(х,у,щ)^у.
0 0 Принимая во внимание случай п = 1, для первого слагаемого данной суммы имеем
у у
У(\А\^1 - vo| + - wo| + \С- vo\)dy ^ I TMdy < ТМу.
0 0 Рассмотрим второе слагаемое. В силу линейности Р(х, у, и)
Р (х, у, и2 ) - Р (х, у,щ) = Р (х, у,и2 - щ).
Тогда
\Р (х,у,и2 - и1)\ < - Vl| + \^2 )х - ^1)х \ + \Ыу - (V1)у |). (6.2)
Отметим, что
у
(v2)x = (v0)x + (J widy)x = vb
0
(V1)х = V0, (и2)у = Wl; (и1)у = wo.
Тогда (6.2) можно записать в следующем виде:
Р(х,у,щ) - Р(х,у,и{) < Мк^(\о2 - '01\ + |vl - vo| + |wl - wo|). (6.3)
Рассмотрим теперь
\v2 - vi \ = \ J(wi - w0)dy\ < TY.
Из (6.3) получим
\Р(х, у, и2) - Р(х,у,и1)\ < МТкуч.
Таким образом
V2 - VI | < ТМу + ТМкуч = ТМу(1 + К7). Положим, что для произвольного п оценка (6.1) верна. Покажем, что она верна и для п +1. Имеем
у у
К+1 - Vn| (\а\^п - Vn-l| + в^п - ^^п-^ + \С\^п - Vn-l|)dy ^У \Р (х, у, щп+1 ) - Р (х,у,и^^у.
0 0
Очевидно, что
у
У(|А|К - Vn-l| + \Bawn - Wn-l| + \С|К - Vn-l|)dy < тмп-1уп-1 .
0
Распишем \P(x,y,un+i) - P(x,y,un)\
\P(x,y,un+i) - P(x,y,un)\ = MKY(\vn+i - vn\ + \(vn+i)x - (vn)x\ + \(vn+i)y - (vn)y\). Оценим теперь
y
- vn=J(wn - wn-i)dy.
0
По предположению индукции получим
y
0
Заметим, что
\vn+, - vn! < I TM"-iy = ^- n) ^ tmn + y)
(n - 1)! (n - 1)! n
y
0
Следовательно
\vn+i - vn\ < TMn
Аналогичным образом
У
(vn+i)x - (vn)x = у((wn)x - (wn-i)x)dy =vn - v—
(x + y)n
(vn+i)y - (vn)y = wn - wn-i,
(x + y)
\(vn+i)y - (vn)y \ < TM
n
Значит
\P(x,y,un+i) - P(x,y,un)\ < TM
(x + y)n
п!
Таким образом, справедливость оценки (6.1) доказана для разности Vп - vn-1|. Для других разностей данная оценка доказывается аналогично.
Мы получили, что ряды
^ ^ ^
V0 + - Vn-l); Vo + ^^п - 1); Wo + - Wn-l) (6.4)
п=1 п=1 п=1
сходятся, так как они мажорируются рядом
т + тум п-1 (х + у)п-1,
(п 1)!
п=1 4 /
который сам является сходящимся, так как
то
Е
x+y = (x + У) n!
e " =
0
Из полученного результата следует, что сходятся и последовательности частичных сумм {и^п}; ^^п}; {Vп}.
Заметим, что наши последовательности приближенных решений являются последовательностями частичных сумм рядов, сходимость которых мы доказали. Тогда, в силу определения сходимости ряда,
последовательности приближенных решений сходятся. Покажем, что последовательности приближенных решений сходятся к решениям системы (3.4). Введем обозначения
v(x,y) = lim vn(x, y); v(x,y) = lim vn(x,y);
n—^^O n—^^O
w(x,y) = lim Wn(x,y); u(x,y) = lim Un(x,y).
Напомним, что по нашему предположению, ф,ф,ф',ф',А,В,С ограничены, а значит, можно перейти к пределу под знаком интеграла. Тогда, переходя к пределу в
У У
Vп = ф'о(х) + !а - Аип-1 - ВЮп-1 - Сюи-х) + J Р(X, у, ип)йу,
о о
получим
У У
V = ф'о(х) + I(I — Av — Ви — Сю)¿у + J Р(х, у, и) ¿у. оо Переходя к пределу в двух других соотношениях, получим (3.4), а значит, предельные функции являются решениями (3.4).
Докажем единственность решения задачи (2.2)—(2.3). Предположим, что существуют два различных решения поставленной задачи
(V1; и1; ю1); (V2; и2; V2).
Обозначим
Тогда
О 1 2 V = V — V ,
и° = и1 — и2,
V0 = V1 — V2.
У
V0 = — IА0 + в и0 + Сю0)ау.
о
Аналогично можно переписать и два других соотношения, входящих в систему (3.4). Раннее была доказана оценка (6.1). Значит
и < ТМп-1 (Х + у)пл- ; |и0| < ТМп-1 (х + у)пл- ; |ю0| < ТМп-1 (х + у)п-1
(п — 1)! ' ' (п — 1)! ' ' (п — 1)! '
Так как единственной тройкой функций, удовлетворяющей этим неравенствам для любого п, является
V0 = и0 = V0 = 0,
то
12 1 2 12 v = v ; w = w ; v = v .
Таким образом система (3.4) имеет единственное решение.
В силу эквивалентности системы интегральных уравнений (3.4) и задачи Гурса (2.2)—(2.3), задача Гурса (2.2)—(2.3) имеет единственное решение.
7. Разрешимость задачи (1.1) — (1.2)
Теорема 2
Пусть выполняются условия теоремы 1, а также следующие условия:
max \u(x,y)\ ^ - max \v(x,y)\,
(x,y)eQ 1 — Ki — K2 (x,y)eQ
\\Uix,y)\\oi(D) < Y\\v(x,y)\\ci(D). Тогда существует единственное решение задачи (1.1)—(1.2). Доказательство
Для доказательства достаточно показать, что (1.1)—(1.2) и задача Гурса (2.2)-(2.3) эквивалентны. Пусть v — решение (2.2)-(2.3) и выполняется (2.1). Тогда, очевидно, выполняются условия (1.2). Подставив v в (2.2), после элементарных, но громоздких, преобразований получим (1.1).
Литература
[1] Пулькина Л.С. Задачи с неклассическими условиями для гиперболических уравнений. Самара: Изд-во "Самарский университет", 2012. 194 с.
[2] Пулькина Л.С. О разрешимости в L2 нелокальной задачи с интегральными условиями для гиперболического уравнения // Дифференц. уравнения. 2000. Т. 36, № 2. С. 279-280. URL: http://mi.mathnet.ru/de10101
[3] Cannon J.R. The solution of the heat equation subject to the specification of energy // Quarterly of Applied Mathematics. 1963. Vol. 21, № 2. P. 155-160. DOI: https://doi.org/10.1090/QAM
[4] Byszewski L. Existance and uniqueness of solutions of nonlocal problems for hyperbolic equation uxt = = F(x,t,u,ux) // Journal of Applied Mathematics and Stochastic Analysis. 1990. Vol. 3, № 3. P. 163-168. URL: https://www.univie.ac.at/EMIS/journals/HOA/JAMSA/Volume3_3/168.pdf.
[5] Ильин В.А., Моисеев Е.И. О единственности решения смешанной задачи для волнового уравнения с нелокальными граничными условиями // Дифференц. уравнения. 2000. Т. 36, № 5. С. 656-661. URL: http://mi.mathnet.ru/de10157.
[6] Гордезиани Д.Г., Авалишвили Г.А. Решение нелокальных задач для одномерных колебаний среды // Матем. моделирование. 2000. Т. 12, № 1. С. 94-103. URL: http://mi.mathnet.ru/mm832.
[7] Bouziani A., Benouar N. Probleme mixte avec conditions integrales pour une classe d'equations hyperboliques // Bull. Belg. Math. Soc. 1996. № 3. P. 137-145. URL: http://doi.org/10.36045/BBMS
[8] Нахушев А.М. Нагруженные уравнения и их применение. Москва: Наука, 2012. 232 с. URL: https://obuchalka.org/20210213129285/nagrujennie-uravneniya-i-ih-primenenie-nahushev-a-m-2012.html; https://www.elibrary.ru/item.asp?id=20886619.
[9] Кожанов А.И., Пулькина Л.С. О разрешимости краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений // Дифференц. уравнения. 2006, Т. 42, № 9. С. 1166-1179. URL: https://www.elibrary.ru/item.asp?id=9296592
[10] Нахушева З.А. Об одной нелокальной задаче для уравнений в частных производных // Дифференц. уравнения. 1986. Т. 22, № 1. С. 171-174. URL: http://mi.mathnet.ru/de5770
[11] Асанова А.Т. Нелокальная задача с интегральными условиями для системы гиперболических уравнений в характеристическом прямоугольнике // Изв. вузов. Матем. 2017. № 5. С. 11-25. URL: http://mi.mathnet.ru/ivm9233.
[12] Михлин С.Г. Лекции по линейным интегральным уравнениям. Москва: Физматгиз, 1959. 232 с. URL: https://1lib.education/book/571663/1c6922?id=571663&secret=1c6922.
Scientific article
DOI: 10.18287/2541-7525-2020-26-4-25-35 Submited: 09.10.2020
Revised: 11.11.2020 Accepted: 25.11.2020
A.V. Gilev
Samara National Research University, Samara, Russian Federation E-mail: toshqaaa@gmail.com. ORCID: https://orcid.org/0000-0001-6747-5826
A NONLOCAL PROBLEM FOR A HYPERBOLIC EQUATION WITH A DOMINANT MIXED DERIVATIVE
ABSTRACT
In this article, we consider the Goursat problem with nonlocal integral conditions for a hyperbolic equation with a dominant mixed derivative. Research methods of solvability of classical boundary value problems for partial differential equations cannot be applied without serious modifications. The choice of a research method of solvability of a nonlocal problem depends on the form of the integral condition. In the process of developing methods that are effective for nonlocal problems, integral conditions of various types were identified [1]. The solvability of the nonlocal Goursat problem with integral conditions of the first kind for a general equation with dominant mixed derivative of the second order was investigated in [2]. In our problem, the integral conditions are nonlocal conditions of the second kind, therefore, to investigate the solvability of the problem, we propose another method, which consists in reducing the stated nonlocal problem to the classical Goursat problem, but for a loaded equation. In this article, we obtain conditions that guarantee the existence of a unique solution of the problem. The main instrument of the proof is the a priori estimates obtained in the paper.
Key words: non-classical problem; non-local conditions; loaded equation; Goursat problem; integral conditions of the second kind; existence and uniqueness of a solution; method of successive approximations; reduction.
Citation. Gilev A.V. A nonlocal problem for a hyperbolic equation with a dominant mixed derivative. Vestnik Samarskogo universiteta. Estestvennonauchnaia seriia = Vestnik of Samara University. Natural Science Series, 2020, vol. 26, no. 4, pp. 25-35. DOI: http://doi.org/10.18287/2541-7525-2020-26-4-25-35. (In Russ.)
Information about the conflict of interests: author and reviewers declare no conflict of interests.
© Gilev A.V., 2020
Gilev Anton Vladimirovich — postgraduate student of the Department of Differential Equations and Control Theory, Samara National Research University, 34, Moskovskoye shosse, 443086, Russian Federation.
References
[1] Pulkina L.S. Problems with nonclassical conditions for hyperbolic equations. Samara: Izdatel'stvo "Samarskii universitet 2012, 194 p. (In Russ.)
[2] Pulkina L.S. The L2 solvability of a nonlocal problem with integral conditions for a hyperbolic equation. Differential Equations, 2000, vol. 36, no. 2. pp. 316-318. DOI: http://doi.org/10.1007/BF02754219. (English; Russian original)
[3] Cannon J.R. The solution of the heat equation subject to the specification of energy. Quarterly of Applied Mathematics, 1963, vol. 21, no. 2, pp. 155--160. DOI: http://doi.org/10.1090/QAM
[4] Byszewski L. Existance and uniqueness of solutions of nonlocal problems for hyperbolic equation uxt = = F(x,t,u,ux). Journal of Applied Mathematics and Stochastic Analysis, 1990, vol. 3, no. 3, pp. 163-168. Available at: https://www.univie.ac.at/EMIS/journals/HOA/JAMSA/Volume3_3/168.pdf.
[5] Ilin V.A., Moiseev E.I. Uniqueness of the solution of a mixed problem for the wave equation with nonlocal boundary conditions. Differential Equations, 2000, vol. 36, no. 5, pp. 728-733. DOI: https://doi.org/10.1007/BF02754231 (English; Russian original)
[6] Gordeziani D.G., Avalishvili G.A. On the constructing of solutions of the nonlocal initial boundary value problems for one-dimensional medium oscillation equations. Matem. Mod., 2000, vol. 12, no. 1, pp. 94-103. Available at: http://mi.mathnet.ru/eng/mm832. (In Russ.)
[7] Bouziani A., Benouar N. Probleme mixte avec conditions integrales pour une classe d'equations hyperboliques. Bull. Belg. Math. Soc, 1996. no. 3, pp. 137-145. DOI: https://doi.org/10.36045/BBMS
[8] Nakhushev A.M. Loaded equations and their application. Moscow: Nauka, 2012, 232 p. Available at: https://obuchalka.org/20210213129285/nagrujennie-uravneniya-i-ih-primenenie-nahushev-a-m-2012.html; https://www.elibrary.ru/item.asp?id=20886619. (In Russ.)
[9] Kozhanov A.I., Pulkina L.S. On the solvability of boundary value problems with a nonlocal boundary condition of integral form for multidimensional hyperbolic equations. Differential Equations, 2006, vol. 42, no. 9. pp. 1233—1246. DOI: https://doi.org/10.1134/S0012266106090023. (English; Russian original)
[10] Nahusheva Z.A. A nonlocal problem for partial differential equations. Differential Equations, 1986, vol. 22, no. 1, pp. 171-174. Available at: http://mi.mathnet.ru/eng/de5770. (In Russ.)
[11] Assanova A.T. Nonlocal problem with integral conditions for a system of hyperbolic equations in characteristic rectangle Russian Mathematics, 2017, vol. 61, no. 5, pp. 7-20. DOI: https://doi.org/10.3103/S1066369X17050024. (English; Russian original)
[12] Mikhlin S.G. Lectures on linear integral equations. Moscow: Fizmatgiz, 1959, 232 p. Available at: https://1lib.education/book/571663/1c6922?id=571663&secret=1c6922. (In Russ.)
