CC BY
9
УДК 517.988.6, 517.922
DOI: 10.20310/1810-0198-2017-22-6-1314-1320
ОБ ОДНОМ МЕТОДЕ ИССЛЕДОВАНИЯ НЕЯВНЫХ СИНГУЛЯРНЫХ ДИФФЕРЕНЦИАЛЬНЫХ ВКЛЮЧЕНИЙ
Предлагается метод исследования неявных сингулярных дифференциальных включений, использующий представление такого включения в виде операторного включения в некотором пространстве измеримых функций, определяемом по типу сингулярности. К полученному операторному включению применяются утверждения о липшицевых возмущениях многозначных накрывающих отображений.
Статья состоит из трех параграфов. В первом параграфе приведены необходимые обозначения, определения, сформулирована теорема [A. Arutyunov, V.A. de Oliveira, F.L. Pereira, E. Zhukovskiy, S. Zhukovskiy // Applicable Analysis, 2015, 94, № 1] о липшицевых возмущениях многозначных накрывающих отображений; во втором — введены специальные метрические пространства измеримых функций и получены достаточные условия накрывания многозначного оператора Немыцкого в таких пространствах; в третьем параграфе на основе перечисленных результатов получены условия разрешимости задачи Коши для неявного сингулярного дифференциального включения. Ключевые слова: неявное сингулярное дифференциальное включение; задача Коши; существование решения; накрывающее многозначное отображение; липшицево многозначное отображение
Для исследования сингулярных дифференциальных уравнений в [1], [2] было предложено определение пространства суммируемых функций, в котором соответствующие сингулярные отображения обладают "хорошими" свойствами (прежде всего, непрерывности и ограниченности, а при дополнительных ограничениях, еще и липшицевости или компактности), и становится возможным применять результаты функционального анализа. Использование такого же пространства в [3] позволило рассмотреть неявное сингулярное дифференциальное уравнение. Соответствующее операторное уравнение исследовалось с помощью результатов [4]-[6] о липшицевых возмущениях накрывающих отображений.
В данной статье аналогичные подходы применяются к исследованию неявного сингулярного дифференциального включения
где многозначное отображение f :[а,Ь] х М2 ^ М удовлетворяет условиям Каратеодори, а измеримая функция д : [а, Ь] ^ М+ обращается в 0 в точке £ = а. Предложена формализация этого
© Е. А. Плужникова 1) 2) , А. И. Шиндяпин 3)
Тамбовский государственный университет им. Г.Р. Державина 392000, Российская Федерация, г. Тамбов, ул. Интернациональная, 33 2) Российский университет дружбы народов 117198, Российская Федерация, г. Москва, ул. Миклухо-Маклая, 6 E-mail: pluznikova_elena@mail.ru 3) Университет имени Эдуардо Мондлане CP 257 Мозамбик, Мапуто, Площадь 25 июня, 257 E-mail: shindyapin.andrey@gmail.com
t е [a, b],
включения в виде операторного включения с накрывающим отображением в некотором, определяемом по функции ц пространстве измеримых функций. Получены условия разрешимости задачи Коши и оценки решения.
1. Накрывающие отображения метрических пространств
Приведем определения понятий, необходимых для формулировки основных результатов.
Пусть заданы метрические пространства (Х,рх), (У, ру)■ Многозначное отображение, ставящее в соответствие каждому х € X некоторое непустое множество Е (х) С У, обозначаем символом Е : X ^ У■ Если при любом х множество Е(х) = 0 замкнуто в У, то обозначаем такое отображение через Е: X — С1(У )■
Обозначим через Вх(хо,г) = {х € X : рх(х,хо) < г} замкнутый шар в пространстве X с центром в точке хо радиуса г > 0, и для произвольного множества и С X определим множество Вх (ии,т) = и и&и Вх (и, г).
Сформулируем необходимые для нашего исследования определения свойств накрывания, липшицевости и замкнутости графика многозначного отображения.
Определение 1 [7]. Пусть а> 0, Ш С У. Отображение Е : X ^ У называется а-накрывающим множество Ш, если для любых г > 0, х0 € X имеет место вложение
Ш П Ву(Е(хо),аг) С Е(Вх(хо, г));
здесь число а называют коэффициентом накрывания.
Свойство а -накрывания множества Ш равносильно соотношению:
V хо € X V уо € Е(хо) V у € Ш 3 х € X Е(х) Э у & рх(х,хо) < а-1 ру(у,уо).
Определение 2. Пусть в > 0, Ш С У. Отображение Е : X ^ У будем называть в -липшицевым относительно множества Ш, если
Vхо € X Ш П Е(хо) = 0 ^ Vуо € Ш П Е(хо) Vх € X 3 у € Е(х) ру (у,уо) < врх(х,хо);
здесь в называют коэффициентом Липшица.
Определение 3. Будем говорить, что график отображения Е : X ^ У замкнут относительно множества Ш С У, если для любых х1 € X, у^ € Е (х1), г = 1, 2,■■■, х € X, у € Ш из сходимостей х1 — х, у^ — у следует у € Е(х) ■
Пусть задан элемент у € У и определено отображение Ф : X2 ^ У, являющееся по одному аргументу накрывающим и липшицевым по другому аргументу. Рассмотрим включение
Е(х) = Ф(х,х) Э у (1)
относительно неизвестного х € X■ Сформулируем утверждение о разрешимости этого включения, следующее из результатов работы [8].
Теорема 1. Пусть метрическое пространство X являются полным и выполнены следующие условия: для всех х € X отображение Ф(^,х): X ^ У является а -накрывающим множество Ш = {у}, отображение Ф(х, ): X ^ У является в -липшицевым относительно множества Ш; график отображения Е, определенного равенством (1), замкнут относительно Ж
Тогда, если в<а, то включение (1) разрешимо и, кроме того, для произвольных хо € X, уо € Ф(ио,ио) существует решение х € X этого включения, удовлетворяющее оценке
рх(х,хо) < ру (у, уо) ■
а — в
2. Условия накрывания сингулярного оператора Немыцкого
Для U С R обозначим \U\ = supM€^ \u\.
Пусть заданы две измеримые функции z0 : [a, b] — R, v : [a, b] — R+. Для исследования сингулярного дифференциального уравнения в [1], [3] было определено метрическое пространство œ([a,b], R, zo,v) таких измеримых функций z : [a, b] —У R, что функция t G [a,b] —
, z(t)-z0(t)
— v(t) существенно ограничена, с метрикой
W ^Т t \ i \ • \z2(t) - zi(t)\
Vzi,z2 G L^(zo ,v) pL^(zo,v)(zi,z2) = Via\ SUp-—-.
t&[a,b] v(t)
В частности, если z0(t) = 0 и v(t) = 1, то L^(0,1) это "стандартное" пространство существенно ограниченных функций. Отметим, что при любых zo,v метрическое пространство Lœ(zo,v) является полным. Отметим, также, что если функции zo,v суммируемы, то любая функция из L<x(zo,v) будет суммируемой.
Для применения теоремы 1 к исследованию неявных сингулярных дифференциальных включений нам требуются условия накрывания многозначного оператора Немыцкого, действующего в определенных здесь пространствах измеримых функций. Сформулируем соответствующее утверждение.
Пусть задано отображение g : [a, b] х R — Cl(R), удовлетворяющее условиям Каратеодори, т. е. измеримое по первому и непрерывное (в метрике Хаусдорфа) по второму аргументу. Пусть заданы измеримые функции z0:[a,b] — R, v,w : [a, b] — R+ и пусть y0 :[a,b] — R — измеримое сечение отображения g(■, z0(•)) : [a, b] — Cl(R), т.е. y0(t) G g(t,z0(t)) при п.в. t. Определим отображение G :[a,b] х R — Cl(R) равенством
G(t z) = gfa z0(t)+v(t)z) - y0(t)
G(t z) = wt) • (2)
Предположим, что
Vr> 0 3R> 0 Vz G R \z\< r ^ \G(t,z)\< R Vt G [a,b]. (3)
По отображению g :[a,b] х R — Cl(R) определим оператор Немыцкого, сопоставляющий каждой функции z G L^(z0,v) множество S [g(',z(-))] всех измеримых сечений отображения g(■,z(■)) : [a,b] — Cl(R). При выполнении условия (3) оператор Ng действует из пространства L<x(z0,v) в пространство L^(y0,w) и имеет замкнутый (относительно всего L^(y0,w) ) график.
Пусть задана функция y G Lix(y0,w). Определим функцию
которая, очевидно является существенно ограниченной.
Теорема 2. Пусть существует такое a> 0, что при п.в. t G [a,b] отображение G(t, ■) : R — Cl(R) является a -накрывающим множеутво {y(t)} С R. Тогда оператор Немыцкого Ng : L^(z0,v) — Cl[L^(y0,w)), Ngz = S [g(-,z(-))], будет a -накрывающим множество {y} С Lx(y0,w).
Проиллюстрируем применение приведенного утверждения на следующем примере простейшего однозначного оператора Немыцкого.
Пример 1. Пусть
д : [0,1] х М ^ М, = \г\.
Оператор Немыцкого определяется в данном случае равенством (Ыдг)(Ь) = \ ^(^) \. Если положить г0(Ь) = 0, тогда уо(г) = 0, и для любой измеримой функции V : [0,1] ^ М+ оператор N действует в пространстве Ьс(0^). Задаваемая соотношением (8.) функция равна С(Ь,г) = = \г\. Очевидно, функция С(Ь, ■): М ^ М является 1 -накрывающей любое одноточечное подмножество М+. Следовательно, для любой неотрицательной функции у € Ьс(0^), оператор Nд : Ьс(0^) ^ Ьс(0^) является 1 -накрывающим множество {у}.
3. Задача Коши для неявного сингулярного дифференциального уравнения
Применим теоремы 1, 2 к исследованию разрешимости задачи Коши для неявного сингулярного дифференциального включения.
Пусть заданы: 7 € М, неубывающая функция д : [а, Ь] ^ М+ такая, что д(а) = 0, д(г) > 0 при г = а, и отображение / :[а,Ь] х М2 ^ С1(М), удовлетворяющее условиям Каратеодори. Рассмотрим задачу Коши для дифференциального включения
х(г)
х'
/(г, 'у-, х'(^ Э 0, I € [а, Ь], х(а) = Г (4)
д(г)
Пусть заданы суммируемые функции :[а,Ь] ^ М, v,w :[а,Ь] ^ М+. Положим
х0(г) = 7 + / го(в) йв, г € [а,Ь].
■) а
Пусть у о —некоторое измеримое сечение многозначного отображения / (■, , %о(), поло жим у(г) = — у4ту, г € [а,Ь]. Определим отображение Р :[а,Ь] х М2 ^ С1(М) равенством
р(г,х,г) = ^А/(г, дх-,хо(1) + v(t)z) — уо(г)).
— (¡-(г -
w(t)V \ ' д(г) Будем предполагать выполнение следующего условия
Уг> 0 ЗЯ> 0 Ух^ € М \х\ < г г ^ Р(г,х^)\< Я Ш € [а, Ь].
Теорема 3. Пусть для некоторых а> X > 0 выполнены условия:
• для п.в. г € [а,Ь], любых х € М отображение Р(г,х, ■): М ^ С1(М) является а -накрывающим множество {у(г)} С М;
• функции () , ( v(s) йв, г € [а,Ь], существенно ограничены;
д(г) д(г) а
• для п.в. г € [а,Ь], любых z € М отображение /(г, ): М ^ С1(М) является X -липшице-вым относительно множества {0} С М;
X [*
• имеет место неравенство в = уга1 вир —^—-— v(s) йв<а.
Ща,Ь] д(г^(г) }а
Тогда существует решение х € АСсо^о, [а,Ь], М, v) задачи (4), производная которого удовлетворяет оценке
](х1^о) ^ а — в рЬ^(у0,[а,Ь],Ж,т){ 0,уо) ■
Доказательство использует представление задачи Коши в виде интегрального включения ^
7 + I г^8)'*®) э 0, (5)
которое мы формализуем как включение (1) с отображением
(Ф(гъ г2)) (г) = 1 + ] , г^ .
Разрешимость включения (5) доказывается на основании теоремы 1, а теорема 2 позволяет установить свойство накрывания отображения Ф по первому аргументу.
СПИСОК ЛИТЕРАТУРЫ
1. Шиндяпин А.И. О краевой задаче для одного сингулярного уравнения // Дифференциальные уравнения. 1984. Т. 20. № 3. С. 450-455.
2. Shindiapin A. On linear singular functional-differential equations in one functional space // Abstract and Applied Analysis. 2004. V. 7. P. 567-575.
3 . Shindiapin A.I., Zhukovskiy E.S. Covering mappings in the theory of implicit singular differential equations // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2016. Т. 21. Вып. 6. С. 2107-2112.
4. Аваков Е.Р., Арутюнов А.В., Жуковский Е.С. Накрывающие отображения и их приложения к дифференциальным уравнениям, не разрешенным относительно производной // Дифференциальные уравнения. 2009. Т. 45. № 5. С. 613-634.
5 . Арутюнов А.В., Жуковский Е.С., Жуковский С.Е. О корректности дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2011. Т. 47. № 11. С. 1523-1537.
6. Жуковский Е.С., Плужникова Е.А. Накрывающие отображения в произведении метрических пространств и краевые задачи для дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2013. Т. 49. № 4. С. 439-455.
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. Iss. 1. P. 105-127.
8. Arutyunov A., de Oliveira V.A., Pereira F.L., Zhukovskiy E., Zhukovskiy S. On the solvability of implicit differential inclusions // Applicable Analysis. 2015. V. 94. № 1. P. 129-143.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проекты № 17-41-680975, № 15-01-04601).
Поступила в редакцию 9 сентября 2017 г.
Плужникова Елена Александровна, Тамбовский государственный университет им. Г.Р. Державина, г. Тамбов, Российская Федерация, кандидат физико-математических наук, доцент кафедры функционального анализа; Российский университет дружбы народов, г. Москва, Российская Федерация, доцент кафедры нелинейного анализа и оптимизации, e-mail: pluznikova_elena@mail.ru
Шиндяпин Андрей Игоревич, Университет имени Эдуардо Мондлане, г. Мапуту, Мозамбик, доктор физико-математических наук, профессор, профессор кафедры математики и информатики, е-mail: shindyapin.andrey@gmail.com
ISSN 1810-0198 BecTHHK Try, t. 22, huo. 6, 2017
UDC 517.988.6, 517.922
DOI: 10.20310/1810-0198-2017-22-6-1314-1320
ON ONE METHOD OF STUDYING IMPLICIT SINGULAR DIFFERENTIAL INCLUSIONS
© E. A. Pluzhnikova , A. I. Shindyapin 3
Tambov State University named after G.R. Derzhavin, 33 Internatsionalnaya st., Tambov, Russian Federation, 392000
2) RUDN University 6 Miklukho-Maklay St., Moscow, Russian Federation, 117198 E-mail: pluznikova_elena@mail.ru 3) Universidade Eduardo Mondlane 257 Praca 25 de Junho, Maputo, Mocambique, CP 257 E-mail: shindyapin.andrey@gmail.com
We propose a method of studying singular differential inclusions based on the representation of such an inclusion in the form of an operator inclusion in some space of measurable functions depending on the type of a given singularity. To the operator inclusion we apply the results on Lipschitz perturbations of multi-valued covering mappings. The article consists of three sections. In the first one we give the necessary definitions and formulate the theorem [A. Arutyunov, V.A. de Oliveira, F.L. Pereira, E. Zhukovskiy, S. Zhukovskiy // Applicable Analysis, 2015, 94, № 1] on the Lipschitz perturbations of multi-valued covering mappings. In the second section we introduce special metric spaces of integrable functions and obtain sufficient conditions of covering for the multi-valued Nemytskii operator in such spaces. Finally, using the mentioned results, we derive the existence conditions for the Cauchy problem for an implicit singular differential inclusion. Keywords: implicit singular differential inclusion; Cauchy problem; existence of solution; covering multi-valued mapping; Lipschitz multi-valued mapping
REFERENCES
1. Shindyapin A. I. A boundary value problem for a singular equation // Differentsial'nye Uravneniya. 1984. V. 20. № 3. P. 450-455.
2. Shindiapin A. On linear singular functional-differential equations in one functional space // Abstract and Applied Analysis. 2004. V. 7. P. 567-575.
3. Shindiapin A.I., Zhukovskiy E.S. Covering mappings in the theory of implicit singular differential equations // Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences. Tambov, 2016. V. 21. Iss. 6. P. 2107-2112.
4. Avakov E.R., Arutyunov A.V., Zhukovskii E.S. Covering mappings and their applications to differential equations not solved with respect to the derivative // Differential Equations. 2009. V. 45. № 5. P. 627-649.
5. Arutyunov A.V., Zhukovskii E.S., Zhukovskii S.E. On the well-posedness of differential equations unsolved for the derivative // Differential Equations. 2011. V. 47. № 11. P. 1541-1555.
6. Zhukovskii E.S., Pluzhnikova E.A. Covering mappings in a product of metric spaces and boundary value problems for differential equations unsolved for the derivative // Differential Equations. 2013. V. 49. № 4. P. 420-436.
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. P. 105-127.
8. Arutyunov A., de Oliveira V.A., Pereira F.L., Zhukovskiy E, Zhukovskiy S. On the solvability of implicit differential inclusions // Applicable Analysis. 2015. V. 94. № 1. P. 129-143.
ACKNOWLEDGEMENTS: The work is partially supported by the Russian Fund for Basic Research (projects № 17-41-680975, № 15-01-04601).
Received 9 September 2017
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 Department; RUDN University, Moscow, the Russian Federation, Associate Professor of the Nonlinear Analysis and Optimization Department, e-mail: pluznikova_elena@mail.ru
Shindiapin Andrey Igorevich, Eduardo Mondlane University, Mozambique, Doctor of Physics and Mathematics, Professor, Professor of the Department of Mathematics and Computer Science, e-mail: shindyapin.andrey@gmail.com
Для цитирования: Плужникова Е.А., Шиндяпин А.И. Об одном методе исследования неявных сингулярных дифференциальных включений // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2017. Т. 22. Вып. 6. С. 1314-1320. DOI: 10.20310/1810-0198-2017-22-6-1314-1320
For citation: Pluzhnikova E.A., Shindyapin A.I. Ob odnom metode issledovaniya neyavnykh singulyarnykh differentsial'nykh vklyucheniy [On one method of studying implicit singular differential inclusions]. Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2017, vol. 22, no. 6, pp. 1314-1320. DOI: 10.20310/1810-0198-2017-22-6-1314-1320 (In Russian, Abstr. in Engl.).
