The purpose of this article is to construct fixed point theorems and prove the existence and uniqueness of common fixed point results of \(s-\alpha\) contraction for a pair of maps in the setting of \(b\) – dislocated metric spaces. Our results extend and generalize several well-known comparable results in the literature. The study procedure we used was that of Zoto and Kumari [1]. Furthermore, we provided an example in support of our main result.
Fixed point theory is an important tool in the study of nonlinear analysis as it is considered to be the key connection between pure and applied mathematics with wide applications in all branches of Mathematics, Economics, Biology, Chemistry, Physics and almost all engineering fields.
The famous Banach contraction principle is one of the powerful tools in metric fixed point theory and It has been extended and generalized in different directions by different researchers. The notion of metric space has been extended, improved and generalized in many different ways. Bakhtin [2] introduced a \( b \) – metric space as a generalization of metric space and investigated some fixed point theorem in such spaces. Hitzler [3] introduced the notion of dislocated metric spaces. Zeyada et al., [4] generalized the results of Hitzler [3] and introduced the concept of complete dislocated quasi metric space. Aage et al., [5] proved common fixed point theorem in dislocated quasi \( b \) – metric space. Zoto and Kumari [1] constructed theorems on common fixed point results on \( b \) – dislocated metric spaces and proved the existence and uniqueness.
In this research work, we concentrate in establishing and proving common fixed point results for a pair of maps satisfying \( s-\alpha \) contraction condition in the setting \( b \) – dislocated metric spaces.
Definition 1. [6] Let \( X \) be nonempty set and a mapping \( d_{l}:X\times X\rightarrow\Re^{+} \) is called a dislocated or \( d_{l} \) – metric if the following conditions hold:
Definition 2. [7] Let \( X \) be nonempty set and \( s\geq 1 \) be a real number, then a mapping \( b_{d}:X\times X\rightarrow \Re^{+}\) is called \( b \) – dislocated metric if the following conditions hold:
Remark 1. The class of \( b \) – dislocated metric space is larger than that of dislocated metric space.
Definition 3. Let \((X,d)\) be a metric space and \(T : X \rightarrow X\) be a self-map, then \(T\) is said to be a contraction map if there exists a constant \(k \in [0, 1)\) such that \(d(Tx,Ty) \leq kd(x,y)\) for all \(x,y \in X.\)
Definition 4. [1] Let \( (X, b_{d}) \) be a complete \( b \) – dislocated metric space with parameter \( s\geq 1 .\) If \( T:X\rightarrow X \) is self-mapping that satisfy
Lemma 1. Let \( (X,b_{d}) \) be a \( b \) – dislocated metric space with parameter \( s\geq 1 .\) Suppose that \( \{x_n\}\) and \( \{y_n\} \) are \( b \) – dislocated convergent to \( x,y\in X \) respectively. Then we have \[\frac{1}{s^{2}}b_{d}(x,y)\leq\lim\limits_{n\to\infty}infb_{d}(x_{n},y_{n})\leq\lim\limits_{n\to\infty} \text{Sup}\,b_{d}(x_{n},y_{n})\leq s^{2}b_{d}(x,y).\] In particular, if \( b_{d}(x_{n},y_{n})=0 \), then we have \( \lim\limits_{n\to\infty} b_{d}(x_{n},y_{n})=0=b_{d}(x,y) .\) Moreover, if each \( z\in X \), we have \[\frac{1}{s}b_{d}(x,z)\leq\lim\limits_{n\to\infty}infb_{d}(x_{n},z)\leq\lim\limits_{n\to\infty} \text{Sup}\,b_{d}(x_{n},z)\leq sb_{d}(x,z).\] In particular, if \( b_{d}(x,z)=0 \) , then we have \( \lim\limits_{n\to\infty} b_{d}(x_{n},z)=0=b_{d}(x,z) \).
Theorem 1. [1] Let \( (X,b_{d}) \) be complete \( b \) – dislocated metric space with parameter \( s\geq 1 .\) If \( T:X\rightarrow X\ \) is a self-map that is a \( s-\alpha \) quasi contraction, then \( T \) has a unique fixed point in \( X .\)
Example 1. [1] Let \(X=[0,\infty)\) and \( b_{d}(x,y)=(x+y)^{2} \) for all \( x,y\in X .\) Then \( b_{d} \) is a \( b \) – dislocated metric on \( X \) with parameter \( s=2 \) and is complete.
Definition 5. [8] Let \( (X,b_{d}) \) be a \( b \) – dislocated metric space and \( \{x_n\} \) be a sequence of points in \( X .\) A point \( x \in X \) is said to be the limit of the sequence \( \{x_n\} \) if \(\lim\limits_{n \to\infty} d(x_n,\ x)=0 \) and we say that the sequence \( \{x_n\} \) is \( b \) – dislocated convergent to \( x \) and denote it by \( x_{n}\rightarrow x \) as \( n\rightarrow\infty .\)
Lemma 2. [7] The limit of a convergent sequence in a \( b \) – dislocated metric space is unique.
Definition 6. [7] A sequence \( \{x_n\} \) in a \( b \) – dislocated metric space \( (X,b_{d}) \) is called a \( b \) – dislocated Cauchy sequence if and only if given \( \epsilon> 0 ,\) there exists \( n_{0}\in\mathbb{N} \) such that for all \(n,m>n_{0},\) we have \( b_{d}(x_{n},x_{m})< \epsilon \) or \(\lim\limits_{n,m\to\infty} d(x_n\,\ x_m)=0 .\)
Lemma 3. [7] Every \( b \) – dislocated convergent sequence in \( b \) – dislocated metric space is a \( b \) – dislocated Cauchy.
Definition 7. [7] A \( b \) – dislocated metric space \( (X, b_{d}) \) is called complete if every \( b \) – dislocated Cauchy sequence in \( X \) is a \( b \) – dislocated convergent.
Definition 8. [6] Let \( T:X\rightarrow X \) and \( S:X\rightarrow X \) be self-maps in \((X,b_{d}).\) An element \(x \in X \) is said to be a coincidence point of \( T \) and \( S \) if and only if \( Tx=Sx=u .\) A point \( u \in X \) is point of coincidence of \( T \) and \( S .\)
Definition 9. [9] Let \( T \) and \( S \) be two self-maps on a metric space \( (X,d) .\) Then \( T \) and \( S \) are said to be weakly compatible if they commute at their coincident point; that is \( Tu=Su \) for some \( u \in X \) implies \( STu=TSu.\)
Definition 10. [10] Two self-maps \( T:X\rightarrow X \) and \( S:X\rightarrow X \) are said to be occasionally weakly compatible (OWC) if there exists some point \( u \in X \) such that \( Tu=Su \) and \( STu=TSu.\)
Remark 2. Clearly weakly compatible maps are occasionally weakly compatible. However the converse is not true in general.
Definition 11. [11] Let \( T:X\rightarrow X \) and \( S:X\rightarrow X \) be two self-maps on a metric space \( (X,d) .\) Then \( T \) and \( S \) are said to satisfy the common limit in the range of \( S \) property, denoted by (CLRs) if there exists a sequence \(\{x_n\} \in X \), such that \[\lim\limits_{n\to\infty} Tx_{n}=\lim\limits_{n\to\infty} Sx_{n}=Sx,\] for some \( x \in X .\)
Inspired and motivated by the result of Zoto and Kumari [1], the purpose of this research was to extend and generalize their main theorem to common fixed point theorem involving pairs of \( s-\alpha \) contraction condition in the setting of \( b \) – dislocated metric space.
Definition 12. Let \( (X,b_{d}) \) be a \( b \) – dislocated metric space with parameter \( s\geq 1 \). If \( T,S :X\rightarrow X \) are self-mapping that satisfy
Theorem 2. Let \( (X,b_{d}) \) be a complete \( b \) – dislocated metric space with parameter \( s\geqslant 1 .\) If \( T,S \) be self-maps of \( X \) such that: The pair \( (T,S) \) satisfy common limit in the range of S property (CLRs) in \( X \) and also \( T \) and \( S \) are \( s-\alpha \) contraction maps, then
Proof. Since \( T \) and \( S \) satisfy (CLRs) property, there exists a sequence \( \{x_{n}\} \in X \) such that: \[ \lim\limits_{n\to \infty}Tx_{n}=\lim\limits_{n\to \infty}Sx_{n}=Su \] for some \( u\in X .\) By Equation (2), we have
Case 1: If \( max\{b_{d}(Su,Tu),b_{d}(Su,Su)\} =b_{d}(Su,Tu)\), then we have \(b_{d}(Tu,Su)\leq\frac{\alpha}{s^2} b_{d}(Su,Tu).\) It follows that \(b_{d}(Su,Tu)=0\) since \( 0\leq\alpha< \frac{1}{2}.\) Hence \( Su=Tu=z \) (say).
Case 2: If \( max\{b_{d}(Su,Tu),b_{d}(Su,Su)\} =b_{d}(Su,Su)\), then we have \begin{eqnarray*} s^{2}b_{d}(Tu,Su)&\leq&\alpha\ b_{d}(Su,Su)\\ &\leq&\ s \alpha [b_{d}(Su,Tu)+b_{d}(Tu,Su)]\\ &=&\ 2s\alpha b_{d}(Su,Tu). \end{eqnarray*}
It follows that \(b_{d}(Tu,Su)\leq\frac{2\alpha}{s} b_{d}(Su,Tu),\) which in turn implies that \(b_{d}(Su,Tu)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( Su=Tu=z \) (say). Therefore, \( T \) and \( S \) have a coincidence point. Now, by weakly compatibility property of the pair \( (T,S) \), we have \[ Tz=T(Su)=STu=Sz\] which implies that \( Tz=Sz .\) Now, we show existence of a common fixed point. First, we show that \( z \) is a fixed point of \( T \). By Equation (2), we have \[s^{2}b_{d}(Tz,Tx_{n})\leq\alpha\max\{b_{d}(Sz,Sx_{n}),b_{d}(Sz,Tz),b_{d}(Sx_{n},Tx_{n}),b_{d}(Sz,Tz),b_{d}(Sx_{n},Tz)\}.\] Taking the upper limit as \( n\rightarrow\infty \), we get \begin{eqnarray*} s^{2}b_{d}(Tz,z)&\leq&\alpha\max\{\lim\limits_{n\to\infty}sup[b_{d}(Sz,Sx_{n}),b_{d}(Sz,Tz),b_{d}(Sx_{n},Tx_{n}),b_{d}(Sz,Tx_{n}),b_{d}(Sx_{n},Tz)]\}\\ &=& \alpha\max\{b_{d}(Sz,Su),b_{d}(Sz,Tz),b_{d}(Su,Su),b_{d}(Sz,Su),b_{d}(Su,Tz)\}. \end{eqnarray*} Since \( Su=Tu=z \) and \( Tz=Sz \), we have \begin{eqnarray*} s^{2}b_{d}(Tz,z)&\leq&\alpha\max\{b_{d}(Tz,z),b_{d}(Sz,Sz),b_{d}(z,z),b_{d}(Tz,z),b_{d}(z,Tz)\}\\&=&\alpha\max\{b_{d}(Tz,z),b_{d}(Tz,Tz),b_{d}(z,z),b_{d}(Tz,z),b_{d}(z,Tz)\}. \end{eqnarray*} Now, we consider the following cases as follows;Case 1: If \( max\{b_{d}(Tz,z),b_{d}(Tz,Tz),b_{d}(z,z)\} =b_{d}(Tz,z)\), then we have \(b_{d}(Tz,z)\leq\frac{\alpha}{s^2} b_{d}(Tz,z),\) which implies \(b_{d}(Tz,z)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence it follows that \( Tz=z. \)
Case 2: If \( max\{b_{d}(Tz,z),b_{d}(Tz,Tz),b_{d}(z,z)\} =b_{d}(Tz,Tz)\), then we have \begin{eqnarray*} s^{2}b_{d}(Tz,z)&\leq&\alpha\ b_{d}(Tz,Tz)\\ &\leq&\ s\alpha [b_{d}(z,Tz)+b_{d}(Tz,z)]\\ &=&\ 2s\alpha b_{d}(Tz,z). \end{eqnarray*} It follows that \(b_{d}(Tz,z)\leq\frac{2\alpha}{s}b_{d}(Tz,z),\) which implies \(b_{d}(Tz,z)=0\) Since \( 0\leq\alpha< \frac{1}{2}.\) Hence \( Tz=z \).
Case 3: If \( max\{b_{d}(Tz,z),b_{d}(Tz,Tz),b_{d}(z,z)\} =b_{d}(z,z)\), then we have \begin{eqnarray*} s^{2}b_{d}(Tz,z)&\leq&\alpha\ b_{d}(z,z)\\ &\leq&\ s\alpha [b_{d}(z,Tz)+b_{d}(Tz,z)]\\ &=&\ 2s\alpha b_{d}(Tz,z). \end{eqnarray*} It follows that \(b_{d}(Tz,z)\leq\frac{2\alpha}{s^2}b_{d}(Tz,z),\) which implies \(b_{d}(Tz,z)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( Tz=z \). But we know that \( Tz=Sz\) which gives us \( Tz=Sz=z\). Therefore, \(z\) is a common fixed point of \(T\) and \(S\).
Case 1: If \( max\{b_{d}(z\prime,z),b_{d}(z,z),b_{d}(z\prime,z\prime)\} =b_{d}(z,z\prime)\), then we have \(b_{d}(z\prime,z)\leq\frac{\alpha}{s^2} b_{d}(z,z\prime)\) which implies \(b_{d}(z,z\prime)=0\) since \( 0\leq\alpha< \frac{1}{2}.\) Hence it follows that \( z=z\prime \).
Case 2: If \( max\{b_{d}(z\prime,z),b_{d}(z,z),b_{d}(z\prime,z\prime)\} =b_{d}(z,z)\), then we have \begin{eqnarray*} s^{2}b_{d}(z,z\prime)&\leq&\alpha\ b_{d}(z,z)\\ &\leq&\ s\alpha [b_{d}(z,z\prime)+b_{d}(z\prime,z)]\\ &=&\ 2s\alpha b_{d}(z,z\prime). \end{eqnarray*} It follows that \(b_{d}(z,z\prime)\leq\frac{2\alpha}{s} b_{d}(z,z\prime)\) which implies \(b_{d}(z\prime,z)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( z=z\prime \).
Case 3: If \( max\{b_{d}(z,z\prime),b_{d}(z,z),b_{d}(z\prime,z\prime)\} =b_{d}(z\prime,z\prime)\), then we have \begin{eqnarray*} s^{2}b_{d}(z,z\prime)&\leq&\alpha\ b_{d}(z\prime,z\prime)\\ &\leq&\ s\alpha [b_{d}(z,z\prime) b_{d}(z\prime,z)]\\ &=&\ 2s\alpha b_{d}(z\prime,z). \end{eqnarray*} It follows that \(b_{d}(z\prime,z)\leq\frac{2\alpha}{s} b_{d}(z\prime,z\prime)\) which implies \(b_{d}(z\prime,z)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( z\prime=z \) which contradicts to our assumption \( z\neq z\prime \).
Hence \( z \) is a unique common fixed point of \( T \) and \( S .\)
Theorem 3. Let \( (X,b_{d}) \) be a complete \( b \) – dislocated metric space with parameter \( s\geqslant 1 .\) If \( T,S \) be self-maps of \( X \) such that the pair \( (T,S) \) satisfy occasionally weakly compatible property (OWC) in \( X \) and \(T\) and \(S\) are an \( s-\alpha \) contraction maps. Then the pair \( (T,S) \) has a unique common fixed point.
Proof. Since \( T \) and \( S \) satisfy (OWC) property, there exists a point \( u \in X \) such that \(Tu=Su\) and \( TSu=STu.\) This implies that \( TSu=TTu=STu=SSu.\) It follows that \( TTu=SSu. \) We claim that \( Tu \) is the unique common fixed point of \( T \) and \( S .\) First, we assert that \( Tu \) is a fixed point of \( T .\) For, if \( TTu\neq Tu ,\) then by Equation (2), we get \begin{equation*} s^{2}b_{d}(Tu,TTu)\leq\alpha\max\Bigl\{b_{d}(Su,STu),b_{d}(Su,Tu),b_{d}(STu,TTu),b_{d}(Su,TTu),b_{d}(STu,Tu)\Bigr\}. \end{equation*} Since \( Su=Tu, \) then we have \begin{eqnarray*} s^{2}b_{d}(Tu,TTu)&\leq&\alpha\max\Bigl\{b_{d}(Tu,TTu),b_{d}(Tu,Tu),b_{d}(TTu,TTu),b_{d}(Tu,TTu),b_{d}(TTu,Tu)\Bigr\}\\ &=&\alpha\max\Bigl\{b_{d}(Tu,TTu),b_{d}(Tu,Tu),b_{d}(TTu,TTu)\Bigr\}. \end{eqnarray*} We consider the following three cases as follows.
Case 1: If \( max\{b_{d}(Tu,TTu),b_{d}(Tu,Tu),b_{d}(TTu,TTu)\} =b_{d}(Tu,TTu)\), then we have \(b_{d}(Tu,TTu)\leq\frac{\alpha}{s^2} b_{d}(Tu,TTu),\) which implies \(b_{d}(Tu,TTu)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( Tu=TTu \).
Case 2: If \( max\{b_{d}(Tu,TTu),b_{d}(Tu,Tu),b_{d}(TTu,TTu)\} =b_{d}(Tu,Tu)\), then we have \begin{eqnarray*} s^{2}b_{d}(Tu,TTu)&\leq&\alpha\ b_{d}(Tu,Tu)\\ &\leq&\ s \alpha [b_{d}(TTu,Tu)+b_{d}(Tu,TTu)]\\ &=&\ 2s\alpha b_{d}(TTu,Tu). \end{eqnarray*} It follows that \(b_{d}(TTu,Tu)\leq\frac{2\alpha}{s} b_{d}(TTu,Tu)\), which implies that \(b_{d}(TTu,Tu)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( TTu=Tu \).
Case 3: If \( max\{b_{d}(Tu,TTu),b_{d}(Tu,Tu),b_{d}(TTu,TTu)\} =b_{d}(TTu,TTu)\), then we have \begin{eqnarray*} s^{2}b_{d}(Tu,TTu)&\leq&\alpha\ b_{d}(TTu,TTu)\\ &\leq&\ s \alpha [b_{d}(TTu,Tu)+b_{d}(Tu,TTu)]\\ &=&\ 2s\alpha b_{d}(TTu,Tu). \end{eqnarray*} It follows that \(b_{d}(TTu,Tu)\leq\frac{2\alpha}{s} b_{d}(TTu,Tu),\) which implies that \(b_{d}(TTu,Tu)=0\) since \( 0\leq\alpha< \frac{1}{2} .\) Hence \( Tu=TTu \) which is a contradiction with \( Tu \neq TTu .\) There fore, \( TTu=Tu \) and \( Tu \) is the fixed point of \( T. \) Since \( TTu=TSu=STu=Tu=SSu, \) it implies \(STu=Tu.\) Thus \( Tu \) is fixed point of \( S. \) Therefore, \(Tu\) is a common fixed point of \( T \) and \( S .\)
Case 1: If \( max\{b_{d}(u,v),b_{d}(u,u),b_{d}(v,v)\} =b_{d}(v,u)\), then we have \(b_{d}(u,v)\leq\frac{\alpha}{s^2} b_{d}(v,u),\) which implies that \(b_{d}(v,u)=0\), since \( 0\leq\alpha< \frac{1}{2}. \) Hence it follows that \( u=v .\)
Case 2: If \( max\{b_{d}(v,u),b_{d}(u,u),b_{d}(v,v)\} =b_{d}(u,u)\), then we have \begin{eqnarray*} s^{2}b_{d}(v,u)&\leq&\alpha\ b_{d}(u,u)\\ &\leq&\ s\alpha [b_{d}(u,v)+b_{d}(u,v)]\\ &=&\ 2s\alpha b_{d}(u,v). \end{eqnarray*} It follows that \(b_{d}(v,u)\leq\frac{2\alpha}{s} b_{d}(v,u),\) which implies that \(b_{d}(v,u)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( v=u \).
Case 3: If \( max\{b_{d}(u,v),b_{d}(v,v),b_{d}(u,u)\} =b_{d}(v,v)\), then we have \begin{eqnarray*} s^{2}b_{d}(u,v)&\leq&\alpha\ b_{d}(v,v)\\ &\leq&\ s\alpha [b_{d}(u,v) b_{d}(v,u)]\\ &=&\ 2s\alpha b_{d}(u,v). \end{eqnarray*} It follows that \(b_{d}(u,v)\leq\frac{2\alpha}{s} b_{d}(v,v),\) which implies that \(b_{d}(v,u)=0\), since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( u=v \). Therefore, it contradicts with our assumption \( u\neq v .\)
Hence \( u \) is a unique common fixed point of \( T \) and \( S .\)
Theorem 4. Let \( (X, b_{d}) \) be a complete \( b \) – dislocated metric space with parameter \( s\geqslant 1.\) If \( T,S \) be self-maps of \( X \) such that \[s^{2}b_{d}(Tx,Ty)\leq\alpha\max\Bigl\{b_{d}(Sx,Sy),b_{d}(Sx,Tx),b_{d}(Sy,Ty),b_{d}(Sx,Ty),b_{d}(Sy,Tx)\Bigr\}\] for all \( x,y\in X \) and \( 0\leq\alpha< \frac{1}{2}.\) Then the pair \( (T,S) \) has a unique common fixed point.
Proof. Let \( x_{0} \) be arbitrary given point in \( X \). Define the sequence \( {y_{n} }\in X \) such that; \( y_{2n}=Tx_{2n}=Sx_{2n+1} ,\) for all \( n\geq 0. \) We show that \( {y_{n} }\in X \) for all \( n\in\mathbb{N}.\) Since \(y_{2n}=Tx_{2n}=Sx_{2n+1},\) we have from (1) that \begin{eqnarray*} s^{2}b_{d}(y_{2n}, y_{2n+1})&=& s^{2}b_{d}(Tx_{2n},Tx_{2n+1})\\ &\leq&\alpha\max\Bigl\{b_{d}(Sx_{2n},Sx_{2n+1}),b_{d}(Sx_{2n},Tx_{2n}),b_{d}(Sx_{2n+1},Tx_{2n+1}),b_{d}(Sx_{2n},Tx_{2n+1}),{}b_{d}(Sx_{2n+1},Tx_{2n}x)\Bigr\}\\ &=&\alpha\max\Bigl\{b_{d}(y_{2n-1},y_{2n}),b_{d}(y_{2n-1},y_{2n}),b_{d}(y_{2n},y_{2n+1}),b_{d}(y_{2n-1},y_{2n+1}),b_{d}(y_{2n},y_{2n})\Bigr\}\\ &\leq&\alpha\max\Bigl\{b_{d}(y_{2n-1},y_{2n}),b_{d}(y_{2n-1},y_{2n}),b_{d}(y_{2n},y_{2n+1}),s[b_{d}(y_{2n-1},y_{2n})+b_{d}(y_{2n},{}y_{2n+1})],s[b_{d}(y_{2n},y_{2n+1}+b_{d}(y_{2n-1},y_{2n})]\Bigr\} \end{eqnarray*} \begin{eqnarray*} &=&\alpha\max\Bigl\{b_{d}(y_{2n-1},y_{2n}),b_{d}(y_{2n-1},y_{2n}),b_{d}(y_{2n},y_{2n+1}),s[b_{d}(y_{2n-1},y_{2n})+b_{d}(y_{2n},{}y_{2n+1})],2s[b_{d}(y_{2n-1},y_{2n})]\Bigr\}. \end{eqnarray*} If \(b_{d}(y_{2n-1},y_{2n})\leq b_{d}(y_{2n},y_{2n+1}),\) for some \( n\in\mathbb{N},\) then by (1), we have \(s^{2}b_{d}(y_{2n},y_{2n+1})\leq2\alpha b_{d}(y_{2n},y_{2n+1}),\) which implies that \(b_{d}(y_{2n},y_{2n+1})\leq\frac{2\alpha}{s^2} b_{d}(y_{2n},y_{2n+1}).\) This is not true because \(\frac{2\alpha}{s^2}< 1.\) Thus \( b_{d}(y_{2n},y_{2n+1})\leq b_{d}(y_{2n-1},y_{2n})\) for all \( n\in\mathbb{N}.\) Also, by the above inequality, we get \begin{eqnarray*} s^2b_{d}(y_{2n},y_{2n+1})&\leq& 2\alpha s b_{d}(y_{2n-1},y_{2n}),\\ b_{d}(y_{2n-1},y_{2n})&\leq&\frac{2\alpha}{s} b_{d}(y_{2n-2},y_{2n-1}),\\ b_{d}(y_{2n-2},y_{2n-1})&\leq&\frac{2\alpha}{s} b_{d}(y_{2n-3},y_{2n-4}). \end{eqnarray*} Continuing like this, we have \[b_{d}(y_{2n},y_{2n+1})\leq cb_{d}(y_{2n-1},y_{2n})\leq c^{2}b_{d}(y_{2n-2},y_{2n-1}), \cdots \leq c^{n}b_{d}(y_{0},y_{1}),\] where \( c=\frac{2\alpha}{s} \) and \( 0\leq cn.\) Now, using the triangle inequality, we have
If \(T\) and \( S \) are continuous mappings, we get
\[ T(u)=T(\lim\limits_{n\to \infty}x_{n})=\lim\limits_{n\to \infty}Tx_{n}= S(u)= \lim\limits_{n\to \infty}Sx_{n+1}=u .\] Thus, \( u \) is a common fixed point of \( T \) and \( S \). If the self-map \( T \) is not continuous then, we consider \begin{eqnarray*} s^{2}b_{d}(y_{2n}, Tu)&=& s^{2}b_{d}(Tx_{2n},Tu)\\ &\leq&\alpha\max\Bigl\{b_{d}(Sx_{2n},Su),b_{d}(Sx_{2n},Tx_{2n}),b_{d}(Su,Tu),b_{d}(Sx_{2n},Tu),b_{d}(Su,Tx_{2n})\Bigr\}\\ &=&\alpha\max\Bigl\{b_{d}(y_{2n-1},Su),b_{d}(y_{2n-1},y_{2n}),b_{d}(Su,Tu),b_{d}(y_{2n-1},Tu),b_{d}(Su,y_{2n})\Bigr\}. \end{eqnarray*} On taking upper limit as \( n\rightarrow \infty ,\) we get \( s^{2}b_{d}(u,Tu)\leq\alpha\max \Bigl\{b_{d}(Su,Su),b_{d}(Su,Tu),b_{d}(Su,Tu)\Bigr\}\). We consider the following cases:Case 1: If \( max\{b_{d}(u,u),b_{d}(Tu,Tu),b_{d}(u,Tu)\} =b_{d}(Tu,u)\), then we have \(b_{d}(Tu,u)\leq\frac{\alpha}{s^2} b_{d}(Tu,u),\) which implies \(b_{d}(Tu,u)=0\), since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( Tu=u \).
Case 2: If \( max\{b_{d}(u,u),b_{d}(Tu,Tu),b_{d}(Tu,u)\} =b_{d}(Tu,Tu)\), then we have \begin{eqnarray*} s^{2}b_{d}(Tu,u)&\leq&\alpha\ b_{d}(Tu,Tu)\\ &\leq&\ s\alpha [b_{d}(u,Tu)+b_{d}(Tu,u)]\\ &=&\ 2s\alpha b_{d}(Tu,u). \end{eqnarray*} It follows that \(b_{d}(Tu,u)\leq\frac{2\alpha}{s} b_{d}(Tu,u),\) which implies \(b_{d}(Tu,u)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( Tu=u \).
Case 3: If \( max\{b_{d}(u,u),b_{d}(Tu,Tu),b_{d}(Tu,u)\} =b_{d}(u,u)\), then we have \begin{eqnarray*} s^{2}b_{d}(Tu,u)&\leq&\alpha\ b_{d}(u,u)\\ &\leq&\ s\alpha [b_{d}(u,Tu) b_{d}(Tu,u)]\\ &=&\ 2s\alpha b_{d}(Tu,u). \end{eqnarray*} It follows that \(b_{d}(Tu,u)\leq\frac{2\alpha}{s} b_{d}(Tu,u),\) which implies \(b_{d}(Tu,u)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( Tu=u \).
In all cases \( b_{d}(u,Tu)=0 \) which implies that \( u=Tu. \) Thus, \( u \) is fixed point of \( T.\)
In similar cases, we have \(b_{d}(Su,u)\leq\frac{2\alpha}{s} b_{d}(Su,u),\) which implies \(b_{d}(Su,u)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence \( Su=u \). Thus, \( u \) is fixed point of \( S.\) Since, \( Su=u=Tu, \) then \( u \) is a common fixed point of \( T \) and \( S .\)
Case 1: If \( max\{b_{d}(u,v),b_{d}(u,u),b_{d}(v,v)\} =b_{d}(v,u)\), then we have \(b_{d}(u,v)\leq\frac{\alpha}{s^2} b_{d}(v,u),\) which implies \(b_{d}(v,u)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence it follows that \( u=v \).
Case 2: If \( max\{b_{d}(v,u),b_{d}(u,u),b_{d}(v,v)\} =b_{d}(u,u)\), then we have \begin{eqnarray*} s^{2}b_{d}(v,u)&\leq&\alpha\ b_{d}(u,u)\\ &\leq&\ s\alpha [b_{d}(u,v)+b_{d}(u,v)]\\ &=&\ 2s\alpha b_{d}(u,v). \end{eqnarray*} It follows that \(b_{d}(v,u)\leq\frac{2\alpha}{s} b_{d}(v,u),\) which implies \(b_{d}(v,u)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence it follows that \( v=u \).
Case 3: If \( max\{b_{d}(u,v),b_{d}(v,v),b_{d}(u,u)\} =b_{d}(v,v)\), then we have \begin{eqnarray*} s^{2}b_{d}(v,u)&\leq&\alpha\ b_{d}(v,v)\\ &\leq&\ s\alpha [b_{d}(u,v)+b_{d}(v,u)]\\ &=&\ 2s\alpha b_{d}(u,v). \end{eqnarray*} It follows that \(b_{d}(u,v)\leq\frac{2\alpha}{s} b_{d}(v,u),\) which implies \(b_{d}(v,u)=0\) since \( 0\leq\alpha< \frac{1}{2}. \) Hence in all cases \( u=v \). Therefore, it contradicts with our assumption \( u\neq v \). Hence \( u \) is a unique common fixed point of \( T \) and \( S .\)
Remark 3. If we take \(S=I\) (\(I\) is the identity map on \(X\)) in Theorem 4, we get Theorem 1.
Now, we give an example in support of Theorem 4.
Example 2. Let \(X=[0,1]\) and \(b_{d}(x,y)=(x+y)^2\) for all \(x, y \in X\) when \(s=2\) is a b-dislocated metric on \(X\). Then \((X,b_{d})\) is a b-dislocated metric space.
Solution. We take the \(s-\alpha\) contraction map and define the following \[Tx=\begin{cases} \frac{1}{25}x, \text{ if } x \in [0,1)\\ \frac{1}{30}, \text{ if } x=1 \end{cases} \text{ and }\;\;\;\; Sx=\frac{1}{5}x.\] Consider the sequence \(\{x_n\}\) given by \(X_n= \frac{1}{n}\) for all \(n \in \mathbf{N}.\) \(T\) and \(S\) satisfies the common limit in the range of \(S\) property. By using (CLRs) properties, we have \(\lim\limits_{n \to \infty}Tx_n = \lim\limits_{n \to \infty}Sx_n=0,\) for \( 0 \in Tx\) or \( 0 \in Sx.\) We have the following cases with \(\alpha = \frac{4}{25}. \)
Case 1: For \(x, y \in [0,1)\), we have \begin{equation*} s^2 b_{d}(Tx,Ty) = 4 b_{d}\biggl(\frac{1}{25}x,\frac{1}{25}y\biggr) = 4 \biggl(\frac{1}{25}x+\frac{1}{25}y\biggr)^2 = \frac{4}{25} \biggl(\frac{1}{5}x+\frac{1}{5}y\biggr)^2 \leq \frac{4}{25} b_{d}(Sx,Sy). \end{equation*} Therefore, \(s^2b_{d}(Tx,Ty)\leq \alpha b_{d}(Sx,Sy).\)
Case 2: For \(y< x\) and \(x=1\), we have \begin{equation*} s^2 b_{d}(T1,Ty) = 4 b_{d}\biggl(\frac{1}{30},\frac{1}{25}y\biggr) = 4 \biggl(\frac{1}{30}+\frac{1}{25}y\biggr)^2 \leq \frac{4}{25} \biggl(\frac{1}{5}+\frac{1}{5}y\biggr)^2 = \frac{4}{25} b_{d}\biggl(\frac{1}{5},\frac{1}{5}y\biggr) \leq \frac{4}{25} b_{d}(Sx,Sy). \end{equation*} Therefore, \(s^2b_{d}(T1,Ty) \leq \alpha b_{d}(S1,Sy)= \alpha b_{d}(Sx,Sy).\)
Case 3: For \(x< y\) and \(y=1\), we have \begin{equation*} s^2b_{d}(Tx,T1) = 4 b_{d}\biggl(\frac{1}{25}x,\frac{1}{30}\biggr) = 4 \biggl(\frac{1}{25}x+\frac{1}{30}\biggr)^2 \leq \frac{4}{25} \biggl(\frac{1}{5}x+\frac{1}{5}\biggr)^2 = \frac{4}{25} b_{d}\biggl(\frac{1}{5}x,\frac{1}{5}\biggr) \leq \frac{4}{25} b_{d}(Sx,Sy). \end{equation*} Therefore, \(s^2b_{d}(Tx,T1) \leq \alpha b_{d}(Sx,S1)= \alpha b_{d}(Sx,Sy).\)
Case 4: For \(x=y=1\), we have \begin{equation*} s^2 b_{d}(T1,T1) = 4 b_{d}\biggl(\frac{1}{30},\frac{1}{30}\biggr) = \frac{4}{25} \biggl(\frac{1}{6}+\frac{1}{6}\biggr)^2 \leq \frac{4}{25} \biggl(\frac{1}{5}+\frac{1}{5}\biggr)^2 = \frac{4}{25} b_{d}\biggl(\frac{1}{5},\frac{1}{5}\biggr) = \frac{4}{25} b_{d}\biggl(S1,S1\biggr) \leq \frac{4}{25} b_{d}(Sx,Sy). \end{equation*}
Therefore, \(s^2b_{d}(T1,T1) \leq \alpha b_{d}(S1,S1)=\alpha b_{d}(Sx,Sy).\)From cases 1 up to 4, we see that all the conditions of Theorem 4 are satisfied and \(0\) is the unique common fixed point of \(T\) and \(S\).