Об оптимальности особых управлений в задаче управления ступенчатыми дискретными двухпараметрическими системами Текст научной статьи по специальности «Математика»

ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА

2018 Управление, вычислительная техника и информатика № 42

УДК 517.977

Б01: 10.17223/19988605/42/2

Т.Ф. Мамедова, К.Б. Мансимов

ОБ ОПТИМАЛЬНОСТИ ОСОБЫХ УПРАВЛЕНИЙ В ЗАДАЧЕ УПРАВЛЕНИЯ СТУПЕНЧАТЫМИ ДИСКРЕТНЫМИ ДВУХПАРАМЕТРИЧЕСКИМИ СИСТЕМАМИ

Рассматривается ступенчатая задача оптимального управления, описываемая дискретными двухпараметриче-скими системами типа Форназини-Маркезини. Установлено необходимое условие оптимальности первого порядка типа принципа максимума Понтрягина и исследован особый случай.

Ключевые слова: ступенчатая система; дискретная двухпараметрическая система типа Форназини-Маркезини; необходимое условие оптимальности; особые управления.

В работах [1-8 и др.] изучаются различные аспекты задач оптимального управления системами, описываемых дискретными двухпараметрическими системами типа Форназини-Маркезини.

В предлагаемой работе исследуется одна ступенчатая задача оптимального управления, описываемая системой Форназини-Маркезини. Получен аналог дискретного принципа максимума. Исследован случай его вырождения (особый случай). Частный случай рассматриваемой задачи изучен в [9, 10 и др.].

1. Постановка задачи

Пусть требуется минимизировать функционал

5 (и, V) = Ф1 ( г к, X)) + Ф2 (у (г2, X)) (1)

при ограничениях:

и(г,х)&исЯг, (г,х)еЦ = {(г,х): г = t0,г0 + 1,...,г1 -1; х = х0,х0 +1,...,X-1}, у(г, х)еУ с Я, (г, х)е Ц2 = {(г, х): г = г1, г1 + 1,...,г2 -1; х = х0, х0 + 1,...,Х -1}, (2)

г(г +1, х +1) = /(г, х, г(г, х), и(г, х)), (г, х)е Ц , (3)

г (г0, х) = а (х), х = х0, х0 +1,..., X, г (г,х0 ) = в (г), г = г0, г0 +1,..., г, (4)

а ( х0 ) = Р1 ( г0 ) ,

у(г +1, х +1) = g (г, х, у(г, х), v(t, х)), (г, х)е Ц, (5)

у (г, х) = О ( х, г (г, х )), х = х0, х0 +1,..., X,

у (г, х0 ) = Р2 (г), г = г, +1,..., г2, (6)

О ( Xo, г (tl, х0 )) = Р 2 (г1 ) .

Здесь /(г, х, г, и), ^(г, х, у, V)) - заданная п (т)-мерная вектор-функция, непрерывная по совокупности переменных вместе с частными производными по г (у) до второго порядка включительно; ф1 (г), Фг (У) - заданные дважды непрерывно дифференцируемые скалярные функции; а(х), в (г) , I = 1,2 -заданные дискретные вектор-функции соответствующих размерностей; и(г, х) (у(г, х)) - г (д)-мерный вектор управляющих воздействий; и, V - заданные, непустые и ограниченные множества; О(х, г) -заданная т-мерная вектор-функция, непрерывная по совокупности переменных вместе с частными производными по г до второго порядка включительно; ¿о, ¿1, ¿2, хо, X- заданные числа, причем разности t2 - ¿1 и X - хо есть натуральные числа.

Отметим, что ступенчатый характер модели заключается в скачкообразном изменении модели при переходе точки (t, x) из области D\ в D2.

Пару (u(t, x), v(t, x)) с вышеприведенными свойствами назовем допустимым управлением.

Допустимое управление (u(t, x), v(t, x)), доставляющее минимум функционалу (1) при ограничениях (2)-(6), назовем оптимальным управлением, а соответствующий процесс (u(t, x), v(t, x), z(t, x), y(t, x)) - оптимальным процессом.

2. Формула для приращения критерия качества. Дискретный принцип максимума

Считая (и°(г, л), v°(t, л), 2°(г, л), у°(г, л)) фиксированным допустимым процессом, введем обозначения:

Н (г, л, и, ¥° ) = ¥° / (г, л, 2, и ) ,

М (г, л, у, V, у°) = ¥2' Ш (г, л, У, V).

Здесь , I = 1,2 - пока неизвестные п- и га-мерные вектор-функции соответственно.

