Научная статья на тему 'Необходимые условия частичной устойчивости импульсных систем'

Необходимые условия частичной устойчивости импульсных систем Текст научной статьи по специальности «Математика»

CC BY
46
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ИМПУЛЬСНЫЕ СИСТЕМЫ / УСТОЙЧИВОСТЬ / МЕТОД ФУНКЦИЙ ЛЯПУНОВА

Аннотация научной статьи по математике, автор научной работы — Гладилина Р.И., Гладилина А.А.

В настоящей работе рассмотрена система дифференциальных уравнений с импульсным воздействием в нефиксированные моменты времени. Для данной системы доказана теорема существования кусочно-непрерывной и кусочно-дифференцируемой функции Ляпунова в случае равномерной асимптотической устойчивости решения по части переменных.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Необходимые условия частичной устойчивости импульсных систем»

Динамические системы, том 1(29), №1 (2011), 31-40

УДК 517.925.3

Необходимые условия частичной устойчивости импульсных систем

Р. И. Гладилина*, А. А. Гладилина**

*Донецкий национальный технический университет, Донецк 83001. E-mail: rgladilina@yandex.ru **ВЦ Управления Донецкой железной дороги, Донецк 83001.

Аннотация. В настоящей работе рассмотрена система дифференциальных уравнений с импульсным воздействием в нефиксированные моменты времени. Для данной системы доказана теорема существования кусочно-непрерывной и кусочно-дифференцируемой функции Ляпунова в случае равномерной асимптотической устойчивости решения по части переменных. Ключевые слова: импульсные системы, устойчивость, метод функций Ляпунова.

1. Введение

Метод функций Ляпунова успешно применяется для исследования устойчивости нелинейных импульсных систем, в том числе и для исследования частичной устойчивости. Однако большинство опубликованных работ посвящено установлению достаточных признаков устойчивости решений импульсных систем, в то время, как принципиально важное значение для прямого метода Ляпунова имеет установление необходимых признаков устойчивости.

Для систем с импульсными воздействиями в фиксированные моменты времени небходимые условия асимптотической устойчивости по всем переменным были получены в [2, 4, 9]; необходимые условия асимптотической устойчивости инвариантных множеств в [3]. Настоящая статья посвящена установлению необходимых признаков частичной устойчивости импульсных систем наиболее общего вида: с импульсными воздействиями в нефиксированные моменты времени.

2. Постановка задачи.

Пусть Я+ = [0;+то), Ка — п-мерное евклидово пространство, в котором определена норма ||х|| = л/х\ + ... + х2п. Рассмотрим систему дифференциальных уравнений с импульсным воздействием на поверхностях

dx ~dt

Ax = Ii(x), t = Ti(x), i e N.

— = f(t,x), t = Ti(x), (1)

©P.I. ГЛАДИЛИНА, А. А. ГЛАДИЛИНА

met е R+, x е Q с Rn, f е C (R+ х Q,Rn), f (t, 0) = 0; I, e C (Q,Rn), 1,(0) = 0 , Ti e C1 (П, R+), т,(х) - поверхности разрыва, 0 < r1(x) < r2(x) < ... я т,(x) ^ ж при i ^ ж.

Предположим, что решение x(t) = x(t,t0,x0) системы (1) существует и единственно, непрерывно слева при t = ri(x) и пересекает каждую поверхность разрыва только один раз.

Пусть x = (y,z), y е Rm, z e Rs (m + s = n), a f (t,x) = (Y, Z), I, = (If ,Iz).

Исследование устойчивости по части переменных проведем в области

Q = Qh = B^ х Rs, (H > 0), B^ = {y e Rr'

<H }.

Предположим, что выполняются следующие гипотезы в отношении системы (1).

(Н1). Функция /(Ь,х) непрерывна и ограничена вместе со своими частными производными в области R+ х П:

\\f(t,x)\\< K, < Cl

df. . dx (t>x)

(2) (3)

(Н2). Функции 1г(х) непрерывны и имеют ограниченные частные производные В области П:

91г(х) < С (г € М). (4)

дх

(НЗ). Функции Тг(х) непрерывно дифференцируемы и имеют ограниченные ч&стныб производные в области П:

max

жеп

dTi(x)

дх

< Сз (г e N).

(Н4). Функции Тг(х) удовлетворяют условию:

Тг(х) > Тг(х + 1г(х)), х € П. (Н5). Предположим, кроме того, что выполняется неравенство ■&Тг (х)

\дкГ ,f (t'X)) < а (а < !)' х e П.

(5)

(6)

(7)

Здесь (а, Ъ) = агЪг - скалярное произведение векторов.

(11С). Относительно моментов импульсного воздействия будем предполагать, что имеет место неравенство

inf(minTi(x) — maxTi-\(x)) = 9 > 0, (г e N).

i x£Q x£Q

(Н7). Существует константа ц > 0 такая, что имеет место неравенство

Цу + I?(х)||> М (г е N). (9)

(Н8). Решение системы (1) г-продолжимо; это означает [6], что любое решение х(Ь) определено для всех Ь > Ьо, для которых Цу(Ь,Ьо,хо)Ц < И.

Определение устойчивости нулевого решения аналогично [6].

Введем вспомогательные кусочно-непрерывные функции V : Я+ х П ^ Я [9].

Определение 1. Функция V(Ь,х) принадлежит, классу V, если функция V непрерывна, и дифференцируем,а при Ь = тг(х), непрерывна, слева, при Ь = тг(х) и V(Ь, 0) = 0 при любом Ь е Я+.

При Ь = тг(х) определим производную от функции V(Ь,х) в силу системы (1)

• дV дV

Ц.1)(Ь,х) = -д^(Ь,х) + (дх(Ь,х),/(Ь,х)^

Определение 2. Функция а : Я+ ^ Я+ принадлежит, классу Хана, (а е К), если она, непрерывна, строго возрастает и а(0) = 0.

Определение 3. Систем,а, (1) называется, периодической с периодом ш (и >

0)

/ (Ь + ш,х) = / (Ь,х), Ь = п(х), Зр е N : 1г+р(х) = 1г(х), Тг+Р(х) = тг(х) + и, г е N.

Из определения 3 следует, что решения периодической системы обладают свойством:

у(Ь + ш,Ьо + ш,хо) = у(Ь,Ьо,хо). (10)

3. Основные результаты

Теорема 1. Пусть для, систем,ы, уравнений (1) существует функция V е V, удовлетворяющая условиям

< V(Ь,х) для (Ь,х) е Я+ х П, а е К, (11)

V(Ь,х) < Ь(ЦуЦ) для (Ь,х) е Я+ х П, Ь е К, (12)

V1)(Ь,х) <-с(ЦуЦ) для Ь = тг(х), с е К, (13)

V(тг + 0,х + 1г(х)) - V(тг, х) < 0 (г е N). (14)

у

чиво.

Доказательство теоремы аналогично доказательству теоремы 1 из [1]. Определим норму матрицы А = {а^Ук]=1 согласно [8, с. 153]

\

,2 kj •

k=i j=i

Тогда из неравенства Коши-Буняковского вытекает оценка [8, с.153]

\\М < \\Щх\\.

Лемма 1. Пусть выполнены условия (Н1)-(Н6). Тогда при т > 0 справедлива оценка:

ду(Ьо + т, Ьо,хо)

dx0

< M(т),

(17)

где М(т) - положительная монотонно возрастающая непрерывная функция.

дх(Ь, Ь0, х0)

Доказательство. Согласно [7, с. 30], матричная функция u(t) =

dx0

удовлетворяет системе уравнении в вариациях относительно начальных данных

dU = A(t)u, t = тг, Au = BiU, t = Ti, i G N,

(18)

где тг - моменты встречи решения х(Ь, Ь0, хо) с поверхностями Ь = тг(х). Матрицы А(Ь),Бг равны

A(t)

df (t,x)

дх

x=x(t,to,xo)

Bi

dIi(x)

дх

x=x(Ti,to,xo)

(E + Pi).

Матрицы Рг определяются следующим образом:

Pi

1

1

dTi (х)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

дх

x=x(Ti,to,xo)

f (Ti ,x(Ti,to ,Xo))

dTi(x)

dxj

fk (Ti,x(Ti,to,xo ))

x=x(Ti,to,xo) J j,k=l

дх(ь,ь0,х0 )

Функция и(Ь) =--- удовлетворяет начальным условиям

dx0

u(to) = E,

(19)

где Е - единичная матрица.

