О случайных точках равновесия Текст научной статьи по специальности «Математика»

ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки

Том 24, № 125 2019

© Обуховский В.В., Гетманова Е.Н., Карпов М.Г., 2019 DOI 10.20310/1810-0198-2019-24-125-112-118 УДК 517.988

О случайных точках равновесия

Валерий Владимирович ОБУХОВСКИЙ, Екатерина Николаевна ГЕТМАНОВА,

Михаил Георгиевич КАРПОВ

ФГБОУ ВО «Воронежский государственный педагогический университет»

392000, Российская Федерация, г. Воронеж, ул. Ленина, 86 ORCID: https://orcid.org/0000-0002-4201-0739, e-mail: valerio-ob2000@mail.ru ORCID: https://orcid.org/0000-0003-3667-7569, e-mail: ekaterina_getmanova@bk.ru ORCID: https://orcid.org/0000-0002-2739-5706, e-mail: karpovmg57@yandex.ru

On random equilibrium points

Valeri V. OBUKHOVSKII, Ekaterina N. GETMANOVA, Michael G. KARPOV

Voronezh State Pedagogical University 86 Lenina St., Voronezh 394043, Russian Federation ORCID: https://orcid.org/0000-0002-4201-0739, e-mail: valerio-ob2000@mail.ru ORCID: https://orcid.org/0000-0003-3667-7569, e-mail: ekaterina_getmanova@bk.ru ORCID: https://orcid.org/0000-0002-2739-5706, e-mail: karpovmg57@yandex.ru

Аннотация. В работе доказывается вероятностная версия теоремы о точке равновесия для двух параметризованных многозначных отображений, удовлетворяющих совместным условиям типа Каристи.

Ключевые слова: случайная точка равновесия; случайная неподвижная точка; теорема Каристи; случайное многозначное отображение; измеримое многозначное отображение; каратеодориевское многозначное отображение

Благодарности: Работа выполнена при поддержке Минобрнауки РФ в рамках проектной части госзадания (проект № 1.3464.2017/4.6).

Для цитирования: Обуховский В. В., Гетманова Е. Н., Карпов М. Г. О случайных точках равновесия // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2019. Т. 24. № 125. С. 112-118. DOI 10.20310/1810-01982019-24-125-112-118

Abstract. We present a random version of a theorem on equilibrium points for two parametrized multivalued maps satisfying a joint Caristi type condition. Keywords: random equilibrium point; random fixed point; Caristi's theorem; random multivalued map; measurable multivalued map; Caratheodory multivalued map Acknowledgements: The work is partially supported by the Ministry of Education and Science of the Russian Federation in the framework of the project part of the state work quota (project no. 1.3464.2017/4.6).

For citation: Obukhovskii V. V., Getmanova E. N., Karpov M. G. O sluchainykh tochkakh ravnovesiya [On Random Equilibrium Points]. Vestnik Tambovskogo universiteta. Seriya: estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2019, vol. 24, no. 125, pp. 112-118. DOI 10.20310/1810-0198-2019-24125-112-118 (In Russian, Abstr. in Engl.)

Введение

Теорема Каристи [1] — одно из известных в нелинейном анализе утверждений о неподвижной точке, нашедшее целый ряд обобщений и приложений (см., например, [2]-[5] и др.) В настоящей работе представлена случайная версия теоремы о существовании точек равновесия для двух параметризованных мультиотображений (многозначных отображений), удовлетворяющих совместным условиям типа Каристи.

1. Предварительные сведения.

Некоторые понятия из теории многозначных отображений

Напомним некоторые сведения из многозначного анализа (подробности можно найти, например, в [3], [6]-[7]).

Пусть X и Y — метрические пространства. Символами C(Y) [K(Y)] будем обозначать совокупности всех непустых замкнутых [соответственно, компактных] подмножеств Y. Если Y — нормированное подмножество, символы Cv(Y) [Kv(Y)] обозначают совокупности всех непустых выпуклых замкнутых [соответственно, компактных] подмножеств Y.

