CC BY
32
УДК 517.988.5
УСЛОВИЯ НАКРЫВАНИЯ ОПЕРАТОРА НЕМЫЦКОГО В ПРОСТРАНСТВЕ СУЩЕСТВЕННО ОГРАНИЧЕННЫХ ФУНКЦИЙ
© М.Ж. Алвеш, Е.А. Плужникова, В.С. Трещев
Ключевые слова: накрывающие отображения метрических пространств; оператор Немыцкого в пространстве существенно ограниченных функций.
Рассматривается оператор суперпозиции (оператор Немыцкого), действующий в пространстве существенно ограниченных функций. Предполагается, что порождающая этот оператор удовлетворяющая условиям Каратеодори функция g(t,x) по второму аргументу является а -накрывающей на некоторой совокупности A(t) С К" х R+ (центров и радиусов «накрывающих шаров»). Исходя из а и A(t), для оператора Немыцкого получена константа накрывания и определена совокупность центров и радиусов шаров в пространстве существенно ограниченных функций.
Необходимость получения условий накрывания оператора Немыцкого вызвана приложениями утверждений о накрывающих отображениях метрических пространств к исследованию неявных функциональных, дифференциальных, интегральных уравнений.
Пусть К+ = [0, то); Rn — вещественное n-мерное пространство с нормой | ■ |; cl(Rn) — совокупность всех непустых замкнутых подмножеств пространства Rn; Lp([a, b], Rn) — пространство суммируемых в p -ой степени, если 1 ^ p < то, и существенно ограниченных при p = то функций с метрикой
Plv (УъЫ=(/|yi(s) - y2(s)|pd^ ,p = то; pLœ (У1,У2)= vrai sup |yi(s) - y2(s)|. (1) 1 \J J se [a,b]
a
В работах [1-3] доказан признак условного накрывания оператора Немыцкого, определенного на подпространстве Lœ([a, b], Q) С Lœ([a, b], Kn) функций со значениями в заданном множестве Q С Rn, и действующего в Lœ([a, b], Rm). В работах [4-6] эти результаты распространены на оператор Немыцкого LP1 ([a, b], П(-)) ^ Lp2([a, b], ©(•)). Элементами данных пространств являются такие измеримые сечения x, y заданных измеримых многозначных отображений Q : [a, b] ^ Rn, в : [a, b] ^ Km, что для фиксированных измеримых сечений этих отображений u0(t) € H(i), w0(t) € e(t) выполнено x — u0 € LP1 ([a, b], Kn), y — w0 € Lp2([a,b],Rm), а метрика определена равенствами (1).
Наряду с понятиями накрывания и условного накрывания в литературе используются различные их обобщения. В работах [7, 8] и др. предложено понятие локально накрывающего отображения и исследованы свойства таких отображений. Сравнительный обзор различных подходов к определению понятия накрывания приведен в [9, 10]. Одним их наиболее общих является предложенное в [2] определение накрывания на заданной совокупности центров и радиусов «накрывающих шаров». Получению признака накрывания оператора Немыцкого именно при таком общем определении этого понятия посвящена настоящая заметка.
Пусть (X, рх), (Y, py) - метрические пространства. Для u € X, r € К+ определим шар
BX(u, r) = {x € X : рх(x, u) ^ r}. Пусть заданы множества W С Y, A С X х К+ и число а > 0.
Определение! [2]. Отображение ^ : X ^ У называется а -накрывающим множество Ш на совокупности А, если для любых (и, г) € А имеет место включение
Ву(^(и), аг) р| Ш С ^(Вх(и, г)).
Пусть определена удовлетворяющая условиям Каратеодори функция д : [а, Ь] х Мп ^ ^ Мт. Пусть при любом г > 0 существует такая функция € Ь], М), что при почти
всех £ € [а, Ь] и любых х € Вк«(0, г) выполнено неравенство |д(£,х)| ^ п-(£). Определим оператор Немыцкого
у)(£) ^д(£,у(£)). (2)
Принятые предположения являются необходимыми и достаточными условиями действия оператора N из Ьте([а,Ь], Мп) в Ьте([а,Ь], Мт) (см. [11, с. 375]).
Далее, пусть заданы измеримые отображения Ш : [а, Ь] ^ с1(Мт), А : [а, Ь] ^ с1(Мп х М+). Будем предполагать, что при п.в. £ € [а, Ь] функция д(£, ■) : Мп ^ Мт является а -накрывающей множество Ш(£) на совокупности А(£). Нашей целью является определить накрывающие свойства оператора (2), то есть определить, с какой константой, какое множество и на какой совокупности оператор N : £те([а, Ь], Мп) ^ .¿^([а, Ь], Мт) будет накрывающим.
Для произвольного г ^ 0 определим многозначное отображение
£ € [а, Ь] ^ Аг(£) = А(£) П (Мп х {г}). (3)
Являясь пересечением замкнутозначных измеримых отображений, заданное соотношением (3) отображение Аг : [а, Ь] ^ с1(Мп х М+) измеримо (см. [12, с. 71]). Определим отображение ПКп : с1(Мп х {г}) ^ с1(Мп) равенством ПКп{(х,г)} = {х}. Имеем Аг(£) = ПКпАг(£) х {г}, и поэтому отображение
ПКпАг : [а, Ь] ^ с1(Мп), ПКп Аг(£) = {х : (х, г) € А(£)}, измеримо. Определим следующее множество сечений этого отображения
йь» [ПКп Аг] = {и € ¿^([а,Ь], Мп) : и(£) € ПКп Аг(£) при п.в. £ € [а,Ь]}.
При любом г ^ 0 эффективное множество ёош(Щп Аг) = {£ € [а, Ь] : Щп Аг (£) = 0} измеримо; определим множество ЭТ таких г ^ 0 , для которых мера множества ёош(Пкп Аг) максимальна, т. е. равна Ь — а. Теперь определим совокупность
В = {(и, г) € Д»([а,Ь], Мп) х М+ : г € ЭТ, и € йь» [ПКпАг]} .
Для формулировки основного результата нам потребуется еще следующее множество измеримых сечений отображения Ш : [а, Ь] ^ с1(Мт) :
йь» [Ш] = {у € ^([а,Ь], Мт) : у(£) € Ш(£) при п.в. £ € [а,Ь]} .
Теорема1. Пусть при п.в. £ € [а, Ь] отображение д(£, ■) : Мп ^ Мт является а -накрывающим множество Ш(£) на совокупности А(£). Тогда определенный равенством (2) оператор Немыцкого N : £те([а, Ь], Мп) ^ Ь^([а, Ь], Мт) будет а -накрывающим множество йь» [Ш] на совокупности В.
Доказательство. Пусть (и, г) € В, тогда («(£), г) € А(£) при п.в. £ € [а, Ь]. Выберем произвольный элемент у € Вь» (N(и),аг)ПЯь» [Ш]. Имеем |у(£)—д(£, «(£)) | ^ аг и у(£) € Ш(£) при п.в. £ € [а, Ь]. Таким образом, у(£) € Вкт (д(£, и(£)), аг) П Ш(£). В силу
предположения накрывания функцией ■) : Rn ^ Rm множества W (t) на совокупности A(t) справедливо включение
y(t) € g(t,BK™(u(t),r)).
Заметим, что многозначное отображение t € [a, b] ^ Br™(u(t),r) € cl(Rn) измеримо. Поэтому согласно теореме Филиппова [13, с. 179], существует такая измеримая функция x : [a, b] ^ Rn, что x(t) € BRn(u(t),r) и y(t) = g(t, x(t)). Это означает, что ж € BL» (u, r), У = Ng (x).
Таким образом, установлена справедливость вложения
Bl» (Ng(u), ar) П SL» [W] С Ng (BLm (u, r)).
Теорема доказана.
ЛИТЕРАТУРА
1. Аваков Е.Р., Арутюнов А.В., Жуковский Е.С. Накрывающие отображения и их приложения к дифференциальным уравнениям, не разрешенным относительно производной // Дифференциальные уравнения. 2009. Т. 45. № 5. С. 613-634.
2. Арутюнов А.В., Жуковский Е.С., Жуковский С.Е. О корректности дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2011. Т. 47. № 11. С. 15231537.
3. 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.
4. Жуковский Е.С., Плужникова Е.А. Накрывающие отображения в проблеме корректности краевых задач для дифференциальных уравнений, не разрешенных относительно производной // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2011. Т. 16. № 4. С. 1082-1085.
5. Жуковский Е.С., Плужникова Е.А. Накрывающие отображения в произведении метрических пространств и краевые задачи для дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2013. Т. 49. № 4. С. 439-455.
6. Жуковский Е.С., Плужникова Е.А. Об управлении объектами, движение которых описывается неявными нелинейными дифференциальными уравнениями // Автоматика и телемеханика. 2015. № 1. С. 31-56.
7. 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. С. 105-127.
8. Mordukhovich B.S. Variational Analysis and Generalized Differentiation. Springer, 2005. V. 1.
9. Жуковский С.Е. Сравнение различных определений накрывающих отображений // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2014. Т. 19. № 2. С. 376-379.
10. Zhukovskiy S. On Covering Properties in Variational Analysis and Optimization // Set-Valued and Variational Analysis, 2015. DOI: 10.1007/s11228-014-0314-3
11. Забрейко П.П., Кошелев А.И., Красносельский М.А., Михлин С.Г., Раковщик Л.С., Стеценко В.Я. Интегральные уравнения. СМБ. М.: Наука, 1968. 448 с.
12. Борисович Ю.Г., Гельман Б.Д., Мышкис А.Д., Обуховский В.В. Введение в теорию многозначных отображений и дифференциальных включений. М.: Физматлит, 2007. 224 с.
13. Варга Дж. Оптимальное управление дифференциальными и функциональными уравнениями. М., 1977. 624 с.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-00877).
Поступила в редакцию 2 июня 2015 г.
Alves M.G., Pluzhnikova E.A., Treshchev V.S. THE CONDITIONS OF THE COVERING PROPERTY FOR THE NEMYTSKIY OPERATOR IN LEBEGUES SPACES
We consider the superposition operator (the Nemytskiy operator) acting in the spaces of integrable functions. It is assumed that a function f (t,x) generating this operator satisfies the Caratheodory conditions and is a -covering with respect to the second argument on the family of centers and radii «of the covering balls» A(t) С Rn x R+. Knowing a and A(t), for the Nemytskiy operator, we get the constant of covering and find a family of centers and radii of the balls in the space of integrable functions.
Key words: covering mappings of metric spaces; the Nemytskiy operator in spaces of integrable functions.
Алвеш Мануэль Жуаким, Университет Эдуардо Мондлане, г. Мапуту, Мозамбик, доктор физико-математических наук, профессор, e-mail: mjalves@tvcabo.co.mz
Alves Manuel Juaquim, Eduardo Mondlane University, Maputo, Mozambique, Doctor of Physics and Mathematics, Professor, e-mail: mjalves@tvcabo.co.mz
Плужникова Елена Александровна, Тамбовский государственный университет имени Г.Р. Державина, г. Тамбов, Российская Федерация, кандидат физико-математических наук, доцент кафедры алгебры и геометрии, e-mail: pluznikova_elena@mail.ru
Pluzhnikova Elena Aleksandrovna, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Algebra and Geometry Department, e-mail: pluznikova_elena@mail.ru
Трещёв Валентин Сергеевич, Тамбовский государственный университет имени Г.Р. Державина, г. Тамбов, Российская Федерация, аспирант кафедры алгебры и геометрии, e-mail: treshchev.math@mail.ru
Treshchev Valentin Sergeyevich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Post-graduate Student of the Algebra and Geometry Department, e-mail: treshchev.math@mail.ru
УДК 517.977
ВЫРОЖДЕННАЯ ЛИНЕЙНО-КВАДРАТИЧНАЯ ЗАДАЧА ОПТИМИЗАЦИИ ДЛЯ СИСТЕМ С ЛИНЕЙНЫМ ЗАПАЗДЫВАНИЕМ
© И.Ю. Андреева, А.Н. Сесекин
Ключевые слова: вырожденная линейно-квадратичная задача; линейное запаздывание. Рассматривается вырожденная линейно-квадратичная задача оптимизации на траекториях линейной неавтономной системы дифференциальных уравнений с линейным запаздыванием. При определенных предположениях решение данной задачи существует в классе импульсных управлений. Построено оптимальное программное управление, решающее эту задачу, которое содержит импульсные составляющие в начальный и конечный моменты времени, внутри промежутка управления управление является гладкой функцией.
Введение. Рассматриваемая задача принадлежит к классу вырожденных линейно-квадратичных задач оптимизации. Такие задачи имеют важное прикладное значение [1]. Для вырожденных линейно-квадратичных задач характерно то, что в классе измеримых управлений такие задачи решения не имеют [2-4]. В такой ситуации для обеспечения существования оптимального управления приходится расширять множество допустимых управлений, допуская импульсные управления. В работе рассматривается вырожденная линейно-квадратичная задача для системы с линейным запаздыванием. Такие системы встречаются при описании движения токоприемника у транспортных средств с электрической тягой, в биологии, вейвлет-теории и др. Аналогичная задача для случая постоянной матрицы В рассматривалась в [5]. Помимо того, что в настоящей работе рассматривается случай переменной матрицы В, результаты получены не сведением исходной задачи с переменным
