вычисленная вдоль оптимальной пары (x0 (⋅),ψ0 (⋅)), остается постоянной на всем промежутке времени [t T0, ].
Доказательство. Вычисляем
d 0 0 0 d 0 0 d 0 0 ψ ( )t , Ax ( )t + BU ( )t +C = ψ ( )t , Ax ( )t + ψ ( )t , BU ( )t +C=dt dt dt
0 00 0 d 0 ˆ (ψ0 ( )t )+C = = ψ ( )t , Ax ( )t + ψ ( )t , Ax ( )t + ψ ( )t , BU dt Тр 0 0Тр 0 0 d 0 ˆ (ψ0 ( )t )= −A ψ ( )t , Ax ( )t + A ψ ( )t , x ( )t + ψ ( )t , BU
dt
= −AТрψ0 ( )t , Ax0 ( )t + AТрψ0 ( )t , Ax0 ( )t + BUˆ (ψ0 ( )t )+C + d ψ0 ( )t , BUˆ (ψ0 ( )t )+C =dt
= − ψ ( )t , BUˆ (ψ0 ( )t )+C + d ψ0 ( )t , BUˆ (ψ0 ( )t )+C=dt
0 ˆ (ψ0 ( )t ) + d ψ0 ( )t , BUˆ (ψ0 ( )t ). (12) = −ψ ( )t , BUdt
В силу теоремы 2 справедливо равенство
d ψ0 ( )t , BUˆ (ψ0 ( )t ) = ∂∗∗ ψ0 ( )t , BUˆ (ψ0 ( )t ) = ψ0 ( )t , BUˆ (ψ0 ( )t ) . dt ∂ tТогда из (12) следует, что
d 0 0 00 0 0 ψ ( )t , Ax ( )t + BU ( )t +C= 0 ⇒ψ ( )t , Ax ( )t + BU ( )t +C= const .t ∈[t T0, ].dt
Теорема доказана.
2.3 Частные случаи геометрических ограничений на вектор управляющих параметров. Иногда функция (1.8) может быть выписана в явном виде. Рассмотрим два таких частных случая.
Случай 1. Пусть
⎧ r r ( )ui 2 ⎫⎪
⎪
P = ⎨u∈R ∑ 2 ≤1⎬, ai > 0, i =1, ,r . ⎪⎩ i=1 ( )ai ⎪⎭Задача математического программирования по определению функции Uˆ состоит в максимизации линейной формы (1,7) при квадратичных ограничениях
2
1.i=1 ( )ai 2
Решение этой задачи приводится в примере 1.4.3 книги [22]. Ее решением при ус-
⎛Uˆ 1 (t,ψ)⎞
⎜ ⎟
ловии, что ψ≠ 0, служит вектор U tˆ ( ,ψ) = ⎜ ⎟∈P , для которого
⎜⎜⎝Uˆ r (t,ψ)⎟⎟⎠
2 ⎛ n ⎞ ai ⎜∑bki ( )t ψk ⎟
Uˆ i (t,ψ) = ⎝ k=1 ⎠ , i =1, ,r . (1)
2
n ⎛ n ⎞ 2
∑ ∑⎜ bks ( )t ψk ⎟ ass=1 ⎝ k=1 ⎠
В частности, если a1 = = ar = a, то формула (1) принимает вид
⎛ n ⎞
⎜∑bki ( )t ψk ⎟
Uˆ i (t,ψ) = a ⎝ k=1 ⎠ , i =1, ,r .
2 n ⎛ n ⎞
∑∑⎜ bks ( )t ψk ⎟s=1 ⎝ k=1 ⎠
Пример 2*. Рассмотрим линейный управляемый динамический объект
x1 = x2 +u x1, 2 = −x1 +u2, t∈[0,π];
⎛u1 ⎞ ⎧ ⎛u1 ⎞ 22 2 ⎫
u = ⎜ ⎟, u∈P = ⎨u = ⎜ ⎟∈R
u1 +u2 ≤1⎬, x1 ( )0 = −3, x2 ( )0 = 2;⎝u2 ⎠ ⎩ ⎝u2 ⎠ ⎭
I U⎡⎣
⎤⎦ x x .Здесь
⎛ 0 A = ⎜ ⎝−1 | 1⎞ ⎟, 0⎠ | ⎛1 B = ⎜ ⎝0 | 0⎞ ⎟, 1⎠ | Φ( )x = 3x12 + 2x22 |
Сформулируем задачу математического программирования (1.7)
Функция (1.8) здесь имеет вид
⎛ ψ1 ⎞
⎜⎟U tˆ ( ,ψ) = ⎜⎜⎟⎟,ψ≠ 0, (2)
⎜⎟
⎜⎟
⎝⎠
система дифференциальных уравнений (1.10) и граничные условия (1.11) записываются так:
ψ1
x1 = x2 +,
ψ ψ12 + 22 ψ2x2 = −x1 +, (3)
ψ12 +ψ22
ψ1 = −ψ2, ψ2 =ψ1,
x1 ( )0 = −3, x2 ( )0 = 2,ψ1 (π) = −6x1 (π ψ π), 2 ( ) = −4x2 ( )π . (4)
Общее решение сопряженной системы находится независимо от остальных уравнений системы
ψ1 (t c c, 1, 2 ) = c1 cost +c2 sin ,t ψ2 (t c c, 1, 2 ) = c2 cost −c1 sint. (5)
Преобразуем первые два уравнения в (3) с учетом (5)
(c cost +c sint)и проинтегрируем полученную систему
tc1 cost tc2 sint
x1 (t c c c c, 1, 2, 3, 4 ) = +c3 cost + + c4 sint , c +c c +cx2 (t c c c c, 1, 2, 3, 4+c4 cost − −c3 sint . (6)
Граничные условия (4) принимают вид
⎛ πc1 ⎞ ⎛ πc2 ⎞
c3 = −3, c4 = 2, −c1 = 6⎜+ c3 ⎟, −c2 = 4⎜+ c4 ⎟ . (7)
⎜⎝ c12 +c22 ⎟⎠ ⎜⎝ c12 +c22 ⎟⎠Решением нелинейной системы уравнений (7) будут числа
c1∗ = 2.0562, c2∗ = −1.2967, c3∗ = −3, c4∗ = 2.. (8)
Подставляя найденные константы в (5) определяем вектр-функцию ψ0 (⋅), а из
(2) - оптимальное программное управление
⎛
⎞ ⎛ c1∗ cost +c2∗ sint ⎞ ⎜ 02 02 ⎟ ⎜ ∗2 ∗2 ⎟ 0 0 ⎜ ψ1 ( )t +ψ2 ( )t ⎟ ⎜ c1 +c2 ⎟