ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА 2020 Управление, вычислительная техника и информатика № 51
УДК 517.977.52
DOI: 10.17223/19988605/51/2
Ш.М. Расулзаде
ИНТЕГРАЛЬНЫЕ И МНОГОТОЧЕЧНЫЕ НЕОБХОДИМЫЕ УСЛОВИЯ ОПТИМАЛЬНОСТИ КВАЗИОСОБЫХ УПРАВЛЕНИЙ В ОДНОЙ ЗАДАЧЕ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ
Рассматривается задача оптимального управления с функционалом качества терминального типа. На основе одного варианта метода приращений в предположении выпуклости областей управления доказано необходимое условие оптимальности в форме линеаризованного принципа максимума. Отдельно изучен случай вырождения линеаризованного условия максимума и установлены необходимые условия оптимальности квазиособых управлений.
Ключевые слова: система с распределенными параметрами; метод приращений; линеаризованный принцип максимума; необходимое условие оптимальности; квазиособое управление; многоточечное необходимое условие оптимальности.
В работе [1] А.И. Москаленко рассмотрел одну задачу оптимального управления, которая может быть интерпретирована как задача оптимального управления системами с распределенными параметрами. Он доказал ряд необходимых условий оптимальности типа принципа максимума Понтря-гина. В предлагаемой работе аналогичная задача рассматривается в случае выпуклости областей управления. Доказан аналог линеаризованного условия максимума с помощью одного варианта метода приращений, предложенный в [2] и развитый в работах [3-6] и др. Довольно подробно исследуется также случай вырождения линеаризованного принципа максимума. Заметим, что случай вырождения необходимых условий оптимальности первого порядка встречается во многих задачах оптимального управления (см. напр.: [7-11]).
1. Постановка задачи
Рассмотрим задачу о минимуме функционала
>1
S ( и, у) = ф( у ( х1)) +1G ( х, z (>1, х)) dx (1)
при ограничениях
и(>)еи сRr, >еТ = [>0,>1 ],
/ Ч Г 1 (2)
у(х)еУ с Rq, х е X = [х0, х1 ],
дг
— = /(>, х, z,u), (>, х) е D = Т х X, (3) д>
г(>0, х) = у(х), х е X , (4)
у = g(x, у, у), х е X, (5)
У (х0 ) = У0. (6)
Здесь ф(у), (О (х, г)) - заданная непрерывная и дважды непрерывно дифференцируемая по у, (г) скалярная функция, и и V - заданные непустые ограниченные и выпуклые множества, f (t, х, г,и ) (g (х, у, V)) - заданная «-мерная вектор-функция, непрерывная по совокупности переменных вместе с частными производными по (г, и ) ((у, V)) до второго порядка включительно, и ^) (V (х)) - кусочно-непрерывный (с конечным числом точек разрыва первого рода) вектор управляющих воздействий, у0 - заданный постоянный вектор. Пару (и (t),V(х)) с вышеперечисленными свойствами назовем
допустимым управлением. Допустимое управление (и (t),V(х)) , доставляющее минимальное значение функционалу (1), назовем оптимальным управлением.
2. Формула для приращения функционала качества
Пусть (и°^), v0(х)) - фиксированное допустимое управление, а (и ^) = и° ^) + Ли (t), V(х) = v0(х) + Лv(х) ) - произвольное допустимое управление. Через (г°(^ х),у°(х)) (г (t,х) = = г° (t,х) + Лг(t,х),у (х) = у° (х) + Лу (х)) обозначим соответствующие им решения задачи (3)-(6). Тогда ясно, что (Лг (t, х), Лу ( х)) будет решением задачи
ЭДг^х) = f (t,х,_(t,х),и(t))_ f (t,х,г(г,х),и(t)), (г,х)е D, (7)
Лг (to, х) = Лу ( х), (8)
Лу (х) = g (х,у (х),V(х)) _ g (х,у (х),V(х)), х е X, (9)
Лу ( хо ) = 0. (10)
Введем аналоги функции Гамильтона-Понтрягина
Н (t, х, г, и, у0) = у0' f (t, х, г, и ),
М ( х, у, V, р0) = р( х, у, V). Здесь у0 (t, х), р° (х) - произвольные «-мерные вектор функции. Учитывая (7), (9) получаем, что
(11)
к х
.0'
_ 11 у0' (t, х ^^^ х) dхdt =
*0 х0
| |у0'(^х,)( f (t,х, г (t, х),и ^))_ f х,г(t, х),и (t))) dхdt,
х-! ЛГц
I р х )Лу (х ) dх = | р х)(д ( х, у ( х), V ( х )) _ g (х, у (х ), V (х ))) dх. (12)
х0 х0
Тогда соответствующие управлениям (и° (t), V0 (х)) , (и (t),V(х)) приращение функционала (1), принимая во внимание (10)-(12) можно записать в виде (используя формулу Тейлора): Л1 (и°,V0) = фу (у°(х1 ))Лу(х1) + 2Лу'(х1 )фуу (у°(х1 ))Лу(х,) +
+|О[(х,г° (t1,х))Лг(х)dх + 2| Лг' х)Ог (х,г° (х))Лг(t1,х)dх +
2 ■
х0
х
+р'(х1 )Лу(х1)_ |р'(х)Лу(х)dх + |у°(^,х)Лг^^х)dх_ |у° х)Лг(t0,х)dх
- ■ II ■ X 1/4 1/1 X ■ ■+■ ■ I I I / X 1/4/1/ X ■ - ■ I I I / X 1/4/1/ X ЧАХ -
:+ " Т (Чэ ^ | Т (> ^ 0,
х0
4 х дш°' (t х) 1
/ ^ (?, х) dxdt - |МУ (х, у° (х), V° (х), р° (х)) Ду (х) dx -
?0 х0 ^о
х1 Iх!
-1 м;( х, у °( х ), v0( х ), р °( х )) Дv ( х) dx - 2 |[Ду'( х ) Муу ( х, у °( х), V0 ( х), р° ( х ))Ду ( х ) +
х0 х0
+2Дv'(х)Му (х,у° (х),V° (х),р° (х)) Ду(х) + Д^(х)Мт (х,у° (х),V° (х),р° (х)) Дv(х)] -
?1 х! ^ х^
-ЦН;^,х,г°(t, х),и°(t),у° (t, х))Дг(t, х)ёхА -11 Н (t,х, (t,х),и°(t), у°(t,х))Ди (t)ёхА -
?о ло хо
1 Ч х1
■-2{{[Лг'^,х)Нгг х,г°(t,х),и°(t),у°(t,х))Дг(t,х) + 2 Дu'(t)Нш (t,х,г°(t,х),и°(t),у°(t,х))Д(t,х) +
-^з
,°/„\ „. „,.л.., „. , , „ ,,ИЛ..( х )|| + |^( х)
+Ди'(t)Нии (t,х,(t, х),и° (t),(t, х)) Ди (t)]dxdt + о1 (||Ду(х, )|| ) + +102 (||Лг(tl,х)||2)dx - } о5 ([||Ду (х)|| + |^(х)||]2)dx - }}с6 ([||Дг(t,х)|| + ||Ди (^dxdt. (13)
х х tо х
Здесь величины о5 (•), о6 (•) определяются соответственно из разложений М (х, у (х),V (х), р° (х))-М (х, у° (х), V0 (х), р° (х)) =
=Му (х, у° (х), V0 (х), р° (х)) Ду (х) + М[ (х, у° (х),V0 (х), р° (х)) Дv(х) +
+ 2[Ду'(х)Му (х,у° (х),V0 (х),р° (х)) Ду (х) + ДУ(х)Му (х,у° (х),V0 (х),р° (х)) Ду (х) + +Д^(х)Мт (х,у° (х),V0 (х),р° (х)) Дv(х)] + о
Н (^ х, 2 (t, х),и (t), (t, х))- Н (^ х, г°(t, х),и° ^), у° (t, х)) = = Н;^, х,г°(t,х),и°(t), (t, х))Дг(t,х) + Н'и (t,х,г° (t, х),и°(t), у°(t,х))Ди (t) +
+2[Дг'(t,х)Н2 (t,х,г° (t,х),и°(t),у°(t,х))Дг(t,х) + 2 Ди'(t)Нш (г,х,(t,х),и),у° (t,х))Дг(t,х) + +Ди'(t)Нии (^х,г°(t,х),и),х))Ди(t)] + Об([|Д(t,х)|| + ||Ди(t)|]2) .
Если предполагать, что вектор-функция (у° (t,х),р° (х)) является решением сопряженной системы
дм^°(tx) / ч д( г 0(t, х))
' ^ > = -Нг ^, х, г0 ^, х),и° ^), У (^ х)), У (х) = ~ д ',
р° (х) = -Му (х, у° (х),V° (х), р° (х)), р° (х,) = - ,
то формула приращения функционала (13) качества (1) примет вид:
М(и°,V°) = М[ (х,у° (х),V0 (х),р°
(х))Дv (х) (Х -
-п 1
ЦН'и (t,х,г° (t, х),и° ^), (t,х)) Ди (t)dxdt + 2 Ду'(х1 )фуу (у° (х1 ))Ду (х1)
1 х1
- - |[Ду'( х ) Муу ( х, у °( х), х), р °( х )) Ду ( х) + 2Дv'( х )х
M (x,У0 (x),v0 (х),p° (х)) Ду(х) + Av'(x)Mvv (x,у0 (x),v° (x),p° (x))Av(x)] +
1 x1
+ — j Дг ' (t1, x) Gzz (x, z° (t1, x))Дг (t1, x) dx -
x0
- j j [дг ' (t, x ) Hz (t, x, z0 (t, x), u0 (t), (t, x )) Дг (t, x ) +
11
—
t0 x
+— Ди' (t)Hu2 (t, x, z° (t, x),u° (t), (t, x))Дг(t, x) +
+Ди'(t)Huu (t,x,z°(t,x),и°(t),У (t,x))Ди(t)]dxdt + г (Ди, Дv) , (14)
где по определению
Г (Ди, Av) = o1 (|| Ду (x1 )||—) + o— (|| (t1, x)||—) - j o5 ([|| Ду (x+ (x)||] ) dx -
5 |
x0
t1 x
, x) = fz (t, x, z°(t, x),и°(t))Дz(t, x) + fu (t, x, z°(t, x),и°(t))Ди (t) + o7 (Д(t, x+1|Ди (t)||), (15)
| о6 ([||Лг(t, х)|| + ||Ли (t)||] ) &&.
¡о х0
Далее из системы уравнений (7)-(10) следует, что (Лг ^, х), Лу(х)) является решением линеаризованной задачи
, х )
а"
Лг {*0, х) = Лу ( х), (16)
Лу (х) = gy (х, у° (х), V0 (х))Лу (х) + gv (х, у° (х),V° (х(х) + о8 (||Лу (х)|| + ||Лv(х)||) , (17)
Лу ( х0 ) = 0, (18)
где величины о7 (•) , о8 (•) определяются из разложений соответственно
/^,х,г,и )_ /^,х,г°,и°) = ^,х,г°,и°)Лг + /и ^,х,г°,и°)Ли + о7 (||Лг|| + ||Ли||), g(х,у,V)_g(х,у°,v0) = gy (х,у°,v0)Лy + ^(х,у°,^^ + о8(||Лу|| + Н|) .
3. Оценка нормы приращения состояния
Из системы уравнений переходя к соответствующим интегральным уравнениям, получаем
г
||Лг(t,х)||<||Лу(х)|| + Ц |[||Лг(х)| + ||Аи(х)||]dx, (19)
*0
х
IIЛу(х)|| < ц21 [|Лу(5)|| +1Аv(5)||]ds, (20)
х0
где L1, L— = const > 0 - некоторые постоянные.
Применяя к неравенствам (19), (—0) лемму Гронуолла-Беллмана, после некоторых преобразований будем иметь
x1
I Ду (x)||< L3 jj^v (s)|| ds, (—1)
x0
где L3 = const > 0 некоторая постоянная.
^ x t1 ^
[Д(t,x)||< L4 jl^v(s)||ds + j||Ди(x)||dx , (L4 = const > 0). (——)
V x3 t0 у
4. Специальное приращение управления функционала качества
По предположению множества U и V являются выпуклыми. Поэтому специальное приращение допустимого управления (u° (t),v° (x)) можно определить по формуле
К(о=И> (t)-u°(o], (23)
Av,( x ) = 0,
где ц e [0,1) - произвольное число, а u (t )eU, t e T - произвольная допустимая управляющая функция.
Через (Лгц (t, x), Дуц (x)) обозначим специальное приращение состояния (z° (t, x), у° (x)), отвечающее приращению (23) управления (u° (t),v° (x)) . Из оценок (21), (22) следует, что
|ДЦ (t,x)||< Ц ц, ||Дуц (x)|| = 0, (24)
где L5 = const > 0 - некоторая постоянная.
Далее, используя (23), (24), при помощи (15)-(17) доказывается, что
Дzцí(t,x) = цi(t,x) + о(ц; t,x), (25)
где i (t, x) - n-мерная вектор-функция являющаяся решением задачи
8l (t x)
У ' = f2 (t,x,z° (t,x),uо (t))l(t,x) + f (t,x,z° (t,x),u° (t))(u(t)-u° (t)), (26)
i(t0, x ) = 0. (27)
С учетом (23), (26), (27) из формулы приращения следует справедливость разложения
ti xi
I u ° + Au„, v 1 (u о, v0) = -uff H'(t, x, z °(t, x ), u °(t), w° (t, x ))(u (t)- u
I (u о + Дuц, v °)-1 (u °, v°) = -^J H'u[t, x, z °(t, x ), u °(t), (t, x ))(u (t)- u °(t)) dtdx +
¿0 x0
B2 j ^ 82ф2 (x,z°(t, x)) * V , ч
+7 j! ^ x) П 8z, П i (ti, x )-JJ[i'(t, x) HB (t, x, z 0(t, x), u 0(t), y°( t, x ))x
[ x=x0 x0
f
xi(t, x) + 2(u (t) - u° (t)) Hz (t,x, z° (t,x),uо (t), (t,x))i (t,x) + +(u (t)-u°( t)) Huu (t, x, z ° (t, x), u ° (t), y°(t, x)) (u (t)-u °(t)) drdtj + o1 (ц2). (28)
Теперь специальное приращение управления (u° (t),v° (x)) определим по формуле
|Х( t ) = 0,
[Лvv( x ) = v[v (x)- v°( x)]. (29)
Здесь v e [0,1] - произвольное число, а v(x)eU , xeX - произвольная допустимая управляющая функция.
Через (Лгу (t, x), Дуу (x)) обозначим специальное приращение вектора состояния (z° (t, x),у° (x)) . Из оценок (21), (22) следует, что
||^v(t, x)||< L6 v , (t, x) e D, 11 Ду v (x )|| < L7 v, x e X, (30)
где L6,L7 = const > 0 - некоторые постоянные.
Учитывая (15)-(18), с помощью (29), (30) доказывается, что
Аzv(t,х) = vq(t,х) + °(у; t,х), (31)
Лу,(х) = у т(х) + °(у; х), (32) где вектор-функции q (t, х) и т (х) являются соответственно решениями задач
= ^ (t,х, г° (t,х),и° ^))q^,х) , (33)
q (t0, х) = т( х), (34)
т(х) = gy (х,у° (х),V0 (х))т(х) + ^ (х,у° (х),V0 (х))(V(х) _ V0 (х)), (35)
т (х0 ) = 0. (36)
0
Поэтому из формулы приращения (28) будем иметь
•ч
I (и °, V0 + Лvv) _ I (и ° , V°) = -VI М[ (х, у° (х), V0 (х), р° (х))(V (х) _ V0 (х)) с1х +
V2 [ 52ф, (у° (х )) х 52ф2 (х, г° (I, х))
|т'( х ) ф1 т ( х) + х q (^ х)_
Г
| т'(х)М„ (х,у° (х),V0 (х),р° (х))т(х) + 2(V(х) _ V° (х)) Му (х,у° (х),V0 (х),р° (х))х
Г
хт(х)+(V(х) _ v0(х)) Му (х,у°(х), v0(х),р°(х))(V(х)_ v0(х)) Сх +
к х Л
+|| q'(t,х)Нг (t,х,г0(t,х),и0(*),у°(t,х))q(t,х)dхdt 1 + о(V2). (37)
*0 х0 J
Полученные разложения позволяют получить как линеаризованные, так и квадратичные необходимые условия оптимальности.
Из разложений (28), (37) получаем, что вдоль процесса (и° (^, V0 (х), г° (t, х),у° (х))
Ч х
I(и° + Лиц,V°)_I(и°,V°) = _ц||Ни(t,х,г° (t,х),и°(t),у°(t,х))(и(и°(t))с1*с1х + о1 (ц)> 0, (38)
t0 х0
X
I(и°,V° + Лvv)_I(и°,V0) = _VIМ[ (х,у° (х),V0 (х),р° (х))(V(х) _ V0 (х))Сх + о(V) > 0. (39)
х0
Из последних неравенств в силу произвольности ц и V следует, что
Ч х1
II Н'и (t, х, г° (t, х), и° ^), у° (t, х)) (и (t) _ и° (t)) сС*Сх < 0, (40)
t0 х
IМ[ (х, у° (х),V° (х), р° (х))(V(х) _ V0 (х)) Сх < 0. (41)
х0
Сформулируем полученный результат.
Теорема 1. Если множества и и V выпуклые, то для оптимальности допустимого управления (и° (^, V0 (х)) необходимо, чтобы неравенства (40) и (41) выполнялись для всех и (^еи, t е Т,
V (х)е V , х е X соответственно.
Неравенства (40), (41) являются интегральными необходимыми условиями оптимальности. Из них, используя лемму из работы [10. С. 3], можно получить поточечные линеаризованные необходимые условия оптимальности вида
I Н'и (0, х, г° (0, х),и° (0), у° (0, х)) (и _ и° (0)) Сх < 0, (42)
х0
М1 у° ф,V0 ф,р° (£))(V _ V0 ф) < 0, (43)
Теорема 2. Для оптимальности допустимого управления (и° ^), v0(х)) в случае выпуклости множеств и и V в задаче (1)-(6) необходимо, чтобы соотношения (42), (43) выполнялись для всех 0е[tо, ^), и еи и ^е[х0, х1), V еV соответственно.
Пара соотношений (42), (43) является поточечным необходимым условием оптимальности в задаче (1)-(6).
Следуя схеме работы [10], можно доказать, что необходимые условия оптимальности (40), (41) и (42), (43) эквивалентны.
5. Квадратичные многоточечные необходимые условия оптимальности
В этом разделе изучается случай вырождения линеаризованного условия максимума (особый случай). Заметим, что особые случаи возникают во многих прикладных задачах из техники и экономики (см. напр.: [7, 8, 11])
Определение 1. Допустимое управление (и° ^),v0(х)) назовем квазиособым управлением в
задаче (1)-(6), если для всех 0 е ^ ) , и е и и ^ е [х0,х1), V е V выполняются соответственно соотношения
(х \
IН'и (0,х,г° (0,х),ио(0),у°(0,х))Сх (и _и°(0))- 0, (44)
/
М1 у° ф,V0 00,р° ф)(V _ V0 ф) - 0. (45)
Из разложений (28), (37) следует, что для оптимальности квазиособого управления ( и° ^), V0 (х)) необходимо, чтобы выполнялись неравенства
х. д 2О (х, г°(и, х)) 1 V , .
1£' (t1, х)-^-" £ (t1, х) _ 111 £' х) Нг (^ х, г° (t, х), и ° (t), у° (t, х)) £ (t, х) +
х0 ¡о х0
г
+2(и ^)_ и° (t)) Нг (t, х, г° (t, х),и° (t), у° (t, х))£ (t, х) +
Г
+(и(t)_ и°(t)) Ни (t,х,г°(t,х),и°(t),у°(t,х))(и(t)_ и^))
СхС > 0, (46)
д 2ф( у°( х1)) х. д 2О (х, г °( х))
т'( х1)—ду2—т (х1)+1 q' (tl, х)—дг~2—q (^х)Сх _
У х0
^ Д1
II q'(t,х)Нг (t,х, г° (t,х),и° (t), у° (t,х))q(^ х)схс* _
*о х
х1
I т(х)Мт (х, у° (х), V0 (х), р° (х)) т (х) + 2(V(х)_ V° (х)) Муу (х, у° (х), V0 (х), р° (х))х
х0
Г
хт(х) + (V(х)_ V0 (х)) Муу (х,у° (х),V0 (х),р° (х))(V(х)_ V0 (х))
Сх > 0. (47)
Неравенства (46), (47) являются неявными необходимыми условиями оптимальности квазиособых управлений. Однако они позволяют получить ряд более легко проверяемых необходимых условий оптимальности квазиособых управлений.
0
С этой целью напишем представления решений задач (26), (27), (33)-(36). Имеем
г
£(^х) = |F(t,х,х)/ (т,х,(х,х),и° (х))(и(х) - и° (х))(х , (48)
т(х) = |ф(х,т)gv (т,у° (т),V0 (т))(V(т) - V0 (т))(т, (49)
х0
х
д(^х) = | F(t,t0,х)ф(х,т)gv (т,у° (т),V0 (т))(V(т) - V0 (т))(т, (50)
х0
где F (t, х, х) и Ф( х, 5 ) являются решениями задач
Г (t, х, х) = -Г (t, х, х)/ (х, х, (х, х),и° (х, х)), Г(t, t, х) = Е, Фх (х,5) = -Ф(х,5)gy (т,у° (т),V0 (т)), Ф(т,т) = Е, соответствующими квазиособому процессу (и ° (^, V0 ( х), (t, х), у° (х)) . Здесь Е - единичная матрица. Введем обозначения:
К ( х, х, 5 ) = - Г' ( х, х ) G22 ( г0 ( х )) Г х, 5 ) + + | Г'(t,х, х)Нгг (t,х, г0 (t, х),и0 (t, х), у0 (t,х))Г(t, х,5)dt, (51)
шах(х,5)
N ( т, £) = -Ф' ( х1, т ) фуу ( у0 ( х )) Ф ( х,£) +
+ | [ Г' t0, х )Ф'( х, т ) Ог1 ( х, г0 х ))ф( х, £) Г t0, х )] (х +
+
| г't0,х)ф'(х,т)(t,х,г0 х),и0 ^),у0 х))ф(х,£)г(t,t0,х)
0
х(т,£)
(х +
+ | Ф'(х,т)Му (х,у0 (х),V0 (х),р0 (х))ф(х,£)(х. (52)
тах(
Принимая во внимание представления (48)-(50) и обозначения (51), (52) в неравенствах (46), (47), после некоторых преобразований приходим к соотношениям
|}}(и (х)-и ° (х))' /'(х, х, г °(х, х ), и °(х)) Г'(tl, х, х) К ( х, х, 5 ) / (5, х, г °( 5, х ), и °( 5 ))х
х¥ (t1,5, х)(и (5) - и° (5)) (5(х (х + 211 |(и (х) - и° (х)) Нш (х, х, г° (х, х),и° (х), у° (х, х))х
tо х0 |_ t
хГ(х,t,х)/ (^х,г° (t,х),и° ^))(и (t)-и° (t))(х]dxdt +
t1 х1 '
+| | (и ^) - и° (t)) Нии (t, х, г° (t, х),и° (t), у° х)) (и (t) - и° (t)) dxdt < 0 (53)
для всех и
(^еи с К, t е^0, t1 ], 11 (V(т) - V0 (т)) gv (т,у° (т),V0 (т))N(т,£)gv (£,у° (£),V0 (£))(V(£) - V0 (£))(£(т +
х х '
21 (т)-V0 (т)) Му (т,у° (т),V0 (т),р° (т))ф(т,х)gv (х,у° (х),V0 (х))(т
х0
ша^ т
0 '0 '0
х(V(х) - V0 (х))dx + | (V(х) - V0 (х)) Мт (х,у° (х),V° (х),р° (х))(V(х) - V0 (х))dx < 0 (54)
х0
для всех V(х)еК, хе[х0,х,].
Следовательно, имеет место
Теорема 3. Для оптимальности квазиособого управления в задаче (1)-(6) необходимо, чтобы выполнялись соотношения (53) и (54).
Неравенства (53), (54) являются интегральными необходимыми условиями оптимальности второго порядка. Из них можно получить ряд более конструктивно проверяемых необходимых условий оптимальности. В частности, имеет место
Следствие 2. Для оптимальности квазиособого управления (и° (*), V0 (х)) в рассматриваемой задаче необходимо, чтобы неравенства
г
(и - и°(0))
|Иии (0,х,2°(0,х),и°(0),у°(0,х))ёх
■ ии х0
г
(и - и°(0))< 0, (55)
(V - V0 (;)) Мт (;,у° (;), V0 (;),р° - V0 (;)) < 0 (56)
выполнялись для всех и е и , 0 е [*0, ) , V е V, ; е [ х0, х1) соответственно.
Заметим, что условия оптимальности (53), (54) позволяют исследовать на оптимальность также те квазиособые управления, для которых необходимые условия оптимальности (55), (56) вырождаются.
Определение 2. Квазиособое управление (и°(*), v0(х)) назовем квазиособым второго порядка
управлением, если для всех 0е[*0, ) , и е и и ;е[ х0, х1), V е V выполняются соответственно соотношения
1
(и - ио(0))
IИии (0,х,2°(0,х),и°(0),у°(0,х))ёх
ии х0
Г
(и - и°(0)) = 0, (57)
(V - v0(^)) Мт (;, у°00, v0(^), Р°(^))( V - ^0;)) = 0. (58)
6. Многоточечные необходимые условия оптимальности квазиособых второго порядка управлений
Неравенства (53) и (54) позволяют получить многоточечные необходимые условия оптимальности квазиособых второго порядка управлений.
Пусть (и° (*),V0 (х)) - квазиособое второго порядка управление. Специальные приращения управляющих функций и ° (*) , V0 (х) определим по формулам
т
иД*) = Е5и(б; 0,,£,,и), (59)
, =1 т
уД х; ц^^ (х, ц;, £, »V,). (60)
¿=1
Здесь Ъи (*, б; 0^, £^, и^), 5v(х, ц; ;^, £^,vj) - игольчатого типа вариации управлений и°(*), v0(х), определяемые формулами
|и., * е [0., 0, + £. б), Ъи (*;б; 0,.,£г,иг ) = <! (61)
^ ^ И*), * е Т \ [0,., 0,. + £, б), 1 ;
5V ( х ц; ^, £,, VI ) =
V, х е[Ъ, Ъ + £ Ц),
(62)
|/(х), х е X \ %, Ъ + £, ц),
где £ > 0, , = 1, т, - произвольные числа, и 1 е и, V; е V, i = 1, т, - произвольные векторы, в > 0, ц > 0 -произвольные достаточно малые числа, 07, Ъ - произвольные точки.
Суммирование игольчатого типа вариаций понимается в смысле [12].
Учитывая определение квазиособого второго порядка управления, из (53), ((54)), а также (55), (56) после некоторых преобразований получим, что вдоль квазиособого второго порядка управления
и* ), v0( х ))
I £ ££ , (и, _ и (0,.)) 40,, х, г°(0,., х), и (0,)) К ( х, Ъ, Ъ, ) /и (0,, х, г°(0,, х), и (0J ))х х0 -7',. 1
т '
х(и, _ио(0,)) + ££(и, _и(0,)) Н'(0,,х,г° (0,,х),и° (0,),у°(0,,х))х
г=1
£, (и, _и(0,))' X(0,,х,г°(0,,х),и°(0,))(и, _и(0,)) + 2££/и (0,,х,г°(0,,х),и°(0,))
х(и, _и (0,)) Сх +°(в2)< 0,
I т '
Ц2Л££,£, (V, _V(Ъ)) ^Ъ,у°(Ъ),V,)N(Ъ,,Ъ,)gv(Ъ,,у°(^),V,)(V, _V(Ъ,)) +
и ,=1
+£ £, (V, _ V (Ъ,)) Му (Ъ,у°(Ъ),V (Ъ), р°(Ъ ))х
1=1
£^(Ъ,у°(Ъ),^(Ъ))(V,_V(Ъ))+2££^(Ъ,,у°(Ъ,),V(Ъ,))(V, _V(Ъ,)) | + °(ц2)<0.
Отсюда в силу произвольности в и ц приходим к следующему утверждению: Теорема 4. Для оптимальности квазиособого второго порядка управления (и° ^),V0 (х)) в задаче (1)-(6 ) необходимо, чтобы для любого натурального числа т неравенства
х1 т '
I £ £, £, (и, _и (0,)) ¿'(0,,х,г°(0,,х),и° (0,))К(х,0,,0,)X (0,,х,z°(0J,х),и (0, ))х
т '
х(и, _ и о(0, )) + £ £, (и, _ и (0,)) Ниг (0,, х, г° (0,,, х), и °(0,), у°(0,, х ))х
,=1
£,/и (0,, х, г° (0,,, х), ио(0,))(и, _ и (0,)) + 2£ £ ^ (0,, 0,, х) /и (0,, х, г о(0,, х), ио(0,)) - ,=1
х(и, _и(0,,))]Сх< 0,
т '
££,£, (V, _ V (ъ )) ^(ъ, уо (ъ ), ^(Ъ))N (ъ , ъ ,) gv (ъ ,, у°(ъ ,), ^(ъ , ))х( V, _ ^,))
и, =1
т '
+£ £, (V, _ V ° (Ъ,)) Му (Ъ, у °(Ъ), V0 (Ъ), р °(Ъ ))х[£ ^ (Ъ, у°(Ъ), V ° (Ъ))(V, _ V (Ъ))
I=1
+2££, Ф(Ъ,Ъ,)gv (Ъ,,у°(Ъ,),^(Ъ,))(V, _^(Ъ,))
(63)
+
< 0
(64)
х
х
выполнялись для всех £. >0, и1 еи , 0,. е[*0,) (£. > 0, v¡ е V , е[х0,х1)) , , = 1,т
(*0 <01 < - <0т < ) ((х0 <^1 < - <;т < х1 )) соответственно.
Следует отметить, что полученные многоточечные необходимые условия оптимальности (63), (64) более информативны и, более того, остаются в силе также в случае вырождения этих необходимых условий оптимальности при т = 1,2 и т.д.
Заключение
В статье ставится и изучается одна задача оптимального управления типа А.И. Москаленко при предположении выпуклости области управления. Построена и исследована формула приращения критерия качества для игольчатых вариаций управления. Доказан аналог линеаризованного принципа максимума и исследован случай его вырождения. Установлено необходимое условие оптимальности квазиособых управлений. Доказаны многоточечные необходимые условия оптимальности для квазиособых управлений второго порядка, позволяющие сузить множество квазиособых управлений, подозрительных на оптимальность.
ЛИТЕРАТУРА
1. Москаленко А.И. Об одной задаче оптимального регулирования // Журнал вычислительной математики и математической
физики. 1969. № 1. С. 68-95.
2. Розоноэр Л.И. Принцип максимума Л.С. Понтрягина в теории оптимальных систем // Автоматика и телемеханика.1959.
Т. 20, № 10. С. 1320-1334; № 11. С. 1441-1458; № 12. С. 1561-1578.
3. Габасов Р., Кириллова Ф.М. Принцип максимума в теории оптимального управления. М. : Либроком, 2011. 472 с.
4. Васильев Ф.П. Методы оптимизации. М. : Факториал пресс, 2002. 824 с.
5. Срочко В.А. Вариационный принцип максимума и метод линеаризазии в задачах оптимального управления. Иркутск :
Изд-во Иркут. ун-та, 1989. 164 с.
6. Мансимов К.Б., Марданов М.Дж. Качественная теория оптимального управления системами с распределенными парамет-
рами. Баку : Элм, 2010. 360 с.
7. Габасов Р., Кириллова Ф.М. Особые оптимальные управления. М. : Либроком, 2011. 256 с.
8. Параев Ю.И., Грекова Т.И., Данилюк Е.Ю. Аналитическое решение задачи оптимального управления односекторной эко-
номикой на конечном интервале времени // Вестник Томского государственного университета. Управление. Вычислительная техника и информатика. 2011. № 4 (17). С. 5-15.
9. Алексеев В.М., Тихомиров В.М., Фомин С.В. Оптимальное управление. М. : Физматлит, 2005. 525 с.
10. Срочко В.А. Вычислительные методы оптимального управления. Иркутск : Изд-во Иркут. ун-та, 1982. 110 с.
11. Параев Ю.И. Оптимальное управление двухсекторной экономикой // Вестник Томского государственного университета. Управление. Вычислительная техника и информатика. 2014. № 3 (28). С. 2-11.
12. Гороховик С.Я. Необходимые условия оптимальности в задаче с подвижным правым концом траектории // Дифференциальные уравнения.1975. № 10. С. 1765-1773.
Поступила в редакцию 25 сентября 2019 г.
Rasulzade Sh.M. (2020) INTEGRAL AND MULTIPOINT NECESSARY OPTIMALITY CONDITIONS OF QUASI-SINGULAR CONTROLS IN ONE OPTIMAL CONTROL PROBLEM. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislit-elnaja tehnika i informatika [Tomsk State University Journal of Control and Computer Science]. 51. pp. 10-21
DOI: 10.17223/19988605/51/2
Consider the minimum functional problem
under restrictions
S (u, v) = ф( y ( x1 )) + J G ( x, z (t1, x)) dx ,
u ( t )eU с Rr, t e T = [t0, tj, v ( x)eV с Rq, x e X = [ x0, x1],
&
— = f (t, x, z,u ), (t, x) e D = T x X,
z (t0, x ) = y (x), x e X , y = g (x, y, V) , x e X , y (x0 ) = yo-
Here <p(y), (G(x,z)) are continuous and twice continuously differentiable with respect to y, (z) scalar functions, U and V are the given non-empty bounded and convex sets, f (t, x, z,u), (g (x, y, v)) are «-dimensional vector-functions continuous in the aggregate of variables together with partial derivatives with respect to (z,u) ((y, v)) up to second order inclusive, u (t), (v (x)) are the piecewise continuous (with a finite number of break points of the first kind) vectors of control actions, y0 is a constant vector.
The necessary optimality condition in the form of the linearized maximum principle is proved, and the necessary optimality conditions for quasi-singular controls are established.
Keywords: system with distributed parameters; increment method; linearized maximum principle; necessary optimality condition; quasi-singular control; multi-point necessary optimality condition.
RASULZADE Shahla Majid gyzy (Institute of Control problems of Azerbaijan National Academy of Sciences, Baku, Azerbaijan). E-mail: [email protected]
REFERENCES
1. Moskalenko, A.I. (1969) Ob odnoy zadache optimal'nogo regulirovaniya [On one problem of optimal regulation]. Zhurnal vychis-
litelnoy matematiki i matematicheskoy fiziki. 1. pp. 68-95.
2. Rozonoer, L.I. (1959) Pontryagin maximum principle in the theory of optimum systems. Avtomatika i telemekhanika - Automation
and Remote Control. 20(10). pp. 1320-1334.
3. Gabasov, R. & Kirillova, F.M. (2011) Printsip maksimuma v teorii optimal'nogo upravleniya [The maximum principle in the theory
of optimal control]. Moscow: Librokom.
4. Vasilyev, F.P. (2002)Metody optimizatsii [Optimization methods]. Moscow: Faktorial press.
5. Srochko, V.A. (1987) Variatsionnyy printsip maksimuma i metod linearizazii v zadachakh optimal'nogo upravleniya [The varia-
tional maximum principle and the linearization method in optimal control problems]. Irkutsk: Irkutsk State University.
6. Mansimov, K.B. & Mardanov, M.Dz. (2010) Kachestvennaya teoriya optimal'nogo upravleniya sistemami s raspredelennymi
parametrami [Qualitative theory of optimal control of systems with distributed parameters]. Baku: ELM.
7. Gabasov, R. & Kirillova, F.M. (2011) Osobyye optimal'nyye upravleniya [Special optimal controls] Moscow: Librocom.
8. Paraev, Yu.I., Grekova, T.I. & Danilyuk, E.Yu. (2011) Analytical solution to the problem of optimal control of a single-sector
economy over a finite time interval. Vestnik Tomskogo gosudarstvennogo universiteta. Upravleniye, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 4(17) pp. 5-115.
9. Alekseyev, V.M., Tikhomirov, V.M. & Fomin, S.V. (2005) Optimal'noe upravlenie [Optimal Control]. Moscow: Fizmatlit.
10. Srochko, V.A. (1982) Vychislitel'nye metody optimal'nogo upravleniya [Computational Optimal Control Methods]. Irkutsk: Irkutsk State University
11. Parayev, Yu.I. (2014) Optimal management of a two-sector economy. Vestnik Tomskogo gosudarstvennogo universiteta. Upravleniye, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 3(28). pp. 2-11.
12. Gorokhovik, S.Ya. (1975) Necessary optimality conditions in a problem with a movable right hand endpoint of the trajectory. Differentsial'nye uravneniya - Differential Equations. 10. p. 765-1773.