A coupled fixed point theorem for maps satisfying rational type contractive condition in dislocated quasi b-metric space

Author(s): Mesaud Tesfaye1, Kidane Koyas1, Solomon Gebregiorgis1
1Department of Mathematics, Jimma University, Jimma, Ethiopia.
Copyright © Mesaud Tesfaye, 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, a coupled fixed point theorem for maps satisfying rational type contractive condition in the perspective of dislocated quasi b-metric space have been formed and the existence and uniqueness of a couple fixed point have been proved. Our result improves and generalizes comparable results in the literature.

Keywords: Continuous map, contractive condition, coupled fixed point, dislocated quasi \(b\)-metric space.

1. Introduction

In a complete dislocated metric space the celebrated Banach contraction principle was introduced and generalized by [1,2]. Since then, Zeyada [3] introduced the notion of dislocated quasi metric space for the first time. In this space, self-distance need not to be necessarily zero which is a very remarkable property of this space. After that the idea of dislocated quasi b-metric space was presented in [4].

The concept of coupled fixed point was extended by Guo & Lakshmikantham [5], where the monotone iterations technique is exploited. After that they introduced the concept for Partially ordered set. Bhaskar & Lakshmikantham [6] studied the existence and uniqueness of a coupled fixed point results in partially ordered metric space. They also introduced the concept of coupled fixed point and proved some fixed point theorems under certain contractive conditions. Moreover, after the work of Bhaskar & Lakshmikantham [6] coupled fixed point results were studied by many authors in different type of spaces [7]. Recently, Mohammed et al. [8] proved a coupled fixed point result in the setting of dislocated quasi-metric spaces.

Provoked by the result of Mohammed et al. [8], in this paper, a coupled fixed point theorem for maps satisfying rational type contractive condition in the perspective of dislocated quasi b-metric spaces have been established. Our result extends, improves and generalizes the comparable results in the existing literature. Moreover, we provided an example to support our main result.

2. Preliminaries

Throughout this paper, \(R^{+}\) represents the set of non-negative real numbers and \(N\) represents the set of natural numbers. First, we recall some known definitions and lemmas.

Definition 1.[4] Let \(X \neq \emptyset\) and \(d : X\times X\rightarrow [0, \infty)\) be a function satisfying the conditions:

  1. \(d(x, y)=d(y, x)=0 \Rightarrow x=y,\)
  2. \(d(x, y)\leq k\left[d(x, z)+d(z, y)\right]\) for all \(x, y, z \in X.\)
Where \(k \geq 1\) is any given real number. Then \(d\) is known as dislocated quasi b-metric on \(X\) and the pair \((X, d)\) is called a dislocated quasi b -metric space or in short (dq b) metric spaces.

Definition 2. [4] A sequence \(\{x_n\}\) in a dislocated quasi 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) = 0=\lim\limits_{n\to\infty}d(x, x_{n}).$$

Definition 3. [4] A sequence \(\{x_{n}\}\) in a dq b-metric space \((X, d)\) is said be a Cauchy sequence if for each \(\epsilon >0\), there exists a positive integer \(n_{0}\) such that for all \(n, m \geq n_{0} \), we have \(d(x_{n}, x_{m})< \epsilon\). That is, \(\lim\limits_{n, m\to\infty} d(x_{n}, x_{m})=0\).

Definition 4. [4] A dislocated quasi b-metric space is called complete if every Cauchy sequence converges to an element in the same metric space.

Definition 5. [4] Let \((X, d_{1})\) and \((Y, d_{2})\) be two dislocated quasi b-metric spaces, then the mapping \(T:X\rightarrow Y\) is said to be continuous if for each sequence \(\{x_{n}\} \) which is convergent to \(x_{0}\) in \(X\), the sequence \(\{Tx_{n}\}\) converges to \(Tx_{0}\) in \(Y\).

Lemma1. [4] In dislocated quasi b-metric space, the limit of a convergent sequence is unique.

Definition 6.[9] Let \(T : X \rightarrow X\) be a self-map in a complete metric space \((X, d)\). Then \(T\) is said to be a contraction mapping if there exist a constant \(k \in [0, 1)\) such that $$d(Tx, Ty) \leq kd(x, y)\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \text{for all}\ \ x, y \in X.$$

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

