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

УДК 517.977

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

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

Уральский федеральный университет, Екатеринбург, кафедра прикладной математики E-mail: [email protected]

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

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

On Iterative Method of Constructing Optimal Control for Singularly Perturbed Systems with Delay with Quadratic Constraints

I. V. Grebennikova, A. G. Kremlev

Ural Federal University, Ekaterinburg, Chair of Applied Mathematics E-mail: [email protected]

The control problem for the singularly perturbed system with delay with indeterminate initial conditions and integral quadratic constraints on the control resources according to the minimax criterion is considered. Iterative procedure of constructing control response that approximates the optimal solution with given accuracy with respect to a small positive parameter is proposed.

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

ВВЕДЕНИЕ

Математическими моделями многих динамических процессов являются сингулярно возмущенные системы (с малым параметром при части производных) с запаздыванием (по состоянию). Решение задач оптимизации для таких объектов основывается на различных асимптотических представлениях их траекторий. Наиболее часто используемые подходы — декомпозиция краевой задачи (полученной из принципа максимума) на основе метода пограничных функций. В последние годы много работ посвящено проблемам оптимального управления такими системами (см. обзоры [1-3]). Зависимость текущей скорости изменения выходных переменных системы от их значений в предшествующие моменты времени приводит к моделям, которые описываются дифференциальными уравнениями с последействием [4].

В данной работе рассматривается задача управления по минимаксному критерию в постановке [5,6] для сингулярно возмущенных систем с запаздыванием при неопределенных начальных условиях и интегральных квадратичных ограничениях на управляющие воздействия. Терминальный функционал качества зависит как от быстрых, так и от медленных переменных. В основе предлагаемого метода лежит идея представления фундаментальной матрицы решений, разбитой на блоки в соответствии с размерностями быстрых и медленных пременных, в виде равномерно сходящейся последовательности [7]. При реализации метода используются результаты исследований [5-11], а также аппарат выпуклого анализа [12]. Оптимальное решение аппроксимируется с любой заданной точностью (относительного малого параметра), при этом не требуется чрезмерных условий гладкости (дифференцируемость не выше первого порядка), ограничений на класс допустимых управлений.

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

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

