Coupled coincidence and coupled common fixed points of a pair for mappings satisfying a weakly contraction type T-coupling in the context of quasi \(\alpha\)b-metric space

Author(s): Kidane Koyas1, Solomon Gebregiorgis1
1Department of Mathematics, Jimma University, Jimma, Ethiopia.
Copyright © Kidane Koyas, Solomon Gebregiorgis. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, we have established a theorem involving a pair of mappings satisfying a weakly contraction type condition in the context of quasi \(\alpha\)b-metric space and proved the existence and uniqueness of coupled coincidence and coupled common fixed points. The concept of weakly compatibility of the pair of maps is applied to show the uniqueness of coupled common fixed point. This work offers an extension to the published work of Nurwahyu and Aris [1].

Keywords: Coupled coincidence point, coupled common fixed point, quasi \(\alpha\)b-metric space, T-coupling, Weakly contraction type.

1. Introduction

Fixed point theory has been one of the most influential research topics in various fields of engineering and science. It is widely applied in solving linear algebraic equations, ordinary differential equations, integral equations, partial differential equations. The first most significant result of metric fixed point theory was given by the polish mathematician Stefan Banach, in 1922, which is known as Banach contraction principle. The famous Banach contraction principle states that in a complete metric space, a contraction self-map has a unique fixed point. It is one of the cornerstones in the development of nonlinear analysis.

The concept of b-metric spaces was introduced by Bakhtin [2] in 1989, who used it to prove a generalization of the Banach contraction principle in spaces endowed with such kind of metrics. Since then, this notion has been used by many authors to obtain various fixed point theorems. In 1993, Czewick [3] used b-metric space on his papers for their fixed point theorems on contraction mappings in the b-metric space. Then many authors also used the b-metric space for their fixed point theorems for several contraction mappings [4,5,6,7,8] and then other authors developed the b-metric space to become a quasi b-metric space [8,9]. The quasi b-metric space has been used on some weak contraction mappings, and the weak contraction mapping was introduced by [10]. The quasi \(\alpha\)b-metric space was introduced by Nurwahyu [11]. It was developed from b-metric space by ignoring symmetry and modifying the triangular inequality condition of b-metric and they proposed and proved theorems which involve the existence and uniqueness of fixed point for weak contraction mappings in quasi \(\alpha\)b-metric space.

The purpose of this study is to establish a theorem involving a pair of mappings satisfying a weakly contraction type T-coupling in the context of quasi \(\alpha\)b-metric space and then prove the existence and uniqueness of coupled coincidence and coupled common fixed points. The concept of weakly compatibility of the pair of maps is applied to show the uniqueness of coupled common fixed point. This work is offers extension to the published work of Nurwahyu and Aris [1]. Finally, an illustrative example is presented to verify that all the conditions of the theorem are fulfilled.

2. Preliminaries

Now, we present relevant definitions and results that will be retrieved in the sequel.

Definition 1. [2] Let \(X\) be a non-empty set and \(b \geq 1\) be any given real number. Let \(d : X\times X\rightarrow [0,\infty)\) be a function satisfying the following conditions:

  • (a) \(d(x,y)=d(y,x)=0 \Leftrightarrow x=y.\)
  • (b) \(d(x,y)=d(y,x).\)
  • (c) \(d(x,y)\leq b\left[d(x,z)+d(z,y)\right]\) for all \(x,y,z \in X.\)
Then \(d\) is known as b-metric on \(X\) and the pair \((X,d)\) is called a b-metric space.

Definition 2. [1] Let \(X\) be a non-empty set and \(0 \leq \alpha < 1\) and \(b\geq 1\) be a given real number. Let \(d : X\times X\rightarrow [0,\infty)\) be a function satisfying the the following conditions:

  • (a) \(d(x,y)=d(y,x)=0 \Leftrightarrow x=y.\)
  • (b) \(d(x,y)\leq \alpha d(y,x) + \frac{1}{2}b\left[d(x,z)+d(z,y)\right]\) for all \(x,y,z \in X.\)
Then \(d\) is known as quasi \(\alpha\)b-metric on \(X\) and the pair \((X,d)\) is called a quasi \(\alpha\)b-metric space.

