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

УДК 517.977.1, 517.988.6

ВЕКТОРНО НАКРЫВАЮЩИЕ ОТОБРАЖЕНИЯ В ЗАДАЧАХ

УПРАВЛЕНИЯ

© Е. А. Плужникова

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

1. Векторно накрывающие отображения

Вначале приведем определение классического «скалярного» накрывания.

Пусть заданы метрические пространства (Х,рх), (У, ру)■ Обозначим через Вх(и, г) замкнутый шар {х € X : рх(х,и) ^ г} с центром в точке и € X радиуса г ^ 0 в пространстве X, аналогичное обозначение введем в пространстве У.

Пусть задано число а> 0 .

Определение 1 [1]. Отображение Ф : X ^ У называется а-накрывающим (накрывающим), если для любых г ^ 0, и € X имеет место включение

Ву(Ф(и),аг) С Ф(Вх(и,г)).

Свойство а -накрывания равносильно следующему соотношению:

V и € X V у € У 3 х € X Ф(х) = у & рх (х,и) ^ а ру (у, Ф(и)).

Нас будет интересовать проблема исследования систем уравнений, порождаемых векторными отображениями, действующими в произведении метрических пространств и являющимися по части аргументов накрывающими, а по остальным аргументам — липшицевыми. При попытке применения к таким системам результатов [1]-[3] о накрывающих отображениях возникают проблемы определения метрики в произведении пространств; нахождения условий гарантирующих, что накрывающее по некоторым аргументам отображение само будет обладать этим свойством (относительно метрики, введенной в произведениях пространств). К тому же метрика должна быть «удачной»: обеспечивать нужные соотношения между константами накрывания и липшицевости. Здесь предлагается другой подход: в произведениях метрических пространств мы не определяем метрику через метрики сомножителей, а пользуемся самим набором этих метрик.

Стандартно обозначим Мп — п -мерное вещественное пространство, М+ —конус векторов с неотрицательными компонентами пространства Мп, 1п — единичную п х п матрицу.

Пусть заданы метрические пространства (Хг,рх1), (Уу, ру,), г = 1,п, з = 1,ш. Определим X = ПГ=1 Хг, У = Щ=1 У, РХ = (рх-1 ,...,рхп), Ру = (РП,---,Ргт)■ Под сходимостью хк — х при к — ж в произведении X понимаем сходимость последовательностей компонент данных векторов, т. е. рх^хк,хг) — 0, г = 1,п, что равносильно сходимости рх(хк,х) — 0 в пространстве Мп. Аналогично понимаем сходимость в У. В произведении X определим «векторный шар» — множество

п

Вх(и,г) = {х е X : рх(х,и) ^ г} = ЦВх4(иг,гг),

г=1

где г = (г1,... ,гп) е М+, и = (и1,..., ип) е X. Аналогично, для й = (й1,..., йт) е М^, ■ш = (ю1,..., шт) е У обозначим

т

Ву(ш,й) = {у е У : ру(у,ш) ^ й} = ЦВу (™з).

3 = 1

Пусть задана п х т матрица А с неотрицательными компонентами агу, г = 1,п, 3 = 1, т.

Определение 2. Отображение Ф : X — У будем называть векторно А -накрывающим (векторно накрывающим), если для любых и е X, г е Мт имеет место включение

Ву(Ф(и),г) С Ф(Вх(и, Аг)).

При выполнении данного соотношения матрицу А будем называть матрицей накрывания отображения Ф.

Заметим, что отображение Ф : X — У является векторно А -накрывающим тогда и только тогда, когда

V и е X V у е У 3 х е X Ф(х) = у & Рх(х,и) ^ Ару(у, Ф(и)).

Отметим, что при п = т = 1 матрица А содержит лишь один элемент (ац), в этом случае определения 1 и 2 равносильны, причем ац = а-1.

Пусть определено отображение Т = (Т1, Т2,..., ¥т) : X — У и задан вектор у = (у1,у2,..., ут) е У. Рассмотрим систему

Ту (х1,х2,.. .,хп,х1,х2, ...,хп) = уз, 3 = 1, т,