Определение 1. Мультиотображение F : X ^ C (Y) называют полунепрерывным сверху (п.н.св.) [полунепрерывным снизу (п.н.сн.)], если для каждого открытого [соответственно, замкнутого] множества V С Y

F-1(V) = {x е X : F(x) С V} открытое [соответственно, замкнутое] подмножество X.

Определение 2. Мультиотображение F : X ^ C (Y) называется непрерывным, если оно полунепрерывно и сверху и снизу.

Пусть (П, Е) измеримое пространство, т. е. Е является а -алгеброй подмножеств П.

Определение 3. Мультиотображение F : П ^ C(Y) называется измеримым, если F-1(V) е Е для каждого открытого множества V С Y .

Всюду в дальнейшем, пусть (П, Е, ß) — локально компактное метрическое пространство с мерой Радона ß и а -алгеброй Е ß -измеримых подмножеств.

Пусть X, Y — сепарабельные метрические пространства.

Определение 4. Мультиотображение Т : П х X ^ С (У) называется случайным и -мульшиошображением [случайным I -мульшиошображением], если:

(г) Т измеримо относительно минимальной о -алгебры, порожденной Е х В(X) , где В(Х) — совокупность борелевских подмножеств X ;

(гг) для любого ш Е П , мультиотображение Т (ш, •) : X ^ С (У) п.н.св. [соответственно, п.н.сн.]

Если мультиотображение Т : П х X ^ С (У) удовлетворяет условию (г) и условию (И)1 для любого ш Е П , мультиотображение Т (ш, •) : X ^ С (У) непрерывно, то оно называется случайным мульшиошображением.

Определение 5. Пусть А С X — замкнутое множество. Измеримое отображение £: П ^ А называется случайной неподвижной точкой мульшиошображения Т: П х А ^ С(X) , если

£(ш) Е Т(ш,£(ш))

для всех ш Е П.

Лемма 1. ([7, Предложение 31.3]). Пусть Т: П х А ^ С(X) — случайное и -мультиотображение такое, чшо для каждого ш Е П множество неподвижных точек

ПхТ(ш, •) = {х Е X : х Е Т(ш, х)} непусто. Тогда Т имеет случайную неподвижную точку.

Прежде чем сформулировать следующее утверждение, приведем еще одно определение. Назовем функцию ф : П х X ^ (-ж, +ж] допустимой, если для любого ш Е П функция ф(ш, •) — собственная, т. е. ее значение конечно, по крайней мере, в одной точке, она ограничена снизу и полунепрерывна снизу.

Следующий результат является прямым следствием многозначной версии теоремы Каристи о неподвижной точке (см. [1], [2], [4]) и Леммы 1.

Теорема 1. Пусть ^^) — полное сепарабельное метрическое пространство и ф : ПхX ^ (-ж, +ж] — допустимая функция. Если Т: ПхX ^ С(X) — случайное и -мультиотображение такое, чшо для любых ш Е П и х Е X существует, / Е Т(ш,х) такое, что

ф(ш,/) + Л(х,/) < ф(ш,x), шо Т имеет случайную неподвижную шочку.

Определение 6. Отображение /: П х X ^ У называется каратеодориев-ским, если: (г) для каждого ш Е П отображение /(ш, •): X ^ У непрерывно; (гг) для каждого х Е X отображение /(-,х): П ^ У измеримо.

Аналогично, Т: П х X ^ К(У) называется каратеодориевским мультиотображени-ем, если: (г) мультиотображение Т (ш, •): X ^ К (У) непрерывно для любого ш е П; (гг) мультиотображение Т 0,х): П ^ К (У) измеримо для каждого х Е X. Отметим следующие свойства каратеодориевских мультиотображений (см. [3, Предложения 7.9 и 7.16]).

Лемма 2. Если Т: П х X ^ К (У) каратеодориевское мультиотображение, то (г) Т измеримо;

