Об экспоненциальной устойчивости неявных разностных уравнений

Тип работы:
Реферат
Предмет:
Физико-математические науки


Узнать стоимость

Детальная информация о работе

Выдержка из работы

БЛАГОДАРНОСТИ: Работа выполнена в рамках реализации государственного задания министерства образования и науки РФ в сфере научной деятельности (код проекта 1. 333. 2014/К), при поддержке гранта Президента Российской Федерации (проект № MK-5333. 2015.1.) и гранта РФФИ (проект № 14−01−31 185).
Поступила в редакцию 1 июня 2015 г.
Zhukovskiy S.E., Sengupta R. ON THE CONVEXITY OF QUADRATIC MAPPINGS IMAGES
In the paper, the question on convexity of quadratic mappings images is discussed. The conditions for a restriction of a quadratic mapping to a closed convex cone to be surjective are obtained.
Key words: quadratic mapping- convex cone.
Жуковский Сергей Евгеньевич, Российский университет дружбы народов, г. Москва, Российская Федерация, кандидат физико-математических наук, доцент кафедры нелинейного анализа и оптимизации, e-mail: s-e-zhuk@yandex. ru
Zhukovskiy Sergey Evgenyevich, Peoples'- Friendship University of Russia, Moscow, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Nonlinear Analysis and Optimization Department, e-mail: s-e-zhuk@yandex. ru
Сенгупта Ричик, Российский университет дружбы народов, г. Москва, Российская Федерация, студент, e-mail: veryricheek@hotmail. com
Sengupta Richik, Peoples'- Friendship University of Russia, Moscow, the Russian Federation, Student, e-mail: veryricheek@hotmail. com
УДК 517. 962. 24 + 517. 929. 9
ОБ ЭКСПОНЕНЦИАЛЬНОЙ УСТОЙЧИВОСТИ НЕЯВНЫХ РАЗНОСТНЫХ УРАВНЕНИЙ
© И. А. Забродский, А.С. Кузякина
Ключевые слова: разностное уравнение неявного вида- устойчивость положения равновесия- экспоненциальная устойчивость- накрывающие отображения метрических пространств.
Рассмотрено разностное уравнение неявного вида в произвольном метрическом пространстве. Предложено понятие частичной экспоненциальной устойчивости. Получены условия такой устойчивости. Исследование основано на результатах о накрывающих отображениях, действующих в метрических пространствах.
Разностными уравнениями моделируются многие процессы в биологии, экономике, технике. Разностные уравнения используются в приближенных методах решения интегральных, дифференциальных, функциональных уравнений. Одна из основных задач исследования разностных уравнений состоит в определении устойчивости положения равновесия. Эта задача подробно изучена для автономных разностных уравнений явного вида
Хп+1 = F (Хп),
где: Мп ^ Мп (см., например, [1]). 1156
В данной работе исследуется проблема устойчивости автономных разностных уравнений неявного вида, причем под хп понимается не только вектор из Мп, но и, возможно, элемент произвольного метрического пространства.
Пусть X, У — метрические пространства, рх (•, •), Ру (•, •) — расстояние между точками в соответствующих метрических пространствах, задано отображение Т: X х X -> У и элемент у € У. Рассмотрим разностное уравнение
Т (хп+1,Хп)= у. (1)
Решением разностного уравнения (1) называется последовательность {хп} С X, элементы которой удовлетворяют (1) при любом п = 0,1, 2,… Решение разностного уравнения (1), являющееся постоянной последовательностью, т. е. хп = и, при всех п = 0,1, 2,…, называется положением равновесия.
Определение! Положение равновесия и уравнения (1) назовем частично экспоненциально устойчивым, если найдется Л & gt- 0, и для произвольного е & gt- 0 найдется 5е & gt- 0 такие, что при любом, А € X из неравенства рх (и, А) & lt- 5е следует существование решения {хп} уравнения (1), отвечающего условиям: хо = А, рх (хп, и) & lt- е в-Лп (при всех п € М).
Выясним, каким требованиям должно удовлетворять отображение Т для того, чтобы положение равновесия уравнения (1) было частично экспоненциально устойчивым. Наше исследование основано на результатах [2−4] о накрывающих отображениях.
Пусть Вх (и, г) = {х € X: рх (и, х) ^ г} - замкнутый шар с центром в и радиуса г ^ 0 в метрическом пространстве X.
Определение2 [2]. Отображение ?: X ^ У называется, а -накрывающим, а & gt- 0, если для любого г ^ 0, и любого х € X справедливо
? (Вх (г, х)) ^ Ву (аг,? (х)).
Напомним, что отображение ?: X ^ У называется в -липшицевым, в ^ 0, если для любых х1, х2 € X выполнено неравенство
ру (?(х1),?(х2)) ^ вРх (х1, х2).
Наряду с уравнением (1), для нахождения положения равновесия, будем рассматривать уравнение
Т (х, х) = у (2)
относительно элемента х € X.
Л е м м, а 1. Пусть отображение Т (-, х2): X ^ У является непрерывным для любого х2 € X, а отображение Т (х1, •): X ^ У — в -липшицевым для любого х1 € X. Тогда, отображение ?: X ^ У, ?(х) = Т (х, х) является непрерывным.
Доказательство. Возьмем любое е & gt- 0 и произвольный х2 € X. Отображение Т (-, х2): X ^ У непрерывно в точке х2. Следовательно, существует 5 & gt- 0, такое, что для любого х1, удовлетворяющего оценке рх (х1,х2) & lt-5 выполнено
е
ру (Т (хЬх2), Ту (х2,х2)) & lt-
1 + в
Без ограничения общности можем считать, что 5 ^ 1+д. Теперь, вследствие липшицевости отображения Т (х1, •) имеем
ру (Т (х1,х1), Т (х1,х2) & lt- врх (х1,х2) & lt- в5 ^ ве
1 + в
Таким образом,
ру (Т (Ж1,Ж1), Т (Ж2,Ж2)) ^ ру (Т (Ж1,Ж1), Т (Ж1,Ж2)) + ру (Т (Ж1,Ж2), Т (Ж2,Ж2)) ^
е ве
^--+ -- ^ е.
1 + в 1 + в
Лемма доказана.
Т е о р е м, а 1 [3]. Пусть пространство X — полно- отображение Т (-, ж2): X ^ ^ У является, а -накрывающим и непрерывным для любого ж2 € X, а отображение Т (ж1, ¦): X ^ У — в -липшицевым для любого ж1 € X.
Тогда, если, а & gt- в, то для любого Жо € X существует последовательность {жп} С X, являющаяся решением уравнения (1) — эта последовательность сходится
рх (жп, Ж) ^ 0 (п ^ то),
причем Ж является решением уравнения (2) и удовлетворяет оценке
рх (Ж, Жо) ^ -Ц^ру (Т (Ж, Ж), Т (жо, жо)). а — в
Теорема 1 доказана в работе [3] и, в более общем виде, в работе [4]. Мы приведем полное доказательство, поскольку далее будем использовать не только сформулированный результат, но и некоторые оценки, полученные при доказательстве.
Доказательство. Возьмем произвольный элемент Жо € X. Найдем уо = Т (жо, Жо). Так как отображение Т является а-накрывающим по первому аргументу, то существует Ж1 € X такой, что
Т (ж1,жо)= у, рх (Ж1,жо) ^ -ру (у, уо). (3)
а
Вследствие того, что отображение Т в-липшицево по второму аргументу, получаем
ру (У, У1) ^ врх (жо, ж1), у1 = Т (Ж1,Ж1).
Далее, пусть существует € X такой, что
1 в. Т (ЖЙ, Жк-1) = у, рх (Жк, Жк-1) ^ - ру (у, ук-1) ^ - рх (Жк-2,Жк-1), ук-1 = Т (Жй-1,Жй-1)
аа
Тогда для у^ = Т (ж& amp-,) имеем
ру (у, ук) = р (^(жк, Жк-1, Т (жй, Жк)) ^ врх (жк-1, Жк).
Далее из свойства а-накрывания отображения Т (-, ж& amp-) получаем, что существует ж^+1 € X удовлетворяющий соотношениям:

Т (Жк+1,Жк) = у, рх (Жк+1,Жк) ^ - ру (у, ук) ^ - рх (Жк-1,Жк).
аа
Итак, по индукции построена последовательность, удовлетворяющая условиям
в
Т (ж"+1,ж")= у, рх (жп+1,Пк) ^ -рх (ж"-2,ж"-1), п = 0,1,2,… (4)
а
Используя формулу суммы убывающей геометрической прогрессии, при любом п получаем:
рх (Жп, Жо) & lt- рх (жга, Ж"-1) + … + рх (Ж1,Жо) & lt-рх (Ж1,Жо) & lt- а ¦ру (у, уо).
а — в, а а — в
Итак,
Рх (ж", хо)--ру (у, уо), п = 0,1,2,… (5)
а — в
Покажем, что последовательность (жп} является фундаментальной. Возьмем номера к и т такие, что т ^ к. Дадим оценку рх (ж& amp-, жт). Из неравенства треугольника имеем:
РХ (Хк, Жт) ^ рх (Хк, Жк+1) + рх (Жк+1,Жк+2) + … + Рх (ж т- 1, жт). Учитывая, что рх (ж", ж"+1) ^ аРх (жп-1, ж") ^ … ^ (а)прх (хо, Ж1), получаем
(в (в к+1 (в т- 1 Рх (Жк, Жт) ^ Рх (Жо, Ж1)^рх (Жо, Ж1) + … + рх (Жо, Ж1) =
= Рх & lt-Жо. Ж1)((-)'- + (-+ … + (в Г) = рх (Жо, Ж1)(§)'- (1 + - + … + (-)т-к-¦)
в) к 1, в) к —
^ Рх (Жо, Ж11 в = Рх (Жо, Ж1^
1 _ в '- V-/ - - в'-
а
Итак, ()
(в к —
Рх (Жк, Жт) ^ Рх (Жо, Ж1) I I --. (6)
— - - в
Так как 0 & lt- а & lt- 1, то (а)к ^ 0, при к ^ то, поэтому, рх (жк, жт) ^ 0, при к ^ то. Т. о. последовательность (ж^} является фундаментальной. Обозначим ее предел через Ж. Воспользовавшись Леммой 1, получим Т (Ж, Ж) = у. Так как при переходе к пределу знак неравенства сохраняется, то из (5) следует:
Рх (Ж, Жо) & lt- ру (у, уо). — - в
Теорема доказана.
Решение и уравнения (2) называют изолированным, если существует? о & gt- 0, такое, что Т (ж, ж) = у, для любого ж € Вх (и, 5о).
Теорема 2. Пусть выполнены условия теоремы 1, и пусть и — изолированное '-решение уравнения (2). Тогда, положение равновесия жп = и (п = 0,1, 2,…) уравнения (1) будет частично экспоненциально устойчивым.
Доказательство. Сначала покажем, что для любого начального значения жо из некоторой окрестности точки и существует решение {жп} разностного уравнения (1), сходящееся к и. Пусть в? о -окрестности точки и уравнение (2) не имеет решений, отличных от и .В силу непрерывности в точке и функции ?: X ^ У,? (ж) = Т (ж, ж) существует 5 € (0, ^) такое, что для любого жо € Вх (и, 5) выполнено ру (Т (жо, жо), Т (и, и)) & lt- (- - в). Согласно Теореме 1 для жо можно построить последовательность {жп}, сходящуюся к некоторому Ж, причем справедлива оценка
Рх (жо, Ж) ^ -Ц- ру (Т (жо, жо), Т (и, и)) & lt- ?^.
— - в 2
Тогда, рх (и, Ж) & lt- рх (и, жо)+ рх (жо, Ж) & lt- ^ + & lt- 5о. Так как решение и — изолированное, то Ж = и.
Кроме того, это положение равновесия будет частично экспоненциально устойчивым. Действительно, воспользовавшись неравенствами (3),(6) получим
(- - к 1 Рх (жк, и) ^ ру (Т (жо, жо), Т (и, и)) —
в^ - - в
Из непрерывности функции Y (-, ¦) в точке u следует, что для любого е & gt- 0 существует o & gt- 0 такое, что для любого ж0 удовлетворяющего неравенству рх (x0,u) & lt- o выполнено pY (Y (x0, ж0), Y (u, u)) & lt- e (a — в) • Тогда
рх (xfc, u) & lt- е (а) -k = ee-kln a = ee-Afc, Л = ln a & gt- 0.
Теорема доказана.
В заключение отметим, что идея приложения результатов о накрывающих отображениях к исследованию разностных уравнений предложена в [5], [6].
ЛИТЕРАТУРА
1. Романко В. К. Разностные уравнения. М.: БИНОМ. Лаборатория знаний, 2006. 112 с.
2. Арутюнов А. В. Накрывающие отображения в метрических пространствах и неподвижные точки // Доклады Академии наук. 2007. Т. 416. № 2. С. 151−155.
3. Аваков Е. Р., Арутюнов А. В., Жуковский Е. С. Накрывающие отображения и их приложения к дифференциальным уравнениям, не разрешенным относительно производной // Дифференциальные уравнения. 2009. Т. 45. № 5. С. 613−634.
4. Арутюнов А. В., Жуковский Е. С., Жуковский С. Е. О корректности дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2011. Т. 47. № 11. С. 15 231 537.
5. Arutyunov A., Pereira F., Zhukovskiy S. Solvability of Implicit Difference Equations // CONTROLO'-2014. Proceedings of the 11th Portuguese Conference on Automatic Control. Lecture Notes in Electrical Engineering. 2015. V. 321. P. 23−28.
6. Жуковский С. Е. Приложение накрывающих отображений к разностным уравнениям // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2011. Т. 16. Вып. 4. С. 10 851 086.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке РНФ (проект № 14−01−877).
Поступила в редакцию 12 июня 2015 г.
Zabrodskii I.A., Kuzyakina A.S. EXPONENTIAL STABILITY OF IMPLICIT DIFFERENCE EQUATIONS
An implicit difference equation in an arbitrary metric space is considered. The concept of partial exponential stability is introduced. The stability conditions are found. The study is based on the results about covering mapping of metric spaces.
Key words: implicit difference equation- stability of equilibrium position- exponential stability- covering mapping of metric spaces.
Забродский Илья Алексеевич, Тамбовский государственный университет имени Г. Р. Державина, г. Тамбов, Российская Федерация, аспирант кафедры алгебры и геометрии, е-mail: ilyatmb@yandex. ru
Zabrodskii Ilia Alekseevich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Post-graduate Student of the Algebra and Geometry Department, е-mail: ilyatmb@yandex. ru
Кузякина Александра Сергеевна, Тамбовский государственный университет имени Г. Р. Державина, г. Тамбов, Российская Федерация, магистрант кафедры алгебры и геометрии, e-mail: 79 004 912 641@mail. ru
Kuzakina Aleksandra Sergeevna, Tambov State University named after G.R. Derzhavin, Tambov, thr Russian Federation, Master'-s degree Student of the Algebra and Geometry Department, е-mail: 79 004 912 641@mail. ru

ПоказатьСвернуть
Заполнить форму текущей работой