CC BY
10
ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ И ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
УДК 517.983.5, 517.968.7
doi: 10.18101/2304-5728-2016-3-3-14
О М. В. Фалалеев
Интегро-дифференциальные уравнения с вырождением в банаховых пространствах
В работе исследуются интегро-дифференциальные уравнения в банаховых пространствах специального вида с нетеровым оператором в главной части. Исследования проводятся в пространстве обобщенных функций со значениями в банаховых пространствах и с носителем на положительной полуоси. В работе применяется аппарат фундаментальных оператор-функций, который позволяет восстанавливать обобщенное решение в сверточном виде и уже на этой основе получать теоремы о разрешимости исследуемых задач в классах функций конечной гладкости. Такой метод исследования позволяет автоматически решать задачу согласования входных данных для существования классических (гладких) решений, а также получать формулы для представления решений как в пространстве распределений, так и в пространствах функций конечной гладкости. Рассмотренные в работе интегро-дифференциальные уравнения позволяют в наиболее общей постановке исследовать математические модели теории колебаний в вязкоупругих средах или теории электрических цепей.
Ключевые слова: нетеров оператор, фундаментальное решение, свертка, обобщенная функция.
©M.V. Falaleev
Integro-differential Equations with Degenerating in Banach Spaces
In this paper integro-differential equations of the special type with Noethe-rian operator in main part in Banach spaces is investigated. All investigations conduct in space of generalized functions with value in Banach spaces and with support on positive semiaxis. In this paper instrument of fundamental operator-functions is application, this instrument make possible reconstruct of generalized solutions in convolution form and on this basis obtain theorem about solvability being investigated problems in set of function of finite smoothness. This method of investigations make possible automatically solve problem of agreement input data for existence of classical (smooth) solutions and also obtain formulas for representation of solutions both in spaces of distributions and in spaces of functions of finite smooth. Examined in this paper integro-differential equations make possible in most general form investigated mathematical models of theory of oscillations in visco-elastic medium or of theory of electric chain.
Keywords: Noetherian Operator, fundamental solution, convolution, generalized function.
Введение
Для математического моделирования физических и технологических процессов, на текущее состояние которых усредненно влияет вся предыстория наблюдений, применяется аппарат начально-краевых задач для ин-тегро-дифференциальных уравнений в частных производных. В этом типе уравнений выделяется класс уравнений, неразрешенных относительно старшей по времени производной. В наиболее общей постановке такие задачи можно исследовать путем их редукции к дифференциальным уравнениям в банаховых пространствах. Данная работа посвящена исследованию задачи Коши для уравнения вида
t
Bu[N\t) = Au(t) + \k(t - s)u(s)ds + f(t\
0
здесь В, A, k(t) - замкнутые линейные операторы с плотными областями определения, действующие из банахова пространства Ех в банахово пространство Е2, причем оператор-функция k{t) имеет следующий специальный вид k{t) = a(t)A + fi(t)B. Случай, когда оператор В фредгольмов исследован в работе [1], случаи когда P{t) = 0, а оператор В фредгольмов, нетеров или операторный пучок (В — А/1) является спектрально ограниченным исследовались в цикле работ [2, 3,4], соответственно случаи a(i) = 0 и оператор В фредгольмов или операторный пучок {В-ХА) спектрально ограничен исследовались в работах [5, 6]. В данной статье представлены результаты исследования случая когда k(t)= ¡5{t)B и В -оператор конечного индекса [7].
1. Постановка задачи, основные условия и обозначения
Рассматривается задача Коши для уравнения
t
Bu(N) (t) = Au(t) + j fi(t -s)Bu(s)ds + f(t), (1)
о
с начальными условиями
u(0) = u0,u(0) = ul,...,u{N~l) =uN_x, (2)
где В, A - замкнутые линейные операторы действующие из Е1 в Е2, здесь и далее везде ЕХ,Е2 - банаховы пространства, /)(/i) = 1)(Л) = А',. D(B)^D(A), R(B) = R(B), оператор В - нетеров [7], т.е. dimjV(5) = п, = т, пФт.
Ведем обозначения фг i = \.....п - базис ядра М(В) а Е1 оператора В,
ср., j = \,...,т - базис ядра A'(/T)cz /С сопряженного оператора ВС, (v J (Е 1С; и {г , je 1С соответствующие этим базисам биортогональные
п
системы элементов [7]. Построим проекторы Р = ^(чи
О = 'Ух-.срС?:. в этих предположениях, как показано в монографии [8],
существует ограниченный оператор В , называемый псевдообратным к В, задаваемый однозначно следующим набором своих свойств: в{в+) = К{в)®{г1,...,гт\ к(в+) = М(р) П 0(в\ ВВ+=1~0 на б(в+\ В+В = 1-Р на Б(В\ тогда к{в+)={г1,...^т\ ВВ+В = В и
В+ВВ+ = В . Для псевдообратного оператора В существует сопряженный к нему ограниченный оператор В такой, что
£>(в+*)=д(в*)е{к,...,гЛ д(я+*)=;ф*)П£>(в*)1 в+*в*=1-(£
на В(В+'} В*В+*=1-Р* на причем ы{в+")= {уг,...,/„}
В*В+*В*=В\ В+*В*В+* =В+* и В+*=В*+, здесь Р' =^{фг,-)гг и
у=1
Далее будем предполагать, что
А) оператор В имеет полный А -жорданов набор [9], т.е. существуют системы элементов Е^,! = \,.. ,,п, к = \,.. .,pi и функционалов
{^Т}е£2*, 7' = 1,• • •,т,£ = 1 ,...,р} такие, что
Вф^ = Аф\кл\ к = 2,...,рг, ф?> = ф{, / = 1.....и,
В*ср(к) = А*(р{*~1), к = 2,...,р., = <р], у = 1,...,т,
и
1АФ\р,)=rang (ф^А*(р\Р]Л = т\п(п.т) = I.
rang
Присоединенные элементы ф)к' и функционалы ср^р можно восстанавливать по формулам
фМ = В+Аф?-1) = (B+Afl ф®, <pf = jrA'tpf-V = (B+*A*fl <pU.
В работах [9, 10, 3] показано, что базисы {} и |с/)( } и биортогональные системы элементов и |z(| можно выбрать таким образом, чтобы
) = 0, = 1.....и, к> 2, = 0, = 1,.. ,,т, к> 2, = Л^Ч
7 = 1,...,/.
Более подробно с перестроениями базисов можно ознакомиться по работе [11] и библиографии к ней, основные формулы можно найти также в [10] и [3].
Далее в работе будем использовать обозначения: Я (7) - резольвента ядра = [" функция
Хевисайда [12];
под степенью обобщенной функции (<5 (/) + (/)) или (с)1^-1 (7)-/? (7)0 (7)) будем понимать ее А:-кратную свертку с собой [12],
причем нулевая степень обобщенной функции есть 5 (/) - дельта-функция Дирака [12];
через 0/ = (-.ср^г^ / = 1.. ...т обозначаются проекторы, прямая сумма которых составляет <2, а также введем проектор
1=1 }=1
причем если п>т, то в этом «проекторе» ф^ = 0 при / = т + \,...,п, а ср^ е Е2, / = т +1,...,«; у = 2,.. .,pi - произвольные функционалы; через (/ ) обозначим оператор-функцию
со
определение свертки обобщенных функций см. [12].
2. Теоремы о фундаментальных оператор-функциях
Поскольку задача Коши (1) - (2) с нетеровым оператором В разрешима в классе Сх (/ > 0.Л, ) не при любых правых частях /(/) и начальных условиях (2), то будем строить решение в пространстве распределений К'+ (Е1) - обобщенных функций с ограниченным слева носителем. В
классе К[ (Л,) задача (1) - (2) переписывается в сверточном виде
(г) - Аб (г) - В(5 (Г)0(Г>) * ы (Г) = £ (0, (3)
где
ё(г) = /(г)в(г) + Яы^Я(г) + Виы_28'(г) + • • • + Вщ5(^2) (г) + Ви08(ы~1) (г).
Фундаментальной оператор-функцией для интегро-дифференциаль-ного оператора = называется обоб-
щенная оператор-функция Еы({) удовлетворяющая следующим двум сверточным равенствам
= V й(т)еК'+(Е2), (4)
Е„ (ОИО)*Ч*)= *(')> ^(г)еК {Е,). (5)
Из равенства (4) следует, что функция й(/) = Еы (/) * g (/) действительно является решением уравнения (3), а равенство (5) означает, что оно единственное в классе К[ (Л,) . Таким образом, построение фундаментальной оператор-функции решает задачу существования и единственности решений (в соответствующих классах).
При доказательстве теоремы 2 в работе [3] были доказаны нужные для дальнейшего операторные равенства, которые приведем здесь (без доказательства) в виде вспомогательной леммы
Лемма. Если для нетерова оператора В выполнено условие А) и п<т, то
АВ+[1-О\В-[1-О\А = О, (6)
+ = 1. (7)
1=1 j=\
В той же работе [3] или в [10] (см. заключительный этап доказательства теоремы 1 на стр. 1399) приведено доказательство еще одного равенства
= Мк>\п>т. (8)
Теорема 1. Если для нетерова оператора В выполнено условие А) и п>т, то интегро-дифференциальный оператор (<5 (/)) имеет фундаментальную оператор-функцию вида
Я„(г) = 2Г^(г)[/-0]-#(г), (9)
где
Доказательство. Покажем справедливость равенства (4). Действительно
В (ем (о - р (ов (0) * ги„ (0 [/ - о]=(I - д) х
к= 1
(/<5(0)*(0•(*(')+*(00(0) К)
А5 (г) * В+иы (г) [1-0\ = АВ+иы (0 [/ - е],
таким образом
ьы (<5 (0) *в+им (г) [I- ё] = (/ ■- 0) [I- й] 3 (г) ■- дАБ+иы (г) [/ - ё]
и в силу равенства (8) Далее, т.к. Вф^р = 0, то
к=О ^ >=1 р! [ р; -¿-1
= 1
/=1
п
= 1
¿=1
п
= 1
ч/с+1
¿=0 [ >=1
ч/с+1
¿=0 [ >=1
¿=1 [>=1
=1
р1 -2 [ р1 -к-1
ч/с+1
¿=0 [ >=1
Отсюда в силу равенств получаем
¿=1 [¿=0 [ >=1 ^
Из приведенных выкладок следует
(<5 (0) * ^ (0 = {1-0)[1~ 0\8^) + й8 (г) =
= (1-в-в + в + <2)*(0 = 1*(0' т.е. равенство (4) доказано. Равенство (5) в условиях данной теоремы не выполняется, т.к. представление для фундаментальной оператор-функции Л, (/) содержит свободные функционалы, а значит, говорить о единственности решения уравнения (3) не приходится. Теорема 1 доказана.
Теорема 2. Если для нетерова оператора В выполнено условие А) и п < да, то интегро-дифференциальный оператор (<5 (/)) имеет фундаментальную оператор-функцию Еы (/) вида (9) на подклассе обобщенных функций из К'+ (Е2), удовлетворяющих условиям
&АВ?иы (г)0 (г) * V (г) = О, у = п + \,...,т.
Доказательство. Повторяя рассуждения, проведенные при доказательстве теоремы 1, получим
Ьы (<5 (г)) * Еы (г) = 18 (г) - £42Г^ (г) [1~0\ = = 18(1)- X <2УАВ+им(1) [1-0\=18^)~ ± &АВ+и„^Щ),
1' т 1 1' т 1
т.е. равенство (4) на указанном подклассе выполнено. Докажем теперь равенство (5). Действительно
В+иы (г)[/ -0\*В (<5'» (г) - р (Г)0(Г>) = в+ [I- 0\В8 (г) +
(к- 1)АЧ
+В+Т
\к-1
[1-0\в =
(')+*(0*(0)К)
= 2Г [/ - ё] (0 + (0 ¿Г [1~й]в, В+иы (г)[/ - ё] * АЗ (г) = В+иы (г) [/ - ё] А, отсюда на основании равенства (6) получаем
В+им(1)[1-0\*Ьм (<5 (г)) = В+ [I - ё] В8 (г) +
+в+иы (г)[ав+ [1-о\в-[1-о\а) = В+ [I - 0\В8 (г).
Далее, т.к. = 0, имеем
= 1
1=1
п
= 1
/=1
п
=1
р1 -1 [ р1 -к
к=О [ >=1
к=О [>=2
¿+1
# Г д -¿-1
к=О [ >=1
Н(1)*А8(1) = ±
I\ Ъ ^)(8М (0-- Р(0-9(0)
Я -1 [ д ,
¿=0 [ >=1
= 1
= 1
¿=1 }=1
¿+1
1=1 .7=1
Отсюда в силу равенств В"(р.' 11 = А*(р]к', получаем
¿=0 ^ >=1 я Д
=1
Таким образом, на основании (7) имеем
¿=1 >=1
¿+1
<5 (0 = 16 (г),
т.е. равенство (5) доказано.
Теорема 2 доказана.
Замечание 1. Если в условиях теорем 1 и 2 т = п, т.е. оператор В окажется фредгольмовым, то представление (9) для фундаментальной оператор-функции Л\ (/) сохранит свой вид с заменой псевдообратного оператора В+ на оператор Треногина-Шмидта Г [7], при этом никаких свободных функционалов в представлении функции Н({) не будет. Таким образом, во фредгольмовском случае (т = п) результат теорем 1 и 2 этой заметки трансформируется в основное утверждение работы [5].
Замечание 2. Очевидно, наиболее простой вид представление (9) для фундаментальной оператор-функции примет при т = п и р1 = р2 =... = рп = 1, а именно,
Ёы (г) = Тйы (0 [/■- £?].- ± (•, фр (г),
здесь
Ж-1
Соответственно в этом случае единственным решением задачи Коши (1) - (2) в классе (или единственным решением уравнения (3))
является регулярная обобщенная функция = g{t). Непосредст-
венно вычисляя (см. [5]), находим
/ 1
и в силу линейной независимости элементов базиса \ф!} получаем следующее утверждение [5].
Теорема 3. Если для фредгольмова оператора В (т = п) в условиях А) длины всех А -жордановых цепочек равны 1, то исходная задача Коши (1) - (2) имеет единственное решение класса Сх (/ > 0. Л,) тогда и только тогда, когда выполнены условия
(Аиу+/Л(0),<р.} = 0, у = 0,1,...,(^-1), / = 1,2,...,«.
3. Приложения
Проиллюстрируем доказанные теоремы на следующем примере. Рассмотрим начально-краевую задачу из теории вязкоупругих процессов [13]
я2 1
(Л-А)-^-Аи-$§({-т)(Л-А)и(т,х)с1т = /((,х), (10)
I / \ ди
и\ =иЛху. —
= и1(х); и\дп=0,(>0, (11)
здесь А - оператор Лапласа, хеПсй" - ограниченная область с границей 80. класса С00, решение и (/. х) ищется в цилиндре И х £1 Задачу Коши-Дирихле (10) - (11) можно редуцировать к задаче Коши (1) - (2) если положить
Ех = {у(д ) е Г22 (О); = о}, Е2 = Ж2 (П), (12)
В = Х- А, А = А, А е <т(Д), IV^ (О.) - пространство Соболева. В этом
случае оператор В фредгольмов, ядро которого состоит из семейства (конечного) линейно независимых решений однородной задачи Дирихле для оператора Лапласа Аф = Хф, ф\ = 0, тогда длины всех А -жордановых
цепочек равны 1. В соответствии с теоремой 3 справедливо следующее утверждение.
Теорема 4. Пусть для задачи Коши-Дирихле (10) - (11) пространства Ех и Е2, операторы В и А выбраны как в (12), тогда существует единственное решение и (/.х) е С2 (/ > 0, Ех) задачи (10) - (11) если начально-краевые условия (11) удовлетворяют соотношениям
[Ли0 (х) + /(0,х),<Д. (х)) = 0, Лщ (х) + ' (х) 1 = 0,7 = 1,..
V
Заключение
Теоремы 1 и 2 данной заметки обобщают результаты работы [5] и дополняют результаты статьи [6], тем самым задача Коши (1) - (2) в данной постановке исследована во всех основных случаях сингулярности операторного пучка (в-ла), а именно, фредгольмовости, нетеровости, спектральной, секториальной и радиальной ограниченности.
Литература
1. Фалалеев М. В. Сингулярные интегро-дифференциальные уравнения специального вида в банаховых пространствах и их приложения // Изв. Иркут. гос. ун-та. Сер. Математика. — 2013. — Т. 6, № 4. — С. 128 -137.
2. Falaleev М. V., Orlov S. S. Degenerate Integra-Differential Operators in Banach Spaces end Their Applications // Russian Mathematics. — 2011. — Vol. 55, № 10. — C. 59-69.
3. Фалалеев M. В., Орлов С. С. Обобщенные решения вырожденных интегро-дифференциальных уравнений в банаховых пространствах и их приложения // Труды ин-та математики и механики УрО РАН. — 2012. — Т. 18, №4, — С. 286-297.
4. Фалалеев М. В., Орлов С. С. Вырожденные интегро-дифферен-циальные уравнения специального вида в банаховых пространствах и их приложения // Вестник ЮУрГУ. Сер. «Математическое моделирование и программирование». — 2011. — Вып. 7, № 4(221). — С. 100 - 110.
5. Фалалеев М. В. Интегро-дифференциальные уравнения с фредголь-мовым оператором при старшей производной в банаховых пространствах и их приложения // Изв. Иркут. гос. ун-та. Сер. Математика. — 2012. — Т. 5, № 2. — С. 90 - 102.
6. Фалалеев М. В. Линейные модели теории вязкоупругости соболевского типа // Вестник ЮУрГУ. Сер. «Математическое моделирование и программирование». — 2013. — Т. 6, № 4. — С. 101 - 107.
7. Вайнберг М. М., Треногин В. А. Теория ветвления решений нелинейных уравнений. — М.: Наука, 1969. — 528 с.
8. Nashed М. Z. Generalized inverses and applications. — New York-San Francisco-London: Academic Press, 1976. — 1055 p.
9. Сидоров H. А., Романова О. А. О применении некоторых результатов теории ветвления при решении дифференциальных уравнений с вырождением // Дифференц. уравнения. — 1983. — Т.19, № 9. — С. 1516 -1526.
10. Фалалеев М. В., Гражданцева Е. Ю. Фундаментальные оператор-функции вырожденных дифференциальных и дифференциально-разностных операторов с нетеровым оператором в главной части в банаховых пространствах // Сиб. мат. журн. — 2005. — Т. 46, № 6. —
С.1393 - 1406.
11. Сидоров Н. А., Романова О. А., Благодатская Е. Б. Уравнения с частными производными с оператором конечного индекса при главной части // Дифференц. уравнения — 1994. — Т.30, № 4. — С. 729 - 731.
12. Владимиров В. С. Обобщенные функции в математической физике. — М.: Наука, 1979. — 320 с.
13. Cavalcanti М. М., Domingos V. N. Cavalcanti, Ferreira J. Existence and Uniform Decay for a Non-Linear Viscoelastic Equations with Strong Damping // Math. Meth. Appl. Sci. — 2001. — Vol. 24. — P. 1043 - 1053.
References
1. Falaleev M. V. Singuljarnye integro-differencial'nye uravnenija spe-cial'nogo vida v banahovyh prostranstvah i ih prilozhenija // Izv. Irkut. gos. unta. Ser. Matematika. — 2013. — Т. 6, № 4. — S. 128 -137.
2. Falaleev M. V., Orlov S. S. Degenerate Integra-Differential Operators in Banach Spaces end Their Applications // Russian Mathematics. — 2011. — Vol. 55, № 10. — S. 59-69.
3. Falaleev M. V., Orlov S. S. Obobshhennye reshenija vyrozhdennyh inte-gro-differencial'nyh uravnenij v banahovyh prostranstvah i ih prilozhenija // Trudy in-ta matematiki i mehaniki UrO RAN. — 2012. — T. 18, № 4. — S. 286-297.
4. Falaleev M. V., Orlov S. S. Vyrozhdennye integro-differencial'nye uravnenija special'nogo vida v banahovyh prostranstvah i ih prilozhenija // Vestnik JuUrGU. Ser. «Matematicheskoe modelirovanie i programmirovanie». — 2011, —Vyp. 7, № 4(221). — S. 100-110.
5. Falaleev M. V. Integro-differencial'nye uravnenija s fredgol'movym op-eratorom pri starshej proizvodnoj v banahovyh prostranstvah i ih prilozhenija // Izv. Irkut. gos. un-ta. Ser. Matematika. — 2012. — T. 5, № 2. — S. 90 - 102.
6. Falaleev M. V. Linejnye modeli teorii vjazkouprugosti sobolevskogo tipa // Vestnik JuUrGU. Ser. «Matematicheskoe modelirovanie i programmirovanie». — 2013. — Т. 6, № 4. — S. 101 - 107.
7. Vajnberg M. M., Trenogin V. A. Teorija vetvlenija reshenij nelinejnyh uravnenij. — M.: Nauka, 1969. — 528 s.
8. Nashed M. Z. Generalized inverses and applications. — New York-San Francisco-London: Academic Press, 1976. — 1055 p.
9. Sidorov N. A., Romanova О. А. О primenenii nekotoryh rezul'tatov teorii vetvlenija pri reshenii differencial'nyh uravnenij s vyrozhdeniem // Different uravnenija. — 1983. — T.19, № 9. — S. 1516 - 1526.
10. Falaleev M. V., Grazhdanceva E. Ju. Fundamental'nye operator-funkcii vyrozhdennyh differencial'nyh i differencial'no-raznostnyh operatorov s net-erovym operatorom v glavnoj chasti v banahovyh prostranstvah // Sib. mat. zhurn. — 2005. — T. 46, № 6. — S. 1393 - 1406.
11. Sidorov N. A., Romanova O. A., Blagodatskaja E. B. Uravnenija s cha-stnymi proizvodnymi s operatorom konechnogo indeksa pri glavnoj chasti // Differenc. uravnenija. — 1994. — T.30, № 4. — S. 729 - 731.
12. Vladimirov V. S. Obobshhennye funkcii v matematicheskoj fizike. — M.: Nauka, 1979. — 320 s.
13. Cavalcanti M. M., Domingos V. N. Cavalcanti, Ferreira J. Existence and Uniform Decay for a Non-Linear Viscoelastic Equations with Strong Damping // Math. Meth. Appl. Sci. — 2001. — Vol. 24. — P. 1043 - 1053.
Фалалеев Михаил Валентинович, доктор физико-математических наук, профессор кафедры математического анализа и дифференциальных уравнений Иркутского государственного университета, e-mail: [email protected].
Falaleev Mikhail Valentinovich, DSc, Professor of Institute of Mathematics, Economics and Information Science of Irkutsk State University.