Definition 3. [12] Let \((X,d)\) be a quasi \(\alpha\)b-metric space and \(T : X \rightarrow X\) be a self-map, then \(T\) is said to be a contraction mapping if there exists a constant \(k \in [0, 1)\) called a contraction factor, such that \[d(Tx,Ty) \leq kd(x,y)\]for all \(x,y \in X.\)

Definition 4. [1] Let \((X,d)\) be a quasi \(\alpha\)b-metric space with \(0 \leq \alpha < 1\) and \(b\geq 1\). A mapping \(T:X \longmapsto X\) is called a weak contraction on \(X\) if there exists a function \(\varphi:[0,\infty)\longmapsto [0,\infty)\), \(\varphi(t)=0 \text{ iff } t = 0\) and satisfying the following condition: \[d(Tx,Ty)\leq d(x,y)-\delta \varphi\left(d(x,y)\right)\] for all \(x,y\in X\) where \(0< \delta \leq 1.\)

Definition 5. [1] A sequence \(\{x_n\}\) in a quasi \(\alpha\)b-metric space \((X, d)\) is said to converge to a point \(x \in X\) if and only if \[\lim\limits_{n\to\infty} d(x_{n}, x)=\lim\limits_{n\to\infty} d(x,x_{n}) = 0.\]

Definition 6. [1] A sequence \(\{x_n\}\) in a quasi \(\alpha\)b-metric space \((X, d)\) is called a Cauchy sequence if for every \(\epsilon>0\), there exists a positive integer \(n_{0}\) such that for \(m,n>n_{0}\), we have \(d(x_{n},x_{m})< \epsilon\). That is, \[\lim\limits_{n,m\to\infty} d(x_{n}, x_{m})=\lim\limits_{n,m\to\infty} d(x_{m},x_{n} )=0 .\]

Definition 7. [1] A quasi \(\alpha\)b-metric space is called complete if every Cauchy sequence converges to an element in the same metric space.

Definition 8. [12] Let \(X\) be a nonempty set and \(T : X \rightarrow X\) a self-map. We say that \(x\) is a fixed point of \(T\) if \(Tx = x\).

Definition 9. [13] An element \((x,y) \in X\times X\) , where \(X\) is any non-empty set, is called a coupled fixed point of the mapping \(F:X\times X \rightarrow X\) if \(F(x,y)=x\) and \(F(y,x)=y.\)

Definition 10. [14] Let \((X, d)\) be a quasi \(\alpha\)b-metric space and \(A\) and \(B\) be two non-empty subsets of \(X\). Then a function \(F:X \times X \rightarrow X\) is said to be a coupling with respect to A and B if \(F(x, y) \in B\) and \(F(y, x) \in A\) where \( x\in A\) and \(y\in B.\)

Definition 11. [15] Let \(A\) and \(B\) be any two non-empty subsets of a quasi \(\alpha\)b-metric space \((X, d)\) and \(T : X \rightarrow X\) be a self-map on \(X\). Then \(T\) is said to be SCC-Map (with respect to \(A\) and \(B\)), if

  • (a) \(T(A) \subseteq A\) and \(T(B) \subseteq B\),
  • (b) \(T(A)\) and \(T(B)\) are closed in \(X\).

Definition 12. [16] An element \((x, y) \in X \times X\) is called a coupled coincidence point of the mappings \(F:X \times X \rightarrow X\) and \(g : X \rightarrow X\) if \(F(x, y) = g(x)\) and \(F(y, x) = g(y)\), and \((gx,gy)\) is called coupled point of coincidence.

Definition 13. [16] An element \((x,y) \in X\times X\), where \(X\) is any non-empty set, is called a coupled common fixed point of the mappings \(F:X\times X \rightarrow X\) and and \(g : X \rightarrow X\) if \(F(x,y)=g(x)=x\) and \(F(y,x)=g(y)=y\).

Definition 14. [16] The mappings \(F : X \times X \rightarrow X\) and \(g : X \rightarrow X\) are called weakly Compatible if \(g(F(x, y)) = F(gx, gy)\) and \(g(F(y, x)) = F(gy, gx)\) whenever \(gx = F(x, y)\) and \(gy = F(y, x)\).

