Теорема Первая теорема Ляпунова

Пусть в существует непрерывная вместе с частными производными первого порядка положительно определенная функция такая, что функция удовлетворяет неравенству

Тогда тривиальное решение системы устойчиво.

Теорема Вторая теорема Ляпунова

Пусть дополнительно к условиям первой теоремы для выполняется неравенство , где --- положительно определенная в функция.

Тогда тривиальное решение системы асимптотически устойчиво.

Теорема Третья теорема Ляпунова

Пусть в существует непрерывная вместе с частными производными первого порядка положительно определенная функция такая, что

а) и -окрестность точки , в которой выполняется неравенство ;

б) из , справедливое при всех .

Тогда тривиальное решение системы неустойчиво.

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

Замечание. Горбунов показал, что для линейных систем с непрерывными коэффициентами функция Ляпунова всегда существует в виде квадратичной формы.

Замечание. Для дифференциальных уравнений, описывающих некоторые механические системы, роль функции Ляпунова играет потенциальная энергия . Сама система имеет вид , а соответствующая функция .

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

Методы построения функций Ляпунова

Энергетический метод

Применяется для системы второго порядка.

Рассмотрим систему

где , , непрерывны, --- положительные постоянные и , при , при , при , где , , .

В качестве механической модели можно взять движение системы материальных точек с массой , в которой точка подвергается действию сил , выражающие влияние других точек этой системы на точку .

Тогда можно дать механическую интерпретацию. Функцию составим как полную энергию системы, то есть как сумму кинетической и потенциальной энергий. Получим

Очевидно, что эта функция определенно положительная.

Найдем производную функции в силу системы, получим

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

Метод Малкина

Рассмотрим уравнение

Это уравнение эквивалентно системе

Соответствующая линейная система имеет вид

Для нее может быть построена функция Ляпунова

причем .

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

но непригодна для системы.

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