Теория устойчивости ОДУ

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

Definition

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

Scope

Эта тема охватывает определения устойчивости по Ляпунову, асимптотической устойчивости и неустойчивости, линеаризацию и теорему Хартмана-Гробмана, прямой метод функций Ляпунова, принцип инвариантности ЛаСалля и классификацию равновесий планарных систем как узлов, сёдел, фокусов и центров.

Core questions

• Будут ли малые возмущения равновесия расти, сохраняться или затухать?
• Когда линеаризация корректно предсказывает устойчивость нелинейного равновесия?
• Как можно установить устойчивость, не решая уравнение явно?
• Как классифицируются планарные равновесия по их локальным фазовым портретам?

Key theories

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

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

Линеаризация и теорема Хартмана-Гробмана

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

Принцип инвариантности ЛаСалля

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

Clinical relevance

Анализ устойчивости лежит в основе теории автоматического управления, где он подтверждает, что разработанная система возвращается к своей рабочей точке после возмущений, и объясняет сохранение равновесий в экологических, физиологических и экономических моделях.

History

Диссертация Ляпунова 1892 года заложила общую теорию устойчивости движения и ввела как линеаризацию, так и прямой метод, основанный на функциях. Качественный анализ планарных систем Пуанкаре дал геометрическую картину, а в середине XX века были добавлены теорема Хартмана-Гробмана и принцип инвариантности ЛаСалля.

Key figures

• Aleksandr Lyapunov
• Henri Poincare
• Philip Hartman
• Joseph LaSalle

Seminal works

• perko2001
• khalil2002

Frequently asked questions

В чём разница между устойчивостью по Ляпунову и асимптотической устойчивостью?

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

Когда линеаризация не позволяет определить устойчивость?

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