Решение и(Ь) = и(Ь,Ь0,х0) системы (18) можно представить в виде

u(t) = uo + A(t)u(t)dT + Bu(Ti).

Jt0 to<ti<t

Имеем

u(t)\<\uo\ +/ \\A(T)u(T)\\dT + Y, \Bu(n)l

^ г0<п<г

Используя неравенство Коши-Буняковского, получим

1|и(Ь)|| < КН + Г \\А(т)\\\\и(т)№т + £ \\Бг\\\\и(тг)1

П0

to<Ti<t

n

Найдем оценку матриц Рг. В силу условия (7) получим:

PII <

1 — а

dTi(x)

dxj

fk (Ti,x(Ti,to,Xo))

x=x(ri,to,xo) J j,k=l

Из определения нормы матрицы (15), учитывая ограниченность ее элементов (2),(5), имеем

Pill <

1

\

ЕЕ

. дх. k=l j=l j

dTi(x)

x=x(Ti ,to, xo)

fk (Ti,x(Ti,to,xo))

\

E

j=l

dTi(x)

dx.

x=x(Ti,to ,xo)

Yfk (Ti,x(Ti,to,xo )))2

k=l

1 dTi (x)

1 — а dx x=x(Ti,to,xo)

Тогда

•Ilf(Ti,x(Ti,to,xo)II <--KÖ3.

IE + PK IE|| + HPK n + --KC3.

Учитывая ограниченность элементов матриц (3),(4), получим

Pill <

dIi(x(Ti))

dx x=x(Ti,to,xo)

IIA(t)II

Подставим полученные оценки в (20)

•IIE + PI < C2(n + --КСз) = Li,

< Ci •

df (t,x)

dx x=x(t,to,xo)

||и(Ь)|| < ||ио|| + С1 Ци(т)Цс1т + 11 ^ Ци(тг)Ц. Далее, применяя лемму 2.2 [7] при С = ||ио||, в = Ь1, 7 = С\, получим оценку

||и(Ь)|| < ЦщЦ(1 + Ь^в0«-^. (21)

Здесь р - количество точек тг на промежутке [Ьо,Ьо + т). В силу (19) ||ио|| = п. Поскольку выражение (1 + Ь1)р монотонно возрастает при возрастании т (т = Ь — Ьо), то неравенство (21) означает выполнение следующей оценки

Ht)II < M(t).

Далее получим

dy(to + T,to,xo) dx(to + T,to,xo)

dx0

dx0

< m(t),

1

n

2

1

что и требовалось доказать.

Лемма 2. Если для системы (1) существует функция V(г,х), удовлетворяющая условиям теоремы 1, то необходимо выполняется следующее тождество

У (г, 0,г) = 0. (22)

Доказательство аналогично доказательству теоремы 5.3 из [6].

Теорема 2. Пусть выполнены условия (Н1)-(Н8), решение х = 0 равномерно асимптотически у-устойчиво и область Пр(0 < р < Н) содержится в области его притяжения. Тогда существует функция V : Я+ х Пр ^ Я+, удовлетворяющая условиям (11)-(Ц) теоремы 1, а также условию

< Р для (г,х) Е Я+ х Пр, г = тг(х). (24)

Если систем,а (1) периодична с периодом ш, то функция V также может быть выбрана периодической с периодом ш.

Доказательство. Так как нулевое решение системы (1) равномерно асимптотически устойчиво по у, то \\у(г,г0,х0)\\ ^ 0 при г ^ ж равномерно по го > 0, хо Е Пр, поэтому в этой области выполняется неравенство

\\у(го + 8,1о,хо)\\2 <ф(з), (25)

где ф(в)~ скалярная монотонно убывающая непрерывная функция, удовлетворяющая условию ф(в) = 0 . Для этого достаточно взя^ть убывающую и сходящуюся к нулю бесконечную последовательность {ег}ГО=1(ег > 0^, тогда для вся кого ег из этой последовательности найдется число аг(ег) такое, что при всех г > г0 + аг(ег) будет выполняться неравенство \\у(г,г0,х0)\\ < ег. Последовательность аг будет расходящейся, то есть иг+1 > аг. Рассмотрим положительную монотонно убывающую функцию ф(в), для которой ф(аг+\) = е2 (г Е N). Построенная таким образом функция будет удовлетворять всем требуемым условиям.

Пусть М : Я+ ^ Я+ - монотонно возрастающая непрерывная функция такая, что Иш^го М(г) = В монографии [5] показано существование непрерывно

дифференцируемой функции д = д(ф) такой, что

д Е К, д' Е К, (26)

/>го

/ д(ф(в))с18 < N < N > 0), (27)

о

/>го

/ д'(ф(8))М(8)с18 <N2 < (N2 > 0). (28)

о

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Определим функцию V(г, х) следующим образом

/го

д(\\у(8,1,х)\\2)й8 =

dV .

= / д(\\у(Ь + s,t,x)\\2)ds для (г, х) Е Я+ х Пр, Ь = тг(х), (29)

V(Тг,х) = V(п - 0,х) при Ь = п(х), х Е Пр (г Е М). (30)

На основании оценок (25),(27) получим

V(г,х) = д(\\у(Ь + s,t,x)\\2)ds < д(ф)№ < ./0 ¿0

Следовательно, интеграл (29) сходится. Далее, существует

/><х

Ит д(\\у^,Ь,х)\\2^ = V(тг - 0,х) = V(тг,х). t

Следовательно, функция V(Ь,х) определена и равномерно ограничена в области Я+ х Пр, непрерывна в этой области при Ь = тг и непрерывна слева при Ь = тг. Найдем

частные производные функции V(Ь,х):

dV Г^

dx = g'(Ms,t,x)r)

d(\\y(s,t,x)r) dx

ds.

Найдем оценки ^ (\\у^,г,х)\\2)

