284
то существует K-периодическая числовая последовательность s
k
(s
k+K
= s
k
∀k = 0, 1, 2, ··· ; K ∈ N) такая, что система (2) явля-
ется асимптотически устойчивой.
Из теоремы 3 легко выводится
Теорема 4. Пусть в системе (1) b ∈ R
n
, c ∈ R
n
, пара (A, b)
полностью управляема, а пара (A, c) полностью наблюдаема. Пред-
положим, что существует число s
0
такое, что матрица
A + s
0
bc
∗
имеет n − 1 собственное значение ρ
j
, j = 1, 2, ··· , n − 1 (среди ко-
торых могут быть равные), лежащие внутри единичного круга:
|p| < 1, и для ее собственного значения ρ
n
выполнено неравенство
max
j
|ρ
n
· ρ
j
| < 1. (24)
Тогда существует периодическая числовая последовательность s
k
(k = 0, 1, 2, ···) такая, что система (2) является асимптотически
устойчивой.
Д о к а з а т е л ь с т в о . Обозначим через L
0
инвариантное
(n −1)-мерное подпространство, соответствующее собственным зна-
чениям ρ
j
(j = 0, 1, 2, ··· , n−1) матрицы (A+s
0
bc
∗
), лежащим внутри
единичного круга, а через M
0
— инвариантное одномерное подпро-
странство, соответствующее собственному числу ρ
n
(вообще говоря,
удовлетворяющее условию |ρ
n
| ≥ 1).
Таким образом, L
0
— это устойчивое инвариантное многообразие
((n − 1)-мерная гиперплоскость, на которой оператор A + s
0
bc
∗
дей-
ствует как сжатие не менее, чем в 1/ρ
∗
раз, где ρ
∗
= max
j
|ρ
j
|), а M
0
— инвариантное (вообще говоря, неустойчивое) многообразие (одно-
мерная прямая, на которой A + s
0
bc
∗
действует, вообще говоря, как
растяжение в |ρ
n
| раз).
Условие (24) означает, что сжатие в L
0
"сильнее", чем растяжение
в M
0
.
Примем
s
1
= s
2
: = s
0
; L
1
= L
2
: = L
0
, M
1
= M
2
: = M
0
.