159
Замечание. Определения 4 и 5 аналогичны соответствующим
определениям устойчивости по Ляпунову и асимптотической устой-
чивости тривиального решения для систем дифференциальных урав-
нений вида ˙x = f(t, x) (см. § 1, гл.III ).
Следующая теорема сводит вопрос об асимптотической устойчиво-
сти системы (1) к асимптотической устойчивости соответствующего
ей отображения монодромии H.
Теорема 2. Нулевое решение x(t) ≡ 0 системы (1) устойчиво
по Ляпунову (асимптотически устойчиво) тогда и только тогда,
когда неподвижная точка x
0
= 0 отображения монодромии H :
R
n
→ R
n
устойчива по Ляпунову (асимптотически устойчива).
Поскольку устойчивость (асимптотическая устойчивость) нулево-
го решения системы (1) равносильна устойчивости (асимптотической
устойчивости) всей системы (1) (см. § 1, гл.III ), то теорему 2 можно
переформулировать так.
Теорема 2
0
. Для устойчивости по Ляпунову (асимптотической
устойчивости) системы (1) необходимо и достаточно, чтобы непо-
движная точка x
0
= 0 отображения H была устойчивой по Ляпу-
нову (асимптотически устойчивой).
Д о к а з а т е л ь с т в о т е о р е м ы 2. Если решение
x(t) ≡ 0 асимптотически устойчиво, то, очевидно, и неподвижная
точка x
0
= 0 асимптотически устойчива.
Обратно, пусть неподвижная точка x
0
= 0 асимптотически устой-
чива. Из непрерывной зависимости решения ψ(t; y) системы (1) от
начальных условий на отрезке [0, T ] следует, что для любого ε > 0
существует такое числo
e
δ > 0, что для любого решения ψ(t; y) с на-
чальным условием ψ(0, y) = y : kyk <
e
δ выполнено неравенство
kψ(t; y)k < ε для всех t ∈ [0, T ], т.е. в силу (3)
kg
t
0
yk < ε ∀t ∈ [0, T ]. (19)
В силу устойчивости по Ляпунову неподвижной точки x
0
= 0 по
числу
e
δ > 0 можно найти число δ > 0 такое, что для любой точки
x ∈ R
n
: |x| < δ справедливо соотношение:
kH
k
xk <
e
δ ∀k ∈ N. (20)
(H
k
= 0 ∀k ∈ N).