Через (и(г, л) = и°(г, л)+Аи(г, л), V(г, л) = v°(г, л)+Ау(г, л), 2(г, л) = 2°(г, л)+А2(г, л),

у (г, л) = у°(г, л)+ + Ау(г, л)), обозначим произвольный допустимый процесс и запишем приращение функционала качества (1):

А?(и°, г°) = 8(й, V)-8(и°, v°)=[ф1 (г(ь, Х))-ф (2%, Х))]+ [Ф2 (у^, Х))-ф (у°^, X))]. (7) Ясно, что приращение (Аг(г, л), Ау(г, л)) состояния (г°(г, л), у°(г, л)) является решением краевой задачи Аг{г +1, л +1) = / (г, л, 2(г, л), и (г, л))-/ (г, л, ¿°(г, л), и°(г, л)), (8)

Аг(гп, л) = 0, л = лп, лп +1,..., X,

° 00 (9)

Аг(г,л0) = 0, г = г0,г0 + 1,...,гх,

Ау (г +1, л +1) = ш(г, л, у (г, л), V (г, л)) - ш (г, л, у° (г, л), V0 (г, л)), (10)

, x, y (t, x), v (t, x)) g (t, x, y (t, x), v (t, x Ay(tj,x) = G(x,z(tj,x))-g(x,z,x)), x = x0,x0 +1,---,X, Ay(t,x0) = 0, t = h,h +• С учетом (8) и (10) будем иметь

(11)

4-1 X -1

IX

XX V°'( t, x )Az ( t +1, x + 1) =

4-1 X -1

(12)

X X__ (t, x, z (t, x ), u (t, x ), (t, x )) - H (t, x, z 0 (t, x ), u 0 (t, x ), (t, x })],

h -1 X-1

(t, x ) Ay (t +1, x +1) =

t2 -1 X-1 ,

(13)

: X X__ (t, x, y (t, x ), v (t, x ), {t, x )) - M (t, x, y0 (t, x ), v° (t, x ), y 2 (t, x ))].

Выполнив замену переменных t +1 = т, x +1 = s получим

XXy°'(t,x)Az(t +1,x +1) = Л X ■ X

XXf°'(t, x )Az (t +1, x +1)= X X y°'( t -1, x - 1)Az (t, x )= X V°'(ti -1, x - 1)Az (t, x )-

(14)

X 4-1 x v 7

- X V°'(to -1, x - 1)Az (t0, x ) + X X V°(t -1, x - 1)Az (t, x ) = -1, X - 1)Az (t, X)-

X-1 t1-1

-V°'(t1 -1, x0 - 1)Az ( Î1, x0 )+ x <('1 -1, x - 1)Az (t1, x ) + x V°'(t -1, X - 1)Az (t, X )-

t=t x=x

t=t x=x

x=x

t-1 t- —-1 -e t - l,xo - i)a (t, x )+ee - i>* -i)a (t,x ),

i2 -1 X -1 i2 X X

eev°(t,x)Ay(t +1,x + 1)=e e V°'(t-1,x-1)Ay(t,x)= e v°'(t2 -1,x-1)Ay(t2,x)-- e V°'( t -1, x - 1)Ay (t1, x ) + e2^ e V°'(t -1, x - 1)Ay (t, x) = v°'(i2 -1, X - 1)Ay (t2, X )-

X -1

-v2'(t2 -1, xo -1) Ay (t2, xo )+E^2'(t2 -1, x - 1)Ay (t2, x)-v°'(t1 -1, X - 1)Ay (t^ X )+ (15)

X -1 t2 -1

+y°' (t1 -1, xo -1) Ay (t1, xo )- i>°' (t1 -1, x -1) Ay (t1, x) + (t -1,X -1) Ay (t,X) --t- ( t -1 , xo -1 ) Ay ( t, xo ) + t e V2' (t -1, x -1) Ay (t, x).

"0 y

Полагая

N(y°,z,x) =y° (t -1,x -1)y (ti,x) (t\ -1,x -1)^(x,z(tj,x)) и учитывая тождества (14), (15), в (7) имеем

AS (u 2, ^mZm Az (t„ X ) +1 Az' (t„ X Az (t,, X ) +

-Ф2( y °(t2, X )) 1 -2ф2( y °(t2, X ))

Ay (t2, X ) +1 Ay' ( t2, X Ay (t2, X ) + Vf(t1 -1, X - 1)Az (t, X ) +

X -1 4-1 к -1 X-1

+ e Vi°'( 4 -1, x - 1)Az (t, x ) + eVi°'(t -1, X - 1)Az (t, X ) + ee t -1, x - 1)Az ( t,* )--e e [Я (t, x, z0 (t, x), u (t, x), (t, x))- H (t, x, z0 (t, x) ,u 0 (t, x), (t, x))] -