Definition 15. A function \(\omega: [0, \infty) \rightarrow [0, \infty)\) is called an altering distance function, if the following properties are satisfied:

  • (a) \(\omega\) is monotonically non-deceasing and continuous.
  • (b) \(\omega(t) = 0\) if and only if \(t = 0\).

Theorem 1. [1] Let \((X,d)\) be a complete quasi \(\alpha\)b-metric space with \(0 \leq \alpha 0,\omega:[0,\infty)\rightarrow [0,\infty) \text{ is a continuous function and } \omega(t)=0 \text{ iff } t = 0\). Then \(F\) has a unique fixed point in \(X.\)

3. Main results

At this stage, we state our theorem and come up with the main findings.

Theorem 2. Let A and B be any two non-empty closed subsets of a complete quasi \(\alpha\)b-metric space \((X, d)\) with \(0 \leq \alpha 0.\) Let \(T\) : \(X \rightarrow X\) is SCC- Map on \(X\) (with respect to \(A\) and \(B\)) and \(F: X \times X \rightarrow X\) be a \(T\)-coupling (with respect to A and B) if there exists an altering distance function \(\omega\) such that

\begin{eqnarray} d[F(x,y),F(u,v)] &\leq& min\Bigl\{d(Tx, F(x,y)), d(F(v,u),Tv) \Bigr \}-k\cdot \omega \Bigl(max \bigl\{d(Tx, F(x,y)), d(F(v,u),Tv)\bigr\}\Bigr) \label{equation1} \end{eqnarray}
(1)
for any \(x, v \in A\) and \(y, u \in B\), then
  • (i) \(F(X \times X)\subseteq T(X)\)
  • (ii) \(T(A) \cap T(B) \neq \emptyset \)
  • (iii) \(T\) and \(F\) have a coupled coincidence point in \(A \times B\).
  • (iv) If \(T\) and \(F\) are weakly compatible, then \(T\) and \(F\) have a unique coupled common fixed point in \(A \times B\).

Proof. Since \(A\) and \(B\) are non-empty subsets of \(X\) and \(T\) is a type-T coupling with respect to \(A\) and \(B\), then for \(x_0 \in A\) and \(y_0 \in B\), we define the sequences \(\{x_n\}\) and \(\{y_n\}\) in \(A\) and \(B\) respectively such that \[Tx_{1}=F(x_{0},y_{0}) \text{ and } Ty_{1}=F(y_{0},x_{0}).\] This can be done because \(F(X\times X) \subseteq T(X)\). Continuing this process, we can construct two sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) in \(X\) such that

\begin{equation} Tx_{n+1}=F(x_{n},y_{n}) \mbox{ and } Ty_{n+1}=F(y_{n},x_{n}) \label{equation2} \end{equation}
(2)
and then, we have \(d(Tx_{n},Tx_{n+1})=d\bigl[F(x_{n-1},y_{n-1}),F(x_{n},y_{n})\bigr].\) Using equations (1) and (2), we have
\begin{equation} \begin{aligned} d(Tx_{n},Tx_{n+1})={}& d[F(x_{n-1},y_{n-1}),F(x_{n},y_{n})]\\ \leq{}& min\Bigl\{d(Tx_{n-1}, F(x_{n-1},y_{n-1})), d(F(y_{n},x_{n}),Ty_{n}) \Bigr \}\\&{}-k \cdotp w\left(max\Bigl\{d(Tx_{n-1}, F(x_{n-1},y_{n-1})), d(F(y_{n},x_{n}),Ty_{n}) \Bigr \}\right)\\ \leq{}& min\Bigl\{d(Tx_{n-1}, T(x_{n-1},y_{n-1})), d(F(y_{n},x_{n}),Ty_{n}) \Bigr \}\\ \leq{}& d(Tx_{n-1}, Fx_{n}). \label{e2} \end{aligned} \end{equation}
(3)
Thus, we have a non-negative and non-increasing sequence \(\{Tx_n\}\). Therefore, there exists \(L\geq 0\) such that \( \lim\limits_{n \to \infty}d(Tx_{n},Tx_{n+1}) = L. \) Since \(\omega\) is continuous on \([0, \infty)\) and using (3) and for \(n \to \infty\), we get \( L \leq L – K\cdotp \omega(L).\) It follows that, \(\omega(L)=0\) which in turn implies that \(L=0\) since \(\omega\) is an altering distance function. Similarly, we can obtain that \( \lim\limits_{n \to \infty}d(Ty_{n},Ty_{n+1}) = 0. \)

