
и условие (1.47) принимает вид
αγ
0
m
2
> −
2F
0
mJ
βmrω
1
.
Это неравенство можно записать в виде
αγ
0
J > −
√
3 F
0
m(f
0
− 2βmω
0
x
0
).
Ясно, что это неравенство следует из условия (1.54).
Таким образом, здесь выполнены все условия леммы 1.1, и, следовательно, справедливо
включение (1.55).
Для доказательства (1.56) заметим, что из (1.45) и включения (1.55) вытекает неравен-
ство
˙
V (ω(t), y(t), z(t)) ≤ −εy(t)
2
∀ t ≥ 0, (1.57)
где ε — достаточно малое положительное число. Отсюда и из (1.55) следует ограничен-
ность функции V (ω(t), y(t), z(t)) на [0, +∞). Но тогда из (1.57) получим существование
некоторого числа C, для которого
t
Z
0
y(τ)
2
dτ ≤
1
ε
V (ω(0), y(0), z(0)) − V (ω(t), y(t), z(t))
≤ C ∀t ≥ 0.
Ясно также, что из ограниченности V (ω(t), y(t), z(t)) и включения (1.55) следует, что
на [0, +∞) ограничены и функции y(t) и z(t). Но тогда ограничена функция
d
dt
y(t)
2
=
2y(t)z(t).
Таким образом, здесь выполнены все условия леммы 1.2, и, следовательно,
lim
t→+∞
y(t) = 0. (1.58)
Заметим также, что
¨y(t) = −az(t) − by(t) − ϕ(ω(t)),
и, как показано выше, z(t), y(t), ω(t) ограничены на [0, +∞). Отсюда и из (1.58) по лемме
1.3 получим, что для z(t) = ˙y(t) справедливо равенство
lim
t→+∞
z(t) = 0. (1.59)
Из (1.57)—(1.59) и вида функции V заключаем, что существуют пределы
lim
t→+∞
V (ω(t), y(t), z(t)), lim
t→+∞
ω(t)
Z
0
ϕ(x) dx.
Учитывая вид функции ϕ(ω), отсюда делаем вывод, что
lim
t→+∞
ω(t) = ω
0
.
Теорема доказана.
Сравним теперь наши нелокальные условия (1.53), (1.54) перехода при включении си-
стемы машина—регулятор Уатта от первоначального неподвижного состояния ω = 0, x =
0, ˙x = 0 к стационарному рабочему состоянию ω = ω
0
, x = x
0
, ˙x = 0 с локальными услови-
ями удержания этого рабочего состояния (1.41).
Условия (1.41) и (1.54) схожи по форме, и условие (1.54) требует несколько большего
(но не очень значительно): в правой части неравенства появился сомножитель
√
3.
Условие (1.53) — это дополнительное условие на жесткость пружины: она должна пре-
вышать трение так, как это рекомендовано неравенством (1.53).
26