4-1 X -1

-e e H (t, x, z0 (t, x), u ° (t, x), (t, x))Az (t, x) -

4-1 X -1 '

-e e [h, (t, x, z0 (t, x), u (t, x), (t, x))- H (t, x, z0 (t, x), u 0 (t, x), (t, x))] Az (t, x) -

1 1-1 X -1 t \

--e e Az '(t,x)Hz (t,x,z0 (t, x),u0 (t,x), (t,x))Az (t,x) -

j t1 —1 X -1

1e eAz ' (t, x )[ (t >x>z ° (t,x ), u (t ,x ), y°(t,x ))-Hz (t, x, z °(t, x ), u °(t, x ), tf(t, x ))]Az (t, x ) +

+°1 (|A (t1, X )||2 ) + °2 (|Ay ( t2, X )||2 )-e^ °з (|A (t, x )||2 ) +

x-1

+V°'(t2 -1, X - 1)Ay ( t2, - )-e ¥°(t2 -1, x - l)Ay (t2, x )-N (v°, z0, X )Az (^, X ) +

- -1

+Az ' (t1, X ) Nzz (V°, z °(t1, X ))Az (t1, X )-e N (y°, z x ), x )Az (t1, x )-

1 - -1 - -1 ,

- e Az '(t1, x)Nzz (y°, z° (t1, x), x)Az (t1, x)- e °4 (I Az (t1, x)

+E V2 (t -1, - - 1)Ay (t, X ) + t E <(t -1, x - l)Ay (t, x)- (16)

t=t

¿2 -1 X -1 ,

¿2 -1 X-1 ,

Е (г, л, у° (г, л), V (г, л), ¥2 (г, л)) - М (г, л, у ° (г, л), V0 (г, л), ¥2 (г, л))] -

х 1 ' Е Е[Му (г, ■л у° (г, л), V (г, л), у2 (г, л)) -Му (г, л, у°(г, л), V0 (г, л), ¥2 (г, л))] Ау (г, л) -

г2-1 X-1

-1 ЕЕ А2 ' (г, л) Муу (г, л, у° (г, л), V0 (г, л), ¥° (г, л ))Ау (г, л)-

2 г=^ л=л0

^ ¿2 -1 X-1

1 ЕЕа ' (г, л )[ (г ,л,у°(г ,л), V (г, л), ¥2 (г ,л ))- Му (г, л, у °(г, л), у°(г, л), ¥2 (г, л ))]Ау (г ,л )-

-Е Е'°5 (||Ау (г,л)||2) - £ Х1 (г,л,у° (г,л),V0 (г,л),¥2 (г,л))Ау (г,л).

Если предполагать, что (г, л) ,¥° (г, л)) является решением системы разностных уравнений

¥°(г -1, л-1) = Н2 (г, л), (17)

¥° -1, л -1) = О' (л,(г1, л))¥° (г1 -1, л), ¥°(г-1, X -1) = 0,

¥° (г -1, X - 1) = -5ф1 (^ X ^ + О' (X, '°(г1, X)) ¥0(г1 -1, X -1),

¥°(г -1, л-1)=Му (г, л), (18)

¥° (г-1, X -1) = 0,

¥2 (г2 -1, л-1) = о, ¥°(г2 -1, X - ,) = ^ф№01,

ау

то формула приращения (16) примет вид

1 -1 X-1 Г

А£(и°,v0) = -ee[Н(г,л,2°(г,л),и (г,л),у°(г,л))-Н(г,л,2°(г,л),и°(г,л),¥?(г,л))] +

1 д 2ф( 2 °(г, X))

+1А* (г1, X Аг (г1, X )-

1 -1 X -V п '

-е е Н (г, л, 2 ° (г, л), и (г, л), у° (г, л))- Я (г, л, 2 ° (г, л), и ° (г, л), у° (г, л))] А (г, л) +

1 д2ф( у "(г,, X)) 1 , .

+1 Ау ' (г2, X ) ФП у 2 2 П Ау (г 2, X )-1Аг ' (г1, X ) ^ (¥2,2 °(г1, X ), X )а (г, X )-

-1 X-1

-ЕЕ1М (г, л, у ° (г, л), V (г, л), ¥° (г, л))- М (г, л, у ° (г, л), V ° (г, л), ¥°(г, л ))]-

*2 -1 X-1 р -, '

Е Е [Му (г,л,у° (г,л),V (г,л),¥°(г,л))-Му (г,л,у°(г,л),V° (г,л),¥°(г,л))] Ау(г,л)- (19)

1 г2 -1X-1 , ч