относительно неизвестного х = (х1,..., хп) е X. Эту систему будем также записывать в виде векторного уравнения

Т(х,х)= у. (1)

Пусть задана т х п матрица В с неотрицательными компонентами Ьуг, 3 = 1,т, г = 1,п. Отображение Ф : X — У будем называть векторно В -липшицевым, если для любых и,х е X выполнено

ру(Ф(х), Ф(и)) ^ Врх(х,и).

Это условие означает, что для любых I = 1,п, 3 = 1,т и и,х е X таких, что иг = хг при всех г = I, выполнено

РУ, {Фз(x), Фз(и)) < Ь31 Рх1 (х1,иг). Следующий результат — векторный аналог теоремы 1 работы [1].

Теорема 1. Пусть пространства XI, г = 1,п, являются полными и выполнены следующие условия:

(1.1) существует такая ихш матрица А, что при любом и € X отображение Т(-,п) : X — У является векторно А -накрывающим;

(1.2) существует такая шхи матрица В, что при любом V € X отображение Т(у, ■) : X — У является векторно В -липшицевым;

(1.3) для произвольной последовательности {Vк} С X, если имеют место сходимости Рх V,и) — 0, ру (Т^к,и),у) — 0 , то выполнено соотношение Т(и,и) = у;

(1.4) для спектрального радиуса д квадратной матрицы В А выполнено д(ВА) < 1. Тогда для любого и0 € X существует решение х = £ € X системы (1), удовлетворяющее неравенству

Рх{£,и°) < А(1т — ВА)-1Ру(Т(и0,и0),у). (2)

Доказательство. Так как (1т — В А)-1 = 1т + В А + (В А)2 + ... (см., например, [4, с. 116]), а матрицы А, В имеют неотрицательные компоненты, то при любом номере к = 0,1, 2,... выполнено

(1т — В А)-1 > 1т + В А + ... + (ВА)к

(это неравенство понимается, естественно, как неравенство для соответствующих элементов матриц).

Выберем произвольный ио € X. Определим последовательность хк € X следующим образом.

Положим хо = ио. В силу предположения (1.1) существует такой XI € X, что

Г(х\х0) = у, рх(х1,х0) < Ару(Т(и°,и0), у).

Вследствие предположения (1.2) выполнено неравенство

ру(Т(х1,х1), у) < Врх(х1,х°).

Далее, снова в силу предположения (1.1) существует такой х2 € X, что

Т(х2,х1) = у, Рх(х2,х1) ^ Ару(Т(х1,х1), у).

Отсюда следует оценка ( )

рх(х2,х1) < А^ВАру (Т(и°, и0), у).

Повторяя подобные рассуждения, на каждом к -ом шаге (к = 1, 2,...) будем определять элемент хк € X, удовлетворяющий соотношениям:

Т(хк,хк-1) = у, р^(хк,хк-1) < А(ВА)к-1ру(Т(и°,и0), у).

Компоненты хк векторов построенной последовательности при каждом г = 1,и образуют в XI фундаментальную последовательность. Действительно, из оценки д(ВА) < 1 следует сходимость \\(ВА)к— 0 при к — ж; таким образом

VI = 1,2,... (хк+1, хк) < А(ВА)к (1т + ... + (ВА)1-1)ру(Т(и0, и0), у) <

< А(ВА)к(1т — ВА)-1ру(Т(и°, и0), у) — 0, при к — ж.

Вследствие полноты пространств XI последовательность {хк} сходится. Пусть последовательность {хк} сходится к £ € X. Покажем, что £ есть искомое решение системы (1). Из соотношений

ру(Т(хк, хк), у) = ру(Т(хк, хк), Т(хк, хк-1)) < Вр^(хк, хк-1)

следует сходимость ру (Y(xk,xk),у) — 0 при k — ж. Таким образом, вследствие предположения (1.3) имеем Y(£,£) = у. Для доказательства теоремы остается заметить, что неравенство (2) следует из оценки

Рх (xk ,xo) < A(lm + ... + (BA)k-l)Py (T(u°, u0),y) < A(Im — BA)-lPy (T(u°, u0),y).

