Функція Ляпунова

У теорії звичайних диференціальних рівнянь, функція Ляпунова є скалярною функцією, яка може бути використана як доказ стійкості рівноваги рівняння. Названа на честь російського математика Олександра Ляпунова. Функції Ляпунова мають важливе значення для теорія стійкості та теорія керування. Аналогічна концепція з'являється у загальній теорії простору станів ланцюгів Маркова, як правило, під назвою функція Ляпунова-Фостера

Для багатьох класів звичайних диференціальних рівнянь, існування функцій Ляпунова є необхідною і достатньою умовою для стійкості. Хоч немає загальної методики побудови функцій Ляпунова для звичайних диференціальних рівнянь, у багатьох конкретних випадках, конструювання функцій Ляпунова відоме. Наприклад, квадратичної функції достатньо для систем з однією змінною, розв'язок певної лінійної матричної нерівності забезпечує функцію Ляпунова для лінійних систем. Закони збереження можуть бути використані для побудови функцій Ляпунова для фізичної системи.

Неформально, функція Ляпунова — це функція, яка приймає позитивні значення всюди, за винятком точки рівноваги, і зменшується (або не зростає) вздовж кожної траєкторії звичайного диференціального рівняння. Основна перевага методу аналізу стійкості систем звичайних диференціальних рівнянь на основі функцій Ляпунова полягає в тому, що розв'язок системи рівнянь (аналітичний або чисельний) не потрібен.

Визначення кандидата функції Ляпунова

Нехай

$V:\mathbb {R} ^{n}\to \mathbb {R}$

— неперервна скалярна функція.
$V$ називається кандидатом функції Ляпунова, якщо локально вона є додатновизначеною функцією, тобто

$V(0)=0\,$

$V(x)>0\quad \forall x\in U\setminus \{0\}$

з $U$, що є околом точки $x=0$

Точка рівноваги

Нехай

$g\colon \mathbb {R} ^{n}\to \mathbb {R} ^{n}$

${\dot {y}}=g(y)\,$

буде довільною автономною динамічною системою з точкою рівноваги $y^{*}\,$:

$0=g(y^{*})\,$

Завжди існує перетворення координат $x=y-y^{*}\,$, таке що:

${\dot {x}}=g(x+y^{*})=f(x)\,$

$f(0)=0\,$

Тоді нова система $f(x)$ має точку рівноваги у початку координат.

Теореми Ляпунова для автономних систем

Нехай

$x^{*}=0\,$

є точкою рівноваги системи автономних диференціальних рівнянь

${\dot {x}}=f(x)\,$

І нехай

${\dot {V}}(x)={\frac {\partial V}{\partial x}}\cdot {\frac {dx}{dt}}=\nabla V\cdot {\dot {x}}=\nabla V\cdot f(x)$

буде похідна по часу кандадата на функцію Ляпунова $V$.

Стійкість точки рівноваги

Якщо кандидат-функція Ляпунова $V$ є локально додатноозначеною і похідна за часом є локально від'ємною напівозначеною:

${\dot {V}}(x)\leq 0\quad \forall x\in {\mathcal {B}}\setminus \{0\}$

у деякому околі ${\mathcal {B}}$ точки $0$, тоді точка рівноваги є стійкою.

Локальна асимптотична стійкість

Якщо кандидат-функція Ляпунова $V$ є локально додатноозначеною і похідна за часом локально є від'ємноозначеною:

${\dot {V}}(x)<0\quad \forall x\in {\mathcal {B}}\setminus \{0\}$

у деякому околі ${\mathcal {B}}$ точки $0$, тоді точка рівноваги є локально асимптотично стійкою.

Глобальна асимптотична стійкість

Якщо кандидат-функція Ляпунова $V$ є глобально додатноозначеною, радіально необмеженою і похідна за часом є глобально від'ємноозначеною:

${\dot {V}}(x)<0\quad \forall x\in \mathbb {R} ^{n}\setminus \{0\},$

тоді точка рівноваги глобально асимптотично стійкість.

Якщо кандидат-функція Ляпунова $V(x)$ є радіально необмеженою якщо

$\|x\|\to \infty \Rightarrow V(x)\to \infty$.

(Це також називають нормованою коерцитивністю.)

Приклад

Розглянемо наступне диференціальне рівняння із розв'язком x на $\mathbb {R}$:

${\dot {x}}=-x.$

Беручи до уваги, що функція |x| є завжди додатною в околі початку координат, то вона є природним вибором кандидат-функції Ляпунова для вивчення поведінки x. Отже, нехай $V(x)=|x|$ на $\mathbb {R} \setminus \{0\}$. Тоді,

${\dot {V}}(x)=V'(x)f(x)=\mathrm {sign} (x)\cdot (-x)=-|x|<0.$

Це показує те що точка рівноваги дифиренціального рівняння є асимптотично стійким в околі початку координат.

Див. також

• Звичайні диференціальні рівняння
• Контоль-функція Ляпунова
• Теорема Фостера
• Теорема Барбашина-Красовського

Джерела

• М. О. Перестюк, О. С. Чернікова. Теорія стійкості. (укр.)
• Weisstein, Eric W. Функція Ляпунова(англ.) на сайті Wolfram MathWorld. (англ.)
• Scholarpedia, Stability. (англ.)
• Самойленко А. М.; Перестюк М. О.; Парасюк I.О. (2003). Диференціальні рівняння (PDF). Київ: Либідь. с. 600. ISBN 966-06-0249-9.(укр.)
• Khalil, H.K. (1996). Nonlinear systems. Prentice Hall Upper Saddle River, NJ. (англ.)
• Гантмахер Ф. Р. Теорія матриць. — 2024. — 703 с.(укр.)

Посилання

• Приклад визначення стійкості точки рівноваги системи звичайний диференціальних рівнянь за допомогою функції Ляпунова
• Деякі діаграми Ляпунова