CC BY
9
ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки
Том 23, № 123
2018
DOI: 10.20310/1810-0198-2018-23-123-547-554 УДК 515.124.2 + 517.988.5
О МНОЖЕСТВАХ МЕТРИЧЕСКОЙ РЕГУЛЯРНОСТИ ОТОБРАЖЕНИЙ В ПРОСТРАНСТВАХ С ВЕКТОРНОЗНАЧНОЙ
МЕТРИКОЙ
(Е Е. А. Плужникова1), Т.В. Жуковская2), Ю. А. Моисеев1^
ФГБОУ ВО «Тамбовский государственный университет им. Г.Р. Державина» 392000, Российская Федерация, г. Тамбов, ул. Интернациональная, 33 E-mail: pluznlkova_eleiiaSmail.ru, aaaum@yandex.ru 2- ФГБОУ ВО «Тамбовский государственный технический университет» 392000. Российская Федерация, г. Тамбов, ул. Советская, 106 El-mail: t_zhukovskaia@mail.ru
Аннотация. Рассмотрены пространства с векторнозначной метрикой, значениями которой являются элементы конуса линейного нормированного пространства. Сформулировано понятие множества метрической регулярности отображения в пространствах с векторнозначной метрикой. Получено утверждение об устойчивости множества метрической регулярности заданного отображения при его липшицевых возмущениях в пространствах с векторнозначной метрикой. Ключевые слова: нелинейное отображение; пространство с векторнозначной метрикой; множество метрической регулярности
Введение
Накрывающие (регулярные) отображения метрических пространств исследованы в работах Е. Р. Авакова, A.B. Арутюнова, Б. Д. Гельмана, Л. М. Грейвса, A.B. Дмитру-ка, А. Д. Иоффе, А. А. Милютина, Б. С. Мордуховича, Н. П. Осмоловского, А. Удерзо и других авторов. В связи с приложениями к системам уравнений (в том числе к краевым задачам и задачам управления) в работах [1-3] предложено и исследовано понятие вскторно накрывающего (регулярного) отображения. В [4-7] это понятие распространено на многозначные отображения, действующие в пространствах с векторнозначной метрикой. В настоящей работе продолжены эти исследования. Определено понятие множества метрической регулярности отображения, действующего в пространствах с векторнозначной метрикой, и исследована его устойчивость к липшицевым возмущениям.
Работа выполнена при поддержке Российского фонда фундаментальных исследований (проекты №№ 17-51-12064. 18-01-00106, 18-31-00227).
1. Основные понятия
Пусть задано непустое множество У и линейное нормированное пространство Е, в котором выделен некоторый замкнутый выпуклый конус Е+. Конус задает порядок в Е, то есть для любых элементов , г2 V Е выполнено неравенство гj ^ г2 тогда и только тогда, когда г2 Т\ V Е+.
Векторнозначной метрикой (см., например, [2, с. 89]) называют отображение Хх '■ У 2 =>- Е+, обладающее свойствами «обычной» метрики, то есть:
1) равенство Хх(х,и) = 0 выполнено тогда и только тогда, когда х = и\
2) для любых х,иУ У справедливо Хх(х7 и) = Хх(и, ж);
3) для любых ж, и, v V имеет место неравенство Хх{х, и) ^ Хх(х, и) + Xx(v, и). Построенное таким образом пространство (У, Хх) называют пространством с векторнозначной метрикой.
Для пространств с векторнозначной метрикой можно сформулировать аналоги определений некоторых понятий, известных для метрических пространств (см. [5, с. 1975]).
Приведем некоторые из таких понятий, используемых в данной статье. Замкнутым шаром с центром в некоторой точке и V У радиуса г V Е+ в У = (У,Хх) называют множество г) = }х У У : Хх(х,и) ^ г| . Сходимость в 3'' определяется есте-
ственным образом. Пусть дапы последовательность }х„| —и элемент х V У. Под сходимостью хп =>> х при п =>> Е в 3'' понимается сходимость Хх(хп,х) =4- 0 в Е, то есть Хх(хп,х) Е => 0- Множество U —»3^ замкнуто, сели для любой сходящейся последовательности его элементов }ж„| —> £/, х п х выполнено х V U. Заметим, что замкнутый шар г) будет замкнутым множеством в У. Последовательность
}хп\ называют фундаментальной, если
Зе > О £N Зп > N 3m > N Хх(хп, хт) Е < е.
Пространство называется полным, если любая фундаментальная последовать в нем сходится.
Пусть Е, М — некоторые линейные нормированные пространства с заданными замкнутыми выпуклыми конусами Е+) М+ ; 3^, { — пространства с векторнозначны-ми метриками Хх : У2 ^ Е+, Ху : { 2 =>- М+. Отображение F \ У { называется непрерывным в точке х0\/ У, если из ж =4> х0 следует, что F(x) =>■ F(x0). В пространстве V(M, Е) линейных ограниченных операторов F : М =>- Е определим множество положительных операторов
V{M, Е)+ = }F:M^E ||F(M+) \ .
Множество V(M1 Е)+ является замкнутым выпуклым конусом в пространстве V(M: Е). Обозначим IE : Е ^ Е — тождественный оператор. Заметим, IE V 'Р(Е, Е)+.
Определение 1. Пусть задано отображение К V Т*(М, Е)+. Множеством К -метрической регулярности отображения F \ У { будем называть множество
9Rk(F) = |(ж0,у) V 3^ 0{ \\СхУу- F{x) = у, Хх{х, х0) < КХу у, F(x0){ .
Пример 1. Рассмотрим пространство М действительных чисел с «обычной скалярной» метрикой р : Ш2 =>> р(и,и) = иЦ и,ь У М. Пусть К : М => М — тождественный оператор, то есть К = 1. Множеством 1-метрической регулярности отображения Р : К =>■ М, Р{х) = х2 является
Ж1(Р) = }(х0,у)УШОЯ: У>\[
Для формулировки основного результата напомним понятие липшицевости отображений в пространствах с векторнозначной метрикой (см., например, [2, с. 90]).
Определение 2. Отображение С : =>- { называют липшицевым с операторным коэффициентом С^У Т>(Е. М)+ или -липшицевым (относительно вектор-нозначных метрик), если для любых и^хУ У выполнено Ху С (и), С{х) { ^ С} Хх(щ ж).
Отметим, что для отображений метрических пространств определение 2 означает «обычную липшицсвость».
2. Основные результаты
Рассмотрим задачу об устойчивости множества метрической регулярности отображения при его липшицевых возмущениях.
Пусть задано отображение Ф : У2 =>- { и при любом хУ У известно множество метрической регулярности отображения Ф(>£ж). Нас интересует множество метрической регулярности отображения
= Щх,х). (1)
Теорема 1. Пусть пространство является полным, а пространство М —
банаховым. Пусть заданы элементы х0 V У, у У { и отображения К У 'Р(М. Е)+, £с) V Т>(Е,М)+. Определим г = К (1м С$К)~уХу у, Ф(жо, жо){. Пусть для любого хУ В^(х0,г) выполнены следующие условия:
(г) имеет место включение (х,у) У Шц Ф(^;ж){;
(Н) отображение Ф(х, ^ : =>• { является -липгиицевым (относительно век-торнозначных метрик);
(иг) отображение Ф(^х) : У =>> { непрерывно в точке х\
(¿■и) для спектрального радиуса линейного ограниченного положительного оператора (¿К V "Р(М, М)+ имеет место оценка зг((^К) < 1.
Тогда (х0,у) V Р определено соотношением (1).
Доказательство. В силу определения 1 надо показать, что существует хУ У такой, что Р(х) = у и имеет место оценка
Хх(х,х0) < КХу у,¥{хо){. (2)
Докажем это.
Из условия теоремы (ги) следует существование линейного ограниченного оператора (1м ЯК)~1 \ М М и его представление в виде (см., например, [8, с. 116])
(1м ЯК)-1 = 1м + ЯК + (дк)2 + ....
Так как ЯК V Т*(М, М)+ , то при любом п = 0.1,2,... выполнено
(1м ЯК)-1 > 1м + ЯК + ... + (ЯК)п.
Для произвольного и0У X построим итерационную последовательность }ж„ —>У следующим образом.
Положим ж о = ио, определим Ф(жо, жо)- В силу предположения (?) существует такой Х\ V В^(ж0,т'), что
Ф(Ж!,Ж0) = у, Хх(х1}х0) ^ КХу Ф(жьж0){ = КХу Ф(ио,«о), Ф(а;1,«о){.
Определим Ф(х!, X!). Вследствие предположения (и) выполнено неравенство
Ху Ф(жьХ!); ^ ЯХх(хг,хо).
Далее, снова в силу предположения (г) существует такой х2 V что
Ф(ж2,Х!) = у, Хх(х2,х1) ^ КХу Ф{а7Ь11), Ф(х2,х1){. Отсюда, учитывая предыдущие выкладки, получаем
Хх(х2,хх) ^ Кру Ф(аг1]д:1), у{ ^ КЯХх(х1:х0) ^ КдКХу Ф(ио,и0), Ф(жьи0){-
Повторяя подобные рассуждения, на каждом п.-м шаге (п = 1,2,...) будем определять элемент хп V Вд'(а'0, г), удовлетворяющий соотношениям:
Ф(агП]2:„_1) = у, Хх(хп1хп_х) < К(ЯК)п~1Ху Ф(и0,«0), Ф(хьи0){.
Построенная последовательность является фундаментальной в У. Действительно, из оценки (ги) следует сходимость (ЯК)п цм,м) ^ ^ ПРИ 71 ~ • Таким образом
3.7 = 1,2,... Хх(хп^хп)^К(ЯК)п 1м + ... + (ЯКу~1{Ху Ф(хь«0){ <
^К(ЯК)п(1м ЯК)~1ру Ф(ио,«о), Ф(яп,«о){=^0 при п е .
Вследствие полноты У последовательность }хп\ сходится. Пусть Пока-
жем, что элемент хУ У удовлетворяет условию (2).
Из соотношений Ху Ф(эт,зт„), Ф(х,х){ = Ху Ф(х,х„_!), Ф(аг,х){ ^ ЯХ%(хп_ь х) следует сходимость Ху Ф(ж,ип), Ф(х,ж){=^ 0 при п => е . Таким образом, вследствие условия (иг) имеем Ф(эт, х) = у. Для доказательства теоремы остается заметить, что неравенство Хх(х,хо) ^ КХу у,Ф(жо,жо){ следует из оценки
Хх(хп,х0) ^ К 1м+ ... + (ЯК)п~1{Ху Ф(«о,«о), *(*1,«о){ <
< К(1М ЯК)~[Ху Ф(«о,ио), Ф(х1,«о){-
Из приведенного доказательства теоремы 1 следует, что условия (и) и (иг) можно ослабить следующим образом.
Замечание 1. В условии теоремы 1 требование (гг) Q -липшицевости (относительно векторнозначных метрик) отображения Ф(х, ^ : У { можно заменить условием:
Ху Ф(яг,яг),Ф(:1г,и){ ^ QXx(x,u).
Замечание 2. В условии теоремы 1 требование (Иг) непрерывности в точке х отображения Ф( хх) : У { можно заменить условием:
3xV B^xq^), 3}ягга| —i-B^(x0,r) : х со Ф(ж„, яг) Ф(яг, х).
СПИСОК ЛИТЕРАТУРЫ
1. Жуковский Е.С. О точках совпадения векторных отображений // Известия высших учебных заведений. Математика. 2016. № 10. С. 14-28.
2. Плужникова Е.А. Накрывающие отображения в пространствах с векторнозначной метрикой // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2016. Т. 21. Вып. 1. С. 88-95. DOI: 10.20310/1810-0198-2016-21-1-88-95.
3. Арутюнов A.B., Жуковский С.Е. Точки совпадения отображений в пространствах с векторнозначной метрикой и их приложения к дифференциальным уравнениям и управляемым системам // Дифференциальные уравнения. 2017. Т. 53. № 11. С. 1473-1481.
4. Жуковский Е. С. О точках совпадения многозначных векторных отображений метрических пространств // Математические заметки. 2016. Т. 100. № 3. С. 344-362.
5. Жуковский Е.С., Плужникова Е.А. Многозначные накрывающие отображения пространств с векторнозначной метрикой в исследовании функциональных включений // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов. 2016. Т. 21. Вып. 6. С. 1974-1982. DOI: 10.20310/1810-0198-2016-21-6-1974-1982.
6. Плужникова Е.А., Моисеев Ю.А., Репин A.A. О точках совпадения двух многозначных отображений в пространствах с векторнозначной метрикой / / Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2017. Т. 22. Вып. 6-1. С. 1309-1313. DOI: 10.20310/1810-0198-2017-22-6-1309-1313.
7. Жуковский Е.С., Панасенко Е.А. О неподвижных точках многозначных отображений в пространствах с векторнозначной метрикой / / Труды Института математики и механики Уральского отделения РАН. 2018. Т. 24. № 1. С. 93-105.
8. Крейн С.Г. Функциональный анализ. М., 1972. 544 с.
Поступила в редакцию 10 апреля 2018 г.
Прошла рецензирование 17 мая 2018 г.
Принята в печать 19 июня 2018 г.
Конфликт интересов отсутствует.
Плужникова Елена Александровна. Тамбовский государственный университет им. Г.Р. Державина. г. Тамбов, Российская Федерация, кандидат физико-математических наук, доцент кафедры функционального анализа, e-mail: pluznikova_elena@mail.ru
Жуковская Татьяна Владимировна, Тамбовский государственный технический университет, г. Тамбов, Российская Федерация, кандидат физико-математических наук, доцент кафедры высшей математики, e-mail: t_zhukovskaia@mail.ru
Моисеев Юрий Анатольевич, Тамбовский государственный университет им. Г.Р. Державина, г. Тамбов, Российская Федерация, аспирант, кафедра функционального анализа, е-ШЕИ: aaaum@yandex.ru
Для цитирования: Плужникова Е.А., Жуковская Т.В., Моисеев Ю.А. О множествах метрической регулярности отображений в пространствах с векторнозначной метрикой // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2018. Т. 23. № 123. С. 547-554. БОТ: 10.20310/1810-0198-2018-23-123-547-554
DOI: 10.20310/1810-0198-2018-23-123-547-554
ON SETS OF METRIC REGULARITY OF MAPPINGS IN SPACES WITH VECTOR-VALUED METRIC
E. A. Pluzhnikova1), T.V. Zhukovskaya2>, Yu.A. Moiseev
Tambov State University named after G.R. Derzhavin 33 Internatsionalnaya st.. Tambov 392000. Russian Federation E-mail: pluznikova_eleiia@mail.ru, aaaum@yandex.ru
Tambov State Technical University 106 Sovetskaya St., Tambov 392000, Russian Federation E-mail: t_zhukovskaia@mail.ru
Abstract. Spaces with vector-valued metric are considered. The values of a vector-valued metric are elements of a cone in some linear normed space. The concept of the set of metric regularity for mapping in spaces with vector-valued metric is formulated. A statement on the stability of the set of metric regularity of a given mapping for its Lipschitz perturbations in spaces with vector-valued metric is obtained. Keywords: nonlinear mapping; space with vector-valued metric; the set of metric regularity
REFERENCES
1. Zhukovskiy E.S. O tochkakh sovpadeniya vektornykh otobrazheniy [On coincidence points for vector mappings]. Izvestiya vysshikh uchebnykh zavedeniy. Matematika - Russian Mathematics,
2016, no. 10, pp. 14-28. (In Russian).
2. Pluzhnikova E.A. Nakryvayushchiye otobrazheniya v prostranstvakh s vektornoznachnoy metrikoy [Covering mappings in the spaces with vector-valued metrics]. Vestnik Tambovskogo uni-versiteta. Seriya: Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2016, vol. 21, no. 1, pp. 88-95. (In Russian). DOI: 10.20310/1810-0198-201621-1-88-95.
3. Arutyunov A.V.. Zhukovskiy S.E. Tochki sovpadeniya otobrazheniy v prostranstvakh s vektornoznachnoy metrikoy i ikh prilozheniya k different si al'nym uravneniyam i upravlyayemym sistemam [The coincidence points of mappings in spaces with a vectorvalued metric and their applications to differential equations and control systems]. Differentsial'nye uravneniya - Differential Equations,
2017, vol. 53, no. 11, pp. 1473-1481. (In Russian).
4. Zhukovskiy E.S. O tochkakh sovpadeniya mnogoznachnykh vektornykh otobrazheniy metri-cheskikh prostranstv [On Coincidence Points of Multivalued Vector Mappings of Metric Spaces]. Matematicheskie zametki - Mathematical Notes, 2016, vol. 100, no. 3, pp. 344-362. (In Russian).
5. Zhukovskiy E.S., Pluzhnikova E.A. Mnogoznachnyye nakryvayushchiye otobrazheniya prostranstv s vektornoznachnoy metrikoy v issledovanii funktsional'nykh vklyucheniy [Multi-valued covering mappings in spaces with vector-valued metrics in research of functional inclusions]. Vestnik
The work is partially supported by the Russian Fund for Basic Research (projects №№ 17-51-12064, 18-01-00106, 18-31-00227).
Tambovskogo universiteta. Seriya: Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2016, vol. 21, no. 6, pp. 1974-1982. (In Russian). DOI: 10.20310/1810-0198-2016-21-6-1974-1982.
6. Pluzhnikova E.A., Moiseev Y.A., Repin A.A. O tochkakh sovpadeniya dvukh mnogoznachnykh otobrazheniy v prostranstvakh s vektornoznachnoy metrikoy [On coincidence points of two multivalued mappings in spaces with vector-valued metrics]. Vestnik Tambovskogo universiteta. Seriya: Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2017, vol. 22, no. 6-1, pp. 1309-1313. (In Russian). DOI: 10.20310/1810-0198-2017-22-61309-1313.
7. Zhukovskiy E.S., Panasenko E.A. O nepodvizhnykh tochkakh mnogoznachnykh otobrazheniy v prostranstvakh s vektornoznachnoy metrikoy [On fixed points of multivalued mappings in spaces with a vector-valued metric]. Trudy Instituta matematiki i mekhaniki Ural'skogo otdeleniya RAN -Proceedings of the Steklov Institute of Mathematics, 2018, vol. 24, no. 1, pp. 93-105.
8. Crane S. Funktsional'nyy analiz [Functional Analysis]. Moscow, 1972, 544 p. (In Russian).
Received 10 April 2018
Reviewed 17 May 2018
Accepted for press 19 June 2018
There is no conflict of interests.
Pluzhnikova Elena Aleksandrovna, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Functional Analysis Departmen, e-mail: pluznikova_elena@mail.ru
Zhukovskaya Tatyana Vladimirovna, Tambov State Technical University, Tambov, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Further Mathematics Department, e-mail: t_zhukovskaia@mail.ru
Moiseev Yuriy Anatol'evich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Post-Graduate Student, Functional Analysis Department, е-mail: aaaum@yandex.ru
For citation: Pluzhnikova E.A., Zhukovskaya T.V., Moiseev Yu.A. On sets of metric regularity of mappings in spaces with vector-valued metric. Vestnik Tambovskogo universiteta,. Seriya: estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2018, vol. 23, no. 123, pp. 547-554. DOI: 10.20310/1810-0198-2018-23-123547-554 (In Russian, Abstr. in Engl.).
