Стійкість (динамічні системи)

Шаблон:Диференціальні рівняння В математиці, розв'язок диференціального рівняння (або, ширше, траєкторія в фазовому просторі точки стану динамічної системи) називається стійким, якщо поведінка розв'язків з умовами близькими до початкових «не сильно відрізняється» від поведінки вихідного розв'язку. Слова «не сильно відрізняється» при цьому можна формалізувати по-різному, отримуючи різні формальні визначення стійкості: стійкість за Ляпуновим, асимптотичну стійкість і т. д. (див. нижче). Зазвичай розглядається задача про стійкість тривіального розв'язку в особливій точці, оскільки завдання про стійкість довільної траєкторії зводиться до даної шляхом заміни невідомої функції.

Постановка завдання стійкості динамічних систем

Нехай $Ω$ — область простору $ℝ^{n}$ , що містить початок координат, $I = [τ; \infty)$ , де $τ \in ℝ^{1}$ . Розглянемо систему (1) виду:Шаблон:Рівняння

При будь-яких $(t_{0}, x_{0}) \in I \times Ω$ існує єдиний розв'язок x(t, t₀, x₀) системи (1), задовольняюче початковим умовам x(t₀, t₀, x₀) = x₀. Будемо припускати, що розв'язок x(t, t₀, x₀) визначено на інтервалі $J^{+} = [t_{0}; \infty)$ , причому $J^{+} \subset I$ .

Нехай дані також дві динамічні системи:

$\dot{X} (t) = F (X (t - τ)), τ = c o n s t > 0;$ (2)

$\dot{X} (t) = F (X (t - τ)) + 𝔉 (t, X_{t}) .$ (3)

Кожен розв'язок $X (t, t_{0}, φ)$ системи (2) визначається початковими умовами: початковим моментом $t_{0}$ та початковою вектор-функцією $φ (ξ),$ де $X (t_{0} + ξ, t_{0}, φ) = φ (ξ)$ за $ξ \in [- τ, 0] .$ Для виділених систем (2-3) із запізнюванням функції $φ (ξ)$ належать простору $P C [- τ, 0]$ шматково-неперервних за $ξ \in [- τ, 0]$ функцій із рівномірною нормою $| | φ | |_{τ} = \sup_{ξ \in [- τ, 0]} | | φ (ξ) | |,$ де $| | \cdot | |$ — евклідова норма вектора.

Функціонал $𝔉 (t, φ)$ заданий й є неперервним у області

${t \in 𝔼 : t \geq 0} \times Ω_{H},$

де $Ω_{H}$ — множина функцій $φ (ξ) \in P C [- τ, 0],$ які задовільняють умові $| | φ | |_{τ} < H, (H = c o n s t > 0) .$ Припустимо, у цій області є справедливою оцінка

$| | R (t, φ) | | \leq β (| | φ | |_{τ}^{σ}), β > 0, σ > 0 .$

Відтак система (3) має розв'язок $X (t) \equiv 0 .$

Стійкість за Ляпуновим

Тривіальний розв'язок x = 0 системи (1) називається стійким за Ляпуновим, якщо для будь-яких $t_{0} \in I$ і $ε > 0$ існує $δ > 0$ , залежне тільки від ε і t₀ і не залежне від t, таке, що для будь-якого x₀, для котрого $‖ x_{0} ‖ < δ$ , розв'язок x системи з початковими умовами x(t₀) = x₀ триває на всю піввісь t > t₀ і задовольняє нерівності $‖ x (t) ‖ < ε$ .

$(\forall ε > 0) (\forall t_{0} \in I) (\exists δ (t_{0}, ε) > 0) (\forall x_{0} \in B_{δ (t_{0}, ε)}) (\forall t \geq t_{0}, t \in J^{+}) \Rightarrow (‖ x (t, t_{0}, x_{0}) ‖ < ε)$ .

Нехай задана ще одна система диференціальних рівнянь

$\dot{X} (t) = F (X (t)),$ (4)

