УДК 517.956
ОБ ОДНОЙ ЗАДАЧЕ СО СМЕЩЕНИЯМИ В ГРАНИЧНЫХ УСЛОВИЯХ
© 2011 Е.А. Уткина1
Для классического линейного гиперболического уравнения в прямоугольной характеристической области О рассматривается задача с условиями, связывающими значения искомой функции на противоположных сторонах границы О Решение осуществляется редукцией к системе уравнений Фредголь-ма второго рода, разрешимость которой устанавливается на основе метода априорных оценок при дополнительных условиях на коэффициенты уравнения.
Ключевые слова: задача со смещениями, гиперболические уравнения, уравнения Фредгольма.
1. Предварительные сведения
Задачи со смещениями в граничных условиях, называемых еще нелокальными, являются в последние десятилетия для различных уравнений в частных производных предметом интенсивного изучения в работах многих авторов (см., например [1-8] и др.).
В статье [9] для уравнения
Ь (и) = иХу + а10пх + а01Чу + а00и = / (х, у) (1)
в характеристическом прямоугольнике Б = {хо < х < Х1 ,уо < у < у 1} рассмотрена задача об отыскании решения по условиям, связывающим значения искомой функции в 12 переменных точках, лежащих на границе и внутри Б. В частности, указаны условия, обеспечивающие возможность редукции задачи к системе нагруженных уравнений Фредгольма, но сами эти интегральные уравнения не исследуются.
2. Основные результаты
В настоящей статье речь идет о частном случае из [9] для четырех граничных точек, когда удается получить условия однозначной разрешимости рассматриваемой задачи.
1Уткина Елена Анатольевна ([email protected]), кафедра общей математики Казанского федерального университета, 420008, Российская Федерация, г. Казань, ул. Кремлевская, 18.
Задача: Найти функцию и (ж, у) € С1,1 (Б) П С0'0 (Б) такую, что
Х1 У1
§ § иХ (ж, у) иу (ж, у) = 0 , являющуюся в области Б решением уравнения (1) и
Хо Уо
удовлетворяющую условиям
и (жо, у) + «1 (у) и (ж1, у) = у>1 (у), и (ж, уо) + в1 (ж) и (ж, У1) = (ж). (2)
Считаем, что коэффициенты уравнения (1) принадлежат классам а; € С^' (Б, / € С0,0 (Б, где С®,; — класс функций, непрерывных в Б вместе с их производными дГ1+Г2/джЦ1 дж^2(г1 = 0, ...,г,Г2 = 0, ...,_?').
Здесь предлагается способ получения условий, обеспечивающих однозначную разрешимость данной задачи. При этом задача редуцируется к уравнениям Фред-гольма, однозначная разрешимость которых выводится из доказываемой на основе априорных оценок теоремы единственности.
1. Сначала запишем решение задачи с условиями
и(ж0,у)= <^0(у), и(ж,у0) = -00(ж). (3)
Соотношения (3) представляют собой граничные значения Гурса, решение которой хорошо известно [10-12] и др. Мы будем использовать формулу (1.20) из [12]:
и(ж, у) = Я(ж, у0, ж, у)^0 (ж) + Я (ж0, у, ж, у) ^ (у) - Я (ж0, у0, ж, у) ^0 (ж0) +
Х
+ / (& (а, у0) Я (а, у0, ж, у) - да Я (а, у0, ж, у)) ^0 (а) ¿а+
да
хо У
; а
Уо
+ f § Я (а, в, ж, у) / (а, в) ¿в^а,
хо Уо
+ / ^а (ж0, в) Я (ж0, в, ж, у) - дтвЯ (ж0, в, ж, у)) ^0 (в) ¿в+ (4)
где Я — функция Римана.
Далее мы считаем (4) общим представлением искомого решения через у>0, ^0. Подставляя в (4) аргументы точек (ж, у1), (ж1,у) и учитывая известные значения (2), приходим к системе интегральных уравнений, в которой искомыми функциями являются ^0, ^0:
= (Я (ж, у0, ж, у1) + в1х) )^0 (ж) + д(х^;ухоХ),У1) ^ (ж0) + +(- Д(Х^;уХ0Х),У1) - Я (ж0, у0, ж, у1))^0 (ж0) +
X
+ / (6 (а, у0) Я (а, у0, ж, у1) - даЯ (а, у0, ж, у1)) ^0 (а) ¿а+
Хо
У1 / ч
+ / (а (ж0, в) Я(ж0,в,ж, у1) - дзЯ (ж0,в,ж,у1 М ^0 (в) ¿в+
Уо
Х У1
+ f § Я (а, в, ж, у1) / (а, в) ¿в^а,
(5)
Хо Уо
= (Я (ж0,у,ж1,у) + )^0 (у)+ Я (жьуьжьу) + + (- Д(Ха,1У(оу,оХ)1,У) - Я (ж0, у0, ж1, у))^0 Ы +
Х1
+ / (6 (а, у0) Я (а, у0,ж1,у) - даЯ (а, у0,ж1 ,у)) ^0 (а) ¿а+
Хо
у / \
+ / (а (ж0, в) Я (ж0, в, ж1, у) - дтв Я (ж0, в, ж1, ум ^0 (в) ¿в+
Уо
Х1 у
+ / /Я (а, в, ж1,у) / (а, в) ¿в^а,
Хо Уо
(хо ) (_1__I д(х1,ио,х1,и1) | Д(Х0,И1,Х1,И1) 1И(хпУпх1 ,„ и ( в1 (х1) +
( а1(но)в1(х1) + а 1 (уо ) + Л(*о) + Л(х° ,Уо ,Х1 ,У1)) К 4 '
+(Я (х1,у°,х1,у1) + вк1^) атхУооу + Я (х°,У1,х1,У1) (х°) +
+ / (6 (а,у°) Я (а,у°,х1,у1) - даЯ (а, у°, хь у1)) ^о (а) ¿а+
Хо
У1 ( ч
+ / (а (х°,в) Я (х°,в, х1,у 1) - ддвЯ (х°, в, х1, У1 М ^о (в) ¿в+
Уо
Х1 У1
+ f § Я (а, в, х1,у1) / (а, в) ¿в^а).
Таким образом, для нахождения каждой из функций получим уравне-
ния фредгольмовского типа. Здесь требуем, естественно, неравенства нулю выра-
У1 У 1
ехр / аю(х1, ехр/ ао1(х, У1)Лх
жения а1(уо)1в1(х1) + Уоа1(уо)- + "^Мх)- + Я (х°, У°, х1, У1).
2. Теперь займемся доказательством единственности решения задачи (1), (2). Для этого проверим, что при однородных условиях (2) однородное уравнение (1) имеет только нулевое решение. Доказательство осуществляем методом априорной оценки с помощью энергетического неравенства [13].
Воспользовавшись понятиями скалярного произведения и нормы в простран-
х1 У1 2 х1 У1
стве Ь2 [х°,х1] х [у°,у1](и, V) = / / и (х, у) V (х, у) ¿у^х, ||и^ = / / и2 (х, у) ¿у^х,
хо Уо хо Уо
вычислим скалярное произведение
(Ь (и), и) = (иху + а1°их + а°1иу + а°°и, и) =
Ж1 У1
= § § (ихуи + а1°ихи + а°1иуи + а°°ии) (х, у) ¿у^х.
°°
Далее проинтегрируем выражение по частям и выпишем значения получившихся в результате преобразований слагаемых:
(иху,и)= "2(х21' У1) (1 - а?(у1) - в2(х1) + в2(хо)а2(у1)+в2(х1)а1(уо)4
Ж1 У1
-/ Дихиу)(х,у)^у^х;
хо Уо
У1
(иха1°,и) = 2(/(а1° (х1,у) - аш (х°,у) а2 (у))и2 (х1,у) ¿у-
Уо
- / / аюхи2йу^х);
Ж1
(иУа°1, и) = 1 (/ (а°1 (х,у1) - а°1 (х,у°) в2 (х))и2 (х,у1) ¿х-
хо
х1 У1 Ж1 У1
- / I а°1Уи2^у^х); (иа°°, и) = ^ ^ а°° (х, у) и2(х,у)^у^х.
хо Уо ° °
Тогда
(Ь(и), и) = "2(Х21,у1) (1 - а2Ы - в2(ж1) + в2(Хо)а1(у1)+в2(Х1)а1(уо))
Х1 У1 У1
- / I (иХиу)(ж, у)^у^ж + 1 (/(аю (ж1,у) - аш (ж0,у) а2 (у))и2 (ж1,у) ¿у)+
Хо Уо Уо
Х1
+ 2(/ (а01 (ж, у1) - а01 (ж,у0) в2 (ж))и2 (ж,у1) ¿ж) +
Хо Х1 У1
+ / /(-^ - ^от^ + а00)(ж,у) и2(ж,у)^ж.
0 0 2 2
Так как функции а®; (ж, у) являются непрерывными на компакте, то они достигают своих точных верхних и точных нижних граней. Введем обозначения
вир а; (ж, у) = ва;, М а; (ж, у) = га;, а если фиксируем одну перемен-
(Х,у)ев (Х,у)ев
ную - М а®; (ж, у) = гХа; (ж, у), М а; (ж, у) = гуа; (ж, у) . Получаем
Х£[Хо,Х1] у£[уо,у1]
оценку
"2(Х1,У1) Л _ а2 (у ) _ в2 (ж ) + в12(Хо)Д2(У1)+в2(Х1)д1(Уо)
(Ь(и), и) > 1 - а2(у1) - в2(ж1) +
2 ^ а1 (у 1) в1 (ж1) i 2
Х1 У1
-/ /(иХиу)(ж,у)^у^ж+
Хо Уо
У1
+1 гу (а10 (ж1, у) - а10 (ж0, у) а2 (у)) / и2 (ж1, у) ¿у+
Уо
Х1
+ 2«Х(а01 (ж, у1) - а01 (ж, у0) в2 (ж)) / и2 (ж, у1) ¿ж + г(-^-
Хо
Х1 У1
- аогв + а00^ | и2(ж,у)^у^ж.
0 0
При этом
(£(и) ,и) = (/,и).
Обозначим А1 = 1 - а2(у1) - в2(ж1) + в2(Хо)а2(у1)+в2(Х1)а2(уо),
А = гу (аю (ж1, у) - аю (ж0, у) а1 (у)), А3 = ¿Х(а01 (ж, у1) - а01 (ж, у0) в2 (ж)),
, V а10Х а01у , \
А4 = г(--^---2 + а00).
Потребуем неотрицательности коэффициентов к = 1,3 и положительности А4. Полагаем теперь / = 0, получим, что функция и может быть только нулевой.
При / = 0, у>1 = -01 = 0 система уравнений (5) является тоже однородной. В силу доказанной единственности решения задачи эта система допускает в данном случае только нулевое решение. По теореме Фредгольма [14] это означает однозначную разрешимость неоднородной системы уравнений (5). Единственность решения исходной задачи доказана независимо от системы уравнений Фредгольма. Это использовано затем для доказательства единственности решения упомянутой системы, где неизвестными являются данные Гурса. Они в свою очередь позволяют записать решение исходной задачи. Поскольку решение системы уравнений единственно, это означает единственность решения исходной задачи.
Таким образом, имеет место
Теорема. Если коэффициенты уравнения (1) удовлетворяют неравенствам А ^ 0(к = 1, 3), А4 > 0, то задача (1), (2) имеет единственное решение.
Отметим, что все условия теоремы являются существенными. Подтверждением тому служат примеры.
1. Уравнение uxy — thy • ux =0 в области D = ( — 1,1) х ( — 1,1) с условиями u ( —1,у) = u (1,у) и u (x, —1) = u (x, 1). В нем A4 = aiox = 0. Решением, в чем можно убедиться непосредственно, является u (x, у) = 4chx • chy, отличная от тождественного нуля в области D.
2. Уравнение uxy+u = 0 в области D = (—п, п) х (—п, п) с условиями u (—п, y) = = u (п,у) и u (x, —п) = u (x, п). В обсуждаемом уравнении коэффициент аоо > 0, и условия на все остальные коэффициенты, перечисленные в теореме, выполнены. Решением этой задачи является функция u (x, у) = sin(x + у), отличная от тождественного нуля в области D, а для нее (ux,uy) = 2п2 = 0, что показывает существенность указанного условия.
3. Уравнение uxy + (x +1)(у — п)2^ = 0 в области D = (0,п) х (0, п) с условиями u (0, y)+yu (п, у) = 0, u (x, 0)+u (x, п) = 0. Здесь aoi = (x+1)(y—п)2 и для него A3 = = ¿x(a01 (x, п) —a01 (x, 0)) < 0 и A1 = 1—а2(п) —1 + "2(0) = — ^ < 0. Решением, в чем можно убедиться непосредственно, является u (x,y) = sin x, отличная от тождественного нуля в области D.
Еще один пример можно получить, если поменять в примере 3 ролями переменные x и y. Этим мы покажем существенность положительности A2 и Ai для единственности решения.
Литература
[1] Жегалов В.И. Краевая задача для уравнения смешанного типа с граничными условиями на обеих характеристиках и с разрывами на переходной линии // Уч. зап. Казанск.ун-та. 1962. Т. 122. № 3. С. 3-16.
[2] Нахушев А.М. О некоторых краевых задачах для гиперболических уравнений и уравнений смешанного типа // Дифференц. уравнения. 1969. Т. 5. № 1. С. 44-59.
[3] Бицадзе А.В., Самарский А.А. О некоторых простейших обобщениях линейных эллиптических краевых задач // ДАН СССР. 1969. Т. 185. № 4. С. 739-740.
[4] Скубачевский А.Л. О спектре некоторых нелокальных эллиптических краевых задач // Матем. сб. 1982. Т. 117(159). № 3. С. 548-558.
[5] Ильин В.А., Моисеев Е.И. Двумерная нелокальная краевая задача для оператора Пуассона в дифференциальной и разностной трактовках // Матем. моделирование. 1990. Т. 2. № 8. С. 139-156.
[6] Пулькина Л.С. Нелокальная задача для нагруженного гиперболического уравнения // Труды математического института им. В.А. Стеклова. 2002. Т. 236. С. 298-303.
[7] Солдатов А.П., Шхануков М.Х. Краевые задачи с общим нелокальным условием А.А. Самарского для псевдопараболических уравнений высокого порядка // ДАН СССР. 1987. Т. 297. № 3. С. 547-552.
[8] Керефов А.А. Нелокальные граничные задачи для параболических уравнений // Дифференц. уравнения. 1979. Т. 5. № 1. С. 74-78.
[9] Zhegalov V.I., Chabakaev R.R. Normal Cauchy-Goursat problem // World Scientific Publ.Co.-Serie in Pure Math. 1989. V. II. Topic in Mathematical analysis (A volum dedicated to the memory of A.L.Cauchy). P. 939-964.
[10] Бицадзе А.В. Некоторые классы уравнений в частных производных. М.: Наука, 1981. 448 с.
[11] Бицадзе А.В. Уравнения математической физики. М.: Наука, 1982. 336 с.
[12] Жегалов В.И., Миронов А.Н. Дифференциальные уравнения со старшими частными производными. Казань: Казанское мат. общество, 2001. 226 с.
[13] Ладыженская О.А. Краевые задачи математической физики. М.: Наука, 1973. 408 с.
[14] Владимиров В.С. Уравнения математической физики. М.: Наука, 1976. 528 с.
Поступила в редакцию 18/XT/2011; в окончательном варианте — 9/X///2011.
A PROBLEM WITH DISPLACEMENTS IN THE BOUNDARY CONDITIONS
© 2011 E.A. Utkina2
A problem with conditions relating to the values of an unknown function on the opposite sides of a rectangular characteristk domain D for a linear hyperbolic equations is considered. This problem is reduced to the system of Fredholm equations of the second kind. The proof of solvability is based on the a priori estimates of additional conditions on the coefficients of the equation.
Key words: problems with displacements, hyperbolic equation, Fredholm equations.
Paper received 18/X1/2011. Paper accepted 9/x#/2011.
2Utkina Elena Anatolievna (eutkinaiayandex.ru), the Dept. of Common Mathematcs, Kazan Federal University, Kazan, 420008, Russian Federation.