Now, we show that \(\{Tx_{n}\}\) and \(\{Ty_{n}\}\) are Cauchy sequences in \(T( X)\). Let \(m>n\geq 1\) and using Equations (1) and (2), we have

\begin{equation} \begin{aligned} d(Tx_{n},Tx_{m})={}& d[F(x_{n-1},y_{n-1}),F(x_{m-1},y_{m-1})]\\ \leq{}& min\Bigl\{d(Tx_{n-1}, F(x_{n-1},y_{n-1})), d(F(y_{m-1},x_{m-1}),Ty_{m-1}) \Bigr \}\\& {}-k \cdotp w\left(max\Bigl\{d(Tx_{n-1}, F(x_{n-1},y_{n-1})), d(F(y_{m-1},x_{m-1}),Ty_{m-1})\Bigr \}\right)\\ \leq{}& min\Bigl\{d(Tx_{n-1}, Tx_{n}), d(Tx_{m},Ty_{m-1}) \Bigr \}\\ \leq{}& d(Tx_{n-1}, Tx_{n}). \label{eq3} \end{aligned} \end{equation}
(4)
Similarly, we can show that
\begin{equation} d(Tx_{m},Tx_{n}) \leq d(Tx_{m-1}, Tx_{m}). \label{eq4} \end{equation}
(5)
Taking Equations (4) and (5) as \(n, m \to \infty\), we get \( d(Tx_{n},Tx_{m})\rightarrow 0 \text{ and } d(Tx_{m},Tx_{n})\rightarrow 0.\) Following the same procedure as above, we can show that \( d(Ty_{n},Ty_{m})\rightarrow 0 \text{ and } d(Ty_{m},Ty_{n})\rightarrow0.\) \(\{gy_{n}\}\) converge to \(x\) and \(y\) respectively. Hence \(\{Tx_n\}\) and \(\{Ty_n\}\) are Cauchy sequences in \(T(A)\) and \(T(B)\) respectively. Since \(T(A)\) and \(T(B)\) are closed subset of a complete quasi \(\alpha\)b-metric space \(X\), we conclude that \(\{Tx_n\}\) and \(\{Ty_n\}\) are convergent in \(T(A)\) and \(T(B)\) respectively. Thus, there exist \(r \in T(A)\) and \(s \in T(B)\) such that
\begin{equation} Tx_n \rightarrow r \mbox{ and } Ty_n \rightarrow s \mbox{ as } n \rightarrow \infty. \label{equ5} \end{equation}
(6)
Using Equations (1) and (2), we have
\begin{equation} \begin{aligned} d(Tx_{n},Ty_{n})={}& d[F(x_{n-1},y_{n-1}),F(y_{n-1},x_{n-1})]\\ \leq{}& min\Bigl\{d(Tx_{n-1}, F(x_{n-1},y_{n-1})), d(F(x_{n-1},y_{n-1}),Tx_{n-1}) \Bigr \}\\&{}-k \cdotp w\left(max\Bigl\{d(Tx_{n-1}, F(x_{n-1},y_{n-1})), d(F(x_{n-1},y_{n-1}),Tx_{n-1})\Bigr \}\right)\\ \leq{}& min\Bigl\{d(Tx_{n-1}, F(x_{n-1},y_{n-1})), d(F(x_{n-1},y_{n-1}),Tx_{n-1}) \Bigr \}\\ \leq{}& d(Tx_{n-1}, Tx_{n}). \label{eq5} \end{aligned} \end{equation}
(7)
Similarly, we can show that
\begin{equation} d(Ty_{n},Tx_{n}) \leq d(Ty_{n-1}, Ty_{n}). \label{eq6} \end{equation}
(8)
Taking Equations (7) and (8) as \(n, m \to \infty\), we get
\begin{equation} d(Tx_{n},Ty_{n})\rightarrow 0 \text{ and } d(Ty_{n},Tx_{n})\rightarrow 0.\label{equ8} \end{equation}
(9)
Therefore, from (6) and (9), we have
\begin{equation} s = r. \label{equ9} \end{equation}
(10)
As \(r \in T(A)\) and \(s \in T(B) \Rightarrow s = r \in T(A) \cap T(B)\). This proves Part (i), i.e., \(T(A) \cap T(B) \neq \emptyset.\) Now, since \(r \in T(A)\) and \(s \in T(B)\), there exist \(x \in A\) and \(y \in B\) such that \(r = T(x)\) and \(s = T(y)\). From Equations (6) and (10) we have
\begin{align} Tx_n \rightarrow T(x), Ty_n \rightarrow T(y) \label{e10} \end{align}
(11)
\begin{align} T(x) = T(y). \label{e11} \end{align}
(12)
Using Definition 2, we have
\begin{equation} \begin{aligned} d\bigl(r,F(x,y)\bigr)\leq \alpha d(F(x,y),r) + \frac{1}{2}b\bigl[d(r,Tx_n)+d\bigl(Tx_n,F(x,y)\bigr)\bigr], \label{e12} \end{aligned} \end{equation}
(13)
and
\begin{equation} \begin{aligned} d\bigl(F(x,y),r\bigr)\leq \alpha d(r,F(x,y)) + \frac{1}{2}b\bigl[d(Tx_n,r)+d\bigl(F(x,y),Tx_n\bigr)\bigr].\label{e13} \end{aligned} \end{equation}
(14)
Applying (1) and (2) in (13) and (14) and taking their limits as \(n\to \infty\), we get
\begin{equation} \begin{aligned} d\bigl(r,F(x,y)\bigr)\leq \alpha d\bigl(F(x,y),r\bigr), \label{e14} \end{aligned} \end{equation}
(15)
and
\begin{equation} \begin{aligned} d\bigl(F(x,y),r\bigr)\leq \alpha d\bigl(r,F(x,y)\bigr). \label{e15} \end{aligned} \end{equation}
(16)
Substituting (16) into (15), we get
\begin{equation} \begin{aligned} (1-\alpha^2)d\bigl(r,F(x,y)\bigr)\leq 0. \label{e16} \end{aligned} \end{equation}
(17)
This is only possible if \(d\bigl(r,F(x,y)\bigr)= 0\) since \(0 \leq \alpha < 1.\) Similarly, we can show that \(d\bigl(F(x,y),r\bigr)= 0\). Hence \(F(x,y)=r.\) Moreover, we can show that \(F(y,x)=s\). Hence, \((Tx,Ty)\) is coupled point of coincedence of \(T\) and \(F\). Now, we claim that \((Tx,Ty)\) is the unique coupled point of coincidence of \(T\) and \(F\). Suppose not. So, we have another coupled point of coincedence say \((Tx^\ast,Ty^\ast)\) where \((x^\ast,y^\ast) \in X^{2}\) with \(Tx^\ast=F(x^\ast,y^\ast)\) and \(Ty^\ast=F(y^\ast,x^\ast)\). Using Equations (1) and (2), we have
\begin{equation} \begin{aligned} d(Tx,Tx)={}& d[F(x,y),F(x,y)]\\ \leq{}& min\Bigl\{d(Tx, F(x,y)), d(F(y,x),gy) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx, F(x,y)), d(F(y,x),Ty) \Bigr \}\Bigr)\\ ={}& min\Bigl\{d(Tx, Tx), d(Ty,Ty) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx, Tx), d(Ty,Ty) \Bigr \}\Bigr)\\ \leq{}{}& min\Bigl\{d(Tx, Tx), d(Ty,Ty) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx, Tx), d(Ty,Ty) \Bigr \}\Bigr). \label{e4} \end{aligned} \end{equation}
(18)
From (18), it follows that \(d(Tx,Tx)\leq{}{} d(Tx, Tx)- k \cdotp w\Bigl(max\Bigl\{d(Tx, Tx), d(Ty,Ty) \Bigr \}\Bigr).\) Hence \(d(Tx, Tx)= 0\) and \(d(Ty,Ty)=0. \) Now, let us consider \(d(Tx, Tx^\ast).\) Using Equations (1) and (2), we have
\begin{equation} \begin{aligned} d(Tx,Tx^\ast)={}& d[F(x,y),F(x^\ast,y^\ast)]\\ \leq{}& min\Bigl\{d(Tx, F(x,y)), d(F(y^\ast,x^\ast),Ty^\ast) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx, F(x,y)), d(F(y^\ast,x^\ast),ty^\ast) \Bigr \}\Bigr)\\ ={}& min\Bigl\{d(Tx, Tx), d(Ty^\ast,Ty^\ast) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx, Tx), d(Ty^\ast,Ty^\ast) \Bigr \}\Bigr). \label{e5} \end{aligned} \end{equation}
(19)
From (19), it follows that \(d(Tx,Tx^\ast)\leq{} 0.\) Hence \(d(Tx, Tx^\ast)= 0\). Again, using Equations (1) and (2), we have
\begin{equation} \begin{aligned} d(Tx^\ast, Tx)={}& d[F(x^\ast,y^\ast),F(x,y)]\\ \leq{}& min\Bigl\{d(Tx^\ast, F(x^\ast,y^\ast)), d(F(y,x),Ty) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx^\ast, F(x^\ast,y^\ast)), d(F(y,x),Ty) \Bigr \}\Bigr)\\ ={}& min\Bigl\{d(Tx^\ast, Tx^\ast), d(Ty,Ty) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx^\ast, Tx^\ast), d(Ty,Ty) \Bigr \}\Bigr). \label{e6} \end{aligned} \end{equation}
(20)
From (20), it follows that \(d(Tx^\ast,Tx)\leq{} 0.\) Hence \(d(Tx^\ast,Tx)= 0.\) From Equations (19) and (20), we deduce that \(Tx=Tx^\ast.\) Similarly, we can show that \(Ty=Ty^\ast.\) Therefore, we have a unique coupled point of coincidence.