1 ЕЕАу ' (г, л ) Муу (г, л, у° (г, л), v0(г, л ), ¥°(г, л))Ау (г, л ^(ЦАг (г1, X )|| ) + + °(|Ау(г2, X )2 )-Е Е °(|А2(г, л )2 )-Е Е°(|Ау(г, л )2 )-°(|Ау(г, л )2).

г—Ел л—л л г—Е л—лл

a( t, х) =

P(t, х ) =

Ss Cy (t, х; e)

(21)

Предположим, что множества

/(г,х,г°(г,х),и)= {у! : у1 = /(г,х,г°(г,х),u(t,х)), u(t,х)еи, (г,х)е Ц}, g(г, х, у°(г, х), V) = {у2 : у2 = g(t, х, у°(г, х), у(г, х)) у(г, х)е V, (г, х)е Ц} (20)

выпуклы.

Пусть ее [0,1] - произвольное число, а и(г, х)е и, (г, х)е Д, у(г, х)е V, (г, х)е Ц - произвольные допустимые управляющие функции. Используя произвольность допустимых управляющих функций и (г, х), V(г, х), вместо них возьмем допустимые управляющие функции и (г, х; е), V(г, х; е) таким образом, чтобы выполнялись соотношения:

г (г +1, х+1; е) = е / (г, х, г (г, х; е), и (г, х)) + (1 -е) / (г, х, г (г, х; е) ,и° (г, х))

= / (г, х, г (г, х; е), и (г, х; е)), г (г0,х;е) = а(х), х = х0,х0 +1,...,X,

г (г,х0; е) = р^ (г), г = ^ + 1,...,г, (22)

у (г +1, х +1; е) = g (г, х, у (г, х; е), V (г, х; е)) =

(23)

= е g (г, х, у (г, х; е), V(г, х)) + (1 -е) g (г, х, у (г, х; е), (г, х)), г (г,х;е) = О(х,г (г,х;е)), х = х0,х0 +1,...,X,

у (г, х0; е ) = р2 (г), г = +1,..., г2. (24)

Введем обозначения

бг (г, х; е)

(25)

(26)

Cs

Учитывая условия, наложенные на правые части уравнений (8), (10), получим, что

z (t, х; e) - z ° (t, х) = Aze (t, х; e) = e a(t, х) + o(e; t, х), (27)

y (t, х; e)- y° (t, х) = Aje (t, х; e) = e p(t, х ) + o(e; t, х), (28)

где a(t,х) и P(t,х) являются решениями краевых задач

ч Cf (t, х, z°(t, х), u°(t, х)) , ч , , ч , чЧ

a(t +1,х +1) = -^-a(t,х) + Au(t,х)f (t,х,z° (t,х),u° (t,х)), (29)

a(í0,х) = 0, х = х0, х0 +1,...,X, а(^х0 ) = 0, t = t0, t0 +1,..., t1, (30)

Cg (t, х, y °(?,х), v° (t, х)) cy

P(t,х) = G (х,z(t,х))a(t,х) , х = х0,х0 +1,...,X,

Р (t, х0 ) = 0, t = tx, ^ +1,..., t2. (32)

Учитывая разложения (27), (28), из формулы (19) получим

ASe (u° (t, х), v° (t, х)) = S (u (t, х;s), v° (t, х; e)) - S (u° (t, х), v° (t, х)) =

4-1 X -1

= -sZ Z |_Я (t, х, z° (t, х),u (t, х), vO (t, х))- H (t, х, z° (t, х),uo (t, х), vO (t, х))J -

t2 -1 X -1

-sZ Z [M (t, х, yO (t, х),v (t, х), v2 (t, х)) -M (t, х, y° (t, х),v° (t, х), v2 (t, х))] +