Следствие 1. При выполнении условий теоремы 1 отображение F : X — Y, определяемое формулой F(x) = Y(x,x), x € X, является векторно накрывающим, матрица накрывания этого отображения есть A(Im — BA)-1.

2. Управляемые системы

Обозначим dRn (x,H) = inf \x — h\ — расстояние в Rra от точки x € Rra до множества

hen

H С Rra; comp(Rra) — пространство непустых компактных подмножеств Rra. Пусть заданы A0 € Rra, [a, b] С R, измеримые многозначные отображения

Q : [a, b] — cl(Rra), U : [a, b] — comp(Rm), V : [a, b] — comp(R*2),

их измеримые сечения Co : [a,b] — Rra, u : [a,b] — Rm, V : [a,b] — R^2. Функцию Co

будем предполагать суммируемой. Определим пространство ACc([a, b], Q, Co) таких абсолютно

непрерывных функций x : [a,b] — Rra, что x € Lc([a,b], Q,co), с метрикой рлс^ (xl,x2) =

\x]^(a) — x2(a)\ + pL(xl,x2). Определим измеримую (см., например, [5, с. 71]) функцию t €

[a, b] — max \v — o(t)\ € R. Пусть эта функция существенно ограничена. Далее, пусть заданы vev (t)

удовлетворяющие условиям Каратеодори функции

f : [a, b] x Rra x Rra x Rm — R^1, g : [a, b] x Rra x Rm — R^2.

Рассмотрим управляемую систему

f(t,x(t),x(t),u(t)) =0, t € [a, b], x(a) = Ao, (3)

со смешанными ограничениями на управление

u(t) € U(t), g(t,x(t),u(t)) € V(t), t € [a,b], (4)

и дополнительным ограничением на производную решения

x(t) € Q(t), t € [a, b]. (5)

Если для некоторого значения т € (0,b — a] существует пара функций (x, u) € € ACсо ([a,a + т], Q,CC) x Lс ([a,a + t],U,u), удовлетворяющая при п.в. t € [a,a + т] уравнению (3) и включениям (4),(5), то управляемую систему (3)—(5) будем называть локально 'разрешимой. Сформулируем условия локальной разрешимости этой системы.

Пусть задано а > 0. Положим D = BRn(Ao,a). При каждом t € [a,b] определим множество

H (t) = (f~) g(t,x,u (t))) f|V (t).

xeD

Относительно функций f, g будем предполагать выполненным следующее условие: для произвольного r > 0 существует такое R > 0, что при п.в. t € [a, b] и любых x,z € Rra, u € Rm, если \x — A0\ ^ a, \z — co(t)\ ^ r, \u — u(t)\ ^ r, то имеют место неравенства

\f (t, x, z,u)\ ^ R, \g(t, x, u) — V(t)\ ^ R.

Основной результат о локальной разрешимости управляемой системы (3)—(5) предварим следующим вспомогательным утверждением.

Лемма 1. Пусть при п.в. г € [а, Ь] множество Н(г) не пусто. Тогда многозначное отображение Н : [а,Ь] — сотр(М'2) измеримо и для произвольной функции ш € Ь^([а,Ь], М'2,у) функция г € [а,Ь] — (ш(г),Н(г)) € М+ измерима и существенно ограничена.

Отметим, что утверждаемая в лемме 1 измеримость многозначного отображения Н : [а,Ь] — сошр(М'2) позволяет записать ограничения (4) в виде уравнения

д(Ь,х(Ь),и(Ь)) = ц(г), г € [а,Ь],

где функция п : [а, Ь] — М'2 — любой измеримый селектор отображения Н и поэтому удовлетворяет включениям п(г) € V(г), п(г) € д(г,х,и(г)) при п.в. г € [а,Ь] и любых х € Б. Таким образом, исследуемая управляемая система сводится к системе уравнений в соответствующих метрических пространствах функций, к которой применимы рассмотренные выше результаты. Далее, для произвольной функции ш € Ь^([а,Ь], М'2 ,у) можно в качестве измеримого селектора отображения Н выбрать функцию по, реализующую расстояние )ш(г),Н (г)), т.е. удовлетворяющую при п.в. г € [а,Ь] равенству \ш(г) — п0(г)| = ¿кг2 (ш(г),Н(г)) (см., например, [6]). Этот факт полезен для нахождения оценок решения управляемой системы.

