Доказательство. Легко видеть, что управление, построенное при доказательстве теоремы 3.1.11, ограничено на каждом ограниченном множестве. Отсюда следует локальная управляемость. Пусть оператор F(X) имеет вид (3.1.6) и Х(4,) <0 (/ = 1,..., s). Зададим управление в виде U(X) = —еВ 1Х, где е берется настолько малым, что в начальный момент времени eB 1 Х < 1. Тогда X(?) -> 0 при ? ->°°. Достаточность доказана.
Скачать страницу
[Выходные данные]
