6. Управляемость линейных нестационарных систем.
Рассмотрим линейную нестационарную систему, описываемую векторным дифференциальным уравнением
(11.75)
где
(11.76)
Элементы матриц и являются непрерывными, действительными функциями времени.
Система (75) называется вполне управляемой в момент времени если из любого состояния, которое она занимает в момент времени , ее можно перевести в нулевое состояние за конечный промежуток времени, выбирая надлежащим образом закон изменения управляющих сил .
Так как свойства нестационарной системы изменяются с течением времени, то возможны системы, которые управляемы (в смысле приведенного выше определения) в момент времени Т и неуправляемы в любой последующий момент времени. Из самого определения управляемости следует, однако, что если система управляема в момент T, то она управляема в любой момент (поскольку она будет управляемой, оказавшись в любом состоянии в момент времени Т).
Теорема. Пусть , где фундаментальная матрица решений системы, описываемой однородным векторным дифференциальным уравнением
а через обозначена матрица
(11.78)
Нестационарная линейная система (75) управляема в момент времени если и только если для некоторого конечного матрица , определяемая выражением (78), является положительно-определенной матрицей .
Доказательство теоремы.
. По предположению матрица является симметрической, положительно-определенной матрицей. Следовательно, она является неособой матрицей, то есть .
Таким образом, обратная матрица существует, и можно выбрать вектор управляющих сил в следующем виде:
(11.79)
Так как согласно (7.26)
(11.80)
то в момент времени состояние системы будет
Подставляя в (81) выражение (79) для , получим
Как показано выше (7.24) и (7.25),
Поэтому, учитывая (78), будем иметь и
(11.83)
В соответствии с (82) и (83) состояние системы в момент времени будет следующим:
(11.84)
Таким образом, управление (79) действительно приводит систему (75) к моменту времени в нулевое состояние.
Заметим, что заданное выражением (79) управление которое, как здесь доказано, приводит систему (75) к моменту времени в нулевое состояние, не является единственным. Действительно, управление
где - любая -мерная вектор-функция, удовлетворяющая условию
так же, как это следует из (81), приводит систему (75) к моменту времени в нулевое состояние.
Аналогично управление
приводит систему к моменту времени в точку .
Покажем теперь, что если система (75) управляема, то матрица будет положительно-определейной матрицей.
Рассмотрим сначала квадратичную форму , где — -мерный вектор. Согласно (78) будем иметь
(11.85)
Так как для всякой прямоугольной матрицы а типа
то
(11.86)
Таким образом, в соответствии с (86) и (85) для всех имеет место соотношение
(11.87)
Чтобы завершить доказательство, остается еще показать, что матрица W является неособой, и тогда соотношение (87) примет требуемый вид .
Предположим обратное: пусть является особой матрицей. Тогда существует такой вектор , что
(11.88)
Обозначим теперь через следующий вектор:
(11.89)
Как следует из (89), является непрерывной функцией от .
В соответствии с (89), (86), (78) и (88) будем иметь
(11.90)
откуда следует, что
(11.91)
Учтем теперь, что по сделанному здесь предположению рассматриваемая система управляема. Следовательно, существует некоторое управление , которое приводит систему из состояния (в момент времени ) в нулевое состояние (в момент времени ). Аналогично (81) будем поэтому иметь следующее соотношение:
(11.92)
Отсюда следует, что
или
(11.93)
Из (91) и (89) следует, что
(11.94)
Так как для всякой прямоугольной матрицы
то из соотношения (94) следует, что
(11.95)
В соответствии с (93) соотношение (95) принимает вид
(11.96)
что противоречит исходному предположению о том, что .
Полученное противоречие возникло вследствие предположения (88) о том, что матрица особая. Таким образом, установлено, что матрица является неособой матрицей, т. е. ни для какого вектора соотношение (88) не может иметь места и, следовательно,
(11.97)
Из соотношений (87) и (97) вытекает, что
(11.98)
то есть если система (75) управляема, то матрица является положительно-определенной матрицей.