(х(ь)/(ь = л11(ь)х(ь) + л12(ь)у(ь) + С1(ь)х(ь — Н) + в1(ь, ^)п(ь),

»(у(Ь)/(Ь = А21 (Ь)х(Ь) + А22(Ь)у(Ь) + С2(Ь)х(Ь - Н) + В2(Ь,»)п(Ь), ( )

где Ь е Т = [Ь0,Ь1], х е Яп, у е Кт, л^, Вг, Сг, г,] = 1, 2, — матрицы соответствующих размеров с непрерывными элементами. Начальное состояние системы х(Ь) = ф(Ь), Ь0 — Н < Ь < Ь0, х(Ь0) = х0,

y(to) = y0 точно неизвестно и заданы лишь ограничения x0 G X0, y0 G Y0, где X0, Y0 — выпуклые компакты в соответствующих пространствах, -0(t) G Ф^), t0 — h < t < t0, Ф(£) — заданное многозначное отображение со значениями в виде выпуклых компактов (в Rn), непрерывное по t в метрике Хаусдорфа. Реализации управления u(t), t G T — измеримые по Лебегу функции, удовлетворяющие условию u(-) G P, P — слабокомпактное выпуклое множество в L2(T). В данном случае

ti

P = ju(-) J u'(t)R(t)u(t) dt < A2}, A = const > 0,

to

R(t) — симметричная, положительно определенная матрица с непрерывными элементами, штрих — знак транспонирования. Считаем выполненным следующее предположение.

Предположение 1. Собственные значения As(t) матрицы A22(t) удовлетворяют неравенству: Re As(t) < —2c < 0 при t G T, c = const > 0.

Тогда [13, с. 69] при достаточно малых д (0 < д < д0) фундаментальная матрица решений Y[t, т] системы дйу/dt = A22(t)y, Y[т, т] = Em, Em — единичная матрица m х m, при t0 < т < t < ti имеет оценку

|| Y[*,т]Н < С0 exp{—c(t — т)/д}, (2)

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

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

zМ = fZiiМ ,

yz2i [^т ] Z22[t, т у'

здесь Z11 [t, т], Z12[t,т], Z21 [t, т], Z22 [t, т] — матрицы с размерами соответственно n х n, n х m, m х n, m х m.

Введем следующие обозначения: z' = (x', y'), Z0 = X0 х Y0, Z(t, u(-), Z0, ^(-)), t0 < t < t1, — множество (ансамбль) траекторий z(t,u(-),z0,^(-)) системы (1), исходящих из Z0, при некотором G Ф(-) и фиксированном u(-) G P. Определим функционал J(■):

J (u(-))= mJax , ,^(z(t1; u(-),z0,^(-))),

zoGZo ^(-)еФ(-)

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

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

u(-)eP

Запишем систему (1) в виде

dz(t)/dt = A(t, д^) + G(t, д^ — h) + B(t, д)u(t), где матрицы A(t, д), B(t,д), G(t, д) имеют следующий блочный вид:

v^21 w/д a*2'2W/д; w ' ув2(г,д)/ду \G2W/д 0J

Решение задачи 1 описывается следующими соотношениями (используя [6]):

е0(t1 )= min max max max {l'z(t1; u(-),z0— ^*(1)} = u(-)ePieRn+m zoeZo

= max{x0(1,д) | l G Rn+m} = X0(10,д), (3)

Х0(1,д) = —h**(l) — p(—r(-;t1,1,д)| P),

to+h

h(1) = (l) — p(1'Z [t1 ,t0 ]|Z0) —J p(((p'Z11 [t,т]+ q'Z21 [t, т ])G (т) +

to

+ (1/д)(р'Z12[t, т]+ q'Z22[t,т])G2(т))|Ф(т — h))d^ г(т; t, l, д) = (p'Zll[t,т] + q'Z21 М)В1 (т, д) + (1/д)(р'Zl2[t,т] + q'Z22M)B2(т,д),

где I' = (р',д'), р е Яп, д е Ят; <-р*(I) — функция, сопряженная к (р(г) [12]; к**(I) = (со к)(1) — замыкание выпуклой оболочки функции к(1) [12]; р^Х) — опорная функция множества X на элементе 5. Оптимальное управление удовлетворяет условию минимума:

min / г(т; ti,l , p)u(r) dr = г(т; t\,l ,p)u (т, p) dr. (4)

u(-)ePj J

t0 t0

Полученные u0(^,p), l0, e0(ti) зависят от параметра p. Однако эти величины при p ^ +0 могут не сходиться [9] к соответствующим решениям задачи 1 для вырожденной системы (полученной из исходной при p = 0). Поэтому важным представляется построить аппроксимацию оптимального управления u0(^,p), доставляющую оптимальное значение e0(ti) = J(u0(^,p)) с заданной точностью (относительно p). В данной работе в основе предложенного способа определения требуемых приближений лежит возможность представления блоков Zj [t,r; p] (i,j = 1, 2) в виде пределов равномерно сходящихся на [t0,ti] последовательностей при (0 < p < p0, p0 достаточно мало) zj[t,r;p], k = 0,1, 2,...

Прежде всего проведем исследование для случая Bi(t,p) = Bi(t), B2(t,p) = ^/pB2(t). Другие варианты обсудим уже на основе полученных результатов. При указанных условиях вырожденная система, полученная из (1), при p = 0 имеет вид

dx(t)/dt = ÄQ(t)x(t)+ G0(t)x(t - h) + Bi(t)u(t), (5)

y(t) = -Ä-(t)Ä2i(t)x(t) - Ä-(t)G2(t)x(t - h), (6)

где t e T, Ä0(t) = Äii(t) - Äi2(t)Ä-2l(t)Ä2i(t), G0(t) = Gi(t) - Ä12(t)Ä-(t)G2(t).

Обозначим через Z0(t,u() Х0,ф(^)), t0 < t < ti — множество (ансамбль) траекторий z0(t,u(^),x0,ф() системы (5), (6), исходящих из Х0, при некотором ф(^) e Ф(-) и фиксированном u(^) e P, через X[t,r] — фундаментальную матрицу решений системы (5), (при u = 0), причем X[т,т] = En, X[t,r] =0 при т > t.

В работе [7] приведены оценки для блоков Zj\Ь,т] (i,j = 1, 2), причем последние могут быть представлены в виде пределов равномерно сходящихся на T последовательностей (при 0 < p < p0, p0 достаточно мало):

t

Zlk+l)[t,т]= X [t,т] - j (dZ$ [t, s] /ds)Ä-2 (s) (Ä21 (s)Z(lkl) M + G2 (s)zil) [s - h,т]) ds,

т

t t z2k2+l)[t,т]= YМ + / Z2k [t,s]Äi2(s)Y[s^] ds, Z((^т] = j Z(k)[t,s]Äi2(s)YM ds,

тт t

Z(2k [t,т] = (1/p)J Y[t,s](Ä2i (s)Z(k M+ G2(s)Z(k][s - h,т]) ds, k = 0,1, 2,...

т

причем Z^M = X [,t,т], Z20 [t,т] = Y [,t,т].

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

e0(t i) = min max{p(p' Zi i[t i,t0 ]+ q' Z21 [t i,t0 + p(p' Zi 2[t i,t0 ]+ q' Z22 [t i,t0]Y)+ u(-)eP p,q

ti

+ J[(p'Zii [ti, т] + q'Z21 [ti, т])B0(т, p) + (1/p)q'Y[ti, т]B2(т, p) - £(т,ti,p, q)Ä- (т)B2(т, p)]u(т)dт+

t0

to +h

+ J p((p' Zi i[t 1,т]+ q'Z2 i [t i^])G0 (т) - i(^t i,p,q)Ä-2i (т ^(т )|Ф(т - h)) dт - <p*(p,q)}, (7)

t0

t

t

1 О

где В°(£,д) = В(£,д) - А^А"^*)^, д), £(т,*1 ,р,д) = [р'ЗДъ т] + (1/д) /д'Г[£1,5)^21 (в) х

ат т

О ¿о+Л

х ^12[5,т] Ов], £(т,*ьр,д) = -Нр'ЗДьт] + (1/д) / д'Г[¿1,^21 (^ЗД^т] Ов].

ат т

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

¿о

р(С(т,£ьр, д)Л2"21(т)С2(т)|Ф(т - Л))0т

< и(д)[||р|| + N2 ||д||],

С(т, £1 ,р, д)А-21 (т)В2(т, Д)и(т)ат

(8)

< ^(д)[||р|| + N1 ||д||],

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

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

Используя последовательности [£, т, д], = 1, 2, к = 0,1, 2,..., можно аппроксимировать решение задачи 1 с любой заданной точностью (относительно д, 0 < д < до). Будем предполагать, что элементы матриц А12(т), А-1 (т) имеют на Т ограниченные производные. Построим управляющее воздействие и^к)(-), доставляющее оптимальное значение е°(£1) с точностью о(дк). Из (7) имеем

е°(*1) = ш1п шах(р[р/^1к)[£1,£°] + д'^ [£1, £°] + СГ (£°, £1 ,р,д)|Х°] + р[р'^ [¿1,£°] +

¿1 ¿о+Л

+д'^22)[£1,£°]+ С(к) (£°,£1,р, д)|Г°] + / г(к) (т,£х,р, д)и(т)0т + / р(г!к)(т,£ьр, д)|Ф(т - й)) 0т+

'(к) |

,(к)(

'(к) |

¿о

¿0

¿о+Л

+ / [С(к) (т,£1 ,Р,д)В°(т, д) + С(к)(т,£1,р,д)А221(т)В2(т,д)]и(т) От + / р^МъР, д)£°(т)+

+С~(к) (т,£1 ,Р,д)А-21 (т)С2(т)|ф(т - Л))0т - (р, д)}, р е д е Я™, (9)

где обозначены:

С((к)(т,£,р,д) = р'(^г[£,т] - ^[£,т]) + д'(ЗД,т] - ^[£,т]), « = 1, 2,

-(к)

(к) |

С(к) (т,£,р,д) = -р'-°- (^12 [£,т] - ^221)[£,т]) - 1 [ д'Г МА21 (в)-0 (ЗДв,т] - [в, т]) Ов,

ат

ат

¿о+Л

£(к) (т,£,р,д) = -р' ат (Зд,т] - ^{221) [£,т]) - д'Г [М]^) (^12 [в,т] - [в,т]) Ж,

г(к)(т,£,р,д) = (р'^(1)[£,т]+ д'^21)[£,т])В° (т, д) + (1/д)д'Г [£,т]В (т, д)-

'(к) I

'(к)

от [р' ^й_1)[£,т] + д'Г [£,в]А21 (в)^(221) [в,т] ^А"? (т)В2(т,д),

т

г!к) (т,£,р,д) = (р' ^ [£,т]+ д' М)£° (т) - (У ^ [£, т] +

(10)

I д'Г[£,в]А21 (в)^{221)[в,т] ав)А"21(т)С2(т).

д

¿о

(11)

Используя оценку (12) из работы [7] и оценки (8), получим следующий результат.

£

г

£

Лемма 1. Существуют такие достаточно малое число д0 > 0 и постоянная N > 0, что для любых t0 < т < t < t1, p G Rn, q G Rm, 0 < д < д0 справедливы неравенства:

left|ОГ(Z12[t,т] — z{2-1)[t,т]) < дк+^к+2(c0/c)(1 — e-c(t-T^),

В (3) имеем

C((k) (т, t,p, q) < дк+^k+2(||p|| + ||q|| (c0/c)(1 — e-c(t-T^)), i = 1, 2.

X0(1) = —h**(1) — A(a0(1; д))1/2, (12)

а°(г,д) = у I'£[£1,т; д]В(т, д)В-1(т)В'(т,д)^'[£1 ,т; д]10т.

¿о

Из (9) получим (с учетом введенных обозначений (10), (11)) следующие представления для (I; д) и й(1) в (12):

¿1-ао

а°(I; д)= J г(к)(т,£ьр,д; д)Я-1(т)г(к)'(т,£ьр,д; д) От + £1(1, д) +

го

/ ао(^)/^ \

+ -

r(k)(s,t1 ,p, q; д)R 1 (t1 — д^)г(к) (s,t1 ,p, q; д) ds + д£2(1,д)

-1

(к)' i

V

(13)

/

где а0 = а0(д) G R, а0 > 0, а0 ^ 0, а0/д ^ при д ^ +0, h(1) = h(k)(p, q) + £3(1, д),

^(к) (р, д) = ^ (р, д) - р[р^Й) [£ 1, £°] + д'^ [£ 1, £°] | х°] -

го+Л

-р[р'^{2)[£1,£°]+ д'^22)[£1,£°]|Г°] - I р(г(к)(т,£1,р,д)|Ф(т - Л))0т,

¿о

где г(к) (в, £1 ,р, д; д) = дг(к)(£1 - дв, £1,р, д; д), 0 < в < а°(д)/д, £¿(1, д), г = 1, 2,3, имеют по д порядок малости 0(дк+1) при 0 < д < д°.

Так как мы проводим исследование для случая В1 (£,д) = В1(£),В2(£, д) = д/дВ(£), то при указанных условиях из (13) получим (I; д) = стк(р, д) + £(1; д), причем |£(1,д)| < ||1||))(д), ))(д) = о(дк) при 0 < д < д°,

(k)

ti-ao(^)

ak (p,q)= J rjk) (т,^ ,p,q; д)R-1 (т)г(к) (т, t1 ,p,q; д) От+

