CC BY
42
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проекты № 11-01-00-645, № 11-01-00-626), Министерства образования и науки РФ (ГК № 14.132.21.1348, проект № 1.1877.2011).
Bulgakov A.I., Filippova O.V., Malyutina E.V. ABOUT SEMI-CONTINUOUS DEPENDENCE OF SET OF PHASE TRAJECTORIES OF MULTICOMPONENT SYSTEM OF AUTOMATIC CONTROL FROM PARAMETERS AND ENITIAL CONDITIONS
Mathematical model of multicomponent system of automatic control is researched. The conditions of semi-continuous dependence from below sets of the generalized phase trajectories of this model from parameters and initial conditions are found.
Key words: operated system; differential inclusion; convex-valued with respect to switching.
УДК 517.9
ОБ ИССЛЕДОВАНИИ СИСТЕМ ФУНКЦИОНАЛЬНЫХ УРАВНЕНИЙ МЕТОДАМИ ТЕОРИИ НАКРЫВАЮЩИХ ОТОБРАЖЕНИЙ
© Т. В. Жуковская, Е. С. Жуковский, Е. А. Плужникова
Ключевые слова: накрывающие отображения метрических пространств; системы функциональных уравнений; оператор Немыцкого.
Получены условия накрывания оператора Немыцкого, действующего в пространствах измеримых функций. Этот результат позволил применить ранее доказанные авторами теоремы о возмущениях векторных накрывающих отображений к исследованию систем функциональных уравнений. Для таких систем найдены условия разрешимости в классе измеримых функций и получены оценки решений.
До недавнего времени исследования дифференциальных, интегральных, функциональных уравнений неявного вида были фрагментарными, такие уравнения редко применялись в математических моделях. Новые инструменты исследования уравнений неявного вида дала современная теория накрывающих отображений. Среди многочисленных работ по этой тематике выделим статьи [1-4], наиболее близкие нашему исследованию и позволившие получить ряд новых результатов о существовании, продолжаемости решений, корректности интегрального уравнения УоЬегга [4-5], не разрешенного относительно производной дифференциального уравнения [6-7], начать изучение задач управления для таких уравнений [8-10], предложить алгоритмы приближенного решения [11]. В связи с рассмотрением краевых задач и систем управления (содержащих кроме дифференциальных уравнений еще начальные и краевые условия, ограничения на управления и пр.) потребовалось распространить многие результаты на векторные накрывающие отображения. Авторами данной работы в [12] были доказаны теоремы о липшицевых возмущениях накрывающих отображений, действующих в произведении метрических пространств. Этот результат позволил получить в [10] условия существования и непрерывной зависимости от параметров решений краевых задач для систем дифференциальных уравнений, не разрешенных относительно производной. В предлагаемой работе этот результат используется для исследования систем функциональных уравнений.
Приведем определения основных понятий.
Для метрического пространства (Х,рх) обозначим через Вх(x,r) замкнутый шар с центром в точке x радиуса r> 0.
Пусть заданы метрические пространства (Х,Рх ), (Y, ру ) и число а> 0.
Определение 1. Отображение F : X ^ Y называется а -накрывающим [4], если для любого r> 0 и любого u € X имеет место включение
F (Bx (u,r)) 5 Ву (F (u),ar).
Отображение F : X ^ Y называется условно а -накрывающим [6], если для любого r> 0 и любого u € X имеет место включение
F (Вх (u, r)) 5 Ву (F (u),ar) П F (X ).
Определение 2. Отображение F : X ^ Y будем называть а -накрывающим в точке uo € X, если если для любого r> 0 имеет место включение
F (Вх (uo,r)) 5 Ву (F (uo),ar), и условно а -накрывающим в этой точке, если
F (Вх (u0, r)) 5 Ву (F (u0),o:r) П F (X ).
Последнее определение является частым случаем определения накрывания на заданной системе центров и радиусов шаров, предложенного в [7,с. 1524]. Заметим также, что отображение является (условно) а -накрывающим тогда и только тогда, когда оно (условно) а -накрывающее в любой точке.
Нам также потребуется следующее определение, несколько расширяющее классическое понятие липшицевости. Пусть в ^ 0.
Определение 3. Отображение G : X ^ Y будем называть в -липшицевым в точке uo € X, если для любого x € X выполнено неравенство
ру (G(x),G(uo)) ^ в рх(x,uo).
Вначале сформулируем условия накрывания оператора Немыцкого в пространстве измеримых функций, имеющих существенно ограниченное отклонение от заданной измеримой функции.
Обозначим N, Z, R, соответственно, множества натуральных, целых, действительных чисел; Rl — пространство l -мерных вещественных векторов с нормой | -|; cl(Rl) — совокупность непустых замкнутых подмножеств пространства Rl. Пусть заданы: отрезок [a, b] С R, снабженный мерой Лебега л, измеримое многозначное отображение Q : [a, b] ^ cl(Rl) и его измеримое сечение t € [a,b] ^ w(t) € Q(t). Определим полное метрическое пространство L^([a,b], й,ш) измеримых функций t € [a,b] ^ x(t) € Q(t), для которых существует vrai supsg a,b] |x(s) — w(s)| < œ, с метрикой
pL (x1,x2) = vrai sup |xi(s) — x2(s)l (1)
s g [a, b]
(наряду с этим "стандартным" возможны, конечно, и другие определения метрики, и в сформулированной ниже теореме 2 такая "нестандартная" метрика будет предложена).
Пусть заданы измеримые многозначные отображения
t € [a, b] ^ Q(t) € cl(Rl1 ), t € [a, b] ^ Q(t) € cl(Rl2),
измеримое сечение ш(-) отображения П(-), и определена функция
(t € [a,b], x € Q(t)) ^ g(t,x) € Q(t),
удовлетворяющая условиям Каратеодори. Положим d(t)= g(t,w(t)), t € [a,b]. Из известных результатов об операторе Немыцкого в "классическом" пространстве существенно ограниченных функций (см., например, [14,с. 375]) следует, что оператор
(Ng x)(t) = g(t,x(t)),
действует из L^([a, b], Q, ш) в L^([a, b], Q, в) тогда и только тогда, когда выполнено соотношение
Vr> 0 3 R ^ 0 Vt € [a,b] Vx € Q(t) \x — w(t)\ ^ r =^ \g(t,x) — e(t)\ ^ R, (2)
в этом случае оператор Ng замкнут и ограничен.
Следующее утверждение — аналог результатов работ [8, 6, 15] — устанавливает связь между свойствами накрывания функции g(t, ■) и оператора Немыцкого Ng.
Теорема 1. Пусть заданы: число а> 0, функция x0 € L^([a,b], Q,w), и пусть функция g удовлетворяет условию (7). Тогда, если при почти всех t € [a,b] отображение g(t, ■):Q(t) ^ Q(t) является а -накрывающим ( или условно а -накрывающим) в точке x0(t), то оператор Немыцкого Ng : L^([a,b], Q,w) ^ L^([a,b], 0,в) будет а -накрывающим ( соответственно, условно а -накрывающим) в x0.
Отметим, что в аналогичных теореме 1 утверждениях работ [8, 6, 15] рассматривается пространство L^([a, b], Q) существенно ограниченных функций t € [a, b] ^x(t) € Q(t) с метрикой (1). Если выбрать сечение шо(^) многозначного отображения Q(-) существенно ограниченным, то L^([a, b], Q) = L^([a, b], Q, шо). Имея возможности выбора любого измеримого сечения &(■) многозначного отображения Q(-), мы значительно расширяем класс функций, для которых соответствующий оператор Немыцкого обладает свойством накры-вания.
Установленную в теореме 1 взаимосвязь между накрыванием функции g(t, ■) и оператора Немыцкого Ng можно использовать для исследования систем функциональных уравнений.
Пусть при j = 1,и заданы измеримые многозначные отображения
t € [a, b] ^ Qj (t) € cl(R), t € [a, b] ^ Qj (t) € cl(R),
измеримое сечение Wj (■) отображения Qj (■). Положим w(t) = (w1(t),w2(t),... ,wn(t)), Q(t)=rij=i Qj (t), тогда L^([a,b], Q,w)=Y[n=i L^([a,b], Qi,wi). Далее, пусть определены функции
(t € [a, b], ui € Qi(t),x = (x1,x2,..., xn) € Q(t)) ^ gi(t, ui, x) € Qi(t), i = 1,и,
удовлетворяющие условиям Каратеодори (т. е. измеримые по первому и непрерывные по совокупности остальных аргументов) и предположению
V r> 0 3 R ^ 0 V1 € [a,b] Vx € Q(t) Vui € Qi(t)
\x — w(t)\ + \ui — Wi(t)\ ^ r =Ф \gi(t,ui,x) — ei(t)\ ^ R,
где ei(t) = gi(t,wi(t),w(t)). Эти условия обеспечивают действие, ограниченность и замкнутость оператора Ngi : L^([a, b], Qi ,wi) x L^([a, b], Q, w) ^ L^([a, b], Qi, ei),
(Ngi (ui,x))(t) = gi(t, ui(t), x(t)).
Пусть заданы функции yi € L0([a,b], Qi,0i). Рассмотрим систему функциональных уравнений
' gi(t,xi(t),xi(t),x2(t),.. .,xn(t)) = yi(t), g^t,X2(t),Xi(t),X2(t),...,Xn(t))= y2(t), ( )
: (3)
gn{t,xn(t),xi(t),x2(t), . . . ,xn(t)) = yn(t).
Решением системы (3) называем векторную существенно ограниченную функцию x € Lо([a, b], й,ш), удовлетворяющую всем уравнениям почти всюду на [a, b].
Теорема 2. Пусть а> 0, 0 ^ q< 1. Пусть найдены измеримые функции ai : [a, b] ^ ^ [а, ж), fjij :[a,b] ^ [0, œ), i,j = 1,n, такие что при п. в. t € [a,b] n x n матрица C(t), cij(t) = a~i(t)fiij(t) имеет спектральный радиус g(C(t)) ^ q и выполнены условия:
(a) при любом x = (xi,x2,... ,xn) € Q(t) отображения gi(t, ■,x):Qi(t) ^ Qi(t), i = 1,n, являются условно ai(t) -накрывающими в точке xi, и справедливо включение
yi(t) € gi(t, üi(t),x), i =J~n;
(b) для любых x = (xi,x2,..., xn) € Q(t), u = (ui,u2,..., un) € Q(t) отображения gi(t, ui,xi,..., xj-i, ■, xj+i,..., xn) : Qj(t) ^ Qi(t), i, j = 1, n, являются fjij(t) -липшицевы-ми в точке uj.
Тогда система уравнений (3) разрешима; кроме того, для любого е € (0, q) существуют такие последовательности измеримых множеств Em, осуществляющих разбиение отрезка [a,b], и норм | ■ \(m') пространства Rn, m € N, что для любых x,u € L0([a,b], Q,w) числовая последовательность {vraisupteEm \x(t) — u(t)\(m)} N ограничена, равенство
p(x,u) = sup (vrai sup \x(t) — u(t)\(m)) meN te Em
определяет метрику в пространстве L0([a,b], й,ш), для любого u0 € L0([a,b], й,ш) существует решение x = £ € L0([a,b], й,ш) системы (3), удовлетворяющее оценке
(1 — q — е) р(£, u°) ^ sum vrai sup (
meN \ te Em '
'yi(t) — (N9! (ui,u))(t)
ai(t)
y2(t) — (Ng2 (u2,u°))(t)_ yn(t) — (Ngn (un,u0))(t)
a2(t) an(t)
Доказательство этого утверждения существенно использует теорему 1.
j (m)^.
ЛИТЕРАТУРА
1. Mordukhovich B.S., Wang B. Restrictive metric regularity and generalized differential calculus in
Banach spaces // Maths. Math. Science. 50. 2004. P. 2650-2683.
2. Арутюнов А.В. Накрывающие отображения в метрических пространствах и неподвижные точки // Доклады Академии наук. 2007. Т. 416. № 2. С. 151-155.
3. Arutyunov A., Avakov E., Gel‘man B., Dmitruk A., Obukhovskii V. Locally covering maps in
metric spaces and coincidence points // J. Fixed Points Theory and Applications. 2009. V. 5. № 1.
P. 105-127.
4. Arutyunov A.V., Zhukovskii E.S, Zhukovskii S.E. Covering mappings and well-posedness of nonlinear Volterra equations // Nonlinear Analysis: Theory, Methods and Applications. 2012. V. 75. P. 1026-1044.
5. Жуковская Т.В. О продолжении решения нелинейного уравнения Volterra // Вестник Тамбовского университета. Серия Естественные и технические науки. 2012. Т. 17. Вып. 3. С. 857-866.
6. Аваков Е.Р., Арутюнов А.В., Жуковский Е.С. Накрывающие отображения и их приложения к дифференциальным уравнениям, не разрешенным относительно производной // Дифференциальные уравнения. 2009. Т. 45. № 5. С. 613-634.
7. Арутюнов А.В., Жуковский Е.С., Жуковский С.Е. О корректности дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2011. Т. 47. № 11. С. 1523-1537.
8. Arutyunov A.V., Zhukovskiy S.E. Existence of local solutions in constrained dynamic systems // Applicable Analysis. 2011. V. 90. No. 6. P. 889-898.
9. Арутюнов А.В., Жуковский С.Е. Локальная разрешимость управляемых систем со смешанными ограничениями // Дифференциальные уравнения. 2010. Т. 46. № 11. С. 1561-1570.
10. Плужникова Е.А. Один метод исследования разрешимости задач управления для дифференциальных уравнений // Тезисы научной конференции "Тихоновские чтения". М., 2011. С. 65-66.
11. Жуковская ТВ., Пучков Н.П. О приближенном нахождении точек совпадения отображений // Современные методы теории краевых задач: Материалы Воронежской весенней математической школы "Понтрягинские чтения — XIII". Воронеж: Изд-во ВГУ, 2012. С. 65-67.
12. Жуковский Е.С., Плужникова Е.А. Теорема о накрывании операторов в произведении метрических пространств // Вестник Тамбовского университета. Серия Естественные и технические науки. 2011. Т. 16. Вып. 1. С. 70-72.
13. Жуковский Е.С., Плужникова Е.А. Об одном методе исследования разрешимости краевых задач для дифференциальных уравнений // Вестник Тамбовского университета. Серия Естественные и технические науки. 2010. Т. 15. Вып. 6. С. 1673-1674.
14. Забрейко П.П., Кошелев А.И., Красносельский М.А., Михлин С.Г., Раковщик Л.С., Стецен-ко В.Я. Интегральные уравнения. СМБ. М.: Наука, 1968. 448 с.
15. Плужникова Е.А. О накрывании оператора Немыцкого в пространстве суммируемых функций // Вестник Тамбовского университета. Серия Естественные и технические науки. 2010. Т. 15. Вып. 6. С. 1686-1687.
Поступила в редакцию 10 ноября 2012 г.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проекты № 11-01-00-645, № 11-01-00-626), Министерства образования и науки РФ (ГК № 14.132.21.1348, проект № 1.1877.2011).
Zhukovskaya T.V., Zhukovskiy E.S., Pluzhnikova Е.А. ON RESEARCH OF SYSTEMS OF FUNCTIONAL EQUATIONS BY METHODS OF COVERING MAPPINGS THEORY
The conditions of covering of the Nemytsky operator acting in spaces of measurable functions are derived. This result has allowed to apply the theorems on perturbations of vector covering mappings proved earlier by the authors to studying systems of functional equations. For such systems, the conditions of solvability in a class of measurable functions are found; the estimates of solutions are derived.
Key words: covering mappings in metric spaces; systems of functional equations; the Nemytsky operator.