dxk

d

dxi

У + ■■■ + Ут )|=2|( yi

дуг

дхь

+ ■■■ + Ут

дУт dxk

< 2\\у\\ дУ

— \\Ь? \\ dxk

Так как \\у\\ < р, то, согласно оценке (17), имеем

д (\\у^,г,х)Г)

dxk

< 2pM(s), к =l,n.

Учитывая полученную оценку, а также условия (26),(28), окончательно полу-

чим

dV

dx

< 2руП J g'^(s))M(s)ds < P.

(31)

Так как интеграл, входящий в (31), сходится абсолютно и равномерно в области

дV

Я+ х Пр, то выражение -7— в этой области представляет собой непрерывные и

дх

ограниченные функции, которые действительно являются частными производными функции V.

Свойство (24) доказано.

Докажем свойство (11). Пусть Ьо Е (тг-1,тг). Решение х(Ь) = х(Ь,Ьо,хо) системы (1) при Ь Е [Ьо,тг] совпадает с одним из решений системы обыкновенных дифференциальных уравнений

I = ' ^

оо

оо

Для этой системы найдем

d т т = 2И yk Yk > k=l k=l

откуда следует

2

м < 2\\у\\\\У\\. (32)

В силу леммы 2 имеет место тождество У (г, 0, г) = 0, поэтому, применяя формулу конечных приращений, получим

т 11 дУ

\\У (г,у,г)\\ < || д~ у2,. . . ,£тут,г )уи\\,

к=1 ук

где Е (0,1) (к = 1,... ,т).

Далее, учитывая условие (3), имеем

т т

\\У(г,у,г)\ <Т,II\\\ук\ < С^ \ук\ < тС1\\у\\. к=1 ук к=1

Подставим полученный результат в (32)

< Ь2\\у\\2,

\аи\

где Ь2 = ^тС1.

Интегрируя последнее неравенство, получим

Ы\е-Ы-0) <\\у(^охо)\\<Ы\еЫ—)-

Итак, для т0-1 <г0 < г < т0 справедлива оценка

\\у(г,го,хо)\\ > Ы\е-Ь^°\

В силу условия (9) имеем

(тг,1о,хо) + 1У(х(тг,1о,хо))\\ > /1\\у(тг,1о,хо)\\ > /1\\уо\\е-Ь2(-т^0\

Из условия (8) следует, что отрезок [г0,г0 + 9] содержит не более одной точки тг, поэтому

\у(г,го,хо)\ > Шт(1,^)\\уо\\е-Ь2(г-1о) приг Е [го, го + 9]. Обозначим 7 = шт(1,^), тогда получим

Гв

V(г,х) > д(\\у(г + 8,г,х)\\2^8 >

о

>

212e-2L2S)ds > gihfY2e

2 e-2L2° )в = a