cg It, х, y (t, х ), v (t, х II , ч

p(t +1, х +1) = ^-V " p(t, х) + Av(t,x)g(t, х,y° (t,х), v° (t,х)) , (31)

s=0

s2

+—

2

a

'( ^ X )

д4 (z°(t1,X))

dz2

4 -1 X-1

a(t1, X)- XX_a ' (t, x) H22 (t, x, z° (t, x), u ° (t, x), (t, x)) a (t, x)

+

s2

+—

2

P'(t2, X )

+2 A H' (t, x, z ° ( t, x ), u ° (t, x ), y° (t, x ))a (t, x )] + д 2Ф2 ( y °( t2, X ))

h -1 X-1

P(t2, X ) -XX X P '(t, x ) m y (t, x, y° (t, x ), v ° (t, x ), (t, x )) X

dy 2

xP (t, x) + 2Av(i,x)M'y (t, x, y° (t, x), v° (t, x), y° (t, x)) p (t, x)

2

--a'(i1, X ) Nzz (y°, z°(i1, X ), X )a(t1, X ) + °( в2 ). (33)

Из разложения (33) в силу независимости и произвольности допустимых управлений u(t, x) и v(t, x) получаем справедливость следующего утверждения.

Теорема 1. Если множества (20) выпуклы, то для оптимальности допустимого управления (u°(t,x), v°(t,x)) в задаче (1)-(6) необходимо, чтобы неравенства

h-1 x-1 , .

XXAu(t,x)H(t,x,z°(t,x),u°(t,x),¥°(i,x))< 0

t2-1 X-1

X ]XAv(t, x M (t, x, y °(t, x ), v°(t, x ), ¥°(t, x ))< 0

(34)

(35)

выполнялись для всех u(t, x )eU, (t, x)e D, v(t, x)eV, (t, x)e D2 соответственно.

Пара соотношений (34), (35) является аналогом дискретного условия принципа максимума Понт-рягина для рассматриваемой задачи.

3. Особый случай дискретного принципа максимума

Рассмотрим случай вырождения аналога дискретного условия максимума.

Определение. Допустимое управление ,x), v°(t,x)) назовем особым в смысле принципа максимума Понтрягина управлением в задаче (1)-(6), если для всех u(t, x)eU, (t, x)e D , v(t, x)eV, (t, x) e D выполняются соотношения

Î1 -1 X-1

XX XA„(t,x H (t, x, z° (t, x), u° (t, x), (t, x))= 0,

t=Î0 x= x0

h-1 x-1

X XAv(t,x )M (t, x, y °(t, x ), v°(t, x ), y°(t, x ))

x ))= 0.

(36)

(37)

Случай выполнения тождеств (36), (37) назовем особым случаем. В особом случае из разложения (33) вытекает справедливость утверждения. Теорема 2. При сделанных предположениях для оптимальности особого управления (и°(г ,л), у°(г,л)) необходимо, чтобы вдоль процесса (и°(?, л),у°(?, л),г°(?, л),у°(?,л)) выполнялись

неравенства

'( ^ X )

a

t1-1 X -1

