Управляемо инвариантные компакты в дискретных системах с управлением - page 6

Доказательство.
Пусть
K
— отрицательно управляемо инвариант-
ный компакт, содержащийся в
Q
. Непрерывная функция
ϕ
:
X
R
до-
стигает на
K
своего наибольшего значения в точке
x
K
. Поскольку
K
— отрицательно управляемо инвариантное множество, существует
такое управление
u
, что
F
1
u
(
x
)
K
. Если
F
1
u
(
x
) =
, то точка
x
попадает в множество
ˇΣ
+
ϕ
. Если же
F
1
u
(
x
) =
, то для любой
точки
z
F
1
u
(
x
)
имеем
z
K
, так что выполняется неравенство
ϕ
(
z
)
ϕ
(
x
)
. Это означает, что
sup
z
F
1
u
(
x
)
ϕ
(
z
)
ϕ
(
x
)
0
.
Следовательно,
x
ˇΣ
+
ϕ
Q
и для любой точки
x
K
ϕ
(
x
)
ϕ
(
x
)
sup
x
ˇΣ
+
ϕ
Q
ϕ
(
x
) =
ϕ
l
sup
(
Q
)
.
Аналогично доказывается, что
ϕ
(
x
)
ϕ
(
x
)
ϕ
l
inf
(
Q
)
,
x
K
.
Таким образом, для каждой точки
x
K
верно двойное неравен-
ство
ϕ
l
inf
(
Q
)
ϕ
(
x
)
ϕ
l
sup
(
Q
)
, означающее, что
x
Ω
l
ϕ
(
Q
)
. Тем
самым доказано, что произвольно выбранный отрицательно управля-
емо инвариантный компакт
K
целиком содержится в
Ω
l
ϕ
(
Q
)
. Теорема
доказана.
Для системы (1) множество
M
X
назовем управляемо инвари-
антным, если оно одновременно и положительно управляемо инвари-
антно, и отрицательно управляемо инвариантно.
Для произвольной непрерывной функции
ϕ
:
X
R
положим
ϕ
inf
(
Q
) = inf
x
ˇΣ
ϕ
Σ
+
ϕ
Q
ϕ
(
x
)
, ϕ
sup
(
Q
) = sup
x
ˇΣ
+
ϕ
Σ
ϕ
Q
ϕ
(
x
)
.
Теорема 3.
Любой управляемо инвариантный компакт системы
(1)
,
содержащийся в множестве
Q
X,
содержится в множестве
Ω
ϕ
(
Q
) =
{
x
Q
:
ϕ
inf
(
Q
)
ϕ
(
x
)
ϕ
sup
(
Q
)
}
.
Доказательство.
Пусть
K
— управляемо инвариантный компакт.
Функция
ϕ
достигает на этом компакте наибольшего значения в не-
которой точке
x
K
. Согласно условию положительной инвариант-
ности
K
, существует такое управление
u
1
U
, что
F
(
x
, u
1
)
K
,
откуда
ϕ
(
F
(
x
, u
1
))
ϕ
(
x
)
. Следовательно,
x
Σ
ϕ
. Кроме того,
согласно условию отрицательной инвариантности
K
, существует та-
кое управление
u
2
U
, что
F
1
u
2
(
x
)
K
. Отсюда заключаем, что
ϕ
(
z
)
ϕ
(
x
)
при
z
F
1
u
2
(
x
)
и что
x
ˇΣ
+
ϕ
. Итак,
x
Σ
ϕ
ˇΣ
+
ϕ
Q
,
8
ISSN 1812-3368. Вестник МГТУ им. Н.Э. Баумана. Сер. “Естественные науки”. 2012. № 1
1,2,3,4,5 7,8,9,10,11,12,13,14,15