Стійкість (динамічні системи): відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
матиматиці -> математиці |
Олюсь (обговорення | внесок) мНемає опису редагування |
||
(Не показані 6 проміжних версій 4 користувачів) | |||
Рядок 1:
{{Диференціальні рівняння|Загальні теми}}
В [[Математика|математиці]],
== Постановка завдання стійкості
Нехай <math>\Omega</math>
\begin{matrix}
\dot x = f(t, x), x \in \mathbb{R}^n, f: I \times \Omega \to \mathbb{R}^n\\
Рядок 10 ⟶ 11:
|2=1}}
При будь-яких <math>(t_0, x_0) \in I \times \Omega</math> існує
Нехай дані також дві динамічні системи:
<math>\dot{X}(t)=F(X(t-\tau)),\quad\quad \tau=\mathrm{const}>0;</math> (2)
<math>\dot{X}(t)=F(X(t-\tau))+\mathfrak{F}(t,X_{t}).</math> (3)
Кожен розв'язок <math>X(t,t_{0},\varphi)</math> системи (2) визначається початковими умовами: початковим моментом <math>t_{0}</math> та початковою [[Вектор-функція|вектор-функцією]] <math>\varphi(\xi),</math> де <math>X(t_{0}+\xi,t_{0},\varphi)=\varphi(\xi)</math> за <math>\xi\in[-\tau,0].</math> Для виділених систем (2-3) із запізнюванням функції <math>\varphi(\xi)</math> належать простору <math>PC[-\tau,0]</math> шматково-неперервних за <math>\xi\in[-\tau,0]</math> функцій із [[Простір неперервних функцій|рівномірною нормою]] <math>||\varphi||_{\tau}=\underset{\xi\in[-\tau,0]}{\sup}||\varphi(\xi)||,</math> де <math>||\cdot||</math> — [[евклідова норма]] вектора.
Функціонал <math>\mathfrak{F}(t,\varphi)</math> заданий й є неперервним у області
<math>\{t\in\mathbb{E}:t\geq0\}\times\Omega_{H},</math>
де <math>\Omega_{H}</math> — множина функцій <math>\varphi(\xi)\in PC[-\tau,0],</math> які задовільняють умові <math>||\varphi||_{\tau}<H,\,\,(H=\mathrm{const}>0).</math> Припустимо, у цій області є справедливою оцінка
<math>||R(t,\varphi)||\leq\beta(||\varphi||_{\tau}^{\sigma}),\quad\quad\beta>0,\,\,\sigma>0.</math>
Відтак система (3) має розв'язок <math>X(t)\equiv0.</math>
== Стійкість за Ляпуновим ==
<math>(\forall \varepsilon > 0)(\forall t_0 \in I)(\exists \delta(t_0, \varepsilon) > 0)(\forall x_0 \in B_{\delta(t_0, \varepsilon)})(\forall t \ge t_0, t \in J^+) \Rightarrow (\|x(t, t_0, x_0)\| < \varepsilon)</math>.
Нехай задана ще одна система диференціальних рівнянь
== Рівномірна стійкість по Ляпунову ==▼
Тривіальне рішення ''x = 0'' системи (1) називається рівномірно стійким по Ляпунову, якщо δ з попереднього визначення залежить тільки від ε:▼
<math>\dot{X}(t)=F(X(t)),</math> (4)
де <math>X(t)</math> — n-вимірний вектор, компоненти векторної функції <math>F(X)</math> визначені й неперервно диференційовані за усіх <math>X\in\mathbb{E}^{n}</math> та є однорідними функціями порядку <math>\mu\geq1.</math> Відтак система (4) має розв'язок <math>X(t)\equiv0.</math>
Розгляньмо функцію Ляпунова <math>V(X),</math> яка має наступні властивості:
* <math>V(X)</math> неперервно диференційована;
* <math>V(X)</math> додатно визначена;
* <math>V(X)</math> — однорідна функція порядку <math>\gamma>1</math>;
* справедлива рівність <math>(\frac{\partial V(X)}{\partial X})^{T}F(x)=-||X||^{\gamma+\mu-1}.</math>
Диференціюючи систему (4) в силу системи (3) <math>t\geq0,\,\,||X_{t}||_{\tau}<H</math> маємо
<math>\dot{V}|_{(3)}=(\frac{\partial V(X(t))}{\partial X})^{T}F(X(t))+(\frac{\partial V(X(t))}{\partial X})^{T}(F(X(t))+R(t,X_{t}))\leq -||X(t)||^{\gamma+\mu-1}+b_{1}||X(t)||^{\gamma-1}(||F(X(t-\tau))-F(X(t))||+\beta(||X_{t}||_{\tau})^{\sigma}),</math>
де <math>b_{1}=\mathrm{const}>0.</math> Нехай нульовий розв'язок системи (4) є стійким. Якщо виконується нерівність <math>\sigma>\mu>1,</math> то нульовий розв'язок системи (3) є асимптотично стійким за будь-якого значення <math>\tau>0.</math>
▲
<math>(\forall \varepsilon > 0)(\exists \delta(\varepsilon) > 0)(\forall t_0 \in I)(\forall x_0 \in B_{\delta(\varepsilon)})(\forall t \ge t_0, t \in J^+) \Rightarrow (\|x(t, t_0, x_0)\| < \varepsilon)</math>
=== Нестійкість
<math>(\exists \varepsilon > 0)(\exists t_0 \in I)(\forall \delta > 0)(\exists x_0 \in B_\delta)(\exists t_* \ge t_0, t_* \in J^+) \Rightarrow (\|x(t_*, t_0, x_0)\| \ge \varepsilon)</math>
== Асимптотична стійкість ==
=== Еквіасимптотична стійкість ===
=== Рівномірна асимптотична стійкість ===
=== Асимптотична стійкість в цілому ===
=== Рівномірна асимптотична стійкість в цілому ===
== Див. також ==
* [[Теорема Лагранжа про стійкість рівноваги]]
* [[Критерій Андронова — Понтрягіна]]
== Література ==
* {{книга-ру |автор={{автор|Річард Беллман|Беллман, Р.}} |заглавие=Теория устойчивости решений дифференциальных уравнений |издательство=[[Издательство иностранной литературы]] |год=1954 |место=М. |язык=ru }}
* {{книга-ру |автор={{автор|Четаев Микола Гурійович|Четаев, Н. Г.}} |заглавие=Устойчивость движения |издание=4-е изд., испр. |место=М. |издательство=[[Наука (видавництво)|Наука]] |год=1990 |страниц=176 |язык=ru |isbn=5-02-014018-X }}
* {{книга-ру |автор={{автор|Красовський Микола Миколайович|Красовский, Н. Н.}} |заглавие=Некоторые задачи теории устойчивости движения |место=М. |издательство=[[Физматгиз]] |год=1959 |язык=ru }}
* {{книга-ру |автор={{автор|Малкін Іоель Гільович|Малкин И. Г.}} |заглавие=Теория устойчивости движения |издание=2-е изд., испр. |место=М. |издательство=[[Наука (видавництво)|Наука]] |год=1966 |язык=ru }}
* {{книга-ру |автор={{автор|Демидович Борис Павлович|Демидович, Б. П.}} |заглавие=Лекции по математической теории устойчивости |место=М. |издательство=[[Наука (видавництво)|Наука]] |год=1967 |страниц=472 |язык=ru }}
* {{
* {{книга-ру|автор={{автор|Філіпов Олексій Федорович (математик)|Филиппов, А. Ф.}}|заглавие =Введение в теорию дифференциальных уравнений |ссылка = http://urss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=47764&list=6 |издание = Изд. 2-е|место = |издательство = Эдиториал УРСС |год = 2007 |страниц = 240 |серия = |isbn = 978-5-484-00786-8}}
* {{книга-ру |автор=Руш, Н., Абетс, П., Лалуа, М. |заглавие=Прямой метод Ляпунова в теории устойчивости |ref=Руш и др. |год=1980 |место=М. |издательство=[[Мир (видавництво)|Мир]] }}
[[Категорія:Теорія динамічних систем]]
[[Категорія:Математичне моделювання]]
[[Категорія:Стійкість]]
|