д2Ф1 (^X)) „ ( ° „,, ^

-^-- Nzz (v2,z (tl,X))

a

( ^ X )-

x x [a '(t,x)H„ (t,x,z0 (t,x),u° (t,x),(t,x))a(t,x) +

=x0

+2 A H' ( t, x, z ° ( t, x ), u 0 (t, x ), (t, x ))a(t, x )] -

(38)

0 -v -V0

t—t x — x

1 Л--Л-0

t=t x=x

10

^ X- Ч д2ф(y° (t,,X))

-XXXP1 (t,x)Myy (t,x,y°(t,x),v0(t,x),v2 (t,x))P1 (t,x) + P1 (t2,X) 2 Пв (t2,X)> 0,

где a(t, x ) есть решение краевой задачи (29), (30), а P1 (t, x) есть решение задачи

ft (t +1, x +1) = gy (t, x, y° (t, x ), v° (t, x ))в (t, x ), (39)

в (t, x) = G ( x, z° (t, x )) a (t, x ), x = x0, x0 +1,..., X,

в (t,x) = 0,t = t,t +1,...,i2, (40)

д2Ф ( y0 (t X )) ь-1 x-1Г

P2 (t2, X )—P2 ( t2, X )- x_P2 (t, x ) Myy (t, x, y 0 (t, x ), v ° (t, x ),V0 (t, x ))P2 (t, x ) +

дУ t=ti x=x0 (41)

+2Av(i,xM'y (t,x,y0 (t,x),v0 (t,x), (t,x))p2 (t,x)] > 0, где P2 (t, x ) есть решение задачи

в2 (t +1, x +1) = gz (t, x, y° (t, x ), v° (t, x ))P2 (t, x ) + Av(i,x) g (t, x, y° (t, x ), v°(t, x )) , (42)

P2 (t, x) = 0, x = x0, x0 +1,..., X,

p2 (t, x ) = 0, t = t, tx +1,..., t2. (43)

Неравенства (38), (41) являются неявными необходимыми условиями оптимальности особых управлений. Используя их, получим явное необходимое условие оптимальности.

Решение a(t, x ) краевой задачи (29), (30) допускает представление [8]

a(t,x) = xxR (t,x; т,sK^f (т,s,z°(x,s),u°(x,s)), (44)

т=^0 s= x0

где R (t,x; т,s) - (n x n) матричная функция - решение задачи

R(t,x; т-1,s-1) = R(t,x; т,s)f (т,s,z°(t,s),u°(t,s)), R1 (t, x; т — 1, x-1) = 0, R1 (t, x; t -1, s -1) = 0, R(t,x; t -1,x -1) = E1 ( E - (n x n) единичная матрица). Через R (t, x; т, s) обозначим (m x m) матричную функцию, являющуюся решением задачи R^(t,x; т-1,s-1) = R(t,x; т,s)gy(т,s,y°(x,s),v°(x,s)), R (t, x; т-1, x -1) = 0, R (t, x; t -1, s -1) = 0, R (t, x; t-1, x-1) = E2 ( R - (m x m) единичная матрица). Тогда решения задач (39)-(40) и (42), (43) допускают соответственно представления

1 -1 x—1

Р1 (t, x) = x x Q(t, x; т, s)Au(x,s f (т, s, z0 (x, s),u° (т, s)), (45)

X=?0 s= x0

P2(t,x) = xxR (t,x; т,s)A„(I,S)g(т,s,y°(x,s),v°(x,s)) , (46)

т=^ s=x0

где Q(t, x; т, s) определяется формулой

Q(t, x; т, s) = R(t, x; ^ -1, x - 1)GZ(x, z, x))r(^, x; т, s)+

+ X R2 (t, x; t1 -1, p-1) Gz (x, z °(t1, x ))r (t1, p; т, s ).

p=s+1

Используя представление (44), (45), получим

4-1 X -1

x x а'(г, х)Нгг (г, х, 2° (г, х), и° (г, х) (г, х)) а (г, х) =

4 -1 X-1 С г-1 х—1 Л

= x x x Я (t, х; т я) Ам/ (т ^ г ° (т, я), и0 (т я (t, x, Г0 (t, х), и0 (t, х ^ (t, х)) х

£,т)Аи(1т/{£,тУ{£,т)У{£,т^

т=л^ J х=^ (=^ т=х0

г=тах(х,/:')+1 х=шах(5',т)+1 I (47) 4 -1 X -1

x x х)Н (г, х, (г, х), и° (г, х), (г, х)) а (г, х) = (48)

«1 -1 х-1 С «1 -1 х-1 Л

:xx x x А^Н (т ^г0 М, и° (т я) ^ (т (т и х) Л, ^^^ (их,г 0 (г,х), и° (t, х)),

г=г0 х=х0 ут=г+1 х+1 у

Я2Ф (г° (г X)) 4-1 X-1 4-1 X-1

а'',Xа(г1,X) = xxX x Ая,г0 (х,я),и°(х,я))Я (г,X; х,я) х

1=4) т=хо (49)

: "КА'^Х- е,т)А<1: т/(е,тУ(е,т),и°(1,т)),

г2-1 X-1

xx р' (г, х) Муу (г, х, у0 (г, х), v0 (г, х) ,¥2 (г, х ))?1 (г, х) =

= 1 х=^ ' (50)

г2-1 X-1 С 4-1 х-1 Л

= x x ^ x Ql (г,х; Т,я) А^/(Т,я,г0 (Т,я),и0 (т,яму (г,х,у0 (г,х),V0 (г,х),(г,х)) х

'4-1 х—1 Л 4-1 х-1 4-1 х-1

X X £,т)Ая(1штуг(£,т,г°(£,т),и°((,т)) = XXX X

У т=х0 } х=^ т=х0

I г=г1 х=шах(5, т)+1 I

-2ф (у0 (г X)) 4-1X-1

р;( г2, X ) " Р1 (г2, X ) = ^ XAv (т. /'( т, я, г ° ( т, я ), и° ( т, я )) , X; т, я )х

т=¡0 5= х0 ^^

52ф (у° и X)) 4-1 Х-1

кУ <=% т=ха

Далее при помощи представления (46) получаем, что

-2ф (у0 (г X)) 11 -1X-1 ч-1X-1

Р2^,X) ф2(у (22, ))Р2^,X) = ^xx;x xxx А*,,)g'(т,я,у°(т,я),V-(т,я))Я2&,X;т,я)х

У х—^ 5—т—х0

X П Г £,т)А^т)8(е,т,у°(е,т)У(е,т)),

-1 X -1

x x А ^хМ'у (г, х, у0 (г, х), V0 (г, х), (г, х ))Р2 (г, х) = (53)

х=х.

х

Е1 X-1

— ее

X -1

е е к^м'у (x,5у0 (т5), v0 (т5),¥0 (т*))щ (x,5 л) д^ш (г,л,у (г,л^v0 (г, л))

т=г+1 5=л+1

г2-1 X-1

¿2-1 X-1 ¿2-1 X-1

ЕЕ1^

г2-1 X-1

х е е (54)

I /=шах(х,/)+1 д:=шах(5',/«)+1 I

Введем матричные функции К{х,8,1,т), Ь(т,$,£,т} :

¿1 -1

г=шах(х, д:=шах(5',т)+1

--^яДг^Х; £,т) +

дг2

¿2 -1 X -1

+е е Q!, л; т, 5)Му (*, л,у°(*, л),, л),¥22, л))-

Е=¿1 л=тах( 5, т)+1

52т Лу°и7,Х)\ -<2(1г,Х\ X,«)--ав{12,Х; 1,т),

(у°(и,х))

г2 -1

г=тах(г, х=тах(5,,т)+1

Учитывая тождества (47)-(54) и выражения для К (т, 5,1, т

,I,т) неравенства (38), (39)

записывается в виде:

Ё (55)

4 -1 X -1

+2е е

Е—¿0 •

^ -1 X -1

ее е аимН; (т, 5,(т, 5 ), и (т, 5 ) ,¥0 (т, 5 )) Щ (т, 5; г, л) А^/ (г,л), и° (г, л))< 0,

Т—Е+1 5=л+1

¿2 -1 X -1 ¿2 -1 X-1

г2 -1 X -1

т / 5=х0 ■ /| т

г2 -1 X-1

+2 ее

ее е Аф,,)Му (т, 5, у0 (т, 5 ), V0 (т, 5 ),¥0 (т, 5 )) Щ (т, 5; Е, л)

т=г+15=л+1

(56)

хАЧг,л)Ш(x,у° (¿,л),V0 (л))< 0. Теорема 3. Пусть множества (20) выпуклы. Тогда для оптимальности особого в смысле принципа максимума Понтрягина управления (и0 (г,л), V0 (г, л)) необходимо, чтобы неравенства (55), (56)

выполнялись для всех и (г, л)еи , (г, л )е Д, V (г, л , (г, л )е Д соответственно.

Заключение

В статье изучается одна дискретная двухпараметрическая задача оптимального управления, описываемая системой Форназини-Маркензини. При помощи метода приращений доказаны необходимые

Е=Е л=л

условия оптимальности в форме дискретного принципа максимума. Исследован случай вырождения дискретного условия максимума. Установлено необходимое условие оптимальности особых управлений.

Авторы выражают глубокую благодарность рецензенту за полезные замечания, способствующие улучшению первоначального варианта статьи.

ЛИТЕРАТУРА

1. Fornazini E., Marchesini G. State-space realization theory of two-dimensional filters // IEEE Trans. Automat. Contr. 1976. V. AC-21,

No. 4. P. 484-492.

2. Kaczorek T. Two-dimensional linear systems. Berlin, 1985.

3. Гайшун И.В., Хоанг Ван Куанг. Условия полной управляемости дискретных двухпараметрических систем // Дифференци-

альные уравнения. 1991. № 2. С. 187-193.

4. Гайшун И.В. Многопараметрические системы управления. Минск : Изд-во ИМ НАН Беларуси, 1996. 200 с.

5. Васильев О.В., Кириллова Ф.М. Об оптимальных процессах в двухпараметрических дискретных системах // Доклады АН

СССР. 1967. Т. 175, № 1. С. 17-19.

6. Васильев О.В. К оптимальным процессам в непрерывных и дискретных двухпараметрических системах // Информацион-

ный сборник трудов ВЦ Иркутского госуниверситета. Иркутск, 1968. Вып. 2. С. 87-104.

7. Степанюк Н.Н. Некоторые задачи управляемости и наблюдаемости двухпараметрических дискретных систем // Дифферен-

циальные уравнения. 1978. № 12. С. 2190-2195.

8. Мансимов К.Б. Дискретные системы. Баку : Изд-во Бакинск. гос. ун-та, 2013. 151 с.

9. Мансимов К.Б., Насияти М.М. Необходимые условия оптимальности в одной многоэтапной дискретной задаче управления //

Математическое и компьютерное моделирование. 2011. Вып. 5. С. 162-179.

10. Насияти М.М. Условия оптимальности в ступенчатых дискретных двухпараметрических задачах управления : автореф. дис. ... д-ра филос. по математике. Баку, 2015. 22 с.

11. Мансимов К.Б., Марданов М.Дж. Качественная теория оптимального управления системами Гурса-Дарбу. Баку : Изд-во ЭЛМ, 2010. 362 с.

Мамедова Туркан Фарман кызы. E-mail:kmansimov@mail.ru Институт систем управления НАН Азербайджана.

Мансимов Камил Байрамали оглы, д-р физ.-мат. наук, профессор. E-mail: kamilbmansimov@gmail.com Бакинский государственный университет (Азербайджан).

Поступила в редакцию 1 октября 2017 г.

Mammadova Turkan F. (Institute of Control Systems of NAS Azerbaijan, Baku, Azerbaijan). Mansimov KamilBayramali (Baku State University, Azerbaijan).

On optimality of singular controls in control problem of the step discrete two-parametric systems.

Keywords: step system; Fornasini-Marchesini type discrete two-parameter system; necessary optimality condition; special controls. DOI: 10.17223/19988605/42/2

Let be required to minimize the functional

5(u,v)=9l (zX)) + Ф2 (Уfe,X)) , (1)