(гг) если пространство X полно, то для любого £ > 0 существует замкнутое подмножество П£ С П такое, что ^(П \ П£) < £ и сужение Т |пгХХ непрерывно.

Справедлив следующий параметрический аналог теоремы Майкла о непрерывном сечении (см. [3, Теорема 7.23]).

Лемма 3. Пусть X — полное сепарабельное метрическое пространство; У — се-парабельное банахово пространство; Т: П х X ^ Оу(У) — I -случайное мультиотображение. Тогда Т допускает каратеодориевское сечение, т. е. существует каратеодориевское отображение f: П х X ^ У такое, что

f (ш,х) е Т(ш,х), У(ш,х) е П х X.

2. Основной результат

Теорема 2. Пусть X — сепарабельное банахово пространство; (У, ¿) полное сепарабельное метрическое пространство; ^: П х X ^ К (У) — каратеодориевское мультиотображение и С: П х У ^ Оу^) — случайное I -мультиотображение. Пусть гф: П х У ^ (-го, — допустимая функция такая, что для каждых ш е П и х е X найдется f е ^(ш,х) такое, что для любого у е У, удовлетворяющего

х е С(ш, у),

выполнено

Ф(ш,У) + d(y,f) < ф(ш,у). Тогда существуют измеримые отображения х*: П ^ X и у*: П ^ У такие, что

х*(ш) е С(ш,у*(ш)), у*(ш) е ^(ш,х*(ш))

для всех ш П.

Доказательство. Согласно Лемме 3, найдется каратеодориевское сечение д: П х Y ^ X мультиотображения G :

д(ш,у) е G(w,y), У(ш,у) е П х Y.

Рассмотрим мультиотображение F: П х Y ^ K(Y) , определенное равенством

F{u,y) = F {ш,д{ш,у)).

Покажем, что мультиотображение F удовлетворяет условию Теоремы 1. Во-первых, установим, что F является каратеодориевским мультиотображением. В самом деле, непрерывность мультиотображения •) для любого ш е П вытекает из свойств

непрерывности мультиотображений (см., например, [3], [6], [7]). Далее, применяя Лемму 2 (ii), для данного е > 0 возьмем замкнутое подмножество П£ С П такое, что ^(П \ П£) < е и сужения F и д на П£ х Y являются непрерывными. Но тогда F также непрерывно на П£ х Y и, следовательно, F(^,y) непрерывно на П£ для каждого у е Y. Это означает, что мультиотображения F(^y) удовлетворяют C-свойству Лузина для каждого y е Y и, следовательно (см. [7, Теорема 19.6]), они измеримы.

Согласно Лемме 2 (i) мультиотображение F измеримо, следовательно, это случайное мультиотображение.

Теперь возьмем произвольные ш е П и y е Y. По условию теоремы существует f е 1р(ш,у) = F(ш,д(ш,у)) такое, что

ф(ш,!) + d(y,f) < ф(ш, y).

По Теореме 1, мультиотображение F имеет случайную неподвижную точку у*: П ^ Y, т. е.

У*(ш) е Р(ш,У*(ш)) = F(ш,д(ш,У*(ш))).

Ясно, что отображение д(ш,у*(ш)) измеримо и, следовательно, оно может быть взято в качестве искомого отображения х*(ш). □

Список литературы

[1] J. Caristi, "Fixed point theorems for mappings satisfying inwardness conditions", Trans. Amer. Math. Soc., 215 (1976), 241-251.

[2] Ж.-П. Обен, Нелинейный анализ и его экономические приложения, Мир, М., 1988.

[3] S. Hu, N. S. Papageorgiou, Handbook of multivalued analysis. V. 1: Theory, Kluwer, Dordrecht, 1997.

[4] N. Mizoguchi, W. Takahashi, "Fixed point theorems for multivalued mappings on complete metric spaces", J. Math. Anal. Appl., 141 (1989), 177-188.

[5] A. Petrusel, G. Mot, Multivalued Analysis and Mathematical Economics, House of the Book of Science, Cluj-Napoca, 2004.

