что функции z(t), ψ(z(t)),
˙
Q
t
,
¨
Q
t
ограничены при x(t) ∈ Ω
0
.Далеедля
доказательства требуется следующее вспомогательное утверждение.
Лемма 3.1 (лемма об аттрактивности) [140]. Пусть для сис-
темы
˙
x = f(x, t),x∈ R
n
,t≥ 0 существуют гладкая неотрица-
тельная функция V(x, t) ифункцияw(x, t) такие, что
˙
V(x, t) ≤
−w(x, t) ≤ 0 для любых t ≥ t
0
, x ∈ R
n
, где
˙
V(x, t)=
∂V
∂x
f(x, t).
Предположим, что ограниченность V (x, t) влечет ограниченность
f(x, t), равномерную непрерывность w(x, t) по x и ограниченность
∂w/∂t.
Тогда функция V
t
=V(x(t), t) ограничена на интервале [t
0
, ∞) и
lim
t→∞
w(x(t), t)=0. (3.16)
Если, кроме того, V(x, t) ≥ w
1
(|x|) для некоторой скалярной
функции w
1
(r) такой, что w
1
(r) →∞ при r →∞,тофункцияx(t)
также ограничена.
Применяя лемму об аттрактивности, получаем, что
˙
Q
t
→ 0. Из
условия строгой псевдоградиентности и непрерывности ψ следует,
что u(t) → 0иz(t) → 0приt →∞. Поскольку, по предположению,
H
∞
= H
∗
,получаемчто[H
0
, H
1
](x(t)) → 0. Первая часть теоремы
доказана.
Для доказательства второй части выберем ε > 0 из предположе-
ния A1 при c = H
∞
. В силу A1, для достаточно больших t >0 реше-
ние x(t)входитвмножествоD
ε,H
∞
иостаетсяводномизегоогра-
ниченных связных компонентов. В силу компактности замыкания
этого компонента существует хотя бы одна предельная точка тра-
ектории x(t) и все предельные точки x(t) удовлетворяют равенству
[H
0
, H
1
]=0, т.е. x(t)сходитсякмножествуD
0
={x :[H
0
, H
1
]=0}∩Ω
0
.
Применяя теорему Ла-Салля и учитывая условие A2, устанавливаем,
что существует lim
t→∞
x(t)=x
∞
∈ D
0
и x
∞
—точкаравновесияси-
стемы (3.2), (3.12). Пусть A
∞
— матрица Якоби системы, вычислен-
ная в точке x
∞
,аM
s
, M
u
, M
0
— устойчивое, неустойчивое и централь-
ное многообразия системы в точке x
∞
.Изтеоремыоцентральном
многообразии [29] следует, что x(t) → x
∞
только при x(0) ∈ M
s
⊕M
0
,
если |x(0) − x
∞
| достаточно мало. Пусть x
∞
— неустойчивое равно-
весие, т.е. M
u
не пусто. Тогда dim(M
s
⊕ M
0
)<2n. Выполняя сдвиг
назад вдоль траекторий свободной системы, легко показать, что все
47