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

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