CC BY
9
ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки
Том 23, № 123
2018
DOI: 10.20310/1810-0198-2018-23-123-386-394 УДК 517.962.24
ОБ УСТОЙЧИВОСТИ РАЗНОСТНЫХ УРАВНЕНИЙ В ЧАСТИЧНО УПОРЯДОЧЕННЫХ ПРОСТРАНСТВАХ
< Т.В. Жуковская11, И. А. Забродский2', М. В. Борзова2'
1:' ФГБОУ ВО «Тамбовский государственный технический университет» 392000. Российская Федерация, г. Тамбов, ул. Советская, 106 El-mail: t_zhukovskaia@mail.ru 2- ФГБОУ ВО «Тамбовский государственный университет им. Г.Р. Державина» 392000, Российская Федерация, г. Тамбов, ул. Интернациональная, 33 El-mail: ilyatmb@yandex.ru, bmv_ 1603@mail.ru
Аннотация. Рассмотрено разностное уравнение неявного вида в произвольном частично упорядоченном пространстве. Определено понятие устойчивости положения равновесия. Получены достаточные условия устойчивости. Исследование основано на результатах об упорядоченно накрывающих отображениях. Ключевые слова: разностное уравнение неявного вида; устойчивость положения равновесия; частично упорядоченное пространство; упорядоченно накрывающее отображение
1. Введение
Разностные уравнения являются естественным описанием эволюции наблюдаемых явлений, поскольку большая часть измерений времени дискретна. Разностные уравнения также возникают при аппроксимации дифференциальных, интегральных и интег-ро-дифференциальных уравнений. Одной из основных задач теории разностных уравнений является определение условий устойчивости положения равновесия. Эта проблема подробно исследована для автономных разностных уравнений явного вида
хп — ^Х^-п—1) э п — 1,2,...
в пространстве М" п-мерных вещественных векторов (см., например книгу |1], статью [2] и приведенную в них библиографию). В настоящей работе изучается разностное
Работа выполнена при поддержке Российского фонда фундаментальных исследований (проекты №№ 17-01-00553. 17-41-680975), государственной программы Министерства образования и науки РФ № 3.8563.2017/7.8.
уравнение неявного вида
= у, п = 1,2,..., (1.1)
причем отображение Ф действует в произвольных частично упорядоченных пространствах. Исследования используют результаты об упорядоченно накрывающих отображениях, полученные в работах [3-6]. Отметим, что разностное уравнение вида (1.1) в метрических пространствах исследованы в работах [7-10], Применялись методы, основанные на теории накрывающих отображений метрических пространств (см. [11-14]).
2. Отображения частично упорядоченных пространств
Приведем вначале некоторые известные сведения об отображениях, действующих в частично упорядоченных пространствах. Пусть X = (А', >), У = (У, >) частично упорядоченные пространства.
Элемент т П X называется нижней границей множества V —> А", если т > х при всех х П 1/. Нижняя граница то множества V —>X называется точной и обозначается т0 = т± II, если для любой нижней границы т этого множества выполнено т0 С т. Частично упорядоченное пространство X называют секвенциально полным, если любая невозрастающая последовательность из этого пространства имеет точную нижнюю границу.
Пусть задано отображение ^ : X е У. Это отображение называют антитонным на множестве II X, если для любых х, и П II из неравенства х > и следует неравенство Р(х) с Р(и).
Будем обозначать: Ох(и) = П X : х > и , [и, г>\х = П 1 : и> х>у .
Следующее определение предложено в [3,4].
Определение 2.1. Отображение Г : I £ У называется упорядоченно накрывающим множество V —>У, если для любого и П X выполнено включение
Ог№)){ У-^(СВД). (2.1)
Вложение (2.1) означает, что для любого и П X и любого у П V из неравенства У > Р(и) следует, что найдется х П X такой, что Р(х) = у и х > и.
Теперь сформулируем утверждение из [6] об антитонных возмущениях упорядоченно накрывающего отображения. Полагаем заданными отображение Ф : X2 (Е У и элемент уПУ
Теорема 2.1. Пусть частично упорядоченное пространство X является секвенциально полным и выполнены следующие условия:
(a) для любого и П X отображение Ф(и, (£): X Е У упорядоченно накрывает множество V = }у ;
(b) для любого V Г\ X отображение Ф(О0 ' X Е У является антитонным на множестве Ох(у),
(c) отображение Ф является замкнутым, то есть для любых невозрастающих последовательностей }ип —> X и }ип X, если при любом п = 0,1,2,... имеет место Ф(иТ1, ип) = у, то Ф т!:}^ , }г>1 [ = у.
Тогда, если для некоторого элемента ХцПХ выполнено Ф(а'о, ж0) с у, то существует последовательность }хп —>Х такая, что
Ф(хп,хп) С у, Ф(жп1,х„) = у, п= 1,2,..., (2.2)
и точная нижняя граница этой последовательности £ = 1п±'}:г.„ П Ох (х0) является решением уравнения
Ф (х,х)=у. (2.3)
Доказательство. Поскольку отображение Ф(ж0, фупорядоченно накрывает множество \у , из заданного неравенства Ф(жо, хц) с у следует существование элемента Ж! П X такого, что
хЛ > х0, Ф(х0,Х!) = у.
Так как отображение Ф (Оа) является антитонным, из неравенства х\ > ж о получаем Ф(ж 1, XI) с у. Далее, так как отображение Ф(ж1, фупорядоченно накрывает множество }у , существует элемент х2 такой, что
х2 > XI, Ф(хьх2) = у.
А в силу антитошюсти отображения Ф (О'2) имеем
<Ь(х21х2) С у.
Рассуждая аналогично, по индукции будет получена невозрастающая последовательность }хп —» X, для которой выполнены соотношения (2.2) Из секвенциальной полноты пространства X следует существование точной нижней границы этой последовательности £ = тГ}ж.„ . Тогда, в силу предположения замкнутости отображения Ф, получаем равенство Ф(£, £) = У- □
3. Неявное разностное уравнение первого порядка
Применим теорему 2.1 к исследованию разностного уравнения (1.1). Решением уравнения (1.1) назовем всякую последовательность }х„ > X, члены которой удовлетворяют ему при любом и= 0,1,2,... . Решение уравнения (1.1), являющееся постоянной последовательностью, называется положением равновесия. Отождествим постоянную последовательность хп = п = 0,1, 2,..., с ее элементом Таким образом, положение равновесия удовлетворяет уравнению (2.3), и для его нахождения применима теорема 2.1. Этим не исчерпываются возможности доказанного утверждения в исследовании разностного уравнения (1.1). Построенная при доказательстве теоремы 2.1 итерационная последовательность есть решение разностного уравнения (1.1). Таким образом, получаем следующий результат.
Следствие 3.1. Пусть выполнены условия теоремы 2.1. Тогда, если начальное условие ж0 П X таково, что Ф(ж0,х0) С у, то существует решение разностного уравнения (1.1), которое, кроме того, является невозрастающей в пространстве X последовательностью, а точная нижняя граница этой последовательности есть положение равновесия уравнения (1.1).
Определение 3.1. Положение равновесия £ разностного уравнения (1.1) назовем устойчивым, если для любого начального значения и.0 П X, обеспечивающего неравенство Ф(и0, щ) С у, существует решение }хп разностного уравнения (1.1), удовлетворяющее условию ж о = ио, являющееся невозрастающсй последовательностью, точная нижняя граница которой совпадает с положением равновесия, то есть ш£ хп =
Следствие 3.2. Пусть для отображения Ф : X'2 Е У выполнены условия (а), (Ь) и (с) теоремы 2.1. Тогда, если положение равновесия £ разностного уравнения (1.1) единственно, то оно является устойчивым.
Доказательство. Действительно, для любого элемента «о П X, обеспечивающего неравенство Ф(«0,«о) С у, согласно теореме 2.1 найдется решение }хп , х0 = и0, разностного уравнения (1.1), являющееся нсвозрастающей последовательностью, точная нижняя граница которой совпадает с положением равновесия. Так как положение равновесия £ единственно, то Щ хп =
4. Неявное разностное уравнение т-го порядка
Теперь рассмотрим разностные уравнения второго и более высоких порядков.
Пусть задано натуральное т С 2 — порядок разностного уравнения. По-прежнему, обозначаем X, У — заданные частично упорядоченные пространства, причем предполагаем, что пространство X секвенциально полное. На пространстве Хт определим стандартный порядок: для х = (жь..., хт) П А"1, и = (щ,..., ит) П Хт полагаем, что выполнено неравенство х > и. сели х^ > щ при всех г = 1,т. Также полагаем, что заданы отображение Ф : Хт+1 Е У и элемент у П У.
Здесь рассматривается разностное уравнение
Ф(хп_га,...,хп_ъхп) =у, т1 = ™,™ + 1,... . (4.1)
Определения решения уравнения (1.1) без каких-либо изменений переносятся на уравнение (4.1). А именно, решением уравнения (4.1) назовем всякую последовательность }хп —>Х, члены которой удовлетворяют ему при любом п. Решение уравнения (4.1), являющееся постоянной последовательностью, назовем положением равновесия и отождествим постоянную последовательность с ее элементом. Таким образом, положение равновесия удовлетворяет уравнению
Ф (х,х,...,х)=у. (4.2)
Для исследования проблемы существования решений неявного разностного уравнения т-го порядка докажем следующее утверждение, являющееся распространением теоремы 2.1 на случай т антитонных возмущений упорядоченно накрывающего отображения.
Теорема 4.1. Пусть выполнены следующие условия:
(а111) для любого и = («!,..., ит) П Хт такого, что и^ С и2 С .. . С ит, отображение Ф(и, ф: X Е У упорядоченно накрывает множество V = }у ;
(Ьт) для любого и П X отображение Ф(О0 : Хт Е У является антитонным на множестве Ох(у)
(ст) отображение Ф является замкнутым, то есть для любых невозрастающих последовательностей —>Х, ..., > X, если при любом п = 0,1,2,... имеет место ..., и™-1-1) = у, то Ф шР ,..., 1п£ [ = у.
Тогда, если для некоторого вектора (ж0, -.., жт-1) Л Хт выполнены неравенства
То С II... С хт Ъ Ф(ж0,жь ... С у, (4.3)
то существует последовательность }хп —такая, что
Ф(^п—т+1) * * * ) Хп, Хп) СИ у, Ф(жп_т, .. . , Хп) — у, П — 171, ТП 1, . . . , (4-4)
и точная нижняя граница этой последовательности £ = тГ}х„ Г) Ох{х0) является решением уравнения (4.2).
Доказательство. Поскольку отображение Ф(ж0 , ..., хт_
1) 0) УпоРяД°-
ченно накрывает множество }у , из неравенств (4.3) следует существование элемента хт П X такого, что
Хт — Хт— 1, Ф(жо, XI, . . . , Хт) = у.
Вследствие антитонности отображения Ф(Ос™) получаем Ф(х!,ж2 . .. ,хт,хт) Су. Да^ лее, так как отображение Ф((жь х2 ■ • •, хт, фупорядочение накрывает множество }у , существует элемент хт+1 такой, что
жт+1 > хт, Ф(Ж2,Ж1) = у.
А в силу антитонности отображения Ф (Ота-н) имеем
Ф(ж2,х3 . .. ,жт+ьжт+1) С у.
Рассуждая аналогично, по индукции будет получена невозрастающая последовательность }хп —» X, для которой выполнены соотношения (4.4) Из секвенциальной полноты пространства X следует существование точной нижней границы этой последовательности £ = тГ}ж?1 . Тогда, в силу предположения замкнутости отображения Ф, получаем равенство Ф(£, ...,£) = у. □
Следствие 4.1. Пусть выполнены условия теоремы 4-1- Тогда, если начальное условие (х0,. - -, хт) П Хт таково, что выполнены неравенства (4.3), то существует решение разностного уравнения (4.1), которое, кроме того, является невозрастающей в пространстве X последовательностью, а точная нижняя граница этой последовательности есть положение равновесия уравнения (4.1).
Определение 4.1. Положение равновесия £ разностного уравнения (4.1) назовем устойчивым, если для любого начального значения (х0,. .., жто_1) П такого, что выполнены неравенства (4.3), найдется решение }хп X разностного уравнения (4.1), являющееся невозрастающей последовательностью, точная нижняя граница которой совпадает с положением равновесия, то есть inf хп =
Следствие 4.2. Пусть для отображения Ф : g У выполнены условия (аш),
(bm) и (сга) теоремы ^. 1. Тогда, если положение равновесия £ разностного уравнения (4.1) единственно, то оно является устойчивым.
Доказательство этого утверждения аналогично доказательству соответствующего результата для уравнения первого порядка — следствия 3.2.
СПИСОК ЛИТЕРАТУРЫ
1. Elaydi S. An untroduction to difference equations. N. Y.: Springer-Verlag, 2005. 540 p.
2. Braverman E., Zhukovskiy S.E. On stability and oscillation of equations with a distributed delay which can be reduced to difference equations // Electronic Journal of Differential Equations. 2008. № 112. P. 1-16.
3. Arutyunov A. V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for mappings in partially ordered spaces // Topology and its Applications. 2015. Vol. 179. № 1. P. 13-33.
4. Арутюнов А.В., Жуковский E.C., Жуковский C.E. О точках совпадения отображений в частично упорядоченных пространствах // Доклады Академии наук. 2013. Т. 453. Вып. 5. С. 475-478.
5. Жуковский Е. С. Об упорядоченно накрывающих отображениях и интегральных неравенствах типа Чаплыгина // Алгебра и анализ. 2018. Т. 30. Вып. 1. С. 96-127.
6. Жуковский Е. С. Об упорядоченно накрывающих отображениях и неявных дифференциальных неравенствах // Дифференциальные уравнения. 2016. Т. 52. Вып. 12. С. 1610-1627.
7. Arutyunov A., Zhukovskiy S., Pereira F. Solvability of implicit difference equations // Lecture Notes in Electrical Engineering. 2015. Vol. 321. P. 23-28.
8. Жуковский C.E. Приложение накрывающих отображений к разностным уравнениям // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов. 2011. Т. 16. Вып. 4. С. 1085-1086.
9. Жуковский Е. С., Забродский И. А., Шиндяпин А.И. О периодических решениях неявных разностных уравнений // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2015. Т. 20. Вып. 5. С. 1142-1146.
10. Забродский И. А., Кузякина А. С. Об экспоненциальной устойчивости неявных разностных уравнений // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2015. Т. 20. Вып. 5. С. 1156-1160.
11. Арутюнов А.В. Накрывающие отображения в метрических пространствах и неподвижные точки / / Доклады Академии наук. 2007. Т. 416. Вып. 2. С. 151-155.
12. Аваков Е.Р., Арутюнов А.В., Жуковский Е.С. Накрывающие отображения и их приложения к дифференциальным уравнениям, не разрешенным относительно производной // Дифференциальные уравнения. 2009. Т. 45. Вып. 5. С. 613-634.
13. Arutyunov А. V., Zhukovskiy E.S., Zhukovskiy S.E. Covering mappings and well-posedness of nonlinear Volterra equations 11 Nonlinear Analysis: Theory, Methods and Applications. 2012. Vol. 75. № 3. P. 1026-1044.
14. Арутюнов А.В., Жуковский Е.С., Жуковский С.Е. О корректности дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2011. Т. 47. Вып. 11. С. 1523-1537.
Поступила в редакцию 16 апреля 2018 г. Прошла рецензирование 18 мая 2018 г. Принята в печать 19 июня 2018 г. Конфликт интересов отсутствует.
Жуковская Татьяна Владимировна, Тамбовский государственный технический университет, г. Тамбов, Российская Федерация, кандидат физико-математических наук, доцент кафедры высшей математики, e-mail: t_zhukovskaia@mail.ru
Забродский Илья Алексеевич, Тамбовский государственный университет им. Г.Р. Державина, г. Тамбов, Российская Федерация, аспирант, кафедра функционального анализа, e-mail: ilyatmb@yandex.ru
Борзова Марина Васильевна, Тамбовский государственный университет им. Г. Р. Державина, г. Тамбов, Российская Федерация, инженер научно-образовательного центра «Фундаментальные математические исследования», е-mail: bmv_ 1603@mail.ru
Для цитирования: Жуковская Т.В., Забродский И.А., Борзова М.В. Об устойчивости разностных уравнений в частично упорядоченных пространствах // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2018. Т. 23. № 123. С. 386-394. БОТ: 10.20310/1810-0198-2018-23-123-386-394
DOI: 10.20310/1810-0198-2018-23-123-386-394
ON STABILITY OF DIFFERENCE EQUATIONS IN PARTIALLY ORDERED SPACES
T.V. Zhukovskaya^j I. A. Zabrodskiy2), M.V. Borzova2)
11 Tambov State Technical University 106 Sovetskaya St., Tambov 392000, Russian Federation
El-mail: t_zhukovskaia@mail.ru 2'' Tambov State University named after G.R. Derzhavin 33 Internatsionalnaya St., Tambov 392000, Russian Federation E-mail: ilyatmb@yandex.ru, bmv 1603@mail.ru
Abstract. We consider implicit difference equations in partially ordered spaces. We define the notion of a stable equilibrium point. The conditions of the stability is obtained. The study is based on the theory of partially ordered mappings. Keywords: implicit difference equation; stable equilibrium point; partially ordered space; partially ordered mapping
REFERENCES
1. Elaydi S. An Untroduction to Difference Equations. New York, Springer-Verlag, 2005. 540 p.
2. Braverman E., Zhukovskiy S.E. On stability and oscillation of equations with a distributed delay which can be reduced to difference equations. Electronic Journal of Differential Equations, 2008, no. 112, pp. 1-16.
3. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for mappings in partially ordered spaces. Topology and its Applications, 2015, vol. 179, no. 1, pp. 13-33.
4. Arutyunov A.V.. Zhukovskiy E.S., Zhukovskiy S.E. O tochkakh sovpadeniya otobrazheniy v chastichno uporyadochennykh prostranstvakh [On coincidence points in partially ordered spaces]. Doklady Akademii nauk - Proceedings of the Russian Academy of Sciences, 2013, vol. 453, no. 5, pp. 475-478. (In Russian).
5. Zhukovskiy E.S. Ob uporyadochenno nakryvayushchikh otobrazheniyakh i integral'nykh ne-ravenstvakh tipa Chaplygina [About orderly covering mappings and Chaplygin's type integral inequalities]. Algebra i analiz - St. Petersburg Mathematical Journal, 2018, vol. 30. no. 1, pp. 96-127. (In Russian).
6. Zhukovskiy E.S. Ob uporyadochenno nakryvayushchikh otobrazheniyakh i neyavnykh diffe-rentsial'nykh neravenstvakh [On ordered-covering mappings and implicit differential inequalities]. Differentsial'nye uravneniya - Differential Equations, 2016, vol. 52, no. 12, pp. 1610-1627. (In Russian).
7. Arutyunov A., Zhukovskiy S., Pereira F. Solvability of implicit difference equations. Lecture Notes in Electrical Engineering, 2015. vol. 321, pp. 23-28.
The work is partially supported by the Russian Fund for Basic Research (projects №№ 17-01-00553. 17-41-680975). by the state program of the Ministry of Education and Science of the Russian Federation № 3.8563.2017/7.8.
8. Zhukovskiy S.E. Prilozheniye nakryvayushchikh otobrazheniy k raznostnym uravneniyam [Application of covering mappings to difference equations]. Vestnik Tambovskogo universiteta. Se-riya: Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2011, vol. 16, no. 4, pp. 1085-1086. (In Russian).
9. Zhukovskiy E.S., Zabrodskiy I.A., Shindyapin A.I. O periodicheskikh resheniyakh neyavnykh raznostnykh uravneniy [Periodic solutions of implicit differential equations]. Vestnik Tambovskogo universiteta. Seriya: Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2015, vol. 20, no. 5, pp. 1142-1146. (In Russian).
10. Zabrodskiy I.A., Kuzyakina A.S. Ob eksponentsial'noy ustoychivosti neyavnykh raznostnykh uravneniy [Exponential stability of implicit difference equations]. Vestnik Tambovskogo universiteta. Seriya: Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2015, vol. 20, no. 5, pp. 1156-1160. (In Russian).
11. Arutyunov A.V. Nakryvayushchiye otobrazheniya v metricheskikh prostranstvakh i nepod-vizhnyye tochki [Covering mappings in metric spaces and fixed points]. Doklady Akademii nauk -Proceedings of the Russian Academy of Sciences, 2007, vol. 416, no. 2, pp. 151-155. (In Russian).
12. Avakov E.R., Arutyunov A.V., Zhukovskiy E.S. Nakryvayushchiye otobrazheniya i ikh pri-lozheniya k differentsial'nym uravneniyam, ne razreshennym otnositel'no proizvodnoy [Covering mappings and their applications to differential equations unsolved for the derivative]. Differentsial'-nye uravneniya - Differential Equations, 2009, vol. 45, no. 5, pp. 613-634. (In Russian).
13. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Covering mappings and well-posedness of nonlinear Volterra equations. Nonlinear Analysis: Theory, Methods and Applications, 2012, vol. 75, no. 3, pp. 1026-1044.
14. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. O korrektnosti differentsial'nykh uravneniy, ne razreshennykh otnositel'no proizvodnoy [On the well-posedness of differential equations unsolved for the derivative]. Differentsial'nye uravneniya - Differential Equations, 2011, vol. 47, no. 11, pp. 1523-1537. (In Russian).
Received 16 April 2018
Reviewed 18 May 2018
Accepted for press 19 June 2018
There is no conflict of interests.
Zhukovskaya Tatyana Vladimirovna, Tambov State Technical University, Tambov, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Further Mathematics Department, e-mail: t_zhukovskaia@mail.ru
Zabrodskiy Ilya Alekseevich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Post-Graduate Student, Functional Analysis Department, e-mail: ilyatmb@yandex.ru
Borzova Marina Vasilevna, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Engineer of the scientific and educational center «Fundamental mathematical research», е-mail: bmv_ 1603@mail.ru
For citation: Zhukovskaya T.V., Zabrodskiy I.A., Borzova M.V. Ob ustoychivosti raznostnykh uravneniy v chastichno uporyadochennykh prostranstvakh [On stability of difference equations in partially ordered spaces]. Vestnik Tambovskogo universiteta. Seriya: estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2018, vol. 23, no. 123, pp. 386-394. DOI: 10.20310/1810-0198-2018-23-123-386-394 (In Russian, Abstr. in Engl.).
