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

УДК 517.977

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

И. В. Гребенникова1, А. Г. Кремлёв2

1 Старший преподаватель кафедры информационных систем и технологий, Уральский федеральный университет им. первого Президента России Б. Н. Ельцина, Екатеринбург, giv001 @mail.ru

2Доктор физико-математических наук, профессор кафедры мультимедиа технологий, Уральский федеральный университет им. первого Президента России Б. Н. Ельцина, Екатеринбург, kremlev001 @mail.ru

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

Ключевые слова: сингулярно возмущенная система с запаздыванием, оптимальное управление, фундаментальная матрица.

ВВЕДЕНИЕ

В данной работе рассматриваются динамические объекты, математическими моделями которых являются сингулярно возмущенные системы с постоянным запаздыванием по быстрым и медленным переменным. Рассматривается задача оптимального управления в постановке [1,2] для сингулярно возмущенных систем с запаздыванием (как по медленным, так и по быстрым переменным) при неопределенных начальных условиях и геометрических ограничениях на управляющие воздействия. Формулируется и решается предельная задача управления сингулярно возмущенной системой с запаздыванием минимаксная по форме, для которой специальным образом выбирается функционал качества. В основе предлагаемого метода лежат идеи выделения асимптотики ансамбля траекторий сингулярно возмущенной системы, предложенные А. Г. Кремлёвым в работе [3], но при отсутствии запаздывания и представления фундаментальной матрицы решений, разбитой на блоки в соответствии с размерностями быстрых и медленных пременных, в виде равномерно сходящейся последовательности. При реализации метода используются результаты исследований [1-6], а также аппарат выпуклого анализа [7]. Приводится начальное приближение оптимального решения (относительного малого параметра), при этом не требуется чрезмерных условий гладкости (дифференцируемость не выше первого порядка), ограничений на класс допустимых управлений.

1. ПОСТАНОВКА ЗАДАЧИ

Рассматривается управляемая сингулярно возмущенная система (с малым параметром ^ > 0) с запаздыванием Н > 0 (по состоянию):

= Ап(Ь)х(Ь) + А12(Ь)у(Ь) + вп(Ь)х(Ь - Н) + ^12(Ь)у(Ь - Н) + В(Ь)п(Ь), = А21 (ь)х(ь) + ¿22(ь)у(ь) + в21 (ь)х(ь - Н) + цв22(ь)у(ь - Н) + в2(ь)п(ь),

где Ь е Т = [Ь0,Ь1 ], х е Яп, у е Ят, А^, Bi, в^ = 1, 2) — матрицы соответствующих размеров с непрерывными элементами. Начальное состояние системы х(Ь) = фх(Ь), Ь0 - Н < Ь <Ь0, х(Ь0) = х0, у(Ь) = фу (Ь), Ь0 - Н < Ь <Ь0, у(Ь0) = у0 точно неизвестно и заданы лишь ограничения х0 е Х0, у0 е У0, где Х0, У0 — выпуклые компакты в соответствующих пространствах, фх (Ь) е Фх (Ь), фу (Ь) е Фу (Ь), Ь0 - Н ^ Ь <Ь0, Фх (Ь), Фу (Ь) — заданные многозначные отображения со значениями в виде выпуклых компактов (в Яп, Ят), непрерывные по Ь в метрике Хаусдорфа. Реализации управления п(Ь), Ь е Т — измеримые по Лебегу функции, удовлетворяющие условию п(-) е Р, Р — слабокомпактное выпуклое множество в Ьг2(Т). В данном случае Р = {п(-)\п(Ь) е Р(Ь), Ь е Т}, где Р(Ь) — заданное непрерывное, ограниченное, выпуклое многозначное отображение.

Будем предполагать выполненным следующее предположение.

Предположение 1. Корни As (t) характеристического уравнения

| A22(t) - ßAE + (t)e-Ah| = 0,

где E — единичная матрица, удовлетворяют неравенству Re As (t) < -2c < 0, при t e T, c = const > 0.

Тогда по критерию асимптотической устойчивости для линейных систем с запаздыванием [8, с. 162] при достаточно малых ß (0 < ß < ßo) фундаментальная матрица решений Y[t,T] системы ßdy/dt = A22(t)y(t) + ßG22(t)y(t - h), Y[t, t] = 0, при t > t, Y[t, t] = E, при to < t < t < ti имеет оценку

||Y[t,T]|| < co exp{-c(t - t)/ß}, (2)

c0 > 0 — некоторая постоянная, || • || — евклидова норма.

