CC BY
31
УДК 517.3:517.956
А.А. Андреев, Е.Н. Огородников
ПРИМЕНЕНИЕ МАТРИЧНЫХ ИНТЕГРОДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ В ПОСТАНОВКЕ И РЕШЕНИИ НЕЛОКАЛЬНЫХ КРАЕВЫХ ЗАДАЧ ДЛЯ СИСТЕМ УРАВНЕНИЙ ГИПЕРБОЛИЧЕСКОГО ТИПА
В работе на примере одной модельной системы двух гиперболических в полуплоскости уравнений второго порядка с кратными характеристиками, порядок которых вырождается вдоль линии изменения типа, рассмотрены некоторые нелокальные краевые задачи с условиями Бицадзе -Самарского в терминах матричных интегродифференциальных операторов Римана - Лиувилля и Эрдейи - Кобера. Обоснована корректность указанных задач при определенных ограничениях на спектр матричного коэффициента системы уравнений и функциональные матрицы, фигурирующие в краевых условиях.
Обозначим М п - множество постоянных матриц порядка п . Пусть матрица О е М п. Обозначим Л(О) = {1 г-} - спектр матрицы О , 1 г- - собственные значения матрицы О, 1 г- е С . Будем также обозначать С+ = {г е С: Яе г > 0} и С_ = {г е С: Яе г < 0}.
С помощью интерполяционного многочлена Лагранжа-Сильвестра [1] можно определить значение аналитической функции на множестве постоянных квадратных матриц. Если ограничиться множеством матриц, являющихся значениями некоторых аналитических функций от одной матрицы, то определение легко обобщается на случай аналитических функций многих комплексных переменных, что позволяет, в свою очередь, доопределять целый ряд специальных функций на матричные значения входящих в них параметров. Некоторые примеры приведены в работах [2-4] авторов данной статьи.
В теории интегральных уравнений и систем уравнений Вольтерра II рода с ядром Абеля (уравнение Абеля II рода в дальнейшем) важную роль играют функции типа Миттаг -Леффлера [5,6]
Е с(; т) = Х
к=0
Г (+кР-1)
,р > 0, |іє С+
Обозначая р 1 = а > 0 , функцию типа Миттаг - Леффлера определяют рядом
Е а (г; Р) = £-
а > 0, Р є С+
(1)
к =0 Г(ка + р)
Пусть матрицы А и В таковы, что А = а(0), В = Р(0), где О є М2, а(г) и Р(г) - некоторые аналитические функции, определенные на спектре матрицы О [1], Е -единичная матрица в М2. Тогда определение (1) можно продолжить на матричные значения параметров
Еа (; В ) =
О — 12 Е 11 — 12
Еа, (; Рь
+
О — 11 Е
(;р
Е • Еа0 (г; Р 0) + ( —10 Е
Ж Е а*"’Р)
2
1=10
11 ф 12, 11 =Х2 е1 0,
(2)
где а і = а(1 і), Р і = р(1 і), 1 і є Л(°), і = 0,1,2
Из определения (2) следует, что матрица ЕА (г; Е) совпадает с матрицей ЕА (г), приведенной в работе [4].
В работах [7,8] понятие функции матричного аргумента было распространено на понятие интегродифференциального оператора, являющегося матричным аналогом оператора дробного интегродифференцирования Римана - Лиувилля [9]. В соответствии с определением, данным,
например, в [7] для матрицы О є Мп и вектор-функции {(х) = (/1; /2;...; /п )Т , матрица 1^х{ определяется по формуле:
О ° в,?{у-(о)"£(О—1кЕ)’с1
к=1
п=0
п!
ж
{
ук (1)
(3)
1=1 к
п
где
yk (l) = (l_1 k) mk n(l_1 k ) , DЛ - оператор Римана - Лиувилля, x є [a, b]; lk є Л(G),
k=1
к = 1,5 ; А(в)с С .
В работе [4] приведены различные представления матричных интегральных и дифференциальных операторов Римана - Лиувилля, их свойства и некоторые обобщения, в частности, матричный аналог оператора М. Sаigo.
В теории и приложениях встречаются различные модификации и обобщения операторов дробного интегродифференцирования. К таким модификациям относятся, в частности, операторы типа Эрдейи - Кобера [9].
Ниже используется следующая модификация операторов этого типа:
D~a,p f =
ax J
sign(x _ a) Г (a)|x -<
і a+p_1
J|x _ t|a 1 |t _a|P 1 f (t)dt,
Re a > 0,
(4)
x _ a
|1_p
sign(x _ a)— Эх
x _ a
p-1+a+n D~(a+n)
x _ a f, Re a < 0,
где Яе Р > 0, п = [- Яе а]+1.
Заметим, что левосторонний дробный интеграл в (4) при а=0 совпадает с оператором /О+ап/(х), приведенным в монографии [9] (формула (18.1), стр. 246), при а=0, с = 1, П = Р_ 1. Имеют место легко проверяемые тождества:
DaJО-“-Р/ = /(х); ДО’Р/ = /(х); Яе а > 0, (5)
справедливые почти всюду на (а, Ь) для (х - а)Р-1 /(х), (Ь - х)Р-1 /(х) е Ь(а, Ь).
При доказательстве тождества (5) достаточно воспользоваться представлениями дробных интегралов типа Эрдейи - Кобера через дробные интегралы Римана - Лиувилля О-“'р / =(х - а )1-а-Р О-а(х - а)Р-1 /, а < х,
О-“’Р/ = ( - х)1-а-Р (Ь - х)Р-1 /, х < Ь.
Представление дробной производной Эрдейи - Кобера по формуле (4) через соответствующий дробный интеграл не всегда удобно на практике. Поэтому, например, для а : Яе а е [0,1] и а < х , с учетом формул (4) и (6) получим
ОО, р / = (х - а )'-Р|- ( - а )Р-а Б-«-а) Р(х - а )а / = (х - а)-р |-О,;1Ьа)(* - а )а+Р-1 / =
ох |х
(6)
= (х _ a )1-Р Da (х _ a)a+p-1 f. Аналогично, для x < b имеем
(1)
D£P f = (b _x)1-p
- —(b _x)p-aDj1-a)p(b _x)a f Эх
= (
V_p
Эх
) a+p_1 f
= (b _ x)1-p Da (b _ x)a+p-1 f.
Определим матричный аналог интегрального оператора типа Эрдейи - Кобера.
0 п р е д е л е н и е 1. Пусть матрица G є Mn ; a(z), p(z) - любые аналитические функции, определенные на спектре Л^) = {li}. Пусть Л(A) = {ai} и Л(В) = {pi} - спектры матриц A = a(G) и В = p(G) соответственно, причем Л^), l(B)с C + . Матричным интегральным оператором типа Эрдейи - Кобера будем называть матрицу
т A, Br їл-А,Вг I \E_A_Bn-A |B_E, ( \| |E _ A-В Г„/ . Yl-1
1 f ° Dax f = x _ a Dax x _ a f = sign (x _ a)lx _ a [Г(A)] X
A_E B_E
X \ x _ t t _ a
f (t )dt
(8)
B_E
определенную для їх - а і(х)є Ь(а, Ь), где Г(^) - гамма - функция Эйлера [5].
Определим теперь матричный аналог дифференциального оператора типа Эрдейи -Кобера.
a
О п р е д е л е н и е 2. Пусть матрица G е Мп ; а(г), Р(г) - любые аналитические функции, определенные на спектре ) = {1 г }. Пусть Л(А) = {аг-} и Л(В) = {Рг } - спектры матриц
А = а^) и В = Р^) соответственно, причем Яе аг- е [0,1], а Л(В)е С + . Тогда
т-*ЛВг I \Е - В л I |А+ В - Е« /г.ч
БДХВг=х - а °«|х - а Г, (9)
где БА - матричный аналог дробной производной Римана - Лиувилля, определяемый по формуле (3).
Как было отмечено в [4], одним из приложений матричных интегродифференциальных операторов в теории систем дифференциальных уравнений с частными производными является проблема существования и единственности решения нелокальных краевых задач. Во многих случаях краевые задачи для вырождающихся систем дифференциальных уравнений в области их гиперболичности редуцируются к системам интегральных уравнений Вольтерра
Л(х)ф(х)- В(х)Б -ЖА К (х)ф(х) = с(х), (10)
где А е Мп : Л(А) с С + ; Л(х), В(х), К(х) - функциональные [п X п] - матрицы, ф(х) и с(х) -искомая и заданная вектор - функции соответственно, а оператор Б определен в (3).
Исследование, и тем более решение, систем интегральных уравнений (10) при самых общих предположениях относительно матричных коэффициентов Л(х), В(х ), К( х) и спектра Л(А) матрицы А является весьма трудной задачей, далекой от своего окончательного завершения.
Если матрица Л(х) ° 0, то при условии обратимости матриц В(х) и К(х) всюду в области определения искомого решения система уравнений (10) превращается в систему уравнений Абеля. Условия ее однозначной разрешимости указаны в [4].
Пусть в системе уравнений (10) обратимы одновременно функциональные матрицы Л(х) и К (х). Тогда для новой вектор - функции и(х) = К(х)ф(х) получим систему интегральных уравнений Абеля II рода:
и(х)- С(х)Б -х и(х ) = {(х), (11)
где матрица С(х) = К(х)Л-1 (х)в(х), а вектор Г(х) = К(х)Л-1 (х)с(х).
Можно указать сразу случай, когда к системе интегральных уравнений (11) применим метод последовательных приближений и соответствующая теорема существования и единственности решения интегральных уравнений Вольтерра второго рода с ядром Абеля [10,11].
Пусть 1 = 1(х, г) - непрерывная функция действительной переменной х, аналитическая по комплексному параметру г. Тогда ее можно доопределить на множестве постоянных матриц А е Мп, если область определения О(1) функции 1(х, г) как функции от г содержит спектр Л( А ) матрицы А .
Пусть С(х) = 1(х, А). Рассмотрим случай матрицы А е М2, аг- е Л(А), / = 1,2 . Тогда [1]
1(х; А) =
А-а2Е.( ч А-а,Е./ ч
-----2— Л(х; а1)+-1— Л(х; а 2), а1 Фа
Е1(х; а 0)+ ( - а 0 Е)
—1(х; а) ёа
А -аЕ
Используя определение (3) и свойства идемпотентов -------- матрицы А , например, в
а 1 - а 1
] 1
случае а1 Фа 2, получим
и(х)- А а Е 1(х; а1 ))-а1 и(х)- А а1 Е 1(х;а 22 и(х) = Г(х).
а1 -а2 а2 -а1
Определяя методом последовательных приближений вначале вектор -------------2— и, а затем
а 1 -а 2
А-а1 Е й й (11)
-------и, найдем непрерывное решение системы интегральных уравнений (11) в указанном
а 2
а 1
выше случае при /(х)е С [а, Ь].
Пусть теперь матрица С(х) = 1(х, А) не зависит от х . Тогда
1(А) =
А-а2ЕЛ А-а,Е „
11 + 12, а 1 ^ А 2,
а1 -а2 а2 -а1 (12)
Е10 + (-а0 Е), а1 =а2 =а0,
где 1 г- = 1(аг-), аг- е Л(А), / = 1,2; 1'0 = 1'А (а0), а решение системы интегральных уравнений
и( х) -1(А)Б -х и(х ) = Г (х) (13)
можно найти в терминах матричной функции Миттаг - Леффлера (см. [4] или формулу (2) настоящей работы).
Пусть а=0, тогда в случае а1 Фа 2 получим систему уравнений
/ \ -а А а 2 Е / \ -а А а 1Е / \ / \
и(х)-1100х 1 ---------и(х)-12°0х2 --------и(х)= Г(х). (14)
а 1 -а 2
Используя результат Е.Н. Ніііе, І.Б. Ташагкіп [12] (см. также [6]), находим вначале вектор
А-а2Е а х Г. / 1А-а2Е , ч ,
-----^ и = — [ Еаі [1, (х - і) А ^ і(і) ,
а, -а2 ах 0 1 а, -а2
затем, аналогично,
А-а!Е а Х Гл і 1А-а!Е , ч ,
-----^ и = — [ Е „2 [12 (х - і )а 2 ]-^ і (і )і,
а2 -а1 ах 0 2 а2 -а1
откуда
и(х) = 07“ І Е“1 [і 1(х - і )а1 ] А а2 Е і (і )аі + ~Т ХЕ“ 2 [і 2(х - і )а 2 ]А а1 Е і (і )аі =
ах 0 1 а1 -а 2 ах* а-а.
= Тг-}( А „2Е Е„1111(х - і)А1 ]+ ] А1Е Е„2112(х - і)А2 ](і)аі = |еа [1(А)(х - і)А ](і]
ах ^ А - А 1 А - А 2 ах *
(15)
и.і |_ 1 \ / J Ь і \ / J^/ 7
а1 - а 2 1 а 2 - а 1 2 ах
0
Решение (15) может быть записано также в виде:
и(х) = і (і )+1(А)| (х - і )-Е- а)Еа [і(А)(х - і )А; А ]т (і )—і, (16)
0
если воспользоваться соответствующим представлением решения скалярного интегрального уравнения [6,12].
В случае А1 = А 2 = А 0 с учетом формул (3) и (12) вместо (14) получим систему уравнений
и(х)-Е10 ^ и(х)-(( -а о Е ^')А[і(а))0ха и(х)]А=А0 = /(х). (17)
Вначале из (17) найдем вектор
(А - а о Е)и(х) = а | е„о [1 о (х - і) А0 +А - а о Е)Т(і)7і . (18)
ах 0
Подставляя выражение для (А -А 0 Е )и(х) из (18) в формулу (17), найдем решение системы уравнений
аа
Если обозначить правую часть векторного уравнения (19) за Ь(х), то его решение имеет
вид:
и(х)=ах I Е„0 [і 0(х - і )А0 ] ь(і )—і, (20)
и(х)-Е1 0 и(х) = і (х) + 0аА [і(а)'°0х“ ( -А 0 Е)и(х)]А=А0 . (19)
аналогичный решению соответствующего скалярного интегрального уравнения.
Подставляя выражение Ь(х) = і(х) + — [і(а)Я(-х“ ( - а 0 Е Мх )]а=а0 в (20), после некоторых
аа а=а0
преобразований получим
0
и(х) = — і I Е„0 [0 (х - і)А0 ]+ ( - А0Е
— е „[1(а)(х - і )А аа
Г(і )—і,
откуда вновь следует представление решения системы уравнений (13) в виде (15).
Краевые задачи с условиями типа Бицадзе - Самарского для системы уравнений с вырождением порядка. Пусть матрица В є Мп , ее спектр Л(В) = {Рі}, Рі є С;
Тт и = у 2ти ^ - и уу -оператор Трикоми, т > 0, и(х, у) = (м1;...; ип )Т - искомая вектор -
функция.
Систему уравнений
ВД ° уТт (и)-Ви у = 0 (21)
рассмотрим области О, ограниченной отрезком [0,1] прямой у=0 и ее характеристиками Х=0, П=0, где
х = х-— ут+1 и л = х +ут+1
(22)
т +1 т +1'
Система уравнений (21) представляет собой систему гиперболических при У > 0 уравнений с кратными характеристиками и является примером системы уравнений, порядок которых вырождается вдоль линии у=0 изменения типа [13].
Хорошо известно, что вырождение порядка вносит определенный аспект в теорию уравнений и систем уравнений смешанного типа вообще и в вопрос корректности постановки задачи Коши [14], в частности. Это обстоятельство отражается на структуре нелокальных условий в рассматриваемых ниже краевых задачах.
Пусть
0 0(х ) =
т +1
01 (х) =
1 + х
т +1
(1 -
- аффиксы точек пересечения характеристик системы уравнений (21), выходящих из произвольной точки хє [0,1], с характеристиками Х=0 и ^=1.
Пусть а(р), ю(г) - некоторые аналитические функции, определенные на спектре Л(В) матрицы В.
Рассмотрим следующие условия:
0фЫВ)и[0а (х)] = А(х)и(х,0)+ 1іш К(х, уV (х,у) + С(х) , (23)
у®+0
° „В)и[0а(х)] = А(хМх>0)+ Ііт К(х, у)иу (х,у)+с(х),
у®+0 1
и(х,0) = т(х), т(х) = (х1;...;тп )Т, хє [0,1],
ііш уВ и у (х, у ) = у(х), у(х) = (у1;...; V п )Т, х є (0,1),
(24)
(25)
(26)
у®+0
где БА(В)>Ю(В 1, Б ах(В) - матричные интегродифференциальные операторы типа Эрдейи - Кобера и Римана - Лиувилля, а е {0,1}; Л(х), В(х), К(х, у) - известные функциональные (п X п) матрицы, а компоненты векторов с( х), т(х) или у(х) являются заданными функциями.
Пусть а=0, п=2, матрица В е М2 : Л(в) = {Р{ : Р{ е (- т,1)} .Для системы уравнений (21) рассмотрим следующую задачу.
З а д а ч а 1. Найти регулярное О решение системы уравнений (21), удовлетворяющее
условию (23) при а(г) = ^ +т, , ю(г) = а(г), и условию (25). Компоненты [2X 2] -
2(т +1)
функциональных матриц Л(х ), К( х, у) и векторов с( х), х(х) - заданные функции.
В характеристических координатах (22) система уравнений (21) и начальные условия (25) и (26) примут, соответственно, вид:
(П-Х)и& -°(ип-и( )= 0- (27)
и(х х)=т(х), 1хш0
■л-Х®+0
т +1
(х-Х)
(и* -ие) = у(Х=
(28)
а=а
2
где матрица G = —т-1—г (В + тЕ), причем ее спектр Л(0) = ]1. : 1. = Р г + т , Р. е Л(В)1. Так 2(т +1) [ 2(т +1) ]
как по условию задачи Л(В) с (- т,1), то Л(в) с (0,12).
Система дифференциальных уравнений (27) представляет собой ЭПД - систему специального (с двумя равными матричными параметрами) вида. Для нее в [15] найдено решение задачи Коши (28), используя которое в [16] записано решение задачи Коши с данными (25), (26) при п=2 для системы уравнений (21).
Для решения нелокальной краевой задачи I используем результаты работы [16].
Л е м м а. Пусть спектр матрицы В системы уравнений (21) таков, что Л(В)с (- т,1).
Тогда решение задачи Коши (25), (26) при п=2 в терминах матрицы G = , 1—т ( + тЕ) может
2(т +1)
быть записано в виде:
и(х, у) = к(О) Г ( - г2)-Е т(г—+ —^- к(Е - G)(E - 2G)-1 у(т+1)(-201 Г (г - Г2)-° у(г)—( , (29)
0 т+1 0 где к (О ) = К (О, О ) = В - (О, О ) = Г (20 )[Г (О )]-2, а В(^, ^) и Г (г) - соответственно бета- и
гамма
- функции; 2 = г(і) = х +-1— у т+1 (2і -1).
т +1
Используем решение задачи Коши по формуле (29) и вычислим значение и[0 0 (х)].
Величина г
(і ) = х + —Ц. ут+1 (2і -1)
т +1
в точке
0 0(х = =
/ 1 1
х Ґ , і л [ т +1 1 т +1
— * х
2’ 2
V У 0
V
принимает
значение г (і) = хі, а величина у
(т+1)(( - 20)
т +1
\Е - 20
т +1
\20
т +1
„Е-20
Тогда по формуле (29) имеем:
и [0 0 (х)] = к (О) | (і - і2 =- Е т( хі )—і + 1 к (Е - 0)(Е - 20)_1
0
.Е - 20
I (і - і2) п(хі)—і. (30)
Выполняя в (30) замену переменных по формуле 5 = х1 в интегралах и учитывая, что
1О-Е 2 Е-20 0- Е{ \О-Е —5
х
найдем
20
(і - і2 )0-Е = х2Е-2°5°-Е (х - s)0-E, —і = —, а (і - і2 )-0 = х2°5-0 (х - 5)-0,
х
х 1 Ґ 2 V0 х
и[0 0 (х)] = к (0) хЕ ~2<0 Г(х - 5)0-Е50-Е ф— + - к (Е - 20)(Е - 20)-1 --- Г(х - 5 )-0 s “^(5— .
0 2 Iт +10 0
Используя определение матричного интегрального оператора Римана - Лиувилля (3), получим
и[0 0 (х)] = у(0)хЕ-20 Б -0х0-Е т(х) + с(0 )Б -[Е-0) х ~0 п(х), (31)
где у(0) = к (0 )Г (0) = К (0,0 )Г (0) = В - (0,0 )Г (0) = Г
\20
20
0
V
(0 ) = 2 к х - 0 )Г х - 0 )х
/
х(( - 20 )-1
= 2 в- (Е - 0, Е - 0)Г(х - 0)( - 20=
Е - 20 У 2 420
г
Е - 0 т +1
С помощью формулы (8) выражению (31) можно придать вид:
(32)
и[00 (х)] = У(О)Б-О’°т(х) + а(О)Б01е-о)х~оп(х).
Так как указанные в условиях задачи функции а(г) и ю(г) принимают на матрице В
значения а(в) = В + тЕ = о = ю(в ) , то условие (23) в терминах матрицы О имеет вид:
2(т +1)
)] = Л(х)
где учтено условие (25): и(х,0) = т(х).
Б0х0и[00 (х)] = А(х)т(х) + Ііш К(х,у)иу (х,у)+с(х),
у®+0 *
Пусть в условии (23) матрица К(х, у) = В(х)уВ . Тогда, обозначая Нш уВи у (х,у) = v(х) и
у ®+0 у
подставляя в (33) значение вектора и[00 (х)], вычисленное по формуле (32), для определения неизвестной в представлении решения задачи Коши (29) функции у(х), получим систему уравнений
у(0 )т(х) + а0 )Б 00 Б -,е-0 } х-о у(х) = Л(х)т(х) + В(х)у(х) + с(х). (34)
Записывая матричный оператор Б0Ох,О по формуле (9) и применяя композиционное тождество для матричных интегродифференциальных оператора Римана - Лиувилля [4]
Б °х20 - Е Б-(Е-о } Г = х0 - Е Б20 - Е Г,
вычислим:
ББ0Х—-0}х~оГ = хЕ-о (Б0хх20-ЕБ0Х—-0} )х-0Г = хЕ-о (х0ЕБ^О- — х0 )х-0Г = Б^О-—Г . (34)
В окончательном виде система интегральных уравнений (34) имеет вид:
В(хМх) - а(0 )Б -,Е-20) v(х) = Г (х), (35)
где Г (х) = [уО) - Л(х )]г(х) - с(х).
Потребуем обратимости матрицы В(х) всюду на отрезке [0,1]. Тогда система уравнений (35) окажется системой интегральных уравнений Вольтерра II рода, решение которой всегда существует и единственно в классе непрерывных вектор - функций [17]. Повышая требования на гладкость коэффициентов системы уравнений (35), можно добиться требуемой для корректности задачи Коши гладкости искомой вектор - функции у(х).
Т е о р е м а 1. Пусть Л(х), В(х), с(х)е С[0,1]пС2 (0,1), К(х,у) = В(х)уВ . Если матрица
В(х) обратима всюду на отрезке [0,1], то единственное решение и(х, у)е С(о)п С2 (О) системы уравнений (21) с условиями (23) и (25) определяется по формуле (29).
Доказано, что корректность задачи является следствием корректности задачи Коши, решение которой использовалось при доказательстве теоремы, и однозначной разрешимости системы уравнений Вольтерра II рода с ядром Абеля (35).
З а м е ч а н и е 1. Если в условиях задачи матрица В(х) не завистит от х и является обратимой, то система интегральных уравнений (35) становится системой уравнений Абеля II рода. Ее решение может быть получено в терминах матричной функции Миттаг - Леффлера [4,18], когда В- представима матрицей к(0), где к(г) - любая аналитическая функция,
определенная на спектре Л(О) матрицы О.
Действительно, обозначая В ~1а(0) = 1(0), В -1Г(х) = ф(х), получим систему интегральных уравнений вида (13), в которой 1(0) определяется по формуле (12):
п(х)-1(0)О-,Е-20Чх) = Ф(х).
Ее решение может быть найдено по формуле (15) или (16), если в них положить А = Е - 20 .
З а м е ч а н и е 2. Если в подстановке задачи 1 заменить условие (25) на условие (26), то из системы уравнений (34) неизвестная вектор - функция т(х) определяется явным образом:
т(х) = [у(0)-Л(х)]-1 [с(х)+В(х)п(х)-а(0 )Б -,е-20) п(х)], в предположении существования обратной матрицы [у(0)- Л(х)]-1 всюду на [0,1].
З а д а ч а 2. Найти регулярное в О решение системы уравнений (21), удовлетворяющее
условию (24) при а(г)= т +2—г и условию (26). Компоненты [2X 2] - функциональных
2(т +1)
матриц Л(х), К(х, у) и векторов с(х), у(х) - заданные функции.
Указанная в условии задачи функция а(х) принимает на матрице В значение:
а(в)= . 1 . [(т + 2)Е - В] = . 1 . (2тЕ + 2Е - В - тЕ) = Е - В. + т— = Е - О .
^ ’ 2(т +1^^^ 2(т +1) 2(т +1)
Пусть в условии (24) матрица К(х, у ) = В( х)уВ. Тогда, обозначая неизвестную вектор -функцию и (х,0) = х(х) и учитывая условие (26), запишем условие (24) в терминах матрицы О :
Б 0е-0 и[0 0 (х)] = Л(х)т(х)+В(х)п(х) + с(х). (36)
Подставляя в (36) значение вектора и[00 (х)], вычисленное по формуле (32), для определения неизвестной в представлении решения задачи Коши (29) функции т(х), получим систему дифференциальных уравнений дробного порядка.
Действительно,
Б Е;° и[0 0 (х)] = у(0 )Б —х-0 Б -0О т(х) + с(0 )Б —;о Б -,Е-о > х п(х) =
= у(0 )Б 0—-0хЕ~20 Б -0 т(х ) + а(0 )х - п(х) с учетом коммутативности функций от матрицы 0 , определения матричного оператора Эрдейи
- Кобера и свойств матричных интегродифференциальных операторов Римана - Лиувилля. Используя тождество [4]
Б — -О „.— -2^г»-Ог _ ,„-^т\Е-20,„Е-0
получим
|>Е-0 Е-20п -О* _ -0ПЕ-20 —0*
^0х Л ^0х 1 _ Л Ох Л 1
у(0 )х-0 Б —-ш т(х) + а(0)х "о у(х) = Л(х)т(х) + В(х )п(х) + с(х). (37)
Решение системы уравнений (37) будем искать в классе вектор - функций, представимых матричным интегральным оператором 120_Е [4]. Тогда существует вектор - функция ф(х):
т(х) = Б-Xе-20-ф(х), такая, что система уравнений (37) редуцируется к следующей системе интегральных уравнений Вольтерра:
у(0 )ф(х)-х0 Л(х)Б -,Е-20} ф(х) = Г (х), (38)
где Г (х) = х0 с(х) + [х0 В(х)-с(0 )]у(х) - известная по условиям задачи функция.
Если матрица х0Л(х)е С[0,1], то решение системы интегральных уравнений (38) существует и единственно в классе непрерывных функций.
Теорема 2. Пусть Л(х), В(х), с(х)е С[0,1]п С2 (0,1), К (х, у) = В(х)уВ . Если
и (х,0)е I —~20 , то единственное решение и(х, у) е С (о)п С2 (О) системы уравнений (21) с условиями (24) и (26) определяется по формуле (29).
З а м е ч а н и е 1. В частном случае, когда матрица Л(х) = х~оу 1 (О), где у 1 (г) -произвольная аналитическая функция, определенная на спектре матрицы 0, система уравнений (38) превращается в систему интегральных уравнений Абеля II рода, решение которой нетрудно выписать в терминах матричной функции Миттаг - Леффлера.
З а м е ч а н и е 2. Если в постановке задачи 2 условие (26) заменить на условие (25), то из системы уравнений (37) сразу следует, что
п(х) = [х°В(х)-а(<°)] 1 |у(<°)БЕ'2G -Л(х)]кх)-с(х)}
при условии обратимости матрицы х0 В(х)-с(0) всюду на [0,1].
Доказательства всех утверждений очевидны и следуют из однозначной разрешимости систем уравнений Вольтерра II рода или из существования соответствующих обратных матриц.
Принадлежность решений требуемым классам функций проверяется непосредственно. Корректность поставленных задач теперь становится следствием корректности задачи Коши.
Отметим, что нелокальные краевые задачи для систем уравнений гиперболического типа с вырождением первого и второго рода или вырождением порядка рассматривались авторами настоящей работы в [19-27].
БИБЛИОГАФИЧЕСКИЙ СПИСОК
1. Гантмахер Ф. Р. Теория матриц. М.: Наука , 1967. 567с.
2. Андреев А.А., Килбас А.А. О некоторых ассоциированных гипергеометрических функциях // Изв. высш. учеб. заведений. Матем. 1984. №12. С.3-12.
3. Андреев А. А. О некоторых приложениях ассоциированных гипергеометрических функций // Дифференциальные уравнения (математическая физика): Тез. докл. участников Куйбышвского област. межвуз. науч. совещания-семинара. Куйбышев, 1984. С. 8-9.
4. Андреев А.А., Огородников Е.Н. Матричные интегродифференциальные операторы и их применение // Вестн. Самар. техн. ун-та. Сер.: Физ.-мат. науки. Самара: СамГТУ. 1999. Вып. 7. С.27-37.
5. Бейтман Г., Эрдейи А. Высшие трансцендентные функции. В 3т. Т.3. Элиптические и автоморфные функции. Функции Ламе и Матье. М.: Наука, 1967. 299 с.
6. Джрбашян М.М. Интегральные преобразования и представления функций в комплексной области. М.: Наука, 1966. 672 с.
7. Андреев А.А. Нелокальные краевые задачи для одной модельной вырождающейся системы гиперболического типа // Краевые задачи для уравнений математической физики. Сб. трудов. Куйбышев: Изд-во Куйбыш. пед. ин-та, 1990. С.3-6.
8. Андреев А.А. Об одном обобщении операторов дробного интегродифференцирования и его приложения // Интегральные уравнения и краевые задачи математической физики. Матем. Всесоюзн. конф. Владивосток: 1990. С.91.
9. Самко С. Г., Килбас А. А., Маричев О. И. Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. 688 с.
10. Мюнтц Г. Интегральные уравнения. Т.1. Л.-М.: ГТТИ, 1934. 330 с.
11. Трикоми Ф. Интегральные уравнения. М.: ИИЛ, 1960. 330 с.
12. HillE., Tamarkin J.D. On the theory of liner equation // Ann. Math. 1930. Vol. 31. P. 479-528.
13. Бицадзе А.В. Некоторые классы уравнений в частных производных. М.: Наука, 1981. 448 с.
14. Бицадзе А.В. К теории одного класса уравнений смешанного типа. // Некоторые проблемы математики и механики. М.-Л.: Наука, 1970. С. 112-119.
15. Андреев А.А. О методе Римана для одной системы уравнений гиперболического типа с кратными характеристиками // Корректные краевые задачи для неклассических уравнений математической физики. новосибирск: ИМ СОАН СССР. 1981.
16. Андреев А.А. Задача Коши для некоторых вырождающихся гиперболических система второго и четвертого порядков // Дифференц. и интегральные уравнения. Межвуз. сб. научн. трудов. Куйбышев: КГПИ, 1987. С.46-57.
17. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1968. 496 с.
18. Андреев А.А., Огородников Е.Н. Нелокальные краевые задачи для одной системы уравнений с вырождением порядка // Труды средневолжского математического общества. Т.2. Саранск: СВМО, №1, 1999. С.75-76.
19. Огородников Е.Н. О нелокальной краевой задаче для одной модельной вырождающейся системы гиперболического типа // Неклассические уравнения математической физики. Новосибирск: ИМ СОАН СССР,. 1988. С. 150-15.
20. Андреев А.А., Огородников Е.Н. О некоторых нелокальных краевых задачах для одной модельной вырождающейся системы гиперболического типа // Линейные операторы в функциональных пространствах. Матер. регион. конф. Грозный: Чечено - ингуш. ун-т, 1989. С.23-24.
21. Андреев А.А., Огородников Е.Н. Нелокальные краевые задачи для вырождающейся системы и интегральные уравнения третьего рода // Интегральные уравнения и краевые задачи математической физики. Матем. Всесоюз. конф. Владивосток, 1990. С.97.
22. Огородников Е.Н. Две нелокальные краевые задачи для вырождающейся системы гиперболического типа // Математическое моделирование и краевые задачи. Труды пятой межвуз. конф. Самара: Сам. техн. ун-т, 1995. С.81-82.
23. Огородников Е.Н. Краевые задачи со смещением для вырождающейся системы гиперболического типа // Математическое моделирование и краевые задачи. Труды шестой межвуз. конф. Самара: Сам. техн. ун-т, 1996. С.75-77.
24. Огородников Е.Н., Сеницкий А.Ю. Об одной нелокальной краевой задаче для вырождающейся системы гиперболического типа // Математическое моделирование и краевые задачи. Тр. седьмой межвуз. конф. Самара: Самар. техн. ун-т, 1997. С. 60-65.
25. Андреев А.А., Огородников Е.Н. Некоторые краевые задачи с условием типа Бицадзе - Самарского для системы уравнений с оператором Бицадзе - Лыкова // Математическое моделирование и краевые задачи. Труды девятой межвуз. конф. Самара: Сам. техн. ун-т, 1999. С.3-11.
26. Огородников Е. Н. О корректности некоторых нелокальных краевых задач для системы уравнений Бицадзе -Лыкова с инволютивной матрицей// Математическое моделирование и краевые задачи. Труды девятой межвузовской конференции. Самара: Самар. техн. ун-т, 1999. С. 97-102.
27. Огородников Е. Н. О некоторых краевых задачах для системы уравнений Бицадзе - Лыкова с инволютивной матрицей // Математическое моделирование и краевые задачи. Труды десятой межвуз. конф. Самара: Самар. техн. ун-т, 2000. С. 119-125.