with constraints

u(f,x)eiсRr, (r,x)eD = {(t,x) : t = t0,t0 +1,...,^ -1; x = x0,x0 +1,...,X-1},

v (t,x )eV с Rq, (r, x)e D ={(t, x) : t = ^, ^ +1,..., t2 -1; x = x0, x0 + 1,...,X-1} , (2)

z(t +1,x +1) = f (t,x,z(t,x),u(t,x)), (t,x)e D , (3)

z (t0, x ) = a (x), x = x0, x0 +1,..., X, z(t,x0) = P1 (t), t = t0,t0 + 1,...,t1, (4)

a ( xo ) = P1 (<0),

y (t +1,x +1) = g(t,x,y (t,x),v(t,x)), (t,x)e D , (5)

y (tj, x) = G (x, z (tj, x)), x = x0, x0 +1,..., X,

У(t,xo) = P2 (t), t = t1,t1 +1,...,t2, (6)

G (xo, z (tl, xo ))= P2 (t1 ).

Here f (t, x,z,u), (g (t,x,y,v)) is a given n (ra)-dimensional vector function that is continuous with respect to the set of variables together with its partial derivatives with respect to z (y) up to the second order inclusive, 9i(z), 92(y) are given twice continuously differentiable scalar functions, a(x), (t), i = 1,2 are given discrete vector-valued functions of corresponding dimensions, u (t,x)

