CC BY
95
12. Арутюнов А.В. Накрывающие отображения в метрических пространствах и неподвижные точки // Доклады Академии наук. 2007. Т. 416. № 2. С. 151-155.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-97504) в рамках базовой части государственного задания Министерства образования и науки РФ (проект № 2014/285).
Поступила в редакцию 20 апреля 2015 г.
Zhukovskiy E.S., Zabrodskiy I.A., Shindiapin A.I. PERIODIC SOLUTIONS OF IMPLICIT DIFFERENTIAL EQUATIONS
We consider implicit difference equations in an arbitrary metric space, for which we formulate the conditions for existence of periodic solutions. The study is based on the results of vector covering mappings.
Key words: difference equation; periodic solutions; vector covering mapping of metric spaces; multiple coincidence points.
Жуковский Евгений Семенович, Тамбовский государственный университет имени Г.Р. Державина, г. Тамбов, Российская Федерация, доктор физико-математических наук, профессор, директор института математики, физики и информатики, е-mail: zukovskys@mail.ru
Zhukovskiy Evgeny Semenovich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Doctor of Physics and Mathematics, Professor, Director of the Institute of Mathematics, Physics and Informatics, е-mail: zukovskys@mail.ru
Забродский Илья Алексеевич, Тамбовский государственный университет имени Г.Р. Державина, г. Тамбов, Российская Федерация, аспирант кафедры алгебры и геометрии, е-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
Шиндяпин Андрей Игоревич, Университет имени Эдуардо Мондлане, г. Мапуту, Мозамбик, доктор физико-математических наук, профессор, профессор кафедры математики и информатики, е-mail: andrei.olga@tvcabo.co.mz
Shindiapin Andrey Igorevich, Eduardo Mondlane University, Maputo, Mozambique, Doctor of Physics and Mathematics, Professor, Professor of the Mathematics and Computer Science Department, е-mail: andrei.olga@tvcabo.co. mz
УДК 517.988
О ВОЗМУЩЕНИЯХ МНОГОЗНАЧНЫХ ВЕКТОРНО НАКРЫВАЮЩИХ ОТОБРАЖЕНИЙ
© Е.С. Жуковский, Ж.П. Мунембе
Ключевые слова: произведение метрических пространств; векторно накрывающие отображения метрических пространств; дифференциальное включение, краевая задача. Для многозначных отображений, действующих в произведении метрических пространств, предложено понятие векторного накрывания. Получен векторный аналог теоремы о возмущениях накрывающих отображений. Этот результат применен к исследованию систем операторных включений неявного вида.
В связи с исследованием краевых задач для неявных дифференциальных уравнений в работах [1, 2] было предложено рассматривать векторные отображения, действующие в произведениях метрических пространств, с компонентами, обладающими свойством накры-вания по диагональной переменной и липшицевыми по остальным переменным. Утверждения о таких отображениях нашли приложения в изучении вопросов существования, оценок, непрерывной зависимости от параметров решений различных систем неявных функциональных уравнений [3, 4] краевых задач для неявных функционально-дифференциальных уравнений [5, 6], задач управления [7].
Здесь с целью исследования систем включений предлагается определение понятия векторного накрывания для многозначных отображений, действующих в произведениях метрических пространств. Исследованиям многозначных отображений метрических пространств были начаты А.В. Арутюновым (см. [8-10]), получившим принцип точки совпадения многозначных накрывающего и липшицева отображений. В работе [11] для многозначных отображений доказана теорема о возмущениях, и этот результат применяется к исследованию задачи Коши для дифференциального включения неявного вида.
Стандартно обозначаем Rm — m -мерное вещественное пространство, Rm — конус векторов с неотрицательными компонентами пространства Rm, /m — единичную m х m матрицу. Для произвольных векторов r1, r2 € Rm полагаем r1 ^ r2, если r1 — r2 € R™.
Вначале приведем определение [8] свойства накрывания многозначных отображений.
Обозначим через Bx(u, r) замкнутый шар {x € X : px(x,u) ^ r} с центром в точке u € X радиуса r ^ 0 в пространстве X. Для произвольного множества U С X определим его r-окрестность Bx(U,r) = lJMeUBx(u,r).
Определение 1 [8]. Пусть задано число а > 0. Отображение Ф : X ^ Y, где X, Y — метрические пространства, называется а-накрывающим, если для любых r ^ 0, u € X имеет место вложение
BY(Ф(и),ar) С Ф(ВХ(u,r)).
Сформулируем векторный аналог определения 1.
Пусть заданы метрические пространства Xj, Yj с метриками pXi, Py , соответственно, i = 1,n, j = l,m. В произведениях
n m
X = []Xj, Y
i=1 j=1
определим векторные метрики:
pX(x,u) = (PXi (x1,u1), . . . ,PXn (xn,un^ , Py^ w) = (PYi (y1,w1^ . . . ,PYm ,
где x = (x1,..., xn), u = (u1,..., un) € X, y = (уь_..., y™), w = (wb..., w™) € Y. Для векторов r = (r1,. . . , rm) € Rm, w = (w1,..., wm) € Y положим
m
BF(W r) = {y € Y : Py(У, w) < r} = П BYj(wj, rj).
j=1
Аналогично, для d = (d1,..., dn) € R+, u = (u1,..., un) € X обозначим
n
BX(u, d) = Bxi (u, dj).
X
i=1
Определение 2. Пусть задана пхт матрица А с неотрицательными компонентами ау, г = 1, п, ] = 1,т. Отображение Ф : X ^ У будем называть векторно А -накрывающим, если для любых г € Мт, и € X выполнено
Ву(Ф(и), г) С Ф(Вх(и, Аг)). (1)
Прямо из определения 2 следует, что отображение Ф : X ^ У является векторно А -накрывающим тогда и только тогда, когда при всех и € X, ад € Ф(и), у € У справедливо
3 х € X Ф(х) Э у & рх (х, и) ^ Ару (у, (2)
В случае п = т = 1 определения 1, 2 равносильны: всякое векторно А -накрывающее многозначное отображение является а -накрывающим, и любое а-накрывающее отображение является векторно А -накрывающим, где А = (ац), ац = а-1.
Теперь определим векторный аналог свойства классического условия Липшица.
Определение 3. Пусть задана тхп матрица В с неотрицательными компонентами ] = 1,т, г = 1,п. Отображение Ф : X ^ У будем называть векторно В -липшице-вым, если для любых и, V € X выполнено
Ф(и) С Ву(Ф^),Врх(и^)). (3)
Отображение Ф : X ^ У является векторно В -липшицевым, если для любых и, V € X и произвольного у € Ф(и) справедливо
Зад € Ф^) ру(у, ад) ^ Врх(и, V). (4)
Сформулируем утверждение о возмущениях векторно накрывающих многозначных отображений. Пусть задано отображение Т : X х X ^ У. Определим отображение ^ : X ^ У равенством ^(х) = Т(х,х).
Теорема 1. Пусть пространства Xi, г = 1, п, являются полными; график отображения ^ замкнут в пространстве X х У; существуют п х т матрица А и т х п матрица В такие, что:
1.1) при любых и € X, г € М^, для отображения Ф = Т(-,и) : X ^ У выполнено (1);
1.2) при любых и, V € X, для отображения Ф = Т(и, ■) выполнено (3);
1.3) спектральный радиус д матрицы В А отвечает неравенству д(ВА) < 1. Тогда отображение ^ является векторно А(1т — ВА)-1 -накрывающим.
В силу (2) утверждаемое в теореме 1 свойство векторного накрывания отображения ^ позволяет исследовать разрешимость включения
^(х) = Т(х, х) Э у.
Запишем это включение через компоненты векторов х, у, Т в виде системы
Т1(х1,... ,хп,хь ... ,хп) Э у1,
.............................., (5)
^т(х1, . . . , xn, х1, . . . , хп) Э ут.
Теорема 1 равносильна следующему утверждению.
Теорема 1'. При выполнении условий теоремы 1 для любых и € X, ад € F(и), у € У существует 'решение х = £ € X системы (5), удовлетворяющее неравенству
Рх(£, и) < А(1т — ВА)-1ру(ад, у). (6)
В случае, если требуется исследовать систему (5) при фиксированной, а не любой, правой части y € Y, условия теоремы 1' будут избыточными. Справедлива следующая
Теорема 2. Пусть задан элемент y € Y. Предположим, что пространства X, i = 1,n, являются полными; для любых последовательностей {xk} С X, {yk} С Y таких, что yk € F (xk), k = 1, 2,..., имеет место импликация
(pf (yk ,y) ^ 0, Зх € X Px(xk,x) ^ о) ^ y € F (ж);
существуют n х m матрица A и m х n матрица B такие, что справедливо 1.3) и выполнены условия:
2.1) при любых u € X, w € Y(u, u), для отображения Ф = Y(-,u) : X ^ Y имеет место соотношение (2);
2.2) при любом u € X таком, что y € Y(u, u), отображение Ф = Y(u, ■) для любого v € X удовлетворяет условию (4);
Тогда существует 'решение x = £ € X системы (55), удовлетворяющее неравенству (6).
В скалярном случае, т. е. при n = m = 1 приведенные утверждения аналогичны теореме о возмущениях многозначных отображений метрических пространств, полученной в [11].
ЛИТЕРАТУРА
1. Жуковский Е.С., Плужникова Е.А. Накрывающие отображения в произведении метрических пространств и краевые задачи для дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2013. Т. 49. № 4. С. 439-455.
2. Жуковский Е.С., Плужникова Е.А. Накрывающие отображения в проблеме корректности краевых задач для дифференциальных уравнений, не разрешенных относительно производной // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2011. Т. 16. № 4. С. 1082-1085.
3. Жуковская Т.В., Жуковский Е. С., Плужникова Е.А. Об исследовании систем функциональных уравнений методами теории накрывающих отображений // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2013. Т. 18. № 1. С. 38-42.
4. Жуковский Е.С., Мунембе Ж.П., Плужникова Е.А. Функциональные уравнения с запаздыванием в пространстве суммируемых функций // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2013. Т. 18. № 5-2. С. 2523-2526.
5. Жуковский Е.С., Жуковская Т.В. Об условиях разрешимости краевой задачи для нелинейного абстрактного функционально-дифференциального уравнения // Известия Института математики и информатики Удмуртского государственного университета. 2012. № 1. С. 50-51.
6. Жуковский Е.С., Жуковская Т.В. О разрешимости дифференциального уравнения с запаздыванием, не разрешенного относительно производной // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2011. Т. 16. № 1. С. 67-69.
7. Жуковский Е.С., Плужникова Е.А. Об управлении объектами, движение которых описывается неявными нелинейными дифференциальными уравнениями // Автоматика и телемеханика. 2015. № 1. С. 31-56.
8. Арутюнов А.В. Накрывающие отображения в метрических пространствах и неподвижные точки // Доклады Академии наук. 2007. Т. 416. № 2. С. 151-155.
9. Арутюнов А.В. Устойчивость точек совпадения и свойства накрывающих отображений // Математические заметки. 2009. Т. 86. № 2. С. 163-169.
10. Арутюнов А.В. Точки совпадения двух отображений // Функциональный анализ и его приложения. 2014. Т. 48. № 1. С. 89-93.
11. Arutyunov A., de Oliveira V.A., Pereira F.L., Zhukovskiy E., Zhukovskiy S. On the solvability of implicit differential inclusions // Applicable Analysis. 2015. V. 94. Iss. 1. P. 129-143.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке РНФ (проект № 15-11-10021).
Поступила в редакцию 20 апреля 2015 г.
Zhukovskiy E.S., Munembe J.P. ON PERTURBATIONS OF MULTIVALUED VECTOR COVERING MAPS
For multivalued maps acting in the product of metric spaces, the notion of vector covering is proposed. The vector analogue of the theorem on perturbations of covering maps is obtained. This result is applied to investigate systems of implicit operator inclusions.
Key words: product of metric spaces; vector covering map of metric spaces; differential inclusion; boundary value problem.
Жуковский Евгений Семенович, Тамбовский государственный университет имени Г.Р. Державина, г. Тамбов, Российская Федерация, доктор физико-математических наук, профессор, директор института математики, физики и информатики, е-mail: zukovskys@mail.ru
Zhukovskiy Evgeny Semenovich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Doctor of Physics and Mathematics, Professor, Director of the Institute of Mathematics, Physics and Informatics, е-mail: zukovskys@mail.ru
Мунембе Жоао Пауло, Университет имени Эдуардо Мондлане, г.Мапуту, Мозамбик, доктор физико-математических наук, профессор кафедры математики и информатики, е-mail: jmunembe3@gmail.com
Munembe Joao Paulo, Eduardo Mondlane University, Maputo, Mozambique, Doctor of Physics and Mathematics, Professor of the Mathematics and Computer Science Department, е-mail: jmunembe3@gmail.com
УДК 517
ОБ ОДНОЙ ЗАДАЧЕ ВЫПУКЛОГО ПРОГРАММИРОВАНИЯ
© С.Е. Жуковский, Д.В. Петров
Ключевые слова: задача выпуклого программирования; необходимые условия минимума; принцип наибольшей энтропии.
В работе исследуется задача условной минимизации выпуклого интегрального функционала при линейных ограничениях в пространстве суммируемых функций. Получены необходимые и достаточные условия минимума для рассматриваемой задачи. Приводится пример использования полученного результата для решения задачи максимизации энтропии.
I. Постановка задачи. Пусть задана функция / : М ^ М, натуральное число к, измеримые по Лебегу существенно ограниченные на любом измеримом ограниченном множестве функции ^ : М ^ М и числа аi, г = 1, к. Здесь М = М и {—то, +то}. Всюду далее будем предполагать, что
(Е1) функция / является выпуклой замкнутой и собственной, /(р) = +то для любого р < 0, /(0) = 0, т1](ёот(/)) = 0.
Здесь и далее ёот(/) = {р € М : /(р) < то} - эффективное множество функции /. Обозначим через Р множество всех функций р(-) € ^(М) таких, что
^(-)р(-) € ¿1(М) Уг =ТТк (1)
