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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

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

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

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

Нехай

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. Lyapunov Function(англ.) на сайті Wolfram MathWorld.
  • Khalil, H.K. (1996). Nonlinear systems. Prentice Hall Upper Saddle River, NJ. 

Посилання[ред.ред. код]