де $X (t)$ — n-вимірний вектор, компоненти векторної функції $F (X)$ визначені й неперервно диференційовані за усіх $X \in 𝔼^{n}$ та є однорідними функціями порядку $μ \geq 1 .$ Відтак система (4) має розв'язок $X (t) \equiv 0 .$

Розгляньмо функцію Ляпунова $V (X),$ яка має наступні властивості:

$V (X)$ неперервно диференційована;
$V (X)$ додатно визначена;
$V (X)$ — однорідна функція порядку $γ > 1$ ;
справедлива рівність $(\frac{\partial V (X)}{\partial X})^{T} F (x) = - | | X | |^{γ + μ - 1} .$

Диференціюючи систему (4) в силу системи (3) $t \geq 0, | | X_{t} | |_{τ} < H$ маємо

$\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) | |^{γ + μ - 1} + b_{1} | | X (t) | |^{γ - 1} (| | F (X (t - τ)) - F (X (t)) | | + β (| | X_{t} | |_{τ})^{σ}),$

де $b_{1} = c o n s t > 0 .$ Нехай нульовий розв'язок системи (4) є стійким. Якщо виконується нерівність $σ > μ > 1,$ то нульовий розв'язок системи (3) є асимптотично стійким за будь-якого значення $τ > 0 .$

Рівномірна стійкість за Ляпуновим

Тривіальний розв'язок x = 0 системи (1) називається рівномірно стійким за Ляпуновим, якщо δ з попереднього визначення залежить тільки від ε:

$(\forall ε > 0) (\exists δ (ε) > 0) (\forall t_{0} \in I) (\forall x_{0} \in B_{δ (ε)}) (\forall t \geq t_{0}, t \in J^{+}) \Rightarrow (‖ x (t, t_{0}, x_{0}) ‖ < ε)$

Нестійкість за Ляпуновим

Тривіальний розв'язок x = 0 системи (1) називається нестійким за Ляпуновим, якщо:

$(\exists ε > 0) (\exists t_{0} \in I) (\forall δ > 0) (\exists x_{0} \in B_{δ}) (\exists t_{*} \geq t_{0}, t_{*} \in J^{+}) \Rightarrow (‖ x (t_{*}, t_{0}, x_{0}) ‖ \geq ε)$

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

Тривіальний розв'язок x = 0 системи (1) називається асимптотично стійким, якщо він стійкий за Ляпуновим і виконується умова $\lim_{t \to \infty} ‖ x (t_{*}, t_{0}, x_{0}) ‖ = 0$ для всякого x з початковою умовою x₀, що лежить у досить малому околі нуля.

Еквіасимптотична стійкість

Тривіальний розв'язок x = 0 системи (1) називається еквіасимптотично стійким, якщо він рівномірно стійкий і рівномірно притягальний.

Рівномірна асимптотична стійкість

Тривіальний розв'язок системи (1) називається рівномірно асимптотично стійким, якщо він стійкий і еквіпритягальний.

Асимптотична стійкість в цілому

Тривіальний розв'язок x = 0 системи (1) називається асимптотично стійким у цілому, якщо він стійкий і глобальнопритягальний.

Рівномірна асимптотична стійкість в цілому

Тривіальний розв'язок x = 0 системи (1) називається рівномірно асимптотично стійким у цілому, якщо він рівномірно стійкий і рівномірно-глобальнопритягальний.

Див. також

Література

Стійкість (динамічні системи)

Зміст

Постановка завдання стійкості динамічних систем

Стійкість за Ляпуновим

Рівномірна стійкість за Ляпуновим

Нестійкість за Ляпуновим

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

Еквіасимптотична стійкість

Рівномірна асимптотична стійкість

Асимптотична стійкість в цілому

Рівномірна асимптотична стійкість в цілому

Див. також

Література

Навігаційне меню

Стійкість (динамічні системи)

Постановка завдання стійкості динамічних систем

Стійкість за Ляпуновим

Рівномірна стійкість за Ляпуновим

Нестійкість за Ляпуновим

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

Еквіасимптотична стійкість

Рівномірна асимптотична стійкість

Асимптотична стійкість в цілому

Рівномірна асимптотична стійкість в цілому

Див. також

Література

Навігаційне меню

Пошук