Theorem 1.[10] Let \(T : X\rightarrow X\) be a continuous contraction with \(\lambda\in[0, 1)\) and \( 0\leq \lambda < \frac{1}{k}\) for \( k \geq 1\) in a complete dislocated quasi-b-metric space \((X, d)\), then \(T\) has a unique fixed point in \(X\).

Definition 8.[6] Let \(X\) be any non-empty set. An element \((x, y) \in X\times X\) is said to be a coupled fixed point of the mapping \(T:X\rightarrow X\) if \(T(x, y)=x\) and \(T(y, x)=y. \)

Theorem 2.[8] Let \((X, d)\) be a complete dislocated quasi-metric space and \(T : X \rightarrow X\) be a continuous mapping satisfying the following rational type contractive conditions \begin{eqnarray*} d[T(x, y), T(u, v)] &\leq& a_{1} [d(x, u)+d(y, v)] +a_{2}[d(x, T(x, y))+d(u, T(u, v))]\\ &&+a_{3}[d(x, T(u, v))+d(u, T(x, y))]+a_{4}\left[\frac{d(x, T(x, y))d(u, T(u, v))}{d(x, u)+d(y, v)}\right]\\ &&+a_{5}\left[\frac{[d(x, u)+d(y, v)]}{[d(x, T(x, y))+d(u, T(u, v))]}{1+d(x, u)+d(y, v)}\right]\\ &&+a_{6}\left[\frac{d(x, T(x, y))+d(x, T(u, v))}{1+d(u, T(u, v))d(u, T(x, y))}\right] \end{eqnarray*} for all \(x, y, u, v \in X\) and all \(a_{1}, a_{2}, a_{3}, a_{4}, a_{5}\), \(a_{6}\) are non-negative constants with \(2(a_{1}+a_{2}+a_{5})+4(a_{3}+a_{6})+a_{4}< 1\).\\Then \(T\) has a unique coupled fixed point in \(X\times X\).

3. Main Results

Theorem 3. Let \((X, d)\) be a complete dislocated quasi b-metric space with constant coefficient \(k\geq1\) and \(T : X\times X \rightarrow X\) be a continuous map satisfying the following rational type contractive conditions: \begin{eqnarray} d[T(x, y), T(u, v)] &\leq& a_{1} [d(x, u)+d(y, v)] +a_{2}[d(x,T(x, y))+d(u,T(u, v))]+a_{3}[d(x,T(u, v))+d(u, T(x, y))]\nonumber\\ &&+a_{4}\left[\frac{d(x, T(x, y))d(u, T(u, v))}{d(x, u)+d(y, v)}\right]\label{eq1}+a_{5}\left[\frac{[d(x, u)+d(y, v)]}{[d(x, T(x, y))+d(u, T(u, v))]}{1+d(x, u)+d(y, v)}\right]\nonumber\\ &&+a_{6}\left[\frac{d(u, T(x, y))+d(x, T(u, v))}{1+d(u, T(u, v))d(u, T(x, y))}\right]+a_{7}\left[\frac{[d(y, v)+d(x, T(x, y))]d(u, T(u, v))}{1+d(y, v)+d(x, T(x, y))}\right]\nonumber \end{eqnarray} for all \(x, y, u, v \in X\) and \(a_{1}, a_{2}, a_{3}, a_{4}, a_{5}, a_{6}\), and \(a_{7}\) are non-negative constants with \(2ka_{1}+(k+1)(a_{2}+a_{5})+(2k^{2}+2k)(a_{3}+a_{6})+a_{4}+a_{7}< 1\). Then \(T\) has a unique coupled fixed point in \(X\times X\).

