Abstract
In this manuscript we introduce the notions of R-function and R-contractions, and we show an ad hoc fixed point theorem. We prove that this new kind of contractions properly includes the family of all Meir-Keeler contractions and other well-known classes of contractions that have been given very recently (for instance, those using simulation functions and manageable functions). As a consequence, our approach turns out to be appropriate to unify the treatment of different kinds of contractive nonlinear operators.
Similar content being viewed by others
1 Introduction
Fixed point theory is a branch of nonlinear analysis that can be applied successfully to a wide range of contexts in social and natural sciences. Although some results had been introduced before, it is usually considered that this field of study was born in 1922, when Banach presented a celebrated theorem in order to guarantee that a nonlinear operator had a fixed point. After the appearance of the Banach contractive mapping principle, lots of generalizations, in many different frameworks, have been done. In many cases, new results that currently are being obtained involve contractivity conditions that depend on auxiliary functions (comparison functions, Geraghty functions, altering distance functions, Bianchini-Grandolfi gauge functions, etc.).
One of the extensions that have attracted much attention over the last years was due to Meir and Keeler (see [1]) who introduced in 1969 a family of contractive mappings in a new sense. Although their original notion did not depend on auxiliary functions, Lim [2] proved that a self-mapping was a Meir-Keeler contraction if, and only if, it satisfied a contractivity condition in a classical sense depending on a new class of functions (that he called L-functions). After that, several extensions of Meir-Keeler contractions have appeared (see, for instance, [3–11]).
Very recently, Khojasteh et al. (see [12]) introduced the notion of simulation function, which was later modified by Roldán-López-de-Hierro et al. in a subtle way (see [13]). The main difference with respect to previous approaches was that simulation functions depend on two variables rather than on a unique variable. And, in order to extend some results in the field of multi-valued maps, Du and Khojasteh presented the very close (but independent) notion of manageable function (see [14]). Surprisingly, contractions that use simulation functions turned out to be Meir-Keeler contractions (see [15]).
This fact points up the difficulty in finding true extensions of Meir-Keeler contractions when we use a simple contractivity condition only involving classical terms as \(d(x,y)\) and \(d(Tx,Ty)\), where d is the distance and \(T:X\rightarrow X\) is the nonlinear operator.
The main aim of the present manuscript is to give a set of auxiliary functions that let us consider a true extension of Meir-Keeler contractions. To do that, we present the notion of R-contraction, which permits us to introduce such a large family of contractions that includes not only Meir-Keeler contractions, but Geraghty contractions, contractions depending on simulations functions and manageable functions, etc. We illustrate such kind of contractions with an example in which previous results are not applicable.
2 Preliminaries
In the sequel, \(\mathbb{N}=\{0,1,2,3,\ldots\}\) stands for the set of all nonnegative integers. Throughout this manuscript, let \(A\subseteq\mathbb{R}\) be a nonempty subset of real numbers, let \(( X,d ) \) be a metric space and let \(T:X\rightarrow X\) be a mapping from X into itself. We denote the range of d by
We say that a sequence \(\{x_{n}\}\subseteq X\) is asymptotically regular on \(( X,d ) \) if \(\{d ( x_{n},x_{n+1} ) \} \rightarrow 0\).
A fixed point of T is a point \(x\in X\) such that \(Tx=x\). The iterates of the self-mapping T are the mappings \(\{ T^{n}:X\rightarrow X\}_{n\in\mathbb{N}}\) defined by
Given a point \(x_{0}\in X\), the Picard sequence of T based on \(x_{0}\) is the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) given by \(x_{n+1}=Tx_{n}\) for all \(n\in\mathbb{N}\). Notice that \(x_{n}=T^{n}x_{0}\) for all \(n\in\mathbb{N}\).
Following [16, 17], we say that T is a weakly Picard operator if, for all \(x_{0}\in X\), the Picard sequence of T based on \(x_{0}\) converges to a fixed point of T. Furthermore, T is a Picard operator if it is a weakly Picard operator and it has a unique fixed point. In such a case, if \(z_{0}\) is the unique fixed point of T, then \(\{T^{n}x_{0}\}\rightarrow z_{0}\) for all \(x_{0}\in X\).
A function \(\phi: [ 0,\infty ) \longrightarrow [ 0,\infty ) \) is lower semi-continuous if
A Geraghty function is a function \(\phi: [ 0,\infty ) \rightarrow [ 0,1 ) \) such that if \(\{t_{n}\}\subset [ 0,\infty ) \) and \(\{\phi(t_{n})\}\rightarrow1\), then \(\{t_{n}\}\rightarrow0\). A Geraghty contraction (see [18]) is a mapping \(T:X\rightarrow X\) such that
where ϕ is a Geraghty function.
2.1 Simulation functions and manageable functions
The notion of simulation function was introduced by Khojasteh et al. in [12] as follows.
Definition 1
(Khojasteh et al. [12])
A simulation function is a mapping \(\zeta:[0,\infty)\times [0,\infty)\rightarrow\mathbb{R}\) satisfying the following conditions:
- (\(\zeta_{1}\)):
-
\(\zeta(0,0)=0\);
- (\(\zeta_{2}\)):
-
\(\zeta(t,s)< s-t\) for all \(t,s>0\);
- (\(\zeta_{3}\)):
-
if \(\{t_{n}\}\), \(\{s_{n}\}\) are sequences in \((0,\infty)\) such that \(\lim_{n\rightarrow\infty}t_{n}=\lim_{n\rightarrow \infty}s_{n}>0\), then
$$\limsup_{n\rightarrow\infty}\zeta(t_{n},s_{n})< 0. $$
The third condition is symmetric in both arguments of ζ but, in proofs, this property is not necessary. In fact, in practise, the arguments of ζ have different meanings and they play different roles. Then, Roldán-López-de-Hierro et al. slightly modified the previous definition in order to highlight this difference and to enlarge the family of all simulation functions.
Definition 2
(Roldán-López-de-Hierro et al. [13])
A simulation function is a mapping \(\zeta :[0,\infty)\times[0,\infty)\rightarrow\mathbb{R}\) satisfying the following conditions:
- (\(\zeta_{1}\)):
-
\(\zeta(0,0)=0\);
- (\(\zeta_{2}\)):
-
\(\zeta(t,s)< s-t\) for all \(t,s>0\);
- (\(\zeta_{3}\)):
-
if \(\{t_{n}\}\), \(\{s_{n}\}\) are sequences in \((0,\infty)\) such that \(\lim_{n\rightarrow\infty}t_{n}=\lim_{n\rightarrow \infty}s_{n}>0\) and \(t_{n}< s_{n}\) for all \(n\in\mathbb{N}\), then
$$\limsup_{n\rightarrow\infty}\zeta(t_{n},s_{n})< 0. $$
Let \(\mathcal{Z}\) be the family of all simulation functions \(\zeta :[0,\infty)\times{}[0,\infty)\rightarrow\mathbb{R}\).
Every simulation function in the original Khojasteh et al.’s sense (Definition 1) is also a simulation function in our sense (Definition 2), but the converse is not true (see [13]).
Definition 3
(Khojasteh et al. [12], Roldán-López-de-Hierro et al. [13])
Let \((X,d)\) be a metric space and let \(T:X\rightarrow X\) be a self-mapping. We say that T is a \(\mathcal{Z}\) -contraction if there exists \(\zeta\in\mathcal{Z}\) such that
In 2014, Du and Khojasteh [14] introduced the concept of manageable functions. They showed that many known results can be deduced of some local constraints related to manageable functions.
Definition 4
(Du and Khojasteh [14])
A function \(\eta:\mathbb{R}\times \mathbb{R}\rightarrow\mathbb{R}\) is called manageable if the following conditions hold:
- (\(\eta_{1}\)):
-
\(\eta(t,s)< s-t\) for all \(s,t>0\).
- (\(\eta_{2}\)):
-
For any bounded sequence \(\{t_{n}\}\subset(0,\infty)\) and any nonincreasing sequence \(\{s_{n}\}\subset (0,\infty)\), it holds
$$\limsup_{n\rightarrow\infty}\frac{t_{n}+\eta(t_{n},s_{n})}{s_{n}}< 1. $$We denote the set of all manageable functions by \(\widehat{\operatorname{Man}(\mathsf{R})}\).
Several examples of simulation functions and manageable functions can be found on [12–14].
Example 5
If \(k\in(0,1)\), then the function \(\eta:\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}\) given by \(\eta(t,s)=k s-t\) for all \(t,s\in\mathbb{R}\), is a manageable function, and its restriction to \([0,\infty)\times{}[0,\infty)\) is a simulation function.
The notion of manageable function was introduced in order to study multi-valued contractions. Next, we particularize such a notion to single-valued mappings.
Definition 6
(Khojasteh et al. [12])
Let \((X,d)\) be a metric space and let \(T:X\rightarrow X\) be a self-mapping. We say that T is a \(\widehat{\operatorname{Man}(\mathsf{R})}\) -contraction if there exists \(\eta \in\widehat{\operatorname{Man}(\mathsf{R})}\) such that \(\eta ( d ( Tx,T^{2}x ) ,d ( x,Tx ) ) \geq0\) for all \(x\in X\).
2.2 Meir-Keeler contractions
Meir and Keeler generalized the Banach theorem in the following way.
Definition 7
(Meir and Keeler [1])
A Meir-Keeler contraction is a mapping \(T:X\rightarrow X\) from a metric space \((X,d)\) into itself such that for all \(\varepsilon>0\), there exists \(\delta>0\) verifying that if \(x,y\in X\) and \(\varepsilon \leq d(x,y)<\varepsilon+\delta\), then \(d(Tx,Ty)<\varepsilon\).
Meir-Keeler contractions have attracted much attention in the last years (see, for instance, [3–11]). Lim characterized this kind of mappings in terms of a contractivity condition using the following class of auxiliary functions.
Definition 8
(Lim [2])
A function \(\phi: [ 0,\infty ) \rightarrow [0,\infty ) \) will be called an L-function if
-
(a)
\(\phi(0)=0\),
-
(b)
\(\phi(t)>0\) for all \(t>0\), and
-
(c)
for all \(\varepsilon>0\), there exists \(\delta>0\) such that \(\phi(t)\leq\varepsilon\) for all \(t\in [ \varepsilon,\varepsilon+\delta]\).
Theorem 9
(Lim [2], Theorem 1)
Let \((X,d)\) be a metric space and let \(T:X\rightarrow X\) be a self-mapping. Then T is a Meir-Keeler mapping if, and only if, there exists an (nondecreasing, right-continuous) L-map ϕ such that
Using a result of Chu and Diaz [19], Meir and Keeler [1] proved that every Meir-Keeler contraction from a complete metric space into itself has a unique fixed point.
For our purposes, we highlight the following properties of L-functions and Meir-Keeler contractions.
Lemma 10
Every L-function ϕ satisfies the following properties:
-
(1)
\(\phi(t)\leq t\) for all \(t\in [ 0,\infty ) \).
-
(2)
For all \(\varepsilon>0\), there exists \(\delta>0\) such that \(\phi(t)\leq\varepsilon\) for all \(t\in [ 0,\varepsilon+\delta ] \).
Proof
(1) If \(t=0\), then \(\phi(0)=0\). And if \(t>0\), using \(\varepsilon=t>0\), we deduce, from (c), that \(\phi(t)=\phi(\varepsilon)\leq\varepsilon=t\).
(2) Let \(\varepsilon>0\) be arbitrary and let \(\delta>0\) be given by (c). Then, for all \(t\in [ 0,\varepsilon ) \), we have that \(\phi(t)\leq t<\varepsilon\). □
The following result is useful to guarantee that a self-mapping is not a Meir-Keeler contraction.
Proposition 11
Let \(T:X\rightarrow X\) be a self-mapping from a metric space \(( X,d ) \) into itself and assume that there exist \(L>0\) and two sequences \(\{x_{n}\},\{y_{n}\}\subseteq X\) such that
Then T is not a Meir-Keeler contraction.
Proof
Reasoning by contradiction, assume that T is a Meir-Keeler contraction. By Theorem 9, there exists an L-map \(\phi: [ 0,\infty ) \times [ 0,\infty ) \rightarrow [ 0,\infty ) \) such that
As a consequence,
Using \(\varepsilon=L>0\), taking into account that T is a Meir-Keeler contraction, there exists \(\delta>0\) such that
As \(\{d(x_{n},y_{n})\}\rightarrow L\) and \(d(x_{n},y_{n})>L\) for all \(n\in\mathbb{N}\), there exists \(n_{0}\in\mathbb{N}\) such that \(L< d(x_{n_{0}},y_{n_{0}})< L+\delta\). Then \(\phi ( d(x_{n_{0}},y_{n_{0}}) ) < L\), which contradicts the fact that \(L<\phi ( d(x_{n_{0}},y_{n_{0}}) ) \). As a result, T cannot be a Meir-Keeler contraction. □
3 R-Functions and R-contractions
In this section we introduce the family of auxiliary functions we will use to present a new kind of contractive mappings. We will also show that this family contains several classes of contractive mappings, including Meir-Keeler contractions.
3.1 The family of R-functions
Definition 12
Let \(A\subseteq\mathbb{R}\) be a nonempty subset and let \(\varrho:A\times A\rightarrow\mathbb{R}\) be a function. We say that ϱ is an R-function if it satisfies the following two conditions.
- (\(\varrho_{1}\)):
-
If \(\{a_{n}\}\subset ( 0,\infty ) \cap A\) is a sequence such that \(\varrho(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\), then \(\{a_{n}\}\rightarrow0\).
- (\(\varrho_{2}\)):
-
If \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) are two sequences converging to the same limit \(L\geq0\) and verifying that \(L< a_{n}\) and \(\varrho(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\), then \(L=0\).
We denote by \(R_{A}\) the family of all R-functions whose domain is \(A\times A\).
In some cases, given a function \(\varrho:A\times A\rightarrow\mathbb {R}\), we will also consider the following property.
- (\(\varrho_{3}\)):
-
If \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) are two sequences such that \(\{b_{n}\} \rightarrow0\) and \(\varrho(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\), then \(\{a_{n}\}\rightarrow0\).
Remark 13
Notice that conditions (\(\varrho_{1}\)), (\(\varrho_{2}\)) and (\(\varrho_{3}\)) establish that if there exist sequences verifying some assumptions, then a thesis must hold. However, we point out that if such kind of sequences does not exist, then conditions (\(\varrho_{1}\)), (\(\varrho_{2}\)) and (\(\varrho_{3}\)) hold.
Proposition 14
If \(\varrho ( t,s ) \leq s-t\) for all \(t,s\in A\cap ( 0,\infty ) \), then (\(\varrho_{3}\)) holds.
Proof
Assume that \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) are two sequences such that \(\{b_{n}\}\rightarrow0\) and \(\varrho(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). Since \(a_{n},b_{n}\in ( 0,\infty ) \cap A\), then \(0<\varrho(a_{n},b_{n})\leq b_{n}-a_{n}\) for all \(n\in\mathbb {N}\). As a consequence, \(0< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\), which means that \(\{a_{n}\}\rightarrow0\). □
Firstly, we show some examples.
Lemma 15
Every simulation function is an R-function that also verifies (\(\varrho_{3}\)).
Proof
Let \(\zeta:[0,\infty)\times{}[0,\infty)\rightarrow\mathbb{R}\) be a simulation function.
(\(\varrho_{1}\)) Let \(\{a_{n}\}\subset ( 0,\infty ) \) be a sequence such that \(\zeta(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\). Therefore, \(0<\zeta(a_{n+1},a_{n})<a_{n}-a_{n+1}\) for all \(n\in\mathbb{N}\). Hence, \(\{a_{n}\}\) is a strictly decreasing sequence of positive real numbers, so it is convergent. Let \(L\geq0\) be its limit. To prove that \(L=0\), assume, by contradiction, that \(L>0\). Let \(t_{n}=a_{n+1}\) and \(s_{n}=a_{n}\) for all \(n\in\mathbb{N}\). Then \(\{t_{n}\}\) and \(\{s_{n}\}\) are convergent to L and \(t_{n}< s_{n}\) for all \(n\in\mathbb{N}\). By condition (\(\zeta _{3} \)),
which is a contradiction. Then \(\{a_{n}\}\rightarrow L=0\).
(\(\varrho_{2}\)) Let \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \) be two sequences converging to the same limit \(L\geq 0\) and verifying that \(L< a_{n}\) and \(\zeta(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). To prove that \(L=0\), assume, by contradiction, that \(L>0\). On the one hand, by (\(\zeta_{2}\)), \(0<\zeta(a_{n},b_{n})=b_{n}-a_{n}\), so \(L< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\). On the other hand, by condition (\(\zeta_{3}\)), we have that
which is a contradiction. Then \(L=0\).
(\(\varrho_{3}\)) Let \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \) be two sequences such that \(\{b_{n}\}\rightarrow0\) and \(\zeta(a_{n},b_{n})\geq0\) for all \(n\in\mathbb{N}\). Since ζ is a simulation function, \(0\leq\zeta(a_{n},b_{n})< b_{n}-a_{n}\) for all \(n\in\mathbb{N}\). Hence, \(0< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\), which means that \(\{a_{n}\}\rightarrow0\). □
Lemma 16
Every manageable function is an R-function that also verifies (\(\varrho_{3}\)).
Proof
Let \(\eta:\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}\) be a manageable function.
(\(\varrho_{1}\)) Let \(\{a_{n}\}\subset ( 0,\infty ) \) be a sequence such that \(\eta(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\). Therefore, \(0<\eta(a_{n+1},a_{n})<a_{n}-a_{n+1}\) for all \(n\in\mathbb{N}\). Hence, \(\{a_{n}\}\) is a strictly decreasing sequence of positive real numbers, so it is convergent. Let \(L\geq0\) be its limit. To prove that \(L=0\), assume, by contradiction, that \(L>0\). Let \(t_{n}=a_{n+1}\) and \(s_{n}=a_{n}\) for all \(n\in\mathbb{N}\). Then \(\{t_{n}\}\) is a bounded sequence (in fact, it is convergent) and \(\{s_{n}\}\) is a nonincreasing sequence (convergent to L). By condition (\(\eta_{2}\)),
Taking into account that
we deduce that
which is a contradiction. Then \(\{a_{n}\}\rightarrow L=0\).
(\(\varrho_{2}\)) Let \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \) be two sequences converging to the same limit \(L\geq 0\) and verifying that \(L< a_{n}\) and \(\zeta(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). To prove that \(L=0\), assume, by contradiction, that \(L>0\). On the one hand, by (\(\eta_{1}\)), \(0<\eta(a_{n},b_{n})=b_{n}-a_{n}\), so \(L< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\). As \(\{b_{n}\}\rightarrow L\) and \(L< b_{n}\) for all \(n\in\mathbb{N}\), then there exists a partial subsequence \(\{b_{n(k)}\}_{k\in\mathbb{N}}\) of \(\{b_{n}\}\) such that \(\{b_{n(k)}\}\) is strictly decreasing, that is,
Hence \(\{a_{n(k)}\}\) is a bounded sequence (in fact, it is convergent to L) and \(\{b_{n(k)}\}\) is a nonincreasing sequence. By condition (\(\eta_{2}\)), we have that
Taking into account that
we deduce that
which is a contradiction. Then \(L=0\).
(\(\varrho_{3}\)) Let \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \) be two sequences such that \(\{b_{n}\}\rightarrow0\) and \(\eta(a_{n},b_{n})\geq0\) for all \(n\in\mathbb{N}\). Since η is a manageable function, \(0\leq\eta(a_{n},b_{n})< b_{n}-a_{n}\) for all \(n\in\mathbb{N}\). Hence, \(0< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\), which means that \(\{a_{n}\}\rightarrow0\). □
Lemmas 15 and 16 provide us with a wide range of R-functions taking into account examples given in [12, 14]. In the following examples we show that the notion of R-function is more general than the previous ones.
Example 17
Given \(\lambda\in ( 0,1 ) \), let \(\varrho: [ 0,1 ] \times [ 0,1 ] \rightarrow\mathbb{R}\) be the function given by \(\varrho ( t,s ) =\lambda s-t\) for all \(t,s\in [ 0,1 ] \). Then ϱ is an R-function, but it is not a simulation function neither a manageable function because its domain is neither \([0,\infty)\times {}[0,\infty)\) nor \(\mathbb{R}\times\mathbb{R}\).
Example 18
Let \(\varrho: [ 0,\infty ) \times [ 0,\infty ) \rightarrow\mathbb{R}\) be the function defined, for all \(t,s\in [ 0,\infty ) \), by
Let us show that ϱ is an R-function on \([ 0,\infty ) \) which also satisfies condition (\(\varrho_{3}\)).
(\(\varrho_{1}\)) Assume that \(\{a_{n}\}\subset ( 0,\infty ) \) is a sequence such that \(\varrho(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\). Therefore \(a_{n+1}< a_{n}\) and
As a consequence, \(0< a_{n+1}< a_{n}/2\) for all \(n\in\mathbb{N}\), which implies that \(\{a_{n}\}\rightarrow0\).
(\(\varrho_{2}\)) Assume that \(\{a_{n}\},\{b_{n}\}\subset (0,\infty ) \) are two sequences converging to the same limit \(L\geq 0\) and verifying that \(L< a_{n}\) and \(\varrho(a_{n},b_{n})>0\) for all \(n\in \mathbb{N}\). Hence
As a consequence, \(2a_{n}< b_{n}\) for all \(n\in\mathbb{N}\). Letting \(n\rightarrow\infty\), we deduce that \(0\leq2L\leq L\), which means that \(L=0 \).
(\(\varrho_{3}\)) Let \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) be two sequences such that \(\{b_{n}\}\rightarrow0\) and \(\varrho(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). Therefore, \(0< a_{n}< b_{n}\), which implies that \(\{a_{n}\}\rightarrow0\).
As a consequence, ϱ is an R-function on \([ 0,\infty ) \) which also satisfies condition (\(\varrho_{3}\)). However, ϱ is not a simulation function because if we take \(t_{n}=s_{n}=1\) for all \(n\in\mathbb{N}\), then \(\{t_{n}\}\rightarrow1\), \(\{s_{n}\} \rightarrow1\) but \(\varrho(t_{n},s_{n})=0\) for all \(n\in\mathbb{N}\), which implies that ϱ does not verify condition (\(\zeta_{3}\)). The same argument guarantees that ϱ, defined from \(\mathbb{R}\times \mathbb{R}\) into \(\mathbb{R}\), is not a manageable function.
Proposition 19
If \(\varrho\in R_{A}\), then \(\varrho(a,a)\leq0\) for all \(a\in ( 0,\infty ) \cap A\).
Proof
By contradiction, assume that there exists \(a\in ( 0,\infty ) \cap A\) such that \(\varrho(a,a)>0\). Let us define \(a_{n}=a\) for all \(n\in \mathbb{N}\). Therefore \(\varrho(a_{n+1},a_{n})=\varrho(a,a)>0\) for all \(n\in\mathbb{N}\). Condition (\(\varrho_{1}\)) implies that \(\{a_{n}\} \rightarrow0\), which contradicts the fact that \(a>0\). □
Functions taking values greater than or equal to an R-function can be an R-function.
Proposition 20
If \(\varrho\in R_{A}\) and \(\lambda>0\), then \(\varrho_{\lambda}:A\times A\rightarrow\mathbb{R}\), defined by \(\varrho_{\lambda}(t,s)=\lambda \varrho(t,s)\) for all \(t,s\in A\), is also an R-function. And if ϱ satisfies (\(\varrho_{3}\)), then \(\varrho_{\lambda}\) also satisfies it.
An interesting subclass of the family of R-functions can be considered involving L-functions as follows.
Theorem 21
Given an L-function \(\phi: [ 0,\infty ) \rightarrow [ 0,\infty ) \), let \(\varrho_{\phi}: [ 0,\infty ) \times [ 0,\infty ) \rightarrow\mathbb{R}\) be the function defined by
Then \(\varrho_{\phi}\) is an R-function on \([ 0,\infty ) \). Furthermore, \(\varrho_{\phi}\) satisfies condition (\(\varrho_{3}\)).
Proof
(\(\varrho_{1}\)) Assume that \(\{a_{n}\}\subset ( 0,\infty ) \) is a sequence such that \(\varrho_{\phi}(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\). Therefore,
which means that \(a_{n+1}<\phi(a_{n})\) for all \(n\in\mathbb{N}\). Using item (1) of Lemma 10,
Hence, \(\{a_{n}\}\) is a strictly decreasing sequence of positive real numbers. Let \(L\geq0\) be its limit. In order to prove that \(L=0\), assume that \(L>0\). Therefore,
As ϕ is an L-function, using \(\varepsilon=L>0\), there exists \(\delta>0 \) such that
Since \(\{a_{n}\}\searrow L^{+}\), there exists \(n_{0}\in\mathbb{N}\) such that \(a_{n_{0}}< L+\delta\). Since \(L< a_{n_{0}}< L+\delta\), then (2) implies that \(\phi(a_{n_{0}})\leq L\), which yields the contradiction
As a consequence, \(L=0\).
(\(\varrho_{2}\)) Assume that \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \) are two sequences converging to the same limit \(L\geq 0\) and verifying that \(L< a_{n}\) and \(\varrho_{\phi}(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). In order to prove that \(L=0\), assume that \(L>0\). Therefore,
As a consequence,
As ϕ is an L-function, using \(\varepsilon=L>0\), there exists \(\delta>0 \) such that
Since \(\{b_{n}\}\searrow L^{+}\), there exists \(n_{0}\in\mathbb{N}\) such that \(L< b_{n_{0}}< L+\delta\). And, by using (3), we deduce that \(\phi(b_{n_{0}})\leq L\), which is a contradiction because \(\phi (b_{n_{0}})\leq L< a_{n_{0}}<\phi(b_{n_{0}})\). Thus, \(L=0\).
(\(\varrho_{3}\)) Let \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) be two sequences such that \(\{b_{n}\}\rightarrow0\) and \(\varrho_{\phi}(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). Therefore, by item (1) of Lemma 10, \(0<\varrho _{\phi }(a_{n},b_{n})=\phi(b_{n})-a_{n}\leq b_{n}-a_{n}\), so \(0< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\), which implies that \(\{a_{n}\}\rightarrow0\). □
Theorem 22
Let \(\psi,\varphi: [ 0,\infty ) \rightarrow [ 0,\infty ) \) be two functions such that ψ is nondecreasing and continuous from the right, φ is lower semi-continuous and \(\varphi^{-1} ( \{0\} ) =\{0\}\). Let \(\varrho_{\psi,\varphi}: [ 0,\infty ) \times [ 0,\infty ) \rightarrow\mathbb{R}\) be the function defined by
Then \(\varrho_{\psi,\varphi}\) is an R-function on \([ 0,\infty ) \). Furthermore, \(\varrho_{\psi,\varphi}\) satisfies condition (\(\varrho_{3}\)).
Proof
First of all, we show that, for \(t,s\in [ 0,\infty ) \),
Indeed, assume that \(\varrho_{\psi,\varphi}(t,s)\geq0\) and \(t\geq s\), and we are going to show that \(s=0\). As ψ is nondecreasing,
which implies that \(\varphi(s)=0\). Hence \(s=0\), which contradicts the fact that \(s>0\). Thus, \(t< s\).
(\(\varrho_{1}\)) Assume that \(\{a_{n}\}\subset ( 0,\infty ) \) is a sequence such that \(\varrho_{\psi,\varphi}(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\). By (4), \(a_{n+1}< a_{n}\) for all \(n\in\mathbb{N}\). Hence, \(\{a_{n}\}\) is a strictly decreasing sequence of positive real numbers. Let \(L\geq0\) be its limit. Then \(L< a_{n}\) for all \(n\in\mathbb{N}\). In order to prove that \(L=0\), assume that \(L>0\). Therefore, for \(n\in\mathbb{N}\),
As ψ is continuous from the right and \(\{a_{n}\}\searrow L^{+}\), letting \(n\rightarrow\infty\) we deduce that \(\lim_{n\rightarrow\infty}\varphi (a_{n})=0\). And as φ is lower semi-continuous,
Hence \(\varphi(L)=0\), so \(L=0\).
(\(\varrho_{2}\)) Assume that \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \) are two sequences converging to the same limit \(L\geq 0\) and verifying that \(L< a_{n}\) and \(\varrho_{\psi,\varphi}(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). By (4), \(L< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\). In order to prove that \(L=0\), assume that \(L>0\). Therefore,
As ψ is continuous from the right and \(\{b_{n}\}\searrow L^{+}\), letting \(n\rightarrow\infty\) we deduce that \(\lim_{n\rightarrow\infty}\varphi (b_{n})=0\). And as φ is lower semi-continuous,
Hence \(\varphi(L)=0\), so \(L=0\).
(\(\varrho_{3}\)) Let \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) be two sequences such that \(\{b_{n}\}\rightarrow0\) and \(\varrho_{\phi}(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). By condition (4), \(0< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\), which implies that \(\{a_{n}\}\rightarrow0\). □
Another example, involving Geraghty functions, is the next statement.
Lemma 23
If \(\phi: [ 0,\infty ) \rightarrow [ 0,1 ) \) is a Geraghty function, then \(\varrho_{\phi}^{\prime }: [ 0,\infty ) \times [ 0,\infty ) \rightarrow \mathbb{R}\), defined by
is an R-function on \([ 0,\infty ) \) satisfying condition (\(\varrho_{3}\)).
Proof
(\(\varrho_{1}\)) Assume that \(\{a_{n}\}\subset ( 0,\infty ) \) is a sequence such that \(\varrho_{\phi}^{\prime}(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\). Therefore,
As \(a_{n}>0\) and \(\phi(a_{n})<1\) for all \(n\in\mathbb{N}\), then
Hence, \(\{a_{n}\}\) is a strictly decreasing sequence of positive real numbers. Let \(L\geq0\) be its limit. In order to prove that \(L=0\), assume that \(L>0\). Therefore,
Letting \(n\rightarrow\infty\) in the last inequalities, we deduce that \(\lim_{n\rightarrow\infty}\phi(a_{n})=1\). As ϕ is a Geraghty function, it follows that \(L=\lim_{n\rightarrow\infty}a_{n}=0\), which contradicts \(L>0\). Then necessarily \(L=0\).
(\(\varrho_{2}\)) Assume that \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \) are two sequences converging to the same limit \(L\geq 0\) and verifying that \(L< a_{n}\) and \(\varrho_{\phi}^{\prime}(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). In order to prove that \(L=0\), assume that \(L>0\). Therefore,
As a consequence,
Letting \(n\rightarrow\infty\) in the last inequalities, we deduce that \(\lim_{n\rightarrow\infty}\phi(b_{n})=1\). As ϕ is a Geraghty function, it follows that \(L=\lim_{n\rightarrow\infty}b_{n}=0\), which contradicts \(L>0\). Then necessarily \(L=0\).
(\(\varrho_{3}\)) Let \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) be two sequences such that \(\{b_{n}\}\rightarrow0\) and \(\varrho_{\phi}^{\prime}(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). Therefore \(0<\varrho_{\phi}^{\prime}(a_{n},b_{n})=\phi(b_{n}) b_{n}-a_{n}\leq b_{n}-a_{n}\), so \(0< a_{n}< b_{n}\) for all \(n\in\mathbb{N}\), which implies that \(\{a_{n}\}\rightarrow0\). □
3.2 R-Contractions
In this section we introduce the notion of R-contraction and we show several examples of such kind of contractions.
Definition 24
Let \(( X,d ) \) be a metric space and let \(T:X\rightarrow X\) be a mapping. We will say that T is an R-contraction if there exists an R-function \(\varrho:A\times A\rightarrow\mathbb{R}\) such that \(\operatorname{ran}(d)\subseteq A\) and
In such a case, we will say that T is an R-contraction with respect to ϱ. We denote the family of all R-contractions from \(( X,d ) \) into itself with respect to ϱ by \(R_{X,d,A,\varrho }\) or, when no confusion is possible, by \(R_{\varrho}\).
The following result shows an extensive family of R-contractions.
Theorem 25
Every Meir-Keeler contraction is an R-contraction with respect to an R-function ϱ which satisfies (\(\varrho _{3} \)).
In the last result, the R-function ϱ may be chosen satisfying the following properties.
-
\(\varrho(t,s)< s-t\) for all \(t,s\in ( 0,\infty ) \).
-
\(\varrho(t,s)\leq s-t\) for all \(t,s\in [ 0,\infty ) \).
Proof
Let \(( X,d ) \) be a metric space and let \(T:X\rightarrow X\) be a Meir-Keeler contraction. By Theorem 9, there exists an L-function ϕ such that
Theorem 21 guarantees that \(\varrho_{\phi}: [ 0,\infty ) \times [ 0,\infty ) \rightarrow\mathbb{R}\), defined by
is an R-function on \([ 0,\infty ) \) which satisfies (\(\varrho_{3}\)). Moreover, for all \(x,y\in X\) such that \(x\neq y\), we have that
which means that T is an R-contraction. □
The previous statement implies that every fixed point theorem that can be proved for R-contractions (such as Theorem 27) also holds for Meir-Keeler contractions. However, the converse is false as we shall see in the next section.
Corollary 26
Every Geraghty contraction is an R-contraction with respect to an R-function ϱ which satisfies (\(\varrho_{3}\)).
Proof
Let \(( X,d ) \) be a metric space and let \(T:X\rightarrow X\) be a Geraghty contraction. Then there exists a Geraghty function \(\phi: [ 0,\infty ) \rightarrow [ 0,1 ) \) such that
Let \(\varphi: [ 0,\infty ) \rightarrow [ 0,1 ) \) be the function defined by \(\varphi(t)=(1+\phi(t))/2\) for all \(t\in [ 0,\infty ) \). Then φ is also a Geraghty function and it verifies \(\phi(t)<\varphi(t)<1\) for all \(t\in [ 0,\infty ) \). Therefore, if \(x\neq y\), then
Lemma 23 guarantees that \(\varrho_{\varphi }^{\prime }: [ 0,\infty ) \times [ 0,\infty ) \rightarrow \mathbb{R}\), defined by
is an R-function on \([ 0,\infty ) \) which satisfies (\(\varrho_{3}\)). Moreover, for all \(x,y\in X\) such that \(x\neq y\), we have that \(\phi(d(x,y))<1\) and
which means that T is an R-contraction. □
4 Some fixed point theorems under R-contractivity conditions
This section is dedicated to obtaining fixed point theorems under R-contractivity conditions. Later, we will show that some well-known results can be deduced as simple consequences of our main result, which is the following one.
Theorem 27
Let \(( X,d ) \) be a complete metric space and let \(T:X\rightarrow X\) be an R-contraction with respect to \(\varrho\in R_{A}\). Assume that, at least, one of the following conditions holds:
-
(a)
T is continuous.
-
(b)
The function ϱ satisfies condition (\(\varrho_{3}\)).
-
(c)
\(\varrho ( t,s ) \leq s-t\) for all \(t,s\in A\cap ( 0,\infty ) \).
Then T is a Picard operator. In particular, it has a unique fixed point.
Proof
Let \(x_{0}\in X\) be an arbitrary point and let \(\{x_{n}\}_{n\geq0}\) be the Picard sequence of T based on \(x_{0}\), that is, \(x_{n+1}=Tx_{n}\) for all \(n\in\mathbb{N}\). If there exists some \(n_{0}\in\mathbb{N}\) such that \(x_{n_{0}+1}=x_{n_{0}}\), then \(x_{n_{0}}\) is a fixed point of T. In the contrary case, assume that \(x_{n}\neq x_{n+1}\) for all \(n\in\mathbb {N}\). Let \(\{a_{n}\}\subset ( 0,\infty ) \) be the sequence defined by \(a_{n}=d(x_{n},x_{n+1})>0\) for all \(n\in\mathbb{N}\). Taking into account that T is an R-contraction with respect to ϱ, then
Applying (\(\varrho_{1}\)) we deduce that \(\{d(x_{n},x_{n+1})\}=\{a_{n}\}\rightarrow0\), that is, \(\{x_{n}\}\) is an asymptotically regular sequence.
Next we show that \(\{x_{n}\}\) is a Cauchy sequence reasoning by contradiction. If \(\{x_{n}\}\) is not a Cauchy sequence, then there exist \(\varepsilon_{0}>0\) and two subsequences \(\{x_{n(k)}\}\) and \(\{x_{m(k)}\}\) of \(\{x_{n}\}\) such that
Let \(L=\varepsilon_{0}>0\), \(\{a_{k}=d(x_{n(k)},x_{m(k)})\}\rightarrow L\) and \(\{b_{k}=d(x_{n(k)-1},x_{m(k)-1})\}\rightarrow L\). Since \(L=\varepsilon _{0}< d(x_{n(k)},x_{m(k)})=a_{k}\) and
for all \(k\in\mathbb{N}\), condition (\(\varrho_{2}\)) guarantees that \(\varepsilon_{0}=L=0\), which is a contradiction. As a consequence, \(\{x_{n}\}\) is a Cauchy sequence. Since \(( X,d ) \) is complete, there exists \(z\in X\) such that \(\{x_{n}\}\rightarrow z\). Let us show that z is a fixed point of T distinguishing two cases.
Case 1. Assume that T is continuous. In this case, \(\{x_{n+1}=Tx_{n}\}\rightarrow Tz\), so \(Tz=z\).
Case 2. Assume that the function ϱ satisfies condition (\(\varrho_{3}\)). In this case, let \(a_{n}=d(x_{n+1},Tz)\) and \(b_{n}=d(x_{n},z)\) for all \(n\in\mathbb{N}\). Then \(\{b_{n}\}\rightarrow0\). Moreover,
for all \(n\in\mathbb{N}\). Furthermore, it is clear that
because
Let us consider the set
Subcase 2.1. Assume that Ω is finite. In this case, there exists \(n_{0}\in\mathbb{N}\) such that \(d(x_{n+1},Tz)=a_{n}>0\) for all \(n\geq n_{0}\). By (7), \(d(x_{n},z)=b_{n}>0\) for all \(n\geq n_{0}\). Taking into account (6), condition (\(\varrho_{3}\)), applied to \(\{a_{n}\}_{n\geq n_{0}}\) and \(\{b_{n}\}_{n\geq n_{0}}\), implies that \(\{d(x_{n+1},Tz)=a_{n}\}\rightarrow0\), which means that \(\{x_{n+1}\}\rightarrow Tz\). By the uniqueness of the limit, \(Tz=z\).
Subcase 2.2. Assume that Ω is not finite. In this case, there exists a subsequence \(\{x_{n(k)}\}\) of \(\{x_{n}\}\) such that
Hence \(x_{n(k)+1}=Tz\) for all \(k\in\mathbb{N}\). Since \(\{x_{n}\} \rightarrow z\), then \(Tz=z\).
Case 3. Assume that \(\varrho ( t,s ) \leq s-t\) for all \(t,s\in A\cap ( 0,\infty )\). Proposition 14 implies that Case 2 is applicable.
In any case, z is a fixed point of T. Then T is a weakly Picard operator.
Finally, let us show that z is the unique fixed point of T. Let \(x,y\in X\) be two arbitrary fixed points of T. We will deduce that \(x=y\) reasoning by contradiction. Assume that \(x\neq y\) and let us define \(a_{n}=d(x,y)>0\) for all \(n\in\mathbb{N}\). Therefore, for all \(n\in\mathbb{N}\),
Applying (\(\varrho_{1}\)), \(\{a_{n}\}\rightarrow0\), which contradicts the fact that \(d(x,y)\neq0\). As a consequence, \(x=y\) and T has a unique fixed point. □
Corollary 28
Every continuous R-contraction from a complete metric space into itself has a unique fixed point.
Corollary 29
Every \(\mathcal{Z}\)-contraction from a complete metric space into itself has a unique fixed point.
Corollary 30
Every \(\widehat{\operatorname{Man}(\mathsf{R})}\)-contraction from a complete metric space into itself has a unique fixed point.
Every manageable function leads to a simple corollary considering the corresponding R-function. For instance,
Corollary 31
Let \(( X,d ) \) be a complete metric space and let \(T:X\rightarrow X \) be a self-mapping. Assume that there exist two functions \(\psi ,\varphi: [ 0,\infty ) \rightarrow [ 0,\infty ) \) such that
If ψ is nondecreasing and continuous from the right, φ is lower semi-continuous and \(\varphi^{-1} ( \{0\} ) =\{0\}\), then T has a unique fixed point.
Proof
If follows from Theorem 27 taking into account Theorem 22. □
Corollary 32
Every Geraghty contraction from a complete metric space into itself has a unique fixed point.
Proof
If follows from Theorem 27 taking into account Corollary 26. □
Corollary 33
Every Meir-Keeler contraction from a complete metric space into itself has a unique fixed point.
Proof
If follows from Theorem 27 taking into account Theorem 25. □
Next, we show an example of an R-contraction which is not a Meir-Keeler contraction. Let \(\mathbb{N}^{\ast}=\mathbb{N}\diagdown\{0\}=\{ 1,2,3,\ldots\}\) and let \(\{x_{n}\}\) and \(\{y_{n}\}\) be the sequences
Let X be the set
endowed with the Euclidean metric \(d(x,y)=\vert x-y \vert \) for all \(x,y\in X\). As X is discrete and
then \(( X,d ) \) is complete. Let \(T:X\rightarrow X\) be defined by
Notice that T satisfies the following properties:
We claim that T is an R-contraction but it is not a Meir-Keeler contraction. The second fact follows from Proposition 11 taking into account that
Then T is not a Meir-Keeler contraction. Next, we are going to show that T is an R-contraction. To prove it, let \(A=\operatorname{ran}(d)\subset [ 0,\infty ) \) be the range of the metric d. As X is numerable, then \(A=d ( X\times X ) \) is also a numerable set. In fact, if \(x,y\in X\) are such that \(x\leq y\), then one, and only one, of the following cases holds:
As a consequence, the range of d can be expressed as
where \(\lambda_{k}\geq5\) for all \(k\in\mathbb{N}\). In particular,
Let \(\varrho:A\times A\rightarrow\mathbb{R}\) be the function given by
Let us show that ϱ is an R-function verifying condition (\(\varrho_{3}\)). To do that, recall Remark 13 because we are going to show that there are not sequences as in the hypotheses of conditions (\(\varrho_{1}\)), (\(\varrho_{2}\)) and (\(\varrho_{3}\)).
(\(\varrho_{1}\)) We claim that it is impossible to have a sequence \(\{a_{n}\}\subset ( 0,\infty ) \cap A\) such that \(\varrho(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\). To prove it, assume that such sequence exists. As \(a_{n}>0\) for all \(n\in\mathbb{N}\), description (11) leads to three cases.
Case 1. There exists \(n_{0}\in\mathbb{N}\) such that \(a_{n_{0}}=1\). As \(t=a_{n_{0}+1}>0\) and \(s=a_{n_{0}}=1<5\), then the inequality \(\varrho(a_{n_{0}+1},1)=\varrho(a_{n_{0}+1},a_{n_{0}})>0\) is impossible following (13).
Case 2. There exists \(n_{0}\in\mathbb{N}\) such that \(a_{n_{0}}=1+\frac{1}{m}\) for some \(m\in\mathbb{N}^{\ast}\). As \(t=a_{n_{0}+1}>0\) and \(s=a_{n_{0}}=1+\frac{1}{m}<5\), then necessarily \(a_{n_{0}+1}=1\), but this is impossible by Case 1.
Case 3. \(a_{n}\geq3\) for all \(n\in\mathbb{N}\). In this case, for all \(n\in\mathbb{N}\),
Hence \(\{a_{n}\}\rightarrow0\) but this is impossible because, by (12), \(a_{n}\geq1\) for all \(n\in\mathbb{N}\).
In any case, it is impossible to have a sequence \(\{a_{n}\}\subset ( 0,\infty ) \cap A\) such that \(\varrho(a_{n+1},a_{n})>0\) for all \(n\in\mathbb{N}\), which means that (\(\varrho_{1}\)) holds.
(\(\varrho_{2}\)) We claim that it is impossible to have two sequences \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) converging to the same limit \(L\geq0\) and verifying that \(L< a_{n}\) and \(\varrho(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). To prove it, assume that such sequences exist. Since \(a_{n}>0\), then \(a_{n}\geq1\) for all \(n\in\mathbb{N}\) by (12). Hence \(1\leq L< a_{n}\) for all \(n\in\mathbb{N}\). The only case in which \(\varrho(t,s)>0\) and \(t>1\) occurs when \(s\geq5\). Thus \(\varrho(a_{n},b_{n})>0\) implies that \(b_{n}\geq5\) for all \(n\in\mathbb{N}\). Moreover, for all \(n\in\mathbb{N}\),
Letting \(n\rightarrow\infty\), we deduce that \(0\leq2L\leq L\), so \(L=0\), which contradicts the fact that \(L\geq1\). This contradiction ensures that (\(\varrho_{2}\)) holds.
(\(\varrho_{3}\)) We claim that it is impossible to have two sequences \(\{a_{n}\},\{b_{n}\}\subset ( 0,\infty ) \cap A\) such that \(\{b_{n}\}\rightarrow0\) and \(\varrho(a_{n},b_{n})>0\) for all \(n\in\mathbb{N}\). To prove it, assume that such sequences exist. Since \(b_{n}>0\), then \(b_{n}\geq1\) for all \(n\in\mathbb{N}\) by (12), which contradicts the fact that \(\{b_{n}\}\rightarrow0\). Hence (\(\varrho_{3}\)) holds.
As a consequence, ϱ is an R-function on \(A=\operatorname{ran}(d)\). Finally, we claim that T is an R-contraction with respect to ϱ. Let \(x,y\in X\) be such that \(x\neq y\), that is, \(d(x,y)>0\). If \(d(Tx,Ty)=0\), then
Suppose that \(d(Tx,Ty)>0\). In this case, by (9) and (10), we have that \(\{Tx,Ty\}=\{0,1\}\) and \(d(Tx,Ty)=1\). Suppose that \(Tx=0\) and \(Ty=1\). Hence \(x\in\{0,1\}\cup \{ 10n \} _{n=1}^{\infty}\) and \(y\in \{ 10m+1+\frac{1}{m} \} _{m=1}^{\infty}\). Therefore, only cases (c3) and (c4) of (11) are possible. In case (c3), \(x=x_{n}\) and \(y=y_{n}\) for some \(n\in\mathbb{N}^{\ast}\). Then
In case (c4), \(d(x,y)\geq5\), so
As a result, in any case, \(\varrho ( d(Tx,Ty),d(x,y) ) >0\) for all \(x,y\in X\) such that \(x\neq y\), so T is an R-contraction with respect to ϱ.
As a consequence, Theorem 27 guarantees that T has a unique fixed point. However, other previous results about Meir-Keeler contractions are not applicable.
References
Meir, A, Keeler, E: A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326-329 (1969)
Lim, T-C: On characterizations of Meir-Keeler contractive maps. Nonlinear Anal. 46, 113-120 (2001)
Harjani, J, López, B, Sadarangani, K: A fixed point theorem for Meir-Keeler contractions in ordered metric spaces. Fixed Point Theory Appl. 2011, Article ID 83 (2011)
Jachymski, J: Equivalent conditions and the Meir-Keeler type theorems. J. Math. Anal. Appl. 194, 293-303 (1995)
Kadelburg, Z, Radenović, S: Meir-Keeler-type conditions in abstract metric spaces. Appl. Math. Lett. 24, 1411-1414 (2011)
Samet, B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal. 72, 4508-4517 (2010)
Suzuki, T: Fixed-point theorem for asymptotic contractions of Meir-Keeler type in complete metric spaces. Nonlinear Anal. 64, 971-978 (2006)
Ding, HS, Karapınar, E: Meir-Keeler type contractions in partially ordered G-metric spaces. Fixed Point Theory Appl. 2013, Article ID 35 (2013)
Chi, KP, Karapınar, E, Thanh, TD: A generalization of the Meir-Keeler type contraction. Arab J. Math. Sci. 18, 141-148 (2012)
Samet, B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal. 72, 4508-4517 (2010)
Karapınar, E, Roldán, A, Martínez-Moreno, J, Roldán, C: Meir-Keeler type multidimensional fixed point theorems in partially ordered metric spaces. Abstr. Appl. Anal. 2013, Article ID 406026 (2013)
Khojasteh, F, Shukla, S, Radenović, S: A new approach to the study of fixed point theory for simulation functions. Filomat 29(6), 1189-1194 (2015)
Roldán-López-de-Hierro, AF, Karapınar, E, Roldán-López-de-Hierro, C, Martínez-Moreno, J: Coincidence point theorems on metric spaces via simulation functions. J. Comput. Appl. Math. 275, 345-355 (2015)
Du, W-S, Khojasteh, F: New results and generalizations for approximate fixed point property and their applications. Abstr. Appl. Anal. 2014, Article ID 581267 (2014)
Găvruţa, L, Găvruţa, P, Khojasteh, F: Two classes of Meir-Keeler contractions. arXiv:1405.5034v1 [math.FA] 20 May 2014
Rus, IA: Weakly Picard operators and applications. Semin. Fixed Point Theory Cluj-Napoca 2, 41-58 (2001)
Rus, IA: Picard operators and applications. Sci. Math. Jpn. 58, 191-219 (2003)
Geraghty, M: On contractive mappings. Proc. Am. Math. Soc. 40, 604-608 (1973)
Chu, SC, Diaz, JB: Remarks on a generalization of Banach’s principle of contraction mappings. J. Math. Anal. Appl. 2, 440-446 (1965)
Acknowledgements
This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The second author, therefore, acknowledges with thanks DSR for technical and financial support. The authors are grateful to three anonymous referees for their useful suggestions and comments. AF Roldán López de Hierro is grateful to the Department of Quantitative Methods for Economics and Business of the University of Granada. The same author has been partially supported by Junta de Andalucía by project FQM-268 of the Andalusian CICYE.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Roldán López de Hierro, A.F., Shahzad, N. New fixed point theorem under R-contractions. Fixed Point Theory Appl 2015, 98 (2015). https://doi.org/10.1186/s13663-015-0345-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0345-y