Реализуя описанную схему, получаем следующие условия локальной разрешимости управляемой системы (3)—(5).

Теорема 2. Пусть при п.в. г € [а, Ь] множество Н (г) не пусто. Пусть существуют такие числа а\ > 0, а2 > 0, ^ 0, в2 ^ 0, что при п.в. г € [а, Ь] и любых х € Б, и € и (г), г € 0,(г) выполнены условия: отображение / (г,х, ■,и) : — М'1 является а\ -накрывающим; отображение / (г, ■) : Б х и (г) — М'1 является (3\ -липшицевым; отображение д(г,х, ■) : и (г) — М'2 является а2 -накрывающим; отображение д(г, ^и) : Б — М'2 является (32 -липшицевым.

Тогда управляемая система (3)-(5) локально разрешима. Кроме того, при любом т € (0, (в\а2 + вгв2)-1а\а2), для произвольной пары (у0,и0) € Ь^([а,а + т],&,ш)х

т

хЬж([а,а + т],и,и), первая компонента которой отвечает неравенству J \у0(з)\(1в ^ а,

а

существует решение (х,и) € ЛО^([а,а + т], £},ш) х Ь^([а,а + т],и,и) управляемой системы (3)-(5), компоненты которого удовлетворяют оценкам

Здесь

1 — т--т- vrai sup \x(t) — v0(t)\ ^ — ф1 +--ф2,

V ai a\a2> te [a,a+т] ai aa

1 — т--т- vrai sup \u(t) — u0(t) \ ^-ф1 +--т-)ф2.

V ai aia2> te [a,a+т] aa \a2 a^z

ф1 = vrai sup \ /( t, A0 + f v0(s) ds, v0(t),u0(t)) \,

te [a, a+т] ^ a '

Ф2 = vrai sup dRi2 (wo(t),H(t)), wo(t) = g(t, Ao + fvo(s) ds,uo(t)).

te [a, a+т] ^ a '

(6)

Доказательство. Определим отображения

Y : (Lc([a,a + т], Q,oo)xLc([a,a + t],U,u))2 — Lc([a,a + т], Rl1), (Yi(wi,w2,vi,v2))(t) = f(t, (Ao + /Vi(s) ds),wi(t),V2(t)J;

^ a '

Y2 : {Lc ([a,a + т], Q,0)xLc([a,a + t],U,u)) — Lc([a,a + т], Rl2 ,v), (Y2(wi,w2,vi,v2))(t) = g(t, (Ao + /vi(s) ds),W2(t)j.

a

Обозначим zi = x, Z2 = u, и относительно неизвестного

Z = (zi, z2) € Lc([a,a + т], Q,Q)xLlx([a,a + t],U,u) перепишем управляемую систему (3)—(5) в виде следующей системы двух уравнений

Yi(zi,z2, zi,z2) = 0, Y2(zi,z2, zi,z2) = Ц0,

(7)

где функция по реализует расстояние (шо(£),И(£)).

Для доказательства теоремы покажем, что определенное здесь отображение Т = (Т1, Т2) удовлетворяет условиям теоремы 1. Имеем:

- при любых V е Ь^([а,а + т], 0,,й)хЬх>([а,а + т],и,й) отображение

Т(-,и) : Ь^([а,а + т], П,ш)хЬх ([а, а + т],и,и) — Ьх([а,а + т], М11) х Ьх([а,а + т], М12 )

является векторно A -накрывающим, где A =

( 1/ai 0 \ ; V 0 1/а2 ) ;

0 \/(Х2

- при любых w € Lc([a,a + т], Q,0)xLc([a, a + т],U,uo) отображение

Y(w, ■) : Lc([a,a + т], Q,Co)xLc([a, a + t],U,u) — Lc([a,a + т], Rl1) x Lc([a,a + т], Rl2 ,v)

tpi pi

является векторно B -липшицевым, где B =

( t/3i Pi \

\тв2 0 J

Для спектрального радиуса q матрицы BA =

Тв2 0

( тв1 \

«1 «2

«2 0

«1

выполнено q(BA) < 1, если

/

т < (в1а2 + в1в2)-1а1а2 (что и предполагается в доказываемой теореме). Таким образом, выполнены все предположения теоремы 1, существует решение системы (7), а следовательно, локально разрешима и исходная управляемая система (3)—(5). Для получения оценок решений найдем матрицы

(I2 — BA)-i = (1 — Л — тЩ -i

\ ai aia2J

1

вх \ «2

Тв2 «1

Тв2 1 _ Т§± - «1

/

A(I2 — BA)-i = (1 — Л — т^) -i

ai ai a2

i -L

«1

в1 «1«2

Тв2 J__Тв1

«1«2 «2 «1«2

/

Остается подставить найденные матрицы в неравенство (2), и мы получим требуемые оценки (6). Теорема доказана.

Поскольку в теореме 2 утверждается существование «локального» решения, то условия этой теоремы можно ослабить, требуя их выполнения не при п.в. t € [a,b], а лишь для t € [a, a + т] при некотором т € (0,b — a).

Исследуем непрерывную зависимость от параметров решений управляемой дифференциальной системы (3)—(5).

Пусть заданы: числа Ak € Rra, k = 1, 2,... ; измеримые многозначные отображения

Q : [a, b] — cl(Rra), U : [a, b] — comp(Rm), Vk : [a, b] — comp(R'2 ),

их измеримые сечения ш : [a, b] — Rra, и : [a, b] — Rm, Vk : [a, b] — R'2, k = 1, 2,... . Функцию

ш будем предполагать суммируемой; а измеримую функцию t € [a,b] — max \v — V(t)\ € R

veVk (t)

существенно ограниченной. Далее, пусть при любом k = 1, 2,... определены удовлетворяющие условиям Каратеодори функции

fk : [a, b] x Rra x Rra x Rm — R'1, gk : [a, b] x Rra x Rm — R'2,

относительно которых, кроме того, предполагаем, что для любого r > 0 существует такое Rk > 0, что при п.в. t € [a,b] для всех x € Rra, z € Q(t), и € U (t), удовлетворяющих условию \x\ + \z\ + \u\ ^ r, имеют место неравенства \fk(t,x,z,u)\ ^ Rk, \gk(t,x,u)\ ^ Rk. Рассмотрим последовательность управляемых систем

fk(t,x(t),x(t),u(t)) =0, x(a) = A0, (8)

u(t) € U (t), gk (t,x(t),u(t)) € Vk (t), k = 1, 2,..., (9)

x(t) € Q(t), t € [a, b]. (10)

Пусть для некоторой пары функций (x°,u°) € AC^([a,b], Q) x L^([a,b],U) при k — œ имеют место соотношения

vrai sup ¡fk (t, x°(t),x °(t),u°(t)]\ — 0, Ak — x0(a),

te [a, b]

Hk (t) = ( n gk (t, x, u (t)))n Vk (t) = 0,

v xeD(t) J

vrai sup gvj2 (gk (t,x°(t),u°(t)), Hk (t)) — 0. (11) te [a, b]

Получим условия, обеспечивающие существование при любом натуральном k такого решения (xm, um) € AC^([a, b], Q) xLœ([a, b], U) управляемой системы (8)-(10), что последовательность (xk,uk) сходится к (x°,u°) в пространстве AC^([a,b], Q) x L^([a,b],U). Положим D0(t) = BRn (x0(t), a), a> 0.

Теорема 3. Пусть существуют такие числа a1 > 0, a2 > 0, (3\ ^ 0, fî2 ^ 0, что при п.в. t € [a,b] и любых x € D0(t), u € U (t), z € Q(t), k = 1,2,... выполнены условия: отображение fk(t,x, ■,u) : Q(t) — R'1 является ai -накрывающим; отображение fk (t, ■,z, ■) : D x U (t) — R'1 является fî1 -липшицевым; отображение gk (t,x, ■) : U (t) — R'2 является a2 -накрывающим; отображение gk (t, ^,u) : D — R'2 является (32 -липшицевым.

Тогда, если справедливы соотношения (11), то для всех достаточно больших значений k управляемая система (8)—(10) разрешима на всем [a,b], и существует такое ее решение (xk,uk) € AC^([a,b], Q) x L^([a,b],U), 'что имеет место сходимость (xk,uk) — (x0,u0) (в пространстве AC^([a, b], Q) x L^([a, b], U)) .

Доказательство существования решения управляемой системы (8)-(10) при каждом натуральном k следует из теоремы 1, применяемой к системе операторных уравнений

Yk (zi,z2, zi, z2) = 0, Y (zi,z2, zi,z2) = По,

где

Y : (Lx([a,a + т], П,ш)хЬх([a, a + r],U,ü))2 - L^([a,a + т], Rl1 ), (Yk(wi,w2,vi,v2))(t) = fk(t, (Ao + }vi(s) ds),Wi(t),V2(t)\,

a

Tk : (L^([a,a + т], Q,Q)xLx([a,a + t],U,ù))2 — Lx([a,a + т], Rl2 ,v), (Y2 (Wi,W2,vi, v2))(t)= gk t, (.Ao + J'vi(s) ds),W2(t)y,

a

элемент nk G Hk реализует расстояние dR;2 (wjk(t),Hk(t)),wk(t) = gk[t,A0 + f x0(s)ds,u0(t) ).

a

Сходимость (xk,uk) — (x0,u0) следует из оценок (6) решения (xk,uk) и предельных соотношений (11).

ЛИТЕРАТУРА

1. Арутюнов А.В. Накрывающие отображения в метрических пространствах и неподвижные точки // Доклады Академии наук. 2007. Т. 416. № 2. С. 151-155.

2. Арутюнов А.В. Устойчивость точек совпадения и многозначные накрывающие отображения в метрических пространствах // Доклады Академии наук. 2009. Т. 427. № 5. С. 583-585.

3. Арутюнов А.В. Точки совпадения двух отображений // Функциональный анализ и его приложения. 2014. Т. 48. № 1. С. 89-93.

4. Крейн С.Г. Функциональный анализ. М., 1972. 544 с.

5. Борисович Ю.Г., Гельман Б.Д., Мышкис А.Д., Обуховский В.В. Введение в теорию многозначных отображений и дифференциальных включений. М., 2011. 224 с.

6. Himmelberg C.J., Van Vleck F.S. Lipschitzian generalized differential gathers // Rend. Sem. Mat. Padova. 1972. V. 48. C. 159-169.

БЛАГОДАРНОСТИ: Благодарю профессора А.В. Арутюнова за замечания, критику, советы. Работа поддержана грантом РФФИ № 14-31-50181.

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

Pluzhnikova E.A. THE VEKTOR COVERING MAPPINGS IN CONTROL PROBLEMS FOR SYSTEMS OF IMPLICIT DIFFERENTIAL EQUATIONS

Conditions that guarantee solvability, estimates of the solutions to systems of the vektor covering mappings in metric spaces are offered. On the basis of these results the controlled implicit differential system with mixed constraints on control and an additional constraint on the solution's derivative is investigated. Conditions that guarantee local solvability, continuous dependence of the solutions on parameters are obtained.

Key words: the vektor covering mappings; metric spaces; controlled systems; the ordinary differential equations of an implicit look.

Плужникова Елена Александровна, Тамбовский государственный университет имени Г.Р. Державина, г. Тамбов, Российская Федерация, кандидат физико-математических наук, доцент кафедры алгебры и геометрии, е-mail: pluznikova_elena@mail.ru

Pluzhnikova Elena Aleksandrovna, Tambov State University named after G.R. Derzhavin, Tambov, Russian Federation, Candidate of Physics and Mathematics, Associated Professor of Algebra and Geometry Department, е-mail: pluznikova_elena@mail.ru