Proof Let \(x_{0}\), \(y_{0} \in X\) be any two arbitrary points. We can construct two sequences \(\{x_{n}\}\) and \(\{y_{n}\} \in X\) such that \(x_{n+1}=T(x_{n}, y_{n}) \mbox{ and }\ y_{n+1}=T(y_{n}, x_{n})\) for \(n =0, 1, 2, \dots.\) Consider, \(d(x_{n}, x_{n+1})=d[T(x_{n-1}, y_{n-1}), T(x_{n}, y_{n})].\) Now, we have: \begin{eqnarray*} d(x_{n}, x_{n+1})& = &d[T(x_{n-1}, y_{n-1}), T(x_{n}, y_{n})]\\ &\leq& a_{1} [d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})] +a_{2}[d(x_{n-1}, T(x_{n-1}, y_{n-1}))+d(x_{n}, T(x_{n}, y_{n}))]\\ &&+a_{3}[d(x_{n-1}, T(x_{n}, y_{n}))+d(x_{n}, T(x_{n-1}, y_{n-1}))]+a_{4}\left[\frac{d(x_{n-1}, T(x_{n-1}, y_{n-1}))d(x_{n}, T(x_{n}, y_{n}))}{d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})}\right]\\ &&+a_{5}\left[\frac{[d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})]}{[d(x_{n-1}, T(x_{n-1}, y_{n-1}))+d(x_{n}, T(x_{n}, y_{n}))]}{1+d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})}\right]\\ &&+a_{6}\left[\frac{d(x_{n}, T(x_{n-1}, y_{n-1}))+d(x_{n-1}, T(x_{n}, y_{n}))}{1+d(x_{n}, T(x_{n}, y_{n}))d(x_{n}, T(x_{n-1}, y_{n-1}))}\right]\\ &&+a_{7}\left[\frac{[d(y_{n-1}, y_{n})+d(x_{n-1}, T(x_{n-1}, y_{n-1}))]d(x_{n}, T(x_{n}, y_{n}))}{1+d(y_{n-1}, y_{n})+d(x_{n-1}, T(x_{n-1}, y_{n-1})}\right]. \end{eqnarray*} By using the definitions of the sequences \(\{x_{n}\}\) and \(\{y_{n}\}\), we have: \begin{eqnarray*} d(x_{n}, x_{n+1}) &\leq& a_{1} [d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})]+a_{2}[d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]\nonumber\\ &&{}+a_{3}[d(x_{n-1}, x_{n+1})+d(x_{n}, x_{n})]+a_{4}\left[\frac{d(x_{n-1}, x_{n})d(x_{n}, x_{n+1})}{d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})}\right]\nonumber\\ &&{}+a_{5}\left[\frac{[d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})][d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]}{1+d(x_{n-1}, x_{n})+(y_{n-1}, y_{n})]}\right]\nonumber\\ &&{}+a_{6}\left[\frac{d(x_{n}, x_{n})+d(x_{n-1}, x_{n+1})}{1+d(x_{n}, x_{n+1})d(x_{n}, x_{n})}\right]+a_{7}\left[\frac{[d(y_{n-1}, y_{n})+d(x_{n-1}, x_{n})]d(x_{n}, x_{n+1})}{1+d(y_{n-1}, y_{n})+d(x_{n-1}, x_{n})}\right]. \end{eqnarray*} Using the triangle inequality and the fact that \(d(x, y) \geq 0\), we have: \begin{eqnarray*} d(x_{n}, x_{n+1}) &=& d[T(x_{n-1}, y_{n-1}), T(x_{n}, y_{n})] \\ &\leq& a_{1} [d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})] \nonumber\\ &&{}+a_{2}[d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]+ka_{3}[d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})+d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]\nonumber\\ &&{}+a_{4}\left[\frac{d(x_{n-1}, x_{n})d(x_{n}, x_{n+1})}{d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})}\right]+a_{5}\left[\frac{[d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})][d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]}{1+d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})}\right]\nonumber\\ &&{}+ka_{6}\left[\frac{d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})+d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})}{1+d(x_{n}, x_{n+1})d(x_{n}, x_{n+1})}\right]\nonumber\\&&{}+a_{7}\left[\frac{[d(y_{n-1}, y_{n})+d(x_{n-1}, x_{n})]d(x_{n}, x_{n+1})}{1+d(y_{n-1}, y_{n})+d(x_{n-1}, x_{n})}\right]. \end{eqnarray*} Simplifying the above inequality, we have: \begin{eqnarray*} d(x_{n}, x_{n+1}) &\leq& a_{1} [d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})] +a_{2}[d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]\nonumber\\&&{}+ka_{3}[d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})+d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]\nonumber\\&&{}+a_{4}d(x_{n}, x_{n+1})+a_{5}[d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]+ka_{6}[d(x_{n-1}, x_{n})\nonumber\\&&{}+d(x_{n}, x_{n+1})+d(x_{n-1}, x_{n})+d(x_{n}, x_{n+1})]+a_{7}d(x_{n}, x_{n+1}). \end{eqnarray*} It follows that: \begin{eqnarray*} d(x_{n}, x_{n+1})& \leq& (a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})d(x_{n}, x_{n+1})\nonumber\\&&{}+(a_{1}+a_{2}+2k(a_{3}+a_{6})+a_{5})d(x_{n-1}, x_{n}) +a_{1} d(y_{n-1}, y_{n}). \label{eq2} \end{eqnarray*} Simplification yields:

\begin{equation} \begin{aligned} d(x_{n}, x_{n+1}) \leq& \frac{a_{1}+a_{2}+2k(a_{3}+a_{6})+a_{5}}{ 1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})} d(x_{n-1}, x_{n})\\&+\frac{a_{1}}{ 1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})} d(y_{n-1}, y_{n}). \label{eq 2} \end{aligned} \end{equation}
(1)
Proceeding similarly, we can show that:
\begin{equation} \begin{aligned} d(y_{n}, y_{n+1}) \leq&\frac{a_{1}+a_{2}+2k(a_{3}+a_{6})+a_{5}}{ 1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})}d(y_{n-1}, y_{n})\\&+\frac{a_{1}}{1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})}d(x_{n-1}, x_{n}).\label{eq3} \end{aligned} \end{equation}
(2)
Adding (1) and (2), we get: \begin{eqnarray} [d(x_{n}, x_{n+1})+d(y_{n}, y_{n+1})] &\leq& \frac{2a_{1}+a_{2}+2k(a_{3}+a_{6})+a_{5}}{ 1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})}[d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})]. \nonumber \end{eqnarray} Since \(2ka_{1}+(k+1)(a_{2}+a_{5})+(2k^{2}+2k)(a_{3}+a_{6})+a_{4}+a_{7}< 1\) with $$ \lambda =\frac{2a_{1}+a_{2}+2k(a_{3}+a_{6})+a_{5}}{ 1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})} < 1.$$ So, we have \(k\lambda< 1\), thus, the above inequality becomes: \begin{eqnarray} [d(x_{n}, x_{n+1})+d(y_{n} ,y_{n+1})] &\leq& \lambda[d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})].\nonumber \end{eqnarray} Furthermore,
\begin{equation} \begin{aligned} d(x_{n+1}, x_{n+2}) \leq& \frac{a_{1}+a_{2}+2k(a_{3}+a_{6})+a_{5}}{ 1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})} d(x_{n}, x_{n+1})\\&+\frac{a_{1}}{ 1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})} d(y_{n}, y_{n+1}). \label{eq4a} \end{aligned} \end{equation}
(3)
Similarly,
\begin{equation} \begin{aligned} d(y_{n+1}, y_{n+2}) \leq&\frac{a_{1}+a_{2}+2k(a_{3}+a_{6})+a_{5}}{ 1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})}d(y_{n}, y_{n+1})\\&+\frac{a_{1}}{1-(a_{2}+2k(a_{3}+a_{6})+a_{4}+a_{5}+a_{7})}d(x_{n}, x_{n+1}).\label{eq 5} \end{aligned} \end{equation}
(4)
Adding (3) and (4), we obtain: \begin{eqnarray} [d(x_{n+1}, x_{n+2})+d(y_{n+1}, y_{n+2})] &\leq& \lambda[d(x_{n}, x_{n+1})+d(y_{n}, y_{n+1})]\nonumber \\ &=& \lambda^{2}[d(x_{n-1}, x_{n})+d(y_{n-1}, y_{n})].\nonumber \end{eqnarray} Continuing this process inductively, we have: \begin{eqnarray} [d(x_{n}, x_{n+1})+d(y_{n}, y_{n+1})] &\leq& \lambda^{n}[d(x_{0}, x_{1})+d(y_{0},y_{1})]. \nonumber \end{eqnarray} Now, we show that \(\{x_{n}\}\) and \(\{y_{n}\}\) are Cauchy sequences in \(X\). For non negative integers \(m\) and \(n\) with \(m > n\), we have
\begin{eqnarray} [d(x_{n}, x_{m})+d(y_{n}, y_{m})]&\leq& k[d(x_{n}, x_{n+1})+d(x_{n+1}, x_{m})\nonumber+d(y_{n}, y_{n+1})+d(y_{n+1}, y_{m})]\nonumber\\ &\leq& k[d(x_{n}, x_{n+1})+d(y_{n}, y_{n+1})]\nonumber+k^{2}[d(x_{n+1}, x_{n+2})+(d(y_{n+1}, y_{n+2})]\nonumber\\&&{}+…+k^{m-n}[d(x_{m-1}, x_{m})+d(y_{m-1}, y_{m})]\nonumber\\ &\leq&k\lambda^{n}[d(x_{0}, x_{1})+d(y_{0}, y_{1})]\nonumber+k^{2}\lambda^{n+1}[d(x_{0}, x_{1})\nonumber+d(y_{0}, y_{1})]\nonumber\\&&{}+…+k^{m-n}\lambda^{m-1}[d(x_{0}, x_{1})+d(y_{0}, y_{1})]\nonumber\\ &=& k\lambda^{n}(1+k\lambda+(k\lambda)^{2}+…+(k\lambda)^{m-n-1})[d(x_{0}, x_{1})+ d(y_{0}, y_{1})]\nonumber\\ &\leq & \frac{k\lambda^{n}}{1-k\lambda}[d(x_{0}, x_{1})+d(y_{0}, y_{1})] \rightarrow 0 \ as\ n\to\infty \label{eq 6} \end{eqnarray}
(5)
It follows that: \begin{eqnarray} [d(x_{n}, x_{m})+d(y_{n}, y_{m})]\rightarrow 0 & as& n, m \to\infty \nonumber \end{eqnarray} which in turn implies that: \begin{equation*} d(x_{n}, x_{m})\rightarrow 0 \text{ and } d(y_{n}, y_{m})\rightarrow 0 \text{ as } n, m \rightarrow \infty. \end{equation*} Hence \(\{x_{n}\}\) and \(\{y_{n}\}\) are Cauchy sequences in a complete dislocated quasi b-metric space \( X\). As a result there must exist \((x, y) \in X\times X\) such that \(x_{n}\rightarrow x\) and \(y_{n}\rightarrow y\) as \(n\rightarrow \infty\). In addition, Since \(T\) is continuous we have: \begin{equation} x=\lim\limits_{n\to\infty}x_{n+1}=\lim\limits_{n\to\infty}T(x_{n}, y_{n}) = T\Bigl(\lim\limits_{n\to\infty}x_{n}, \lim\limits_{n\to\infty} y_{n}\Bigr) = T(x, y). \nonumber \end{equation} Similarly, \begin{equation} y=\lim\limits_{n\to\infty}y_ {n+1}=\lim\limits_{n\to\infty}T(y_{n}, x_{n}) = T\Bigl(\lim\limits_{n\to\infty}y_{n}, \lim\limits_{n\to\infty} x_{n}\Bigr) = T(y, x). \nonumber \end{equation} Therefore, \((x, y)\in X\times X\) is a coupled fixed point of \(T\).

Uniqueness

Now, we show that \((x, y) \in X\times X\) is a unique coupled fixed point of \(T\). Suppose that \(T\) has another different coupled fixed point say \((x^{\prime}, y^{\prime})\) where \((x^{\prime}, y^{\prime})\in X\times X\) with \(x^{\prime}=T(x^{\prime}, y^{\prime})\) and \(y^{\prime}=T(y^{\prime}, x^{\prime})\). Then, by using (1), we have: \begin{eqnarray*} d(x, x) &=& d[T(x, y), T(x, y)] \\ &\leq & a_{1} [d(x, x)+d(y, y)] +a_{2}[d(x, T(x, y))+d(x, T(x, y))]+a_{3}[d(x, T(x, y))+d(x, T(x, y))]\\ &&{}+a_{4}\left[\frac{d(x, T(x, y))d(x, T(x, y))}{d(x, x)+d(y, y)}\right]+a_{5}\left[\frac{[d(x, x)+d(y, y)][d(x, T(x, y))+d(x, T(x, y))]}{1+d(x, x_)+d(y, y)}\right]\nonumber\\ &&{}+a_{6}\left[\frac{d(x, T(x, y))+d(x, T(x, y))}{1+d(x, T(x, y))d(x, T(x, y))}\right]+a_{7}\left[\frac{[d(y, y)+d(x, T(x, y))]d(x, T(x, y))}{1+d(y, y)+d(x, T(x, y))}\right].\\ &=& a_{1} [d(x, x)+d(y, y)] +a_{2}[d(x, x)+d(x, x)]+a_{3}[d(x, x)+d(x, x)]+a_{4}\left[\frac{d(x, x)d(x, x)}{d(x, x)+d(y, y)}\right]\nonumber\\ &&{}+a_{5}\left[\frac{[d(x, x)+d(y, y)][d(x, x)+d(x, x)]}{1+d(x, x_)+d(y, y)}\right]+a_{6}\left[\frac{d(x, x)+d(x, x)}{1+d(x, x)d(x, x)}\right]\nonumber\\ &&{}+a_{7}\left[\frac{[d(y, y)+d(x, x)]d(x, x)}{1+d(y, y)+d(x, x)}\right].\nonumber\\ &\leq & a_{1} [d(x, x)+d(y, y)]+a_{2}[d(x, x)+d(x, x)]+a_{3}[d(x, x)+d(x, x)]+a_{4}d(x, x)\nonumber\\ &&+a_{5}[d(x, x)+d(x, x)]+a_{6}[d(x, x)+d(x, x)]+a_{7}d(x, x). \end{eqnarray*} Then simplification yields:
\begin{equation} d(x, x) \leq \delta d(x, x)+a_{1} d(y, y). \label{eq9} \end{equation}
(6)
where \(\delta=a_{1}+2(a_{2}+a_{3}+a_{5}+a_{6})+a_{4}+a_{7}\). In a similar way, we can confirm that:
\begin{equation} d(y, y) \leq \delta d(y, y)+a_{1} d(x, x). \label{eq10} \end{equation}
(7)
Adding (6) and (7), we obtain: \begin{equation*} [d(x, x)+d(y, y)] \leq \mu [d(x, x)+d(y, y)]. \end{equation*} where \(\mu=\delta + a_{1}\). Since, \(\mu< 1\) hence the above inequality is possible if and only if \(d(x, x)+d(y, y)=0\). Hence \(d(x, x)=0\) and \(d(y, y)=0\). Similarly, \(d(x^{\prime}, x^{\prime})=0\) and \(d(y^{\prime}, y^{\prime})=0\). Now, we consider: \begin{eqnarray*} d(x, x^{\prime}) &=& d[T(x, y), T(x^{\prime}, y^{\prime})]\\ &\leq & a_{1} [d(x, x^{\prime})+d(y, y^{\prime})] +a_{2}[d(x, T(x, y))+d(x^{\prime}, T(x^{\prime},y^{\prime}))]\nonumber\\ &&{}+a_{3}[d(x, T(x^{\prime}, y^{\prime}))+d(x^{\prime}, T(x, y))]+a_{4}\left[\frac{d(x, T(x, y))d(x^{\prime}, T(x^{\prime}, y^{\prime}))}{d(x, x^{\prime})+d(y, y^{\prime})}\right]\nonumber \end{eqnarray*} \begin{eqnarray*} &&{}+a_{5}\left[\frac{[d(x, x^{\prime})+d(y, y^{\prime})][d(x, T(x, y))+d(x^{\prime}, T(x^{\prime}, y^{\prime}))]}{1+d(x, x^{\prime})+d(y, y^{\prime})}\right]\nonumber\\ &&{}+a_{6}\left[\frac{d(x^{\prime}, T(x, y))+d(x, T(x^{\prime}, y^{\prime}))}{1+d(x^{\prime}, T(x^{\prime}, y^{\prime}))d(x^{\prime}, T(x, y))}\right]+a_{7}\left[\frac{d(y, y^{\prime})+d(x, T(x, y))d(x^{\prime}, T(x^{\prime}, y^{\prime}))}{1+d(y, y^{\prime})+d(x^{\prime}, T(x^{\prime}, y^{\prime}))}\right]. \end{eqnarray*} In fact \(T(x, y)=x\) and \(T(x^{\prime}, y^{\prime})=x^{\prime}\), then we have: \begin{eqnarray*} d(x, x^{\prime}) &= & a_{1} [d(x, x^{\prime})+d(y, y^{\prime})] +a_{2}[d(x, x)+d(x^{\prime}, x^{\prime})]+a_{3}[d(x, x^{\prime})+d(x^{\prime}, x)]+a_{4}\left[\frac{d(x, x)d(x^{\prime}, x^{\prime})}{d(x, x^{\prime})+d(y, y^{\prime})}\right]\nonumber\\ &&{}+a_{5}\left[\frac{[d(x, x^{\prime})+d(y, y^{\prime})][d(x, x)+d(x^{\prime}, x^{\prime})]}{1+d(x, x^{\prime})+d(y, y^{\prime})}\right]+a_{6}\left[\frac{d(x^{\prime}, x)+d(x, x^{\prime})}{1+d(x^{\prime}, x^{\prime})d(x^{\prime}, x)}\right]\nonumber\\ &&{}+a_{7}\left[\frac{[d(y, y^{\prime})+d(x, x^{\prime})]d(x^{\prime}, x^{\prime})}{1+d(y, y^{\prime})+d(x, x^{\prime})}\right]. \end{eqnarray*} Since \( d(x, x)=d(x^{\prime}, x^{\prime})=0 \), we have:
\begin{eqnarray} d(x, x^{\prime}) &\leq & (a_{1} + a_{3} + a_{6})d(x, x^{\prime}) +(a_{3}+a_{6})d(x^{\prime}, x)+ a_{1} d(y, y^{\prime}) \nonumber \\ \bigl(1-(a_{1} + a_{3} +a_{6})\bigr) d(x, x^{\prime}) &\leq& ( a_{3}+ a_{6} ) d(x^{\prime}, x)+ a_{1} d(y, y^{\prime}). \label{eq11} \end{eqnarray}
(8)
By following the similar procedure, we can get:
\begin{eqnarray} \bigl(1-(a_{1} + a_{3} +a_{6})\bigr)d(y, y^{\prime}) \leq ( a_{3}+ a_{6} ) d(y^{\prime}, y)+a_{1} d(x, x^{\prime}) . \label{eq12} \end{eqnarray}
(9)
Adding (8) and (9) and then simplifying, we obtain:
\begin{eqnarray} [d(x, x^{\prime})+d(y, y^{\prime})]&\leq& \sigma[d(x^{\prime}, x) +d(y^{\prime}, y)]. \label{eq13} \end{eqnarray}
(10)
where $$\sigma = \left[\frac{a_{3}+ a_{6} }{1-(2a_{1} + a_{3} +a_{6})}\right].$$ Similarly, we can get:
\begin{eqnarray} [d(x^{\prime}, x)+d(y^{\prime}, y)] \leq \sigma[d(x, x^{\prime}) +d(y, y^{\prime})]. \label{eq14} \end{eqnarray}
(11)
Adding (10) and (11), we get: \begin{eqnarray} [d(x, x^{\prime})+d(y, y^{\prime})+d(x^{\prime}, x)+d(y^{\prime}, y)] &\leq& \sigma[d(x, x^{\prime}) +d(y, y^{\prime})+d(x^{\prime}, x)+d(y^{\prime}, y)]. \nonumber \end{eqnarray} Since \(\sigma< 1\) so, the above inequality is possible if and only if \( [d(x, x^{\prime})+d(y, y^{\prime})+d(x^{\prime}, x)+d(y^{\prime}, y)] =0.\) Which implies that \(d(x, x^{\prime}) = 0, d(y, y^{\prime}) = 0, d(x^{\prime}, x) = 0 \), and \(d(y^{\prime}, y)= 0.\) It follows that \(x = x^{\prime}\) and \(y = y^{\prime}\) such that \((x, y)=(x^{\prime}, y^{\prime})\) which contradicts our assumption. Therefore, \((x, y)\) is a unique coupled fixed point of \(T\) in \(X\times X\).

Remark 1. If we take \(k=1\) and \(a_7=0\) in Theorem 3, we get Theorem 2 of [8]. Thus our established theorem generalizes Theorem 2.

Example 1. Let \(X=[0, 1]\). Define \(d : X\times X\rightarrow \Re^{+}\) by $$d(x, y)=|2x+y|^{2}+|2x-y|^{2}$$ for all \(x, y \in X\). Then \((X, d)\) is dq b-metric space with constant coefficient \(k=2\). If we define a continuous map \(T : X\times X\rightarrow X\) by \(T(x, y)=\frac{xy}{10}.\) Since \(|2xy+uv|^{2}\leq|2x+u|^{2}+|2y+v|^{2}, |2xy-uv|^{2}< |2x-u|^{2}+|2y-v|^{2}\) holds for all \(x, y, u, v \in X\). Then, we have:\\ \( d[T(x, y), T(u, v)]= d\left(\frac{2xy}{10}, \frac{uv}{10}\right)=\left|\frac{2xy}{10}+\frac{uv}{10}\right|^{2}+\left|\frac{2xy}{10}-\frac{uv}{10}\right|^{2} \leq \frac{1}{100}\left(|2x+u|^{2}+|2y+v|^{2} +|2x-u|^{2}+|2y-v|^{2}\right)\\=\frac{1}{10}\left[d(x, u)+d(y, v)\right].\) It shows that: \begin{eqnarray*} d[T(x, y), T(u, v)] &\leq& a_{1} [d(x, u)+d(y, v)] +a_{2}[d(x, T(x, y))+d(u, T(u, v))]+a_{3}[d(x, T(u, v))+d(u, T(x, y))]\nonumber\\ &&{}+a_{4}\left[\frac{d(x, T(x, y))d(u, T(u, v))}{d(x, u)+d(y, v)}\right]+a_{5}\left[\frac{[d(x, u)+d(y, v)][d(x, T(x, y))+d(u, T(u, v))]}{1+d(x, u)+d(y, v)}\right]\nonumber\\ &&{}+a_{6}\left[\frac{d(u, T(x, y))+d(x, T(u, v))}{1+d(u, T(u, v))d(u, T(x, y))}\right]+a_{7}\left[\frac{[d(y, v)+d(x, T(x, y))]d(u, T(u, v))}{1+d(y, v)+d(x, T(x, y))}\right]. \end{eqnarray*} It can be easily shown that \((0, 0) \in X\times X\) is the unique coupled fixed point of \(T\) in \(X\times X\). Hence, we have successfully verified Theorem 3.

4. Conclusion and future scope

Mohammed et al. [8] proved the existence and uniqueness of a coupled fixed point result for maps satisfying certain rational type contractive condition in the setting of complete dislocated quasi metric space. In this paper, we have established and proved the existence and uniqueness of a coupled fixed point result for maps satisfying rational type contractive condition in the perspective of complete dislocated quasi b- metric spaces. Our established result generalizes and extends the result of Mohammed et al. [8] and related results in the existing literature. Also, we provided examples in support of the main result. The researchers believes that the search for the existence and uniqueness of coupled fixed point for maps satisfying different contractive conditions in dislocated quasi b- metric space is an active area of research. As a result, any interested researchers can utilize this opportunity to conduct their thesis work in this area.

Acknowledgments

The authors would like to thank the College of Natural Sciences, Jimma University for funding this research work.

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. Hitzler, P., & Seda, A. K. (2000). Dislocated topologies. Journal of electrical engineering, 51(12), 3-7.[Google Scholor]
  2. Hitzler, P. (2001). Generalized metrics and topology in logic programming semantics [Ph. D. thesis]. National University of Ireland (University College, Cork).[Google Scholor]
  3. Zeyada, F. M., Hassan, G. H., & Ahmed, M. A. (2006). A generalization of a fixed point theorem due to Hitzler and Seda in dislocated quasi-metric spaces. Arabian journal for Science and Engineering, 31(1A), 111-114. [Google Scholor]
  4. Rahman, M. U., & Sarwar, M. (2016). Dislocated quasi b-metric space and fixed point theorems. Electronic Journal of Mathematical Analysis and Applications, 4(2), 16-24.[Google Scholor]
  5. Guo, D., & Lakshmikantham, V. (1987). Coupled fixed points of nonlinear operators with applications. Nonlinear Analysis: Theory, Methods & Applications, 11(5), 623-632. [Google Scholor]
  6. 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]
  7. Al Muhiameed, Z., Bousselsal, M., & Mostefaoui, Z. (2018). Some Coupled Fixed Point Results in Discolated Quasi-b-Metric Spaces for Rational Type Contraction Mappings. Asian Journal of Mathematics and Physics, 2, 1-5. [Google Scholor]
  8. Mohammad, M., Jamal, R., Mishra, J., Kabir, Q. A., & Bhardwaj, R. (2018). Coupled Fixed Point Theorem and Dislocated Quasi-Metric Space. International Journal of Pure and Applied Mathematics, 119(10), 1249-1260. [Google Scholor]
  9. 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]
  10. Rahman, M. U. (2017). New fixed point theorems in dislocated quasi-b-metric space. Applied Mathematics & Information Sciences Letters, 5 (1), 7-11.[Google Scholor]