Устойчивость и асимптотическая устойчивость состояний равновесия обыкновенных дифференциальных уравнений по Ляпунову
[править]
Система обыкновенных дифференциальных уравнений:
– решение системы (1) с начальными условиями
.
Состояние равновесия – это
– решение (1).
Без ограничения общности
. Работаем в открытом шаре
Определение. Состояние равновесия
называется устойчивым по Ляпунову, если
решение уравнения (1)
с начальным условием
существует при
и
.
Определение. Состояние равновесия
называется асимптотически устойчивым по Ляпунову, если:
- оно устойчиво по Ляпунову
решения 
Функция Ляпунова, теорема Ляпунова об устойчивости
[править]
Теорема. (Ляпунов) Если найдется гладкая функция
на шаре
, такая, что:
1)
для любого
2)
для любого
то состояние равновесия
устойчиво.
Такая функция V обычно называется функцией Ляпунова.
Доказательство. Зададимся произвольным
. Из условия 1 теоремы
В силу непрерывности функции V существует
такое, что
на шаре
(см. рисунок). Возьмем произвольное
и рассмотрим решение
. Из условия 2 следует, что
при
. Таким образом, решение
не может пересечь сферу
, так что
при
.
Теорема. Пусть найдется гладкая функция V на шаре
такая, что:
1)
для любого
2)
для любого
3) множество
не содержит решений системы (1), отличных от нулевого.
Тогда состояние равновесия
асимптотически устойчиво.
Теорема. (теорема Красовского). Пусть найдется гладкая функция V на шаре
такая, что:
1)
, причем начало координат
принадлежит границе области
;
2)
в области
;
3) множество
не содержцт ненулевых решений системы (1).
Тогда состояние равновесия
неустойчиво.