shatyrko-18
.pdfтоді при t 0 буде |
|
виконуватися x(t),t V , . Покажемо, що це буде |
|||||||||||||||||||||||||||||||||||||||||||||||||||
виконуватися і при t 0. |
Обчислимо повну похідну функції Ляпунова V x,t в |
||||||||||||||||||||||||||||||||||||||||||||||||||||
силу інтервальної системи з запізненням |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V x(t),t V x(t) e t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
C A B, H , 2 |
|
H |
|
|
|
c |
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
B |
|
|
|
|
|
x(t) |
|
2 |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
min |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2e t |
|
H B B |
|
x(t) |
|
x(t) x(t ) |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Нехай, від зворотного, при деякому T 0 |
буде x(T ),T V , . Це значить, що |
||||||||||||||||||||||||||||||||||||||||||||||||||||
e |
T ) |
~ |
x(T |
) |
|
2 |
V x(T ),T |
||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
min H |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
V x(T ),T e T |
|
|
|
|
|
~ |
|
x(T ) |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
H |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
max |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
і |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
x(T ) |
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
e 2 |
|
|
|
|
H |
x(T ) |
. |
Підставимо отриманий вираз до значення повної похідної функції Ляпунова
V x,t при t T , отримаємо
|
|
|
|
|
|
|
C A B,H, |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
V x(T ),T e T |
min |
H |
|
c |
|
|
A |
|
B |
||||||||||||||||||
|
H |
x(T ) |
|
2e T H B B 1 e 2 |
|
H x(T ) |
|
. |
|
||||||||||||||||||
|
~ |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
~ |
|
2. |
|
|
||||||||
max |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Або, використовуючи наведені в (27), (29) позначення, отримаємо
|
H, |
1 |
2 |
|
B |
|
2 |
|
A |
|
|
|
~ |
|
|||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||
V x(T ),T L1 |
|
|
|
|
|
|
max H |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
T |
|
|
|
|
2 |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
2 |
H |
B |
|
B |
|
|
|
e |
|
|
|
e |
|
x(T ) |
|
. |
|
||||||||||||
H |
|
|
1 |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
За умовою при 0 вираз в фігурних дужках негативний. Вочевидь, в силу неперервності він буде негативним і при деякому, достатньо малому 0.
Розглянемо нерівність
~ |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
max H |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
L1 H , 1 2 |
|
|
|
B |
|
|
|
2 |
|
|
|
A |
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
||||||||||
2 |
|
H |
|
|
B |
|
|
|
B |
|
~ |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
H e 2 |
|
|
1 . |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Функція |
по змінній |
є опуклою, |
монотонно спадаючою і задовольняє |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
умовам |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 L1 H, 1 2 |
|
|
|
B |
|
|
|
2 |
|
|
|
A |
|
|
|
|
|
|
0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
H, 1 2 |
|
|
|
|
|
B |
|
|
|
2 |
|
|
|
A |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
* 0, |
* |
2 |
ln 1 |
L1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
2 |
H |
|
|
B |
|
|
|
|
|
B |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
H |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
21
Замінимо функцію прямою, |
яка |
з’єднує точки |
0, (0) ³ * ,0 , тобто |
||||||
прямою |
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
. |
|
|
|
0 1 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
* |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Оскільки функція опукла, то нерівність |
|
|
|
|
|
|
|||
|
|
|
|
~ |
|
|
|
|
|
max H |
|
|
|
|
|||||
буде тим паче виконуватись для всіх |
таких, що |
|
0 ** ,
де ** є розв’язком рівняння
|
|
|
|
|
|
|
|
|
* |
|
|
|
|
|
|
|
|
|
H . |
||||
|
|
|
|||||||||
0 1 |
|
* |
|||||||||
|
|
|
|
|
|
max |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
Розв’яжемо його й отримаємо |
|
|
|
|
|
|
|
|
|
|
|
** |
|
|
|
|
0 * |
|
|
|
|||
0 |
* |
|
~ |
|
|||||||
|
|
|
|||||||||
|
|
|
max H |
||||||||
Таким чином при отриманому |
** |
|
повна похідна буде негативно |
визначеною і, як витікає з твердження 1, буде справедлива експоненційна
оцінка (29) збіжності розв’язків інтервальної системи з запізненням (25).
3.2. Інтервальна стійкість систем прямого регулювання з малим запізненням
В цьому розділі також будемо розглядати інтервальну систему з запізненням вигляду (25). Як і в попередньому розділі, припустимо, що
матриці A і B точно не відомі, а їх елементи можуть приймати свої
значення з деяких фіксованих інтервалів (26). Нелінійна функція одного аргументу f ( ) задовольняє умові (20).
На відміну від попереднього розділу, в даному будуть отримані достатні умови інтервальної стійкості системи з запізненням (25) для «малого»
фіксованого запізнення 0 , що залежить від параметрів системи. При їх
отриманні використовується другий метод О.М. Ляпунова з функцією вигляду
квадратична форма плюс інтеграл від нелінійності (23)
(x )
V0 (x ) x T Hx f ( )d , (x ) c T x.
0
Позначимо |
через |
V поверхню рівня |
V |
0 |
(x) функції Ляпунова (23), а |
||||||||||||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
V0 |
область, яку вона обмежує, |
тобто |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
V x : V |
0 |
(x) , V |
|
x : V |
0 |
(x) . |
||
|
|
|
|
|
|
|
|
|
0 |
|
0 |
|
|
|
|
||
|
|
Наведемо деякі допоміжні результати. |
|
|
|
|
|
||||||||||
|
|
Лема 1. |
Нехай розв’язок x(t ) |
|
|
системи |
(25) задовольняє початковій умові |
||||||||||
|
x(0) |
|
|
|
. Тоді |
на проміжку 0 t буде виконуватись нерівність |
|||||||||||
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
22
|
|
|
|
|
|
|
|
|
|
|
|
|
x(t) |
|
|
|
|
|
N (t) , |
N (t) (1 bt)eat , |
|
|
|
|
|
|
|
|
|
(30) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
A |
|
|
|
|
A |
|
|
|
|
k |
|
b |
|
c |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
B |
|
|
|
|
|
|
|
B |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Доведення. Запишемо систему |
|
(25) в інтегральному вигляді |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
t |
(A A)x(s) (B B )x(s ) bf (c T x(s))ds. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
x(t) x(0) |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
На проміжку 0 t |
|
|
буде виконуватись нерівність |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
x(t) |
|
|
|
|
|
|
B B |
|
t |
|
A A |
|
K |
|
b |
|
|
|
|
|
c |
|
|
|
|
|
|
x(s) |
|
|
ds. |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Використовуючи нерівність Гронуола-Беллмана, отримаємо, що на |
проміжку |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
0 t справедлива нерівність |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x(t) |
|
B B |
|
|
t |
e |
|
A A |
|
k |
|
b |
|
|
|
c |
|
|
t . |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Використовуючи приведені позначення, отримаємо твердження леми 1. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Лема 2. Нехай на |
|
проміжку |
|
|
|
|
|
|
|
|
T 2 t T, T |
|
|
|
|
виконується x(t) V0 , а |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
при t T буде x(T ) V0 . |
Тоді справедлива наступна нерівність |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
x(T ) x(T ) |
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
x(T ) |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(31) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
(a b) (H ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Доведення. Запишемо систему (25) в вигляді |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
x(T ) x(T ) (A A)x(s) (B B )x(s ) bf (c T x(s))ds. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Звідси отримаємо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
x(T ) x(T ) |
|
|
|
|
( |
|
A A |
|
|
|
x(s) |
|
|
|
|
|
B B |
|
|
|
x(s ) |
|
k |
|
b |
|
|
|
|
c |
|
|
|
x(s) |
|
)ds. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Оскільки за умовою леми на проміжку |
|
|
|
|
|
T 2 t T |
|
|
буде |
x(t) V0 , |
x(T ) V0 , |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
тоді |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
2 |
V0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V0 (x(T )) max |
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
min(H ) |
x(t) |
|
|
|
|
|
|
|
|
|
(x(t)) |
(H ) |
|
x(T ) |
|
|
|
|
. |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Звідси |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
x(s) |
|
|
|
|
|
|
|
|
|
~ |
|
x(T ) |
|
, |
|
|
|
|
x(s ) |
~ |
|
|
|
x(T ) |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(32) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
(H ) |
|
|
|
|
|
(H ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Й отримаємо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
x(T ) x(T ) |
|
|
( |
|
A A |
|
|
|
B B |
|
k |
|
b |
|
|
|
c |
|
) |
~ |
|
|
|
|
|
|
x(T ) |
|
. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(H ) |
|
|
|
Звідси витікає твердження (31) леми 2. Введемо наступні позначення
23
|
|
T |
|
|
|
|
T |
|
1 |
|
|
|
|
( A B) |
|
H H ( A B) |
Hb ( ( A B) |
|
I ) |
|
c |
|
|||
|
|
2 |
||||||||||
C A B, H , |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
||
|
Hb ( ( A B)T I ) |
1 |
c |
T |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
||||||
|
|
1/ k bT c |
|
|
|
|
||||||
|
|
|
|
|
||||||||
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
H H ( A B) |
||
( A B) |
|
|||||
C A B, H , |
|
|
|
|
1 |
|
|
T |
|
|
|
|
|
c |
|
( A B) |
|
c |
||
|
|
|||||
|
|
|
|
|
2 |
|
( A B)T 12 c
0
2 2 |
|
H |
|
|
|
|
|
|
|
c |
|
, |
L2 (H, ) min (C A B, H, ) 2 ( |
|
|
|
A |
|
|
|
|
|
|
|
B |
|
|
|
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Використовуючи наведені леми отримаємо наступні умови абсолютної
інтервальної стійкості. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
Теорема 14. Нехай існує додатно визначена матриця H |
|
і скаляр |
, |
при |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C A B,H, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
яких |
min(H ) 0 |
|
|
|
й |
|
матриця |
|
|
|
|
додатно визначена. |
Тоді |
при |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
L2(H, ) 0 і 0 , де |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L(H ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(33) |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2( |
HB |
|
H |
|
B |
)(a b) (H ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
система (25) |
буде абсолютно інтервально стійкою і для її розв’язків буде |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
виконуватися |
|
x(t) |
|
, t 0, |
|
як тільки |
|
x(0) |
|
|
|
|
|
|
|
|
|
( , ), |
де |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( , ) |
(1 b ) 1e a |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(34) |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(H ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
Доведення. Повна похідна функції Ляпунова V0 (x) |
|
виду (23) |
в |
силу |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
системи (25) |
буде мати вигляд |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
V |
0 |
|
(x ) (xT (t ), f ( (t ))) C A B, H, C A B, H, |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x T (t ), f ( (t )))T |
2 |
|
H(B B ) |
|
|
|
|
|
x(t ) |
|
|
|
x(t ) x(t ) |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Нехай існують H |
|
і |
|
, |
при |
яких |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
і |
матриця |
C[ A B, H, ] |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
min(H ) 0 |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
позитивно визначена. |
|
|
|
|
|
Якщо |
|
|
“збурені” матриці A |
і B такі, що |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
L2(H, ) 0, |
тоді |
|
|
|
матриця |
C[A B,H, ] C[ A B,H, ] |
також |
|
позитивно |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
визначена і справедлива нерівність |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V (x(t)) |
min |
C A B, H , (2 |
|
H |
|
|
|
|
|
|
|
c |
|
( |
|
|
|
A |
|
|
|
|
|
|
|
B |
|
|
|
) |
x(t) |
|
2 |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
2 |
|
H (B B) |
|
|
|
x(t) |
|
|
|
x(t) x(t ) |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
Для |
довільного 0 |
виберемо |
|
|
( , ) згідно (34). Тоді, |
|
|
як витікає з нерівності |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(30) |
леми 1, для довільного розв’язку x(t ) системи |
(25), що задовольняє умові |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( , ), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
x(0) |
|
|
|
|
при |
|
0 t |
|
буде виконуватися |
|
|
|
|
|
x(t) |
|
/ (H ) |
, |
тобто |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
~ |
|
2 |
. |
Покажемо, що це збережеться і при t . |
Нехай це не |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
x(t) V0 |
, min(H ) |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
так |
і |
існує |
T , |
|
|
при |
|
|
|
|
|
якому |
x(T ) V |
. |
|
|
|
Тоді, |
|
|
|
|
|
як |
витікає |
з |
леми |
2, |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
справедлива нерівність (31) і для повної похідної |
|
|
|
|
функції |
|
Ляпунова |
V0 (x) |
в |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
момент |
t T |
буде виконуватися |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
24
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V0 (x(t )) min(C[A B, H, ]) (2 |
|
|
H |
|
|
|
|
|
|
|
c |
|
) |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
( |
|
A |
|
|
|
B |
|
) 2 |
|
H(B B ) |
|
~ |
|
|
|
|
|
|
|
|
|
|
2 |
. |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
(a b) (H ) x(t ) |
|
|
|
|
||||||||||||||||||||||||||||||||
Нехай збурення системи |
A |
і |
B такі, що |
виконується L2(H, ) 0. |
Тоді |
||||||||||||||||||||||||||||||||||||||
при 0 , |
де |
0 визначено |
|
|
в |
|
|
(32), повна похідна функції Ляпунова |
V0 (x ) |
||||||||||||||||||||||||||||||||||
в момент |
t T |
буде негативно визначеною. |
З цього витікає асимптотична |
||||||||||||||||||||||||||||||||||||||||
стійкість системи (25). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Покажемо, що розв’язки |
системи (25) наближаються до положення |
||||||||||||||||||||||||||||||||||||||||||
рівноваги за експоненційним законом. |
Для цього, як витікає з попередньої |
||||||||||||||||||||||||||||||||||||||||||
глави, візьмемо функцію |
|
Ляпунова неавтономного виду |
V (x,t) e tV0 (x), 0. |
||||||||||||||||||||||||||||||||||||||||
Відповідно позначимо |
|
V , |
і |
V , поверхні рівня |
|
V (x,t) |
і |
область в |
|||||||||||||||||||||||||||||||||||
розширеному фазовому просторі, яку вона обмежує |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
V , |
|
(x,t) :e tV |
0 |
(x) , |
V , |
(x,t) : e tV |
0 |
(x) . |
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Лема 3. |
Нехай існує |
|
|
0 |
|
|
|
|
таке, |
|
що |
інтегральна крива |
(x(t),t) в |
||||||||||||||||||||||||||||||
розширеному фазовому просторі Rn R |
|
належить V , . |
|
Тоді |
справедлива |
||||||||||||||||||||||||||||||||||||||
нерівність |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(35) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
x(t) |
/ min(H )e t /2 , 0. |
|
|
|
|
|
|
|
|
|
|
|
Доведення. |
Як витікає з нерівностей квадратичних форм і умови леми 3, |
||||||||||||||
виконується нерівність |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
~ |
|
|
|
2 |
e tV0 (x(t)) |
. . |
|
|||||
|
|
|
|
|
|
|
|||||||||
|
|
|
e t min(H ) |
x(t) |
|
|
|||||||||
Звідси витікає співвідношення (35). |
|
|
|
|
|
|
|
|
|
||||||
Лема 4. Нехай існує T , що на |
|
проміжку |
T 2 t T, |
виконується |
|||||||||||
x(t),t V , , |
а при t T |
буде (x(T ),T ) V , . Тоді справедлива наступна |
|||||||||||||
нерівність |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x(T ) x(T ) |
|
(ae /2 be ) |
~ |
|
|
x(T ). |
|
|
(36) |
||||
|
|
|
|
|
|||||||||||
|
|
|
(H ) |
|
|
|
Доведення. Як витікає з інтегрального представлення системи (25), буде
виконуватися співвідношення
|
|
|
|
T |
||||||||||||||||
|
x(T ) x(T ) |
|
|
( |
|
A A |
|
|
|
x(s) |
|
|
|
B B |
|
|
|
x(s ) |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
T |
k bc x(s))ds.
Зумови леми 4 і нерівностей квадратичних форм витікає, що
e t |
|
~ |
|
x(t) |
|
2 |
V (x(t,t)) V (x(T ),T ) e t |
|
~ |
|
x(T ) |
|
2 |
. |
|
|
|
|
|
|
|||||||||
min |
(H ) |
|
|
|
max |
(H ) |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Звідси отримаємо, що
|
|
|
e /2 |
|
|
|
|
|
|
x(s ) |
|
e |
|
|
|
|
|
|
x(s) |
|
(H ) |
|
x(T ) |
|
, |
|
|
(H ) |
|
x(T ) |
|
. |
|||
|
|
|
|
|
|
|
|
Й отже
x(T ) x(T ) ( A A e / 2 B B e
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
b |
|
c |
|
e / 2 ) |
~ |
|
x(T ) |
|
. |
|
|
|
(H ) |
|
25
Звідси витікає твердження (36) леми 4. |
|
|
|
|
|
|
||||||||||||||||||||||||||
За допомогою приведених лем отримаємо наступне твердження. |
|
|||||||||||||||||||||||||||||||
Теорема 15. Нехай існує додатно визначена матриця H і скаляр |
, при |
|||||||||||||||||||||||||||||||
|
|
~ |
|
|
|
|
|
|
|
|
|
C[A B,H, ] додатно визначена. Якщо збурення |
||||||||||||||||||||
яких |
min(H ) 0 |
|
і матриця |
|||||||||||||||||||||||||||||
A і |
B |
такі, |
що |
виконується |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L2(H, ) 0, |
|
0 , |
|
|
||||||||||
тоді при |
0 , де |
0 |
визначено в (33), |
для розв’язків x(t ) системи (25) |
||||||||||||||||||||||||||||
справедлива наступна експоненційна оцінка збіжності |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
N (t ) |
|
|
|
x(0) |
|
|
|
, |
|
|
0 t , |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x(t ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
(37) |
||||||
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
N ( ) |
(H ) |
x(0) |
|
exp |
|
(t |
) , |
t , |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
де |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(0, ) |
|
, |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
(0, ) |
|
|
|
|
~ |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
max (H ) |
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
0 (0, ) L2 (H , )(1 ), |
|
/ 0 , |
|
(38) |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
4 b(a b) a |
|
|
|||||||||||||
|
|
|
|
|
* ln 2 |
|
a |
|
|
|
. |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2b |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доведення. Перша частина нерівності |
(37) витікає з нерівності (30) леми |
|||||||||
1. Розглянемо t . |
Покладемо |
|
|
|
|
|
|
|
|
|
|
|
N( ) |
|
|
2 |
|
~ |
|
||
|
|
|
|
|
|
|||||
|
|
x(0) |
|
max (H ). |
|
|||||
|
|
|
|
|
|
|
||||
Тоді при t |
буде виконуватися |
|
(x(t),t)) V , . |
Покажемо, що це |
||||||
збережеться і при |
t , |
якщо |
|
|
вибирати згідно |
(38). Візьмемо повну |
||||
похідну функції Ляпунова |
V (x,t) |
в |
силу |
системи (25) |
|
|||||
|
. |
|
|
|
|
|
|
|
(C A B,H, ) |
|
|
V (x(t )) V (x(t ),t ) e t |
min |
(2 H c )( A B ) x(t ) 2
2e t H(B B )x(t )x(t ) x(t ).
Нехай, від зворотного, |
при деякому T |
|
|
буде |
|
|
|
|
(x(T ),T ) V , . Тоді |
||||||||||||||||||||||
виконуються умови леми |
4 і |
|
|
справедлива |
нерівність |
(36). Підставивши її в |
|||||||||||||||||||||||||
оцінку повної похідної, при |
t T |
отримаємо |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
. |
|
|
|
|
|
|
|
min(C A B, H, ) |
(2 |
|
|
|
|
|
|
|
|||||||||||||||
V (x(T ),T ) |
H |
|
c |
) |
|||||||||||||||||||||||||||
( |
|
A |
|
|
|
B |
|
) |
|
~ |
|
x(T ) |
|
2 |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
(H )}e T |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
max |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
H(B B ) |
|
|
|
|
|
|
|
~ |
|
|
|
x(T ) |
|
2 |
. |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
(ae /2 be ) (H ) e T |
|
|
|
Або
26
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V (x(T ),T ) { min(C A B,H, |
) 2 ( |
|
|
|
A |
|
|
|
|
|
|
|
B |
|
|
|
) |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
2 |
|
H(B B ) |
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x(T ) |
|
2 |
. |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
(ae /2 be ) (H ) |
(H )}e T |
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
max |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
При |
0, |
0 повна похідна буде негативно визначеною. Очевидно, в |
|||||||||||||||||||||||||||||||||||||||||||
силу |
неперервності, це збережеться й |
при |
|
достатньо |
малих 0, 0. |
||||||||||||||||||||||||||||||||||||||||
Розглянемо нерівність |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
||
|
|
L |
|
(H, ) 2( |
|
HB |
|
|
|
H |
|
B |
|
)(ae /2 |
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
2 |
|
|
|
|
|
be ) (H ) |
|
(H ). |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
max |
|
|
|
|
Перепишемо її у вигляді
( , ) max (H )
( , ) L2 (H , ) 1
/ 0 , 0 1.
ae b |
|
|
|
|
, |
(39) |
|
a b |
|||
|
|
Оскільки 0 , тоді |
при |
|
|
|
|
0 |
вона |
виконується. |
Тому, |
в силу |
|||||
неперервності, це буде |
виконуватися і при достатньо малому 0. Функція |
||||||||||||||
( , ) при кожному фіксованому |
0 |
за |
змінною |
0 |
є опуклою |
||||||||||
догори, монотонно спадаючою і задовольняє умовам |
|
|
|||||||||||||
(0, ) L |
2 |
(H, )(1 ) 0, |
|
( * , ) 0, |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
2 |
|
2 |
4 b(a b) a |
|
|
||||||
* |
2 ln |
|
|
|
|
. |
|
|
|||||||
|
|
|
|
|
|
|
2b |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замінимо |
функцію |
( , ) відрізком прямої, що з’єднує |
точки (0, (0, )) і |
|||||||||||||
( * ,0) . Отримаємо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
( ,0) |
(0, ) 1 |
|
|
. |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Оскільки функція |
( , ) опукла догори, тоді |
для розв’язків рівняння |
|
|||||||||||||
|
|
|
|
|
(0, )(1 / * ) |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
(H ) |
|
|
||||||
|
|
|
|
|
|
|
|
|
max |
|
|
|
|
|||
нерівність |
(39) |
буде виконуватися і поготів. Розв’язавши його отримаємо |
||||||||||||||
|
|
|
|
|
|
|
(0, ) |
|
|
|
|
. |
|
|
||
|
|
|
|
|
(0, ) |
|
max |
|
~ |
|
|
|||||
|
|
|
|
|
|
|
(H ) |
|
|
|||||||
Таким чином |
при |
обчисленому |
буде |
виконуватися |
(39), тобто повна |
|||||||||||
похідна функції Ляпунова |
V (x,t) буде негативно визначеною. Це забезпечує |
|||||||||||||||
(x(t),t) V , |
і |
при |
t T. |
А тоді |
за лемою 3 виконується нерівність |
(35), |
||||||||||
тобто при |
вибраному |
|
буде справедлива оцінка збіжності розв’язків |
x(t ) , |
наведена в (37).
Теорема доведена.
27
3.3. Інтервальна стійкість систем непрямого регулювання з запізненням
В цьому розділі будуть розглянуті так звані системи «непрямого регулювання». Вони характеризуються наявністю одного нульового власного числа матриці лінійного наближення Розглянемо систему регулювання, що описується диференціальними рівняннями вигляду
|
|
|
|
x(t) Ax(t) bf ( (t)), |
(t) cT x(t) f ( (t)). |
(40) |
|
Тут t 0, b, c, x t Rn , |
A квадратна |
асимптотично стійка матриця, |
0 |
скаляр. Скалярна функція керування f ( ) точно не відома, вона знаходиться
в межах сектора, розташованого в першій і третій координатних четвертях,
тобто задовольняє умовам
|
k 2 f ( ) k 2 , |
k |
2 |
k 0. |
|
|
(41) |
|||||
|
1 |
2 |
|
1 |
|
|
|
|
|
|||
Асимптотична стійкість в цілому положення рівноваги x(t) 0, |
(t) 0 системи |
|||||||||||
(40) при довільній функції |
f ( ), що задовольняє умовам |
(41), |
отримала |
|||||||||
назву абсолютної стійкості. Розглянемо |
ситуацію, коли матриця A системи |
|||||||||||
(40) точно не |
відома і рівняння мають вигляд |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||
|
x(t) (A A)x(t) bf ( (t)), |
(t) cT x(t) f ( (t)). |
|
(42) |
||||||||
Тут |
A aij |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
aij |
ij , |
|
i, j 1,n. |
|
|
(43) |
|||||
Асимптотична стійкість нульового положення рівноваги системи |
(42) при |
|||||||||||
довільній фіксованій матриці |
A, елементи якої задовольняють умовам (43), |
|||||||||||
називається |
абсолютною інтервально |
стійкістю. Для |
систем |
виду (42) |
||||||||
необхідних і |
достатніх умов |
абсолютної |
інтервальної |
стійкості, |
наскільки |
відомо автору, не існує.
В даному розділі отримані достатні умови абсолютної інтервальної стійкості
систем такого вигляду з запізненням. При дослідженні використовується
функція Ляпунова виду ”квадратична форма плюс інтеграл від нелінійності”
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
V0 (x, ) x T Hx f ( )d . |
|
|
|
|
(44) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
Для |
неї |
справедливі нерівності типу |
нерівностей квадратичних форм |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
2 , |
|
|
|
||
|
|
|
|
|
|
|
min(H ) |
|
x |
V0 (x, ) max (H ) |
|
x |
|
|
(45) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
де |
|
|
|
|
) min min(H ), k1 /2 , |
|
|
|
) max max (H ), k2 /2 |
||||||||||||||||||
|
|
|
|
min( |
|
max ( |
|
||||||||||||||||||||
|
|
|
|
H |
H |
||||||||||||||||||||||
Тут |
min(H ), max (H ) мінімальне |
і максимальне |
власні |
числа симетричної |
|||||||||||||||||||||||
додатно визначеної матриці H. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
Позначимо через |
V0 поверхню |
рівня V0 (x, ) |
функції Ляпунова |
||||||||||||||||||||||
V |
0 |
(x, ), |
а через V |
|
область, |
|
яку вона |
обмежує, |
|
тобто |
|
||||||||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V |
(x, ) :V |
0 |
(x, ) , V (x, ) :V |
0 |
(x, ) . |
||||||||||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
28
Тут і далі
|
|
|
|
(t ) (x(t ), (t )), |
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
x 2 (t ) 2 |
|
|
1/2 |
|
|
|
|||||||||||||||||||||||||||||
|
x |
|
|
|
x |
|
|
(t ) |
|
|
|
|
(t ) |
|
, |
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
(AAT ) 1/2 , |
|
|
|
|
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
A |
max |
|
(H ) |
max |
(H )/ |
min |
(H ), |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
max A |
|
|
|
|
|
|
|
|
|
|
ij , |
|
i, j |
|
, |
|
|
|
|
|
|
|
(46) |
||||||||||||||||||||||||||||
|
|
A |
: |
|
aij |
|
|
|
1,n |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
C[A, H ] |
AT H HA |
|
|
|
|
(Hb 1/2c ) |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
(Hb 1/2c )T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Покажемо, що асимптотична стійкість має експоненціальний |
характер, |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
тобто існують сталі |
|
N 0, 0, при |
|
|
|
яких |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
x (t) |
|
|
|
N |
|
x (0) |
|
ехр t / 2 , t 0. |
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
При доведенні цього факту |
|
|
вже |
|
|
|
будемо використовувати |
неавтономну |
|||||||||||||||||||||||||||||||||||||||||||||||
функцію Ляпунова |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
V (x, ,t) e tV0 (x, ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(47) |
|||||||||||||||||||||||||||||||||
Відповідно |
будемо |
|
позначати |
|
V , |
|
|
|
і |
|
V , поверхні |
рівня |
V (x, ,t) і |
||||||||||||||||||||||||||||||||||||||||||
область в розширеному фазовому просторі, |
|
яку вона обмежує |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
V , (x, ,t) : e tV |
0 |
|
|
(x, ) , |
|
|
V , |
(x, ,t) : e tV |
0 |
(x, ) . |
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Попередньо доведемо ряд допоміжних результатів. |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
Лема 5. |
Нехай існує |
0, |
|
при |
|
|
|
якому інтегральна крива |
(x (t),t) в |
||||||||||||||||||||||||||||||||||||||||||||||
розширеному фазовому просторі Rn 1 R належить |
|
V , . Тоді |
справедлива |
||||||||||||||||||||||||||||||||||||||||||||||||||||
нерівність |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/ |
|
|
|
|
|
|
( |
|
)e t , |
|
0. |
|
|
|
|
|
|
|
(48) |
|||||||||||||||||||
|
|
|
|
|
|
|
x |
|
(t) |
|
min |
H |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
Доведення. Як витікає з виду |
|
|
функції |
Ляпунова, будуть виконуватися |
|||||||||||||||||||||||||||||||||||||||||||||||||||
двосторонні нерівності |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
e t |
|
|
|
|
|
) |
|
x (t) |
|
2 e tV (x(t), (t)) . |
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
min |
( |
H |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Звідси витікає співвідношення (48).
Лема 6. Нехай існує симетрична позитивно визначена матриця H , при
якій матриця |
C[A, H ] позитивно визначена. |
|
Тоді при |
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
A |
|
min(C[A,H ])/2 |
|
H |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(49) |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
система (40) |
інтервально стійка, і для її розв’язків справедлива наступна |
|||||||||||||||||||||||||||||||||||||||||||||
експоненційна оцінка збіжності |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
x (t ) |
|
(H ) |
x |
(0) |
exp |
|
|
|
|
t , t |
0, |
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
)min1,k 2 |
. |
|
(50) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
( |
min |
(C[A,H ]) 2 |
|
H |
|
|
|
|
|
|
|
A |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
max (H ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
|
|
|
|
|
|
|
(0),0) V , V , . |
|||||||||||
Доведення. |
Покладемо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(0) |
|
|
|
|
|
Тоді (x |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
max |
(H ) |
x |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
Покажемо, що |
(x |
|
(t),t) V , |
|
|
при всіх |
t 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
29 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Якщо |
матриця |
H позитивно визначена і функція f ( ) |
задовольняє умовам |
||||||||||||||||
(41), |
тоді функція V (x, ,t) виду (47) буде |
|
позитивно визначеною. |
Її повна |
|||||||||||||||
похідна в силу |
системи (42) |
має вигляд |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V (x(t ), (t ),t) V (x(t ), (t ),t ) e t (xT (t ), f ( (t ))) |
|
||||||||||||||||
|
|
C[A,H ] C[ A,H ] (xT (t ), f ( (t )))T , |
|
|
|
||||||||||||||
де |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
AT H H A 0 |
|
|
|
||||||||||||
|
|
|
C[ A, H ] |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
Виберемо матрицю |
A таким чином, щоб |
|
|
|
|||||||||||||||
|
|
|
min(C[A,H ]) max( C[ A,Y ]) 0. |
|
|
(51) |
|||||||||||||
За умовою матриця C[A, H ] |
позитивно визначена. |
Тому, якщо |
елементи |
||||||||||||||||
матриці A такі, що |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
min(C[A,H ]) 2 |
|
H |
|
|
|
|
|
A |
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
тоді нерівність |
(51) |
буде виконуватися тим паче. |
А |
тоді для похідної |
|||||||||||||||
функції Ляпунова буде справедливо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
A |
V (x(t ), (t ),t ) min(C[A,H ]) 2H |
( x(t )2 k12 2(t )) max (H )( x(t )2 2(t )).
Іпри величинах , що задовольняють умові (50), повна похідна функції Ляпунова буде негативно визначеною. Це значить, що вектор швидкості
руху направлено чітко всередину V , |
і |
(x |
|
(t),t) V , |
при всіх t 0. |
|
|
|
|
|
Нехай існує не тільки неточність в елементах матриці A, а й в аргументі при фазовій змінній, тобто система описується диференціальними рівняннями з запізнюючимся аргументом
|
|
|
|
|
|
|
|
|
|
|
|
|
x(t ) (A A)x(t ) (B B )x(t ) bf ( (t )) |
(52) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
x(t ) f |
( (t )). |
|
|
|
|
|
||
|
|
|
|
|
|
|
|||||
|
(t ) c |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
Матриці A і |
B можуть приймати свої значення з деяких фіксованих |
||||||||||
інтервалів |
|
|
|
|
|
|
|
|
|
|
|
|
A aij , |
|
|
|
|
|
|
|
|||
|
aij |
ij , |
i, j 1,n, |
(53) |
|||||||
|
B bij , |
|
|
|
|
|
|
||||
|
bij |
ij , |
i, j 1,n. |
|
Отримаємо умови інтервальної стійкості системи (52). Будемо
використовувати наступні позначення
|
x (t) |
|
|
max |
x(t s) |
|
, |
|
|
|
|
||
|
|
|
|
|
|
|
|||||||
|
|
|
s 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L3 (H ) min (C[ A B, H ]) 2 |
HB |
(1 |
(H ) ), |
30