[6] Ю. Г. Борисович, Б. Д. Гельман, А. Д. Мышкис, В. В. Обуховский, Введение в теорию многозначных отображений и дифференциальных включений, 2-е изд., ЛИБРОКОМ, М., 2011.

[7] L. Gorniewicz, Topological Fixed Point Theory and Its Applications, V. 4: Topological Fixed Point Theory of Multivalued Mappings, 2-nd ed., Springer, Dordrecht, 2006.

References

[1] J. Caristi, "Fixed point theorems for mappings satisfying inwardness conditions", Trans. Amer. Math. Soc., 215 (1976), 241-251.

[2] J.-P. Aubin, Optima and Equilibria. An Introduction to Nonlinear Analysis, Springer-Verlag, Berlin, 1993.

[3] S. Hu, N. S. Papageorgiou, Handbook of Multivalued Analysis. V. 1: Theory, Kluwer, Dordrecht, 1997.

[4] N. Mizoguchi, W. Takahashi, "Fixed point theorems for multivalued mappings on complete metric spaces", J. Math. Anal. Appl., 141 (1989), 177-188.

[5] A. Petrusel, G. Mot, Multivalued Analysis and Mathematical Economics, House of the Book of Science, Cluj-Napoca, 2004.

[6] Yu. G. Borisovich, B.D. Gelman, A.D. Myshkis and V. V. Obukhovskii, Introduction to the Theory of Multivalued Maps and Differential Inclusions, Librokom, Moscow, 2011 (In Russian).

[7] L. Gorniewicz, Topological Fixed Point Theory and Its Applications, V. 4: Topological Fixed Point Theory of Multivalued Mappings, Springer, Dordrecht, 2006.

Информация об авторах

Обуховский Валерий Владимирович,

доктор физико-математических наук, профессор, заведующий кафедрой высшей математики. Воронежский государственный педагогический университет, г. Воронеж, Российская Федерация. E-mail: valerio-ob2000@mail.ru ORCID: https://orcid.org/0000-0002-4201-0739

Гетманова Екатерина Николаевна, аспирант, кафедра высшей математики. Воронежский государственный педагогический университет, г. Воронеж, Российская Федерация. E-mail: ekaterina_getmanova@bk.ru ORCID: https://orcid.org/0000-0003-3667-7569

Карпов Михаил Георгиевич, кандидат физико-математических наук, доцент кафедры высшей математики. Воронежский государственный педагогический университет, г. Воронеж, Российская Федерация. E-mail: karpovmg57@yandex.ru

ORCID: https://orcid.org/0000-0002-2739-5706

Information about the authors

Valeri V. Obukhovskii, Doctor of Physics and Mathematics, Professor, Head of the Higher Mathematics Department. Voronezh State Pedagogical University, Voronezh, the Russian Federation. E-mail: valerio-ob2000@mail.ru ORCID: https://orcid.org/0000-0002-4201-0739

Ekaterina N. Getmanova, Post-Graduate Student, Higher Mathematics Department. Voronezh State Pedagogical University, Voronezh, the Russian Federation. E-mail: ekaterina_getmanova@bk.ru ORCID: https://orcid.org/0000-0003-3667-7569

Michael G. Karpov, Candidate of Physics and Mathematics, Associate Professor of the Higher Mathematics Department. Voronezh State Pedagogical University, Voronezh, the Russian Federation. E-mail: karpovmg57@yandex.ru ORCID: https://orcid.org/0000-0002-2739-5706

Конфликт интересов отсутствует. Для контактов:

Обуховский Валерий Владимирович E-mail: valerio-ob2000@mail.ru

There is no conflict of interests.

Corresponding author:

Valeri V. Obukhovskii E-mail: valerio-ob2000@mail.ru

Поступила в редакцию 16.01.2019 г. Received 16 January 2019

Поступила после рецензирования 27.02.2019 г. Reviewed 27 February 2019 Принята к публикации 28.03.2019 г. Accepted for press 28 March 2019