CC BY
12
УДК 517.922, 517.988.6
DOI: 10.20310/1810-0198-2017-22-3-571-578
О НЕЯВНЫХ ДИФФЕРЕНЦИАЛЬНЫХ НЕРАВЕНСТВАХ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ
© И. Д. Серова
Тамбовский государственный университет им. Г.Р. Державина 392000, Российская Федерация, г. Тамбов, ул. Интернациональная, 33 E-mail: irinka _ [email protected]
Получено утверждение о существовании и оценке решений уравнений вида Y(x,x) = y, где действующее в частично упорядоченных пространствах отображение Y по первому аргументу является накрывающим, а по второму — антитонным. Этот результат используется для доказательства теоремы типа Чаплыгина о дифференциальном неравенстве с отклоняющимся аргументом.
Ключевые слова: упорядоченно накрывающее отображение; дифференциальное уравнение с отклоняющимся аргументом; задача Коши; неравенство типа Чаплыгина
Для получения оценок решений дифференциального уравнения часто используется теорема Чаплыгина (см. [1]) о дифференциальном неравенстве, утверждающая, что если функция u удовлетворяет неравенствам
u'(t) > f(t,u(t)) yt > to, u(to) > xo, то для решения x задачи Коши
X = f (t,x) yt > t0, x(t0) = x0,
справедлива оценка x(t) <u(t) при t>t0.
В связи с востребованностью оценок решений всевозможных уравнений в разнообразных теоретических и прикладных задачах распространение теоремы Чаплыгина на дифференциальные уравнения высших порядков, интегральные уравнения, функционально-дифференциальные уравнения, краевые задачи и т. д. является темой многих исследований (см., например, [2]-[8]).
В статье для неявного дифференциального уравнения с отклоняющимся аргументом доказывается аналог теоремы Чаплыгина. Используется предложенное в совместных работах А.В. Арутюнова, Е.С. Жуковского, С.Е. Жуковского [9]-[12] понятие упорядоченно накрывающего отображения. Метод доказательства основан на предлагаемом в статье утверждении об антитонных возмущениях упорядоченно накрывающего отображения, аналогичном результату из работы [2].
1. Основные понятия
Пусть X = (X, :) — упорядоченное пространство, т. е. множество X с заданным на нем порядком : . Для элементов u,v Е X обозначим
OX(u) = {x Е X : x : u}, [u,v]X = {x Е X : v : x : u}.
Пусть заданы пространства (X, ■<), (У, ■<). Отображение f : X — У называют (см. [13]) изотонным на множестве V С X, если для любых х,и € V из х У и следует f (х) У f (и), и антитонным на V С X, если для любых х,и € V из х У и следует f (х) ^ (и). Изотонное (антитонное) на всем X отображение называют изотонным (антитонным). В [9], [11] введено следующее
Определение 1. Отображение f : X — У называется упорядоченно накрывающим множество V С У, если для любого и € X выполнено включение
Оу Ц(и)) П V С f {Ох(и));
или, что то же самое,
V и € X V у € V у < f (и) ^ Эх € X f (х) = у & х ^ и.
Отображение, упорядоченно накрывающее все пространство У, называется упорядоченно накрывающим.
Пусть у € У. Рассмотрим уравнение f (х)=у с отображением f : X — У, представимым в виде
f (х) = Т(х,х), Ух € X,
где отображение Т : X2 — У по одному аргументу обладает свойством упорядоченного накры-вания, а по другому — монотонности.
Следуя [2], по отображению Т : X2 — У, множеству и С X и элементу у € У определим множество 5(Т,и,у) всех цепей 5 С и таких, что имеют место соотношения
V х € 5 Т(х,х) У у, V х1,х2 € 5 х1 — х2 ^ Т(х1 ,х2) ^ у.
Сформулируем используемый в данной работе аналог теоремы из [2]. Теорема 1. Пусть существует такой элемент ио € X, что
Т(ио,ио) У у, (1)
и выполнены условия:
(1.1) при любом х € Ох(ио) отображение Т^х)^ — У; упорядоченно накрывает множество V={у} ;
(1.2) при любом х € Ох(ио) отображение Т(х, ^^ — У является антитонным на множестве [х, ио]х;
(1.3) любая цепь 5 € ^, Ох(и0),у) ограничена снизу, и существует ее нижняя граница ш € X , удовлетворяющая неравенству Т(ш, ш) У у.
Тогда множество решений уравнения
f (х)=у (2)
не пусто, в нем существует минимальный элемент, который принадлежит Ох (и0) . Доказательство. Для доказательства теоремы определим множество
ио = {х € Ох(ио) : f (х) У у}.
Это множество не пусто, так как ио € ио. Определим на нем бинарное отношение < , полагая для у,и € ио выполненным V < и, если V = и, или если V — и и Т(у,и) ^ у. Данное отношение < рефлексивно, антисимметрично и транзитивно (для доказательства транзитивности используется предположение (1.2) теоремы). Следовательно, множество (ио, <) является частично упорядоченным.
Согласно теореме Хаусдорфа (см., например, [14], гл. 1) в частично упорядоченном множестве (Uo, <!) существует максимальная цепь S, которая содержит точку xq. Из предположения (1.3) следует, что эта цепь,относительно исходного порядка ^ , имеет нижнюю границу w , и справедливо неравенство Y(w,w) У y.
Покажем, что построенная точка w является решением уравнения (2). Из включения w gOx(uo) и условия (1.1) следует существование элемента v G X, для которого выполнено
Y(v, w) = y, v ^ w. (3)
Так как v ^ w, то, в силу предположения (1.2) и равенства (3), Y(v,v) У y.
Докажем, что для Ух G S для найденного v будет выполнено v < х. Учитывая то, что w - нижняя граница цепи S, то для любого х G S х У w, а так как v ^ w, то v ^ х. Если х = v, то для v выполнено v < х. Рассмотрим ситуацию v — х : из (3) и того, что х У w, следует Y(v,x) ^ y. Итак, действительно v < х , кроме того, v G Uo. Множество S U{v} относительно порядка > является цепью, а в силу максимальности цепи S имеем v G S. Поэтому v У w. Это неравенство и второе неравенство в (3) означают, что w = v, следовательно, Y(w,w)=y. То есть w является решением уравнения (2).
Покажем, что найденный элемент w gOx(uo) является минимальным в множестве решений уравнения (2). Предположим противное. Тогда
3 z : Y(z,z)= y, z — w. (4)
Для любого xgS из неравенства х yz вследствие условия (1.2) получим Y(z,x)< Y(z,z)=y. Следовательно, множество S U{z} относительно отношения > является цепью, а в силу максимальности цепи S имеем z G S. Поэтому z У w. Полученное неравенство противоречит (4). □
В теореме 1 утверждается, что в множестве решений уравнения (2) существует минимальный, но не наименьший элемент. При использовании дополнительного предположения можно гарантировать наличие и наименьшего элемента.
Следствие 1. Пусть выполнены предположения теоремы 1 и для любых х\,х2 G Ox(u0) выполнено:
(1.4) если f (х\) = f (x2)=y , то существует z G X , такой что z ^ х\, z ^ х2, f (z) У y.
Тогда в множестве принадлежащих Ox(u0) решений уравнения (2) существует наименьший элемент.
Доказательство. Покажем, что минимальный в множестве решений уравнения (2) элемент ш G Ox (uo) (существование которого установлено в теореме 1) является наименьшим. Предположим, что это не верно, и найдется еще одно решение х gOx (u0 ), х ^ ш. Согласно предположению (1.4) существует z G X , такой что z ^ ш, z ^ х, f (z) У y. Если z = ш , то ш ^ х , а это не верно, следовательно z = ш , то есть z — ш. Согласно теореме 1 в множестве Ox (z) dOx (u0 ) существует решение £ уравнения (2), £ ^ z — ш, а это противоречит тому, что ш минимальное решение. □
2. Теорема об упорядоченном накрывании оператора Немыцкого
Для изучения неявных дифференциальных уравнений с отклоняющимся аргументом нам потребуется утверждение об упорядоченном накрывании оператора Немыцкого. Оно открывает возможность применения теоремы 1 и ее следствия к различным функциональным, в том числе, дифференциальным уравнениям.
Обозначим через W=W ([a, b], Rm) пространство измеримых функций х :[a, b] ^ Rm ; через L^=L^([a,b], Rra) пространство существенно ограниченных функций х : [a,b] ^ Мга с нормой
\\х\\ = vrai supie[a;6]|x(î)|r" Ух G L^.
Для множества В С Мп обозначим Ьс(В) = Ьс([а,Ь],В) подмножество пространства Ьс , содержащее функции со значениями х(Ь) € В, Ь € [а,Ь] .В перечисленных пространствах измеримых функций определим порядок, полагая для их элементов х, и выполненным неравенство х < и, если х(Ь) < и(Ь) V Ь € [а,Ь] (символ V означает "при почти всех").
Рассмотрим функцию f :[а, Ь] х Мп — Мт . Пусть она удовлетворяет условиям Каратеодори (т. е. по первому аргументу измерима, а по второму непрерывна). Данные предположения позволяют определить оператор Немыцкого, действующий в пространствах измеримых функций, равенством { )
(Щх)(Ь) = f{t,x(t)), Ь € [а,Ь].
Установим связь между свойствами упорядоченного накрывания функции f по второму аргументу и оператора Немыцкого.
Пусть задано г > 0. Обозначим через ^ сужение функции f на множество [а,Ь] х В, где множество В = Вмп (0,г) теперь шар в конечномерном пространстве с центром в 0 и радиуса г. Определим соответствующий оператор Немыцкого
Щг : Ь^(В) — Щх)(Ь) = и{Ь,х(Ь)), Ь € [а,Ь].
Пусть задана измеримая функция у : [а, Ь] — Мт .
Теорема 2. Если при почти всех Ь € [а,Ь] функция ^ (Ь, ■) :В — Мт упорядоченно накрывает одноточечное множество V(Ь) = {у(Ь)}СМт , то соответствующий оператор Немыцкого Щг : Ьс(В) — Ш упорядоченно накрывает множество V = {у()}СШ .
Доказательство. Пусть и € Ьс(В) такой, что (Щ^ и) > у. Это неравенство означает, что fr (Ь,и(Ь)) > у(Ь) € [а,Ь]. Так как fr (Ь, ■) упорядоченно накрывает одноточечное множество {у(Ь)} , то у(Ь) € ^{Ь, и(Ь)) € [а, Ь] , где и(Ь) = О(и(Ь))[) В.
По теореме Филиппова (см. п. 1.5.2. [15]), существует измеримая функция х : [а,Ь] — Мп такая, что х(Ь) € и(Ь), г (Ь,х(Ь))= у(Ь) ^/Ь € [а,Ь]. Таким образом, имеет место соотношения Щх) = у и х € Ь^(В). □
3. Неявные дифференциальные уравнения с отклоняющимся аргументом
Здесь на основании теорем 1,2 получены утверждения о существовании и оценке решения неявного дифференциального уравнения с запаздыванием.
Обозначим ЛСс=ЛСс([а,Ь], Мп) — пространство таких абсолютно непрерывных функций х :[а,Ь] — Мп, что х' € Ьс; ЛСс (В)=ЛСж ([а,Ь],В) —подмножество ЛСс, содержащее функции х : [а, Ь] — Мп, производная которых х'(Ь) € В Vt € [а, Ь], где В С Мп - заданное множество.
Пусть заданы функции f :[а, Ь] х Мп х Мп — Мт , Н :[а,Ь] — М и вектор 7 = (^1,..., 7п) € Мп. Рассмотрим задачу Коши для уравнения вида:
f (Ь,х(Н(Ь)),х'(Ь)) = 0, Ь € [а,Ь], х(в) = 0, если в€ [а,Ь] (5)
с начальным условием
х(а) = 7. (6)
Решением этого уравнения будем считать функцию х € ЛСса , удовлетворяющую этому уравнению при почти всех Ь € [а, Ь].
Теорема 3. Пусть для некоторой функции v0 € ЛСс имеют место неравенства
vо(a) > 1, € [а,Ь] f {Ь,Уо(Н(Ь)),у'о(Ь)) > 0. (7)
Пусть выполнены условия:
(3.1) функция f (■,x, u) : [a, b] — Rm измерима при любых x,uG Rn, функция h :[a,b] — R измерима;
(3.2) при почти всех tG [a,b] и любых u GRm функция f (t, ■,u):Rn — Rm по каждому аргументу xi,...,xn не возрастает и непрерывна справа;
(3.3) при почти всех tG [a,b] и любых x GRm функция f (t,x, -):Rn — Rm непрерывна;
(3.4) сужение fr(t,x, ):B — Rm функции f (t,x, -):Rn — Rm на шар B = Bru (0,r) с центром в 0, некоторого радиуса r > vrai supíe[a fe]|v¿(t)R упорядоченно накрывает одноточечное множество V = {0} С Rm при всех x G Rn и почти всех t G [a, b] .
Тогда существует решение x G ACзадачи (5),(6), удовлетворяющее неравенствам
x'(t) < v0(t), lx'(t)l <r \/t G [a, b].
Доказательство. Обозначим fr :[a, b] x Rn x B — Rm - сужение исходной функции f. Определим отображения:
: AC<x — L^, (Shx)(t) = ix(h(t)), еСЛи h(t) G [ab
I 0, если h(t) G [a,b];
Nfr : L^(B) x L^(B) — W, (f(y,x))(t) = f(t,x(t),y(t)), t G [a,b]. Тогда задача (5), (6) записывается в виде уравнения
(•)
Nf (y,Sh(Y + j y(s)ds))=0 (8)
a
относительно неизвестного y GL^. Задача (5), (6) при дополнительном ограничении x'(t) GB равносильна уравнению (8), так как, если x G AC^(B) является решением (5), (6), то y = x' G L^(B) является решением (8). Верно и обратное, если y - решение (8), то x = y +
(•)
+ f y(s)ds - решение (5), (6).
a
Для доказательства теоремы 3 проверим выполнение условий теоремы 1 для отображения
(•)
Y : L(B ) x L(B ) — W, T(y,u) = Nu (y, S, (y + j y(s)ds)).
a
1) Из (7) получаем T(v0 ,v'0 ) > 0 , т. е. выполнено (1) с u0 = v'0 GL^ (B ) .
2) Из условия (3.4) и теоремы 2, получаем, что Y(-, u) упорядоченно накрывает множество {0} G W при любом ugL^(B). Таким образом, выполнено предположение (1.1) теоремы 1.
3) Вследствие (3.2) при почти всех tG [a,b] отображение fr(t, ■,ui(t)): B — Rm является антитонным для любого ui G L^(B). Тогда отображение T(ui, ■) : L^(B) — W антитонное, и условие (1.2) теоремы 1 выполнено.
4) Рассмотрим цепь S С L^(B) такую, что для любого uGS выполнено T(u,u) > 0. Ограниченная снизу цепь S имеет нижнюю границу, обозначим ее u и выделим из цепи убывающую последовательность {un}cS, имеющую такую же нижнюю границу (см. [16]; гл. IV, §12, следствие 7), то есть inf{-ura} = inf S = и. Следовательно, при п.в. t G [a, b] справедливо u(t) = inf{«n(í)} = limra^00 un(t). Отсюда, так как (Y(un,un))(t)>0, п = 1,2,..., почти всюду
на [а, Ь], то вследствие предположений (3.2), (3.3) получаем (Т(д, u))(t) >0, t£[a, Ъ]. Итак, условие (1.3) теоремы 1 также выполнено.
Таким образом, из теоремы 1 следует, что существует решение x £ AC([a,b], Rra) задачи (5),(6), удовлетворяющее неравенству x'(t) < v'0(t), \x'(t)\<r для \/t £ [a,b]. □
СПИСОК ЛИТЕРАТУРЫ
1. Чаплыгин С.А. Основания нового способа приближённого интегрирования дифференциальных уравнений. М., 1919 (Собрание сочинений I. Гостехиздат, 1948. С. 348-368).
2. Избранные труды Н.В. Азбелева / отв. ред. В.П. Максимов, Л.Ф. Рахматуллина. Москва; Ижевск: Ин-т компьютер. исслед., 2012. 808 с.
3. Булгаков А.И. О колеблемости решений систем дифференциальных уравнений второго порядка // Дифференциальные уравнения. 1987. Т. 23. № 2. С. 204-217.
4. Пеньков В.Б., Жуковская Т.В., Саталкина Л.В. О разрешимости и оценках решений дифференциального уравнения с запаздыванием, зависящим от искомой функции // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2011. Т. 16. Вып. 3. С. 748-751.
5. Жуковским Е. С. Об интегральных неравенствах в пространствах суммируемых функций // Дифференциальные уравнения. 1982. Т. 18. № 4. С. 580-584.
6. Жуковским Е.С. Неравенства Вольтерра в функциональных пространствах // Математический сборник. 2004. Т. 195. № 9. С. 3-18.
7. Жуковским Е. С. Об упорядоченно накрывающих отображениях и неявных дифференциальных неравенствах // Дифференциальные уравнения. 2016. Т. 52. № 12. С. 1605-1621.
8. Жуковская Т.В., Забродский И.А., Серова И.Д. О функциональных неравенствах // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2016. Т. 21. Вып. 6. С. 1963-1968.
9. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for mappings in partially ordered spaces // Topology and its Applications. 2015. V. 179. №1. P. 13-33. DOI: 10.1016/j.topol.2014.08.013
10. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for set-valued mappings in partially ordered spaces // Topology and its Applications. 2016. V. 201. P. 330-343.
11. Арутюнов А.В., Жуковский Е.С., Жуковский С.Е. О точках совпадения отображений в частично упорядоченных пространствах // Доклады Академии наук. 2013. Т. 453. №5. С. 475-478.
12. Арутюнов А.В., Жуковским Е.С., Жуковский С.Е. Точки совпадения многозначных отображений в частично упорядоченных пространствах // Доклады академии наук. 2013. Т. 453. №6. С. 595-598.
13. Коллатц Л. Функциональный анализ и вычислительная математика. М.: Мир, 1969. 448 с.
14. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1981. 544 с.
15. Борисович Ю.Г.,Гельман Б.Д., Мышкис А.Д., Обуховский В.В. Введение в теорию многозначных отображений и дифференциальных включений. М.: ЛИБРОКОМ, 2011. 224 с.
16. Данфорд Н., Шварц Дж. Линейные операторы. Т. 1. Общая теория. М.: ИЛ, 1962. 896 с.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 17-41-680975).
Поступила в редакцию 14 апреля 2017 г
Серова Ирина Дмитриевна, Тамбовский государственный университет им. Г.Р. Державина, г. Тамбов, Российская Федерация, студент, институт математики, естествознания и информационных технологий, е-mail: irinka _ [email protected]
UDC 517.922, 517.988.6
DOI: 10.20310/1810-0198-2017-22-3-571-578
ABOUT IMPLICIT DIFFERENTIAL INEQUALITIES WITH DEVIATING ARGUMENT
© I. D. Serova
Tambov State University named after G.R. Derzhavin 33 Internatsionalnaya St., Tambov, Russian Federation, 392000 E-mail: irinka _ [email protected]
Assertion about existence and evaluation of solutions to equations Y(x,x) =y, where the mapping Y acting in partially ordered spaces is covering by the first argument and antitone by the second argument is derived. This result is used for the proof of the Chaplygin's type theorem on differential inequality with deviating argument.
Key words: orderly covering mappings; differential equation with deviating argument; the Сauchy problem; Chaplygin's type inequality
REFERENCES
1. Chaplygin S.A. Osnovaniya novogo sposoba priblizhyonnogo integrirovaniya differencial'nyh uravnenij. M., 1919 (Sobranie sochinenij I. Gostekhizdat, 1948. S. 348-368).
2. Izbrannye trudy N.V. Azbeleva / otv. red. V.P. Maksimov, L.F. Rahmatullina. Moskva; Izhevsk: In-t komp'yuter. issled., 2012. 808 s.
3. Bulgakov A.I. O koleblemosti reshenij sistem differencial'nyh uravnenij vtorogo poryadka // Differencialnye uravneniya. 1987. T. 23. № 2. S. 204-217.
4. Penkov V.B., Zhukovskaja T.V., Satalkina L.V. About solvability and solutions estimates for differential equation with delay depending on required function // Tambov University Review. Series: Natural and Technical Sciences. Tambov, 2011. V. 16. Iss. 3. P. 748-751.
5. Zhukovskiy E. S. Integral equations in spaces of symmetric functions // Differential Equations. 1982. V. 18. № 4. P. 580-584.
6. Zhukovskiy E. S. Volterra inequalities in function spaces // Sbornik: Mathematics. 2004. V. 195. № 9. P. 3-18.
7. Zhukovskiy E. S. On Ordered-Covering Mappings and Implicit Differential Inequalities // Differential Equations. 2016. V. 52. № 12. P. 1605-1621.
8. Zhukovskaya T.V., Zabrodskiy I.A., Serova I.D. On functional inequalities // Tambov University Review. Series: Natural and Technical Sciences. Tambov, 2016. V. 21. Iss. 6. P. 1963-1968.
9. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for mappings in partially ordered spaces // Topology and its Applications. 2015. V. 179. №1. P. 13-33. DOI: 10.1016/j.topol.2014.08.013
10. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for set-valued mappings in partially ordered spaces // Topology and its Applications. 2016. V. 201. P. 330-343.
11. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. On coincidence points of mappings in partially ordered spaces // Doklady Mathematics. 2013. V. 453. №5. P. 475-478.
12. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points of set-valued mappings in partially ordered spaces // Doklady Mathematics. 2013. V. 453. №6. P. 595-598.
13. Kollatc L. Funkcionalnii analiz i vichislitelnaya matematika. M.: Mir, 1969. 448 s.
14. Kolmogorov A.N., Fomin S.V. Elementi teorii funkcii i funkcionalnogo analiza. M.: Nauka, 1981. 544 s.
15. Borisovich Yu.G., Gelman B.D., Mishkis A.D., Obuhovskii V.V. Vvedenie v teoriyu mnogoznachnih otobrajenii i differencialnih vklyuchenii. M.: LIBROKOM, 2011. 224 s.
16. Danford N., Shvarc Dj. Lineinie operatori. T. 1. Obschaya teoriya. M.: IL, 1962. 896 s.
ACKNOWLEDGEMENTS: The work is partially supported by the Russian Fund for Basic Research (project № 17-41-680975).
Received 14 April 2017
Serova Irina Dmitrievna, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Student, Institute Mathematic, Natural Sciences and Information Technologies, е-mail: irinka [email protected]
Информация для цитирования:
Серова И.Д. О неявных дифференциальных неравенствах с отклоняющимся аргументом // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2017. Т. 22. Вып. 3. С. 571—578. DOI: 10.20310/18100198-2017-22-3-571-578
Serova I.D. O nejavnyh differencial'nyh neravenstvah s otklonjayush'imsja argumentom [About implicit differential inequalities with deviating argument]. Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki - Tambov University Review. Series: Natural and Technical Sciences, 2017, vol. 22, no. 3, pp. 571-578. DOI: 10.20310/1810-0198-201722-3-571-578 (In Russian)
