Abstract
The aim of this paper is to prove the existence and uniqueness of common fixed points for a pair of \((\psi -\varphi )\)-weak contractive self-maps in the setting of b-metric spaces satisfying the minimal requirement of weakly compatibility, and other weak commuting properties as compatibility, R-weakly commuting and R-weakly commuting of types (\(A_T\)), (\(A_S\)) and (\(A_P\)). Also, we will analyze the convergence and stability of the Jungck-Noor iterative scheme for this class of pairs of mappings on b-metric spaces endowed with a convex structure.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Motivation
The beginning of the metric fixed point theory could be set in 1922 with the Banach’s seminal paper [9], in which he introduced the so-called Banach contraction mappings and analyzed the existence and uniqueness of its fixed points in the setting of metric spaces. More precisely, Banach showed that a mapping \(S: M\longrightarrow M\), where (M, d) is a complete metric space, satisfying that there exists \(0\le \alpha <1\) such that for all \(x,y\in M,\)
has a unique fixed point in M. This result now is known as the Banach contraction principle, (in short, BCP). Since then, several authors have obtained various extensions of the BCP by considering new contractive conditions, allowing, among other issues, the consideration of discontinuous maps, and posing the mappings on many different generalized metric spaces as well. Regarding this matter we cite the works [7, 26] its citations and references therein.
In 1984, Khan et al. [28] extended the BCP by redefining the class of functions introduced by Delbosco and Skof [18, 46], the so-called altering distance functions: Let \(\mathbb {R}_{+}\) be the set of all non-negative real numbers, that is, \(\mathbb {R}_{+}:= [0,+\infty )\).
Definition 1.1
A function \(\psi : \mathbb {R}_{+}\longrightarrow \mathbb {R}_{+}\) is said to be an altering distance function if the following conditions are satisfied:
- (\(\psi _1\)):
-
\(\psi \) is a continuous mapping,
- (\(\psi _2\)):
-
\(\psi \) is a nondecreasing mapping,
- (\(\psi _3\)):
-
\(\psi (t)=0\) iff \(t=0,\) for \(t\in \mathbb {R}_{+}.\)
Henceforth, by \(\Psi \) we will denote the set of all altering distance functions.
Using this class of functions, Khan et al., in the same paper [28], proved that in a complete metric space (M, d), a mapping \(S: M\longrightarrow M\) satisfying that there exist \(\psi \in \Psi \) and \(0\le \alpha <1\) such that for all \(x,y\in M\)
has a unique fixed point. Notice that if we take \(\psi (t)=t,\ t\in \mathbb {R}_{+}\) in (1.2) we obtain (1.1).
In 1997, Alber and Guerre-Delabriere [6] introduced a new generalization of the BCP, the so-called weakly contractive mappings for single-valued mappings in Hilbert spaces and proved some fixed point theorems in this setting. Afterwards, Rhoades [41] showed that most of the results of [6] hold in Banach spaces and in metric spaces as well.
Definition 1.2
Let (M, d) be a metric space. A mapping \(S: M\longrightarrow M\) is said to be a \(\varphi \)-weak contraction if there exists a continuous nondecreasing function \(\varphi : \mathbb {R}_{+}\longrightarrow \mathbb {R}_{+},\) with \(\varphi (t)>0\) for all \(t>0\), \(\varphi (0)=0\) and \(\lim _{t\rightarrow +\infty }\varphi (t)=+\infty \), such that for all \(x,y\in M,\)
Rhoades in his paper [41] extended the BCP to \(\varphi \)-weak contraction mappings without using the condition \(\lim _{t\rightarrow +\infty }\varphi (t)=+\infty \), as follows:
Theorem 1.1
Let (M, d) be a complete metric space and let \(S: M\longrightarrow M\) be a \(\varphi \)-weak contraction, then S has a unique fixed point when \(\varphi \) is a nondecreasing continuous function with \(\varphi (t)>0\) for all \(t>0\) and \(\varphi (0)=0\).
In 2008, Dutta and Choudhurry [19] using the altering distance functions generalized the concept of \(\varphi \)-weak contraction and proved the following result:
Theorem 1.2
Let (M, d) be a complete metric space and let S be a selfmap on M satisfying
for all \(x,y\in M\), where \(\psi ,\varphi \in \Psi \). Then S has a unique fixed point in M.
In 2009, Abbas and Khan [3] proved the following result on the existence of a common fixed point for two mappings, the so-called \((\psi -\varphi )\)-weak contraction mappings. To state it, for two mappings \(S,T: M\longrightarrow M\) we denote by C(S, T) the set of coincidence points (CP) of S and T, that is,
and by PC(S, T) we denote the set of point of coincidence (POC) of S and T, that is
Also, we recall that S and T are say to be (nontrivially) weakly compatible [25] if whenever \(x\in C(S,T)\) implies that \(STx=TSx\).
Theorem 1.3
Let S and T be two selfmaps of a metric space (M, d) satisfying
for all \(x,y\in M,\) where \(\psi ,\varphi \in \Psi \). If \(SM\subset TM\) and \(TM\subset M\) is a complete subspace, then S and T have a unique point of coincidence in M. Moreover, if S and T are weakly compatible, S and T have a unique common fixed point in M.
We would like to point out that many authors have extended and generalized the notion of \((\psi -\varphi )\)-weak contraction mappings and analyzed the existence of (common) fixed points for this class of mappings in different metric-like spaces. To mention some, we recommend the recent works [21, 32, 42].
On the other hand, effective and efficient algorithms to compute approximate common fixed points are crucial tools in the metric fixed point theory. The fixed point assured by the BCP and some of its extensions can be approximated computed by the basic, one-step, Picard iteration process (see Proposition 3.4 below for (\(\psi -\varphi \))-weak contraction type mappings). However, over the years, several more efficient iterative algorithms to compute approximate fixed points (and common fixed points) for contractive maps have been developed in the setting of linear spaces, such processes includes, among others, the so-called Krasnoselksii (one-step), Mann (one-step) and Ishikawa (two-step) iteration, its extensions and generalizations. To a more comprehensible study about those algorithms, we recommend the seminal monograph [10], its citations and reference therein.
In this fashion, in 2002, Xu and Noor [49] defined a three-step iterative scheme in Banach spaces as follows: let \(x_0\) fixed, define
where \((\alpha _n),\; (\beta _n),\; (\gamma _n)\subset [0,1]\). Notice that Noor’s iterative process includes Mann’s and Ishikawa’s iterations as special cases. Three-step schemes are natural generalization of the splitting methods to solve partial differential equations (inclusions). In 2006, Bnouhachem et al. [12] showed that three-step iterative schemes performs better than two-step and one-step methods for solving variational inequalities. Noor’s iteration algorithm have been extended and generalized in different ways and its convergence analyzed for different classes of contractive-type mappings, see e.g., [20, 27] and references therein.
To define a Noor type iterative process in the framework of general metric spaces would require to provide the metric space with an extra structure. In 1970, Takahashi [47] introduce the notion of convex structure on metric spaces as follows:
Definition 1.3
Let \((M,\,d)\) be a metric space. A mapping \(\mathcal {W}:M\times M\times [0,1]\longrightarrow M\) is said to be a convex structure on M if for each \((x,y,\lambda )\in M\times M\times [0,1]\) and \(z\in M\),
A metric space \((M,\, d)\) equipped with the convex structure \(\mathcal {W}\) is called a convex metric space, and it is denoted by \((M,\, d,\,\mathcal {W})\).
This concept is a natural generalization of convexity in normed linear spaces (see [2]), nontrivial examples of convex metric spaces are the so-called CAT(0) spaces. Hence, convex metric spaces constitute a right setting to define and extend iterative schemes constructed by convex combinations, as mentioned above. Some investigations regarding to the application and convergence of Jungck–Mann, Jungck–Ishikawa, Jungck-type and Noor-type interative procedures in convex metric spaces can be found, for instance, in [5, 31, 36].
Let \((M,\,d,\, \mathcal {W})\) be a convex metric space and let \(S, T : N \longrightarrow M\) be two nonself mappings on a subset N of M such that \(S(N) \subset T(N)\), where T(N) is a complete subspace of M. For any \(x_0\in M\), the Jungck-Noor iterative procedure is then defined by the sequence \((x_n)\) generated as:
with sequences \((\alpha _n),\;(\beta _n),\; (\gamma _n)\subset [0,1]\).
Motivated from these facts, in this paper we are going to prove the existence and uniqueness of common fixed points for a pair of \((\psi -\varphi )\)-weak contractive type self-maps in the setting of b-metric spaces satisfying the minimal requirement of weakly compatibility, and other weak commuting properties as compatibility, R-weakly commuting and R-weakly commuting of types (\(A_T\)), (\(A_S\)) and (\(A_P\)). The results proved in this paper extend and generalize the mentioned results, as well as, many others given in this line of research.
The strategy here is to prove the convergence of some sequences posed in the image of the mappings under consideration. Hence conditions like completeness of these sets will be naturally required, however, we are able to replace it by weak alternative notions as the so-called b-property (EA) and the b-\({{\,\mathrm{CLR}\,}}_{T}\)-property. Also we will analyze the convergence and stability of the Jungck-Noor iterative scheme for this class of pairs of mappings on b-metric spaces endowed with a convex structure.
2 Some fundamental results in b-metric spaces
In this section, we recall some definitions, results and properties of b-metric spaces that will be useful in this paper.
We recall that in 1989, Bakhtin [8] introduced in the theory of metric fixed point the concept of b-metric spaces (also know as quasimetric spaces), as a generalization of usual metric spaces and shows the BCP in this setting. After that, the b-metric spaces were widely utilized by Czerwik and others ([16] and [17]). Since then, some examples of b-metric spaces were given and several results about the existence of a fixed point for a single-valued and multivalued operator in b-metric spaces can be found, for instance, in Boriceanu [13], Berinde [11], Isutali [22] among many others authors.
Definition 2.1
Let M be a nonempty set and \(s\ge 1\) be given a real number. A function
is said to be a b-metric if and only if for all \(x,y,z\in M\) the following properties are satisfied:
-
(bM1)
\(\rho (x,y)=0\) iff \(x=y\),
-
(bM2)
\(\rho (x,y)=\rho (y,x)\),
-
(bM3)
\(\rho (x,z)\le s(\rho (x,y)+\rho (y,z))\).
In such a case, the pair \((M,\rho )\) is called a b-metric space and the real number \(s\ge 1\) is called the coefficient of \((M,\rho )\).
b-metric spaces \((M,\rho )\) can be constructed from a metric space (M, d), for instance, by considering the b-metric \(\rho (x,y):=\sigma (d(x,y))\) with \(\sigma (t)=t^p\), \(1\le p<+\infty \). Notice that from the inequality \((a+b)^p\le 2^{p-1}(a^p+b^p)\), we have that \((M,\rho )\) is a b-metric space with coefficient \(s=2^{p-1}\). Also, there are b-metric spaces which are not metric spaces, as the Lebesgue spaces \(L^p\) (\(0<p<1\)). Other examples of b-metric spaces are the Orlicz spaces and spaces of homogeneous type, among other classical function spaces and scales of them used in functional analysis. See e.g. [15, 33].
The family of sets of the form \(B(x,r)=\{y\in M\;:\; \rho (x,y)<r\}\) generates a topology on M (see [29, Proposition 1]), which is metrizable in virtue of the Alexandroff-Urysohn theorem. As a consequence of this metrization, much of the results given in metric spaces hold in this setting.
Now, we present the notions of a convergent sequence, Cauchy sequence and complete b-metric spaces.
Definition 2.2
Let \((M, \rho )\) be a b-metric space with \(s\ge 1\). Then, a sequence \((x_n)\) in M is called:
-
1.
b-convergent if there exists \(x\in M\) such that \(\displaystyle \lim _{n\rightarrow +\infty }\rho (x_n, x)=0\). In this case we write \(\displaystyle \lim _{n\rightarrow +\infty }x_n=x\) or \(x_n\rightarrow x\).
-
2.
b-Cauchy sequence if \(\displaystyle \lim _{m,n\rightarrow +\infty }\rho (x_n,\ x_m)=0\). If every b-Cauchy sequence in M is convergent, then \((M, \rho )\) is said to be a complete b-metric space.
Proposition 2.1
Let \((M, \rho )\) be a b-metric space with \(s\ge 1\). The following assertions hold:
-
(i)
Any b-convergent sequence has a unique limit.
-
(ii)
The subsequences of a b-convergent sequence are also b-convergent to the limit of the original sequence.
-
(iii)
Every sequence which is b-convergent is also a b-Cauchy sequence.
-
(iv)
In general, a b-metric \(\rho \) is not necessarily continuous in all its variables.
Aghajani et al. [4] proved the following simple lemma about b-convergent sequences.
Lemma 2.2
Let \((M, \rho )\) be a b-metric space with \(s\ge 1\), and suppose that \((x_n)\) and \((y_n)\) are b-convergent sequences converging to x and y respectively. Then, we have,
In particular, if \(x=y\), then \(\displaystyle \lim _{n\rightarrow +\infty }\rho (x_n, y_n)=0.\) Moreover, for each \(z\in M\) we have
Now, we present some definitions and properties that a pair of mappings could satisfy and that will be needed in the statements of our main results.
Definition 2.3
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\). The mappings \(S,T: M\longrightarrow M\) are said to
-
1.
be compatible [24] if \( \displaystyle \lim _{n\rightarrow +\infty }\rho (STx_n, TSx_n)=0 \) whenever \((x_n)\) is a sequence in M such that
$$\begin{aligned} \displaystyle \lim _{n\rightarrow +\infty }Sx_n=\displaystyle \lim _{n\rightarrow +\infty }Tx_n=t,\; \text{ for } \text{ some } t\in M. \end{aligned}$$ -
2.
be non-compatible [24] if there exist at least one sequence \((x_n)\) in M such that \(\displaystyle \lim _{n\rightarrow +\infty }Sx_n=\displaystyle \lim _{n\rightarrow +\infty }Tx_n=t\) for some \(t\in M\) but
$$\begin{aligned} \displaystyle \lim _{n\rightarrow +\infty }\rho (STx_n, TSx_n) \end{aligned}$$is either non-zero or non-existent.
-
3.
Satisfy the b-property (EA) [1] if there exists a sequence \((x_n)\) in M such that \(\displaystyle \lim _{n\rightarrow +\infty }Sx_n=\displaystyle \lim _{n\rightarrow +\infty }Tx_n=t\) for some \(t\in M\).
-
4.
Satisfy the common b-limit range property with respect to T (in short, b-\({{\,\mathrm{CLR}\,}}_{T}\)-property) [45] if there exists \((x_n)\) in M such that
$$\begin{aligned} \displaystyle \lim _{n\rightarrow +\infty }Sx_n=\displaystyle \lim _{n\rightarrow +\infty }Tx_n=Tt \end{aligned}$$for some \(t\in M\).
Remark 2.3
We list some comparison and properties of mappings satisfying the weak commuting forms given in Definition 2.3 (see, for instance, [14, 23, 40])
-
1.
If S and T are compatible, then S and T commute at their coincidence points, hence S and T are weakly compatible.
-
2.
If S and T are non-compatible, then S and T satisfy the b-property (EA).
-
3.
Weak compatibility and b-property (EA) are independent to each other.
-
4.
The b-\({{\,\mathrm{CLR}\,}}_{T}\)-property avoid the requirement of the condition of closedness of the ranges of the involved mappings.
Example 2.4
-
1.
Let \(M=\mathbb {R}\) and let \(\rho (x,y)=|x-y|^2\) for each \(x,y\in M.\) Let S and T be two selfmappings of M defined by \(Sx=2x-1\) and \(Tx=x^2,\ x\in M.\) Then,
-
(i)
\(Sx=Tx\) iff \(x=1.\) Hence \(C(S,T)=\{1\},\ S1=T1\) and \(ST1=TS1.\) Thus S and T commute at their coincidence point and, therefore, S and T are weakly compatible.
-
(ii)
Consider the sequence \((x_n)=(1+1/n),\ n\in \mathbb {N}\) in M, then
$$\begin{aligned} \begin{array}{rcl} \displaystyle \lim _{n\rightarrow +\infty }Sx_n &{}=&{} \displaystyle \lim _{n\rightarrow +\infty }S(1+1/n)=1\\ \displaystyle \lim _{n\rightarrow +\infty }Tx_n &{}=&{} \displaystyle \lim _{n\rightarrow +\infty }T(1+1/n)=1. \end{array} \end{aligned}$$Therefore, S and T have the b-property (EA). It is clear that
$$\begin{aligned} \displaystyle \lim _{n\rightarrow +\infty }\rho (STx_n, TSx_n)=\displaystyle \lim _{n\rightarrow +\infty }|STx_n-TSx_n|^2=0 \end{aligned}$$hence, S and T are compatible selfmappings.
-
(iii)
S and T satisfy the b-\({{\,\mathrm{CLR}\,}}_{T}\)-property.
-
(i)
-
1.
Let \(M=[2, 20]\subset \mathbb {R}\) be with \(\rho (x,y)=|x-y|^2\) for all \(x,y\in M\). Let S and T be two selfmappings of M defined by
$$\begin{aligned} Sx=\left\{ \begin{array}{ccl} 2, &{}\quad \text{ if }&{} x=2 \text{ or } x>5\\ \\ 3, &{}\quad \text{ if }&{} 2<x\le 5. \end{array} \right. \quad Tx=\left\{ \begin{array}{ccl} 2, &{}\quad \text{ if }&{} x=2\\ 12, &{}\quad \text{ if }&{} 2<x\le 5\\ \dfrac{x+1}{3}, &{}\quad \text{ if }&{} x>5. \end{array} \right. \end{aligned}$$Consider the sequence \((x_n)\) defined by \((x_n)=\left( 5+\dfrac{1}{n}\right) ,\ n\in \mathbb {N}\). Then,
-
(i)
\(\displaystyle \lim _{n\rightarrow +\infty }Sx_n=\displaystyle \lim _{n\rightarrow +\infty }Tx_n=2=T2\). Hence, S and T have the b-property (EA) and b-\({{\,\mathrm{CLR}\,}}_{T}\)-property. Moreover,
$$\begin{aligned} \displaystyle \lim _{n\rightarrow +\infty }\rho (STx_n,TSx_n)=\displaystyle \lim _{n\rightarrow +\infty }|STx_n-TSx_n|^2=1^2\ne 0. \end{aligned}$$Therefore, S and T are non-compatible selfmaps.
-
(ii)
It is clear that \(C(S,T)=2\) and \(ST2=TS2=2.\) Thus, S and T are weakly compatible selfmappings.
-
(i)
Definition 2.5
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\). The mappings \(S,T: M\longrightarrow M\) are said to be,
-
1.
R-weakly commuting [37] if there exists some \(R>0\) such that
$$\begin{aligned} \rho (STx,TSx)\le R\rho (Sx,Tx), \text{ for } \text{ all } x\in M. \end{aligned}$$ -
2.
R-weakly commuting mapping of type (\(A_T\)) [38] if there exists some \(R>0\) such that
$$\begin{aligned} \rho (STx,SSx)\le R\rho (Sx,Tx), \text{ for } \text{ all } x\in M. \end{aligned}$$ -
3.
R-weakly commuting mappings of type (\(A_{S}\)) [38] if there exists \(R>0\) such that
$$\begin{aligned} \rho (STx,TTx)\le R\rho (Sx,Tx), \text{ for } \text{ all } x\in M. \end{aligned}$$ -
4.
R-weakly commuting mapping of type (P) [30] if there exists \(R>0\) such that
$$\begin{aligned} \rho (SSx,TTx)\le R\rho (Sx,Tx), \text{ for } \text{ all } x\in M. \end{aligned}$$
Remark 2.4
We list some comparison between the weaker forms of commuting properties given in Definition 2.5 (see [44]):
-
1.
R-weakly commuting pairs of selfmappings are independent of R-weakly commuting of type (\(A_{T}\)) or type (\(A_{S}\)).
-
2.
Both compatible and non-compatible selfmappings can be R-weakly commuting of type (\(A_{T}\)) or type (\(A_{S}\)), but the converse is not true.
-
3.
If S and T are R-weakly commuting or R-weakly commuting of type (\(A_{T}\)), or R-weakly commuting of type (\(A_{S}\)), or R-weakly commuting of type (P), then S and T are weakly compatible mapping.
Example 2.6
Let \(M=\mathbb {R}\) and \(\rho (x,y)=|x-y|^2\) for all \(x,y\in M.\) Let S and T be two selfmappings of M defined by \(Sx=2x-1\) and \(Tx=x^2,\ x\in M.\) Then,
-
1.
\(\rho (STx,TSx)=|STx-TSx|^2=(2|x-1|^2)^2\le 5\rho (Sx,Tx).\) Thus, S and T are R-weakly commuting with \(R=5.\)
-
2.
\(\rho (SSx,TSx)=(4|x-1|^2)^2\le 16\rho (Sx,Tx)=16(|x-1|^2)^2.\) Hence, S and T are R-weakly commuting of type (\(A_{T}\)).
-
3.
\(\rho (STx,TTx)=(|x^2-1|^2)^2\) and \(\rho (Sx,Tx)=(|x-1|^2)^2\) if we take \(x=4\), we obtain \(\rho (ST4,TT4)=225^2\) and \(\rho (S4,T4)=81\). For \(R=16,\ \rho (ST4,TT4)>R\rho (S4,T4).\) Hence, S and T are not R-weakly commuting of type (\(A_{S}\)).
-
4.
\(\rho (SSx,TTx)=|SSx-TTx|^2=|x^4-4x+3|^2\), \(\rho (Sx,Tx)=(|x-1|^2)^2.\) If we take \(x=2\) for \(R=16,\) we have \(\rho (SS2,TT2)>R\rho (S2,T2).\) Thus, S and T are not R-weakly commuting of type (P).
3 The class of (\(\psi -\varphi \))-weak contraction type mappings
In this section, we introduce the class of (\(\psi -\varphi \))-weak contraction type mappings in the framework of b-metric spaces, and we show the convergence of the Jungck iterative scheme. Also, we prove the existence and uniqueness of points of coincidence for mappings in this class.
We must recall that by \(\Psi \) we denoted the set of all altering distance functions. By \(\Phi \) we will denote the set of all functions \(\varphi : \mathbb {R}_{+}\longrightarrow \mathbb {R}_{+}\) satisfying the following conditions:
- (\(\varphi _1\)):
-
\(\varphi (t)>0\), for all \(t\in \mathbb {R}_{+}\),
- (\(\varphi _2\)):
-
\(\varphi (0)=0\),
- (\(\varphi _3\)):
-
\(\varphi \) is lower semicontinuous function.
Notice that \(\Psi \subset \Phi \).
Definition 3.1
Let \((M,\rho )\) be a b-metric spaces with \(s\ge 1\) and let S and T be selfmapings of M. The mappings S and T are said to be of (\(\psi -\varphi \))-weak contractions type if there exist \(\psi \in \Psi \) and \(\varphi \in \Phi \) such that for all \(x,y\in M,\)
The following remark is very important and useful in the development of our work.
Remark 3.1
-
1.
If we take \(\varphi (t)=(1-\alpha )\psi (t),\ t\in \mathbb {R}_{+}\) and \(0\le \alpha <1\) in (3.1), then we obtain
$$\begin{aligned} \psi [s\rho (Sx,Sy)]\le \alpha \psi (\rho (Tx,Ty)). \end{aligned}$$(3.2)The functions S and T satisfying condition (3.2) are called \(\Psi \)-Jungck contraction mappings. Notice that if we take \(\psi ={{\,\mathrm{Id}\,}}\) (the identity mapping) in (3.2), we obtain
$$\begin{aligned} s\rho (Sx,Sy)\le \alpha \rho (Tx,Ty) \end{aligned}$$(3.3)where \(0\le \alpha <1\). Since \(s\ge 1\) then any pair of mappings (S, T) satisfying (3.3) satisfies the inequality
$$\begin{aligned} \rho (Sx,Sy)\le \alpha \rho (Tx,Ty). \end{aligned}$$(3.4)The maps S and T satisfying condition (3.4) are called Jungck contractions. If we take \(T={{\,\mathrm{Id}\,}}\) in (3.4), we obtain the Banach contractions (1.1). Also notice that if any pair of mappings (S, T) satisfies (3.3), they are Jungck contractions with parameter \(\alpha /s<1\).
-
2.
If we take \(\psi ={{\,\mathrm{Id}\,}}\) in (3.1), we obtain
$$\begin{aligned} s\rho (Sx,Sy)\le \rho (Tx,Ty)-\varphi (\rho (Tx,Ty)). \end{aligned}$$(3.5)The pair (S, T) satisfying condition (3.5), for \(s= 1\), is called a \(\varphi \)-weak contractions pair. If we take \(w(t)=t-\varphi (t),\ t\in \mathbb {R}_{+}\) it is clear that w is upper semicontinuous from the right function and we obtain
$$\begin{aligned} s\rho (Sx,Sy)\le w(\rho (Tx,Ty)). \end{aligned}$$(3.6)This type of mappings are called Boyd-Wong contractions type (\(s=1\)). If we take \(T={{\,\mathrm{Id}\,}}\) in (3.6), we obtain
$$\begin{aligned} s\rho (Sx,Sy)\le w(\rho (x,y)) \end{aligned}$$which is called the Boyd-Wong contraction (\(s=1\)).
-
3.
If we take
$$\begin{aligned} k(t)=\left\{ \begin{array}{lll} 1-\varphi (t)/t &{}\quad \text{ for }&{} t>0\\ 0 &{}\quad \text{ for }&{} t=0. \end{array} \right. \end{aligned}$$in (3.5)), we obtain
$$\begin{aligned} s\rho (Sx,Sy)\le k(\rho (Tx,Ty))\rho (Tx,Ty) \end{aligned}$$(3.7)and if we take \(T={{\,\mathrm{Id}\,}}\) in (3.7) we obtain
$$\begin{aligned} s\rho (Sx,Sy)\le k(\rho (x,y))\rho (x,y). \end{aligned}$$(3.8)It is important to say that inequalities (3.7) and (3.8) are closely related to Reich contractions type.
In the next result we prove that the Jungck iterative process for (\(\psi -\varphi \))-weak contraction mappings type b-converges.
Proposition 3.2
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be selfmappings of M with \(SM\subset TM\). If S and T are (\(\psi -\varphi \))-weak contraction type mappings, then for any \(x_0\in M\) the sequence defined by
Satisfies:
-
(i)
\(\displaystyle \lim _{n\rightarrow +\infty }\rho (y_n, y_{n+1})=0.\)
-
(ii)
\((y_n)\subset M\) is a b-Cauchy sequence.
Proof
To prove (i), let \(x_0\in M\) be an arbitrary point. Using the condition \(SM\subset TM\), we construct a Jungck sequence defined by \(y_n=Sx_n=Tx_{n+1},\ n=0,1,\dots \) Suppose that \(y_{n-1}=Tx_n\ne Tx_{n+1}=y_n\), for some \(n\in \mathbb {N},\) since otherwise \((y_n)\) would be a constant sequence for \(n\ge n_0\). Now, using (3.1) we obtain:
Since \(\psi \in \Psi \), we obtain
Therefore, \((\rho (y_n,y_{n+1}))\) is a monotone decreasing sequence of positive real numbers, so there exists \(L\ge 0\) such that \(\displaystyle \lim _{n\rightarrow +\infty }\rho (y_n,y_{n+1})=L.\) We want to show that \(L=0.\) Suppose that \(L>0.\) From (3.10), we get that
It follows that,
which is not possible, therefore, \(L=0\). Thus we have,
To prove (ii), we want to show that \((y_n)\) is a b-Cauchy sequence in M. Suppose the contrary, then there exists \(\varepsilon >0\) for which we can find sequences (m(k)) and (n(k)) with \(n(k)>m(k)>k\) such that,
for all positive number k. Then, we have
From part (i) it follows that:
Thus, we have
Putting \(x=x_{m(k)}\) and \(y=x_{n(k)}\) in (3.1), we obtain
which is a contradiction. This shows that \((y_n)\) is a b-Cauchy sequence in M. \(\square \)
The uniqueness of POC’s for (\(\psi -\varphi \))-weak contraction type mappings is proved in the next result.
Proposition 3.3
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be selfmappings of M. Assume that S and T are (\(\psi -\varphi \))-weak contraction type mappings. If S and T have a POC in M, then it is unique.
Proof
Suppose that there are two different POC (z and w) of S and T. That is, there exist \(u,v\in M\) such that \(Su=Tu=z\) and \( Sv=Tv=w\). Then, by inequality (3.1), we have
which is a contradiction. Therefore, \(z=w\). \(\square \)
Now, we prove the existence of POC’s for (\(\psi -\varphi \))-weak contraction type mappings.
Proposition 3.4
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be selfmappings of M with \(SM\subset TM.\) Assume that S and T are (\(\psi -\varphi \))-weak contraction type mappings. If \(TM\subset M\) is a complete subspace, then for any \(x_0\in M\) the Jungck sequence defined by (3.9) converges to \(z\in M,\ C(S,T)\ne \emptyset \) and z is the unique POC of S and T.
Proof
By Proposition 3.2, the sequence (\(y_n\)) is a b-Cauchy in M, hence (\(Tx_{n+1}\)) is a b-Cauchy sequence in M. Since \(TM\subset M\) is complete and \((Tx_{n+1})\subset TM,\) we have
We now show that \(Su=Tu\). Suppose that \(Su\ne Tu\). Using condition (3.1) and Lemma 2.2 we obtain,
It follows that \(\psi (\rho (Su,Tu))=0,\) hence \(\rho (Su,Tu)=0,\) that is \(Su=Tu\). Therefore, \(C(S,T)\ne \emptyset .\)
Now, since \(Su=Tu=z\) we have that z is a POC of S and T. From Proposition 3.3 it is unique. \(\square \)
4 Common fixed points for (\(\psi -\varphi \))-weak contraction type mappings
In this section, we present the results concerning to the existence of common fixed points for (\(\psi -\varphi \))-weak contraction type mappings satisfying different non-commutative properties.
We recall that in 2006, Jungck and Rhoades [25] proved that any pair of weak compatible selfmaps having a point \(z\in M\) as its unique POC, then this z is its unique common fixed point.
Lemma 4.1
Let S and T be weak compatible selfmaps of a set \(M\ne \emptyset .\) If S and T have a unique POC, says, \(z=Su=Tu,\) then z is the unique common fixed point of S and T.
On the other hand, weakly compatible is a minimal condition for the existence of common fixed points for contractive type of mappings (for a discussion on this, see, e.g., [34, 35]). In virtue of this, the existence of a unique common fixed point for weakly compatible maps is reduced to the existence of a unique point of coincidence.
Theorem 4.2
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be weakly compatible (\(\psi -\varphi \))-weak contraction type selfmappings of M. If \(SM\subset TM\) and \(TM\subset M\) is a complete subspace of M, then S and T have a unique common fixed point.
Proof
We are in the hypotheses of Proposition 3.4, hence we know that (S, T) has a unique POC. Since (S, T) are weakly compatible, the conclusion then is obtained from Lemma 4.1. \(\square \)
Example 4.1
Let \(M=[0,1]\) and \(\rho : M\times M\rightarrow \mathbb {R}_{+}\) be such that \(\rho (x,y)=|x-y|^2\) for any \(x,y\in M\). Let \(S,T: M\longrightarrow M\) be two functions defined by \(Sx=\dfrac{1}{5}x\) and \(Tx=\dfrac{3}{5}x,\ x\in M.\) Then,
Let \(\psi ,\varphi : \mathbb {R}_{+}\longrightarrow \mathbb {R}_{+}\) be defined by \(\psi (t)=5\sqrt{t}\) and \(\varphi (t)=\sqrt{t},\ t\in \mathbb {R}_{+}\). Then,
It is not difficult to verify that
Moreover, we have that
and \(TM\subset M\) is complete. We have then,
and \(ST0=TS0=0.\) Therefore, S and T are weakly compatible.
It is clear that S and T satisfy the conditions of Theorem 4.2, therefore, S and T have a unique common fixed point, \(z=0\).
In the following result using the b-property (EA) we drop the condition \(SM\subset TM\).
Theorem 4.3
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be (\(\psi -\varphi \))-weakly contraction type selfmappings of M satisfying the b-property (EA). If \(SM\subset M\) is a closed subspace, then
-
(i)
S and T have a unique POC and
-
(ii)
If S and T are weakly compatible, then S and T have a unique common fixed point in M.
Proof
Since S and T satisfy the b-property (EA), there exists a sequence in M such that
for some \(z\in M.\) Since \(SM\subset M\) is closed, we have \(\displaystyle \lim _{n\rightarrow +\infty }Sx_n=z=Sa=\displaystyle \lim _{n\rightarrow +\infty }Tx_n,\) for some \(a\in M.\) As in the proof of Proposition 3.4, we have that \(z=Sa=Ta\) and z is the unique POC of S and T. Then, z is the unique common fixed point of S and T in virtue of Lemma 4.1. \(\square \)
Since two non-compatible selfmappings of a b-metric space \((M,\rho )\) satisfy the b-property (EA), we get the following result.
Corollary 4.4
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be non-compatible weakly compatible (\(\psi -\varphi \))-weakly contraction type selfmappings of M. If \(SM\subset M\) is a closed subspace of M, then S and T have a unique common fixed point.
Example 4.2
Let \(M=\mathbb {R}\) be with \(\rho (x,y)=|x-y|^2,\ x,y\in M\). Let S and T be selfmappings of M defined by \(Sx=2x-1\) and \(Tx=x^2,\ x\in M.\) Then:
-
1.
\(\rho (Sx,Sy)=|Sx-Sy|^2=|(2x-1)-(2y-1)|^2=4|x-y|^2\) and \(\rho (Tx,Ty)=|Tx-Ty|^2=|x^2-y^2|^2\). Let \(\psi ,\varphi : \mathbb {R}_{+}\longrightarrow \mathbb {R}_{+}\) be functions defined by \(\psi (t)=1/4\sqrt{t}\) and \(\varphi (t)=\sqrt{t},\ t\in \mathbb {R}_{+}.\) Therefore, \(\psi (\rho (Sx,Sy))=|x-y|,\ \psi (\rho (Tx,Ty))=\dfrac{1}{4}|x^2-y^2|\) and \(\varphi (\rho (Tx,Ty))=|x^2-y^2|.\) Thus,
$$\begin{aligned} \psi (\rho (Sx,Sy))\le \psi (\rho (Tx,Ty))-\varphi (\rho (Tx,Ty)) \end{aligned}$$holds for all \(x,y\in M.\)
-
2.
\(C(S,T)=\{x\in M\,/\,Sx=Tx\}=\{1\}\) and \(ST1=1=TS1.\) Hence S and T are weakly compatible.
-
3.
From Example 2.4(1), we have that S and T satisfying the b-property (EA) and \(TM=[0,+\infty )\subset M\) is closed.
Therefore, this example holds all the conditions of Theorem 4.3, hence S and T have a unique common fixed point \(z=1.\)
In the next result we use the b-\({{\,\mathrm{CLR}\,}}_{T}\)-property and we drop the conditions, \(SM\subset TM\) and closedness of the range of any mapping.
Theorem 4.5
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be (\(\psi -\varphi \))-weak contraction type selfmappings of M satisfying the b-\({{\,\mathrm{CLR}\,}}_{T}\)-property. Then,
-
(i)
S and T have a unique POC and
-
(ii)
If S and T are weakly compatible, then S and T have a unique common fixed point in M.
Proof
Since the pair (S, T) satisfies the b-\({{\,\mathrm{CLR}\,}}_{T}\)-property, there exists a sequence \((x_n)\) in M such that
Hence, there exists \(z\in M\) such that \(z=Ta.\) The rest of proof follows as the proof of Theorem 4.2. \(\square \)
Theorem 4.6
Theorems 4.2, 4.3 and 4.5 and Corollary 4.4 remains true if the weakly compatible property is replaced by any one (retaining the rest of hypotheses) of the following:
-
(i)
Compatible mappings.
-
(ii)
R-weakly commuting property.
-
(iii)
R-weakly commuting property of type (\(A_{T}\)).
-
(iv)
R-weakly commuting property of type (\(A_{S}\)).
-
(v)
R-weakly commuting property of type (P).
Proof
Let \(x_0\in M\) be an arbitrary point. Since \(SM\subset TM\), we can construct the Jungck sequence defined by
From Proposition 3.2, we conclude that \((y_n)\subset M\) is a b-Cauchy in TM. Since \(TM\subset M\) is a complete subspace, there exists \(z\in TM\) such that
Hence, there exists \(u\in M\) such that \(z=Tu\). As in Proposition 3.4, we prove that \(z=Su=Tu.\) Thus, u is a coincidence point of S and T. Therefore,
-
(i)
If S and T are compatible mappings, then \(STu=TSu\), hence S and T are weakly compatible maps.
-
(ii)
If the pair (S, T) satisfies the R-communig property, then
$$\begin{aligned} \rho (STu,TSu)\le R\rho (Su,Tu)=0 \end{aligned}$$which implies that \(STu=TSu.\) Thus, the pair (S, T) is weakly compatible.
-
(iii)
If the pair (S, T) satisfies the R-commuting property of type (\(A_{T}\)), then
$$\begin{aligned} \rho (TSu,SSu)\le R\rho (Su,Tu)=0 \end{aligned}$$which implies that \(TSu=SSu.\) Now,
$$\begin{aligned} \rho (STu,TSu)\le s\left[ \rho (STu,SSu)+\rho (SSu,TSu)\right] =0. \end{aligned}$$It follows that \(STu=TSu\), then S and T are weakly compatible.
-
(iv)
If the pair (S, T) satisfies the R-commuting property of type \((A_{S}),\) then:
$$\begin{aligned} \rho (STu,TTu)\le R\rho (Su,Tu)=0 \end{aligned}$$so, \(STu=TTu\) and
$$\begin{aligned} \rho (STu,TSu)\le s[\rho (STu,TTu)+\rho (TTu,TSu)]=0. \end{aligned}$$It follows that S and T are weakly compatible.
-
(v)
If the pair (S, T) is a R-weakly mapping of type (P), then
$$\begin{aligned} \rho (SSu,TTu)\le R\rho (Su,Tu)=0 \end{aligned}$$which implies that \(SSu=TTu\) and
$$\begin{aligned} \begin{array}{rcl} \rho (STu,TSu) &{}\le &{} s[\rho (STu,SSu)+\rho (SSu,TSu)]\\ &{}\le &{} s(\rho (SSu,SSu)+\rho (TTu,TTu))=0. \end{array} \end{aligned}$$Thus, \(STu=TSu.\) Therefore, S and T are weakly compatible selfmappings. Now, in view of Theorem 4.2, in all cases, S and T have a unique common fixed point. This complete the proof.
\(\square \)
5 Some consequences
The purpose of this section is to present some extensions and generalizations in the setting of b-metric spaces of well-known results given in the usual metric spaces.
Theorem 5.1
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be selfmappings of M satisfying the following inequality for all \(x,y\in M,\)
where \(\psi \in \Psi .\) If \(SM\subset TM\) and \(TM\subset M\) is complete, then \(C(S,T)\ne \emptyset \) and, if in addition, S, T are weakly compatible, then S and T have a unique common fixed point.
Proof
Set \(\varphi (t)=(1-\alpha )\psi (t)\) where \(\psi \in \Psi \) and \(0\le \alpha <1.\) It is clear that \(\varphi \in \Phi .\) Inequality (5.1) implies that
The result follows from Theorem 4.2. \(\square \)
Theorem 5.2
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be selfmappings of M satisfying the following inequality for all \(x,y\in M,\)
where \(\varphi \in \Phi .\) If \(SM\subset TM\) and \(TM\subset M\) is complete, then \(C(S,T)\ne \emptyset \) and also if S and T are weakly compatible, then S and T have a unique common fixed point.
Proof
If we take \(\psi ={{\,\mathrm{Id}\,}}\), inequality (5.2) implies that
Therefore, the result follows from Theorem 4.2. \(\square \)
Corollary 5.3
Let \((M,\rho )\) be a b-metric space with \(s\ge 1\) and let S and T be selfmappings of M with \(SM\subset M\) and \(TM\subset M\) complete. If the pair (S, T) satisfies any one of the following inequalities:
-
(i)
$$\begin{aligned} s\rho (Sx,Sy)\le w(\rho (Tx,Ty)), \end{aligned}$$(5.3)
where \(w: \mathbb {R}_{+}\longrightarrow \mathbb {R}_{+}\) is upper semicontinuous from right, \(w(0)=0,\ w(t)>0,\ t\in \mathbb {R}_{+}.\)
-
(ii)
$$\begin{aligned} s\rho (Sx,Sy)\le \alpha (\rho (Tx,Ty))\rho (Tx,Ty), \end{aligned}$$(5.4)
where \(\alpha : \mathbb {R}_{+}\rightarrow (0,1)\) upper semicontinuous from right.
-
(iii)
$$\begin{aligned} s\rho (Sx,Sy)\le \alpha \rho (Tx,Ty), \end{aligned}$$(5.5)
where \(0\le \alpha <1,\) is a constant.
Then, \(C(S,T)\ne \emptyset \) and if S and T are weakly compatible, then S and T have a unique common fixed point.
Proof
-
(i)
Set \(\varphi (t)=t-w(t)\), then inequality (5.3) implies that
$$\begin{aligned} s\rho (Sx,Sy)\le \rho (Tx,Ty)-\varphi (\rho (Tx,Ty)), \end{aligned}$$where \(\varphi \in \Phi .\)
-
(ii)
Set \(\varphi (t)=(1-\alpha (t))t,\) then inequality (5.4) implies that
$$\begin{aligned} s\rho (Sx,Sy)\le \rho (Tx,Ty)-\varphi (\rho (Tx,Ty)), \end{aligned}$$where \(\varphi \in \Phi .\)
-
(iii)
Set \(\varphi (t)=(1-\alpha )t,\) then inequality (5.5) implies that
$$\begin{aligned} s\rho (Sx,Sy)\le \rho (Tx,Ty)-\varphi (\rho (Tx,Ty)), \end{aligned}$$where \(\varphi \in \Phi .\) In all cases the conditions of Theorem 5.2 hold, therefore, we obtain the result.
\(\square \)
6 On the convergence and stability of the Jungck-Noor iteration scheme for (\(\psi -\varphi \))-weak contraction type mappings
From now on, as in [39], it is assumed that \((M,\,\rho ,\, \mathcal {W})\) is a convex b-metric space with parameter \(s\ge 1\). That is, there exists a mapping \(\mathcal {W}:M\times M\times [0,1]\longrightarrow M\) such that for each \((x,y,\lambda )\in M\times M\times [0,1]\) and \(z\in M\),
Also we are going to assume that \(S, T : N \longrightarrow M\) are two nonself mappings on a subset N of M such that \(S(N) \subset T(N)\), where T(N) is a complete subspace of M. The Jungck-Noor iteration scheme on \((M,\,\rho ,\, \mathcal {W})\) is defined by similarity as in (1.3).
6.1 Convergence results
To prove the convergence of the Jungck-Noor iteration process we will impose some extra conditions to the function \(\psi \in \Psi \). We recall that in 2007, Varos̆anec [48] introduce the following class of functions which generalize the classical convex functions, s-convex function and other convex-type functions.
Definition 6.1
[48] Let \(h:J \supset (0,1)\longrightarrow \mathbb {R}\) be a non-negative function, \(h\not \equiv 0\). The function \(f:(a,b)\longrightarrow \mathbb {R}\) is called an h-convex function, if f is non-negative and for all \(x,y\in (a,b)\), \(\alpha \in (0,1)\) we have
Theorem 6.1
Let \((M,\,\rho ,\, \mathcal {W})\) be a convex b-metric space with parameter \(s\ge 1\) and let \(S, T : N \longrightarrow M\) be (\(\psi -\varphi \))-weak contraction type nonself mappings on a subset N of M such that \(S(N) \subset T(N)\), where T(N) is a complete subspace of M. Let us assume that \(\psi \in \Psi \) is a h-convex function satisfying \(h(t)\le K t\), for all \(t\in (0,1)\), with \(K>0\). Let p be a POC point of S and T (that is, \(p=Sw=Tw\), \(w\in N\)). For \(x_0\in N\), let \((Tx_n)\) be the Jungck-Noor iteration process defined by (1.3). If any of the following conditions hold:
-
(i)
\((\alpha _n),\; (\beta _n) \subset [0,1/2]\) and
$$\begin{aligned} \displaystyle \sum _{j=0}^{+\infty }\left[ K(1+K)\beta _j+\alpha _j- (K+1)^2+2 \right] =+\infty , \end{aligned}$$or
-
(ii)
\((\alpha _n),\; (\beta _n) \subset [1/2,1]\) and
$$\begin{aligned} \displaystyle \sum _{j=0}^{+\infty }\left[ -(1+K)K\beta _j-\alpha _j-K+2 \right] =+\infty , \end{aligned}$$
then, \((Tx_n)\) converges to p.
Proof
Let \(x_0\in N\) and define the sequence \((Tx_n)\) by formula (1.3). Let \(p=Sw=Tw\), then
Now,
Similarly, we obtain
Thus, assembling these bounds and the fact that \(h(t)\le Kt\), we have,
If \((\alpha _n),\; (\beta _n)\subset [0,1/2]\), from estimate (6.1), we get
Then, it follows recursively that:
For \((\alpha _n),\; (\beta _n)\subset [1/2,1]\), we obtain, from (6.1), the estimate:
Taking limits as \(n\rightarrow +\infty \) in (6.3) and (6.5), we conclude from hypotheses (i) and (ii), that in both cases \(\lim _{n\rightarrow +\infty }\psi (s\rho (Tx_{n+1},p))=0\), which implies that the Jungck-Noor sequence \((Tx_n)\) converges to p. This finishes the proof. \(\square \)
In the next result we prove that the Jungck-Noor iteration process converges to the POC of S and T for any h-convex \(\psi \in \Psi \) satisfying \(h(t)\le K t\), \(t\in (0,1)\), with \(0<K<\sqrt{2}-1\) and \((\alpha _n),\;(\beta _n)\subset [0,1/2]\) or \((\alpha _n),\;(\beta _n)\subset [1/2,1]\).
Proposition 6.2
Let \((M,\,\rho ,\, \mathcal {W})\) be a convex b-metric space with parameter \(s\ge 1\) and let \(S, T : N \longrightarrow M\) be (\(\psi -\varphi \))-weak contraction type nonself mappings on a subset N of M such that \(S(N) \subset T(N)\), where T(N) is a complete subspace of M. Let us assume that \(\psi \in \Psi \) is a h-convex function satisfying \(h(t)\le K t\), for all \(t\in (0,1)\) with \(0<K<\sqrt{2}-1\). Let p be a POC point of S and T and for \(x_0\in N\), let \((Tx_n)\) be the Jungck-Noor iteration process (1.3). Then, \((Tx_n)\) converges to p provided \((\alpha _n),\;(\beta _n)\subset [0,1/2]\) or \((\alpha _n),\;(\beta _n)\subset [1/2,1]\).
Proof
Notice, from estimate (6.2) in the proof of Theorem 6.1, that for \((\alpha _n),\; (\beta _n)\subset [0,1/2]\) we have:
Notice that \(0<\kappa <1\) for \(0<K<\sqrt{2}-1\), then \(\lim _{n\rightarrow +\infty }\psi (s\rho (Tx_{n+1},p))=0\). Therefore, the Jungck-Noor iteration process converges to p in this case. The same conclusion is obtained for \((\alpha _n),\; (\beta _n)\subset [1/2,1]\), by using estimate (6.4). \(\square \)
On the other hand, if in Definition 6.1, we consider the function \(h(t)=t^s\), \(s\in (0,1]\), then the function f is called a s-convex function. Notice that in this situation, the function h does not satisfies the condition \(h(t)\le Kt\), since \(t^{s-1}\) is not bounded for t close to 0. In the next result we prove the convergence of the Jungck-Nook iteration for \(\psi \in \Psi \) being s-convex.
Theorem 6.3
Let \((M,\,\rho ,\, \mathcal {W})\) be a convex b-metric space with parameter \(s\ge 1\) and let \(S, T : N \longrightarrow M\) be (\(\psi -\varphi \))-weak contraction nonself mappings on a subset N of M such that \(S(N) \subset T(N)\), where T(N) is a complete subspace of M. Let us assume that \(\psi \in \Psi \) is a s-convex function. Let p be a POC point of S and T (that is, \(p=Sw=Tw\), \(w\in N\)). For \(x_0\in N\), let \((Tx_n)\) be the Jungck-Noor iteration process defined by (1.3). If any of the following conditions hold:
-
(i)
\((\alpha _n),\; (\beta _n),\; (\gamma _n) \subset [0,1/2]\) and
$$\begin{aligned} \displaystyle \sum _{j=0}^{+\infty }\left[ s\alpha _j-(1+2(1-\gamma _j)^s)(1-\beta _j)^s \right] =+\infty , \end{aligned}$$or
-
(ii)
\((\alpha _n),\; (\beta _n)\; (\gamma _n) \subset [1/2,1]\) and
$$\begin{aligned} \displaystyle \sum _{j=0}^{+\infty }\left[ 1-\alpha _j^s-\beta _j^s \left( 1+2\gamma _j^s \right) \right] =+\infty , \end{aligned}$$
then, \((Tx_n)\) converges to p.
Proof
From the proof of Theorem 6.1, we have the estimate
Replacing \(h(t)=t^s\), we get
Since the function \(t\mapsto t^s\), (\(s\in (0,1]\)) is increasing, we have: for \((\alpha _n),\; (\beta _n),\; (\gamma _n)\subset [0,1/2]\)
Now, for \((\alpha _n),\; (\beta _n),\; (\gamma _n)\subset [1/2,1]\) we get
Taking limits as \(n\rightarrow +\infty \) in (6.6) and (6.7), from the hypotheses, we conclude in both cases that \(\lim _{n\rightarrow +\infty } \psi (s\rho (Tx_{n+1},p))=0\). That is, the Jungck-Noor iteration converges to p. \(\square \)
6.2 Stability result
An iterative process is said numerically stable if and only if any sequence \((y_n)\) approximately close to a convergent sequence \((x_n)\) generated by the iteration converges to the same limit. The notion of stability of iterative procedures for a pair of self-maps of a metric space \((M,\,d)\) was introduced in 2005 by Singh et al. [43].
Definition 6.2
Let \((M,\,\rho ,\,\mathcal {W})\) be a convex b-metric space, let N be a subset of M, and let \(S,T:N\longrightarrow M\) be such that \(S(N)\subset T(N)\). For any \(x_0\in N\), let the sequence \((Tx_n)\) generated by the iterative procedure
converging to p. Also, let \((Ty_n)\subset M\) be an arbitrary sequence and let
The iterative process (6.8) will be called (S, T)-stable if \(\lim _{n\rightarrow +\infty }\varepsilon _n=0\) implies that \(\lim _{n\rightarrow +\infty }Ty_n=p\).
The following fact concerning to recurrent inequalities will be useful to prove our (S, T)-stability result for the Jungck-Noor iterative scheme applied to (\(\psi -\varphi \))-weak contraction mappings. (See e.g. [10, Lemma 1.6].)
Lemma 6.4
Let \((a_n)\), \((b_n)\) be sequences of nonnegative numbers and \(0\le q<1\), so that
If \(\lim _{n\rightarrow +\infty }b_n=0\), then \(\lim _{n\rightarrow +\infty }a_n=0\).
In the next result we will assume that the function h given in Definition 6.1 is bounded from above:
where \(M>0\) satisfies that
Here, \(\lfloor s\rfloor \) denotes the smallest integer greater or equal to s. Notice that such a positive number M exists since the polynomial function \(p_s(t)=2t^3+t^2+\lfloor s\rfloor t-1\) satisfies that \(p_s(0)=-1\) and it is strictly increasing on \(\mathbb {R}_+\) because \(p'_s(t)>0\) (due to the fact that \(\lfloor s\rfloor \ge 1\)). Also, \(p_s\) changes sign in \(\mathbb {R}_+\) (take, for instance, \(t=1\)). That means, there exists \(t^*\in \mathbb {R}_+\) such that \(p_s(t)<0\), \(t\in [0,t^*)\) and \(p_s(t)\ge 0\), \(t\in [t^*,+\infty )\).
Theorem 6.5
Let \((M,\,\rho ,\, \mathcal {W})\) be a convex b-metric space with parameter \(s\ge 1\), let S and T be (\(\psi -\varphi \))-weak contraction type selfmappings of M with \(\psi \in \Psi \) a subadditive h-convex function such that h satisfies (6.9). Let p be a POC point of S and T (that is, \(p=Sw=Tw\), \(w\in M\)). Let \(x_0\in M\) and suppose that the sequence \((Tx_n)\) generated by Jungck-Noor iteration process (1.3) converges to p. Then the Jungck-Noor iteration process is (S, T)-stable.
Proof
Let \(p=Sw=Tw\) and let \((Ty_n)\) be an arbitrary sequence. Define
where \(Tz_n=\mathcal {W}(Ty_n,Sw_n,\beta _n)\) and \(Tw_n=\mathcal {W}(Ty_n,Sy_n,\gamma _n)\). Now,
Since \(\psi \in \Psi \) is h-convex and subadditive, we have
In the last inequality we use the fact that a subbaditive function \(\psi \) satisfies that \(\psi (st)\le \lfloor s\rfloor \psi (t)\), where, for \(s\in \mathbb {R}\), \(\lfloor s\rfloor \) denotes the smallest integer greater or equal to s.
Now, notice that
Therefore, we get
On the other hand,
where, as before,
Finally,
with,
These upper bounds allow us to conclude that
where \(q:=2M^3+M^2+\lfloor s\rfloor M<1\). Now, from Lemma 6.4 we conclude that \(\lim _{n\rightarrow +\infty }\psi (s\varepsilon _n)=0\) implies \(\lim _{n\rightarrow +\infty }\psi (\rho (Ty_n,p))=0\). Thus, the conclusion follows from the fact that \(\psi \in \Psi \). \(\square \)
References
Aamri, M.; El Moutawakil, D.: Some new common fixed point theorems under strict contractive conditions. J. Math. Anal. Appl. 270, 181–188 (2002)
Abdelhakim, A.A.: A convexity of functions on convex metric spaces of Takahashi and applications. J. Egypt. Math. Soc. 24, 348–354 (2016)
Abbas, M.; Khan, M.A.: Common fixed point theorem of two mappings satisfying a generalized weak contractive condition. Int. J. Math. Sci. 2009, 9 (2009)
Aghajani, A.; Abbas, M.; Roshan, J.R.: Common fixed point of generalized weak contractive mappings in partially ordered \(b\)- metric spaces. Math. Slovaca 64(4), 941–960 (2014)
Alecsa, C.D.: On new faster fixed point iterative schemes for contraction operators and comparison of their rate of convergence in convex metric spaces. Int. J. Nonlinear Anal. Appl. 8(1), 353–388 (2017)
Alber,Y.I., Guerre-Delabriere, S.: Principle of weakly contractive maps in Hilbert spaces. In: Gohberg, I., Lybich, Y. (eds.) New Results in Operator Theory and Its Applications, OTAA, Vol. 98, pp. 7–12, Birkhäuser Basel (1997)
Amini-Harandi, A.: Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012, 204 (2012)
Bakhtin, I.A.: The contraction mapping principle in almost metric spaces. J. Funct. Anal. 30, 26–37 (1989)
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133–181 (1922)
Berinde, V.: Iterative Approximation of Fixed Points, LNM 1912, p. 322. Springer, Berlin (2007)
Berinde, V.: Seminar on fixed point theory, preprint 3, pp. 3–9 (1993)
Bnouhachem, A.; Noor, M.A.; Rassias, Th.M.: Three-steps iterative algorithms for mixed variational inequalities. Appl. Math. Comput. 183, 436–446 (2006)
Boriceanu, M.: Fixed point theory for multivalued generalized contraction on a set with two \(b\)-metrics. Stud. Univ. Babes-Bolyai Math. LIV 3, 3–14 (2009)
Chauhan, S.; Vujavić, J.: Employing common limit range property with variants of \(R\)-weakly commuting mappings in metric spaces. J. Korean Soc. Math. Educ. Ser. B Pure Appl. Math. 22(2), 127–138 (2015)
Cruz-Uribe, D.V., Fiorenza, A.: Variable Lebesgue Spaces, Foundations and Harmonic Analysis, p. 317. In: Birkhäuser, Basel, Appl. Num. Harm. Anal. (2013)
Czerwik, S.: Contraction mapping in \(b\)- metric spaces. Acta Math. Inform. Univ. Ostraviensis 1(1), 5–11 (1993)
Czerwik, S.: Non linear set valued mapping in \(b\)- metric spaces. Atte Sem. Univ. Modena 46, 263–276 (1998)
Delbosco, D.: Un’ estensione di un teorema sul punti fisso di S. Reich. Rend. Sem. Mat. Univ. Torino 35, 233–238 (1976-77)
Dulta, P.N.; Choudhurry, B.S.: A generaliation of contraction principle in metric spaces. Fixed Point Theory Appl. 2008, 406368 (2008)
Imnang, S.; Suantai, S.: Common fixed points of multistep Noor iterations with errors for a finite family of generalized asymptotically quasi-nonexpansive mappings. Abstr. Appl. Anal. 2009, 14 (2009)
Işik, H.; Tükoglu, D.: Fixed point theorems for weakly contractive mappings in partially ordered metric-like spaces. Fixed Point Theory Appl. 2013, 51 (2013)
Isufati, A.: Rational contractions in \(b\)- metric spaces. J. Adv. Math. 5(3), 803–811 (2014)
Jain, M.; Tas, K.; Kumar, S.; Gupta, N.: Coupled fixed point theorems for a pair of weakly compatible maps along with \(\text{ CLR}_g\)property in fuzzy metric spaces. J. Appl. Math. 2012, 961210 (2012)
Jungck, G.: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 9, 771–779 (1986)
Jungck, G.; Rhoades, B.E.: Fixed point theorems for occasionally weakly compatible mappings. Fixed Point Theory 7, 287–296 (2006)
Karapinar, E.; Zhang, D.: Properties and principles in Branciari distance space. J. Fixed Point Theory Appl. 21(3), 72 (2019)
Khan, A.R.; Domlo, A.A.; Fukhar-ud-din, H.: Common fixed points Noor iteration for a finite family of asymptotically quasi-nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 341, 1–11 (2008)
Khan, M.S.; Swalech, M.; Sessa, S.: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30, 323–326 (1984)
Khamsi, M.A.; Hussain, N.: KKM mappings in metric type spaces. Nonlinear Anal. 73(9), 3123–3129 (2010)
Kumar, S.; Gar, S.K.: Expansion mappings theorems in metric spaces. Int. J. Contemp. Math. Sci. 4(36), 1749–1758 (2009)
Lee, B.-S.: Strong convergence theorems with a Noor-type iterative scheme in convex metric spaces. Comput. Math. Appl. 61(11), 3218–3225 (2011)
Mitiku, B.; Karusala, K.; Namana, S.R.: Some fixed point results of generalized \((\phi,\psi )\)- contractive mappings in ordered \(b\)- metric spaces. BMC. Res. Notes 13, 537 (2020)
Mitrea, D., Mitrea, I., Mitrea, M., Monniaux, S.: Groupoid metrization theory with applications to analysis on quasi-metric spaces and functional analysis, p. 486. In: Birkhäuser Basel, Appl. Num. Harm. Anal. (2013)
Morales, J.R.; Rojas, E.M.: Contractive mappings of rational type controlled by minimal requirements functions. Afr. Mat. 27(1–2), 65–77 (2016)
Morales, J.R.; Rojas, E.M.; Bisht, R.K.: Common fixed points for pairs of mappings with variable contractive parameters. Abstr. Appl. Anal. 2014, 7 (2014)
Olatinwo, M.O.; Postolache, M.: Stability results for Jungck-type iterative processes in convex metrics paces. Appl. Math. Comput. 218(12), 6727–6732 (2012)
Pant, R.P.: Common fixed points of noncommuting mappings. J. Math. Anal. Appl. 188, 436–440 (1994)
Pathak, M.K.; Cho, Y.T.; Kang, S.M.: Remarks on \(R\)- weakly Commuting mappings and common fixed point theorems. Bull. Korea Math. Soc. 34, 247–257 (1977)
Razani, A.; Bagherboum, M.: Convergence and stability of Jungck-type iterative procedures in convex \(b\)- metric spaces. Fixed Point Theory Appl. 2013, 331 (2013)
Roldán López-de-Hierro, A.-F.; Sintunavarat, W.: Common fixed point theorems in fuzzy metric spaces using the \(\text{ CLR}_g\) property. Fuzzy Sets Syst. 282, 131–142 (2016)
Rhoades, B.E.: Some theorems on weakly contractive maps. Nonlinear Anal. 47(4), 2683–2693 (2001)
Saluja, G.S.; Kim, J.K.; Lim, W.H.: Common fixed point theorems under generalized \((\psi -\phi )\)-weak contractions in \(S\)-metric spaces with applications. Nonlinear Funct. Anal. Appl. 26(1), 13–33 (2021)
Singh, S.L.; Bhatnagar, C.; Mishra, S.N.: Stability of Jungck-type iterative procedures. Int. J. Math. Math. Sci. 19, 3035–3043 (2005)
Singh, S.L.; Tomar, A.: Weaker forms of commuting maps and existence of fixed points. J. Korean Soc. Math. Educ. Ser. B Pure Appl. Math. 10(3), 145–161 (2003)
Sintunavarat, W.; Kumman, P.: Common fixed point theorems for a pair of weakly compatible mappings in Fuzzy metric spaces. J. Appl. Math. 2011, 637958 (2011)
Skof, F.: Teorema di punti fisso per applicazioni negli spazi metrici. Atti. Accad. Aci. Torino 111, 323–329 (1977)
Takahashi, W.: A convexity in metric spaces and nonexpansive mappings. Kodai Math. Sem. Rep. 22, 142–149 (1970)
Varos̆anec, S.: On \(h\)-convexity. J. Math. Anal. Appl. 326, 303–311 (2007)
Xu, B.; Noor, M.A.: Fixed-point iterations for asymptotically nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 267, 444–453 (2002)
Acknowledgements
The authors are grateful to the referees whose comments and suggestions lead to an improvement of this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Morales, J.R., Rojas, E.M. Common fixed points for \((\psi -\varphi )\)-weak contractions type in b-metric spaces. Arab. J. Math. 10, 639–658 (2021). https://doi.org/10.1007/s40065-021-00347-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-021-00347-9