Векторные накрывающие отображения и краевые задачи для дифференциальных уравнений неявного вида тема автореферата и диссертации по математике, 01.01.02 ВАК РФ
Плужникова, Елена Александровна
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Тамбов
МЕСТО ЗАЩИТЫ
|
||||
2013
ГОД ЗАЩИТЫ
|
|
01.01.02
КОД ВАК РФ
|
||
|
На правах рукописи
Плужникова Елена Александровна
ВЕКТОРНЫЕ НАКРЫВАЮЩИЕ ОТОБРАЖЕНИЯ И КРАЕВЫЕ ЗАДАЧИ ДЛЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ НЕЯВНОГО ВИДА
01.01.02 - дифференциальные уравнения, динамические системы и оптимальное управление
АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук
1 О ОКТ 2013
МОСКВА - 2013
005534866
Работа выполнена на кафедре алгебры и геометрик института математики, физики и информатики Тамбовского государственного университета имени Г.Р. Державина
Научный руководатедь:
Жуковский Евгений Семенович, доктор физико-математических наук, профессор, директор института математики, физики а информатики Тамбовского государственного университета имени Г.Р. Державина
Официальные оппоненты:
Аваков Евгений Рачиевич, доктор физико-математических наук, ведущий научный сотрудник Института проблем управления имени В.А. Трапезникова РАН
Безяев Владимир Иванович, кандидат физико-математических наук, доцент, доцент кафедры дифференциальных уравнений и математической физики Российского университета дружб« народов
Ведущая организация;
Воронежский государственный университет
Защита состоится 419» ноября 2013 года в 16.00 на заседании диссертационного совета Д 212.203.27 прл Российском университете дружбы народов ш адресу: г. Москва, ул. Орджоникидзе, д. 3, ауд. 495а.
О диссертацией можно ознакомиться в Научной библиотеке Российского университета дружбынародов. .
Автореферат разослан г.
Ученый секретарь диссертационного совета
Россовский Леонид Ефимович
Общая характеристика работы
Актуальность темы. Математический аппарат классической теории нелинейных дифференциальных уравнений явного вида, позволяющий исследовать многочисленные нелинейные модели явлений, процессов различной природы, давно создан, широко и эффективно применяется. Гораздо большие сложности представляет ситуация, когда при математическом описании необходимо учитывать зависимость параметров модели от скорости изменения состояния объектов. В этом случае модель представляет собой нелинейные дифференциальные уравнения неявного вида (не разрешенные относительно производной). Примерами таких задач являются неголономные механические системы1, модели электрического колебательного контура2.
Основным методом исследования дифференциальных уравнений неявного вида является использование теорем о неявных функциях. Однако, эти теоремы не применимы в случае, если по соответствующему аргументу порождающая дифференциальное уравнение функция не является гладкой, или ее производная вырождена. Разрешая такое уравнение относительно производной, можно свести его к дифференциальному включению, однако получаемое многозначное отображение часто не обладает свойствами, позволяющими применять классические утверждения о дифференциальных включениях. В литературе практически отсутствуют методы исследования ряда важнейших вопросов теории дифференциальных уравнений неявного вида, в том числе рассмотренных в диссертации краевых задач, систем управления. Новые возможности изучения дифференциальных уравнений, не разрешенных относительно производной, мы связываем с интенсивно развивающейся в последнее время теорией накрывающих отображений.
Утверждения о лишницевых возмущениях накрывающих отображений стали важным инструментом нелинейного анализа3, позволили получить ряд новых результатов о существовании, продолжаемости решений, корректности дифференциального уравнения, не разрешенного относитель-
1 Закллюкин II.В. Особенности уравнений динамики некоторых неголономных систем и неявные дифференциальные уравнения. Автореферат диес. ... канд. физ.-мат. наук: 01.02.01 [Место защиты: Московский авиационный институт (государственный технический университет)]. М., 2010.
2Андропов A.A., Витт A.A., Хайкии С.Э. Теория колебаний. М.: Гос. изд-во физ.-мат. литературы, 1959. С. 145, 148.
3 Mordukhovich В.S., Wang В. Restrictive metric regularity and generalized differential calculus in Banacli spaces // Maths. Math. Science. 50. 2004. P. 2S50-2683.
Aratyunov A., Avakov E., Gel'man В., Dmitruk A., Obukhovskii V. Locally covering maps in metric spaces and coincidence points // J. Fixed Points Theory and Applications. 2009. V. 5. No. 1. P. 105-127.
но производной4, интегральных уравнений Volterra5, начать изучение задач управления для таких уравнений6. Так как краевые задачи и задачи управления сводятся к системам уравнений и включений (содержащим кроме дифференциальных уравнений еще начальные и краевые условия, ограничения на управления и пр.), то разрабатываемые схемы и методы их исследования потребовали распространения теорем о липшицевых возмущениях на векторные накрывающие отображения. Полученные в диссертации утверждения о возмущениях векторных условно накрывающих отображений позволяют исследовать вопросы разрешимости и корректности краевых задач и задач управления для систем дифференциальных уравнений неявного вида, получить оценки их решений.
Цель работы. Основной целью диссертации является исследование задачи Коши, краевых задач и задач управления для систем обыкновенных дифференциальных уравнений неявного вида, получение условий существования, непрерывной зависимости от параметров решений и нахождение их оценок. Ставится задача получить утверждения о липшицевых возмущениях векторных накрывающих отображений метрических пространств и разработать на их основе методы исследования систем обыкновенных дифференциальных уравнений неявного вида.
Методика исследования. В диссертации применяются методы функционального анализа, общей топологии, теории многозначных отображений, теории дифференциальных уравнений, теории управления. Предлагается новый подход к исследованию краевых задач и задач управления для дифференциальных уравнений неявного вида, использующий представление дифференциальных уравнений, начальных и краевых условий, ограничений на управление в виде системы операторных уравнений, и основанный на полученных в диссертации результатах о липшицевых возмущениях векторных накрывающих отображений и признаке накрывания оператора Немыцкого.
Научная новизна. Все полученные результаты являются новыми. Основными результатами диссертации являются:
4Аваков Е.Р., Арутюнов A.B., Жуковский E.G. Накрывающие отображения и их приложения к дифференциальным уравнениям, не разрешенным относительно производной // Дифференциальные уравнения. 2009. Т. 45. № 5. С. 613 634.
Арутюнов A.B., Жуковский Е.С., Жуковский С.Е. О корректности дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2011. Т 47 № 11. С. 1523-1537.
5Arutyunov А. V., Zhukovskii E.S., Zhukovskü S.E. Covering mappings and well-posedness of nonlinear Volterra equations // Nonlinear Analysis: Theory, Methods and Applications. 75. 2012. P. 1026-1044.
Арутюнов A.B., Жуковский С.Е. Локальная разрешимость управляемых систем со смешанными ограничениями // Дифференциальные уравнения. 2010. Т. 46. № 11. С. 1561-1570.
1) теоремы о липшицевых возмущениях векторного условно накрывающего отображения метрических пространств (представляющие условия разрешимости и корректности системы операторных уравнений, порождаемых векторным отображением, накрывающим по диагональной переменной и липшицевым по остальным переменным);
2) признаки накрывания оператора Немыцкого, действующего в пространствах суммируемых с любой степенью функций;
3) условия существования и непрерывной зависимости от параметров, оценки решений задачи Коши для систем дифференциальных уравнений неявного вида;
4) условия существования и непрерывной зависимости от параметров, оценки решений краевых задач для систем дифференциальных уравнений неявного вида;
5) условия существования и непрерывной зависимости от параметров, оценки решений управляемых систем со смешанными ограничениями на управление, описываемых дифференциальными уравнениями неявного вида.
Теоретическая значимость. Диссертация имеет теоретический характер. Полученные результаты востребованы в теории дифференциальных уравнений, могут также использоваться в исследовании разрешимости, корректности математических моделей, нахождении оценок их решений. Разработанные в диссертации методы исследования могут быть применены к краевым задачам и задачам управления для функционально-дифференциальных уравнений, не разрешенных относительно производной искомой функции.
Апробация работы. Результаты диссертации обсуждались на следующих семинарах: городской научный семинар по функционально-дифференциальным уравнениям и включениям под руководством профессора А.И. Булгакова (Тамбов, ТГУ им. P.P. Державина); научный семинар по нелинейному анализу под руководством профессора В.В. Обухов-ского (Воронеж, ВРУ); научный семинар кафедры оптимального управления факультета ВМК под руководством профессора Ф.П. Васильева (Москва, МГУ им. М.В. Ломоносова); совместное заседание научного семинара кафедры дифференциальных уравнений и математической физики по дифференциальным и функционально-дифференциальным уравнениям под руководством профессора A.JI. Скубачевского и научного семинара кафедры нелинейного анализа и оптимизации под руководством профессора A.B. Арутюнова (Москва, РУДН). Результаты диссертации были представлены на следующих конференциях: между-
народная научная конференция «Современные физико-математические и информационные методы в естествознании, технике и гуманитарных науках» (Тамбов, ТГУ им. Г.Р. Державина, 18-22.10.2010); 42-ая всероссийская молодежная школа-конференция «Современные проблемы математики» (Екатеринбург, Институт математики и механики УрО РАН, 28.01-8.02.2011); международная научная конференция «Дифференциальные уравнения и смежные вопросы» (Москва, совместное заседание Московского математического общества и семинара имени И.Г. Петровского, 30.05-4.06.2011); международная научная конференция «Тихоновские чтения» (Москва, МГУ им. М.В. Ломоносова, 14.06.2011); the 8th Congress of the ISAAC (Moscow, Peoples' Friendship University of Russia, August 22-27, 2011); международная научная конференция «Колмогоровские чтения - V. Общие проблемы управления и их приложения» (Тамбов, ТГУ им. Г.Р. Державина, 10-14.10.2011); всероссийская научная конференция с международным участием «Математическая теория управления и математическое моделирование» (Ижевск, ИжГТУ им. М.Т. Калашникова, 15-18.05.2012); XII международная конференция «Устойчивость и колебания нелинейных систем управления» (Москва, ИПУ им. В.А. Трапезникова РАН, 5-8.06.2012); V международная конференция «Современные проблемы прикладной математики, теории управления и математического моделирования» (Воронеж ВГУ 11-16.09.2012).
Публикации. По теме диссертации опубликовано 16 печатных работ ([1] - [16]), из них 9 — в журналах, входящих в Перечень ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертаций ([1] - [9]).
Структура и объем диссертации. Работа состоит из введения, перечня используемых обозначений, двух глав, разбитых на параграфы, заключения и списка литературы, содержащего 45 наименований. Общий объем диссертации — 94 страницы.
Краткое содержание работы
Во введении формулируются цели исследования, дается обзор литературы по исследуемой проблематике, обосновывается актуальность темы диссертационного исследования, кратко излагаются основные результаты, выносимые на защиту.
В главе 1 исследованы свойства накрывающих и условно накрывающих отображений метрических пространств, доказаны утверждения о
липшицевых возмущениях векторных накрывающих отображений, получены условия накрывания оператора Немыцкого. Эти результаты — основа исследования дифференциальных уравнений неявного вида, предпринятого в главе 2 диссертации.
Основной объект исследования в главе 1 — это система уравнений
Fi(xi,x2,-.-,x„)=yi, г=1,п, (1)
где при всех г отображение Fi, действующее из произведения метрических пространств Xj в метрическое пространство К;, является накрывающим по диагональной г-й переменной Xj. и липшице-вым по остальным переменным. Идея исследования наиболее наглядна для системы (1) в простейшем случае, когда YJ = Хг- -..... линейные полные метрические пространства, отображение Fi(xi,x2, ■ ■ ■ ,хп) = Xi - Giix 1,аг2, • • • ,ХП), где отображение Gj по каждой j-й переменной удовлетворяет условию Липшица с константой i,j = 1 ,п. В этом случае система (1) принимает вид
xi = Gi(xux-2,...,xn)+yi, г = l,7i. (2)
Положим В = (ßij)nxn И определим метрическое пространство X = Yl"=1Xj с расстоянием между элементами х = и и = (uj)j=j^,
равным рх{х,и) = \(pxl(xi,ui),Px2{x2,u2),---,Pxn(xn,u„))\, где монотонную норму | • | в К™ можем выбирать7 так, чтобы значение |5| было достаточно близким к спектральному радиусу д(В). Таким образом, если q{B) < 1, то отображение G = (Gb G2, • ■ ■, Gn) : X X будет сжимающим и, следовательно, существует единственное решение системы (2), к которому будут сходиться последовательные приближения (подробнее о распространении принципа Банаха на векторные отображения см. работу А.И. Перова8).
Приведем основные определения и результаты § 1.1. Пусть (Х,рх), (Y,py) — метрические пространства. Обозначим через Вх(х,г) замкнутый шар с центром в точке х радиуса г > 0 в пространстве X. Пусть заданы число а > 0 и отображение Ф : X —К
Определение I.9 Отображение Ф называется а-накрывающим (накрывающим), если для любых г > 0 и и <5 X имеет место включение
ЩВх{и,г))ЭВу{Щи),аг).
7Красносельский М.А., Вайникко Г.М., Забрейко ПЛ., Рутицкий Я.Б., Стеценко В.Я. Приближенное решение операторных уравнений. М., 1969. С. 15 16.
яПеров А.И. Ообщенный принцип сжимающих отображений // Вестник Воронежского государственного университета. Серия: Физика. Математика. 2005. № 1. С. 19G-207.
^Арутююв A.B. Накрывающие отображения в метрических пространствах и неподвижные точки // Доклады Академии наук. 2007. Т. 416. № 2. С. 151-155.
Отображение Ф является а -накрывающим тогда и только тогда, когда для любых и S X и у е Y существует х € X, удовлетворяющий уравнению Ф(:с) = у и оценке
рх(х, и) ^ a~lpY{y, Ф(ы)). (3)
Определение 2.10 Если для любых г > 0 и и е X имеет место включение Ф(5х(м,г)) 2 Вк(Ф(и),аг)ПФрО, то отображение Ф называют условно а-накрывающим (условно накрывающим).
Отображение Ф является условно а-накрывающим тогда и только тогда, когда для любых и Е X и у е ФрО существует х 6 X, удовлетворяющий уравнению Ф(г) = у и оценке (3).
В пространстве R" вещественных п -мерных векторов будем считать заданной норму |-|, обладающую свойством монотонности. Пусть заданы метрические пространства (Xj,pXj), {Yj,pVj), точки yj <=Yj, j = Т^п, и определены отображения Ф¿: X, х Щ=1 Xj Yh i = 1~п. Рассмотрим систему уравнений
<$>i{xi,xi,x2 ,...,xn)=yi, г = Т7п, (4)
относительно неизвестного X = (х\, Х2, ■ ■ . , Хп) е Щ=1 Xj .
Определим метрическое пространство X = П"=1 Xj с расстоянием между элементами x = б X и и = (Uj£ X, равным
рх(х,и) =10^(1!, Ui), рх2(х2,щ),..., рХп{хп,ип))\. (5)
Аналогично определим метрику в Y = IIj=i Xi-
Пусть заданы числа щ > 0, ft,- > 0, i,j = T7n. Определим матрицу
С ' iaTlßii)nxn
и обозначим через д(С) ее спектральный радиус.
Теорема 1. Пусть метрические пространства Xj, j = Т/п., являются полными и выполнены следующие условия:
для всех х G X отображение Ф;(-,х) : Xi Yh i = Т/п, условно a-i-накрывающее и имеет место включение yi 6 Фг;рГг-,:г);
при любых i,j = I7n, Ui е Хи xi € Xi, ..., Xj-x € Х,-Ъ xj+i € Xj+1, xne Xn отображение Ф... •, xj+1)... ,xn) : Xj ->• является ßij -липшицевым;
10Аваков Е.Р., Арутюнов A.B., Жуковский Е.С. Накрывающие отображения и их приложения к дифференциальным уравнениям, не разрешенным относительно производной // Дифференциальные уравнения. 2009. Т. 45. № 5. С. 613-634.
для любой сходящейся последовательности {и^} С X, ик -> и, такой что Фг{ио и) -»• Уг \/г = "Цп, имеет место равенство Ф,:(иг, и) = Уг = 17п.
Гогда если е(С) < 1, то система уравнений (4) разрешима и, кроме того, для любого е > 0 можно так определить норму ] • | в пространстве М", что при задании метрики в X равенством (5) для произвольного и0 = (и1,и%,...,и%) е X существует решение х = £ е X системы (4), удовлетворяющее оценке
Далее рассмотрены частные случаи теоремы 1 при тг = 1,2 и приведен пример, из которого следует, что в оценке (6) нельзя принять £ = 0 .
В § 1.2 исследован вопрос о корректности системы (4) в следующей постановке. Пусть задана последовательность {ут = (Угт)г=Т^} С У и определены отображения Фг,„ : Хг х X У,;, г = 1 ,п, т = 1,2,— Рассмотрим при каждом т = 1,2,... систему операторных.уравнений
Ф«п{хи XI,Х2,..., х„) = Уип, г = 1,71, (7)
относительно неизвестного X = (Х\,Х2, ■ ■ ■ ,ХП) € X. Предположим, что для некоторого элемента и0 = {иЧ,и°2,... ,и°) € X при т -> оо имеет место сходимость
ру, (фгт(<уи 4,...,и°п), уш) 0, 1=1^. (8)
Нас интересуют условия, обеспечивающие разрешимость при любом т системы (7) и сходимость к и0 последовательности решений. Сформулируем основной результат этого параграфа. Теорема 2. Пусть пространства X,-, j = 1 ,п, являются полными, для каждых г,з = 17п существуют такие числа а» > 0, > 0, что для спектрального радиуса матрицы С = (а,-1/%)пхп имеет место
оценка е(С) < 1 и выполнены следующие условия: _
для всех х е X отображение Ф,т(-,а;) : X* У,., i = 1,п, т = 1,2,..., условно а,-накрывающее и г/,;т 6 Ф¡т(Х{,х)\
при любых 1,з = I~п, т = 1,2,..., и произвольных гц е Хи хх е Хи ... , е Х,-1, хНх е Хз+1, ... , хп е Хп отображение Фгт(гч,Х!,..., х^и х^и ...,хп): Х3 -»■ ^ /% -липшицево;
для любой сходящейся последовательности {иА:} С X, и' и, такой что при к оо имеет место сходимость руДФг,п(«|, и),у(т) -> О,
^ — т = 1,2,..., выполнено равенство Ф;т(и;,и) = у./т, V« = 1, п, т = 1,2,____
Тогда если имеет место соотношение (8), то при каждом т существует такое решение <= X системы (7), что £га -»■ и0.
Далее в § 1.2 рассмотрены частные случаи теоремы 2 — утверждения о корректности скалярного уравнения и системы двух уравнений.
Для применения теорем 1,2 к исследованию систем обыкновенных дифференциальных уравнений неявного вида требуются условия на-крывания оператора Немыцкого в функциональных пространствах. В § 1.3 сформулировано и доказано утверждение о накрывании оператора Немыцкого в пространствах суммируемых с любой степенью функций.
Обозначим через с1(Е') совокупность всех непустых замкнутых подмножеств пространства Кг. Пусть задано р € [1, сю] и определено измеримое многозначное отображение Г2 : [а, Ь] ->• с1(Ег), для которого функция £ е \а,Ь] (-> 0,П(«)) 6 М суммируема в р-й степени при р < оо и существенно ограничена при р = оо. Определим следующие полные метрические пространства: Ьр([а,Ь],П) — пространство функций г € [а,Ъ] (-)• у(¿) е Ю(г), суммируемых в р-й степени,
если 1 < р < оо, с метрикой рЬр(ух,у2) = (/|уг(в) - ^(й)^)1^,
и, в случае р — оо, пространство существенно ограниченных функций. Р^{УъУ2) = Угш8ир(,е[в1б]|у1(в) - угЫ!, АСр{[а,Ь],0) - пространство таких абсолютно непрерывных функций х : [а, 6] что х е Ьр([а,Ь],П), с метрикой рАСр{х1,х2) = \{р^{хъх2), х^а) - х2{а)) |.
Пусть заданы числа 1 ^ рх < р2 < оо и определены измеримые многозначные отображения О.: [о, 6] с^К'1), 0 : [а, 6] -> с.1(Жг2) такие, что Дй'1(0,П(-)) € £Р1(М],М), №2(о, ©(•)) € ХР2([а,Ь],М). Пусть, далее, задана функция (4 е [а,6], х е х) € ©(<), удовлетворяю-
щая условиям Каратеодори. В случае рх ф оо относительно функции д будем предполагать, что существуют т] € ¿Р2([а,6],М) и Л € К, для которых при почти всех £ е [а, Ь] и всех у е выполнено неравенство \д(Ь, г/)| ^ Х\у\р"1р2 Если р1 = оо, то при любом г > 0 пусть существует такая функция г)Г € £Р2([а,6],К), что \дЦ,у)\ ^ т/г(<) при почти всех £ е [а, 6] и любых у £ Г2(£) таких, что \у\ ^ г. При выполнении этих условий оператор Немыцкого Ид : ЬР1([а, Ь], О) -)■ £Р2([а, 6], ©), (АТду){Ь) = в случае рх ф оо является непрерывным и ограниченным, а при рх = оо — замкнутым и ограниченным.
Теорема 3. Пусть существует такое ад > 0, что при почти всех £ 6 [а, £>] отображение д(Ьг) : П(<) ©(£) условно ад-накрывающее. Тогда оператор Немыцкого : ЬР1 -» ЬР2 будет условно а^-накры-
вающим, где а^ = (Ь — а)-^-3*1^1^«,,, в частности, при р\ = рг константы накрывания равны: адт = ад, в случае р\ < р? = оо выполнено равенство а/у = (Ь — а)~1/р1ад. Аналогично, если при почти всех £ е [а, 6] отображение д: ©СО ад-накрывающее, то
оператор Немыцкого Ид : ЬР1 —будет адг -накрывающим.
Глава 2 посвящена изучению задачи Коши, краевой задачи и задачи управления для дифференциальных уравнений неявного вида. Метод исследования основан на представлении дифференциальных уравнений, начальных и краевых условий, ограничений на управление и динамическую переменную в виде системы операторных уравнений относительно пары векторов (.х,х(а)) или, в случае задач управления, тройки векторов (х,х(а),и), где х — вектор, компоненты которого — производные искомых функций, х(а) — вектор начальных значений, и — вектор-функция управления. При этом результаты § 1.3 позволяют найти условия накрывания отображений по соответствующим переменным, а утверждения из § 1.1, § 1.2 — исследовать полученные системы операторных уравнений.
В § 2.1 рассмотрена задача Коши.
Пусть для всех г = 1, п заданы измеримые многозначные отображения : [а, 6] —с](Е), определены удовлетворяющие условиям Каратео-дори функции /г : [а, Ь] х Е" х Е -» Е, такие что /¡ (£, х, Г2г:(£)) С ©¿(¿) при почти всех £ е [а, Ь] и любых х е Ж", а также функции £ £ [а, 6] 2/г:(£) € ©¡(¿) и числа ^ 6 Е, г = 1,?г. Рассмотрим систему обыкновенных дифференциальных уравнений вида
/¿(1,х1^),х2 (£),..., ж„(г),£г(г)) =№(£), г' = Т7п, (9)
с начальными условиями
ж»(а) = 7ь г = Т~п. (10)
Пусть заданы числа 1 ^ рц < ргг < оо, г = 1,п. Будем предполагать при всех г = 1, та, что р®(0, Г2;(-)) €
ЬР2Х[а,Ь},Ш.), Уi е 1Р2Х[а,Ъ},в{). _
Пусть, далее, для всех тех г = 1,гг, при которых ри ф оо, функция /г удовлетворяет УСЛОВИЮ
Тр) при любом г > 0 существуют такие щ 6 ЬР2(([а, 6], ©.¿) и А; € Е, что при почти всех I € [а, 6], любых х € Е™, таких, что \х\ ^ г, и всех Юг 6 справедливо неравенство |/г:(£,х, < А1-|и>»|р"/р2( + ??;(£)•
Для всех г, при которых рн = оо, предполагаем, что выполнено /"„о) при любом г > 0 существует такая функция щ е ЬР2<([а, £>], ©¿),
что при почти всех t G [а, 6], любых х G R" и w, G fij(i), таких, что M + N < г, имеем \fi(t,x,Wi)\ ^ ijj(i).
Решение задачи Коши (9), (10) будем искать в классе абсолютно непрерывных функций х = (xi,x2, ...,хп) : [а, а + т] Еп, компоненты которых х,- G ЛС№([а,а + т], г = 1, n, т G (0,b - а].
Пусть заданы непрерывная функция х° : [а, Щ -»• К" и а > 0. Положим D(t) = (x-°(i),cr).
Теорема 4. Предположим, что если рца = 1 при некотором ¿о, то Pu Ф оо при всех остальных номерах г. Пусть справедливо неравенство |х°(а) — 7| < су. Пусть при каждом г = 1, тг для почти всех t G [а, 6] и любых Wi G х G D(t) отображение fi(t,x,-) : Qi(t) -ч-
Qi(t) условно накрывающее; отображение fi(t,-,Wi) : D(t) ©¿(f) липшицево; имеет место включение yi(t) G /,;(i, х,Г2г(£)). Тогда существует т G (0,6 — а] и существует определенное на [а, а + т] решение П+ задачи (9), (10).
Также в § 2.1 исследована проблема непрерывной зависимости от параметров решений задачи Коши (9), (10).
Пусть заданы последовательность удовлетворяющих условиям Кара-теодори функций Jim : [а, Ъ] X Е™ X Ш R, таких что fim(t,X,Qi(t)) С Оi(t) при почти всех t G [а, £>] и любых я G К", функции t G [а, 6] М-Vim(t) G 6,;(i) и числа jim G M, i = l,n, m = 1,2,... . Рассмотрим последовательность задач Коши
fim(t,Xl(t),X2(t),...,Xn(t),Xi(t)) =yim(t), Xi(a) = Jim, i = Т~П. (11)
По-прежнему, считаем заданными числа 1 ^ рц ^ рц ^ оо, г = 1 ,п. Предполагаем, что у,т G LP2i([a,b], Qi) при любом натуральном m; далее, что при значениях рн ф оо, функция /¡„, удовлетворяет условию J^), а в случае pu = оо — условию J-^).
Пусть для некоторой функции х° = (х?, х§,..., х°) : [а, 6] Е", компоненты которой х° G ACPu([a,b],Qi), для всех i = Tjn при m оо имеют место соотношения
PtP2i (/¡m(-,a:0(-).i<(-)), г/™(-)) 0, lim -»• х-(а). (12)
Пусть задано число о- > 0. Положим D(t) = BRn(x°(t),a).
Теорема 5. Предположим, что еаги рцп = 1 при некотором ¿о, то Pu ф оо при всех остальных номерах i. Пусть существуют такие oci > 0, ßij ^ 0, i,j = 1,n, что при каждых г = 1,п, m = 1,2,... отображение (t G [а, 6], х G Z?(i), ш» G üi(t)) м- /¿т(£,х,ш») G ©¿(i) удовлетворяет ааедующилг условиям: при почти всех t и любых х
отображение условно сц-накрывающее и выполнено включе-
ние yim.it) € пРи ПОЧти всех I, Любых Юг, Пр0иЗв0ЛЬ-
ного номера з = 1 ,п и всех (х1,...,х ■ ■ ■,хп) отображение
¡гт{Ь,Х\,... • ... ,хп,1П{) -липшицево. Тогда если имеет
место соотношение (12), то, начиная с некоторого номера, при каждом натуральном т существует определенное на всем [а, Ъ] решение Г' 6 \1%\АСРц{\аА>Щ) задачи (11) т.акое, что £т х°.
В § 2.2 исследована краевая задача.
Пусть для всех г = 1 ,п заданы числа Рг-, С},: и А,;. Рассмотрим при £ £ [а, 6] систему дифференциальных уравнений (9) с краевыми условиями _
Р<ж«(а) + <ЭМЬ) = А», * = ТГп. (13)
По-прежнему, считаем, что заданы числа 1 < ри < ргг ^ и выполнены включения уг 6 ЬР2Да, Ь], 9г), г = 1 ,п. Пусть, далее, для тех г, при которых Ри Ф оо, функция /„; удовлетворяет условию Рр). Для значений г, при которых рц = оо, будем предполагать выполненным условие
Решение краевой задачи (9), (13) будем искать в классе абсолютно непрерывных функций х — (Х1,Х2,... ,х„) : \а,Ъ) К™, компоненты х,-которых принадлежат пространству АСРи([а, Ь], Г^).
Теорема 6. Пусть при каждом г = 1 ,п выполнены следующие условия: Рг + €¿1 Ф 0; существует такое а, > 0, что при почти всех £ е [а, 6] и любых х € К" отображение •) : ©¿(£) услов-
но аг- -накрывающее и имеет место включение у^) € для
каждого з = Тдг существует > 0, для которого при почти всех £ е [о, Ь] и любых Юг е П» (<), С^г, ■ • ■ 1 £¿-1,2^+1, ...,хп) 6 К""1 отобра-о/сение /¡(г,Х1,... ... ,хп,и;{) : К -> ©¿(¿) -липшицево.
Тогда если 2п х 2п-матрица С = где
С21 = с!^---> , 022 = (0)„хп,
(14)
имеет спектральный радиус д{С) < 1, то существует решение х € П"=1 АСРн([а, Ь], Г2г) краевой задачи (9), (13) и, кроме того, для любого е > 0 можно так определить норму | • ] в пространстве М2п, что при задании метрики в X = П^г 6], Пг) равенством
Р\{и, х) = |(рьРп0гьМ1),..., рьР1п(хп,й„), |жг(а) - гг^а)|,..., |х„(а) - ип(а)|)|
для произвольного х° g X существует решение х = £ € X краевой задачи (9), (13), удовлетворяющее оценке
'PLV Хуъ У?)(& — a)(P21—Pll)/(PllP2l)
Ql
PLP2„(Уп,у°)(6 - |Дг-Д0| 1Ап-Д°|\
«п ' \Pi+Qi\"" ' \Pn+Qn\) '
где y?(i) = A? = Р<г?(а) + Q^(b), i = T^.
Далее исследован вопрос непрерывной зависимости от параметров решений краевых задач.
Пусть при каждом ш = 1,2,... заданы удовлетворяющие условиям Каратеодори функции fim : [a, 6] х Rn х R ->• М, такие что fim(t,x,Clj(t)) С ©¿(i) при почти всех t € [a, 6] и любых х g М", i = l,n. Пусть, далее, заданы функции t € [a, £>] >-4 «/¿(i) g ©¿(i) и числа Pim, Qirn, Ai, i = 1,?г, m = 1,2,... . Рассмотрим при i € [a,b] последовательность краевых задач
fim(t,xi(t),... ,xn(t).xi(t)) = yi(t), PimXi(a) + QimXi(b) = Дг-, г = I
_ (15)
Пусть заданы числа 1 < < p2i <00, г = 1,гг, и г/,: g L;,2i([a, 6], ©,). Далее предполагается, что если ри ^ оо, то функция /¿т удовлетворяет условию J"p), а в случае ри = оо — условию Jv»).
Пусть для некоторой функции х° = х°) : [а, 6] R" с
компонентами € ЛСРи([а, 6], fit-) для всех i = 1,п при m ->■ 00 имеют место соотношения
(Лгп(•,(0), №(■)) 0- Pimx%a) + QimX^b) -)■ Дг. (16)
Теорема 7. Пусть при каждом i = 1,п выполнены следующие условия: существуют такие числа Pi, Qj, -что
Кгго + Чгт\ \П + Ц/г|
найдется такое а« > 0, что для каждого m = 1,2,... при почти всех t € [а, 6]
и любых х g К" отображение fhn(t,x, ■) : fli(t) —> ©;(i) условно аг:-накрывающее и имеет место включение yi(t) g fim(t,x,Qi(t))\ для каждого j = 1,тг существует такое fy ^ 0, что при всея т = 1,2,..., почти всех t g [о, b] и любых (х\,..., Xj-\,Xj+i,..., хп) g Rn_1, Wi g fii(i) отображение
fim(t,Xi,...,Xj-u ■ ,xj+i,...,xn,Wi) : E-> &i(t) 14
Pij -липшицево; для спектрального радиуса матрицы (14) выполнено неравенство §(С) < 1. Тогда если имеют место соотношения (16), то при каждом m = 1,2,... существует такое решение х = € ПГ=1 АСРН задачи (15), что £гах°.
В § 2.3 исследованы управляемые дифференциальные системы со смешанными ограничениями на управление и дополнительными ограничениями на производную решения.
Пусть заданы 7 € К", измеримые многозначные отображения : [а,Ь] cl(Rn), U : [а, 6] ->■ comp(Rfc), V : [а,Ь] -s- cl(R*2) такие, что функции t G [а, 6] pR»(0,0(i)), /%*((),[/(*)), pRh(0,V{t)) G R существенно ограничены. Пусть определены удовлетворяющие условиям Ка-ратеодори функции / : [а, 6] х Rn х R" х Rk M'1, g : [а, 6] х Rrt хвЧ К'2, относительно которых, кроме того, предполагаем, что для любого г > 0 существует такое R > О, что при почти всех t G [а, Ь] для всех х е Rn, г € и G U(t), удовлетворяющих условию |ж| + |г| + |и| ^ г, имеют место неравенства |/(i, сс, z, u)| ^ R, \g(t,x,u)\ ^ R.
Рассмотрим управляемую систему
f(t,x{t),x(t),u(t)) = 0, х(а) = 7, u{t)eU(t), g(t,x(t),u(t))eV(t), (17)
x(t)eQ(t), te[a,b].
Управление u(-) будем предполагать существенно ограниченным, а х(-) будем искать в классе абсолютно непрерывных функций, имеющих существенно ограниченную производную. Соответственно, локальным решением управляемой системы называем пару (х,и) G ЛСоо([а, а + г], П) х Loo{[a, я + т], U), удовлетворяющую уравнениям и включениям (17) при почти всех t € [а, а + г], т € (О, Ь — а]. Управляемую систему называют локально разрешимой, если она имеет локальное решение.
Пусть заданы непрерывная функция х° : [а, Ь] -» К" и а > 0. Положим D(t) = BRn(xn(t),a).
Теорема 8. Пусть справедливо неравенство |7 — х°(а)| < а и при почти всех t £ [а, Ъ\ и любых х G D(t), z G и G U(t) вы-
полнены следующие условия: отображения f(t,x,-,u) : il(t) —> R'1, g{t,x,-) : U(t) —»■ R'2 условно накрывающие; отображения f(t,-,z,u) : D(t) -)■ R'1, f{t,x,z,-) : U(t) -> M'1, g(t,-,u) : D(t) M*2 липшице-вы; имеет место включение 0 G f(t,x,Q(t),uj. Тогда если при почти
всех t G [а, 5] множество ( g(t,x, U(t)) J Р| V(t) не пусто, то
4 xeD(t) '
управляемая система (17) локально разрегиима.
В диссертации также получена оценка решения управляемой системы
(17), следующая из неравенства (6). Эта оценка применяется для исследования корректности управляемой дифференциальной системы (17).
Пусть заданы числа 7т £ M", m = 1,2,..., измеримые многозначные отображения П : [а, Ь) cl(R"), U : [а, 6] -> comp^), Vm : [а, 6] cl(K'2) такие, что t е [а,6] ^ /fe«(0,iî(i)), Pr*(0, t/(i)), /3кч(0, Vm(i)) S
Ж — существенно ограниченные функции при m = 1,2,____Пусть, далее,
при любом m = 1,2,... определены удовлетворяющие условиям Кара-теодори функции fm : [а,Ь] х R" х 8" х Е' -4 R'1, дт : [а, 6] х R" х Rfc R'2, относительно которых, кроме того, предполагаем, что для любого г > 0 существует такое Rm > 0, что при почти всех t S [а, 6] для всех х е М", г € fl(t), и € U(t), удовлетворяющих условию |х| + |г| + |ы| ^ г, имеют место неравенства \fm(t,x,z,u)\ < Rm, \gm(t,x,u)\ ^ Лщ.
Рассмотрим последовательность управляемых систем
fm{t,x(t),x(t),u(t)) = 0, ж(а) = 7ш,
u(t)eu(t), 5m(i,®(i),«(i))evm(t), m =1,2,..., (18)
x(t)ei2(t), t S [a, 6].
Пусть для некоторой пары (ж0, u°) е Ж7оо([а, 6], Q) х Loo([a, 6], (7) имеют место соотношения
vrai sup |/m(i, x°(t), x°(t), uQ(t)) | 0, 7m x»,
te [о, г>]
Ят(0 = ( J]( ^fr*'^)) пад) ^ 0. (i9)
vrai sup gm(t,x°(t),u°(t)), Hm(t)) -> 0. ie[o,6] 4 '
Сформулируем условия, обеспечивающие существование при любом натуральном m такого решения (хт,ит) € АС^а, 6], fi) х Lx([a,b},U) управляемой системы (18), что последовательность (хт,ит) сходится к (х°,и°) в пространстве ЛС^а^П) х Lœ([a,b], [/).
Теорема 9. Пусть существуют такие положительные числа ai, а2 и неотрицательные числа /Зц, fli2, p2i, что при почти всех t 6 [a, 6] и любых х е D(t), и 6 U(t), 2 6 O(f), тп = 1,2,... выполнены условия: отображения fm(t,x,-,u) : Q(t) -> Ri], gm(t,x,-) : U(t) ->■ Ж'2 яеля-ются условно накрывающими с константами ai, «2, соответственно; отображения fm(t,-,z,u) : £>(i) -» fm{t,x,z,-) : U(t) -ï M'1, gm(t,-,u) : D(t) —> E'2 являются, соответственно, Pn, Pi2, /32\ -лип-шицевьши; имеет место включение 0 € /m(i, ж, iî(f), w). Тогда если справедливы соотношения (19), то для всех достаточно больших значений m управляемая cucme.ua (18) разрешима на всем [а, 6], и существует такое ее решение (хт, ит) £ АСх([а, 6], Û) х ¿«¡([а, 6], U), что
в пространстве АС^^а, Ь], О) х ^([а, b), U) имеет место сходимость (хт,ит) -> (х°,ип).
Публикации автора по теме диссертации
[1] Жуковский Е.С., Плужникова Е.А. Об одном методе исследования разрешимости краевых задач для дифференциальных уравнений // Вестник Тамбовского университета. Сер. Естественные и технические науки. Тамбов, 2010. Т. 15. Вып. 6. С. 1673-1674.
[2] Плужников а Е.А. О накрывании оператора Немыцкого в пространстве суммируемых функций // Вестник Тамбовского университета. Сер. Естественные и технические науки. Тамбов, 2010. Т. 15. Вып. 6. С. 1686— 1687.
[3] Жуковский Е.С., Плужникова Е.А. Теорема о накрывании оператора в произведении метрических пространств // Вестник Тамбовского университета. Сер. Естественные и технические науки. Тамбов, 2011. Т. 16. Вып. 1. С. 70-72.
[4] Жуковский Е.С., Осинин В.Ф., Плужникова Е.А. О корректности функционально- дифференциального уравнения нейтрального типа // Вестник Тамбовского университета. Сер. Естественные и технические науки. Тамбов, 2011. Т. 16. Вып. 4. С. 1078-1081.
[5] Жуковский E.G., Плужникова Е.А. Накрывающие отображения в проблеме корректности краевых задач для дифференциальных уравнений, не разрешенных относительно производной // Вестник Тамбовского университета. Сер. Естественные и технические науки. Тамбов, 2011. Т. 16. Вып. 4. С. 1082-1085.
[6] Плужникова Е.А. О локальной разрешимости задачи Коши функционально-дифференциального уравнения нейтрального типа // Вестник Тамбовского университета. Сер. Естественные и технические науки. Тамбов, 2012. Т. 17. Вып. 1. С. 59-62.
[7] Жуковский Е.С., Плужникова Е.А. Накрывающие отображения в произведении метрических пространств и краевые задачи для дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. Москва, 2013. Т. 49. № 4. С. 439-455.
[8] Жуковская Т.В., Жуковский Е.С., Плужникова Е.А. Об исследовании систем функциональных уравнений методами теории накрывающих отображений // Вестник Тамбовского университета. Сер. Естественные и технические науки. Тамбов, 2013. Т. 18. Вып. 1. С. 38-42.
[9] Жукове кий Е.С., Плужникова Е.А. К вопросу о разрешимости управляемых дифференциальных систем // Вестник Тамбовского уни-
верситета. Сер. Естественные и технические науки. Тамбов, 2013. Т. 18. Вып. 1. С. 49-54.
[10] Плужникова Е.А. О непрерывной зависимости от параметров решений операторных уравнений в метрических пространствах // Тезисы 42-й Всероссийской молодежной школы-конференции «Современные проблемы математики». Екатеринбург, 2011. С. 96-98.
[11] Плужникова Е.А. Один метод исследования краевых задач для не разрешенных относительно производной дифференциальных уравнений // Тезисы докладов Международной конференции «Дифференциальные уравнения и смежные вопросы», посвященной 110-й годовщине И.Г. Петровского. Москва, 2011. С. 305-306.
[12] Плужникова Е.А. Один метод исследования разрешимости задач управления для дифференциальных уравнений // Тезисы докладов научной конференции «Тихоновские чтения», посвященной памяти академика А.Н. Тихонова. Москва, 2011. С. 65-66.
[13] Zhukovskiy Е., Pluzhnikova Е. On solvability of systems of equations in metric spaces // The 8th Congress of the ISAAC. Peoples' Friendship University of Russia. Moscow, 2011. P. 389.
[14] Жуковский E.G., Плужникова Е.А. О периодической краевой задаче для дифференциального уравнения, не разрешенного относительно производной // Известия Института математики и информатики УдГУ. Ижевск, 2012. Выи. 1 (39). С. 52-53.
[15] }Куковский E.G., Плужникова Е.А. О применении накрывающих отображений при исследовании управляемых систем // Тезисы докладов XII Международной конференции «Устойчивость и колебания нелинейных систем управления» (конференции Пятницкого). Москва, 2012. С. 128-129.
[16] Жуковский Е.С., Плуоюникова Е.А. Об управляемости краевых задач для дифференциального уравнения, не разрешенного относительно производной // Материалы V Международной конференции «Современные проблемы прикладной математики, теории управления и математического моделирования». Воронеж, 2012. С 124-126.
Плужыикова Е.А.
ВЕКТОРНЫЕ НАКРЫВАЮЩИЕ ОТОБРАЖЕНИЯ И КРАЕВЫЕ ЗАДАЧИ ДЛЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ НЕЯВНОГО ВИДА
Аннотация
Исследуются системы обыкновенных дифференциальных уравнений неявного вида. Получены условия разрешимости и корректности задачи Коши, краевых задач, систем управления со смешанными ограничениями на управление и дополнительными ограничениями на фазовую траекторию. Метод исследования основан на теории накрывающих отображений метрических пространств. В частности, используются полученные в диссертации утверждения о существовании и непрерывной зависимости от параметров решений систем операторных уравнений с векторными накрывающими отображениями и условия накрывания оператора Немыц-кого в пространствах суммируемых функций.
Pluzhnikova Е.А.
VECTOR COVERING MAPPINGS AND BOUNDARY VALUE PROBLEMS FOR IMPLICIT DIFFERENTIAL EQUATIONS
Abstract
Systems of implicit ordinary differential equations are investigated. Conditions of solvability and well-posedness of the Cauchy problem, boundary value problems, control systems with mixed restrictions on control and additional restrictions on a phase trajectory are derived. The investigation method is based on the theory of covering mappings of metric spaces. In particular, there are used the statements obtained in the dissertation, i.e., the results on the existence and continuous dependence on parameters of solutions for the systems of operator equations with vector covering mappings and conditions for the Nemytskii operator to be a covering one in the spaces of integrable functions.
Подписано в печать 24.09.2013 г. Формат 60x84/16. Печать офсетная. Бумага офсетная. Гарнитура Тайме.
_Усл. печ. л. 1,25. Тираж 100 экз. Заказ 1289._
Российский университет дружбы народов
_115419, ГСП-1, г. Москва, ул. Орджоникидзе, д. 3
Типография РУДН 115419, ГСП-1, г. Москва, ул. Орджоникидзе, д. 3, тел. 952-04-41
ТАМБОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени Г.Р. ДЕРЖАВИНА
04201363149 На правах рукописи
Плужникова Елена Александровна
ВЕКТОРНЫЕ НАКРЫВАЮЩИЕ ОТОБРАЖЕНИЯ И КРАЕВЫЕ ЗАДАЧИ ДЛЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ НЕЯВНОГО ВИДА
01.01.02 - дифференциальные уравнения, динамические системы и оптимальное управление
Диссертация на соискание ученой степени кандидата физико-математических наук
Научный руководитель:
доктор физико-математических наук,
профессор Е.С. Жуковский
ТАМБОВ - 2013
ОГЛАВЛЕНИЕ
Введение................................................................3
Обозначения............................................................22
Глава 1. Векторные накрывающие отображения метрических пространств ..................................23
§ 1.1. Липшицевы возмущения векторных накрывающих
отображений..................................................24
§ 1.2. Корректная разрешимость систем операторных
уравнений с накрывающими отображениями............37
§1.3. Накрывающие отображения в функциональных
пространствах................................................42
Глава 2. Обыкновенные дифференциальные уравнения,
не разрешенные относительно производной ... 48
§2.1. Задача Коши................................................48
§ 2.2. Краевая задача..............................................59
§2.3. Управляемые дифференциальные системы
со смешанными ограничениями на управление..........68
Заключение............................................................86
Литература..............................................................88
ВВЕДЕНИЕ
Диссертация посвящена исследованию задачи Коши, краевых задач и задач управления для систем обыкновенных дифференциальных уравнений неявного вида. Используются методы, основанные на полученных в работе утверждениях о липшицевых возмущениях векторных накрывающих отображений метрических пространств и признаках накрывания оператора Немыцкого в пространствах суммируемых функций.
Математический аппарат классической теории нелинейных дифференциальных уравнений явного вида, позволяющий исследовать многочисленные нелинейные модели явлений, процессов различной природы, давно создан, широко и эффективно применяется. Гораздо большие сложности представляет ситуация, когда при математическом описании необходимо учитывать зависимость параметров модели от скорости изменения состояния объектов. В этом случае модель представляет собой нелинейные дифференциальные уравнения неявного вида (не разрешенные относительно производной). Примерами таких задач являются неголономные механические системы [26], модели электрического колебательного контура [3, с. 145, 148].
Основным методом исследования дифференциальных уравнений неявного вида является использование теорем о неявных функциях. Однако, эти теоремы не применимы в случае, если по соответствующему аргументу порождающая дифференциальное уравнение функция не является гладкой, или ее производная вырождена. Разрешая такое уравнение относительно производной, можно свести его к дифференциальному включению, однако получаемое многозначное отображение часто не обладает свойства-
ми, позволяющими применять классические утверждения о дифференциальных включениях. В литературе практически отсутствуют методы исследования ряда важнейших вопросов теории дифференциальных уравнений неявного вида, в том числе рассмотренных в диссертации краевых задач, систем управления. Новые возможности изучения дифференциальных уравнений, не разрешенных относительно производной, мы связываем с интенсивно развивающейся в последнее время теорией накрывающих отображений.
Первые работы, посвященные накрывающим (метрически регулярным) отображениям, датируются 60-70 годами 20 века. Исследовались накрывающие отображения, действующие в банаховых пространствах. Эти результаты нашли приложения в теории оптимизации (теорема Милютина о накры-вании использовалась в доказательстве принципа Лагранжа для гладких задач с ограничениями в виде равенств и неравенств [11, с. 220-231]). Теория накрывающих отображений получила развитие в работах Е.Р. Авакова, A.B. Арутюнова, Б.Д. Гельмана, A.B. Дмитрука, А.Д. Иоффе, A.A. Милютина, Б.Ш. Мордуховича, В.В. Обуховского, Н.П. Осмоловского, Т.Н. Фоменко и других [1, 4, 5, 12, 36, 38, 42, 43]. Последние несколько лет отмечается новый всплеск интереса исследователей к накрывающим отображениям и их приложениям, которому во многом способствовали работы A.B. Арутюнова [4, 5], предложившего распространение понятия накры-вания на отображения метрических пространств и исследовавшего точки совпадения накрывающего и липшицева отображений (не только однозначных, но и многозначных).
Новые приложения теории накрывающих отображений к исследованию дифференциальных, интегральных, функциональных уравнений и включе-
ний открыла работа Е.Р. Авакова, A.B. Арутюнова, Е.С. Жуковского [1]. Авторами было предложено понятие условного накрывания, доказаны теоремы о липшицевых возмущениях условно накрывающих отображений метрических пространств, получен признак накрывания оператора Немыцкого в пространстве существенно ограниченных функций и, на основании этих результатов, исследованы вопросы существования и продолжаемости решений задачи Коши для дифференциального уравнения неявного вида. A.B. Арутюновым, Е.С. Жуковским, С.Е. Жуковским [6, 39] предложены уточнения понятия условного накрывания, получены распространения теорем о возмущениях, доказаны утверждения о корректности уравнений с накрывающими отображениями и перечисленные результаты применены к исследованию разрешимости и корректной разрешимости задачи Коши для дифференциальных уравнений неявного вида; интегральных уравнений Вольтерра, не разрешенных относительно искомой функции. Методами, использующими накрывающие отображения, в [15] рассмотрено дифференциальное уравнение с запаздыванием, в [7, 40] рассмотрены задачи управления.
Многие приложения понятия накрывания основаны на утверждениях о точках совпадения и утверждениях о липшицевых возмущениях условно и «безусловно» накрывающих отображений метрических пространств [1, 4, 6, 38, 39, 44]. Эти утверждения обобщают принцип Банаха о сжимающем отображении следующим образом: тождественное отображение заменяется а-накрывающим, а сжатие — отображением, удовлетворяющим условию Липшица с константой, меньшей а, причем, областями определения и значений отображений могут быть различные метрические пространства.
Так как краевые задачи и задачи управления сводятся к системам урав-
нений и включений (содержащим кроме дифференциальных уравнений еще начальные и краевые условия, ограничения на управления и прочее), то разрабатываемые схемы и методы их исследования потребовали распространения теорем о липшицевых возмущениях на векторные накрывающие отображения. Полученные в диссертации утверждения о возмущениях векторных условно накрывающих отображений позволяют исследовать вопросы разрешимости и корректности краевых задач и задач управления для систем дифференциальных уравнений неявного вида, получить оценки их решений. Основные результаты диссертации опубликованы в работах [14], [16]-[24], [31]—[35], [45].
Приведем краткое описание содержания диссертации. Диссертация состоит из двух глав, содержащих по три параграфа.
В главе 1 приведены определения понятий накрывания и условного накрывания отображений метрических пространств, доказаны утверждения о липшицевых возмущениях векторных накрывающих отображений, получены условия накрывания оператора Немыцкого. Эти результаты — основа исследования дифференциальных уравнений неявного вида, предпринятого в главе 2 диссертации.
Основной объект исследования в главе 1 — это система уравнений
Ег{хъх2,...,хп) =уи г = 1(1)
п
где при всех г отображение действующее из произведения П Х^ метрических пространств Х^ в метрическое пространство У^-, является накрывающим по диагональной г -й переменной х^ и липшицевым по остальным переменным. Идея исследования наиболее наглядна для системы (1) в простейшем случае, когда У^ = Х^ — линейные полные метрические простран-
ства, отображение Р^х^х2,..., хп) = Х{ — 0{{х\,х2,..., я„), отображение Сг по каждой ^ -й переменной удовлетворяет условию Липшица с константой /Зц, — 1,п. В этом случае система (1) принимает вид
XI = <?<(Ж1,х2,...,хп) + уи г = Т7п. (2)
п
Положим В = (/Зц)пхп и определим метрическое пространство X = П Х^
з=1
с расстоянием между элементами х = и и = равным
= I (рхЛхи щ),Рх2{х2, и2),рхп{хп, ип)) |, где монотонную норму | • | в Мп можем выбирать [27, с. 15-16] так, чтобы значение \В\ было достаточно близким к спектральному радиусу д(В). Таким образом, если д(В) < 1, то отображение (7 = (Сл., (?2,..., Сп) : X —> X будет сжимающим и, следовательно, существует единственное решение системы (2), к которому будут сходиться последовательные приближения (подробнее о распространении принципа Банаха на векторные отображения см. работу А.И. Перова [29]).
Приведем основные определения и результаты § 1.1. Пусть (Х,рх), (Х,ру) — метрические пространства. Обозначим через Вх(х,г) замкнутый шар с центром в точке х радиуса г > 0 в пространстве X. Пусть заданы число а > 0 и отображение Ф : X —> У.
Определение 1 [4]. Отображение Ф называется а-накрывающим (накрывающим), если для любых г > 0 и и 6 X имеет место включение
ЩВх(щг)) Э Ву(У{и),аг).
Отображение Ф является а-накрывающим тогда и только тогда, когда для любых и £ X и у е У существует х 6 X, удовлетворяющий
уравнению Ф(а;) = у и оценке
рх(х,и)^а-1ру(у,У(и)). (3)
Определение 2 [1]. Если для любых г > 0 и и е X имеет место включение Я?(Вх(и, г)) Э Ву(Ф(и), аг) П то отображение Ф называют условно а-накрывающим (условно накрывающим).
Отображение Ф является условно а -накрывающим тогда и только тогда, когда для любых и € X и у £ существует х € X, удовлетворяющий уравнению $(х) = у и оценке (3).
В пространстве Мп вещественных п -мерных векторов будем считать заданной норму | • |, обладающую свойством монотонности. Пусть заданы метрические пространства (Xj,pxj), {У^ РуД точки yj € У], з = 1 ,п,
п _
и определены отображения Ф^ : Х\ х П Х^ -» У^ г = 1, п. Рассмотрим
¿=1
систему уравнений
ФгОг, Х\, Х2, . • • , хп) = Уг, I = !~П, (4)
п
относительно неизвестного х = (жх, #2,..., 6 П •
3=1 п
Определим метрическое пространство X = П Х^ с расстоянием меж-
3=1
ду элементами гг = (гг,-)^^ £ X и и = € X, равным
Т1
Аналогично определим метрику в У = П
3=1 _
Пусть заданы числа щ > 0, ^ 0, г^ — 1, п. Определим матрицу
С = Рц)пхп
и обозначим через £>(С) ее спектральный радиус.
Теорема 1. Пусть метрические пространства Х^ 3 = 1 ются полными и выполнены следующие условия:
для всех х Е X отображение ФД-,:*;) : —> "У*, г = 1 ,п, условно оц -накрывающее и имеет место включение у{ б Фг(Хг-,гг);
При Любых 1,3 = 1,71, Щ £ Х{, Х\ € Хх, ..., х^-х £ а^+х 6 Х/+Х,
..., хп е Хп отображение Фг{щ, х\,..., ..., ж„) : Xj
является /3^ -липшицевым;
для любой сходящейся последовательности {г^} С X, ик —>• такой
что Фг(щ,и) —> у( Vг = 1,п, имеет место равенство Фг(щ,и) = у{
V г = 1,п.
Тогда если д(С) < 1, то система уравнений (4) разрешима и, кроме того, для любого е > 0 можно так определить норму | • | в пространстве Мп, что при задании метрики в X равенством (5) для произвольного и0 = (и^и®,... € X существует решение х = £ € X системы (4), удовлетворяющее оценке
'ргАУ1>фЛири°))
а3 ) 3=1, п
(6)
Далее в §1.1 рассмотрены частные случаи теоремы 1 при п = 1,2 и приведен пример, из которого следует, что в оценке (6) нельзя принять £ = 0.
В § 1.2 исследован вопрос о корректности системы (4) в следующей постановке. Пусть задана последовательность {ут = {Ут){=т^} С У и
определены отображения Фгт : Х{ х X —»■ У*, г = 1,п, тп = 1,2,— Рассмотрим при каждом тп = 1,2,... систему операторных уравнений
^1т{ХиХ1,Х2,...,Хп) =у{7П, 1 = 1,71, (7)
относительно неизвестного х = {х\,х2, ...,а;п) Е X. Предположим, что для некоторого элемента ■и0 = (и®, и®,... Е X при т оо имеет место сходимость
РЪ , и°г, и°2,..., и°п), —0, г = Т~й. (8)
Нас интересуют условия, обеспечивающие разрешимость при любом т системы (7) и сходимость к и0 последовательности решений. Сформулируем основной результат этого параграфа. Теорема 2. Пусть пространства Х^, ] = 1 , п, являются полными, для каждых г, .7 = 1, п существуют такие числа щ > 0, ^ 0, что для спектрального радиуса матрицы С = (с^-1 /%)пХп имеет место оценка б(С) < 1 и выполнены следующие условия:
для всех х Е X отображение Ф{т(-,х) : Х{ —>• У^ г = 1,п, т = 1,2,..., условно оц -накрывающее и угт 6 ФгТО(-Х"г, о;);
при любых г,] — 1,7г, т = 1,2,..., и произвольных щ е Х{, £ ••• > ^ -^О-ъ € ^-+1, ••• , хп Е Хп отображение
ф гт(и») ®1> • • • > £¿+1, • • • ,Хп) X] У{ /Зц -липшицево;
для любой сходящейся последовательности {и*} С X, ик —У и, такой что при к -> оо имеет место сходимость угт) —О Vг =
1, п, т = 1,2,..., выполнено равенство = у{т Vг = 1, п, т =
1,2,....
Тогда если имеет место соотношение (8), то при каждом т существует такое решение £т Е X системы (7), -что —» и0.
Далее § 1.2 рассмотрены частные случаи теоремы 2 — утверждения о корректности скалярного уравнения и системы двух уравнений.
Для применения теорем 1,2 к исследованию систем обыкновенных диф-
ференциальных уравнений неявного вида требуются условия накрывания оператора Немыцкого в функциональных пространствах. В § 1.3 сформулировано и доказано утверждение о накрывании оператора Немыцкого в пространствах суммируемых с любой степенью функций.
Обозначим через с1(Мг) совокупность всех непустых замкнутых подмножеств пространства Пусть задано р £ [1,оо] и определено измеримое многозначное отображение : [а,Ь] —> с1(Ег), для которого функция £ £ [а,Ь] /?кг(0, £ К. суммируема в р-й степени при р < сю и существенно ограничена при р = оо. Определим следующие полные метрические пространства: Ьр([а, 6], О) — пространство функций £ £ [а,Ь] н- у(Ь) е суммируемых в р-й степени, если
1 < р < оо, с метрикой /0^(2/1,2/2) = - У2(з)\р(1з
р = оо, пространство существенно ограниченных функций, рЬоо{у\,У2) = уга1зир5е[а Ь] 12/1(5) — 2/2(5)1, АСр([а, Ь],0) — пространство таких абсолютно непрерывных функций х : [а, 6] —> К.г, что х £ Ьр([а, 6], Г2), с метрикой рАСр(х 1,0:2) = | (р1р(х\,х2), Х\(а) — а:2(й))|- В перечисленных обозначениях функциональных пространств будем опускать область определения и множество значений функций — элементов пространств, если это не приводит к разночтениям.
Пусть заданы числа 1 ^ р\ ^ р2 ^ оо и определены измеримые многозначные отображения П : [а,Ь] —»• с1(Кг1), © : [а,Ь] -» с1(Кгз) такие, что ркг1(0,Г2(-)) £ £л([а,Ь],М), рШ12((),©(•)) € ЬР2([а,Ь],Ш.). Пусть, далее, задана функция (£ £ [а, 6], х £ Г2(£)) д(Ь,х) £ ©(£), удовлетворяющая условиям Каратеодори. В случае р\ ф оо относительно функции д будем предполагать, что существуют г) £ ЬР2[[а, Ь],М) и Л £ К, для
1/Р
, и, в случае
которых при почти всех Ь е [а, Ь] и всех у € выполнено неравенство \д(^,у)\ ^ \\у\р1/р2 +г]{{). Если р1 = оо, то при любом г > 0 пусть существует такая функция т]г € ЬР2([а, Ь],М), что \д(Ь,у)| ^ Г)г({) при почти всех Ь е [а, Ъ] и любых у £ П(£) таких, что \у\ ^ г. При выполнении этих условий оператор Немыцкого Ыд : ЬР1([а, Ъ], —> ЬР2([а, Ь], О), (Л^у)^) = ?/(£)), в случае рх оо является непрерывным и ограниченным, а при р\ = оо — замкнутым и ограниченным.
Теорема 3. Пусть существует такое ад > 0, что при почти всех Ь 6 [а, Ъ] отображение д(1, •) : —> в(£) условно ад -накрывающее. Тогда оператор Немыцкого Ыд : ЬР1 —> ЬР2 будет условно а^-накрывающим, где а^г = (р — а)-^-?1)/^2^, в частности, при р\ = константы накрывания равны: адг = а,д, в случае р\ < = оо выполнено равенство ан = (Ь — а)~1//р1ад. Аналогично, если при почти всех £ е [а, Ъ] отображение <?(£, •) : —> ©(¿) ад -накрывающее, то оператор Немыцкого Мд : ЬР1 —> ЬР2 будет а^ -накрывающим.
Глава 2 посвящена изучению задачи Коши, краевой задачи и задачи управления для дифференциальных уравнений неявного вида. Метод исследования основан на представлении дифференциальных уравнений, начальных и краевых условий, ограничений на управление и динамическую переменную в виде системы операторных уравнений относительно пары векторов (х,х(а)) или, в случае задач управления, тройки векторов (х,х(а),и), компонентами первого являются производные искомых функций, второго — их начальные значения, а третьего — функции управления. При этом результаты § 1.3 позволяют найти условия накрывания отображений по соответствующим переменным, а утверждения из § 1.1, § 1.2 — исследовать полученные системы операторных уравнений.
В § 2.1 рассмотрена задача Коши.
Пусть для всех г — 1,п заданы измеримые многозначные отображения !Г2г-, ©г- : [a, b] —> cl(R), определены удовлетворяющие условиям Каратеодо-ри функции (t G [а, 6], х £ М", Wi G ^¿(i)) i->- fi(t,x,u)i) G @i(t), a также функции t G [a, b] yi(t) G ©¿(i) и числа 7i 6l, i = l,n. Рассмотрим систему обыкновенных дифференциальных уравнений вида
fi{t,xi(t),x2(t),...,xn{t),xi{t)) = yi(t), < = U (9)
с начальными условиями
= 7»» « = Т7й. (10)
Пусть заданы числа 1 ^ ри ^ ргг ^ сю, г = 1,п. Будем предполагать при всех г = 1~п, что рк(0,Щ-)) G LPli([a,6],E), /?к(0, ©*(•)) € Уг £ Lp2i
Пусть, далее, для всех тех г = 1,п, при которых ^ оо, функция fi удовлетворяет условию
Fp) при любом г > 0 существуют такие щ G LP2i([a, Ъ), ©г) и Aj £ R, что при почти всех t G [a, 6], любых х G Мп, таких, что ^ г, и всех W{ G справедливо неравенство ¡/¿(i,^,^ Аг(г^|ри/,р21 +7?j(t).
Для всех значений г, при которых = оо, будем предполагать выполненным условие
Too) ПРИ любом г > 0 существует такая функция rji £ LP2i([a, 6], ©¿), что при почти всех t G [