Now, we show that \(T\) and \(F\) have coupled common fixed point. In order to do that, we consider \(d\bigl(Tx, F(x, x)\bigr).\) Using (1), we have

\begin{equation} \begin{aligned} d(Tx,F(x,x))={}& d[F(x,y),F(x,x)]\\ \leq{}& min\Bigl\{d(Tx, F(x,y)), d(F(x,x),Tx) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx, F(x,y)),d(F(x,x),Tx) \Bigr \}\Bigr)\\ ={}& min\Bigl\{d(Tx, Tx), d(F(x,x),Tx) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{d(Tx, Tx), d(F(x,x),Tx) \Bigr \}\Bigr)\\ \leq{}{}& min\Bigl\{0, d(F(x,x),Tx) \Bigr \}-k \cdotp w\Bigl(max\Bigl\{0, d(F(x,x),Tx) \Bigr \}\Bigr). \label{e7} \end{aligned} \end{equation}
(21)
From (21), it follows that
\begin{equation} d(Tx,F(x,x))\leq{}{} – k \cdotp w\Bigl(d(F(x,x),Tx)\Bigr).\label{e8} \end{equation}
(22)
From (22), we can deduce that \(d\bigl(F(x,x),Tx\bigr)=0\) and \(d\bigl(Tx,F(x,x)\bigr)=0.\) Hence \(Tx=F(x,x).\) Now, let \(Tx=u\), then we have that \(u=Tx=F(x,x)\). Since \(T\) and \(F\) are weakly compatible, we have \(Tu=T(Tx)=T(F(x,x))=F(Tx,Tx)=F(u,u).\) Hence \((Tu,Tu)\) is a coupled point of coincidence and \((u,u)\) is a coupled coincidence point of \(T\) and \(F\). The uniqueness of coupled point of coincidence implies that \(Tu=u=Tx.\) Therefore \(F(u,u)=Tu=u.\)That is \((u,u)\) is the coupled common fixed point of \(T\) and \(F\). Finally, we show the uniqueness of a coupled common fixed point of \(T\) and \(F\). let \((u^*,u^*) \in X^{2}\) be another coupled common fixed point of \(F\) and \(T\). That is, \(u^*=Tu^*=F(u^*,u^*).\) Hence \((Tu,Tu)\) and \((Tu^*,Tu^*)\) are two coupled points of coincidence of \(T\) and \(F\). The uniqueness of coupled point of coincidence implies that \(Tu=Tu^*\) and so \(F(u^*,u^*)=u^*=u.\) Hence \((u,u)\) is the unique coupled common fixed point of \(T\) and \(F\).

