CC BY
26
Известия Института математики и информатики УдГУ
2015. Вып. 2 (46)
УДК 517.958, 530.145.6 © А. X. Хаммади
О СВОЙСТВАХ ХАРАКТЕРИСТИК МНОЖЕСТВА ДОСТИЖИМОСТИ УПРАВЛЯЕМОЙ СИСТЕМЫ
Продолжено исследование характеристик управляемой системы, которые отражают свойство равномерности пребывания множества достижимости системы в заданном множестве M = {(t,x) £ [0, х Rn : x £ M(t)} на конечном промежутке времени. В терминах функций Ляпунова и производной Кларка получены условия, при которых относительные частоты поглощения множества достижимости управляемой системы можно оценить подобными характеристиками, определенными для дифференциальных уравнений. Доказана теорема об оценке и вычислении относительных частот для некоторого класса многозначных функций, получены оценки различных характеристик для функций, почти периодических в смысле Вора. Приведены примеры вычисления и оценок относительных частот нахождения графиков функций в заданном множестве.
Ключевые слова: управляемые системы, дифференциальные включения, множество достижимости, почти периодические функции.
Введение
Данная статья продолжает исследования работ [1-3], в которых введены и изучены такие характеристики, как относительная частота, верхняя и нижняя относительные частоты поглощения множества достижимости управляемой системы
x = f (t,x,u), (t,x,u) € [0, x Rn x Rm, (0.1)
заданным подмножеством M = {(t,x) € [0, +œ) xRn : x € M(t)} евклидова пространства Rn+1. Здесь изучаются свойства характеристик, связанных с инвариантностью или слабой инвари-
M
Обозначим через D(t,X) множество достижимости системы (0.1) в момент времени t из начального множества X. В терминах функций Ляпунова и производной Кларка получены оценки для относительной частоты поглощения множества D(t, X ) множеств ом M на отрезке [т, т + tf ], которая определяется как отношение меры Лебега тех t из отрезка [т, т + tf ], при которых D(t, X ) С M (t), к длине данного отрезка:
t'req[TT+ii](D,M) = + ^ "W.
Исследуется также характеристика
. .mes {t € [т,т + tf] : D(t,X ) С M (t)} freq*(A M) = inf freq[TtT+0](D, M) = inf-1-Lj-V'
которая отображает свойство равномерности пребывания множества достижимости D(t, X) в множестве M на отрезке заданной длины tf. Доказана теорема об оценке и вычислении относительных частот для некоторого класса многозначных функций, получены оценки различных характеристик для функций, почти периодических в смысле Бора. Приведены примеры вычисления и оценок относительных частот нахождения графиков функций в заданном множестве.
§ 1. Основные определения
Основным объектом исследования является управляемая система
Х = f(t,x,u), (t,x,u) € [0, x Rn x Rm, (1.1)
где функция f (t, x, u) непрерывна по совокупности переменных, управление u содержится в компактном множестве U (t, x) С Rm и функц ия U (t, x) полунепрерывна сверху в метрике Хаусдорфа при всех (t, x) € [0, +œ) x Rn.
Рассмотрим отвечающее системе (1.1) дифференциальное включение
ж € ^(£,ж), (£,ж) € [0, х Мга, (1.2)
где для каждой фиксированной точки (£, ж) € [0, х Мга множество F(£, ж) состоит из всех предельных значений функции /(¿¿,Жг,и, ж»)) при , ж») ^ (£, ж). Предполагаем, что множество F(¿, ж) непусто, ограничено, замкнуто и выпукло. Тогда функция F(¿, ж) также полунепрерывна сверху, поэтому для каждой начальной точки жо € Кга локальное решение включения (1.2) существует (см. [4, с. 60]).
Пусть X) — множество достижимости системы (1.1) в момент времени £ из начального множества X, то есть множество, состоящее из всех значений в момент £ решений ж) включения (1.2), когда начальное условие ^>(0,ж) = ж пробегает все множество X. Предполагаем, что для каждого X множество достижимости X) существует для всех £ ^ 0. Это означает, что для каждой точки ж € X существует решение ж) включения (1.2), удовлетворяющее начальному условию <^(0,ж) = ж и продолжаемое на полуось М+ = [0,
Пусть множество € [0, х Мга : ж € М(¿)} задано функцией £ ^ М(¿), непре-
рывной в метрике Хаусдорфа, и для каждого £ € [0, множество М(¿) непусто и компактно. Для определения характеристик множества достижимости введем в рассмотрение множество
(т, X) = {t € [т,т + 0] : D(t,X) С M(t)}.
а
Определение 1.1 (см. [1,2]). Относительной част,от,ой поглощения множества достижимости D(t, X) системы (1.1) множеством M называется следующий предел:
fKq{D. M) = lim га-°<М.*> = lim meS{të[0,tf]:P(t,.Y)ÇM(t)}
где mes — мера Лебега на числовой прямой. Если предел (1.3) не существует, то характеристики
freq (_D, M) = lim -—J-, freq,(D,M) = lim -2—'- (1.4)
называются соответственно верхней и нижней относительной частотой поглощения множества достижимости D(t, X) системы (1.1) множеством M.
Определение 1.2 (см. [3]). Относительной част,от,ой поглощения множества достижимости D(t,X ) системы (1.1) множ еством Ш на отрез ке [т, т + $] называется характеристика
,п Д/П . mes а(т,$,и) mes {t € [т,т + $] : D(t,X) С M(t)} ireq^T+i)]{U,M) ---- ----.
Важно рассматривать относительную частоту freq[TT) для любого момента времени т ^ 0, поэтому естественно для заданного $ > 0 определить характеристику
ШЛО, M) = i„, frec|[TT+ii](D, M) =
Эта характеристика отличается от пределов (1.3), (1.4) тем, что она отражает свойство равномерности пребывания множества достижимости D(t, X) в множестве Ш на отрезке заданной длины.
Приведенное ниже утверждение является следствием леммы 1 работы [3] и леммы 7.2 работы [5].
Лемма 1.1. Имеют, место следующие свойства:
1) множество а(т, $, X) измеримо по Лебегу;
2) если предел freq(D, M) существует, то для любого $ > 0 выполнено неравенство
freq^(D, M) < freq(D, M);
3) если функции t ^ D(t, X) и t ^ M(t) периодичны, с общим периодом T > 0 и $ = T, то предел, freq(D,M) существует и
freqT(A М) = freq(A М) =
Обозначим через Mr (t) замкнутую r-окрестность множества M (t), то есть множество таких точек x € Rn, что ¿(x, M (t)) ^ r, через Nr (t) = Mr (t)\M (^обозначим внешнюю r-окрестность границы множества M(t) (здесь ¿(x,M) = inf ||x — y|| — расстояние от точки ж € Rn до
y€M
множества M С Rn). Построим множества
Mr = {(t,x) € [0, х Rn : ж € Mr(t)}, Nr = {(t,x) € [0, x Rn : x € Nr(t)}.
Определение 1.3 (см. [6]). Скалярная функция V(t,x) переменных (t,x) € R x Rn называется функцией Ляпунова, относительно множества M, если она удовлетворяет локальному
(t, x)
1) V(t, x) ^ 0 для всех (t,x) € M;
2) V(t, x) > 0 для некоторого r > 0 для всех (t, x) € Nr.
V(t, x)
производной в точке (t, x) € R х Rn по направлению вектора q = (1,p), p € Rn (производной Ф. Кларка), называется следующий верхний предел:
V°(t,x;p)± limsup W + е,у + ер)-V(t,y) t
(e,y)^(0+0,x) £
а выражения V^in(t,x) = inf Vo(t,x;p), Vmax(t,x) = sup Vo(t,x;p) называются соот-
peF (i,x) pgF (t,x)
V
ния (1.2).
§ 2. Теоремы сравнения для характеристик множества достижимости
Рассмотрим скалярную задачу Коши
¿ = w(t, z), z(0) = z0. (2.1)
Предполагаем, что zo ^ 0 и выполнено следующее условие.
Условие 2.1. Функция w(t, z) непрерывна по совокупности переменных, и для каждого t € [0, имеет место неравенство
ш < ^ (2 2)
Напомним, что верхним, решением, z*(t) задачи Коши (2.1) называется такое решение, что для любого другого решения z(t) этой задачи па общем интервале существования выполнено неравенство z*(t) ^ z(t). В работе [8, с. 38] показано, что если функция w(t, z) непрерывна, и имеет место (2.2), то верхнее решение z*(t) задачи Коши (2.1) существует для всех t ^ 0.
Определение2.1. Относительной частотой нахождения графика, непрерывной функции : М ^ Мп в множестве М = {(£, ж) € [0, +то) х Мп : ж € М(£)} на отрезке [т, т + $]
будем называть характеристику
^ ^ м) =
Также для любого заданного $ > 0 определим характеристику
йе^р, М) = М) = ---,
которая отображает свойство равномерности нахождения графика функции в множестве М.
В этих обозначениях для верхнего решения г*(£) задачи Коши
пП . тев{£ € [т,т + $] : г* (£) < 0}
, * , 01Ч . • г г / * / -г тей{£ € [т, т + $] : ^ 0} йе^г , (-оо, 0]) = йчх^+^г: , (-оо, 0]) = ---.
Доказательство следующего утверждения аналогично доказательству теоремы 1 работы [3].
Теорема 2.1. Пусть выполнено условие 1 и дм каждой точки ж € М(0) все решения включения (1.2), удовлетворяющие начальному условию <^(0,ж) = ж, продолжаемы на полуось М+. Предположим, что существуют функции V(£, ж) и г) такие, что функция V(£, ж) является функцией Ляпунова относительно множества М и при всех (£, ж) € [0, +то) х Мп выполнено неравенство
^ах(£,ж) < Ц*^(*,ж)) . Тогда, для, любого множества X С М(0) имеют место неравенства
^ГеЧ[т,т+*](ДМ) ^ 1геа[Т;Т(-то, 0]), &е%(ДМ) ^ (г*, (-то, 0]).
Теорема 2.2. Пусть выполнено условие 1 и дм каждой т,очки ж € М(0) все решения включения (1.2), удовлетворяющие начальному условию <^(0,ж) = ж, продолжаемы на полуось М+. Предположим, что существую т функции V (£, ж) и г) такие, что фун кция V (£, ж) является функцией Ляпунова относительно множества М и при вс ех (£, ж) € [0, +то) х Мп выполнено неравенство
^щ(*,ж) < Ц*^(£,ж)). (2.3)
Тогда, для, любого ж € М(0) существует решение ^>(£,ж) включения (1.2), удовлетворяющее начальному условию ^>(0, ж) = ж, такое, что
^е^[т,т+#](<£,М) ^ !геа[т;т+^](г*, (-то,0]), &е%(<р,М) ^ (-то,0]). (2.4)
Доказательство. Отметим, что доказательство данного утверждения подобно доказательству теоремы о статистически слабой инвариантности множества М (см. [1]). Определим множество
Цо(£, ж) = € и(£, ж) : Vo(í, ж; /(£, ж, и)) < Цг, V(£, ж))},
которое непусто в силу неравенства (2.3). Поскольку и0(£, ж) С и(£,ж) для каждого (£,ж) € € [0, +то), то множество ио(£, ж) ограничено. Замкнутость данного множества доказывается так же, как в [5, с.60].
Рассмотрим дифференциальное включение, отвечающее множеству ио(£,ж):
ж € ж), ж) = соСо(£, ж), (2.5)
где для каждой фиксированной точки (t,x) € [0, х Rn множество Go(t, x) состоит из всех предельных значений функции f(ti,Xi,U(ti,Xi)) при (U,Xi) —>■ (t,x), со Go (i, ж) — замыкание выпуклой оболочки множества Go(t,x) (наименьшее выпуклое множество, содержащее множество Go(t, x)). Функция (t, x) ^ Fo(t,x) полунепрерывна сверху в силу леммы 10.1 работы [5]. Следовательно, через каждую точку x € M(0) проходит решение <^(t, x) дифференциального включения (2.5), удовлетворяющее начальному условию ^>(0, x) = x (см. [4, с. 60]). Так как Uo(t,x) С U(t,x), то Fo(t,x) С F(t,x) для каждого (t,x) € [0, поэтому <^(t,x) также
является решением исходного дифференциального включения (1.2), которое продолжаемо на полуось R+.
Рассмотрим функцию v(t) = V(t, <^(t, x)), которая дифференцируема при почти всех t в силу теоремы Радемахера. Отметим, что ^>(0, x) = x € M(0), поэтому v(0) ^ 0. Из (2.3) получаем, что неравенство
v(t) < w(t,v(t)) (2.6)
выполнено при почти всех t ^ 0 (см. лемму 9 работы [1]). Далее, из неравенств (2.6) и
v(0) < 0 < zo = z(0)
в силу теоремы Чаплыгина о дифференциальных неравенствах [9, с. 15] следует, что для всех t ^ 0 функция v(t) и верхнее решение z*(t) задачи (2.1) удовлетворяют неравенству v(t) ^ z*(t). Следовательно, для любых т ^ 0 и $ > 0 имеет место
mes{t € [т, т + $] : v(t) < 0} ^ mes{t € [т, т + $] : z*(t) < 0}. (2.7)
Заметим, что
. mesjte [т,т + Щ : mes{£ g [г, г + Щ : v(t) < 0} Ъ&1[т,т+0]к<Р>М) - -^- - -^->
поэтому неравенства (2.4) следуют из (2.7). □
Вместе с системой (1.1) будем рассматривать управляемую систему
x = f(t, x, u), (t,x,u) € [0, x Rn x Rm
и ее множество достижимости D(t,X) в момент времени t из начального множества XX. Обозначим через d(A, B) = sup ¿(a, B) полуотклонение множества A от множества B через
aeA
dist(A, B) = max{d(A, B), d(B, A)}
— расстояние по Хаусдорфу между замкнутыми множествами A и B в пространстве Rn. Теорема 2.3. Имеют место следующие утверждения:
1) если существует такое е > 0, что dist(D(t,X),D(t,XT)) ^ e для всех t € [т,т + $], то
freq[T,TM) < freq[r,r+^](D, M£), o,
~ (2.8) freq[r,r+0](D,M) < freq[r,r+^](D,M£);
2) если существует такое e > 0, что dist(D(t,X),D(t,XT)) ^ e для всех t € [0, mo
freq^(D, M) < freq^(D, M£), freq^(D, M) < freq^(D, M£). (2.9)
Доказательство. Докажем первое утверждение. Из неравенства
dist(D(t,X),D(t,X)) < е, t € [т,т + $],
следует, что О(£, X) С О£(£, X) для всех £ € [т, т + $]. Поэтому если включение О(£, X) С М(£) выполнено при некотором € [т, т + $], то
О^*^) С М£(£*) и О(£*Д) С О^*^) С М£(£*).
Таким образом, имеет место включение
{£ € [т, т + $] : О(£, X) С М(£)} С {£ € [т, т + $] : О(£, X) С М£(£)},
из которого получаем неравенство
тев{£ € [т, т + $] : О(£, X) С М(£)} < тев{£ € [т, т + $] : О(£, X) С М£(£)}. (2.10)
Следовательно,
Ггес^^Д м) = ^[т.т + фД^смт} ^
то есть получили первое из неравенств (2.8). Учитывая, что О(£,X) С О£(£,Х) для всех £ € [т, т + $], аналогично получаем доказательство второго неравенства.
Докажем второе утверждение теоремы. Отметим, что в данном случае неравенство (2.10) верно для всех т ^ 0, тогда
те8{£ € [г, г + Щ : X) С М{Щ < те8{^ € [г, г + Щ : Р(Ь, X) С М£(^)} Следовательно,
(О,М) = М !геа[тт+^](О,М) < М !геа[тт ,М£) = йеа^О,М£).
т ^ о т ^ о
Аналогично доказывается второе неравенство (2.9). □
Следствие 2.1. Пусть функции р : М ^ Мп и ¡р : М ^ Мп непрерывны для любого £ € [0, +то). Имеют место следующие утверждения:
1) если существует такое е > 0, что - ¡Р(£)| ^ е для всех £ € [т, т + $], то
&еЧ[т ,т+^,М) < ,т+^](р,М£),
,т+^](р,М) < ,т£);
2) если существует такое е > 0, что - ¡Р(£)| ^ £ для всех £ € [0, +то), то
М) < freq^(¡р, М£), М) < М£).
Пример 2.1. Рассмотрим множество M = {(t,x) € [0, х [0,1]} и определим функции р и <p следующим образом:
p{t) = smt + 1 + ^ = sini + l.
Функция р — периодическая с периодом 2-/г, поэтому freq[T)T+27r] [0,1]) = — для любого т ^ 0
и freq27r(<£>, [0,1]) = —. Найдем оценки характеристики freq27r(t£>, [0,1]). В силу леммы 1.1 имеет место неравенство
freq2n(i, [0,1]) < freq(i, [0,1]).
Поскольку функция ((t) периодическая и lim |((t) — ^(i)| = 0, то
freq(^, [0,1]) = freq(^, [0,1]) = ±
(см. лемму 1 работы [10]), следовательно, freq27r(t£>, [0,1]) ^
Отметим, что для всех t ^ 0 выполнено неравенство |Lp(t) — ip(t) | ^ —, и рассмотрим множество
Mo = {(t,x) € [0, +то) х [0, 7/8]}.
1 £
Так как множество ÜJIq = {(t,х) € [0, +оо) х [—1/8,1]}, то из (2.1) получаем
freq2n[0, 7/8]) < freq2n(р, [-1/8,1]) = freq2n(р, [0,1]). В силу периодичности функции <£>(t) имеем
= ^.[0,2,1:^10,7/8]} 11. arcsin 1
2п 2 п 8
следовательно,
1 1 1 1
----arcsin - < freq2ir(p, [0,1 ) < -.
2 п 8 2
§ 3. Об оценке и вычислении относительных частот для некоторого класса многозначных функций
В этом параграфе рассматривается множество
M = {(t,x) € (-то, +то) х Rn : x € M(t)},
заданное непрерывной функцией t ^ M (t), и функц ии t ^ D(t), t ^ D (t), которые также непрерывны в метрике Хаусдорфа. Полагаем, что для каждого t € (-то, +то) множества M (t) D(t) и D (t) непустые, компотные и расстояние по Хаусдорфу dist( M (t),D (t)) между множествами M (t) и D (t) является периодической функцией с периодом T > 0. Отметим, что функции t ^ M (t) и t ^ D (t) не обязательно предполагаются периодическими.
Следующее утверждение является обобщением леммы 2 работы [3]. Здесь получена оценка характеристики freqr(D, M) и приведены равенства для нахождения ее значения.
Теорема 3.1. Предположим, что функция dist(M(t),D(t)) периодическая с периодом T > 0 и lim dist(D(t),D(t)) =0. Тогда имеют место следующие свойства:
1) freqT(D, M) < freqT(D,M);
2) есл m D(t) Ç D (t) для ее еж t ^ 0, rno
, mes{t € [0, T] : D (t) Ç M (t)} freqT(A M) = freqT(A M) =-1-1 ^ W ~-
3) есл, и D (t) Ç D(t) для вс ex t ^ 0 и функц ия h(t) = dist( D(t),D (t)) невозрастающая на (0, то), rno имеет место равенство
й,„т(А M) = ™{t6[0.n = PM£M(t)}. (ЗЛ)
Доказательство. Для каждого т € [0, то) определим функцию
R(t ) = mes {t € [т, т + T] : D(t) Ç M (t)} - mes {t € [0, T] : D (t) Ç M (t)}.
Для доказательства первого утверждения теоремы нужно показать, что inf R(t) ^ 0. По свой-
т
ствам меры Лебега для любого е > 0 найдется такое значение е0 = е0(е), что имеет место неравенство
mes {t € [0,T] : D(t) С M£° (t) \ M(t)} < е.
Далее, поскольку h(t) = dist(D(t),D(t)) ^ 0 при t ^ то, то для е0 существует момент времени to такой, что h(t) ^ ео для всех t ^ to. Следовательно, для всех т ^ to выполнено неравенство
mes {t € [т, т + T] : D(t) С M (t)} < mes {t € [т, т + T] : D (t) С Mh(t) (t)} <
< mes {t € [т,т + T] : D(t) С M£°(t)}. (3.2)
Из (3.2) в силу периодичности функции dist(M(t),D(t)) получаем, что для всех т ^ to
Я(т ) < mes {t € [т, т + T] : D (t) С M £° (t)} - mes {t € [0, T] : D (t) С M (t)} =
= mes {t € [0,T] : D (t) С M £° (t)} - mes {t € [0,T] : D (t) С M (t)} =
= mes {t € [0, T] : D (t) С M £° (t) \ M (t)} < е.
Таким образом, имеет место неравенство inf Я(т) ^ 0, из которого в силу определения функ-
т ^о
ции Я(т) и относительных частот следует неравенство freqy(D, M) ^ freqy(.D, M).
Докажем второе утверждение теоремы. Если D(t) С D(t) для всех t ^ 0, то при всех т ^ 0 справедливо неравенство
mes {t € [т,т + T] : D(t) С M (t)} ^ mes {t € [т,т + T] : D (t) С M (t)} =
= mes {t € [0,T] : D (t) С M (t)},
поэтому Я(т) ^ 0 для всех т ^ 0 и inf Я(т) ^ 0. Учитывая доказанное выше неравенство
т ^0
inf Я(т) ^ 0, получаем, что inf Я(т) = 0, следовательно, freqT(D, M) = freqT(D, M).
т^0 " т^0
Докажем третье утверждение. Пусть D (t) С D(t) для всех t ^ 0 и функция h(t) невозрас-тающая на (0, то). Докажем, что функция Я(т) является неубывающей на (0, то). Для этого нужно доказать, что если т1 < т2, то имеет место неравенство
mes {t € [т1,т1 + T] : D(t) С M (t)} < mes {t € [т2,т2 + T] : D(t) С M (t)}. (3.3)
т1 € [0, то)
т2 € (т1,т1 + T ). В этом случае от резки [т1, т1 + T ] и [т2, т2 + T ] имеют непустое пересечение — отрезок [т2,т1 + T]. Поэтому неравенство (3.3) следует из неравенств
mes {t € [т1, т1 + T ] : D(t) С M (t)} =
= mes {t € [т1,т2 ] : D(t) С M (t)} + mes {t € [т2,т1 + T] : D(t) С M (t)} < < mes {t € [т1 + T, т2 + T] : D(t) С M (t)} + mes {t € [т2, т1 + T] : D(t) С M (t)} =
= mes {t € [т2, т2 + T] : D(t) С M (t)},
которые верны, поскольку функция h(t) невозрастающая на (0, то). Таким образом, функция Я(т) неубывающая на (0, то), поэтому имеет место равенство inf Я(т) = R(0), которое
т ^0
равносильно равенству (3.1). □
Рассмотрим множество M € R2 гад a M = {(t, x) € [0, +то) х M}, где M — некоторый отрезок числовой прямой.
Следствие 3.1. Пусть функции ( : R ^ R и ( : R ^ R непрерывны на [0, +то) и ((t) — периодическая с периодом T > 0, ß(t) = ((t) — ((t). Если lim g(t) = 0, то имеют место
t—у^о
следующие свойства:
1) freqT((, M) < freqT((, M);
2) есл u ß(t) ^ 0 для ее ex t ^ 0, rno
f ( ЛЛ\ f <~ m mesftg [0,T\ : <p(t) £ M} freqT{ip, M) = freqT(<A M) =---;
3) тел и ß(t) > 0 для ее еж t ^ 0 и функц ия g(t) невозрастающая на (0, то), то выполнено равенство
fr eqT(y.M) = meS'ieM:y(i)eM>.
П р и м е р 3.1. Найдем значения характеристик freq2n(^>i, M), freq2n(^>2, M) для множества M = {(t, x) € [0, +to) x [-1,1]} и функций ^2, заданных следующим образом:
<fi(t) = sint + 1--—^—-, tpi(t) = sint + 1 +
8(t + 1)' 8(t + 1)
Рассмотрим вспомогательную периодическую функцию <£>(í) = sin t + 1. Пусть
Qi{t) = <pi(t) -<p(t) = -of.\ 62(t) = <p2(t) -<p(t) = 1
8(t + 1)' ^^^ 8(t + 1)' Отметим, что lim ßi(t) = 0, lim ß2(t) = 0, поэтому для вычисления данных характеристик
t—ro t—ro
воспользуемся следствием 3.1. Так как £1 (t) < 0 для всех t ^ 0, то
freq27r(^i,M) = freq27r(^,M) = i.
Далее, £2(t) > 0 для всex t ^ 0 и является убывающей функцией на (0, то), поэтому
mesftg [0,2тг] : < 1} freq2^(^2,M) =-—-.
§ 4. Оценки относительных частот для почти периодических функций
Напомним, что функция называется почти периодической в смысле Бора, если она непрерывна и для всякого е > 0 множество е-почти периодов
0(е) = {$ € М : + $) - < е}
относительно плотно на действительной оси М, то есть существует число Ь > 0 такое, что каждый отрезок [а, а + Ь] длины Ь содержит хотя бы один элемент данного множества (см., например, [11, с. 367-368; 12, с. 7]).
Л е м м а 4.1. Пусть функция почти периодическая в смысле Бора и Ь — такое число, что каждый отрезок [а, а + Ь] содержит хотя бы один е-почти период, и $ € 0(е) ^ Ь. Тогда, для, любого т > 0 выполнено неравенство
:г^[о,0](<Л (-то -2е]) < &еЧ[т,т(-ТО 0]) < (-ТО 2е]). (4-1)
Следовательно, freq[0 ^](^, (-то, -2е]) ^ (
—то, 0]) ^ йэд^]^, (-то, 2е]).
Доказательство. Так как $ ^ L, то отрез ок [т, т + $] содержит хотя бы один е-почти период функции <^(t). Зафиксируем один го них и обозначим его 9. Рассмотрим случай, когда 9 € (т, т + $), и представим отрезок [т, т + $] в виде объединения
[т,т + $] = [т, 9) U [9,т + $].
Пусть t € [т, 9). Поскольку разность 9 — $ является 2е-почти периодом функции ^>(t), то выполнено неравенство |^(t) — <^(t — (9 — $))| ^ 2е, то есть
<p(t — 9 + $) — 2е ^ <p(t) ^ <p(t — 9 + $) + 2е.
Следовательно,
mes{t € [т, 9) : <p(t — 9 + $) ^ —2е} ^ mes{t € [т, 9) : <p(t) < 0} <
< mes{t € [т, 9) : <p(t — 9 + $) < 2е},
откуда получаем неравенство
mes{t € [т — 9 + $, $] : <p(t) < —2е} < mes{t € [т, 9] : <p(t) < 0} <
< mes{t € [т — 9 + $,$]: p(t) < 2е}. (4.2)
Пусть t € [9, т + $], тогда <^(t — 9) — е ^ ^>(t) ^ <^(t — 9) + е. Следовательно,
mes{t € [0, т — 9 + $) : <p(t) < —е} = mes{t € [9, т + $] : <p(t — 9) < —е} <
< mes{t € [9, т + $] : <p(t) < 0} < mes{t € [9, т + $] : <p(t — 9) < е} =
= mes{t € [0, т — 9 + $) : <p(t) < е}.
Из предыдущего неравенства следует, что
mes{t € [0, т — 9 + $) : <p(t) < —2е} < mes{t € [9, т + $] : <p(t) < 0} <
< mes{t € [0, т — 9 + $) : p(t) < 2е}. (4.3)
Складывая почленно неравенства (4.2) и (4.3), получаем
mes{t € [0, : <p(t) < -2е} mes{i € [т, т + tf] : <p(t) < 0} mes{i € [0, tf] : <p(i) < 2e}
Ъ ^ Ъ ^ Ъ '
то есть неравенство (4.1) доказано.
Последнее неравенство в условии леммы следует из (4.1) и определения характеристики freq^, (—то, 0]):
fre%(^S 0]) = mf freq[T)T( 0]).
□
Вернемся к рассмотрению задачи Коши (2.1):
z = w(t, z), z(0) = z0.
Обозначим через z(t) почти периодическое решение уравнения z = w(t,z), если такое решение существует. Напомним, что для любой функции z(t), почти периодической в смысле Бора, существует предел
freq(?, (—оо, 0]) = lim — <'6 Ml = ВД < 0}
$
(см. [13, с. 150]). Равенство для вычисления данного предела для некоторого класса почти периодических функций приведено в работе [2].
Л е м м а 4.2. Пусть выполнены следующие условия:
1) для каждого z € R функция t ^ w(t, z) почти периодическая в смысле Бора, и выполнено равенство
freq(tü, {0}) = lim ^esft g [0, У] : z) = 0} =
e^œ y
2) существуют решение z(t) = z(t, zo) задачи Коши (2.1) и почти периодическое решение z(t) уравнения z = w(t, z) такие, что lim (z(t) — z(t)) = 0.
Тогда, имеет место неравенство freq-(z, (—то, 0]) ^ freq(z, (—то, 0]).
Доказательство. В работе [2] показано, что из равенств
freq(w, {0}) = 0 и lim (z(t) — z(t)) = 0 следует равенство пределов
mes {t € [0,У] : z(i) < 0} _ mes {t € [0, tf] : z(i) < 0} e^œ У e^œ У '
которое означает, что
freq(z, (—то, 0]) = freq(z, (—то, 0]). В силу леммы 1.1 выполнено неравенство freq-(z, (—то, 0]) ^ freq(z, (—то, 0]), поэтому
freqe(z, (—то, 0]) ^ freq(z, (—то, 0]).
□
Список литературы
1. Родина Л.И., Тонкое Е.Л. Статистические характеристики множества достижимости управляемой системы, неблуждаемость и минимальный центр притяжения // Нелинейная динамика. 2009. Т. 5. № 2. С. 265-288.
2. Родина Л.И. Оценка статистических характеристик множества достижимости управляемых систем // Известия высших учебных заведений. Математика. 2013. № 11. С. 20-32.
3. Родина Л.И., Хаммади А.Х. Характеристики множества достижимости, связанные с инвариантностью управляемой системы на конечном промежутке времени / / Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2013. Вып. 1. С. 35-48.
4. Филиппов А.Ф. Дифференциальные уравнения с разрывной правой частью. М.: Наука, 1985. 223 с.
5. Родина Л.И. Инвариантные и статистически слабо инвариантные множества управляемых систем // Известия Института математики и информатики УдГУ. Ижевск. 2012. Вып. 2 (40). С. 3-164.
6. Панасенко Е.А., Тонков Е.Л. Функции Ляпунова и положительно инвариантные множества дифференциальных включений // Дифференциальные уравнения. 2007. Т. 43. № 6. С. 859-860.
7. Кларк Ф. Оптимизация и негладкий анализ. М.: Наука, 1988. 280 с.
8. Хартман Ф. Обыкновенные дифференциальные уравнения. М.: Мир, 1970. 720 с.
9. Чаплыгин С.А. Новый метод приближенного интегрирования дифференциальных уравнений. М.— Л.: Гостехиздат, 1950. 102 с.
10. Родина Л.И. Статистические характеристики множества достижимости и периодические процессы управляемых систем / / Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2012. Вып. 2. С. 34-43.
11. Демидович Б.П. Лекции по математической теории устойчивости. М.: Наука, 1967. 472 с.
12. Левитан Б.М., Жиков В.В. Почти-периодические функции и дифференциальные уравнения. М.: Издательство Московского университета, 1978. 205 с.
13. Левитан Б.М. Некоторые вопросы теории почти периодических функций. I // Успехи математических наук. 1947. Т. 2. Вып. 5(21). С. 133-192.
Поступила в редакцию 30.09.2015
Хаммади Алаа Хуссейн, аспирант, кафедра математического анализа, Удмуртский государственный
университет, 426034, Россия, г. Ижевск, ул. Университетская, 1.
E-mail: [email protected]
A. H. Hammady
On properties of characteristics of attainability set for a control system
Keywords: controllable systems, differential inclusions, attainability set, almost periodic functions. MSC: 34H05, 34H99, 93C10
We continue to study the characteristics of a control system, which reflect uniform staying the attainability set of the system in a given set M = {(t,x) £ [0, x rn : x £ M(t)} during a finite time interval. In terms of Lyapunov functions and Clarke's derivative, we obtain conditions under which relative frequencies of absorption of attainability set for the control system can be estimated by similar characteristics defined for differential equations. We prove a theorem about evaluating and calculating of the relative frequencies for some multivalued functions. We get estimation for different characteristics of Bohr almost periodic functions. We show examples of calculations and estimations for the relative frequencies of staying graphs of functions in a given set.
REFERENCES
1. Rodina L.I., Tonkov E.L. Statistical characteristics of attainable set of controllable system, non-wandering, and minimal attraction center, Nelin. Dinam., 2009, vol. 5, no. 2, pp. 265-288 (in Russian).
2. Rodina L.I. Estimation of statistical characteristics of attainability sets of controllable systems, Russian Mathematics, 2013, vol. 57, issue 11, pp. 17-27.
3. Rodina L.I., Hammady A.H. The characteristics of attainability set connected with invariancy of control systems on the finite time interval, Vestn. Udmurt. Univ. Mat. Mekh. Komp'yut. Nauki, 2013, no. 1, pp. 35-48 (in Russian).
4. Filippov A.F. Differential equations with discontinuous righthand sides, Mathematics and its Applications (Soviet Series), vol. 18, Springer, Netherlands, 1988, 304 p. Original Russian text published in Filippov A.F. Differentsial'nye uravneniya s razryvnoi pravoi chast'yu, Moscow: Nauka, 1985, 223 p. DOI: 10.1007/978-94-015-7793-9
5. Rodina L.I. Invariant and statistically weakly invariant sets of control systems, Izv. Inst. Mat. Inform. Udmurt. Gos. Univ., 2012, no. 2 (40), pp. 3-164 (in Russian).
6. Panasenko E.A., Tonkov E.L. Lyapunov functions and the positive invariant sets of differential inclusions, Differentsial'nye uravneniya, 2007, vol. 43, no. 6, pp. 859-860 (in Russian).
7. Clarke F.H. Optimization and nonsmooth analysis, New York: Wiley, 1983, 308 p. Translated under the title Optimizatsiya i negladkii analiz, Moscow: Nauka, 1988, 280 p.
8. Hartman Ph. Ordinary differential equations, New York-London-Sydney: John Wiley and Sons, 1964. Translated under the title Obyknovennye differentsial'nye uravneniya, Moscow: Mir, 1970, 720 p.
9. Chaplygin S.A. Novyi metod priblizhennogo integrirovaniya differentsial'nykh uravnenii (A new method of approximate integration of differential equations), Moscow-Leningrad: Gostekhizdat, 1950, 102 p.
10. Rodina L.I. Statistical characteristics of attainable set and periodic processes of control systems, Vestn. Udmurt. Univ. Mat. Mekh. Komp'yut. Nauki, 2012, no. 2, pp. 34-43 (in Russian).
11. Demidovich B.P. Lektsii po matematicheskoi teorii ustoichivosti (Lectures on the mathematical theory of stability), Moscow: Nauka, 1967, 472 p.
12. Levitan B.M., Zhikov V.V. Pochti-periodicheskie funktsii i differentsial'nye uravneniya (Almost periodic functions and differential equations), Moscow: Moscow State University, 1978, 205 p.
13. Levitan B.M. Some questions of the theory of almost periodic functions. I, Uspekhi Matematicheskikh Nauk, 1947, vol. 2, no. 5(21), pp. 133-192 (in Russian).
Received 30.09.2015
Hammady Alaa Hussein, Post-graduate student, Department of Mathematical Analysis, Udmurt State University, ul. Universitetskaya, 1, Izhevsk, 426034, Russia. E-mail: [email protected]
