Серия «Математика» 2015. Т. 13. С. 16—31
Онлайн-доступ к журналу: http://isu.ru/izvestia
ИЗВЕСТИЯ
Иркутского государственного университета
УДК 517.911.5
Метод обобщенной интегральной направляющей функции в задаче о существовании периодических решений дифференциальных включений *
С. В. Корнев
Воронежский государственный педагогический университет Аннотация.
В настоящей работе предлагаются новые методы решения периодической задачи для нелинейного объекта, описываемого дифференциальным включением следующего вида:
х'(г) е Е(г,х(г)).
В первой части работы предполагается, что многозначное отображение Е : К х К" — К" имеет выпуклые компактные значения, удовлетворяет верхним условиям Каратеодори, условию подлинейного роста и Т-периодично по первому аргументу. При сделанных предположениях определен замкнутый мультиоператор суперпозиции РР : С([0, Т]; К") ^ Р(Ь1([0,Т]; К")), сопоставляющий каждой функции х(-) множество всех суммируемых сечений мультифункции Е(Ь,х(Ь)). Во второй части работы предполагается, что Е : К х К" — К" является нормальным мультиотобра-жением с компактными значениями, удовлетворяющим условию Т-периодичности по первому аргументу. Заметим, что класс нормальных мультиотображений достаточно обширен. В него входят, например ограниченные почти полунепрерывные снизу мультиотображения с компактными значениями. В обоих случаях для исследования рассматриваемой задачи применяется обобщенная интегральная направляющая функция. Существенным развитием понятия направляющей функции является тот факт, что основное условие направляемости предполагается выполненным, во-первых, в интегральной форме; во-вторых, в области, определяемой по самой направляющей функции; в-третьих, не обязательно для всех суммируемых сечений мультиоператора суперпозиции. Применение теории степени совпадения пары отображений и теории многозначных отображений позволяет установить разрешимость рассматриваемой периодической задачи.
Ключевые слова: дифференциальное включение, интегральная направляющая функция, периодические решения, степень совпадения.
* Работа выполнена при финансовой поддержке РФФИ, грант 14-01-00468; РФФИ-Тайвань, грант 14-01-92004; Российского научного фонда, грант 14-21-00066.
1. Введение
Одним из наиболее эффективных и геометрически наглядных способов решения задачи о существовании периодических колебаний дифференциальных уравнений является метод направляющих функций, общие принципы которого сформулировали еще в середине XX века М. А. Красносельский и А. И. Перов (см. [5; 6]).
За более чем полувековую историю своего существования метод был развит целым рядом исследователей в различных направлениях. Отметим в этой связи два интересных направления. В основе одного из них лежит понятие усредненной направляющей функции Ж. Мовена (см. [16]). Другое связано с задачей о существовании вынужденных колебаний функционально-дифференциальных уравнений и основано на понятии интегральной направляющей функции А. Фонда (см. [10]).
В 80-е годы ХХ века классический метод направляющих функций был распространен на случай дифференциальных включений и использован для исследования их периодических решений (см., например [1; 11]). Заметим, что роль дифференциальных включений как математического аппарата, описывающего нелинейные управляемые системы, системы автоматического регулирования, системы с разрывными и импульсными характеристиками и другие объекты современной инженерии, механики, физики хорошо известна (см., например [1; 7; 11; 12; 13; 21]).
В настоящей работе предлагается применить метод обобщенных интегральных направляющих функций к задаче о существовании периодических колебаний в нелинейных объектах, описываемых дифференциальными включениями, правая часть которых имеет выпуклые компактные значения, удовлетворяет верхним условиям Каратеодори и условию подлинейного роста. Существенным отличием от статьи [3] является тот факт, что основное условие направляемости предполагается выполненным здесь хотя бы для одного суммируемого сечения мультиоператора суперпозиции Рр. Рассматриваемый метод оказывается эффективен и в случае, когда правая часть не обладает свойством выпуклости значений и является нормальным мультиотображением с компактными значениями. Заметим, что класс нормальных мультио-тображений достаточно обширен. В него входят, например ограниченные почти полунепрерывные снизу мультиотображения с компактными значениями (этот частный случай рассмотрен в работе [4]).
Некоторые другие применения метода интегральных направляющих функций см., например, в [14; 17].
2. Основные обозначения и определения
В дальнейшем используются известные понятия и терминология из анализа и теории многозначных отображений (мультиотображений) (см., например, [1; 11; 12; 13]). Напомним некоторые из них.
Пусть Е — сепарабельное банахово пространство; Ь1([а, Ь]; Е) обозначает банахово пространство (классов эквивалентности) суммируемых по Бохнеру функций f : [а, Ь] — Е.
Определение 1. Непустое множество М С Ь1([а,Ь]; Е) называется разложимым, если для любых f,g € М и любого измеримого по Лебегу множества т С [а, Ь] выполнено
^т + дХ([а,Ь]\т) € M,
где хт — характеристическая функция множества т.
Пусть (X, йх) и (У, dY) — метрические пространства. Символами Р (У) и К (У) обозначаются совокупности всех, соответственно, непустых и компактных подмножеств пространства У. Если У — нормированное пространство, то символом Кь(У) обозначается совокупность всех непустых выпуклых компактных подмножеств пространства У.
Определение 2. Мультиотображение Е : X — Р(У) называется полунепрерывным сверху (пн. св.) в точке х0 € X, если для любого е > 0 найдется 5 > 0 такое, что из того, что йх(х0,х) < 5 следует, что Е(х) С ие(Е(хо)), где символ ие обозначает е-окрестность множества.
Определение 3. Мультиотображение Е : X — Р(У) называется пн. св., если оно пн. св. в каждой точке х € X.
Определение 4. Мультиотображение Е : X — Р(У) называется полунепрерывным снизу (пн. сн.) в точке х0 € X, если для любого открытого множества V С У такого, что Е(х0) П V = 0, существует окрестность и(х0) точки х0 такая, что Е(х') П V = 0 для любого х' € и(х0).
Определение 5. Мультиотображение Е : X — Р(У) называется пн. сн., если оно пн. сн. в каждой точке х € X.
Определение 6. Пусть Е : X — Р(У) — некоторое мультиотображение. Множество Гр в декартовом произведении X х У,
Гр = {(х,у) | (х,у) € X х У, у € Е(х)}
называется графиком мультиотображения Е.
Определение 7. Мультиотображение Г : X — Р(У) называется замкнутым, если его график Г^ есть замкнутое множество в пространстве X х У.
Мультиотображение будем называть мультифункцией, если оно определено на подмножестве числовой прямой.
Определение 8. Однозначное отображение : X — У называется сечением мультиотображения Г, если
f (х) € Г(х) для каждого х € X.
Пусть I — замкнутое подмножество К, снабженное мерой Лебега.
Определение 9. Мультифункция Г : I — К (У) называется измеримой, если для любого открытого подмножества Ш С У его прообраз
г-1(Ш) = [г € I: г (г) с ш }
— измеримое подмножество I.
Замечание 1. Всякая измеримая мультифункция Г : I — К (У) обладает измеримым сечением, то есть существует такая измеримая функция f : I — У, что f (г) € Г (г) почти для всех (п.в.) г € I.
Определение 10. Говорят, что мультиотображение Г : I х X — К (У) удовлетворяет верхним условиям Каратеодори, если:
(г) для каждого х € X мультифункция Г (-,х) : I — К (У) измерима;
(гг) почти для каждого г € I мультиотображение Г (г, •) : X — К(У) пн. св..
Определение 11. Мультиотображение Г : I х X — К (У) удовлетворяет условию подлинейного роста, если существует положительная суммируемая по Лебегу на I функция «(•) такая, что п.в. г € I
||Г(г,х)\\ := тах \\у\\ < а(г)(1 + ||х||).
уеР (г,х)
Определение 12. Мультиотображение Г : I х X — К (У) называется почти пн. сн., если существует последовательность непересекающихся компактных множеств [1п} ,1п С I, таких, что (г) /(I \ У 1п) = 0, где ц - мера Лебега;
п
п
(гг) сужение Г на каждое множество ,1п = ^ х X является пн. сн. мультиотображением.
Определение 13. Ограниченное мультиотображение Я : I х Кп — К(Кп) назовем нормальным, если найдется мультиотображение Г : I х Кп — Ку(Кп), называемое нормальным квазисечением мультиотображения Я, удовлетворяющее следующим условиям:
(г) мультиотображение Е удовлетворяет верхним условиям Ка-ратеодори и условию подлинейного роста; (гг) Е(г, х) П Е(г, х) = 0 п.в. г € I, х € Мп;
(ггг) каждое решение х : I — Мп дифференциального включения х'(г) € Е(г, х(г)) является также решением включения х'(г) €
Е(г,х(г)).
Замечание 2. Очевидно, что всякое ограниченное мультиотображение Е : I х Мп — Ку(Мп), удовлетворяющее верхним условиям Каратео-дори и условию подлинейного роста, является нормальным. Отметим также (см., например, [8; 9; 11]), что всякое ограниченное почти пн. сн. мультиотображение Е : I х Мп — К(Мп) является нормальным. Кроме того, всякое ограниченное мультиотображение Е : I х Мп — К(Мп), удовлетворяющее условиям Каратеодори, является нормальным.
3. Случай выпуклой правой части
Будем рассматривать периодическую задачу для дифференциального включения следующего вида:
х'(г) € е(г,х(г)), (3.1)
х(0) = х(Т), (3.2)
предполагая, что мультиотображение Е : М х Мп — Ку(Кп) удовлетворяет верхним условиям Каратеодори, условию подлинейного роста и Т-периодично (Т > 0) по первому аргументу:
Е(г, х) = Е(г + Т, х) для всех г € М, х € Мп
(очевидно, это условие позволяет рассматривать мультиотображение Е заданным на [0,Т] х Мп).
Замечание 3. При сделанных предположениях определен мультио-ператор суперпозиции Рр : С([0,Т];Мп) — Р(Ь1 ([0,Т];Мп)), сопоставляющий каждой функции х(-) множество всех суммируемых сечений мультифункции Е(г,х(г)). Известно, что этот мультиоператор замкнут (см., например, [1]).
Под решением задачи (3.1), (3.2) будем понимать Т-периодическую абсолютно непрерывную функцию х(-), удовлетворяющую почти в каждой точке включению (3.1) и условию (3.2).
Для изучения задачи (3.1), (3.2) будем использовать топологическую степень совпадения пары отображений в следующей ситуации (см., например, [15; 18; 19; 20; 2]).
Пусть E\, E2 — банаховы пространства, U С E\ — открытое ограниченное множество; l : dom l С Ei — E2 — линейный фредгольмов оператор нулевого индекса такой, что im l С E2 замкнуто.
Рассмотрим непрерывные линейные операторы проектирования p : E1 — E1 и q : E2 — E2 такие, что imp = ker l, im l = ker q. Символом lp обозначается сужение оператора l на dom l П ker p.
Далее, пусть непрерывный оператор kp,q : E2 — dom l П ker p задан соотношением kp,q(y) = l-1(y — q(y)), y £ E2; канонический оператор проектирования п : E2 — E2/im l имеет вид n(y) = y + im l, y £ E2; а ф : coker l — ker l - непрерывный линейный изоморфизм.
Определение 14. Мультиотображение Q : U Kv(E2) называется l-компактным, если
(г) Q(U) — ограниченное множество;
(п) kPtqoQ : U —> Kv(E\) является компактным мультиотображе-нием.
Рассмотрим теперь мультиотображение © : U —> Kv(E\) вида
в(х) =р(х) + (0О7Г + kp¡q) од(х), xeü. (3.3)
Легко проверить, что множество неподвижных точек Fix G совпадает с множеством решений Coin (l, G) включения l(x) £ G(x), т.е. точек совпадения l и G.
Далее, пусть Q : U —> Kv(E2) — замкнутый ¿-компактный мультио-ператор такой, что l(x) / G(x) для всех x £ dU.
Определение 15. Степенью совпадения deg(l,Q,U) пары(1,<3) назовем топологическую степень deg($, U) компактного мультиполя Ф = i — соответствующего мультиотображению © : U —>■ Kv(E\), заданному (3.3).
Определенная таким образом топологическая степень совпадения обладает всеми основными свойствами топологической степени (см., например, [15; 18; 19; 20; 2]). Напомним некоторые из них. 10) Аддитивная зависимость от области.
Если {Uj }j— семейство открытых непересекающихся подмножеств U такое, что
l(x) / G(x) для всех x £ domI П U\ (J Uj,
j eJ
то
deg(l,Q,W) = ^deg(l,g,Uj). jeJ
20) Гомотопическая инвариантность. Если l-компактное мультиотображение Q : (dom¿ П U) x [0,1] —> Kv(E2) таково, что
l(x) / G(x, X) для всех (x, X) £ (dom l П dU) x [0,1] ,
то степень совпадения deg (l,Q(-,\),U) не зависит от А е [0,1] .
30) Принцип сужения отображения. Если U\ С U — открытое множество такое, что
l(x)^Q(x) для всех х Е dorn I П (U\Ui) ,
то
deg (l,G,U) = deg (1,д,Щ. 40) Свойство точки совпадения. Если
deg (1,9, U) ф О,
то существует точка совпадения x Е dom l П U :
l(x) Е G(x).
В частности, когда l — тождественный оператор, то степень совпадения является классической топологической степенью.
Пусть G С Rn — непустое множество. Обозначим символом Ct —
пространство непрерывных Т-периодических функций x : R — Rn с
нормой \\x\\c = sup \\x(t)\\ и пусть LT — пространство суммируемых te[o,T ]
Т-периодических функций f : R — Rn с нормой \\f \\L^ = J0T \\f (s)\\ds. Обозначим теперь
r(G) := {x Е Ct : x(t) Е G для всех t Е [0,Т]}.
Для функции V : Rn — R, M С R и для любого r Е R пусть
V-1(M) := {x Е Rn : V(x) Е M}, Vr := {x Е Rn : V(x) > r}.
Для M С Rn символом хм обозначается характеристическая функция множества M и M$ = UxeM Bn(x,ö), где Bn(x,ö) С Rn — открытый шар с центром в точке x и радиуса ö > 0.
Развивая понятия, введенные в [5; 16; 3], дадим следующие определения.
Определение 16. Непрерывно дифференцируемая функция V : G — R называется невырожденным потенциалом, если
VV(x) = 0 для всех x Е G.
Определение 17. Невырожденный потенциал V : G — R называется обобщенной интегральной направляющей функцией на G для включения (3.1), если для всех функций x Е r(G)
Г T
/ (VV(x(s)),f(s)} ds > 0 хотя бы для одного f Е PF(x). (3.4) Jo
Замечание 4. Отметим, что в отличие от [3], здесь условие (3.4) является менее жестким, что, очевидно, позволяет применять метод обобщенной интегральной направляющей функции к значительно более широкому классу динамических систем.
В дальнейшем нам понадобится следующее утверждение (см. [15]).
Лемма 1. Пусть произвольное число r > 0 и V : Rn ^ R — невырожденный потенциал для всех x £ Rn таких, что ||x|| = r. Пусть также отображение g : Ct ^ L1([0,T]; Rn) определено как
(gx)(t) = —VV(x(t)), t £ [0,T],
и h = l — g, где l — линейный фредгольмов оператор нулевого индекса, определенный как (lx)(t) = x'(t). Тогда
\deg(l,h,Bn(0,r))\ = I deg(VF, Bn(0, r))|,
где deg(VF, Bn(0, г)) обозначает топологическую степень отображения VV на множестве Bn(0,r).
Справедливо следующее утверждение.
Теорема 1. Пусть V : Rn ^ R — непрерывно дифференцируемая функция такая, что выполняются следующие условия:
(i) Vo и Vr являются непустыми, открытыми, ограниченными множествами, где
r = min( —T max IVV(и)Ц2, — max / |(VV(u),f(t))\dt! , [ uev-i(o) uev-1(o) Jo J
f £ PB(u);
(ii) V является обобщенной интегральной направляющей функцией для включения (3.1) на множестве Rra\Vo;
(Hi) топологическая степень deg(VF, Vo) отображения VV на множестве Vo отлична от нуля. Тогда задача (3.1), (3.2) имеет T-периодическое решение x £ r(Vr U V-1(r)).
Доказательство. Определим мультиотображение B : C([0,T]; Rn) ^ P(L1([0,T]; Rn)) следующим образом:
B(x) =
= { V : №t)\<a(t) п.в. t £ [0,T] и j(x) ^ <VV (x(s)),<p(s)) ds > ^ ,
где а(-) — функция из условия подлинейного роста, а
О, если жеГ(Уо),
\ 1, если х е Г(Мга\]/Ь).
Легко видеть, что В является замкнутым мультиотображением. Далее определим мультиотображение
РВ : С([0,Т];Мга) - Р(Ь1 ([0,Т];Мга))
как
РВ (х) = Рр (х) П В (х).
Мультиотображение РВ как пересечение замкнутых мультиотображе-ний замкнуто, и соотношение (3.4) будет выполняться уже для всех /еРВ (х).
Для невырожденного потенциала V определим отображение Уу : Мга — Мга следующим образом:
{ VV(х), если (х)\\ < 1,
если ||УП®)||>1.
Нетрудно видеть, что отображение Уу непрерывно. Зададим мультиотображение
Н : [0,Т] х С([0, Т]; Мга) х [0,1] - Р(Ь1([0,Т]; Мга))
следующим образом:
н (ь,х,х) = (1 - \)Уу (х(г)) + хрВ (х)(г).
Пусть х - некоторое решение задачи
х'(г) е н(ь,х,Х), X е [0,1), (3.5)
х(0) = х(Т). (3.6)
Если допустить, что V(х(г)) < 0 при всех Ь е [0,Т], то, учитывая периодичность решения и предположение (и), получим
0 = V(х(Т)) - V(х(0)) = [ (VV(х(в)),х'(в))) йв =
Jo
= (1 - X) [ \\VV(х(в))\\2 йв + х[ ^(х(в)),/(в)) йв> 0, .'о .'о
где / е Р В (х).
Из полученного противоречия следует, что найдется Ьо е [0, Т] такое, что
V(х(Ьо)) > 0, (3.7)
то есть такое, что х(г0) € \>о. Если
V(х(г)) > 0 для всех г € [0,Т],
то из предположения (1) имеем априорную оценку для этого решения включения (3.5). В противном случае, найдется т € [0,Т] такое, что V(х(т)) < 0 и, следовательно,
шт V(х(г)) = V(х(т)) < 0. (3.8)
ге[о,т]
Из (3.7) и (3.8) следует существование а € [0, Т] такого, что или
а <т, V(х(а)) =0, 0 > V(х(г)) для г € (а,т], (3.9)
или
т < а, V(х(а)) =0, 0 > V(х(г)) для г € [т, а).
Для определенности рассмотрим случай, когда выполняется (3.9) (другой случай аналогичен). Предположим сначала, что т = 0 (и т = Т) и для каждого положительного целого п такого, что т + ^ < Т определим непрерывную функцию хп : [0,Т] ^ Мп как
х(а), если г€ [0,а],
х(г), если Ь€ (а,т],
Хп® = | х{т + п{о - тЩ - г)), если * е (г, г +
х(о), если £ е (т + Т].
В случае, когда т = 0 и функция V(х(-)) достигает своего минимума в точках 0 и Т, мы определим хп(-) для достаточно больших п таких, что 0 + щ < а, следующим образом:
{х(т + п(а — т)£), если £ е [0, х(о), если £ е <т],
х(г), если г€ (а, Т].
В каждом случае хп(-) является последовательностью непрерывных и Т-периодических функций таких, что V(х(т)) < V(хп(г)) < 0, сходящейся на [0,Т] к функции ((■), определенной как
£(,) = ( х(г), если г € [а,т],
(() = \ х(а), если г € [0,Т] \ [а,т],
и такой, что V(х(т)) < V(((г)) < 0. Из предположения (п) для всех достаточно больших п имеем
г т
/ ^(хп(в)), ¡(в))} йз > 0 для всех / € Р^(хп). Jo
Но тогда
/о
и получаем, что
Г(ЪУШ), ¡(в))) йв > 0 для всех / е РВ(е), о
(■Т
12
0 < / + [(1 - Л)\\ЪУ(С(в))\\2 + Л(УУ(е(в)),/(в))] йв =
= Г(Чу (х(в)),х (в))йв+[ [(1-л)\\Уу (е (з))\2+л(Уу (е (в)),/(в))] йв,
■)а J[0,Т]\[a,т]
где / е Р В (е), или
0 < У(х(т)) + [ [(1 - Л)\\ЪУ(х(а))\\2 + Л(ЪУ(х(а)),/(в))] йв,
ЛОТ ]\Кт ]
где / е РВ (х). Откуда имеем
У(х(т)) > [ [-(1 - Л)\\ЪУ(х(а))\\2 - Л(УУ(х(а)),/(в))] йв >
ло,т ]\Кт ]
> шт(-Т тах \\ЪУ(и)\\2, - тах I |(УУ(и),/(Ь))\йД = г. [ пеу-1(о) пеу-1(о).1о )
В
где / е РВ (и).
Следовательно, неравенство У(х(Ь)) > г верно для возможных решений включения (3.5) и для всех Ь е [0,Т]. Запишем (3.5) в абстрактном виде как
1(х) е Я(х, Л). (3.10)
Таким образом, или задача (3.1), (3.2) имеет решение на 9Г(УГ) и в этом случае теорема доказана, или для любого Л е [0,1] задача (3.5), (3.6) не имеет решения на 9Г(УГ). Тогда, рассматривая включение (3.10) и применяя свойство гомотопической инвариантности топологической степени совпадения, получаем
с\её(1, Я (•, 1), ГОЛ-)) = с\её(1, Я(•, 0), Г(УГ)).
Из условий (1), (ш), леммы 1 и принципа сужения отображения следует, что
|(1ее(*,Я(.,0),Г(Уг))| = |сМУУ,1Л.)| = |ёее(УУ,У0)| ^0.
Тогда утверждение теоремы следует из свойства существования точки совпадения. □
Замечание 5. Очевидно, утверждение теоремы остается справедливым и в случае, когда соотношение (3.4) выполнено для всех f € Рр(х).
4. Случай нормальной правой части
Будем рассматривать теперь периодическую задачу для дифференциального включения следующего вида:
x'(t) е R(t,x(t)), (4.1)
x(0) = x(T), (4.2)
в предположении, что мультиотображение R : R х Rra ^ K(Мга) является нормальным и удовлетворяет условию T-периодичности по первому аргументу.
Определение 18. Невырожденный потенциал V : G ^ R называется интегральной направляющей функцией на G для включения (4-1), если для всех функций x е r(G)
í {VV(x(s)), f(s)) ds > 0 для всех f е Pr(x). (4.3)
Jo
Замечание 6. Отметим, что в отличие от [4], здесь условие (4.3) предполагается выполненным в нестрогой форме и для включений, правая часть которых является нормальным мультиотображением, что, очевидно, позволяет применять метод интегральной направляющей функции к более широкому классу динамических систем.
Справедлив следующий аналог теоремы 1.
Теорема 2. Пусть V : Rra ^ R — непрерывно дифференцируемая функция такая, что выполняются следующие условия:
(i) V0 и Vr являются непустыми, открытыми, ограниченными множествами, где
r = min(-T max \\VV(u)\\2, - max I |(VV(u),f(t))\ dt! , [ uev— (o) uev-1(o)Jo J
f е Pr(u);
(ii) V является интегральной направляющей функцией для включения (4-1) на множестве Rra\Vo;
(in) топологическая степень deg(VF, Vo) отображения VV на множестве Vo отлична от нуля.
Тогда задача (4.1), (4.2) имеет Т-периодическое решение х € Г(УГ и V-1(г)).
Доказательство. Пусть мультиотображение Г является квазисечением мультиотображения Я, то есть:
(^ мультиотображение Г : [0, Т] х Мп — Ку(Кп) удовлетворяет верхним условиям Каратеодори и условию подлинейного роста; (ц) г(г,х) п Я(г,х) = 0 п.в. г € [0,Т], х€ мп; (Щ) каждое решение х : [0, Т] — Мп задачи
х'(г) € г(г,х(г)), (4.4)
х(0) = х(Т), (4.5)
является решением исходной задачи (4.1), (4.2).
В силу (,],],]) достаточно показать, что задача (4.4), (4.5) имеет решение.
Из условия (Ц) следует, что Рр(х) П Рк(х) = 0 для всех х € Мп. Нетрудно проверить, что функция V является обобщенной интегральной направляющей функцией для включения (4.4) в смысле определения 17. Из теоремы 1 тогда следует, что задача (4.4), (4.5) имеет Т-периодическое решение. Следовательно, имеет решение и исходная задача (4.1), (4.2). □
Автор глубоко признателен профессору В. В. Обуховскому за полезные обсуждения затронутых в статье вопросов.
Список литературы
1. Введение в теорию многозначных отображений и дифференциальных включений / Ю. Г. Борисович, Б. Д. Гельман, А. Д. Мышкис, В. В. Обуховский. -Изд. 2-е, испр. и доп. - М. : Либроком, 2011. - 226 с.
2. Корнев С. В. О некоторых вариантах теории топологической степени для невыпуклозначных мультиотображений / С. В. Корнев, В. В. Обуховский // Тр. мат. факультета. - 2004. - Вып. 8. - С. 56-74.
3. Корнев С. В. О локализации метода направляющих функций в задаче о периодических решениях дифференциальных включений / С. В. Корнев, В. В. Обуховский // Изв. вузов. Математика. - 2009. - № 5. - С. 23-32.
4. Корнев С. В. Негладкие интегральные направляющие функции в задачах о вынужденных колебаниях / С. В. Корнев // Автоматика и телемеханика. -2015. - № 9. - С. 31-43.
5. Красносельский М. А. Оператор сдвига по траекториям дифференциальных уравнений / М. А. Красносельский. - М. : Наука, 1966. - 332 с.
6. Красносельский М. А. Об одном принципе существования ограниченных, периодических и почти-периодических решений у систем обыкновенных дифференциальных уравнений / М. А. Красносельский, А. И. Перов // Докл. АН СССР. - 1958. - Т. 123, № 2. - С. 235-238.
7. Финогенко И. А. О дифференциальных уравнениях с разрывной правой частью / И. А. Финогенко // Изв. Иркут. гос. ун-та. Сер. Математика. - 2010. -Т. 3, № 2. - С. 88-102.
8. Bressan A. Upper and lower semicontinuous differential inclusions: A unified approach / A. Bressan // Nonlinear Controllability and Optimal Control / H. Sussmann (ed.). - N. Y. : Dekker, 1990. - P. 21-31.
9. Bressan A. Differential inclusions without convexity: A survey of directionally continuous selections / A. Bressan // Proceedings of the First World Congress of Nonlinear Analyst. Tampa, Florida, 1992, Lakshmikantham, V., ed., Walter de Gruyter. - 1996. - P. 2081-2088.
10. Fonda A. Guiding functions and periodic solutions to functional differential equations / A. Fonda // Proc. Amer. Math. Soc. - 1987. - Vol. 99, N 1. - P. 79-85.
11. Gorniewicz L. Topological Fixed Point Theory of Multivalued Mappings / L. Gorniewicz. - Berlin : Springer, 2006. - 556 p.
12. Kamenskii M. Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces / M. Kamenskii, V. Obukhovskii, P. Zecca. - Berlin : N. Y. : Walter de Gruyter, 2001. - 231 p.
13. Kisielewicz M. Differential inclusions and optimal control / M. Kisielewicz. -Kluwer, Dordrecht : PWN Polish Scientific Publishers, Warsaw, 1991.
14. Kornev S. On asymptotics of solutions for a class of functional differential inclusions / S. Kornev, V. Obukhovskii, J. C. Yao // Discussiones Mathematicae. Differential Inclusions, Control and Optimization. - 2014. - Vol. 34, issue 2. - P. 219-227.
15. Mawhin J. L. Topological degree methods in nonlinear boundary value problems / J. L. Mawhin // CBMS Regional Conf. Ser. in Math., Amer. Math. Soc. Providence, R.I. - 1977. - N 40.
16. Mawhin J. Guiding-like functions for periodic or bounded solutions of ordinary differential equations / J. Mawhin, James R. Ward Jr. // Discrete and continuous dynamical systems. - 2002. - Vol. 8, N 1. - P. 39-54.
17. Method of guiding functions in problems of nonlinear analysis. Lecture Notes in Math. Vol. 2076. / V. Obukhovskii, P. Zecca, N. V. Loi, S. Kornev. - Berlin : Springer, 2013. - 177 p.
18. Pruszko T. A coincidence degree for L-compact convex-valued mappings and its application to the Picard problem for orientor fields / T. Pruszko // Bull. Acad. pol. sci. Soer. sci math. - 1979. - Vol. 27, N 11-12. - P. 895-902.
19. Pruszko T. Topological degree methods in multi-valued boundary value problems / T. Pruszko // Nonlinear Anal.: Theory, Meth. and Appl. - 1981. - Vol. 5, N 9. - P. 959-970.
20. Tarafdar E. On the existence of solutions of the equation Lx € Nx and a coincidence degree theory / E. Tarafdar, S. K. Teo // J. Austral. Math. Soc. -1979. - Vol. A28, N 2. - P. 139-173.
21. Tolstonogov A. Differential inclusions in a Banach space / A. Tolstonogov. - Kluwer Academic Publishers, 2000. - 302 p.
Корнев Сергей Викторович, кандидат физико-математических наук, доцент, физико-математический факультет, Воронежский государственный педагогический универитет, 394043, Россия, г. Воронеж, ул. Ленина, 86 тел.: (473)2553663 (e-mail: [email protected])
S. V. Kornev
The Method of Generalized Integral Guiding Function in the Periodic Problem of Differential Inclusions
Abstract. In the present paper we consider new methods for solving the periodic problem for a nonlinear system governed by a differential inclusion of the following form:
x'(t) e F(t,x(t)).
In the first part of the article we assume that the multivalued map F : R x Rn ^ Rn has convex compact values, satisfies the upper Caratheodory conditions, sublinear growth condition and T-periodic in the first argument. Under the above assumptions the closed multivalued superposition operator Pf : C([0,T]; Rn) ^ P(L^[0,T]; Rn)), assigning to each function x(-) the set of all integrable selections of the multifunction F(t, x(t)) is well defined. In the second part of the article we assume that the multivalued map F : R x Rn ^ Rn is regular with compact values satisfying the T-periodicity condition in the first argument. Notice that the class of regular multimaps is broad enough. It includes, in particular, bounded almost lower semicontinuous multimaps with compact values. In both cases for the study of the periodic problem the generalized integral guiding function method is applied. An essential development of the concept of the guiding function is the fact that the basic condition is assumed to hold, firstly, in an integral form; secondly, in the domain defined by the guiding function; and at last, not necessarily for all integrable selections of the superposition multioperator. Application of the coincidence degree theory and the multivalued maps theory allows to establish the solvability of the periodic problem.
Keywords: differential inclusion, integral guiding function, periodic solutions, coincidence topological degree.
References
1. Borisovich Yu.G., Gel'man B.D., Myshkis A.D., Obukhovskii V.V. Vvedenie v teoriyu mnogoznachnykh otobrageniy i differentsial'nykh vklyucheniy [Introduction to the theory of multivalued maps and differential inclusions]. Moscow, Librokom, 2011. 226 p.
2. Kornev S.V., Obukhovskii V.V. On some versions of the theory of topological degree for nonconvex-valued multimap (in Russian) [O nekotorykh variantakh teorii topologicheskoy stepeni dlya nevypukloznachnykh multiotobrazhenij]. Trudy matematicheskogo fakulteta, Voronezh State University, Voronezh, 2004, vol. 8, pp. 56-74.
3. Kornev S.V., Obukhovskii V.V. On localization of the guiding function method in the periodic problem of differential inclusions (in Russian) [O lokalizatsii metoda napravlyayushchikh funktsij v zadache o periodicheskikh resheniyakh differentsial'nykh vklyuchenij]. Izv. vuzov. Matematika, 2009, no. 5, pp. 23-32.
4. Kornev S.V. Nonsmooth integral guiding functions in the problem of forced oscillations (in Russian) [Negladkie integral'nye napravlyaushchie funktsii v zadache o vynugdennykh kolebaniyakh]. Avtomatika i telemehanika, 2015, no. 9, pp. 31-43.
5. Krasnosel'skii M.A. Operator sdviga po traektoriyam differentsial'nykh uravnenii [The Operator of Translation along the Trajectories of Differential Equations]. Moscow, Nauka, 1966. 332 p.
6. Krasnosel'skii M.A., Perov A.I. On existence principle for bounded, periodic and almost periodic solutions to the systems of ordinary differential equations (in Russian) [Ob odnom printsipe sushchestvovaniya ogranichennykh, periodicheskikh i pochti periodicheskikh reshenij u sistem obyknovennykh differentsial'nykh uravnenij]. Dokl. Akad. Nauk SSSR, 1958, vol. 123, no 2, pp. 235-238.
7. Finogenko I.A. On differential equations with discontinuous right-hand side (in Russian) [O differentsial'nykh uravnenijkh s razryvnoy pravoy chast'yu]. Izv. Irkut. gos. un-ta. Ser. Math,., 2010, vol. 3, no 2, pp. 88-102.
8. Bressan A. Upper and lower semicontinuous differential inclusions: A unified approach. In: H. Sussmann (Ed.), Nonlinear Controllability and Optimal Control. New York, Dekker, 1990, pp. 21-31.
9. Bressan A. Differential inclusions without convexity: A survey of directionally continuous selections. Proceedings of the First World Congress of Nonlinear Analyst.. Tampa, Florida, 1992, Lakshmikantham, V., Ed., Walter de Gruyter, 1996, pp. 2081-2088.
10. Fonda A. Guiding functions and periodic solutions to functional differential equations. Proc. Amer. Math. Soc., 1987, vol. 99, no 1, pp. 79-85.
11. Gorniewicz L. Topological Fixed Point Theory of Multivalued Mappings. Berlin, Springer, 2006. 556 p.
12. 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.
13. Kisielewicz M. Differential inclusions and optimal control, Kluwer, Dordrecht: PWN Polish Scientific Publishers, Warsaw, 1991.
14. Kornev S., Obukhovskii V., Yao J.C. On asymptotics of solutions for a class of functional differential inclusions. Discussiones Mathematicae. Differential Inclusions, Control and Optimization, 2014, vol. 34, issue 2, pp. 219-227.
15. Mawhin J.L. Topological degree methods in nonlinear boundary value problems. CBMS Regional Conf. Ser. in Math., Amer. Math. Soc. Providence, R.I., 1977, no 40.
16. Mawhin J., Ward James R. Jr. Guiding-like functions for periodic or bounded solutions of ordinary differential equations. Discrete and continuous dynamical systems, 2002, vol. 8, no 1, pp. 39-54.
17. Obukhovskii V., Zecca P., Loi N.V., Kornev S. Method of guiding functions in problems of nonlinear analysis. Lecture Notes in Math. V. 2076. Berlin, Springer, 2013. 177 p.
18. Pruszko T. A coincidence degree for L-compact convex-valued mappings and its application to the Picard problem for orientor fields. Bull. Acad. pol. sci. Sér. sci math1979, vol. 27, no 11-12, pp. 895-902.
19. Pruszko T. Topological degree methods in multi-valued boundary value problems. Nonlinear Anal.: Theory, Meth. and Appl., 1981, vol. 5, no 9, pp. 959-970.
20. Tarafdar E., Teo S.K. On the existence of solutions of the equation Lx € Nx and a coincidence degree theory. J. Austral. Math. Soc., 1979, vol. A28, no 2, pp. 139-173.
21. Tolstonogov A. Differential inclusions in a Banach space. Kluwer Academic Publishers, 2000. 302 p.
Kornev Sergei Viktorovich, Candidate of Sciences (Physics and Mathematics), Associate Professor, Voronezh State Pedagogical University, 86, Lenina st., Voronezh, 394043, tel.: (473)2553663 (e-mail: [email protected])