Введем следующие обозначения: z' = (x', y'), Zo = Xo x Yo, ф' = (фЖ, ФУ), Ф = x , Z(t,u(^),Zo, ф(0), to < t < t1 — множество (ансамбль) траекторий z(t,u(^),zo, ф(0) системы (1), исходящих из Zo, при некотором ф() e Ф(-) и фиксированном u(^) e P. Определим функционал J(•):

J (u(^)) = max max ^(z(ti; uO,zo ,фШ, zoez0

где Rn+m ^ R — заданная выпуклая функция (с конечными значениями).

Задача 1. Среди управлений u(-) e P найти оптимальное uo = uo(•), доставляющее минимум функционалу J(u(-)) на множестве P:

eo(ti) = J(uo) = min J(u(0). v 7 v 7 u(-)eP

Пусть Z[t,T] — фундаментальная матрица решений системы (1) (при u = 0), причем Z[t, т] = E, Z[t, т] = 0 при т > t. Матрицу Z[t, т] представим в следующем блочном виде:

Z[tT]= (Zii [t,T] Zi2[t,TA yZ2l [t,T] Z22 [t, T])'

здесь Zii [t,T], Zi2[t,T], Z2i [t, т], Z22[t,T] — матрицы с размерами n x n, n x m, m x n, m x m соответственно.

Решение задачи 1 при каждом фиксированном значении параметра ß > 0 описывается следующими соотношениями (используя рассуждения из [2, c. 73] и [3, с. 62], но для системы с запаздыванием):

(ti)= min max max max {/' z(ti; u(0,zo,ф(0) - (l)} = max{xo(l, ß)|1 e Rn+m} = /(1o, ß), u(-)ePieRn+m zoeZo ^(.)еФ(-)

Xo(1,ß) = -h**(l) - p(-r(S ti,1,ß)|P), (3)

to + h

h(1) = (l) - p(1' Z[ti,to]|Zo) - ^ p(1' Z[t, т]G(t)| ф(т - h)) dT,

to

r(T; t,1,ß) = (p' Zii [t,T] + q' Z2i [t,T])Bi (т) + (1/ß)(p' + q%2 (т),

где l' = (p', q'), p G Rn, q G Rm, <p*(l) — функция, сопряженная [7, c. 52] к <p(z); h**(l) = (co h)(l) — замыкание выпуклой оболочки [7, c. 65] функции h(l); p(s|X) — опорная функция множества X на

пп\ ( Gn(t) ßGi2(i)\ о

элементе s, G(t) = . Оптимальное управление u0(^,р) удовлетворяет условию

yG21(t)/ß G22(t) У

минимума: для почти всех т G T

min г(т; ti, l0, р)и(т) = г(т; ti, l0, ß)u0 (т, р). (4)

и(т )GP (т)

Полученные u0l0, eo(ti) зависят от параметра ß. Однако эти величины при ß ^ +0 могут не сходиться [4, с. 38] к соответствующим решениям задачи 1 для вырожденной системы (полученной из исходной при ß = 0).

Наряду с задачей 1 рассмотрим вырожденную задачу.

Задача 2. Среди управлений u(-) е P найти оптимальное u0 = u0 (•), доставляющее минимум функционалу Jo(u(-)):

eo(ti) = Jo(uo) = min Jo(u()), u(-)ep

Jo(u(-))= max max фо (ti; u(-),xo ,фх ())), xoeXo фх(-)еФх(■)

где z0(t; u(-),x0,фх(•)) — решение вырожденной системы, полученной из (1) при ß = 0:

dx(t)/dt = Ao (t)x(t) + Go(t)x(t - h) + Bo(t)u(t), (5)

y(t) = -A- (t)Ä2i (t)x(t) - A— (t)G2i(t)x(t - h) - A- (t)B2(t)u(t), (6)

где t е T, Ao(t) = An(t) - A12(t)A- (t)Ä2i(t), Go(t) = Gn(t) - A12(t)Ä-(t)G2i(t), Bo(t) = Bi(t) -- Ai2(t)A- (t)B2(t).

Пусть X [t,T] — фундаментальная матрица решений системы (5) (при u = 0), причем X [т,т] = E, X [t,r] =0 при т > t.

Пользуясь методами из [2, с. 73] и [3, с. 62], но для системы с запаздыванием, получим следующие соотношения при каждом фиксированном значении параметра ß> 0:

eo(ti) = max{xo(p,q)\p е Rn,q е Rm} = Xo(po,qo), (7)

ti

Xo(p,q) = -hl* (p,q) - J p(-w'(T,p,q)Bo (t)\P(т)) dT - p(q'A— (ti)B2 (ti)\P(ti)),

to+h

где ho(p,q) = <p*(p,q) - p(w'(to,p,q)\Xo) - f p(w'(T,p,q)Go(t)\Фх(t - h))dT, w'(T,p,q) =

to

= s'(ti ,p,q)X[ti,t] -q'A- (ti)G2i (ti)X[ti-h,T], при to < t < to + h; s'(ti,p,q) = p'-q'A— (ti)A2i (ti). Оптимальное управление uo(•) удовлетворяет условию минимума: при т е T

w' (T,po ,qo )Bo (t)uo (t) = min w' (t,po ,qo )Bo (t)u(t),

u(T )eP (T ) (8)

qoA-}(ti)B2(ti)uo(ti)= min qoA— (ti)B2(ti)u.

ueP (ti)

Предположение 2. 1. Система (5) относительно управляема [9] на T. 2. Максимум в (7) достигается на векторе l'o = (p'o,qb) таком, что s'(ti;po,qo) = 0.

Тогда условия (8) определяют управление uo (•) е P(•) как некоторую измеримую на T функцию, при этом найдется такой вектор xo е Xo, фх (•) е Фх(0, что uo(•) приводит траекторию zo(•; uo(•),xo,фх(-)) на границу множества достижимости Fo(ti,P(•),xo,фх(-)) вырожденной системы,

Fo(ti,P(-),xo,фх(•)) = {z е Rn+m\z = zo(ti,u(-),xo,фх(-)),u(-) е P(•)} (9)

и

eo(ti ) = Jo (uo (•)) = max max ip(zo (ti; uo(-),xo ,фх (•))).

хоeXo фх(-)e^x(■)

Как уже отмечалось, решение (uo(•), lo, eo(ti)) задачи 2 не дает даже начального приближения решения задачи 1. Но конструкция вырожденной системы (с некоторыми расширениями) будет использоваться в дальнейшем, поскольку с ней связаны асимптотические свойства траекторий исходной сингулярно возмущенной системы с запаздыванием. На основании же асимптотических свойств можно существенно упростить получение решения исходной задачи 1. Поэтому важное значение

приобретают методы, позволяющие построить аппроксимацию оптимального управления и°доставляющую оптимальное значение (¿1) = J(и0(^р)) с заданной точностью (относительно р). В данной работе в основе предложенного способа определения требуемого приближения лежит возможность представления блоков Zj■ [¿,т; р] (г,^ = 1, 2) в виде пределов равномерно сходящихся на [¿°, ¿1 ] последовательностей Z(.k) [¿, т; р], к = 0,1,2,..., при 0 < р < р° (р° достаточно мало).

3. АСИМПТОТИКА ФУНДАМЕНТАЛЬНОЙ МАТРИЦЫ

Пусть т] — решение матричного уравнения

т]М = т] + £(*)£[* - Н, т] + В(¿)и(£),

Z1[í,т] — решение матричного уравнения

с^[¿,т]М = [¿,т] + ^(¿^[£ - Н, т],

причем Z1 [т, т] = Е, Z1 [¿,т] = 0 при т > Z0 [¿,т] — решение матричного уравнения

[£,т ]М = [£,т ],

причем Z0 [т, т] = Е. Тогда по формуле Коши [10] получаем:

ъ

Z1 [¿,т] = Z0 [¿,т Z0 [¿, [5 - Н, т

ъ

%т] = Zl [¿,т] + У Zl[t,s]B(в)и(в)йв. (10)

т

Применяя формулу (10) для каждого блока матрицы Z[¿,т], получим следующее утверждение. Лемма. Матрицы Z^j [¿,т] (г,^ = 1, 2), < т < £ < ¿1 , удовлетворяют уравнениям:

ъ

Zll [¿,т] = X[¿,т]+ ^ X[¿,в]А12(^А-1 (^(^21 [в,т]/йв) ¿8+

т

ъ

+ ] X [¿,8] (р^12 (^21 [8 - Н, т ] - А12(8)А-21 (^22 (^21 [в - Н, т]) (11)

т

ъ

Zl2 [¿,т]= р! X [¿,8]А12 (^А- (^(^22 [а,т]/^) ¿8+

т

ъ

+ У X[¿,8] (р^12 (^22 [8 - Н, т] - А12(8)А-21 (^22(^22 [8 - Н, т]) (12)

т

ъ

Z21 [¿,т] = (1/р^ г [¿,8](А21 ДОц [8,т]+ ^21 ДОц [8 - Н, т])

т

ъ

Z22[í,т] = У [¿,т] + (1/р^ У [¿,8](А21 [8,т] + ^21 (^2 [8 - Н, т])

т

Уравнения (11) и (12) преобразуются к виду

/ъ (0) [£ ч]

^ 1А-21 (8) (А21 ДОц [8, т] + £21 ДОц [8 - Н, т]) (13)

т

^2 [¿,т] = ^[^т] - | А-21 (8)(А21 ДО12 [8,т] + ^21 ДО12 [8 - Н, т])

т

здесь матрица Z(2) [¿, т] определяется формулой

ъ

^ М=/ XМ(А12 (8)У [8,т]+ р£12 (а)У [8 - Н,т])

т

Теорема 1. Существуют такие достаточно малое число р° > 0 и постоянная N > 0, что в области 0 < р < р°, < т < £ < ¿1, выполняются оценки:

11^11 М|| < N/(1 - рN); Ц^МЦ < рN(1 - е-с(ъ-т)/^)/(1 - рN), 1121 [£,т]|| < N(1 - е-с(ъ-т^)/(1 - рN), ^МН < с°е-с(ъ-т^ + рN2(1 - е-с(ъ-т^)/(1 - рN).

(14)

Доказательство. Пользуясь методом последовательных приближений Пикара, решение (13) можно представить как предел равномерно сходящейся на отрезке [¿°, ¿1 ] последовательности при 0 < р < р° (р° достаточно мало):

^ [£,т ]= X [£,т ],

ъ

[£, т] = X[£, т] - | (^ [£, з]/^) А-1 (8) (А21 (^ [8, т] + ^21 ДО^ [* - Н, т])

т

к = 0,1, 2,...

В силу ограниченности X[¿,т] (¿° < т < £ < ¿1) и оценки (2) при 0 < р < р° справедливы неравенства:

X[¿,т]Н < N°, ZÍ2) [¿,т] < рМс°(1 - е-с(ъ-т^

(dZ(2) (8)(А21 (^[8,т]+ £21 ДО[8 - Н, т])

-1

)/с,

< рNo N1 с°/с,

[£,т] - Z(1) [£,т] < рfc+1No(NlCo/c)fc+1, к = 0,1, 2,...,

где N° > 0, N > 0 — некоторые постоянные. Отсюда непосредственно следует (при соответствующем выборе N > 0) оценка для Z11[í,т] в (14). Аналогично получаются остальные неравенства, причем в области 0 <р < р°, < т < £ < ¿1 имеем:

ZÍ2+1)[í,т] - Z(2) [£,т] Z2í+1)[í,т] - Z2t) [£,т]

< рк+2N°N1^(с°/с)(1 - е-с(ъ-т)/^),

< рк+1 N°N1^(с°/с)(1 - е-с(ъ-т)/^),

Z2k+1) [¿,т] - Z2k) [¿,т] < ркN°N1= (с°/с)2(р(1 - е-с(ъ-т^) - с(£ - т)е-с(ъ-тк = 0,1, 2,..

. □

Рекуррентные формулы для вычисления Zij [¿,т] (г,^ = 1, 2), определяющие асимптотику фундаментальной матрицы, есть:

[£, т] = X[£, т] - у (^ [£, ^/ДО-1 (8) (А21 (^ [8, т] + ^21 (s)ZЙ) [* - Н, т])

т

ъ

z22+1) [£,т] = У [¿ДО^ z2í) [¿,8](А12 ДО ДО] + р£12(8)У [^ - Н,т])

ъ

Z^ [t,n] = I [t,s](A12(s)Y[s,n] + pGi2(s)Y[s - h,n]) ds,

r(k)

Z{21 [t,r] = (1/p) I Y[t,s](A21 (s)Z\1) [s,r] + G21 (s)Z\1) [s - h,r]) ds, k = 0,1, 2

r(k)

(k)\

причем Z11 [t,r] = X[t,r], Z20 [t,r] = Y[t,r].

Для задачи 1 соотношение (3) можно представить (см. [5, с. 7] и [6, с. 68]) в следующем виде:

(ti ) = min max{-p* (p,q) + p(p' Zn [t1 ,to ] + q'Z2i[ti ,to ]lXo) +

u(-)<eP p,g

+p(p'Zi2[ti,to]+ q'Z22[ti ,to]|Yo) + J [(p'Zii [ti,r]+ q'Z2i [ti,r])Bo(n)+

to

+ (1/p)q'Y[ti,r]B2(r) - £(r,ti,p,q)A- (r)B2(r)]u(r)dr+

to+h

+ J p((p'Zii [ti,r]+ q'Z21 [ti,r])Go(r) - i(r,ti,p,q)A- (r)G2i (r)\Vx(r - h))dr+ t0

to+h

+ У p((p'Zii [ti,r] + q'Z2i [ti,r])pGu(n) + (p'Zi2[ti,r] + q'Z22[ti,r])G22(r)\*y (n - h))dr}, (15) t0

где

d

£(r,ti,p,q) = — [p'Zi2[ti,r] + (1/p) q'Y[ti,s]A2i (s)Zu [s,r] ds],

d'

to+h

£(r,ti ,p,q) = — [p' Zi2[ti ,n] + (1/p) q'Y [ti ,s]A2i (s)Z^ [s,r] ds].

На основании теоремы А. Лебега [11, с. 259] при 0 < р < р0 (р0 достаточно мало) для любых п(-) е Р(•), р е Яп, д е Ятб справедливы оценки

£(n,ti ,p, q)A-2 (r)B2 (t)u(r)dr

to+h

t0

< u(p)[\\p\\ + Ni ||q||],

p(^(r, ti, p, q)A- (r)G2i (r) \*x(r - h))dr

t0

(16)

< u(p)[\\p\\ + N2\\q\],

где ш(р) = o(1), N1, N2 > 0 — некоторые постоянные.

2. АППРОКСИМАЦИЯ РЕШЕНИЯ ЗАДАЧИ 1

Построим начальное приближение (•), доставляющее оптимальное значение е°(ti) = J(uo(•)) с точностью o(1) при р ^ +0.

Теорема 2. При 0 < р < po (po достаточно мало) для любых p е Rn, q е Rm, выполняются соотношения:

xo(p,q) = x(o)(p,q) + ш(р) \\i\\ ,^(р) = o(i),

ti 00

(p,q) = -hi* (p,q) - j p(-w' (r,p,q)Bo (r)\P (r))dr -J p(-q' Фo [ti ,s]B2(ti )\P (ti)) ds,

t0

где Фа [ti ,s] = Y[ti ,ti - ps];

t

t

t

i

ti

t

i

(¿1 )= ) + о(1),

£(0)(¿1) = тах{х(0)(р,д)|р е яп,Я е ят} = х(0)(р(0),4(0)). (17)

Для доказательства производятся преобразования соотношения (15), аналогичные сделанным для (3), и учитываются оценки (14), (16), причем (с учетом (2))

ti

(1/^У q'Y[ti,t]B2(t)u(t) dr = J q'Фо[ti, s]B2(ti)u(ti - ps) ds + o(l),

to 0

где a = a(p) £ R, a > 0, a = o(1), a/p ^ при p ^ +0. Пусть v(-) £ Li, v(s) £ P(ti), s £ [0, Из предположения 1 следует, что множество

с

у = {у £ Rm| V = J Фо [ti, s]B2 (ti )v(s) ds, v(s) £ P (ti), s > o}

0

есть выпуклый компакт в Rm. При этом для любого и(т) £ P(т), т £ T найдется такая функция v(-) £ Li, v(s) £ P(ti), s £ [0, +ro), что при 0 < p < p0 выполняется следующее равенство:

t1 со

p J q'Y[ti,т]В2(t)u(t) dT = J Фо[ti,s]B2(ti)v(s) ds + o(1).

to 0

Предположение 3. 1. rank {B2(ti), A22(ti)B2(ti),..., Am2-i(ti)B2(ti)} = m. 2. Максимум в (17) достигается на векторе (/(0))' = (р(0) , q(0) ) таком, что s'(ti;р(0), q(0)) = 0, q(0) = 0.

Следует заметить, что при выполнении условия 1 из предположения 2 и условий 1, 2 из предположения 3 задача 1 разрешима [1, с. 110], [2, с. 76], т.е. существует управление u0 (•) £ P (•), удовлетворяющее (4) при 0 < p < p0, причем вектор (/°)' = (р0 ,q0 ), максимизирующий (3), отличен от нулевого.

Рассмотрим управляющее воздействие u^0)(-) :

u<0>(т) = {"!!(т)' t0 * T * * - a(p), (18)

* \v(0) ((ti - т)/p), ti - a(p) < т < ti,

где u(0)(^), v(0) (•) определяются условиями: для почти всех т £ [t0,ti]

w'(т,р(0),q(0))B0(т)u(0)(т) = min w'(т,р(0), q(0))B0(т)и(т); (19)

u(T )еР (т)

для почти всех s ^ 0

q(0)Ф0[ti,s]B2(ti)v(0)(s) = min q(0)Ф0[ti, s]B2(ti)v(s). (20)

v(s)eP (ti)

Как уже отмечалось, при выполнении условия 1 из предположения 2 и условий 1, 2 из предположения 3 задача 1 разрешима, причем оптимальное управление этой задачи есть u*0)(•) из (18), и доставляет функционалу J значение J(u*0)(•)) = е(0)(ti) (17), при 0 < p < p0, где p0 достаточно мало. Следующую задачу будем называть предельной [3-5].

Задача 3. Среди управлений и(т) £ P(т), т £ T, v(s) £ P(ti), s > 0, найти u(0) = u(0)(•), v(0) = v(0) (•);

J(0) (u(0),v(0)) = min{ J(0)("(•), v( •))|u(-) £ P(0,v(0 £ P(ti)}.

П. В. Гоебенникова, А. Г. Кремлёв. Аппроксимация управления сингулярно возмущенной системой где J(o)(u(• ),v(•)) = max{p(z(ti; u(• ),v(• ),xo,Фх(• )))\xo е Xo,фх(•) е (• )},

~ ( xo (ti) o

z(ti; u( •),v( • ),x°,Фх ( • ))= [-A- (ti )(A2i (ti )xo (ti ) + G2i (ti )xo (ti - h)) + 0 Ф^^Ь ,s]B2 (ti )v(s) dsf

o

причем xo(•) = xo(•; u(• ),xo,фх(•)) — решение (5).

Теорема 3. Пусть выполнены условие 1 предположения 2 и предположение 3. Тогда задача 3 разрешима, причем:

1) u(o, v(o удовлетворяют условиям минимума (19), (20) и доставляют функционалу J значение J(o)(u(o) ,v(o)) = e(o) (ti);

2) выполняется неравенство (ti) < eo(ti).

Доказательство. Вычисляя минимум J(o)(• ), получим:

min{J(u( • ),v( • ))\u( •) е P (• ),v( •) е P (ti)} = minmax max max {-p * (p,q)+

u,v p,q xo £Xo фх еФх (■)

+p' xo (ti; u( • ),xo ,фx( •)) - q' (ti )(A2i (ti )xo (ti; u( •), xo ,фx (• ))+

o0

+G2i(ti)xo(ti - h; u(• ),xo,фx(• ))) + J я'Фи[ti, s]B2(ti)v(s) ds} =

o

= max{x(o) (p,q)\ p е Rn, q е Rm} = e(o) (ti),

00

причем если v(•) = v = const, v е P(ti), то J q'Ф0[ti,s]B2(ti)vds = -q'A--2i(ti)B2(ti)v, и приходим

o

к (7). Сравнивая предельную и вырожденную задачи, имеем неравенство e(o)(ti) < eo(ti). Принимая во внимание (17), приходим к условиям (19), (20). □

Пусть F(ti,P(• ),zo,ф(• )) — множество достижимости к моменту t = ti > to + h для исходной системы (1) при zo е Zo, ф(•) е Ф:

F(ti,P(• ),zo,ф(•)) = {z е Rn+m\z = z(ti,u(• ),zo,ф(• )),u(•) е P(• )},

Fo(ti,P(• ),xo,фx(•)) — множество достижимости (9) вырожденной системы (5), (6);

F(o)(ti,P(• ),xo,фx(•)) = {z е Rn+m\z = z(ti,u(• ),v(• ),xo,фx(• )),u(•) е P(• ),v(•) е P(ti)}.

Тогда при 0 < p < po для l е Rn+m, \\l\ = 1, xo е Xo, yo е Yo, фx(•) е ^x(• ), фу(•) е Фу(• ), справедливы следующие соотношения (аналогично [4,5]):

p(l\F (ti ,P (• ),zo ,ф( • )) = p(l\F(ti ,P (• ),xo ф (•)) + o(1), p(l\F(ti ,P (• ),xo ф (•)) > p(l\Fo (ti ,P (• ),xo ф (• ))■

Таким образом, для любых xo е Xo, фx (•) е Ф:с (•) выполняется включение

F(o (ti ,P (• ),xo ,фx (•)) Э Fo (ti ,P (• ),xo ,фx (•)).

Пусть pk, k = 1,2,..., где 0 < pk < po есть некоторая сходящаяся к нулю последовательность чисел. Этой последовательности чисел сопоставим последовательность управлений вида (18): uk^ (•) = u^k (• ), k = 1,2,... В силу слабой компактности множества P в пространстве L2 (T) можно выделить подпоследовательность (• ), слабо сходящуюся к некоторой функции u(o (•) е P. Рассмотрим соответствующую последовательность оптимальных (для задачи 1) управлений u°k. (•) = uo (• ,pkj), j = 1, 2,..., удовлетворяющих (4). Обозначим vk. (•) = vo (•, pkj), vo(s,p) = uo(ti - ps,p), 0 < s < 1/e < a(p)/p при 0 < p < po, где e > 0 — произвольно выбранное число, po — достаточно мало.

Теорема 4. Пусть выполнены условие 1 из предположения 2 и предположение 3 и пусть максимум в (17) достигается на единственном векторе /(0). Тогда верно следующее:

1) и°к .(•) слабо сходится к и(0) (•), для которого выполняется (19) г>0. (•) слабо сходится к -и(0) (•), для которого выполняется (20) (в е [0,1/е] для любого е > 0);

2) для и^0(•) из (18) при ф(-) е Ф(^) имеет место следующее неравенство:

рДО (¿1; и0 (-),Яо - рДО и(0) ,ф(0))| < Ы (р),

где ы0(р) = о(1), 0 < р < р0, неравенство равномерно по всем I е Яп+т, I'I = 1;

3) при р ^ +0 множество Z(¿1; и0(•)^0сходится в хаусдорфовой метрике к выпуклому замкнутому ограниченному множеству

^(¿1; и(0) (-)У0)(•),Х0,фж(•)) = (г е | г = ¿?(*1; и(0) (•), и<0)(•),Х0),Х0 е Х0, фх(•)}.

Доказательство. В силу оценок (2), (14), (16), теоремы 2, учитывая соотношение [4, формула (2.5)]: при г е Т, ¿0 < т < Ь - а(р),

z2?)[í,r] = -а2"2(г)(А21 (г)х[г,т] + £21 (г)х[г - л,т]) + 0(1), 0 < р < р0;

для любых и(-) е Р(•), г>(в) = и(г1 — рв), в е [0, а(р)/р), I' = (р', #') е рп+т справедливо представление:

ч

J г(т; ¿1 ,/,р)и(т) ^т =

Ьо

ад'(т,р,д)Б0(т)и(т) ^т + J д'У[¿1 ,¿1 - рз; р]р2(¿1 - рв)ф) ^ + £'(I, р), (21)

Ьо 0

причем |£'(1,р)| < ||1||ы'(р), где ы'(р) = о(1) при 0 < р < р0.

Из предположения 3, единственности /(0), теоремы 2 имеем = /(0) + о(1). Тогда из слабой компактности Р получим утверждение 1) теоремы. Утверждение 2) (а также утверждение 3) при оценке разности опорных функций указанных множеств) определяется на основании (21), свойств управления и0(•) и управления, и°(-), определенного в (18). □

Библиографический список

1. Красовский Н. Н. Теория управления движением. М. : Наука, 1968. 475 с.

2. Куржанский А. Б. Управление и наблюдение в условиях неопределенности. М. : Наука, 1977. 392 с.

3. Кремлёв А. Г. Асимптотические свойства ансамбля траекторий сингулярно возмущенной системы в задаче оптимального управления // Автомат. и телемех. 1993. № 9. С. 61-78.

4. Гребенникова И. В. Аппроксимация решения в минимаксной задаче управления сингулярно возмущенной системой с запаздыванием // Изв. вузов. Математика. 2011. № 10. С. 28-39.

5. Гребенникова И. В. Задача оптимального управления сингулярно возмущенной системой с запаздыванием при интегральных квадратичных ограничениях // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2012. Т. 12, вып. 4. С. 3-11.

6. Кремлёв А. Г., Гребенникова И. В. Об асимптотике ансамбля траекторий управляемой сингулярно возмущенной системы с запаздыванием // Новости научной мысли - 2006 : материалы науч.-практ. конф. : в 4 т. Днепропетровск : Наука и образование, 2006. Т. 4. С. 65-69.

7. Рокафеллар Р. Выпуклый анализ. М. : Мир, 1973. 492 с.

8. Красовский Н. Н. Некоторые задачи теории устойчивости движения. М. : Физматгиз, 1959. 468 с.

9. Кириллова Ф. М. Относительная управляемость линейных динамических систем с запаздыванием // Докл. АН СССР. 1967. Т. 174, № 6. С. 12601263.

10. Беллман Р., Кук К. Дифференциально-разностные уравнения. М. : Мир, 1967. 547 с.

11. Натансон И. П. Теория функций вещественной переменной. М. : Наука, 1974. 468 с.

Approximation of Control for Singularly Perturbed System with Delay with Geometric Constraints

I. V. Grebennikova, A. G. Kremlev

Ural Federal University, 19, Mira st., 620002, Ekaterinburg, Russia, giv001 @mail.ru, kremlev001 @mail.ru

The control problem for the singularly perturbed system with delay with indeterminate initial conditions and geometric constraints on the control resources according to the minimax criterion is considered. A limiting problem is formulated for which a specially selected quality functional is chosen. We propose the procedure for initial approximation construction of a control response in the control minimax problem.

Key words: singularly perturbed system with delay, optimal control, fundamental matrix.

References

1. Krasovskii N. N. Teorija upravlenija dvizheniem [The Theory of Motion Control]. Moscow, Nauka, 1968, 475 p. (in Russian).

2. Kurzhanskij A. B. Upravlenie i nabljudenie v uslo-vijah neopredelennosti [Control and Surveillance in the Face of Uncertainty]. Moscow, Nauka, 1977, 392 p. (in Russian).

3. Kremlev A. G. Asymptotic properties of a set of trajectories of a singularly perturbed system in the optimal control problem. Autom. Remote Control [Avtomatika i Telemehanika], 1993, vol. 54, iss. 9, pp. 1353-1367.

4. Grebennikova I. V. Solution approximation in a minimax control problem for a singularly perturbed system with delay. Russian Math. [Izvestiya VUZ. Matematika], 2011, vol. 55, iss. 10, pp. 23-33. DOI: 10.3103/S1066369X11100045.

5. Grebennikova I. V. The problem of optimal control for singularly perturbed system with delay with integral quadratic constraints. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2012, vol. 12, iss. 4, pp. 3-11 (in Russian).

6. Kremlev A. G., Grebennikova I. V. About

y^K 514.174.3+519.65

asymptotic of a set of trajectories of a singularly perturbed system with delay. Novosti nauchnoj mysli - 2006 : materialy mezhdunarodnoi nauch. prakt. konf. [News of Scientific Thought : proceedings of the international conference]. Dneproperovsk, Nauka i obrazovanie, 2006, vol. 4, pp. 65-69 (in Russian).

7. Rokafellar R. Vypuklyj analiz [Convex Analysis]. Moscow, Mir, 1973, 492 p. (in Russian).

8. Krasovskii N. N. Nekotorye zadachi teorii ustojchivosti dvizhenija [Some Problems in the Theory of Stability of Motion]. Moscow, Fizmatgiz, 1959, 468 p. (in Russian).

9. Kirillova F. M. Relative controllability of linear dynamic systems with delay. Doklady AN SSSR, 1967, vol. 174, iss. 6, pp. 1260-1263 (in Russian).

10. Bellman R., Kuk K. Differencial'no-raznostnye uravnenija [Differential-Difference Equations]. Moscow, Mir, 1967, 547 p. (in Russian).

11. Natanson I. P. Teorija funkcij veshhestvennoj peremennoj [Theory of Functions of a Real Variable]. Moscow, Nauka, 1974, 468 p. (in Russian).

КОЭФФИЦИЕНТ ИЗОПЕРИМЕТРИЧНОСТИ СИМПЛЕКСА В ЗАДАЧЕ АППРОКСИМАЦИИ ПРОИЗВОДНЫХ

В. А. Клячин1, Д. В. Шуркаева2

1 Доктор физико-математических наук, доцент кафедры компьютерных наук и экспериментальной математики, Волгоградский государственный университет, [email protected]

2Аспирант кафедры компьютерных наук и экспериментальной математики, Волгоградский государственный университет, [email protected]

В статье вводится величина = |<9£|п/(п-1)/|С| коэффициента изопериметричности области С с Кп. В терминах этой величины получены оценки погрешности 8 а (/) вычисления градиента при кусочно-линейной интерполяции функций классов С1 (С), С2(С), С1,а(С), 0 < а < 1. Задача получения таких оценок нетривиальна, особенно в многомерном случае. Здесь надо отметить, что в двумерном случае для функций класса С2 (С) сходимость производных обеспечивается классическим условием Делоне. В многомерном же случае, как показывают примеры, подобного условия не достаточно. Тем не менее в статье показано, как применить полученные оценки для триангуляции Делоне многомерных дискретных е-сетей. Полученные результаты дают достаточные условия сходимости производных на триангуляциях Делоне дискретных е-сетей при е ^ 0. Кроме этого найдены соотношения искажения коэффициента изопериметричности симплексов при квазиизометричном преобразовании.

Ключевые слова: коэффициент изопериметричности, симплекс, кусочно-линейная интерполяция.