CC BY
26
УДК 517.911+517.935 © Л. И. Родина
СТАТИСТИЧЕСКИЕ ХАРАКТЕРИСТИКИ МНОЖЕСТВА ДОСТИЖИМОСТИ УПРАВЛЯЕМОЙ СИСТЕМЫ 1
Изучаются инвариантные и статистически инвариантные множества относительно управляемых систем. Для определения статистически инвариантного множества введены и исследованы такие характеристики, как относительная частота, верхняя и нижние относительные частоты поглощения множества достижимости управляемой системы заданным множеством.
Ключевые слова: управляемые системы, динамические системы, дифференциальные включения, инвариантные и статистически инвариантные множества.
§ 1. Определение статистических характеристик множества достижимости
Эта статья является продолжением работ [1,2], которые посвящены вопросам существования инвариантных и статистически инвариантных множеств относительно управляемых систем и дифференциальных включений.
Основным объектом исследования в данной работе является управляемая система
ж = /(Л* а, ж, и), (Ь, а, ж,и) € М х £ х Мп х Мт, (1)
правая часть которой параметризована с помощью топологической динамической системы (£,Л*). Здесь £ — полное метрическое пространство, Л* — поток на £. В качестве вспомогательного объекта рассматривается соответствующее системе (1) дифференциальное включение
Ж € F(Л*а,ж), ^(а,ж) = соН(а,ж), (2)
где через Н (а, ж) обозначено множество всех предельных значений функции /(а, ж, и (а, ж)) при (а^ж^) ^ (а,ж), соН(а,ж) — замыкание выпуклой оболочки множества Н(а,ж). Предполагаем, что правая часть включения (2) принимает значения в пространстве с1су(Мп) непустых выпуклых замкнутых (не обязательно ограниченных) подмножеств евклидова пространства Мп с метрикой Хаусдорфа-Бебутова. Свойства пространства с1су(Мп) описаны в работах [3,4]. Предполагаем также, что выполнены следующие условия:
1) для каждой точки (Ь, а) функция (ж, и) ^ /(Л*а, ж, и) непрерывна;
2) для каждой точки (а, ж, и) функция Ь ^ /(Л*а, ж, и) кусочно-непрерывна;
3) функция (а, ж) ^ и (а, ж) принимает значения в пространстве с1су(Мт) и полунепрерывна сверху в метрике Хаусдорфа-Бебутова.
Пусть задано подмножество М = {(а, ж) € £хМп: ж € М(а)} пространства О = £ х с1су(Мп),
обозначим через А(Ь,и), где и = (а, X), множество достижимости системы (1) в момент вре-
мени Ь из начального множества X. Рассмотрим множество
а(#о,$,и) = {Ь € [#о, V] : А(Ь,и) С М(Л*а)}.
Введем следующие статистические характеристики множества достижимости управляемой системы (1). В предположении, что для каждого а € £ множество достижимости А(Ь, а, X) существует при всех Ь ^ 0, относительной частотой поглощения множества достижимости системы (1) множеством М назовем следующий предел
. шв8 а(0, V, и) .. шв8{Ь € [0, V]: А(Ь, а, X) С М(Л*а)}
= 1ш1 ------------= 1ш1 -----------------------------------. (3)
19^<х V 19^<х V
:Работа поддержана РФФИ (грант № 12-01-00195).
Далее, если предел (3) не существует, то характеристики
г л ■ т-—mescnfO, $,ш) . , . . mesafO, $, ш)
ireq (и) = пт --------------, lreq*(w) = пт--------------------------------------
i9^oo V —>оо V
будем называть, соответственно, верхней и нижней относительной частотой поглощения множества достижимости A(t, w) системы (1) множеством M.
§2. Условия статистической инвариантности множества M
Определение 1. Множество M будем называть статистически инвариантным относительно управляемой системы (1), если для всех а € £ выполнено равенство
mesjt € [0, §]: A(t, а, M (а)) С M (Л*а)}
freq (сг) = lim ---------------—-------------------- = 1.
tf—о §
Обозначим через Mr (а) = M(а) + Or (0) замкнутую окрестность множества M(а) в Rn, через N+ (а) = Mr(а) \ M(а) — внешнюю r-окрестность границы множества M(а), также введем в рассмотрение множество N^ = {(а,ж) € £ х Rn : ж € N^(а)}.
Для формулировки основного результата приведем следующие определения.
Определение 2. Скалярную функцию V (а, ж) переменных (а, ж) € £ х Rn будем называть функцией Ляпунова (относительно заданного множества M С Q), если она удовлетворяет локальному условию Липшица и выполнены следующие условия:
1) V(а, ж) ^ 0 при всех (а, ж) € M; 2) V(а, ж) > 0 для всех (а, ж) € N^.
Определение 3. Для локально липшицевой функции V (а, ж) обобщенной производной в точке (а, ж) € £ х Rn по направлению вектора q € Rn называется следующий предел
Пмм»* im.su,> n*«,v+e<i)-v«>,v)t
(#,y,£)—(<r,x,+ 0) ^
а выражения ^;п(а, ж) = inf V0^, ж; q), ^ах(а, ж) = sup Vo(а, ж; q) называются ниж-
q&F (a,x) q&F(a,x)
ней и верхней производной функции V в силу дифференциального включения (2).
Рассмотрим скалярную задачу Коши
z = w(h*а, z), z(t0) = z0, t ^ t0 в предположении, что функция -ш(Л*а, z) удовлетворяет следующему условию.
Условие 1. Имеют место следующие свойства:
1) для каждой точки (t, а) функция z ^ w(h*а, z) непрерывна и выполнено неравенство
|w(hа, z)| lim ' , , < 00;
|z |—>^0 |z|
2) для каждой точки (а, z) функция t ^ w(h*а, z) кусочно-непрерывна.
В работе [5] показано, что при выполнении условия 1 для каждого а € £ верхнее решение z*(t, а) задачи Коши существует для всех t ^ 0.
Введем характеристику
,и = lin, -<*{*£ М •*•(*.*) (4)
$—<о §
которую назовем относительной частотой пребывания верхнего решения z*(t, а) задачи Коши в множестве (-то, 0]. Если предел (4) не существует, рассматриваем характеристики
ч . 1—mesit € : z*(t,a) ^ 0} , , . , mesit € [0, •&] : z*(t, а) < 0}
х*{а) = lim-------------1------------, х*(а) = lim-Ь-L^_L-1 .
#-юо 19 У ' 1?
Следующая теорема доказана в работе [2] для случая, когда функции f (а, ж,и) и -ш(а, z) непрерывны.
Теорема 1. Предположим, что для всех а € £ для каждой точки ж € M (а) все решения включения (2), удовлетворяющие начальному условию ^>(0, а, ж) = ж, продолжаемы на полуось R+ = [0, то). Пусть для каждого а € £ существуют функция V(а, ж) переменных (а, ж) € £ х Rn и функция -ш(а, z) переменных (а, z) € £ х R такие, что:
1) функция w(h*а, z) удовлетворяет условию 1;
2) функция V(а, ж) является функцией Ляпунова относительно множества M и при всех (а, ж) € £ х Rn выполнено неравенство
Vmax (а,ж) < V (а,ж)) •
Тогда для каждого а € £ для любого множества X С M (а) верхняя и нижняя относительные частоты поглощения множества достижимости A(t, а, X) множеством, M удовлетворяют неравенствам
freq*(w) ^ к*(а), freq*(w) ^ к*(а).
Далее, если к(а) = 1 для всех а € £, то множество M статистически инвариантно относительно системы (1).
Для эффективного применения теоремы 1 необходимо получить условия существования предела к (а) и равенства к(а) = 1, а также научиться вычислять характеристики к* (а) и к*(а). Такие условия получены для линейной задачи Коши
z = a(hV)z + b(h*а), z(0, а) = 0, t ^ 0
в предположении, что а является периодической точкой потока Л* : £ ^ £. Условия равенства к (а) = 1 приведены в работе [2].
Список литературы
1. Родина Л.И., Тонков Е.Л. Статистические характеристики множества достижимости управляемой системы, неблуждаемость и минимальный центр притяжения // Нелинейная динамика. 2009. Т. 5. № 2. С. 265-288.
2. Родина Л.И. Тонков Е.Л. Статистически слабо инвариантные множества управляемых систем // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2011. Вып. 1. C. 67-86.
3. Панасенко Е.А., Родина Л.И., Тонков Е.Л. Асимптотически устойчивые статистически слабо инвариантные множества управляемых систем // Труды Института математики и механики УрО РАН. 2010. Т. 16. № 5. С. 135-142.
4. Панасенко Е.А., Родина Л.И., Тонков Е.Л. Пространство clcv(Rn) с метрикой Хаусдорфа-Бебутова и дифференциальные включения // Труды Института математики и механики УрО РАН. 2011. Т. 17. № 1. С. 162177.
5. Родина Л.И. Статистически инвариантные множества управляемых систем со случайными параметрами // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2011. Вып. 2. C. 68-87.
Поступила в редакцию 15.02.2012
L. I. Rodina
Statistical characteristics of attainable set of controllable systems
We research the invariant and statistically invariant sets of the controllable systems. For definition of statistically invariant set, we introduce and research such characteristics as the relative frequency, the upper and lower relative frequences of occurence of the attainable set of a controllable system in some given set.
Keywords: controllable systems, dynamical systems, differential inclusions, invariant and statistically invariant sets. Mathematical Subject Classifications: 34A60, 37N35, 49J15, 93B03
Родина Людмила Ивановна, к.ф.-м.н., доцент, Удмуртский государственный университет, 426034, Россия, г. Ижевск, ул. Университетская, 1. E-mail: rdl@uni.udm.ru
Rodina Lyudmila Ivanovna, Candidate of Physics and Mathematics, Associate Professor, Udmurt State University, ul. Universitetskaya, 1, Izhevsk, 426034, Russia