Условие (11) выполнено.

Докажем свойство (12). Так как у (г, 0,г0) = 0, из формул (29),(30) имеем

V(г, 0,г) = 0.

На основании этого, применяя формулу конечных приращений, получим

т | дV

V (г,у,^) — V (г, 0,г) 1 дук .. ,СшУт,г )ук

k=i

где е (0,1) (к = 1,... ,т).

Учитывая, что частные производные ограничены (24), окочательно получим

dV

V(t'x) ^ El TT \VkI ^ p\VkI < Pm\\v\\ k=l yk

k=l

Условие (12) выполнено.

dV

Составим выражение для полной производной ——(г,х) в силу системы (1).

аЬ

V г ¿V ■

— (Ь,х)=—(Т,х(Т,Ь,х))

аг I ат J т=г

В силу единственности решения у(в,т,х(т,Ь,х)) = у(в,Ь,х), поэтому

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

г а

V(i)(t,x)= [d^U g(\\y(s,T,x(T,t,x))\\2)ds

т=t

d f Г™

g(Ms,t,x)\\2)ds

т=t

-g(\\y(t,t,x)\\2 =

= -о(\\у\\) для (г,х) е я+ х Пр, г = п,

то есть условие (13) выполнено.

Из соотношения у(Тг + в,Тг — 0, х) = у(т + в, Тг + 0,х + 1г(х)) и из (29),(30) следует свойство (14).

Предположим, что система (1) периодична с периодом ш. Покажем, что в этом случае функция V(Ь,х), определяемая соотношениями (29),(30), периодична с периодом ш, то есть

V (г + ш,х) = V (г,х).

Действительно,

V(t + u,x)= g(\\y(s,t + ш, x)\\2)ds для (t,x) е R+ х Q

р-

ft+ш

в

о

оо

Сделаем в интеграле замену переменной s = т + ш, получим

/<х

д(\\у(т + ш, t + u,x)\\2)dT.

Воспользовавшись свойством решений периодических систем (10), получим

V (t + ш,х) = V (t,x).

Теорема доказана.

4. Выводы.

Полученные в работе результаты, прежде всего, имеют теоретическое значение, так как для прямого метода Ляпунова доказательство существования функций, обладающих определенными свойствами является принципиально важным для обоснования самого метода. Кроме того, доказанная теорема также важна и для решения прикладных задач. Так как свойства функции Ляпунова обладают определенной устойчивостью, то можно показать, что из существования функции Ляпунова для данной системы следует устойчивость некоторой робастной системы.

Список цитируемых источников

1. Гладилина Р.И. Прямой метод Ляпунова в задачах об устойчивости по части переменных для систем с импульсным воздействием // Труды ИПММ HAH Украины. — Донецк. ИПММ HAH Украины. — 2004. — Вып. 9. — С.46-52.

2. Гладилина Р.И., Игнатьев А.О. О необходимых и достаточных условиях асимптотической устойчивости импульсных систем // Укр. мат. журнал. — 2003. — Т. 55, №8. - С.1035-1043.

3. Гладилина Р.И., Игнатьев А.О. О необходимых и достаточных условиях устойчивости инвариантных множеств нелинейных импульсных систем // Прикл. механика. - 2008. - Т. 44, №2. - С.132-142.

4. Игнатьев А.О. Метод функций Ляпунова в задачах устойчивости решений систем дифференциальных уравнений с импульсным воздействием // Мат. сб. — 2003. — Т. 194, №10. - С.117-132.

5. Малкин И.Г. Теория устойчивости движения — М.: Наука, 1966. — 530с.

6. Румянцев В.В., Озиранер A.C. Устойчивость и стабилизация движения по отношению к части переменных. — М.: Наука, 1987. — 256с.

7. Самойленко A.M., Перестюк H.A. Дифференциальные уравнения с импульсным воздействием. — Киев: Вища шк., 1987. — 288с.

8. Самойленко A.M., Перестюк H.A., Парасюк 1.0. Диференщальш р1вняння. — К.: . I пои и-,. 2003. — 600с.

9. Bainov D.D., Simeonov P.S. Systems with impulse effect: stability, theory and applications. — Chichester: Ellis Horwood, 1989. — 256p.

Получена 30.12.2010

i Надоели баннеры? Вы всегда можете отключить рекламу.