(v(t,x)) is r (q)-dimensional control actions vector, U, Vare given non-empty and bounded sets, G(x,z) is a given ra-dimensional

vector-valued function continuous with respect to the set of variables together with its partial derivatives with respect z up to second order inclusive, t0, ^, t2, x0, X are given numbers, and the differences t2 -10 and X - x0 are integers.

The first order necessary optimality conditions of the Pontryagin maximum principle type is established and singular case is investigated.

REFERENCES

1. Fornazini, E. & Marchesini, G. (1976) State-space realization theory of two-dimensional filters. IEEE Transactions on Automatic

Control. AC-21(4). pp. 484-492.

2. Kaczorek, T. (1985) Two-dimensional linear systems. Berlin: Springer.

3. Gayshun, I.B. & Xoang, Van Kuang (1991) Conditions for complete controllability of discrete two-parameter systems. Differential

Equations. 27(2). pp. 187-193. (In Russian).

4. Gayshun, I.B. (1996) Mnogoparametricheskie sistemy upravleniya [Multiparameter control systems]. Minsk: IM NAS of Belarus.

(In Russian).

5. Vasilyev, O.B. & Kirillova, F.M. (1967) Ob optimal'nykh protsessakh v dvukhparametricheskikh diskretnykh sistemakh [On Opti-

mal Processes in Two-Parameter Discrete Systems]. Dokl. Academy of Sciences of the USSR. 175(1). pp. 17-19. (In Russian).

6. Vasilyev, O.B. (1968) K optimal'nym protsessam v nepreryvnykh i diskretnykh dvukhparametricheskikh sistemakh [To optimal

processes in continuous and discrete two-parameter systems]. Informatsionnyy sbornik trudov VTs Irkutskogo gosuniversiteta. 2. pp. 87-104.

7. Stepanyuk, N.N. (1978) Some problems of controllability and observability of two-parameter discrete systems. Differential Equa-

tions. 12. pp. 2190-2195. (In Russian).

8. Mansimov, K.B. (2013) Diskretnye sistemy [Discrete systems]. Baku: BSU.

9. Mansimov, K.B. & Nasiyati, M.M. (2011) Necessary conditions of optimality in a discrete multi-stage control problem. Matematichne ta komp'yuterne modelyuvannya - Mathematical and Computer Modeling. 5. pp. 162-179. (In Russian).

10. Nasiyati, M.M. (2015) Usloviya optimal'nosti v stupenchatykh diskretnykh dvukhparametricheskikh zadachakh upravleniya [Optimality conditions in stepwise discrete two-parameter control problems]. Abstract of PhD in Mathematics.

11. Mansimov, K.B. & Mardanov, M.Dzh. (2013) Kachestvennaya teoriya optimal'nogo upravleniya sistemami Gursa-Darbu [Qualitative theory of optimal control of the Goursat-Darboux systems]. Baku: ELM.