УДК 517.1 Вестник СПбГУ. Математика. Механика. Астрономия. 2024. Т. 11 (69). Вып. 1
МБС 47Н10, 54Н25
Замечания и обобщение
теоремы Хегедюша — Силагьи о неподвижной точке
Ю. Туаль1, Д. Аль-Мутавакиль2
1 Университет Сиди Моаме Бен Абдаллах, Марокко, 30050, Фес
2 Университет Шуайба Дуккали, Марокко, Эль-Джадида
Для цитирования: Туаль Ю., Аль-Мутавакиль Д. Замечания и обобщение теоремы Хегедюша— Силагьи о неподвижной точке // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2024. Т. 11 (69). Вып. 1. С. 152-160. https://doi.org/10.21638/spbu01.2024.110
Получено новое обобщение так называемой теоремы Хегедюша — Силагьи (Hegedus — о неподвижной точке путем введения нового сжимающего условия в рамках полных метрических пространств. В качестве приложения доказана новая теорема о неподвижной точке, обобщающая и улучшающая многие известные в литературе результаты.
Ключевые слова: теорема Хегедюша — Силагьи о неподвижной точке, полные метрические пространства, новый вид сжимающих условий, сжатие Меира — Килера, орбита.
1. Введение. Знаменитый принцип сжатия Банаха ( BCP: ¿(Тх, Ту) ^ кС(х, у), к € [0,1)) является одним из наиболее полезных результатов нелинейного анализа. На протяжении многих лет многие авторы успешно пытались обобщить эту великую теорему. Как обобщение BCP, в 1962 г. Эдельштейн [1] доказал существование фиксированной точки для сжимающих отображений (¿(Тх, Ту) < ¿(х, у), где х = у) в предположении компактности пространства. В том же направлении и с использованием некоторых вспомогательных функций в 1980 г. Хегедюш и Силагьи [2] доказали следующий результат о неподвижной точке.
Теорема 1. Пусть (Х,С) — полное метрическое пространство, и пусть Т — такое отображение на X, что Вт(х) = зир{С(п^) : п,у € {х,Тх,Т2х,...}} < ж для всех х € X. Предположим, что существует функция ф из [0, ж), удовлетворяющая следующим условиям:
(г) ф(£) < £ выполняется для всех £ € (0, ж); (гг) ф полунепрерывна сверху; (ггг) для любых х,у € X
¿(Тх, Ту) < ф о Вт(х, у),
где Вт(х, у) = вир{С(п, V) : п,у € {х, Тх, Т2х, ...,у, Ту, Т2у,...}}.
Тогда Т имеет единственную неподвижную точку г. Более того, {Тпх} сходится к г для любого х € X.
Из-за важности сжимающих отображений и их приложений во многих работах рассматривались такого рода отображения. В этом направлении авторы в [3]
© Санкт-Петербургский государственный университет, 2024
доказали существование некоторой теоремы о неподвижной точке для класса сжимающих отображений без использования компактности метрического пространства. Этот принцип распространен на случай многозначных отображений с помощью ха-усдорфова расстояния Н, порожденного расстоянием й (см. [4]). Другое обобщение сделано для случая обобщенных ортогональных множеств. Идея здесь заключалась в том, чтобы предположить сжатие только для класса элементов, называемых общими ортогональными элементами (более подробно см. [5-7]). В статье [8] рассматривается обобщение результатов, обсуждаемых в [3], с использованием известной теоремы Райха о неподвижной точке в контексте общих топологических пространств с т-расстоянием р, упомянутым в [9]. Помимо этих работ, авторы в [10, 11] распространили эту идею на пару отображений и доказали существование общей неподвижной точки. Этот подход использовался для обеспечения существования решения системы дифференциальных уравнений. Можно добавить, что в [12] авторы доказали, что упомянутые результаты можно обобщить на случай нерасширяющих отображений (см. [13, 14]). Отметим, что доказанные теоремы в [12] сделаны без использования компактности пространства и равномерной выпуклости (см. [15]).
Совсем недавно Судзуки [16] обобщил теорему 1 для нового типа сжатия следующим образом.
Теорема 2. Пусть (X, й) — полное метрическое пространство, и пусть Т — такое отображение на X, что Бт (х) < то для всех х € X. Предположим, что существует функция ф из [0, то) такая, что:
(г) ф(£) < £ выполняется для всех £ € (0, то);
(гг) для любого е > 0 существует 6 > 0 такое, что для любого £ € (0, то)
(ггг) й(Тх, Ту) ^ ф о Бт(х, у) выполняется для всех х,у € X.
Тогда Т имеет единственную неподвижную точку г. Более того, {Тпх} сходится к г для любого х € X.
Вышеприведенное сжатие называется сжатием нового типа (НТ). В [16] показано, что сжатия НТ и Меира —Килера (М —К) [17] независимы.
С другой стороны, несмотря на то что тах{Бт(х), Бт(у)} ^ От(х,у) для всех х,у € X, условие т'лх{ф(От(х)), ф(Бт(у))} ^ ф(Бт(х, у)), вообще говоря, не выполняется, так как монотонность функции ф произвольна.
Мотивируясь этим фактом, мы вводим новое следующее сжатие:
для всех х,у € X. Это сжатие более общее, чем с условиями (ш) теоремы 2. Ниже мы доказываем новую теорему о неподвижной точке.
2. Основные результаты. В этом разделе мы начнем со следующих примеров, подтверждающих мотивацию этой статьи.
Пример. Пусть X = [0, 2] снабжен метрикой, определяемой следующим образом:
е <1 < е + 6 влечет ф(£) ^ е;
й(Тх, Ту) < тах{ф(Бт(х)), ф(Бт(х, у)), ф(Бт(у))},
(1)
если х = у, если х = у.
(2)
Определим Т как отображение на X с помощью
Тх={Ъ 6СЛИ Я€[1'2]'
0 в противном случае.
Пусть ф — функция из [0, ж), определяемая равенством
| —, если t € [1, 21, ¥>(*) = { Я' 1 Ь
0 в противном случае.
Ясно, что ф удовлетворяет условию (1) теоремы 2. Теперь для выполнения условия (гг) пусть е > 0, так что имеем два следующих случая.
Случай 1. Если 0 < е < 1, то существует 5 = ^^ такое, что для любого г € (0, ж)
е <г < е + 6 влечет ф(г) =0 ^ е. Случай 2. Если е ^ 1, то существует 6 = е такое, что для любого г € (0, ж)
£ < £ < е + 3 влечет = ^ < < е. Более того, Т удовлетворяет (1). Действительно, пусть х,у € X, тогда мы имеем ¿(Тх, Ту) < тах = тах{^ о Вт(х),<ро Вт(х, у), <р о Вт(у)}.
С другой стороны, заметим, что 0 является единственной неподвижной точкой Т на X, но Т не удовлетворяет условию (ггг) теоремы 2. Действительно, пусть х,у € X, и без ограничения общности считаем, что х < у. Если х,у € [1, 2], то получаем
¿(Тх, Ту) = > -!- = ¡р о Вт(х, у).
Пример. Пусть X = [0, 2]. Определим расстояние С от X XX до [0, ж) с помощью (2). Определим отображение Т на X следующим образом:
^ |е-х, если х € [1,2], Тх = <
0 в противном случае. Пусть ф — функция из [0, ж), определяется равенством
{с-1, если г € [1, 2],
ф(г) = \с ,
0 в противном случае.
Очевидно, что ф удовлетворяет условию (г) теоремы 2. Теперь для выполнения условия (гг) пусть е > 0, так что имеются два следующих случая.
Случай 3. Если 0 < е < 1, то существует 3 = ^^ такое, что для любого г € (0, ж)
е <г < е + 6 влечет ф(г) =0 ^ е.
Случай 4. Если е ^ 1, то существует 5 = е такое, что для любого t G (0, ж)
е < t < е + 5 влечет ф(t) = e-t < e-E ^ е. Более того, T удовлетворяет (1). Действительно, пусть x,y G X, тогда мы имеем
d(Tx, Ty) ^ max |e-x, e-y | = тах{ф о DT(x), ф о DT(x, y), ф о DT(y)},
и 0 — единственная неподвижная точка T на X, но T не удовлетворяет условию (iii) теоремы 2. Действительно, пусть x,y G X. Без ограничения общности считаем, что x < y. Если x,y G [1, 2], то
d(Tx, Ty) = e-x >e-y = ф о DT(x, y).
Замечание 1. Из приведенных выше примеров видно, что T имеет единственную неподвижную точку, но условие (iii) теоремы 2 не выполняется. С другой стороны, мы видим, что T удовлетворяет (1), что обобщает и улучшает теорему 2.
Теперь сформулируем наш основной результат.
Теорема 3. Пусть (X, d) — полное метрическое пространство и пусть T — такое отображение на X, что DT (x) < ж для всех x G X. Предположим, что существует функция ф из [0, ж), удовлетворяющая следующим условиям:
(i) ф(t) < t выполняется для всех t G (0, ж);
(ii) для любого е > 0 существует 5 > 0 такое, что для любого t G (0, ж)
е <t < е + 5 влечет ф(t) ^ е;
(iii) d(Tx, Ty) ^ тах{ф о DT(x), ф о DT(x, y), ф о DT(y)} выполняется для всех x, y G X.
Тогда T имеет единственную неподвижную точку z. Более того, {Tnx} сходится к z для любого x G X.
Доказательство. Доказательство разделено на три основных этапа.
Шаг 1. Докажем, что lim DT (Tnx) = 0 для всех x G X. Пусть x G X, так как
п^ж
{Tnx,Tn+1x, ...}D {Tn+1x,Tn+2x,...}, для всех n G N, тогда {DT(Tnx)} убывает. Следовательно, {Dt(Tnx)} сходится к некоторому е ^ 0. Предположим, что е > 0. Имеются следующие два случая:
• е < DT(Tnx) для любого n G N;
• е = DT(Tnx) для некоторого n G N. В первом случае мы выбираем 5 G (0, ж) так, чтобы
е <t < е + 5 влечет ф(t) ^ е.
Мы выбираем no G N так, чтобы
DT(Tnox) < е + 5.
Пусть m ^ no и n ^ no, поэтому
е < Dt(Tmax{m,n}x) < Dt(Tmx,Tnx) < Dt(Tmin{mn}x) <
DT(Tn0x) < е + 5 Вып. 1 155
и
й(Тт+1х, Тп+1х) < тах{ф о Бт(Ттх), ф о Бт(Ттх, Тпх), ф о Бт(Тпх)} < е,
откуда следует е < От(Тп°+1 х) ^ е, что приводит к противоречию. Во втором случае мы выбираем по € N так, чтобы
е = От (Тп0 х).
Пусть т ^ по и п ^ по, поэтому
е < От(Ттах{тМх) < От(Ттх, Тпх) < От(Т^^Мх) < От(Тп0х) = е
d(Tm+1x, Tn+1x) < тах{ф о DT(Tmx), ф о DT(Tmx, Tnx), ф о DT(Tnx)} < ф(е) < е,
откуда следует е ^ Dt(Tn°+1x) < е, что является противоречием. Следовательно, справедливо lim DT(Tnx) = 0.
Шаг 2. Покажем, что lim DT(Tnx, Tny) = 0 для всех x,y G X.
Пусть x,y G X, так как
{Tnx, T n+1x,..., Tny, T n+1y, ...}D {Tn+1, Tn+2x,..., Tn+1y, T n+2y,...}
для n G N,to {Dt(Tnx)} убывает. Следовательно, {Dt(Tnx)} сходится к некоторому е ^ 0. Предположим, что е > 0. У нас есть следующие два случаи:
• е < DT(Tnx,Tny) для любого n G N;
• е = DT(Tnx, Tny) для некоторого n G N.
В первом случае мы выбираем 5 G (0, ж) так, чтобы
е <t < е + 5 влечет ф(t) ^ е.
Мы выбираем no G N так, чтобы
DT (Tno x,Tno y) < е + 5.
Без ограничения общности, согласно шагу 1, можно считать
Dt(Tn0x) < е и Dt(Tn0y) < е.
Пусть m ^ no и n ^ no, поэтому
е < Dt(Tmaxim,n}x, Tmax{m,n}y) ^ Dt(Tmx,Tny) < < Dt(Tmin{mn}x, Tminimn}y) ^ DT(Tn0x, Tn0y) <е + 5
и
d(Tm+1x, Tn+1y) < max^ о Dt(Tmx), ф о Dt(Tmx, Tnx), ф о Dt(Tny)} < < max{DT(Tmx), ф о Dt(Tmx, Tny), Dt(Tny)} < е,
откуда следует, что е < Dt(Tn0+1x,Tn0+1y) ^ е, это приводит к противоречию. 156
и
Во втором случае мы выбираем no € N так, чтобы
е = Dt(Tnox, Tnoy).
Пусть m ^ no и n ^ no, поэтому
е < Dt (T maxim,n} x, T max{m,n}y) ^ Dt (T mx,Tny) < < Dt(Tminim'n}x, Tmin{m,n}y) ^ Dt(Tn0x,Tn0y) = е.
Без ограничения общности, согласно шагу 1, можно считать
Dt(Tn0x) < р(е) и Dt(Tn0y) < р(е).
Далее,
d(Tm+1x, Tn+ly) < max{p о Dt(Tmx), p о Dt(Tmx, Tnx), p о Dt(Tny)} <
< max{DT(Tmx), p о Dt(Tmx, Tny), Dt(Tny)} < р(е) < е,
откуда следует, что е ^ Dt(Tn°+1x,Tn°+1y) < е, это приводит к противоречию. Следовательно, имеем lim DT(Tnx,Tny) = 0.
Шаг 3. На этом шаге мы доказываем существование и единственность неподвижной точки.
Пусть x € X. Из шага 1 получаем, что {Dt(Tnx)} сходится к 0. Значит, {Tnx} — последовательность Коши в X. Поскольку X полно, существует z € X такое, что {Tnx} сходится к z. Опять из шага 2 имеем lim DT(Tnx,Tnz) = 0. Тогда {Tnz} сходится к z.
Теперь мы хотим показать, что Dt(z) = 0. Рассуждая от противного, считаем е := DT(z) > 0. Поскольку lim DT(Tnx) = 0, то существует n0 € N такое, что
п^ж
е = DT(z) = ■■■ DT(Tn0-1z) = DT(Tn0z) > DT(Tn0+1z), следовательно,
е = DT(Tn0z) = sup{d(Tnoz, Tnz) : n>n0}. При n > no получаем
d(Tn0z, Tnz) < max{p о DT(Tn0-1z), p о DT(Tn0-1z, Tn-1z), p о DT(Tn-1z)}.
Мы рассматриваем следующие два случая:
• если n — 1 = no, то имеем
p о DT(Tn-1z) = p о DT(Tn0z) = р(е);
• если n — 1 > no, то имеем
p о Dt(Tn-1z) < Dt(Tn-1z) < Dt(Tn°+1 z) < е.
Далее,
d(Tn0z, Tnz) < max {p о DT(Tn0-1z), p о DT(Tn0-1)z), max{p^), DT(Tn0+1z)}} < < max^^DT(Tn0+1z)}.
Поскольку n произвольно, получаем
е = sup{d(Tn0z, Tnz) : n>no} < max^), DT(Tn0+1z)} < е.
Это приводит к противоречию. Следовательно, Dt(z) = 0, тогда z — неподвижная точка T в X. Единственность неподвижной точки сразу следует из того, что lim DT(Tnx,Tnz) = 0. □
Следствие 1 (теорема 1.2 в [18]). Пусть (X,d) — полное метрическое пространство, а T — отображение на X. Предположим, что существует функция ф из [0, ж), удовлетворяющая следующим условиям:
(i) ф не убывает;
(ii) limn фn(t) = 0 выполняется для всех t G (0, ж) таких, что фп = фо ф...о ф n раз;
(iii) d(Tx, Ty) ^ ф о d(x, y) выполняется для всех x,y G X.
Тогда T имеет единственную неподвижную точку z. Более того, {Tnx} сходится к z для любого x G X.
Следствие 2 (теорема 5 в [16]). Пусть (X,d) — полное метрическое пространство и пусть T — отображение в себя на X такое, что DT (x) < ж для всех x G X. Предположим, что существует функция ф из [0, ж), удовлетворяющая следующим условиям:
(i) ф(t) < t выполняется для всех t G (0, ж);
(ii) для любого е > 0 существует 5 > 0 такое, что для любого t G (0, ж)
е <t < е + 5 влечет ф(t) ^ е;
(iii) d(Tx, Ty) ^ ф о DT(x, y) выполняется для всех x,y G X.
Тогда T имеет единственную неподвижную точку z. Более того, {Tnx} сходится к z для любого x G X.
Следующий пример показывает, что теорема 3 улучшает теорему 2.
Пример. Пусть X = [0,^] имеет метрику, определенную следующим образом:
d(x y) = ¡max{x,y}, если x = y, (3)
0, если x = y.
n
12,7Г.
Определим отображение T на X с помощью
{sin x, если x € 0 в противном случае.
Пусть ф — функция из [0, ж), определяемая равенством
" п
, ч sin t, если t G
¥>(*) = i
[0 в противном случае.
L 2'7Г.
Легко видеть, что ф удовлетворяет условию (1) теоремы 3. Теперь для выполнения условия (11) пусть е > 0 и существуют два случая.
Случай 5. Если 0 < е < то существует 6 = j — | такое, что для любого t € (0, ж)
е <t < е + S влечет p(t) = 0 ^ е.
Случай 6. Если е ^ j, то существует 5 = е такое, что для любого t G (0, оо)
• если t ф Щ,7г], то <p(t) = 0 < е;
• если t G Щ, 7г], то
е <t < е + S влечет p(t) = sin(t) < sin(е) ^ е.
Кроме того, T удовлетворяет условиям (iii) теоремы 3 и следствию 3. Действительно, пусть x, y € X, тогда мы имеем
d(Tx, Ty) ^ max | sin x, sin y | = max{p o DT(x), p o DT(y)} =
= max{p o Dt(x), p o Dt(x, y), p o Dt(y)},
0 — единственная неподвижная точка T на X, но T не удовлетворяет условию (iii) теоремы 2. Действительно, пусть x,y G X. Без ограничения общности считаем, что х < у. Если ж, у G 7г], то получаем
d(Tx, Ty) = sin x > sin y = p o DT(x, y).
Как следствие нашего основного результата, имеем следующий новый результат с новым сжатием.
Следствие 3. Пусть (X, d) — полное метрическое пространство и пусть T — отображение на X такое, что DT (x) < ж для всех x G X. Предположим, что существует функция p из [0, ж) такая, что:
(i) p(t) < t выполняется для всех t G (0, ж);
(ii) для любого е > 0 существует ó > 0 такое, что для любого t G (0, ж)
£ < t < £ + ó влечет p(t) ^ е;
(iii) для любых x,y G X справедливо
d(Tx, Ty) < max{p o DT(x), p o DT(y)}.
Тогда T имеет единственную неподвижную точку z. Более того, {Tnx} сходится к z для любого x G X.
^HTepaTypa/References
1. Edelstein M. On fixed and periodic points under contractive mappings. J. London Math. Soc. 37, 74-79 (1962).
2. Hegedüs M., Szilâgyi T., Equivalent conditions and a new fixed point theorem in the theory of contractive type mappings. Math. Jpn. 25, 147-157 (1980).
3. Touail Y., El Moutawakil D. Bennani S. Fixed Point theorems for contractive selfmappings of a bounded metric space. Journal of Function Spaces 2019, Article ID 4175807, 3 (2019).
4. Touail Y., El Moutawakil D. Fixed point results for new type of multivalued mappings in bounded metric spaces with an application. Ricerche mat (2020).
5. Touail Y., El Moutawakil D. Fixed point theorems on orthogonal complete metric spaces with an application. Int. J. Nonl. Anal. Appl. 1801-1809 (2021).
6. Touail Y., El Moutawakil D. —.^-contractions and some fixed point results on generalized orthogonal sets. Rend.. Circ. Mat. Palermo, II. Ser 70 1459-1472 (2021).
7. Touail Y. On multivalued —фр-contractions on genralized orthogonal sets with an applicatiton in integral inclusions. Probl. Anal. Issues Anal. 11, 29 (3), 109-124 (2022).
8. Touail Y., Moutawakil D. El. Fixed point theorems for new contractions with application in dynamic programming. Vestnik St Petersburg University. Mathematics 54, 206-212 (2021).
9. Aamri M., El Moutawakil D. r-distance in general topological spaces with application to fixed point theory. Southwest Journal of Pure and Applied Mathematics 2, December, 1-5 (2003).
10. Touail Y., El Moutawakil D. New common fixed point theorems for contractive self mappings and an application to nonlinear differential equations, Int. J. Nonlinear Anal. Appl, 903-911 (2021).
11. Touail Y., El Moutawakil D., Some new common fixed point theorems for contractive selfmap-pings with applications. Asian. Eur. J. Math. 15 (4) 2250080 (2022).
12. Touail Y., Jaid A., El Moutawakil D. New contribution in fixed point theory via an auxiliary function with an application. Ricerche mat (2021).
13. Browder F. E. Nonexpansive nonlinear operators in a Banach space. Proc. Nat. Acad. Sei. 54 (1965).
14. Gohde D. Zum prinzip der kontraktiven Abbildung. Math. Nachr 30, 251-258 (1965).
15. Clarkson J. A. Uniformly convex spaces. Trans. Amer. Math. Soc. 40, 396-414 (1936).
16. Suzuki T. A generalization of Hegedüs — Szilágyi's fixed point theorem in complete metric spaces. Fixed Point Theory Appl. 20 1 8, 1 (2018).
17. Meir A., Keeler E. A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326-329 (1969).
18. Matkowski J. Integrable Solutions of Functional Equations. Diss. Math. 127. Institute of Mathematics Polish Academy of Sciences, Warsaw (1975).
Статья поступила в редакцию 26 января 2023 г.;
доработана 15 августа 2023 г.; рекомендована к печати 31 августа 2023 г.
Контактная информация:
Туаль Юсеф — аспирант; youssef9touail@gmail.com
Аль-Мутавакиль Дрисс — проф.; d.elmoutawakil@gmail.com
Remarks and a generalization of Hedudüs — Szilágyi's fixed point theorem
Y. Touail1, D. El Moutawakil2
1 Department of Mathematics, Faculty of Sciences Dhar El Mahraz, University Sidi Mohamed Ben Abdellah, Fez, 30050, Morocco
2 Universite Chouaib Doukkali, Morocco, El Jadida
For citation: Touail Y., El Moutawakil D. Remarks and a generalization of Hedudüs — Szilágyi's fixed point theorem. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2024, vol. 11(69), issue 1, pp. 152-160. https://doi.org/10.21638/spbu01.2024.110 (In Russian)
A new generalization of the so-called Hedudus — Szilagyi's fixed point theorem by introducing a new contractive condition in the framework of complete metric spaces. As application, we get a new fixed point theorem which generalizes and improves many known results in literature.
Keywords: Hedudus — Szilágyi's fixed point theorem, complete metric spaces, new type contractive condition, Meir — Keeler contraction, orbit.
Received: January 26, 2023 Revised: August 15, 2023 Accepted: August 31, 2023
Authors' information:
Youssef Touail — youssef9touail@gmail.com
Driss El Moutawakil — d.elmoutawakil@gmail.com