Владикавказский математический журнал 2014, Том 16, Выпуск 1, С. 30-41
УДК 517.956
НЕЛОКАЛЬНАЯ КОМБИНИРОВАННАЯ ЗАДАЧА ТИПА БИЦАДЗЕ - САМАРСКОГО И САМАРСКОГО - ИОНКИНА ДЛЯ СИСТЕМЫ ПСЕВДОПАРАБОЛИЧЕСКИХ УРАВНЕНИЙ
И. Г. Мамедов
В работе рассматривается краевая задача для системы псевдопараболических уравнений четвертого порядка с разрывными коэффициентами и условиями Бицадзе - Самарского и Самарского - Ион-кина. Найдено интегральное представление функции в пространстве Соболева, которое позволяет однозначно восстановить ее посредством значений некоторых (определяющих) операторов, принимаемых на этой функции. Также, дается постановка задачи Гурса с неклассическими краевыми условиями.
Ключевые слова: псевдопараболическое уравнение, нелокальная задача.
Введение
В данной статье в одном анизотропном пространстве С. Л. Соболева исследуется нелокальная комбинированная задача типа Бицадзе - Самарского и Самарского - Ион-кипа для одного векторного уравнения псевдопараболического типа с доминирующей производной четвертого порядка с негладкими коэффициентами. Особо нужно отметить, что для нелокальных задач типа Бицадзе — Самарского и Самарского — Ионкина началось с работы [1] и продолжено в работах [2-5] и др.
Для достаточно адекватного описания большинства реальных процессов, происходящих в природе, технике и т. д., привлекаются псевдопараболические уравнения [6-8]. Многие процессы, возникающие в теории фильтрации жидкости в трещиноватых средах [9], описываются псевдопараболическими уравнениями с разрывными коэффициентами. При этом математическая модель процесса дополняется нелокальными краевыми условиями типа Бицадзе — Самарского и Самарского — Ионкина [10]. Актуальность исследований, проводимых в этой области, объясняется появлением локальных и нелокальных граничных задач для уравнений с разрывными коэффициентами, связанных с различными прикладными задачами. Задачи такого типа возникают, в частности, при исследовании вопросов фильтрации жидкости в пористых средах, влагопереноса в грунтах, распространения импульсных лучевых волн, в различных биологических процессах и в теории обратных задач. Поэтому тематика данной работы весьма актуальна для решения многих теоретических и практических задач.
Ниже для исследования таких задач предложена методика, которая использует современные методы теории функций и функционального анализа. Она изложена в основном применительно к псевдопараболическим уравнениям четвертого порядка с разрывными коэффициентами. При этом важным принципиальным моментом является то, что
© 2014 Мамедов И. Г.
рассматриваемое уравнение обладает разрывными коэффициентами, которые удовлетворяют только некоторым условиям типа Р-интегрируемости и ограниченности, т. е. рассмотренный псевдопараболический дифференциальный оператор не имеет традиционного сопряженного оператора. Даже в частном случае, например, при условиях Гурса функция Римана для такого уравнения не может быть исследована классическим методом характеристик.
1. Постановка задачи
Пусть задано уравнение
(3)
СИ,3 «)(£,ж) = А + «(¿,ж)) (¿,ж) = ^3 (¿,ж),
¿=0 j=0 (1) ¿+¿<4
(¿,ж) £ О := (¿0,^1) х (ж0, ж1),
начальное условие
(10«)(ж) = «(¿0,ж) = Яо(ж), ж £ (ж0,ж1), (2)
и граничные условия типа Бицадзе — Самарского и Самарского — Ионкина [11]
(I0 «)(£) = «(¿, ж0 )«1,1 + ж0)«1,2 + «XX (¿, ж0 )«1,з + «(¿, ж^вм
+ «X (¿, ж1 )в1,2 + «XX ж1 )в1,3 = (¿), (¿°«)(£) = «(¿, ж0)«2,1 + ж0)а2,2 + «XX (¿, ж0)«2,3 + «(¿, ж1)в2,1
+ «X (¿, ж1 )в2,2 + «XX ж1 )в2,3 = ^2 (¿), (I0 «)(£) = «(¿, ж0 )а3,1 + ж0)а3,2 + «XX (¿, ж0 )«3,3 + «(¿, ж1)в3,1 + «X ж1 )в3,2 + «XX (¿, ж1 )в3,3 = 4 £ (¿0,^1).
Некоторые классы граничных задач для уравнения (1), в определенном смысле, ставятся аналогично известным граничным задачам для параболического уравнения А«(¿,ж) = «(¿,ж). Поэтому многие авторы уравнение вида (1) называют псевдопараболическим. Заметим, что рассматриваемое псевдопараболическое уравнение — это обобщение многих модельных уравнений некоторых процессов (например, обобщенного уравнения влагопереноса, уравнения теплопроводности, уравнения колебания струны и т д ^
Здесь «(¿, ж) = («1 (¿, ж),..., «„(¿, ж)) — п-мерная искомая вектор функция; «¿¿и в^ _ заданные п х п-мерные постоянные матрицы, Аг^- (¿, ж) — измеримые на О матричные функции порядка п х п, удовлетворяющие условиям А0^-(¿, ж) £ Рр(О), у = 0,1, 2, и существуют функции А^-(ж) £ Рр(ж0,ж1) и А0 3(¿) £ ¿1) такие, что выполнены
условия
||Аи(¿,ж)|| < А0^ (ж), у =0,1,2,
и
||А0,3 (¿, ж) | < А0,3(¿)
почти всюду на О, где || ■ || — евклидова норма соответствующей матрицы (или вектора); (ж) £ (ж0,ж1^, а также (¿) £ ^рП^,^) — задан-
ные п-мерные вектор-функции, где (У0,У1) — пространство п-мерных вектор-
функций ^(у) = (^1 (у),..., ^„(у)), имеющих в смысле Соболева производные
4'(у),..., 4(т)(у) £ а £Р)П(уо,у1) — пространство всех строчных векторов
4(у) = (у),..., 4„(у)) с элементами из 4^(у) £ Ьр(у0,у1 ), г = 1,..., п. Решение задачи (1)-(3) будем искать в пространстве Соболева
^(^(С) = {и £ ЬРп(С)\^1 аXи £ ¿р>га(С), г = 0,1; ^ = 0,1,2, э}
с доминирующей производной ^а3. Норму в нем определим равенством
13
||и||<-А3)(С) = Е Е ^^и\\ьр,п(С)-
г=0 ¿=0
Очевидно, что правые части 40 (ж) и г = 1,2,3, условий (2) и (3) должны
удовлетворять условиям согласования
40 (Ж0)а;,1 + ^0 (Ж0 )а;,2 + ^0'(Ж0)«1,3 + 20(Ж1 )в1,1 + ^0 (ж; )в1,2 + ^0'(Ж1 )в;,3 = ^1^0); 40 (Ж0)а2,1 + ^0 (Ж0 )а2,2 + 4^ ^0)^2,3 + 40 (Ж1 )в2,1 + ^0 (Ж1 )в2,2 + ^0'(Ж1 )в2,3 = ^2(^0); (4) 40 (Ж0)аз,1 + 4 (Ж0 )аз,2 + 40'^0)^3,3 + 40 (Ж1 )вз,1 + 40 (Ж1 )вз,2 + 40'(Ж1 )вз,з = ^3^0).
Наличие условий согласования означает, что условиями (2) и (3) задана также некоторая излишняя информация о решении.
Для получения таких условий будем дифференцировать условия (3) по Тогда получим
(МС£) = и^,Ж0 )«1,1 + Ж0)«1,2 + Щхх (¿, Ж0)«1,3 + и^,Ж1)в1,1
+ Щх (¿, Ж1 )в1,2 + Щхх (¿, Ж1 )в1,3 = 4 (¿) = (¿); (¿2и)(4) = ^(¿,Ж0)«2,1 + игх(£,Ж0)а2,2 + ^хх(4, Ж0)а2,3 + иг(4,Ж1)в2,1 ^
+ и^х (¿, Ж1 )в2,2 + и^хх (¿, Ж1 )в2,3 = ^2 (¿) = ^2
(¿зи)(4) = и^,Ж0 )аз,1 + и^^)^ + ихх(4, Ж0)аз,з + и^,Ж1)в3,1 + и^х (¿, Ж1 )вз,2 + и^хх (¿, Ж1 )вз,3 = (¿) = ^ (¿).
Причем здесь будем требовать, чтобы выполнялись лишь условия 4^ £ ¿^,„(¿0,^1 ), г =
1, 2, э.
(1 3)
Очевидно, что если и £ (С) есть решение задачи (1), (2), (5), то она является
также решением задачи (1)-(3) при
í
^1(4) ^ У 4^т) ^Т + 40(Ж0)«1,1 + 4(Ж0)«1,2
£о
+40' (Ж0 )«1,3 + 40(Ж1)в1,1 + 40 (Ж1)в1,2 + ^0'(Ж1)в1,3;
í
= J 42(Т) ^Т + 40(Ж0)а2,1 + 40^0)^2,2 + 40'^0)^2,3
£о
+40(Ж1)в2,1 + 40 (Ж1)в2,2 + 40'(Ж1)в2,3;
í
= У 43(т) ^т + 40(Ж0)а3,1 + 40^0)03,2 + 40'^0)03,3 £о
+40(Ж1)в3,1 + 40 (Ж1)в3,2+40'(Ж1)в3,3.
(6)
Отметим, что для функций (6) условия согласования (4) выполняются тривиальным
(1 3)
образом. Верно и обратное, т. е. если « £ ^¿А (О) является решением задачи (1)-(3), то она является также решением задачи (1), (2), (5) при г(¿) = (¿),г(¿) = ^2(¿) и
(1 3)
^3(4) = ^3 (¿)- Иначе говоря, задачи (1)-(3) и (1), (2), (5) эквивалентны в ) ■ При этом решение задачи (1), (2), (5) есть решение задачи (1)-(3) при некоторых (¿), (¿), ^3 (¿), удовлетворяющих условиям согласования автоматическим образом.
Однако задача (1), (2), (5) по постановке более естественна, чем (1)-(3). Поэтому в дальнейшем будем исследовать только задачу (1), (2), (5).
2. Интегральное представление функции в пространстве Соболева посредством определяющих операторов при исследовании нелокальной задачи
Различные классы нелокальных задач типа Бицадзе — Самарского для дифференциальных уравнений являлись предметом исследований многих математиков [12-15] и др. Также отметим, что исследованы разнообразные нелокальные задачи типа Самарского — Ионкина для различных классов дифференциальных уравнений [16, 17]. Нелокальные краевые задачи типа Бицадзе - Самарского и Самарского - Ионкина в модифицированных трактовках рассматривались в работах автора [18, 19].
Рассмотрим задачу (1), (2), (5). Эту задачу запишем в операторном виде
V« = г. (7)
Здесь
V =(У1,3,10,11,12,13), г = (ад^ж),^ (ж), г (¿),^2 (¿),ад)) £ £р1„3), (О) х ^рП(ж0,ж1) х ^,„(¿0,^) х ^,„(¿0,41) х ^,„(¿0,¿1).
Норму в пространстве ) будем считать определенной естественным образом при помощи равенства
||г ^ = ||г1>3 ^."(С + ||г0||<> (xo>x1) + (io.il) + ^У^^о ,«1) + ||г3 У^^о ,^1).
Можно доказать, что оператор
V : ^&3) (О) ^ ЕрР1„3) линеен и ограничен. (1,3)
Определение. Если для любого г
£ Ер п уравнение (7) (т. е. задача (1), (2), (5)) имеет единственное решение « £ ^^П3 (О) такое, что
(С) ^
| | | | Ер,п
то будем говорить, что оператор V уравнения (7) осуществляет гомеоморфизм между (1 3) (1 3)
(О) и или, что задача (1), (2), (5) везде корректно разрешима. Здесь М > 0 — постоянная, независящая от коэффициентов краевой задачи (1), (2), (5), от размерности области О, и от г £ Ер1А3).
В случае, когда V есть
гомеоморфизм между ^(П3)
(О) и ЕрР1„3), оператор V обладает
ограниченным обратным, определенным на Ер1„3).
В современной теории дифференциальных уравнений особое значение имеет вопрос о выявлении классов задач, операторы которых осуществляют гомеоморфизм между определенными парами банаховых пространств. Такие гомеоморфизмы выявлены в работах Ю. М. Березанского и Я. А. Ройтберга [20], Н. В. Житарашу [21], С. С. Ахиева [22], И. Г. Мамедова [23, 24] и др. для некоторых классов дифференциальных уравнений с частными производными.
Задачу (1), (2), (5) будем исследовать при помощи интегральных представлений спе-
(1 3) (1 3)
циального вида для функций и £ )(О). Для функций и £ ^¿П ) (О) можно найти
(1,3)
различные интегральные представления. Функцию и £ (О) можно представить,
например, в виде
I
и(4-х) = и(4° 'х) + /
(х — хп)2
щ(т, ж0) + (ж -ж0)щх(т, ж0) Н--2!-и^х(т, ж0)
i х
[ [ (Х -+ / / Щххх(т,£)---(1Т(Щ,
йт
(9)
1о хо
посредством следов и(4п,х), и1 (4,хп), uIx(í,xп), uIxx(í,xп) п доминирующей производной utxxx(í, х). Существуют также представления других видов, позволяющие выразить
функцию и(4, х) посредством некоторых следов п частных производных. Однако мы
(1 3)
будем ставить такой вопрос: Нельзя ли для функций и £ (О) найти представле-
ние, которое позволило бы определить функцию и(4,х) однозначно по значениям (В&и), к = 1,..., т, некоторых заданных операторов к = 1,..., т, та этой функции и(4, х). Если, например, функцию и £ ^рП^О) можно было бы восстановить однозначно по значениям (^,3и)(4, х), (1пи)(х), (11 и)(4), (12и)(4) и (13и)(^^ операторов У1>3, 1п, 11; 12 и 13 на этой функции, то нахождение решения задачи (1), (2), (5), не представляло бы собою особую трудность. Однако нахождение подобного представления равносильно построению обратного оператора для оператора V этой задачи. Поэтому этот вопрос мы будем
(1,3)
ставить в следующем ослабленном виде. Найти для функции и £ (О) представле-
ние, по которому можно было бы однозначно восстановить функцию и(4, х) по значениям (1пи)(х), (ки)(г), (ЬиЩ), (ки)(г) и и(4,х).
Для изучения этого вопроса мы будем использовать формулу (9). Сначала формулу (9) запишем в виде
I
(х - хп)2
и(4, х) = (^6)(4,х) = ((х) + J
£>1,0 0") + (ж - Жо)&1д(т) Н--^-£>1,2(т)
йт
(10)
1о
I x 2
+ 11 £>1,3 (г, а (4, ж) е С,
1о xо
где 6 = (Ь1,3^,х),(р(х),Ь1,п(4),6М (4),61,2(4)) п
((х) = и(4п,х), Ь1,п(г) = щ(г,хп), 61,1(4) = и^хп),
61,2(4) = и^^^п), 61,3(4) = Utxxx(t,x).
(1 3)
Известно, что для любой функции и £ Ш^П )(О) существует единственная пятерка 6 = (61,3, 61,п, 61,1, 61,2) £ Ер1^, посредством которой эту функцию можно представить в виде (10).
Можно доказать, что верно и обратное. Иначе говоря, для любой заданной пятерки
(1,3)
Ь = (Ь1>3, 61,0,61,1,61,2) из функция «(¿, ж), определяемая равенством (10), принад-
(1 3)
лежит пространству (О) и обладает следами «(¿0,ж), «¿(¿,ж0), «^(¿,ж0), «^(¿^),
а также доминирующей производной ж), определяемой равенствами (11).
Боле того, при этом можно найти положительные постоянные С1 и С2 такие, что
С1||ьце(1,з) < цдьуЖр(1,з)(С) < С2|Ь|Ё(1,3) (Vь £ Е^).
(12)
(1,3)
Иначе говоря, оператор ф осуществляет гомеоморфизм между пространствами и ^р!'П3) (О). Поэтому ^^(О) = Е(1П3) в смысле гомеоморфизма.
(1,3)
Теперь элемент Ь = (Ь1>3Ь1>0,Ь1;1,Ь1;2) £ Ер,„ постараемся выбирать таким образом, чтобы соответствующая функция (10) удовлетворяла условиям (2) и (5). Для этого подставим функцию (10) в условия (2) и (5). Тогда из (2) получим, что
(10«)(ж) = ^(ж). (13)
Из (5) получим следующие условия:
(11«)^) = 61,0(^1,1 + 61,1(^1,2 + 61,2^)0:1,3
2!
+
X!
xo
в1,
+
X1 -| г- X1
61,1 (¿) + АЬ1,2 (¿) ^ У (ж1 - е)Ь1,3 (¿,0 ^ в1,2 + Ь1,2(*)^ 61,3^,0 ^
xo
xo
в1,
+
(12«)(^) = 61,0^)02,1 + 61,1^)0:2,2 + 61,2(^)02,3
x1
А2 I' (ж1 — е)2
Ь1,о(0 + А61Д(4) + ^61,2(4) + I {
xo
в2,:
+
X1 -| г X1
^Д^+Аь^ + У^-е)Ь1,3(¿,е)¿е /2,2 + ь^ + уь^^е)¿е
xo
xo
в2,;
(13«)(^) = 61,0^)03,1 + 61,1 (¿)03,2 + 61,2(^)03,3
+
(ж1 - е)2
в3,
+
Xl -| р Xl
Ь1,1(*)+АЬ1,2(*)^(ж1 -е)Ь1,3(¿,е)¿е /3,2 + ь^ + уь^^е)¿е
xo
xo
в3,
где А = ж1 - ж0. Равенства (14) запишем в виде
(МСО = Ь1,0(*)(а1,1 + в1,1) + ЬмС£)(о1,2 + А/51,1 + /1,2)
А2
¿е;
+ ^1,2 (¿) ( 01,3 + —/31,1 + А/?1,2 + /?1,3
а-1
+/ Ь1,3(*,е)
(14)
1
(12 и)(4) = 61,п(4)(а2,1 + в2,1) + 6М(4)(а2,2 + А&Д + ^2,2) / А2
+ 61,2(4) ( «2,3 + ^-/?2,1 + Л/?2,2 + /?2,3
X1
+ / 61,3 (4,0
/92,1(Ж12!е)2+/32,2(ж1-а + /32,з
(13 и)(4) = 61,п(4)(а3,1 + в3,1) + 6м(4)(а3,2 + А&д + в3,2)
/ А2
+ 61,2(4) ( «3,3 + + А/ЗЗ,2 + /?3,3
(15)
X1
+ / 61,3 (4,0
Рз,1(Ж1 0, + Рз,2(001 -0 + /Зз,з
2!
xо
Введем следующие обозначения
71,1 = «1,1 + в1,1; 71,2 = «1,2 + А^1,1 + ^1,2; А2
71,3 = «1,3 + тп-Ад + + ; 72,1 = «2,1 + /Згд;
2!
А2
72,2 = «2,2 + А/?2,1 + /?2,2; 72,3 = «2,3 + "^¡"/^Д + Д/?2,2 + /?2,3 5
73,1 = «3,1 + в3,1; 73,2 = «3,2 + Ав3,1 + в3,2; А2
73,3 = «3,3 + -^-/?зд + Л/З3)2 + /03,3
и
01 (ж) = /?1 д 2, ^ + /?1,2 (Ж1 - ж) + /?1)3; а2 (ж) = /32д ^ , ^ + /?2,2 (ж1 - ж) + /32,з;
аз (ж) = /?ЗД ^ , ^ + /03,2 (Ж1 - ж) + /?з,з • Тогда равенства (15) примут вид:
X1
61,п(4)71,1 + 61,1 (4)71,2 + 61,2(4)71,3 = (11 и)(4) - У 61,3(4, £)01 (О
xо
X1
61,п (4)72,1 + 61,1 (4)72,2 + 61,2 (4)72,3 = (12и)(4) - ^ 61,3 (4, Оа2 (О
xо X1
61,п(4)73,1 + 61,1 (4)73,2 + 61,2(4)73,3 = (13и)(4) - ^ 61,3(4, Оа3 (О
xо
Равенства (16) можно рассматривать как систему линейных алгебраических уравнений относительно неизвестных 61,п (4) 61,1(4) и 61,2(4). При помощи 3п-мерной матрицы
' 71,1 72,1 73,1 7 = | 71,2 72,2 73,2 71,3 72,3 73,3
(16)
систему (16) запишем в виде векторного уравнения
X1
(61,0 (¿) ,61,1 (¿), 61,2 (¿)) 7 = ((мад -у Ь1,3(*,е)01(е) ¿е, (12 «)№
^ xo
X1 X1 ч
-/ Ь1,3(*,е)а2 (е) ¿е, (13 «ж) ь^еь (е) ¿и.
(16*)
xo
xo
Пусть матрица 7 обратима. Обратную матрицу 7 1 обозначим через
К1,1 К1,2 К1,3 7-1 = | ^2,1 К2,2 К2,3 ^3,1 К3 2 ^3,3
причем каждая из является некоторой постоянной квадратной матрицей порядка п. Тогда из (16*) получим
/ Xl
(61,0(¿),Ь1,1(*),Ь1,2(¿)) = ((мсо - /Ь1,3(*,е)01(е) ¿е, (12«)(*)
xo
Xl
Xl
К1,1 К1,2 К1,3
- I Ь1,3(*,е)02(ек, (13«ж) - / ь^^еые) ¿е I х1 К2,1 ^2,2 ^2,3
/ V К3,1 К3,2 К3,3
1
xo
xo
Поэтому
61,0 (¿) =
Xl
(11 «)(*) - 61,3 (¿,е)«1(е) ¿е
К1,
xo
+
(12«)(*) - ь^^еме) ¿е
К2,1 +
(13«)(*) - 61,3(^)0.3(е) ¿е
К3,
Ь1,1=
Xl
(11 «)(*) - 61,3 (¿,е)01(е) ¿е
К1,:
xo
+
Xl
(12«)(*) - Ь1,3(*,е)02(е) ¿е
К2,2 +
X1
(13«)№ - 61,3(¿, е)а3(е) ¿е
^3,2;
xo
xo
61,2 (¿) =
Xl
(11 «)(*) - 61,3 (¿,е)01(е) ¿е
К1,
xo
+
(12«)(*) -у Ь1,3(*,е)02(е) ¿е
xo
К2,3 +
(13«)(*) -у 61,3 (¿, е)а3 (е) ¿е
xo
К3,3.
(17)
1
Теперь выражения (17) учтем в равенстве (10). Тогда получим
и(4,х) = (1пи)(х) + J (11и)(т)
1о
К1,1 + К1,2(х - хп) + К1,3
(х - хп)2
+ / (12и)(т )
1о
I
+ / (13и)(т)
К2,1 + К2,2(х - хп) + К2,3 К3,1 + К3 2(х - хп) + К3,3
' ,(х - О2
(ж - Жр)2 2!
(ж - Жр)2 2!
2!
йт
йт
йт
(18)
+ //61,3 (г, О Ы^^-тЖж-О с ^
-0(4 - т) 01 (№,1 + 02(№,1 + 03 (№,1
+ (01(0^1,2 + 02 (№,2 + 03 (№,2) (х - хп)
(х - хп)2
+ 01(^)^1,3 + 02(^)^2,3 + 03(^)^3,3
2!
где 0(я) — функция Хэвисайда на пространстве чисел, аЕ — п-мерная
единичная матрица. Пусть
(х - хп)2
в1 (х) = К1,1 + К1,2 (х - хп) + ^1,3 в2 (х) = К2,1 + К2,2 (х - хп) + К2,3 в3 (х) = К3,1 + К3 2 (х - хп) + К3,3
2!
(х -Жр)2
2!
(х - Жр)2
2!
= -91 (х), = -92(Х), = -93 (х),
Яп(т,£; 4, х) = 0(4 - т)
(ж-О2 2!
0(х - £)Е + 01(^)91 (х) + 02(^)92(х) + 03(^)93(х)
.
Теперь формулу (18) запишем в виде
и(4, х) = (1пи)(х) + у (^и)(т)в1 (х) йт + у (12и)(т)в2(х) йт
!о Iо
I
^у~(13и)(т)в3(х) йт + JJ и^^^Яп(т,£;4,х)
Iо
с
(20)
Таким образом, доказана следующая
(1 3)
Теорема. Если ёе! 7 = 0 то любая функция и £ ^¿П )(О) представима в виде (20).
I
х
I I
Очевидно, что правая часть формулы (20) определяется посредством значений (1о«)(ж), (11«)(£), (12«)(£), (13«)(£) И нtxxx (¿,ж) операторов 1о, 1ь 13 и АА на рассматриваемой функции «(¿,ж). Поэтому операторы 10, 11; 12, 13 и А А3 будем называть определяющими операторами для представления (20).
3. Задача Гурса классического вида как частный случай нелокальной комбинированной задачи (1), (2), (5). Теперь рассмотрим следующий частный случай задачи (1), (2), (5):
ж), (¿,ж) £ О, (21)
¿=0 ^=0 ¿+¿<4
(10 «)(ж) = «(¿0, ж) = .о (ж), (22)
(11 «)(£) = « (¿,Жо )«1,1 + Uíx(í,Жо )«1,2 + Híxx(í,Жо )«1,3 = .1 (¿),
(12 «)(£) = « (¿,жо )«2,1 + Híx(í,Жо )«2,2 + Híxx(í,Жо )«2,3 = .2^), (23)
. (13«)(£) = «(¿,жо)«3,1 + Uíx(í,Жо)«3,2 + Híxx(í,Жо)«3,3 =
Пусть детерминант 3п-мерной матрицы
7
«1,1 «2,1 «3,1 «1,2 «2,2 «3,2 «1,3 «2,3 «3,3
отличен от нуля, т. е. det 7 = 0. Тогда условия (23) можно привести к виду
« (¿,Жо) = .1 (¿), «^Жо) = .2 (¿), ^«^^Жо) =
(24)
Здесь
.1 (¿) = .1 (¿)К?,1 + .2 (¿)К201 + адК0!;
.2 (¿) = ¿1 (¿)К?,2 + .2 (¿)К202 + ¿(¿)К302;
1-^3 (¿) = .1 (¿)К0,3 + .2 (¿)К03 + .3(^)К303,
(25)
Ко Ко Ко
К1,1 К 1,2 К1,3
К0 = | К201 К202 К
2,2 2,3
К0 К0 К0 К3 ,1 К3 ,2 К3 ,3
причем К^-
квадратные матрицы
— обратная матрица для матрицы 7, т. е. К0 = 7-1, п
Равенства (25) показывают, что если ^ £ ^,„(¿0,^X г = 1, 2, 3, то ^ £ ^,„(¿0,^), г = 1, 2, 3. Поэтому условия (23) и (24) эквивалентны.
Кроме того, условия (22) и (24) можно рассматривать как условия Гурса неклассического вида. Очевидно также, что если det 7 = 0, то условия (22) и (23) эквиваленты условиям Гурса неклассического вида (22) и (24).
(1 3)
Если функция « £ (О) удовлетворяет условиям Гурса неклассического ви-
да (22) и (24), то она удовлетворяет также условиям Гурса классического вида (22)
и
при
u(t,Xo) = ^l (t); Ux(t,xo) = ^2 (t); ,Uxx(t,Xo) = ^3 (t)
pi (t) = Zo(xo) + / Zi(r) dr;
to
^2(t) = Z0(xo) + J ^2(r) dr;
to
^3 (t) = Z/(xo) + J Z (r) dr.
to
(26)
(27)
(1 3)
Верно и обратное, в том смысле, что если функция и £ Ч^) удовлетворяет
условиям (22) и (26) (где ^о £ ^р3(®о,ж1 ) и £ ), г = 1, 2, 3), то она удо-
влетворяет также условиям (22), (24) при = = ^>2 (¿), = ^3 (¿)-
(1 з)
Таким образом, в пространстве (С) условия Гурса неклассического вида (22), (24)
эквиваленты условиям Гурса классического вида (22), (26). Однако в случае усло-
(3)
вий Гурса (22), (26) правые части краевых условий, кроме условий ^о £ ^р;П(жо,Ж1) и ^ £ ^¿«(¿о, ¿1) должны подчиняться также следующим условиям согласования: ^о(жо) = (¿о) ^о(жо) = ^(¿о), ^о'(жо) = ^з(¿о)■
В случае же условий Гурса неклассического вида (22), (24) для правых частей крае-
(з) ~
вых условий, кроме ^о £ ^¿гЧжо,Ж1 ) и ^ £ ), г = 1, 2, 3, никаких дополнитель-
ных условий типа согласования не требуются. Поэтому задача Гурса неклассического вида (21), (22), (24) по постановке является более естественной, чем задача Гурса классического вида (21), (22), (26).
Литература
1. Бицадзе А. В., Самарский А. А. О некоторых простейших обобщениях линейных эллиптических краевых задач // Докл. АН СССР.-1969.-Т. 185, № 4.-С. 739-740.
2. Ионкин Н. И. Решение одной краевой задачи теории теплопроводности с неклассическим краевым условиям // Диф. уравнения.—1977.—Т. 13, № 2.—С. 294-304.
3. Ионкин Н. И., Моисеев Е. И. О задаче для уравнения теплопроводности с двуточечными краевыми условиями // Диф. уравнения.—1979.—Т. 15, № 7.—С. 1284-1296.
4. Самарский А. А. О некоторых проблемах теории современной дифференциальных уравнений // Диф. уравнения.—1980.—Т. 16, № 11.-С. 1221-1228.
5. Шхануков M. X., Солдатов А. 17. Краевые ЗУ. щчи с общим нелокальным условием А. А. Самарского для псевдопараболических уравнений высокого порядка // Докл. АН СССР.—1987.—Т. 297, № З.-С. 547-552.
6. Showalter R. Е., Ting Т. W. Pseudo-parabolic partial differential equations // Math. Anal.—1970.— Vol. l.-P. 1-26.
7. Colton D. Pseudoparabolic equations in one space variable // J. Diff. Equat.—1972,—Vol. 12, № 3.— P. 559-565.
8. Rundell W., Stecher M. The uniqueness class for the Cauchy problem for pseudoparabolic equations // Proc. Amer. Math. Soc.-1979.-Vol. 76, № 2.-P. 253-257."
9. I u. fu В. Д., Шадрин Г. А. Построение фундаментального решения для уравнения, описывающего движение жидкости в трещиноватых средах // Вычисл. математика и программирование.—М.: Изд-во МГПИ им. В. И. Ленина, 1976.—Вып. 4,—С. 102-111.
10. Шхануков M. X. О некоторых краевых задачах для уравнения третьего порядка, возникающих при моделировании фильтрации жидкости в пористых средах // Диф. уравнения.—1982.—Т. 18, № 4.-С. 689-699.
11. Шхануков M. X. о некоторых краевых задачах для уравнения третьего порядка и экстремальных свойствах его решений // Диф. уравнения.—1983.—Т. 19, № 1.—С. 145-152.
12. Салтыкова H. М. Обобщенная задача Бицадзе — Самарского для уравнения смешанного типа второго рода // Изв. высших учебных 3 elbg д 6ний. математика—1981—т. 234, № 11—с. 43-48.
13. Ахмедов Ф. Ш. Оптимизация гиперболических систем при нелокальных краевых условиях типа Бицадзе — Самарского // Докл. АН СССР—1985 —Т. 283, № 4—С. 787-791.
14. Репин О. А., Килбас А. А. Аналог задачи Бицадзе — Самарского для уравнения смешанного типа с дробной производной // Диф. уравнения.—2003.—Т. 39, № 5.—С. 638-644.
15. Ковалева Л. А. О модифицированной задаче Бицадзе — Самарского // Вести. СамГТУ. Сер. физ.-мат. науки.—2007.—№ 1.—С. 10-15.
16. Сабитов К. В. Краевая задача для уравнения параболо-гиперболического типа с нелокальным интегральным условием // Диф. уравнения.—2010.—Т. 46, № 10.—С. 1468-1478.
17. Гулии А. В., Удовиченко Н. С. Разностная схема для задачи Самарского — Ионкина с параметром // Диф. уравнения.—2008.—Т. 44, № 7.—С. 963-969.
18. Mamedov I. G. Generalization of multipoint boundary-value problems of Bitsadze-Samarski and Samarski-Ionkin type for fourth order loaded hyperbolic integro-differential equations and their operator generalization // Proc. of IMM of NAS of Azerbaijan.—2005.—Vol. 23.—P. 77-84.
19. Мамедов И. Г. Смешанная задача с нелокальными краевыми условиями типа Бицадзе — Самарского и Самарского - Ионкина, возникающая при моделировании фильтрации жидкости в трещиноватых средах // Изв. HAH Азерб. Сер. физ.-техн. и мат. наук.—2006.—Т. 26, № 3.—С. 32-37.
20. Верезанский К). М., Ройтберг Я. А. Теорема о гомеоморфизмах и функция Грина для общих эллиптических граничных задач // Украинский мат. журн.—1967.—Т. 19, № 5.—С. 3-32.
21. Житарашу Н. В. Теорема о полном наборе изоморфизмов в Ь2-теории модельных начальных параболических краевых задач // Мат. исследования.—Кишинев, 1986.—№ 88.—С. 40-59.
22. Ахиев С. С. Фундаментальные решения некоторых локальных и нелокальных краевых задач и их представления // Докл. АН СССР.—1983.—Т. 271, № 2.—С. 265-269.
23. Мамедов И. Г. Фундаментальное решение задачи Коши, связанной с псевдопараболическим уравнением четвертого порядка // Журн. вычислительной математики и мат. физики.—2009.—Т. 49, № 1.-С. 99-110.
24. Мамедов И. Г. Об одной задаче Гурса в пространстве Соболева // Изв. вузов. Математика.— 2011—№ 2.-С. 54-64.
Статья поступила 25 февраля 2013 г. Мамедов Ильгар Гурват оглы
Институт Кибернетики им. А. И. Гусейнова НАН Азербайджана, ведущий научный сотрудник
АЗЕРБАЙДЖАН, AZ1141, Баку, ул. Б. Вагабзаде, 9 E-mail: ilgar-mammadovorambler.ru
NONLOCAL COMBINED PROBLEM OF BITSADZE-SAMARSKI AND SAMARSKI-IONKIN TYPE FOR A SYSTEM OF PSEUDOPARABOLIC EQUATIONS
Mamedov I. G.
We consider a boundary value problem for a fourth order system of pseudoparabolic equations with discontinuous coefficients and with conditions Bicadze — Samarsky and Samarsky — Ionkin. We find integral representation for a functions in the Sobolev space, which allows one to recover it through the values of certain operators (defining operators), taken at the function. We also justify formulation of the Goursat problem with nonclassical boundary conditions.
Key words: pseudoparabolic equation, nonlocal problem.