L T0 ( ) ={l0 ( )T ∈S(0,1) F l( 0 ( )T ,T)= l Smax∈ (0,1) F l T( , )}, T ≥ t0 ,
где
T T
t0 t0
По лемме 2.1 функция ε является непрерывной. Условие ε[T] > 0 будет необходимым и достаточным для того, чтобы 0∉G t x T( 0, 0, ). Отсюда следует, что оптимальное время перехода T 0 совпадает с наименьшим из корней уравнения ε[T] = 0 , лежащим правее начального момента времени t0 .
Теорема 2 (необходимые условия оптимальности). Пусть T 0 - оптимальное время перехода и U 0 ( )⋅ - программное управление, решающее задачу линейного быстродействия. Тогда
для всех l0 ∈L0 (T 0 ) и при почти всех t ∈⎣⎡t T0, 0 ⎤⎦.
Доказательство. Допустим, что условие (2) нарушается. Тогда существует вектор l0 ∈L T0 ( ) и множество T ∈⎡⎣t T0, 0 ⎦⎤ ненулевой меры, на котором выполняется неравенство
u P∈
Следовательно,
T0 T0
t0 t0
Из равенства x0 (T 0 ) = 0 и условия (3) выводим
T0T0
0 t0
T0 T0
t
T0
> X T⎡⎣ 0,t0 ⎤⎦ x0, l0 minu P∈
0 t0
=ε(T 0 ) = 0.
Получили противоречие, которое и доказывает справедливость теоремы.
Заметим, что условие (2) доказанной теоремы должно выполняться обязательно для всех векторов l0 ∈L0 (T 0 ). Покажем это на примере.
Пример 1. Рассмотрим следующую задачу линейного быстродействия:
x1 = u1, x2 = u2, u = ⎜ ⎟∈P = ⎨⎜ ⎟∈R≤1⎬,
⎝u2 ⎠ ⎪⎩⎝u2 ⎠⎭⎪
⎛ x10 ⎞ ⎛ ⎞1
⎜ ⎟ = ⎜ ⎟, t0 = 0, .
⎝ x20 ⎠ ⎝ ⎠1
0 ⎛−1⎞
U ( )t = ⎜ ⎟, t ∈[0,1].
⎝−1⎠
Проверим выполнение условий теоремы 2. Имеем
⎡ T ⎤
⎣ 0⎦
Наименьшим корнем уравнения ε[T] = 0 является момент времени T 0 =1. При этом
⎩⎪ ⎝l2 ⎠⎭⎪
Условие (2) здесь принимает вид
Очевидно, что оптимальное управление U 0 удовлетворяет соотношению (4),
⎝l2 ⎠ ⎝ ⎠0
∗ ⎛−1⎞ этому условию удовлетворяет, например, управление U ( )t = ⎜ ⎟, t∈[0,1], кото⎝+1⎠
рое заведомо не является оптимальным.
Приведем последовательность действий по решению задачи управления динамической системой на основе теоремы 2. По формуле (1) находим выражение для функции ε. Решаем уравнение ε[T] = 0 . Наименьший корень T 0 > t0 , если таковой найдется, будет оптимальным временем перехода. Далее определяется множество L0 (T 0 ), которое является не пустым в силу непрерывности функции F и компактности множества S(0,1). Для каждого вектора l0 ∈L0 (T 0 ) по формуле (2) строится программное управление. По теореме 2 среди построенных управлений обязательно содержится управление U 0 ( )⋅ , для которого выполняется равенство x t( 0,x U0, 0 (⋅),T 0 ) = 0. Управление U 0 (⋅) и будет оптимальным. Приведенный алгоритм будет эффективным, если множество L0 (T 0 ) содержит ровно один элемент l0 , а условие (2) определяет управление U 0 однозначно по существу.
Пример 2*. Рассмотрим следующую задачу линейного быстродействия
x1 = x2 +u1,
x2 = −x1 +u2,
u∈P = ⎨⎜ ⎟∈R u1 +u2 ≤1⎬,