Мощным инструментом исследования устойчивости
динамических систем является метод функций Ляпунова. Для линейных
автономных систем существование функции Ляпунова в виде
квадратичной формы является одновременно необходимым и
достаточным условием равномерной асимптотической устойчивости в
целом.
Рассмотрим линейную стационарную систему
x
(4.2)
Допустим, что нам удалось найти функцию Ляпунова: V(x)=x
T
Qx, где
Q – симметричная и положительная определенная матрица. Тогда
)
()
x x Qx x Qx x A Qx x QAx x A Q QA x
TT TTT TT
=+= + = + (4.3)
Обозначим
AQ QA
T
+
= – С, (4.4)
тогда, поскольку С положительно определенна, то система
асимптотически устойчива в целом. Более того, т.к.
()
)
)
CAQQA QAAQ QAAQ
TT
T
TTT T
=− + =− + =− + =−C,
то матрица С симметрична.
На практике целесообразно решать обратную задачу. Выбирают
какую-либо положительно определенную положительную матрицу,
например C = I. Тогда из (4.4) можно получить Q. Если квадратичная
форма Q оказывается неопределенной (знакопеременной), то по теореме
Ляпунова о неустойчивости начало координат неустойчиво. Если Q
положительно определена, то поскольку система линейна и
стационарна, начало координат асимптотически устойчиво в целом.
Обоснованность такого анализа зависит от того, определяет ли
уравнение (4.4) однозначно матрицу Q, если задана симметричная и
положительная С.
Справедливы следующие утверждения:
1.
Если n собственных значений λ
1
, …, λ
n
матрицы A таковы, что
λ
i
+λ
j
≠ 0 (
ij n,,=1
), то из уравнения (4.4) при заданной матрице С
матрица Q определяется однозначно. (Достаточное условие
устойчивости матрицы А).
52 –