to

+ J r2k)(s,t1 ,p,q;д)R-1(t1 — дз)г2к) (s,t1 ,p,q;д)ds, 0

(14)

здесь функции r(k) (т, t1,p, q; д), i = 1, 2, суть

rik)M1 ,p,q) = (p'Z^ [t1 ,т] + q'Z2? [t1 ,т])В0(т, д) + [t1 ,т]В2(т) —

ti

[P' ^-%1,т] + 1 i q' Y [t1,a]A21 (a)zg-l) [a, т]^] (т),

(k)

(k)

1

•От^ + ^

т

г(к)(в,£1,р, д) = ^дг(к)(£1 - дМьр, д), 0 < в < а°(д)/д,

причем В° (т, д) = В1(т) - ^дА^ (т)А"21(т)В2 (т).

Таким образом, из представлений (13), (14) получаем следующий результат.

t

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

х° (p,q) = x(k)(p, q) + ? k (p, q),

причем Jk(P,q) < l|l|l ^k(p), bJk(p) = O(pk+1),

£°(t1)= e(k) (ti) + O(pk+1), (15)

x(k) (p, q) = —Щк) (p, q) - H°k(p(k),q(k)))1/2, e(k)(ti) = max{x(k (p,q)\p е Rn, q е Rm} = x(k\p(k\ q(k)■ (16)

Предположение 2. (i) Система (5) относительно управляема [16] на T.

(ii) Для любого t е T rank{B2(ti),A22(ti)B2(ti), ■ ■A^2-1 (ti)B2(ti)} = m■

(iii) Максимум в (16) достигается на векторе (l(k)' = (p(k ,q(k ) таком, что ri (Т, ti ,p(k),q(k)) =0, q(k) =0■

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

Теорема 2. Пусть выполнено предположение 2. Тогда при 0 < p < p0, p0 достаточно мало, управляющее воздействие

(к) т) fи(к) (Т), to < т < h - ао(р),

" (Т) \(1/^р)у(к) ((ti - т)/р), ti - ао(р) <т < ti,

доставляет оценку e0(ti) с точностью O(pk+i) :

e0(ti) = J(u0(•)) = J(u(k (•)) + O(pk+i), (17)

причем u(k)(•), v(k)(•) определяются условиями:

u(k) (т) = -ХЯ~1(т )r[k (тМ ,p(k),q(k) )(ak (p(k) ,q(k)))-i/2, т e [h ,h - aa(p)], v(k) (s) = -XR-i (ti - ps)r(k) (s,ti ,p(k),q(k) )(ak (p(k) ,q(k)))-i/2, s e [0, «0 (p)/p]. Доказательство. Утверждение вытекает из свойств функции

ti-ao (ß) ao(ß)/ß

L(k)(p,q;u(),v()) = -h\k)(p,q)+ j ^ЧтМ,p,q;p)u(т)dт + J r2k)(s,ti,p,q;p)v(s)ds,

t0 0

при (u(^),v (•)) e P(k), где P(k) определяется условием

ti-ao(ß) ao(ß)/ß

J u'(т)R(т)^т^т + J v'(s)R(ti - ps)v(s)ds < X2,

to 0

а именно элементы p(k, q(k\ u(k (•), v(k\•) определяют седловую точку L(k) (p,q; u(^),v(^)), т.е. для p e Rn, q e Rm, u e P(•), v e V(•):

L(k) (p, q; u(k) (•), v(k) (•)) < L(k) (p(k), q(k); u(k) (•), v(k) (•)) < L(k) (p(k), q(k); u(•), v(J),

причем (пользуясь (16))

e(k) (ti)= min max L(k) (p,q; u(^),v(^)) = max min L(k) (p,q; u(^),v(^) =

u(-),v(-) p,q p,q u(-),v(-)

= L(k) (p(k), q(k); u(k)t),v(k)t)), p e Rn, q e Rm, u e P(•), v e V(•). Тогда получим

J(u(k) (•))= max {L(k)(p,q; u(k (•), v(k (•)) + ^ (p,q; p)}, (18)

' peRn ,q£Rm

где (р,д; д) имеет такой же порядок малости по д (0 < д < д0), как в (15), и максимум в (18) достигается на некотором векторе I е со М(к), здесь М(к) = {1 е Вп+т|1 е г е %(¿1; и^ (-),%0), ^(г) = 3(и^к) (■))}, — субдифференциал функции ^ в точке г [12], со — выпуклая оболочка М(к) (в данном случае М(к) компакт в Дп+т). Таким образом, имеем

3 (■))= £(к) (¿1) + 0(дк+1)

при (0 < д < д0), и, следовательно, справедливо равенство (17). Теорема доказана.

Обсудим теперь другие возможные варианты разложений (по параметру д) коэффициентов системы (1).

1. Рассмотрим случай В1 (¿,д) = В1 (¿), В2(¿, д) = <г(д)В2(£), а(д) = о(1), а(д)/^д ^ Здесь уже могут нарушаться условия регулярности [6], поскольку имеется «излишек» ресурсов управления по быстрой переменной. В этом случае вектор ||д0У = о(Л/д/ст(д)), 0 < д < д0. Тогда из (13) получим а0(1; д) = (р, д; д) + £(1; д), где (р, д; д) представимо в виде (14), причем

В°(т, д) = В1 (т) - а(д)А12(т^(т)В2(т), гГ (т, ¿1 ,р,д) = (р [¿1,т] + [¿1,т])В0(т, д) + 4= д'Г [¿1 ,т]В2(т ) —

а(д) л/Д

-dT[a(M)p/ZÎ^1)[i1,r] + ^^У â'Y[ii,a]A21(a)z{22-1)[a,r] d^A-1 (r)B2(т),

т

r(k)(s,ti,p, q) = V^rik)(ti - q), 0 < s < «о(д)/д,

(19)

£(1; д) имеет по д порядок малости 0(дк+1) при 0 < д < д0; здесь д ищем в виде д = (^^/^(д))^. Тогда справедлива теорема 2 с г(к)(т, ¿ьр, д; д), г = 1, 2, определяемыми (19).

2. Рассмотрим случай В1(£, д) = В1(£), В2(£, д) = В2(£). Данный случай аналогичен случаю 1, отмеченные особенности остаются в силе (причем в (14) В0(т,д) = В1 (т) — А12(т)А-21(т)В2(т)). В этом случае в (19) нужно положить а(д) = 1, д = д/дд.

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

1. Дмитриев М.Г., Курина Г. А. Сингулярные возмущения в задачах управления // Автоматика и телемеханика. 2006. № 1. С. 3-51.

2. Kokotovic P.V., Khalil H.K., O'Reilly J. Singular Perturbation Methods in Control: Analysis and Design. Philadelphia: SIAM, 1999. 200 с.

3. Калинин А. И. Асимптотические методы оптимизации возмущенных динамических систем. Минск.: Эко-перспектива, 2000. 294 с.

4. Колмановский В. Б., Носов В. Р. Устойчивость и периодические режимы регулируемых систем с последействием. М.: Наука, 1981. 100 с.

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

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

7. Гребенникова И. В. Об итерационном методе построения оптимального управления сингулярно возмущенными системами с запаздыванием // Изв. Сарат. ун-та. Нов. сер. 2009. Т. 9. Сер. Математика. Механика. Информатика, вып. 3. С. 14-22.

8. Кремлёв А. Г. Асимптотические свойства ансамбля траекторий сингулярно возмущенной системы в задаче

оптимального управления // Автоматика и телемеханика. 1993. № 9. С. 61-78.

9. Кремлёв А. Г. Об оптимальном управлении ансамблем траекторий сингулярно возмущенной квазилинейной системы // Дифференциальные уравнения. 1994. Т. 30, № 11. С. 1892-1904.

10. Кремлёв А. Г., Гребенникова И. В. Об асимптотике оптимального управления сингулярно возмущенной системой с запаздыванием // Математика. Информационные технологии. Образование: материалы науч.-практ. конф. Оренбург, 2006. Ч. 1. С. 36-38.

11. Гребенникова И. В., Кремлёв А. Г. О начальной аппроксимации минимаксной задачи управления сингулярно возмущенной системой с запаздыванием // Качество науки — качество жизни: материалы науч.-практ. конф. Тамбов, 2007. С. 89-92.

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

13. Васильева А. Б., Бутузов В.Ф. Асимптотические разложения решений сингулярно возмущенных уравнений. М.: Наука, 1973. 192 с.

14. Кремлёв А. Г., Гребенникова И. В. Об асимптотике ансамбля траекторий управляемой сингулярно возмущенной системы с запаздыванием // Новости научной

t

мысли 2006: материалы науч.-практ. конф. Днепропетровск, 2006. Т. 4. С. 65-69.

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

УДК 517.51

Т. В. Иофина

Саратовский государственный университет, кафедра теории функций и приближений E-mail: [email protected]

В настоящей статье мы рассматриваем средние Бореля по системам Виленкина с ограниченной образующей последовательностью и получаем некоторые оценки приближений этими средними по норме Lp, а также в равномерной норме и норме типа Гёльдера в классах функций с заданной мажорантой наилучших приближений или модуля непрерывности. В тригонометрическом случае близкие результаты получены П. Чандрой, Л. Рем-пульской и К. Томчаком.

Ключевые слова: системы Виленкина с ограниченной образующей последовательностью, средние Бореля, метрика типа Гёльдера, Lp-норма, равномерная норма.

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

Approximation of Functions by Borel Means of Fourier Series with Respect to Multiplicative Systems

T.V. Iofina

Saratov State University,

Chair of Theory of Functions and Approximations E-mail: [email protected]

In the present paper we consider Borel means of Fourier series with respect to Vilenkin systems with bounded generating sequence and obtain some estimates of approximation by this means in Lp, uniform and Holder type norm in classes of functions with given majorant of best approximation or modulus of continuity. In the trigonometric case similar results were established by P.Chandra, L.Rempulska and K.Tomczak.

Key words: Vilenkin systems with bounded generating sequence, Borel means, Holder type metric, Lp-norm, uniform norm.

ПРИБЛИЖЕНИЕ ФУНКЦИЙ СРЕДНИМИ БОРЕЛЯ РЯДОВ ФУРЬЕ ПО МУЛЬТИПЛИКАТИВНЫМ СИСТЕМАМ

ВВЕДЕНИЕ

Пусть 2п-периодическая функция / е £[0, 2п], $п(/) — частичные суммы ее ряда Фурье. Тогда

n V

те

, — r /v>n 1

величина Вг = е-г ^ гп£п(/)/п! называется средними Бореля функции /. Метод суммирования по

п=0

Борелю является регулярным [1, §4.12].

Обозначим через пространство Гёльдера, т.е. множество функций / е £р[0, 2п], для которых выполнено неравенство ||/(■ + Л) — /(-)||р < <^(Л), где <^(Л) — некоторый модуль непрерывности. Норму

в этих пространствах определим равенством ||/||шр = ||/||р + вир ( + — /( )||р. Приближение

йе(о,п]

функций в метрике Гёльдера первым начал изучать З. Прёсдорф [2]. В работах [3-5] изучались оценки

приближений средними Бореля в метрике Гёльдера. Так, в работе [3] была доказана следующая теорема.

Теорема А. Пусть / е Ыр3[0,2п], т.е. / е Н^3, где цд(Л) = , 0 < а < в < 1- Тогда

||В (/) — / |к = 0(га-в г).

Л. Ремпульска и К. Томчак [5] обобщили результаты, полученные Чандрой, для случая / е £р[0, 2п], 1 < р < го, и получили оценки приближений функций средними Бореля через модули непрерывности различных порядков. Ими были доказаны следующие теоремы.

Теорема В. Для фиксированного 1 < р < го и q е N существует константа С = С (р, д), что для любой функции / е £р[0,2п] справедлива оценка

||В(/) — /||р < САгЛ(1/г, /,р),

где (1/г; /,р) — модуль непрерывности порядка д и = < ' < Р < ;

I 1п(г + 2), р = 1, го.