ISSN 1810-0198. Вестник Тамбовского университета. Серия Естественные и технические науки
Том 23, № 121
2018
УДК 517.927+977
DOL 10.20310/1810-0198-2018-23-121-44-64
ОБОБЩЕННАЯ ГРАНИЧНАЯ ЗАДАЧА ДЛЯ УПРАВЛЯЕМОЙ СИСТЕМЫ С ОБРАТНОЙ СВЯЗЬЮ И БЕСКОНЕЧНЫМ ЗАПАЗДЫВАНИЕМ
ас М. М. Кулманакова В. В. Обуховский2), Е.Л.Ульянова31
1;' ВУНЦ ВВС «ВВА им. проф. Н.Е. Жуковского и Ю.А. Гагарина» 394064, Российская Федерация, г. Воронеж, ул. Старых Большевиков, 54А E-mail: [email protected] 2- ФГБОУ ВО «Воронежский государственный педагогический университет» 394043. Российская Федерация, г. Воронеж, ул. Ленина. 86 El-mail: [email protected] ФГБОУ ВО «Воронежский государственный технический университет» 394006, Российская Федерация, г. Воронеж, ул. 20 лет Октября, 84 El-mail: [email protected]
Аннотация. Рассмотрена нелокальная граничная задача для управляемой системы с обратной связью, описываемой полулинейным функционально-дифференциальным включением с бесконечным запаздыванием в сепарабель-ном банаховом пространстве. В качестве примера приведены обобщенная задача Коши и периодическая задача.
Ключевые слова: управляемая система; обратная связь; функционально-дифференциальное включение; нелокальная граничная задача; бесконечное запаздывание; мера не компактности; уплотняющий оператор; неподвижная точка; топологическая степень
Введение
Начиная с работы P. Zecca и P.L. Zczza |1|, нелокальные граничные задачи для дифференциальных включений различных типов в банаховом пространстве рассматривались при различных предположениях в целом ряде работ (см., например, [2]-[4], [5], [6], [7], [8], [9], [10], [11] и др.).
В настоящей работе мы рассматриваем граничные задачи общего вида для нового класса управляемых систем с обратной связью, описываемых полулинейными дифференциальными включениями с бесконечным запаздыванием, в которых звено обратной связи подчинено включению с невыпулозначным оператором. Отметим, что системы
Работа В.В. Обуховского выполнена при поддержке Российского фонда фундаментальных исследований (проекты №№ 17-51-52022, 16-01-00370, 16-01-386)
с бесконечным запаздыванием являются достаточно эффективной моделью исследования многих физических феноменов и они достаточно интенсивно изучаются в последние десятилетия (см., например, монографию |12] и имеющиеся там ссылки).
Работа имеет следующую структуру. В следующем параграфе мы приводим необходимые сведения из теории многозначных отображений и фазовых пространств бесконечных запаздываний. В параграфе 2 формулируется основная задача и обосновывается ее сведение к нахождению неподвижной точки многозначного интегрального оператора (Теорема 2.1). На этой основе приводится общий принцип существования решения рассматриваемой задачи (Теорема 2.3) и в качестве его применения рассматриваются конкретные достаточные условия существования решения (Теорема 2.4) и оптимального решения (Теорема 2.5). В последнем параграфе в качестве примеров рассматриваются частные случаи: нелокальная задача Коши и периодическая задача.
1. Предварительные сведения.
1.1. Многозначные отображения и меры некомпактности.
Нам понадобятся некоторые сведения из многозначного анализа и теории топологической степени для уплотняющих отображений (см., например, [13], [14], [15], [16],
[17])-
Пусть X - метрическое пространство; Т - нормированное пространство. Символом Р)]-+ обозначается совокупность всех непустых подмножеств пространства К)Т-\-и Ку)]--\- обозначают совокупности, состоящие из всех непустых компактных или, соответственно, выпуклых компактных подмножеств пространства Т.
Для ( / К)7-+ обозначим
( [ пс! } ы ;ы / ( | .
Определение 1.1. Мультиотображение б ; А' ос Р)Т-\- называется полунепрерывным сверху в точке х / X, если для любого открытого подмножества IV —ъТ-, такого что Я)х-\—найдется такая окрестность 1/)ж+точки х, что 0)У)х-(+< Ж
Мультиотображение 0 называется полунепрерывным сверху (пн.св.), если оно полунепрерывно сверху в каждой точке пространства X.
Определение 1.2. Мультиотображение 0 ; X сю Р)]--\- называется компактным, если его область значений б)Х+- относительно компактное подмножество Т. Если пн.св. мультиотображение 0 компактно на ограниченных подмножествах X, то оно называется вполне пп.св.
Пусть )Л, С 1-|—некоторое частично упорядоченное множество, 7 нормированное пространство.
Определение 1.3. Отображение /3 ; Р)^Н-оо А называется мерой некомпактности (МНК) в если для любого ( / Р)Р+ выполнено
Мера некомпактности /3 называется:
2+ монотонной, если из ( 1} ( 2 / Р)и ( г < ( 2 вытекает, что В) ( i+> /3) (
3+ несингулярной, если для любых ( / а / Т выполнено В)( { }а| +[ В)(
4+ инвариантной относительно объединения с компактным множеством, если для любых ( / Р).и X - относительно компактного подмножества J7 выполнено
Ж { К+[ £)(+=
5+ полуаддитивной, если fi)( 0 { ( i+[ n d }/?)( 14 Для всех ( 0, ( ! /
6+ инвариантной относительно отражения в нуле, если /3) ( +[ /3)( +для каждого (
7+ вещественной, если А [ ]1,0 Е ас естественным порядком и для любого ограниченного множества ( / P)J-+ выполнено /3)( +< <Е .
Если А - конус в нормированном пространстве, то МНК В называется:
8+ алгебраически полу аддитивной, если /3)( 0 0 ( i + > /3)( 0-Ю /3)( !+для всех ( 0, (i
: + правильной (регулярной), если /3)( +[ 1 равносильно относительной компактности ( .
Мерой некомпактности, для которой выполнены все вышеприведенные свойства, является МНК Хаусдорфа
Х)( +[ loi }éT > 1 ; ( имеет конечную £ сеть| .
Пусть Е - банахово пространство. Нам понадобятся следующие меры некомпактности в пространстве непрерывных функций C)]l,
1) модуль равностепенной непрерывности:
Il pf С)( +[ ЙП IKS n d x)t2+ e=
|tl-Î2l«5
2) модуль послойной нскомпактности:
ф)( +[ IKS хе)( )МНг te[o,T]
где ( )t+[ }x)i+; x / ( | .
Эти меры некомпактности обладают всеми вышеуказанными свойствами за исключением правильности. Кроме того, если мы обозначим хс МНК Хаусдорфа в пространстве то мы имеем следующее соотношение (см. [17], Пример 2.1.3):
Ы(+>Хс)(+ (1-1)
Пусть Т и Т - нормированные пространства с мерами некомпактности В и /3' соответственно; Q; J-oо Т - непрерывный линейный оператор.
Определение 1.4. Оператор О, называется ) /3, /З'-Н ограниченным, если найдется С С 1 такое, что В') 0( + > О/З) ( + для всех ограниченных множеств ( —> Т. Значение Q равное точной нижней грани множества всех таких коэффициен-
тов, называется )/?, /3'4-нормой оператора О
В частности, если Т [ Т и /3 [ /3', то 2 будем обозначать как 2 и называть /3-нормой оператора О, Для вычисления \ -нормы оператора О, мы можем применять формулу
а(х)[ х)о?+[ х)овчг
где Б и В - единичные сфера и шар в Т7, соответственно. Легко видеть, что
а{х) > а
х)ОЦ+> Qxx)( +
для любого ограниченного подмножества ( -^Т.
Пусть Е - банахово пространство, О; Е оо С)] а, Ьа=Е+ - ограниченный линейный оператор и <рс - модуль послойной некомпактности в С')]а, Ьа=Е-\т Из (1.1) вытекает, что
д (х,ч>) > д (1.2)
Определение 1.5. (См. [18]) Непустое компактное метрическое пространство £ называется Н& -множеством, если существует убывающая последовательность }£ п\
компактных стягиваемых множеств такая, что
£ [
п> 1
Ясно, что компактные выпуклые или, более общо, стягиваемые множества являются примерами Н& -множеств. В то же время, -множество может быть не стягиваемым (см. пример в [16]).
Пусть X - подмножество в Т.
Определение 1.6. Пп.св. мультиотображение 0 ; Я* ос К) назы в ается: )?'+ Дд -мультиотображением (или /-мультиотображением), если каждое значение О х /X является -множеством;
)гг+квази- Щ -мультиотображением (или С3 -мультиотображением), если существует нормированное пространство , -мультиотображение С/\ ; X оо К)7{+ и непрерывное отображение д ; оо Т такие, что £? [ 0 =0 у.
Из этого определения и свойств непрерывности мультиотображений (см., например, [17]) вытекает следующее утверждение.
Предложение 1.1. Если $ , С ; X оо К)]--\- квази- Щ -мулътиотображения, то их сумма $ О С ; X оо
0 0 Г[)ж+[ С)х+
также является квази- Дд -мультиотображением.
Пусть /3 - монотонная несингулярная МНК в J-, U - открытое ограниченное подмножество Т и Q ; Ü оо К)]-+- Я -уплотняющее к в аз и- R¿ -мультиотображеиие такое, что х / Q )а'+для всех х / <9ü, где <9ü обозначает границу множества U. Тогда для соответствующего мультиполя i Q определена числовая характеристика
deg )i Q , it-l^
называемая топологической степенью (см. [17], Глава 3.4). Эта характеристика обладает всеми стандартными свойствами топологической степени, в частности, ее отличие от нуля влечет существование по крайней мере одной неподвижной точки х / il, х / Q
В качестве следствия этой теории топологической степени мы получаем следующий принцип неподвижной точки (см. [17], Следствие 3.4.2).
Предложение 1.2. Пусть ÍDÍ - замкнутое ограниченное подмножество Т и Q ; 9Л оо К)дЛ-\- - [3 -уплотняющее квази- R,s -мультиотображепие. Тогда Q имеет хотя бы одну неподвижную точку ж* / / Q )ж*+
1.2. Фазовое пространство бесконечных запаздываний.
Мы будем использовать аксиоматическое определение фазового пространства Ъ. введенное J.K. Hale и J. Kato (см. [19], [12]). Пространство Ъ будет рассматриваться как линейное топологическое пространство функций, заданных на ) е , 1а со значениями в банаховом пространстве Е , наделенное полунормой х ® .
Для любой функции х; ) е , Та оо Е1 где Г > 1, и каждого í / ) е , Та, xt представляет собой функцию из ) е , 1а в Е , заданную как
xt)6+[ x)tO 0-k в /) е ,1а
Будет предполагаться, что Ъ удовлетворяет следующим аксиомам:
(2J2) Если функция х ; ) € =Га ос Е непрерывна на ]1=Га и х0 / 23, то для любого t /]1=Га выполнено
(г) хг/ъ=
( И) функция t at: xt непрерывна;
(Hi) xt s > A^)í+ux;s х)т+ 0 M)t+x0 где функции К,М ; 1=€ +оо ]1=€ +
0<T<t
не зависят от х, К строго положительна и непрерывна, а М локально ограничена.
('Б1) Существует I > 1 такое, что Ф)1+е > I Ф ъ-, Для всех ф / Ъ.
Отметим, что при данных условиях пространство С00 всех непрерывных функций из ) е Дав Е с компактным носителем входит в любое фазовое пространство Ъ ([12], Предложение 1.2.1).
Будем предполагать дополнительно, что выполнено следующее условие.
( 23С2 ) Если равномерно ограниченная последовательность n^i ~~* Соо сходится к функции ф компактно (то есть равномерно на каждом компактном подмножестве ) е , 1а), то ф / Ъ и lin фп ф ъ[ 1-
п—Ц-ао
Из условия ( S 62 ) вытекает, что банахово пространство ограниченных непрерывных функций ВС [ ВС)) Е , la^Î+непрерывно вложено в Ъ . Точнее говоря, справедливо следующее утверждение.
Теорема 1.1. ([12], Предложение 7.1.1).
(г) ВС —Y Coq , где С00 обозначает замыкание С00 в Ъ=
(ii) если равномерно ограниченная последовательность }фп\ в ВС сходится к функции ф компактно на ) € , 1а, то ф / Ъ и rin фп ф % [ 1=
(иг ) найдется константа L > 1 такая, что ф %
> L ф во для всех ф / ВС.
Наконец, будем предполагать выполненным следующее условие.
(Вез) Если ф / ВС и Ф ВС [ 1, то ф в ( 1.
Из этого предположения вытекает, что пространство ВС, наделенное х ъ является нормированным пространством. Мы будем обозначать его 'ВС.
Рассмотрим следующие примеры фазовых пространств, удовлетворяющих всем вышеуказанным условиям.
(1) Для 7 > 1 пусть Ъ [ С1 - пространство непрерывных функций <р ; ) € =Laoc Е, имеющих предел rhi е1в<р)0-\- и
9—у—оо
(р ® [ их s е70 <р)6-\-. -оо<е<о
(2) (Пространства с «затухающей памятью»). Пусть Ъ [ Ср - пространство функций <р ; ) е =4аоо Е таких, что
(a) р непрерывна на ] r=L^r > 1 ;
(b) ip измерима по Лебегу на ) € =г+и найдется положительная интегрируемая по Лебегу функция р ; ) е = r+oo R"1" такая, что функция ptp интегрируема по Лебегу на ) € =г+; более того, найдется локально ограниченная функция Р ; ) е =Laoo R+ такая, что для всех £ > 1, р)£ 0 в+> Р)£-\р)в+ для п.в. в / ) Е = г-Ь
Тогда
—г
(р ® [ uxs <р)9+ О П p)Ô+<p)9+d9.
-г<в<0
— со
Простой пример последнего пространства получается, если положить р)0+[ е*10, р. /М.
2. Основной результат.
Пусть Е - сепарабельное банахово пространство. Обозначим символом С)) е =Tít=E-\-нормированное пространство ограниченных непрерывных функций х ; ) е =Га оо Е. наделенное нормой
х е [ ж0 в 0 х |[0;Т] с,
где последняя норма - обычная iks -норма пространства С')] l=Tíe=E+.
Мы будем рассматривать следующую управляемую систему, описываемую полулинейным функционально-дифференциальным включением с бесконечным запаздыванием в Е:
x')t+/ Ах)Ш F)f, xÉ+0 t Та (2.1)
удовлетворяющую условию обратной связи
и / Üx. (2.2)
Здесь линейный оператор А ; D)A-\—>Е оо Е является производящим оператором сильно непрерывной полугруппы eAt, F ; ] 1, T&Q'BG —о Е - многозначная нелинейность, и - непрерывная функция из ] 1, Та в банахово пространство управлений Е1, О; С)) е К)С)]1,Тее£ i~Н— мультиотображение обратной связи, В; Е\ оо Е
- ограниченный линейный оператор.
Относительно мультиотображепия fi мы будем предполагать, что
)íí+ естественно определенное мультиотображение
ВП ; е))
является вполне пн.св. и квази- R¿ .
Замечание 2.1. Из результатов о топологической структуре и непрерывной зависимости от параметров множества решений дифференциального включения (см., например, [17], Глава 5) вытекает, что условие )íi+ выполнено, если функция управления u)t+ удовлетворяет параметризованному полулинейному дифференциальному включению в пространстве Е\ вида
( u')t+/ 2Ы)£-К> $)t,u)t-bx+ t /]1 ,Тщ íí)1+[ uq/EÍ,
где 21 порождает С0-полугруппу в Ег и мультиотображение
; ]1, TaO-E-i ОС)) € Ку)Ел +
удовлетворяет верхним условиям Каратеодори, условию подлипейпого роста и %-регулярности по второму аргументу равномерно относительно х.
Определение 2.1. Пара функций х / С)) е =Га£-|-и и / C)]l,Ta£'i-|-o6-разуют интегральное решение системы (2.1)-(2.2), если функция х при t / 1. Та имеет вид ^
х )í+[ eAtx)\-\Q П eA{t-s)]f)sM) Bu)s+ds, о
где функция и удовлетворяет (2.2) и / / Ь1 )]1,Та^=Е+- измеримое сечение мульти-функции t —о Функция х называется траекторией системы, а функция и -
соответствующее управление.
Мы будем изучать задачу существования траекторий системы (2.1)—(2.2), удовлетворяющих следующему общему граничному условию:
где 5 ; С)) е +оо ВС - линейный ограниченный оператор, а мультиотображение
и ; С)) е ^а^Е+оо К)Ъе+ вполне пи. св. квази- -мультиоператор.
Будем предполагать, что мультиотображение Р ; ]1, Та0ВС оо Ку)Е+, удовлетворяет следующим условиям:
(Р2) для любого ф / ВС мультифункция Р) хф-\-~, ] 1=Гаоо Ки)Е+ допускает измеримое сечение;
[К3) для п.в. £ / ]1=Га мультиотображение F)í, >4-; ВС ос- Хи)£+пи.св.; ( РА ) для любого г > 1 найдется функция аг / £ц_]1, Та такая, что
для п. в. £ / ]1, Та и ф в > г ;
(Р5) существует функция к / Ь1+ 1, Та такая, что для каждого непустого ограниченного множества ( —»ВС выполнено
для п.в. t / ]1,Та, где х ~ МНК Хаусдорфа в Е и </?)( +- модуль послойной некомпактности множества ( .
Из условий )^2+ )Т4+ и )В2+ вытекает, что суперпозиционный мультиоиератор ; С)) е Р)Ь1)] 1, Та=Е+|^ заданный как
корректно определен (см., например, [14], [17]).
Определение 2.2. Линейный оператор С ; Ь1)]!., Т&=Е-\- оо С)) € заданный как
называется оператором мши.
Используя [17], Лемма 4.2.1, Теорема 5.1.1 и Следствие 5.1.2 можно установить следующее свойство оператора Коши.
Эх / Шх,
(2.3)
ф+Е;[ иКБ} 2 Е;г / Е)^ ф-{ > аг)£+
г / ]1=Га=
£/) е=1а
Предложение 2.1. Композиция G^Pp ; С)) £ ^af^+oc Kv)G)) € ^af^-H-явллется пн.св. мультиотображением с выпуклыми компактными значениями.
Обозначим G0 подпространство С)) е состоящее из функций, имеющих на
] 1, Та вид
i)t+[ eAtx)H t /]1,Та
и обозначим S0 сужение S на С0.
Основным требованием на граничные операторы S и U будет следующее условие:
(SU) существует непрерывный линейный оператор Е ; ВС оо С0 такой, что
)/ SG]f 0 Виа^[ 1
для каждых х / С)) £ ,Та£-Ь у / / / 3V)z-|-ii и / fix.
Для того, чтобы привести пример выполнения данного условия, рассмотрим линейный ограниченный оператор г ; ВС оо С0 ; который определим как
Г c)H t /) е , 1ер=
eAtc)H i /]1=Та
Предположим следующее:
(5 ) линейный ограниченный оператор <5 ; ВС оо ВС, определенный как [ <5)гс+ является обратимым.
Нетрудно видеть, что при выполнении условия (5 ) оператор Е можно задать явным образом:
Ее [ г]5 _1)сНа
В предположении, что выполнено условие (<5и), рассмотрим мультиоператор
; С)) е К)&)) е
заданный следующим образом:
)х+[ Еи)х-Ц) )1 2)зНа
Из Предложений 1.1, 2 1 и условий, наложенных на операторы 5, и, В, О и Е вытекает, что мультиоператор является к ваз и- . Нетрудно проверить, что мультиоператор ограничен, то есть переводит ограниченные множества в ограниченные. Основное свойство мультиоператора характеризуется следующим утверждением.
Теорема 2Л. Каждая неподвижная точка , то есть функция х)х^ удовлетворяющая соотношению
х [ Е^О )/ Е5нб')/0 Ви+ (2.4)
для некоторых г / / / и и / вместе с функцией и образуют
интегральное решение задачи (2.1)-(2.3).
Обратно, при условии )<?+, если х и и - траектория и соответствующее управление для задачи (2.1) -(2.3), то функция х удовлетворяет (2-4) для г [ / и)ж+ и / / то есть х является неподвижной точкой мультиоператора
Доказательство. )г+ Поскольку функция х может быть представлена в виде
х[ Е)г 5С)/0 Ви-НО С)/ 0 Ви^
мы получаем, что х и и образуют интегральное решение задачи (2.1)-(2.2).
Проверим выполнение граничного условия. Используя условие (5 и ), мы получаем
в0ЕгО в)1 Е5+С)/0 Ви+[ г )г SG)f 0 Ви+0 5 0Е5 (?)/<) Ви+
[ ^ )/ 5С)/0 ВиЩ г/их.
)гг+Пусть теперь х и и - интегральное решение задачи (2.1)—(2.2). Тогда функция х удовлетворяет соотношению
х [ г)ф-Ю G)f 0 Ви+ для некоторого / / ¡Рр)а:+, где ф [ агЦ-^о] - Тогда
[ <5)^+0 5С)/ 0 Ви-V
откуда мы получаем
ф [ в'1 5С)/0 Ви^
и следовательно
г)ф+[ Е Бх 5<?)/ 0
Таким образом
ж[ Е5ж 5 С)/0 С)/О
Покажем теперь, что при некоторых дополнительных ограничениях мультиоператор является уплотняющим.
Рассмотрим МНК и на пространстве С)) е ^а^Ч-оо значениями в конусе :
")(+[ + -Нг
где (ре - модуль послойной некомпактности, а п р£ е - модуль равностепенной непрерывности в пространстве С)) € =Тх=Е-\г Отметим, что
у>е)( +[ ихй рж)( Нг
О <4<Т
где ( ( ->ВС, ( г [ ; х / ( | и для £ / ]1,Та;
№е)( с+[ ига х)( ()Г+Н 1Кй %)( Т+Н 1Кй %)(
—оо<т<0 -оо<т<0 -оо<т<(
где х ~ МНК Хаусдорфа в Е.
Обозначим С подпространство С)) € состоящее из функций, равных нулю
на ) £ =4а Ясно, что С изоморфно пространству С)] 1. Та=Е-\г Обозначим
3. [ их5
О <Х<Т
Теорема 2.2. Пусть выполнены следующие условия:
)Н 2+ найдется ¿С 1 такое, что для любого ограниченного множества ( —»С выполнено
<Ръе)$ ( +> Ь(ре)( +=
)Н3+ для любой относительно компактной последовательности }уп —»С последовательность }Е5у„| равностепенно непрерывна;
£
)Я4+ д. шв [к)зМз < 1+||Л||(^е,Уе)Ь , где функция из уаловия (Р4).
о <«т
У
Тогда мультиоператор является г/ -уплотняющим на ограниченных подмножествах пространства С)) € =Тзь=Е-\г
Доказательство. Представим мультиоператор в виде суммы
)х+[ Ож-Ш з)аНг
где 1)ж+[ Еи)^ 2)ж+[ )1 и 3)аН-[ )1 ЕБ В силу усло-
вий, наложенных на мультиотображения и и ВО,, мультиоиераторы 1 и з являются вполне пн.св. Тогда нетрудно видеть, что проверка утверждения теоремы сводится к V-уплотняемости мультиоператора 2 , которая следует из [3], Теорема 2.4 (см. также [4], Теорема 3.15). □
Замечание 2.2. Отметим, что условие )Н4+ выполнено, если, в частности, полугруппа еА£ компактна (в этом случае <1 [ 1) или мультиотображение Т вполне пн.св. по второму аргументу ( к [ 1).
Установленные свойства мультиоператора дают возможность применять для его исследования теорию топологической степени. Мы можем сформулировать следующий общий принцип существования интегральных решений задачи (2.1)—(2.3).
Теорема 2.3. При указанных выше условиях, пусть ограниченное открытое множество ( -^С)) € =Тзь=Е-\-не имеет траекторий задачи (2.1)-(2.3) на д( и пусть
¿ед)г , ( +{ 1.
Тогда множество интегральных решений задачи (2.1) —(2.3) таких, что х /( ,
не пусто.
В качестве примера применения этого принципа рассмотрим следующее утвержде-
Теорема 2.4. При указанных выше условиях предположим дополнительно, что )Н5+ найдется последовательность функций шп / 1=Га, п [ 2,3,... такая, что
т
ЙП - Г\ч1п)Ш [ 1
га^со 71
О
и
ЦХБ Р)1,ф-\- > для П. в. Ь / ]1=Гс£=
)Н6+ выполнены следующие асимптотические условия:
Йп 1о, [ Л, Ы Ш)х+° [ 1.
Н^Ие-юо X е ЦлЦд—>оо X ¡=
Тогда множество интегральных решений задачи (2.1)-(2.3) не пусто. Доказательство. Покажем, что существует замкнутый шар
Вя ->е)) е
такой, что )Вк+< В к. В предположении противного мы найдем последовательности }ж„| и }упI в С)) е =?а=£Ч- такие, что уп / )хп+, хп с > п, Уп с > п. В силу ограниченности мультиоператора мы можем считать, без ущерба для общности, что
Хп С ОО е .
Получаем оценку
Уп е > е0 I Е5 С)/п0 Жг)х„-Н-е,
где гп / ихп и /„ / УР)хп+-Далее получаем
Уп е > Н
Ъ
где х с обозначает норму функции в пространстве С')] 1, Т&=Е-\г
Поскольку ем - сильно непрерывная полугруппа, имеем для нее оценку
ем > Ме1*, í С 1
для некоторых констант М С 2, 7 С 1. Следовательно
Уп с> Н в 0 Ме7Т / Е5 П БП)х„>-Н- >
о
> Е гп в 0 Ме'(Т I Е5 П О Г ВП)з:Г1+с[.
о
Тогда
т
-П /»К^ОТ Г >
Т1 п п п
о
т
п п хп с
о
что противоречит предположениям Щ5+ и )Н6-Ь
Для завершения доказательства остается применить Предложение 1.2. □
В случае, когда мультиотображения II и ВО, глобально ограничены, последнее утверждение влечет следующий оптимизационный результат
Теорема 2.5. При условии )£+, пусть найдется функция и / 1=Га и константы в > 1 и а > 1 такие, что
)С2+ для любого ф / ВС выполнено Р)1,ф+Е > и>)1+для п.в. £ / )1,Т+=
)СЗ+ для любого х / С)) е =Тзь=Е+ выполнено > в и ВО)х+с > а.
Тогда существует такое интегральное решение задачи (2.1)-(2.3), что
Ф)х*+[ Ы}ф)х+; х / Ц ,
где Ф обозначает множество всех траекторий задачи (2.1)-(2.3) и ф - данный полунепрерывный снизу функционал на пространстве С)) е -
Доказательство. Согласно Теореме 2.1 множество Ф совпадает с множеством всех неподвижных точек мультиоиератора , которое непусто согласно Теореме 2.4. Более того, нетрудно видеть, что это множество априори ограничено константой
Е 5 0 Ме1Т I Е5 гт
Теперь заключение теоремы следует из того факта, что ограниченное множество неподвижных точек уплотняющего мультиоператора компактно ([17]. Предложение 3.5.1).
3. Некоторые частные случаи. 3.1. Нелокальная задача Коши.
Рассмотрим управляемую систему (2.1)—(2.2) с граничным условием
х0/и)хЧг (3.1)
где мультиотображение и ; С)) € |-оо А") 156+, как и ранее, вполне пн.св. квази-
R¿-мультиоператор.
В данном случае [ ж0 и оператор £ тождественен, таким образом, условие )5+ выполнено и, более того, оператор Е совпадает с г. Условие )Н2+ выполнено с константой Ъ [ 1, а условие ) НЗ+ выполнено, так как для любой последовательности }Уп\ ~последовательность }Е5уп\ постоянна и равна нулю. Тогда условие ) НА+ приобретает следующий вид
Из Теоремы 2.4 мы получаем следующий результат.
Теорема ЗЛ. При условиях существу-
ет интегральное решение задачи Коши (2.1), (2.2), (3.1).
Применение Теоремы 2.5 дает следующее утверждение.
Теорема 3.2. При условиях 4'существует
такое интегральное решение задачи Коши (2.1), (2.2), (3.1), что
где обозначает множество всех траекторий задачи Коши (2.1), (2.2), (3.1) и ф данный полунепрерывный снизу функционал на пространстве С)) е =Га£+
3.2. Периодическая задача.
Периодическая задача для системы (2.1)—(2.2) может быть записана в виде граничного условия
где 5 ж [ хт х0 . Заметим, что из условия )'В2)ггг вытекает, что 5 - непрерывный линейный оператор.
Будем предполагать выполненным следующее условие:
)А2-\- линейный оператор )еАТ 1+ обратим.
В данной задаче, учитывая, что и ж С 1, достаточно построить оператор Е на подпространстве 5С —»ВС . Заметим, что подпространство 5С в нашем случае состоит из непрерывных функций ф ; ) ¡Е , 1а ос Е1 равных нулю на ) ¡Е , Та Достаточно естественно предполагать, что
)5 С+любое множество Л —»<5 С , ограниченное относительно нормы х в, равномерно ограничено.
Пусть теперь ф / <?С - заданная функция, найдем функцию £ / ВС такую, что ££ [ ф, где, как и прежде, <5>£ [ <5)г£-|г Имеем
Ф)х*+[ ЬадзН-; х / Ф0| ,
5х[ 1,
(3.2)
НЛГ К4г и Ф,
(3.3)
откуда
и далее для в / ] Т, 1а;
00-Н Ф)в+[ еА(-т+в>)еАТ 1-Ггф) 1+ ф)в+ (3.4)
Если же теперь в < Т, то из (3.3) получаем
К4г)0+ 09+[ ОТО в+ 0в+[ 1,
то есть функция £ является Т -периодической на ) е , 1а и ее значения полностью определяются формулой (3.4). Таким образом мы построили оператор, обратный к 5 на 5 е.
Пусть некоторое множество функций Е —>■ 5 С ограничено относительно х ®. Тогда, применяя свойство )<$С+, мы видим из формулы )4.Б-Ьг что соответствующее семейство функций П [ }£ [ 5 ; ф / Е равномерно ограничено на ) е , а значит, по Теореме 1.1 (111) ограничено и в пространстве ВС. Это означает, что оператор непрерывен на 5 С. Оператор Е на £ С может быть задан в явном виде:
Г ]еА(Г+())еАТ /+">) 1+ фйчг £/] е , елг)елт * /МЪ
где ] «г обозначает Т-периодическое продолжение на ] е , 1а функции, заданной на ] Г, 1а
Нетрудно видеть, что условие )Н2+в нашем случае выполнено с константой Ъ [ 2. Пусть, далее, }уп| —- относительно компактная последовательность, тогда последовательность }фп\ —»<5С, фп [ 5уп [ )уп^г1 равностепенно непрерывна и }т/'«.) 1 - относительно компактное подмножество Е. Но тогда из задания оператора Е видно, что и последовательность равностепенно непрерывна, что означает выполнение
условия )НЗ~\г
Отметим теперь, что )с^>ве4-норма оператора на £ С может быть оценена следующим образом:
(рм> )еТА 7_р1 Сх) □ 2
В то же время нетрудно видеть, что )(рж, '/'е 4-норм а оператора г допускает следующую оценку:
г (<РЪе,(Ре) > ^
Это означает, что
Е д )еТА 1-Г1 (х)0 2[
Тогда условие )НА+ может быть записано в виде
г
)Я4"+ в. ж» [к)зМз <
иЛ.О I ГЬ IО М-О \ Г
о<КТ(7 1-Н1 «£||(е^_/)-1||Сх)+1[
Мультиоператор в случае периодической задачи имеет вид
)х+[ )1 Е5 -\Ст Р^+О ВП)х-\{.
Для его задания в явном виде заметим, что для / / CPjp)aH- и и / П)а'+ имеем
T+t
SG)fO Buty+l Пел<т+'-3')/)^ t/} T, la
о
Таким образом )ж+ состоит из всех функций у / С)) е =Tse£-\t которые для / / Ур)х-\-и и / П)х+ири t / \ е , 1а имеют вид
T+t
y)t+[ ] Пе^^)/)^ Ви)в-Щв о
т
eA(,T+t))eAT j_pi f| eA(T-*))f)s_w 0
а при t / ] 1, Та:
t т
y)t+[ eAt)eAT 1+1 Пел{т"я))/)з-К) Bu)s^ds
о 0
(см. [17]).
Применение Теоремы 2.4 дает следующее утверждение.
Теорема 3.3. При выполнении условий )А2-\Т )F2-^ )F3-\T )H4"-^
)HG+ (для ВО ) и )5G+ периодическая задача (2.1), (2.2) и (3.2) имеет интегральное решение.
Из Теоремы 2.5 получаем:
Теорема 3.4. При выполнении условий )А-^ )А2-\Т )F2-^ )F3-\T )H4"-^
)G)G3+(для BQ ) и )S Q+существует такое интегральное решение и+ периодической задачи (2.1), (2.2) и (3.2), что
Ф)х*+[ Ы}ф)х+- х / Фт| ,
где Фу обозначает множество всех траекторий периодической задачи (2.1), (2.2), (3.2) и ф - данный полунепрерывный снизу функционал на пространстве С)) е =TseF-fc-
СПИСОК ЛИТЕРАТУРЫ
1. Zecca P., Zezza P. Nonlinear boundary value problems in Banach spaces for multivalued differential equations on a non-compact interval 11 Nonlinear Anal. 1979. VoL 3. P. 374-352.
2. Басова M.M., Обуховский В.В. О некоторых краевых задачах для функционально-дифференциальных включений в банаховых пространствах // Современная математика. Фундаментальные направления. М., 2006. Т. 15. С. 36-44.
3. Басова М.М., Обуховский В.В. Общая краевая задача для функционально-дифференциальных включений с бесконечным запаздыванием // Вестник Воронежского государственного университета. Серия: Физика. Математика. Воронеж, 2007. № 1. С. 121-129.
4. Басова М.М., Обуховский В.В. Топологические методы в краевых задачах для дифференциальных включений. Саарбрюккен, 2011. 104 с.
5. Benedetti I., Obukhovskii V., Taddei V. On noncompact fractional order differential inclusions with generalized boundary condition and impulses in a Banach space //J. Funct. Spaces. 2015. Art. ID 651359. 10 p.
6. Ding Z, Kartsatos A.G. Nonresonance problems for differential inclusions in separable Banach spaces // Proc. Amer. Math. Soc. 1996. № 124. P. 2357-2365.
7. Kravvaritis D, Papageorgiou N.S. A boundary value problem for a class of evolution inclusions // Comment. Math. Uni St. Paul. 1991. Vol. 40. № 1. P. 29-37.
8. Marino G. Nonlinear boundary value problems for multivalued differential equations in Banach spaces // Nonlinear Anal. 1990. Vol. 14. P. 545-558.
9. Obukhovskii V., Zecca P. On boundary value problems for degenerate differential inclusions in Banach spaces // Abstract and Applied Anal. 2003. Vol. 13. P. 769-784.
10. Papageorgiou N.S. Boundary value problems for evolution inclusions // Comment. Math. Uni Carolin. 1988. Vol. 29. № 2. P. 355-363.
11. Papageorgiou N.S. Boundary value problems and periodic solutions for semilinear evolution inclusions // Comment. Math. Uni Carolin. 1994. Vol. 35. P. 325-336.
12. Hito Y, Murakami S, Naito T. Functional Differential Equations with Infinite Delay. Lecture Notes in Mathematics. Berlin; Heidelberg; New York: Springer-Verlag, 1991. 327 p.
13. Борисович Ю.Г., Гельман Б.Д., Мышкис А.Д., Обуховский В.В. Топологические методы в теории неподвижных точек многозначных отображений // Успехи математических наук. 1980. Т. 35. № 1. C. 59-126.
14. Борисович Ю.Г., Гельман Б.Д., Мышкис А.Д., Обуховский В.В. Введение в теорию многозначных отображений и дифференциальных включений. 2-е изд. М.: Книжный дом «ЛИБРОКОМ», 2011. 228 с.
15. Arutyunov A.V., Obukhovskii V. Convex and Set-Valued Analysis. Selected Topics. Berlin: De Gruyter, 2017. 210 p.
16. Gorniewicz L. Topological Fixed Point Theory of Multivalued Mappings. Second edition. Dordrecht: Springer, 2006. 538 p.
17. Kamenskii M., Obukhovskii V., Zecca P. Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. Berlin; New York: Walter de Gruyter, 2001. 231 p.
18. Hyman D.M. On decreasing sequences of compact absolute retracts // Fund. Math. 1976. Vol. 64. P. 91-97.
19. Hale J.K., Kato J. Phase space for retarded equations with infinite delay // Funkc. Ekvac. 1978. Vol. 21. P. 11-41.
Поступила в редакцию 24 января 2018 г. Прошла рецензирование 06 февраля 2018 г. Принята в печать 20 февраля 2018 г. Конфликт интересов отсутствует.
Кулманакова Марина Михайловна, Военно-воздушная академия им. проф. Н.Е. Жуковского и Ю.А. Гагарина, г. Воронеж, Российская Федерация, кандидат физико-математических наук, доцент кафедры математики, e-mail: [email protected]
Обуховский Валерий Владимирович, Воронежский государственный педагогический университет, г. Воронеж, Российская Федерация, доктор физико-математических наук, профессор, зав. кафедрой высшей математики, e-mail: [email protected]
Ульянова Елена Леонидовна, Воронежский государственный технический университет, г. Воронеж, Российская Федерация, кандидат физико-математических наук, доцент кафедры прикладной математики и механики, e-mail: [email protected]
Для цитирования: Кулманакова М.М., Обуховский В.В., Ульянова Е.Л. Обобщенная граничная задача для управляемой системы с обратной связью и бесконечным запаздыванием // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2018. Т. 23. № 121. С. 44-64. БОТ: 10.20310/1810-0198-2018-23-121-44-64
62
M.M. KyjiManaKOBa, B.B. 06vxobckhh. E. JI. y.ibimoBa
DOI: 10.20310/1810-0198-2018-23-121-44-64
A GENERALIZED BOUNDARY VALUE PROBLEM FOR A FEEDBACK CONTROL SYSTEM WITH INFINITE DELAY
ac M.M. Kulmanakova1), V. V. Obukhovskii 2\ E. L. Ulianova3)
^ N.E. Zhukovsky and Y.A. Gagarin Air Force Academy 54A Staryih bolshevikov St., Voronezh 394064, Russian Federation E-mail: [email protected] 21 Voronezh State Pedagogical University 86 Lenina St., Voronezh 394043, Russian Federation El-mail: [email protected] 31 Voronezh State Technical University 84, 201etiya Oktyabrya St., Voronezh 394006. Russian Federation El-mail: [email protected]
Abstract. We consider a non-local boundary value problem for a feedback control system governed by a semilinear functional differential inclusion with infinite delay in a separable Banach space. As example we present a generalized Cauchy problem and periodic problem.
Keywords: control system; feedback; functional differential inclusion; non-local boundary value problem; infinite delay; measure of noncompactness; condensing operator; fixed point; topological degree
REFERENCES
1. Zecca P., Zezza P. Nonlinear boundary value problems in Banach spaces for multivalued differential equations on a non-compact interval. Nonlinear Anal., 1979, vol. 3, pp. 374-352.
2. Basova M.M., Obukhovskiy V.V. O nekotorykh kraevykh zadachakh dlya funkt si on al'no-different si al'nykh vklyucheniy v banakhovykh prostranstvakh [About some boundary problems for functional-differential inclusions in banach spaces]. Sovremennaya matematika. Fundamental'nye napravleniya - Journal of Mathematical Sciences, 2006, vol. 15, pp. 36-44. {In Russian).
3. Basova M.M., Obukhovskiy V.V. Obshchaya kraevaya zadacha dlya funktsional'no-differen-tsial'nykh vklyucheniy s beskonechnym zapazdyvaniem [Boundary value problem for functional differential inclusions with infinite delay]. Vestnik Voronezhskogo gosudarstvennogo universiteta. Seriya: Fizika. Matematika - Proceedings of Voronezh State University. Series: Physics. Mathematics, 2007, no. 1, pp. 121-129. (In Russian).
4. Basova M.. Obukhovskiy V. Topologicheskie metody v kraevykh zadachakh dlya differen-tsial'nykh vklyucheniy [Topological Methods in Boundary Value Problems for Differential Inclusions] Saarbrücken, 2011, 104 p. (In Russian).
5. Benedetti I.. Obukhovskii V., Taddei V. On noncompact fractional order differential inclusions with generalized boundary condition and impulses in a Banach space. J. Fund. Spaces, 2015, Art. ID 651359, 10 p.
The work of V.V. Obukhovskii is partially supported by the Russian Fund for Basic Research (projects №№ 17-51-52022, 16-01-00370, 16-01-00386)
6. Ding Z., Kartsatos A.G. Nonresonance problems for differential inclusions in separable Banach spaces. Proc. Amer. Math. Soc., 1996, no. 124, pp. 2357-2365.
7. Kravvaritis D., Papageorgiou N.S. A boundary value problem for a class of evolution inclusions. Comment. Math. Uni St. Paul., 1991, vol. 40, no. 1, pp. 29-37.
8. Marino G. Nonlinear boundary value problems for multivalued differential equations in Banach spaces. Nonlinear Anal., 1990, vol. 14, pp. 545-558.
9. Obukhovskii V., Zecca P. On boundary value problems for degenerate differential inclusions in Banach spaces. Abstract and Applied Anal., 2003, vol. 13, pp. 769-784.
10. Papageorgiou N.S. Boundary value problems for evolution inclusions. Comment. Math. Uni Carolin., 1988, vol. 29, no. 2, pp. 355-363.
11. Papageorgiou N.S. Boundary value problems and periodic solutions for semilinear evolution inclusions. Comment. Math. Uni Carolin., 1994, vol. 35, pp. 325-336.
12. Hito Y., Murakami S., Naito T. Functional Differential Equations with Infinite Delay. Lecture Notes in Mathematics. Berlin, Heidelberg, New York, Springer-Verlag, 1991, 327 p.
13. Borisovich Y.G., Gelman B.D., Myshkis A.D., Obukhovskiy V.V.. Topologicheskie metody v teorii nepodvizhnykh tochek mnogoznachnykh otobrazheniy [Topological methods in the theory of fixed points of multivalued maps]. Uspekhi matematicheskikh nauk - Russian Mathematical Surveys, 1980, vol. 35, no. 1, pp. 59-126. (In Russian).
14. Borisovich Y.G., Gelman B.D., Myshkis A.D., Obukhovskiy V.V. Vvedenie v teoriyu mnogoznachnykh otobrazheniy i differentsial'nykh vklyucheniy [Introduction to the Theory of Multivalued Mappings and Differential Inclusions]. Moscow, Book House «LIBROKOM», 2011, 228 p. (In Russian).
15. Arutyunov A.V., Obukhovskii V. Convex and Set-Valued Analysis. Selected Topics. Berlin, De Gruyter, 2017, 210 p.
16. G'orniewicz L. Topological Fixed Point Theory of Multivalued Mappings. Second edition. Dordrecht, Springer, 2006, 538 p.
17. Kamenskii M., Obukhovskii V., Zecca P. Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. Berlin, New York, Walter de Gruyter, 2001, 231 p.
18. Hyman D.M. On decreasing sequences of compact absolute retracts. Fund. Math., 1976, vol. 64, pp. 91-97.
19. Hale J.K., Kato J. Phase space for retarded equations with infinite delay. Funkc. Ekvac., 1978, vol. 21, pp. 11-41.
Received 24 January 2018
Reviewed 06 February 2018
Accepted for press 20 February 2018
There is no conflict of interests.
Kulmanakova Marina Mikhailovna, N.E. Zhukovsky and Y.A. Gagarin Air Force Academy, Voronezh, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Mathematics Department, e-mail: [email protected]
Obukhovskii Valerii Vladimirovich, Voronezh State Pedagogical University, Voronezh, the Russian Federation, Doctor of Physics and Mathematics, Professor, Head of Higher Mathematics Department, e-mail: [email protected]
64 М. М. KynMaHaKOBa, B.B. 06yxoBCKHÖ, E.^. Y,baHOBa
Ulianova Elena Leonidovna, Voronezh State Technical University, Voronezh, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of Applied Mathematics and Mechanics Department, e-mail: [email protected]
For citation: Kulmanakova M.M., Obukhovskii V.V., Ulianova E.L. Obobshchennaya granichnaya zadacha dlya upravlyae-moi sistemy s obratnoi svyazyu i beskonechnym zapazdyvaniem [A generalized boundary value problem for a feedback control system with infinite delay]. Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2018, vol. 23, no. 121, pp. 44-64. DOI: 10.20310/1810-0198-2018-23-121-44-64 (In Russian, Abstr. in Engl.).