Remark 1. If we take \(T = I\) (the identity map) and change the mapping \(F: X \times X \rightarrow X\) to \(F: X \rightarrow X\) , then Theorem 2 will reduce to Theorem 1 of Nurwahyu and Aris [1].

Example 1. Let \(X = [0, 5]\) which is defined by \(d(x, y) = |x – y|\) and \(A = \{1\}\) and \(B = \{1, 2\}.\) Then \(A\) and \(B\) are closed subsets of \(X\). We define \(F : X \times X \rightarrow X\) by \(F(x, y) = min\{x, y\}\), for all \(x, y \in X\). Let \(T : X \rightarrow X\) be defined by \[T(x)=\begin{cases} 1 &\quad \text{ if \(0\leq x< 2\),} \\ 2 &\quad \text{ if \(2\leq x \leq 5\).} \end{cases} \] Also, we define \(\omega:[0,\infty)\rightarrow[0,\infty)\) by \(\omega(t)=t^{2}\). Then, clearly \(\omega\) is altering distances function. \(T(A)=\{1\}\) and \(T(B)=\{1,2\}\). So, \(T(A)\) and \(T(B)\) are closed subsets of a complete quasi \(\alpha\)b-metric space \(X=[0,5]\). Hence \(T:X \rightarrow X\) is a SCC-Map. Now, we show that \(T\) is \(F\)-coupling with respect to \(A\) and \(B\) as \(T(A) \cap B=\{1\}\) and \(T(B) \cap A=\{1\}\). So, for all \(x \in A\) and \(y \in B\), we have \(F(x,y)=1 \in B\) and \(F(y,x)=1 \in A\), i.e., \(F(x,y) \in T(A)\cap B\) and \(F(y,x) \in T(B)\cap A\) which show that \(F\) is a \(T\)-coupling with respect to \(A\) and \(B\). Now, it remains to prove that F is a contractive \(T\)-coupling w.r.t. \(A\) and \(B\). Let \(x,v \in A\) and \(y,u \in B\) i.e., \(x=1\) and \(y=1,2\). Four cases will arise for \(y\) and \(u\).

  • Case (i): \(x=v=1\) and \(y=u=1\).
  • Case (ii): \(x=v=1\) and \(y=1, u=2\).
  • Case (iii): \(x=v=1\) and \(y=2, u=1\).
  • Case (iv): \(x=v=1\) and \(y=u=2\).
For Case (i), i.e., \(x=v=1\) and \(y=u=1\), we have \(F(x,y)=F(u,v)=F(v,u)=F(1,1)=1\), \(T(x)=T(v)=T(1)=1\), \(d(1, 1)=0\), and \begin{eqnarray*} d[F(x,y),F(u,v)] &\leq& min\Bigl\{d(Tx, F(x,y)), d(F(v,u),Tv) \Bigr \}-k\cdot \omega \Bigl(max \bigl\{d(Tx, F(x,y)), d(F(v,u),Tv)\bigr\}\Bigr), \label{e1} \\ d(0) &\leq& 0-k\cdot \omega (0),\\ 0 &\leq& 0, \end{eqnarray*} which proves Case (i).

In a similar fashion, we can show for the other three cases. Hence, \(T\) and \(F\) satisfy all the conditions of Theorem 2. Thus \(T\) and \(F\) have a strong coupled fixed points in \(A \cap B\). Clearly \(T(A) \cap T(B)=\{1\} \neq \emptyset\). 1 is the unique strong coupled coincidence point and (1, 1) is the unique coupled common fixed point of T and g in \(A\cap B\) as \(T(1)=F(1,1)=min\{1,1\}=1\).

4. Conclusion

In this paper, we have established a theorem involving a pair of mappings satisfying a weakly contraction type T-coupling in the context of quasi \(\alpha\)b-metric space and then prove the existence and uniqueness of coupled coincidence and coupled common fixed points. The concept of weakly compatibility of the pair of maps is applied to show the uniqueness of coupled common fixed point. We also provide an example in support of our main result. Our work extended the published work of Nurwahyu and Aris [1].

Acknowledgments

The authors want to thank the anonymous referee for the throughout reading of the manuscript and several suggestions that help us improve the presentation of the paper. We would also like to thank the College of Natural Sciences, Jimma University for funding this staff research project.

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflict of Interests

The authors declare no conflict of interest.

References:

  1. Nurwahyu, B. & Aris, N. (2018). Fixed point theorems on some weak contraction mappings in quasi \(\alpha\)b-metric space. In Journal of Physics: Conference Series, volume 1013, (pp. 012151). IOP Publishing.[Google Scholor]
  2. Bakhtin, I. A. (1989). The contraction mapping principle in quasimetric spaces. Functional Analysis, 30, 26-37. [Google Scholor]
  3. Czerwik, S. (1993). Contraction mappings in b-metric spaces. Acta Mathematica Universitatis Ostraviensis, 1, 5-11. [Google Scholor]
  4. Ansari, A. H., Chandok, S., & Ionescu, C. (2014). Fixed point theorems on b-metric spaces for weak contractions with auxiliary functions. Journal of Inequalities and Applications, 2014(1), 429. [Google Scholor]
  5. Joseph, J. M., Roselin, D. D., & Marudai, M. (2014). Fixed point theorems on multi valued mappings in b-metric spaces. SpringerPlus, 5(1), 217. [Google Scholor]
  6. Kamran, T., Samreen, M., & UL Ain, Q. (2017). A generalization of b-metric space and some fixed point theorems. Mathematics, 5(2), 19. [Google Scholor]
  7. Mishra, P. K .and Sachdeva, S. & Banerjee, S. K. (2014). Some fixed point theorems in b-metric space. Turkish Journal of Analysis and Number Theory, 2(1), 19-22.[Google Scholor]
  8. Shatanawi, W., Pitea, A., & Lazovic, R. (2014). Contraction conditions using comparison functions on b-metric spaces fixed point theory and applications. Fixed Point Theory and Applications, 2014(1), 135. [Google Scholor]
  9. Klin-eam, C. & Suanoom, C. (2015). Dislocated quasi-b-metric spaces and fixed point theorems for cyclic contractions. Fixed Point Theory and Applications, 2015(1), 174. [Google Scholor]
  10. Alber, Y. I., & Guerre-Delabriere, S. (1997). Principle of weakly contractive maps in Hilbert spaces. In New results in operator theory and its applications (pp. 7-22). Birkhäuser, Basel. [Google Scholor]
  11. Nurwahyu, B. (2017). Fixed point theorems for generalized contraction mappings in quasi \(\alpha\)b-metric space. Far East Journal of Mathematical Sciences, 102(9), 2105-2119. [Google Scholor]
  12. Banach, S. (1922). Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae, 3(1), 133-181. [Google Scholor]
  13. Bhaskar, T. G. & Lakshmikantham, V. (2006). Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Analysis: Theory, Methods & Applications, 65(7), 1379-1393. [Google Scholor]
  14. Choudhury, B. S., Maity, P., & Konar, P. (2017). Fixed point results for couplings on metric spaces. UPB Scientific Bulletin, Series A: Applied Mathematics and Physics, 79(1), 1-12. [Google Scholor]
  15. Khan, M., Swaleh, M., & Sessa, S. (1984). Fixed point theorems by altering distances between the points. Bulletin of the Australian Mathematical Society, 30(1), 1-9. [Google Scholor]
  16. Lakshmikantham, V. & Ciric, L. (2009). Coupled coincidence point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Analysis, 70(1), 4341-4349. [Google Scholor]