# Fixed point results for Geraghty quasi-contraction type mappings in dislocated quasi-metric spaces

## Abstract

In this paper, fixed point results for a newly introduced Geraghty quasi-contraction type mappings are proved in more general metric spaces called T-orbitally complete dislocated quasi-metric spaces. Geraghty quasi-contraction type mappings generalize, among others, Ciric’s quasi-contraction mappings and other Geraghty quasi-contractive type mappings in the literature. Fixed point results are obtained without imposing a continuity condition on the mapping, thereby further generalizing some other related work in the literature. An example is given to show the validity of results obtained.

## Introduction and preliminaries

Geraghty [1] generalized the Banach [2] contraction mapping in metric spaces by using an auxiliary function instead of a constant.

Let F be the family of all functions $$\beta :[0,\infty ) \rightarrow [0, 1)$$ which satisfy the condition

$$\lim_{n \rightarrow \infty }\beta (t_{n}) = 1 \quad \text{implies} \quad \lim_{n \rightarrow \infty }t_{n} = 0.$$

Using such a function, Geraghty [1] proved the following theorem.

### Theorem 1.1

([1])

Let $$(X,d)$$ be a complete metric space and let T be a self-mapping on X. Suppose that there exists $$\beta \in F$$ such that, for all $$x, y \in X$$,

$$d(Tx,Ty) \leq \beta \bigl(d(x,y)\bigr)d(x,y),$$
(1)

then T has a unique fixed point $$x^{*} \in X$$ and $$\{T^{n}x\}$$ converges to $$x^{*}$$ for all $$x \in X$$.

Since then, some authors have generalized and extended the Banach contraction principle in diverse ways (see [37]).

Many extensions of Banach contraction mapping have also been investigated using different forms of contractive conditions. Asadi [8] proved some fixed point results satisfying certain contraction principles on a convex metric space. Özyurt [9] established fixed point results for extended large contraction via (c)-comparison function in a complete metric space while Özturk [10] introduced F-contraction and proved fixed point results for F-contractive iterates in a metric space. Some interesting results using other contractive conditions include [1115].

In 2000, Hitzler [16] introduced a space known as dislocated metric space in which the self distance of points is not necessarily zero and showed that the popular Banach contraction mapping is also valid in the space. Dislocated metric space has applications in semantic analysis of logical programming, electronic engineering and in topology [16]. Zeyada et al. [17] further generalized the concept of dislocated metric space and introduced the idea of dislocated quasi-metric space. In this new notion, the symmetric property is also omitted. Some other papers have been published containing fixed point results for self-mappings with different contraction conditions in metric spaces and their generalizations including dislocated metric spaces and dislocated quasi-metric spaces (see [1726]).

### Definition 1.2

([17])

Let X be a non-empty set and let $$d:X\times X\rightarrow \mathbb{R}^{+}$$ be a function such that the following are satisfied:

1. (i)

$$d(x,y)=d(y,x)=0$$ implies that $$x=y$$;

2. (ii)

$$d(x,y)\leq d(x,z)+d(z,y)$$ for all $$x,y,z\in X$$.

Then d is called dislocated quasi-metric on X and the pair $$(X,d)$$ is called a dislocated quasi-metric space.

As an improvement of α-admissible maps introduced by Samet et al. [24] and Karapínar et al. [26], Popescu [5] introduced the following concepts, which were used to prove the existence and uniqueness of fixed point results in a complete metric space.

### Definition 1.3

([5])

Let $$T : X \rightarrow X$$ be a self-mapping and $$\alpha : X \times X \rightarrow \mathbb{R}^{+}$$ be a function. Then T is said to be α-orbital admissible if $$\alpha (x,Tx) \geq 1$$ implies $$\alpha (Tx,T^{2} x)\geq 1$$.

### Definition 1.4

([5])

Let $$T : X \rightarrow X$$ be a self-mapping and $$\alpha : X \times X \rightarrow \mathbb{R}^{+}$$ be a function. Then T is said to be triangular α-orbital admissible if T is α-orbital admissible and $$\alpha (x,y)\geq 1$$, $$\alpha (y,Ty)\geq 1$$ imply $$\alpha (x,Ty)\geq 1$$.

### Lemma 1.5

([5])

Let $$T : X \rightarrow X$$ be a triangular α-orbital admissible mapping. Assume that there exists $$x_{1} \in X$$ such that $$\alpha (x_{1},Tx_{1})\geq 1$$. Define a sequence $$\{x_{n}\}$$ by $$x_{n+1} = Tx_{n}$$. Then, we have $$\alpha (x_{n}, x_{m})\geq 1$$ for all $$m, n \in \mathbb{N}$$ with $$n < m$$.

The following definition by Ciric [25] on quasi-contraction mappings in metric spaces are also true for dislocated quasi-metric spaces.

### Definition 1.6

([25])

Let $$T:X\rightarrow X$$ be a self-mapping on a metric space. For each $$x\in X$$ and for any positive whole number n,

$$O_{T}(x,n)=\bigl\{ x,Tx,\ldots,T^{n}x\bigr\} \quad \text{and} \quad O_{T}(x,\infty )=\bigl\{ x,Tx, \ldots,T^{n}x,\ldots\bigr\} .$$

The set $$O_{T}(x,\infty )$$ is called the orbit of T at x and the metric space X is called T-orbitally complete if every Cauchy sequence in $$O_{T}(x,\infty )$$ is convergent in X.

It is clear that every complete dislocated quasi-metric space is T-orbitally complete. But the converse does not hold in general.

The purpose of this paper is to prove some fixed point results in dislocated quasi-metric space using new concepts of Geraghty quasi-contraction type self-mappings that the authors just introduced and proved fixed point results in the context of metric spaces [27]. The result is obtained by dropping the restriction of continuity and proving the existence and uniqueness of fixed point in an orbitally complete (which is a relaxation of completeness) dislocated quasi-metric space. This result generalizes many existing related work in the literature [15, 16, 17, 2227].

## Main results

Let Φ denote the class of the functions $$\phi : [0,\infty )\rightarrow [0,\infty )$$ which satisfy the following conditions:

1. (i)

ϕ is non-decreasing;

2. (ii)

ϕ is continuous;

3. (iii)

$$\phi (t)=0 \iff t = 0$$.

First, we state the following new mapping introduced by the authors in [27].

### Definition 2.1

Let $$(X,d)$$ be a metric space and $$\alpha :X \times X \rightarrow \mathbb{R}^{+}$$ be a function. A self-mapping $$T:X \rightarrow X$$ is called an α-ϕ-Geraghty quasi-contraction type mapping if there exists $$\beta \in F$$ such that, for all $$x,y \in X$$,

$$\alpha (x,y) \phi \bigl(d(Tx,Ty)\bigr) \leq \beta \bigl(\phi \bigl(M_{T}(x,y)\bigr)\bigr)\phi \bigl(M_{T}(x,y)\bigr),$$
(2)

where $$M_{T}(x,y)= \max \{d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\}$$.

### Remark 2.2

1. (i)

From inequality (2) above, if $$\alpha (x,y)=1$$, $$\phi (t)=t$$ and $$M_{T}(x,y)=d(x,y)$$, then we have the Geraghty [1] contraction mapping defined on a metric space. In addition, if $$\beta (t)=q$$; where $$q\in [0,1)$$, we have the Banach contraction mapping [2]. Inequality (2) also generalizes, among others, those of Popescu [5], Karapínar [4, 28] and Cho et al. [3].

2. (ii)

Definition 2.1 is also true for a dislocated quasi-metric space since every metric space is a dislocated quasi-metric space but the converse is not necessarily true. An example, which is inspired by Rahman and Sarwar [22], is provided to buttress this fact.

### Example 2.3

Let $$X=\mathbb{R}$$ and $$d(x,y)=|x|$$ for all $$x,y\in X$$. Let $$\beta (t)=\frac{1}{t}$$ for all $$t> 0$$. Then $$\beta \in F$$. Let $$\phi (t)=2t$$ and a mapping $$T:X\rightarrow X$$ be defined by

$$T(x)= \textstyle\begin{cases} \frac{1}{2+x}, & \mbox{if } x \in [0,1], \\ 1, & \mbox{if } x > 1. \end{cases}$$

Define a function $$\alpha :X\times X\rightarrow [0,\infty )$$ by

$$\alpha (x,y)= \textstyle\begin{cases} 1, & \mbox{if } 0\leq x,y\leq 1, \\ 0, & \text{otherwise}. \end{cases}$$

Then T is an α-ϕ-Geraghty quasi-contraction type mapping defined on a dislocated quasi-metric space but not on a metric space.

### Theorem 2.4

Let $$(X,d)$$ be a T-orbitally complete dislocated quasi-metric space such that $$T:X\rightarrow X$$ is a self-mapping. Suppose $$\alpha : X \times X \rightarrow \mathbb{R}^{+}$$ is a function satisfying the following conditions:

1. (i)

T is an α-ϕ-Geraghty quasi-contraction type mapping.

2. (ii)

T is triangular α-orbital admissible mapping.

3. (iii)

There exists $$x_{1} \in X$$ such that $$\alpha (x_{1},Tx_{1}) \geq 1$$.

Then T has a fixed point $$x^{*} \in X$$ and $$\{T^{n} x_{1}\}$$ converges to $$x^{*}$$.

### Proof

Let $$x_{1}\in X$$ such that $$\alpha (x_{1},Tx_{1})\geq 1$$. Define a sequence $$\{x_{i}\}$$ by $$x_{i+1}=T^{i}x$$, for $$1\leq i\leq n-1$$. If $$x_{i}=x_{i+1}$$ for some $$1\leq i\leq n-1$$, then obviously T has a fixed point. Consequently, throughout the proof, we suppose that $$x_{i}\neq x_{i+1}$$ for all $$i\geq 1$$. By Lemma 1.5, used recursively, we have

$$\alpha (x_{i},x_{i+1}) \geq 1 \quad \forall i \geq 1.$$
(3)

By (2), for $$1\leq j\leq n$$ we get

\begin{aligned} \phi \bigl(d\bigl(T^{i}x,T^{j}x\bigr)\bigr) =&\phi \bigl(d\bigl(TT^{i-1}x,TT^{j-1}x\bigr)\bigr) \\ \leq &\alpha \bigl(T^{i-1}x,T^{j-1}x\bigr)\phi \bigl(d \bigl(TT^{i-1}x,TT^{j-1}x\bigr)\bigr) \\ \leq &\beta \bigl(\phi \bigl(M_{T}\bigl(T^{i-1}x,T^{j-1}x \bigr)\bigr)\bigr)\phi \bigl(M_{T}\bigl(T^{i-1}x,T^{j-1}x \bigr)\bigr), \end{aligned}
(4)

where

\begin{aligned} \phi \bigl(M_{T}\bigl(T^{i-1}x,T^{j-1}x\bigr) \bigr) =& \phi \bigl(\max \bigl\{ d\bigl(T^{i-1}x,T^{j-1}x \bigr),d\bigl(T^{i-1}x,T^{i}x\bigr),d\bigl(T^{j-1}x,T^{j}x \bigr), \\ &d\bigl(T^{i-1}x,T^{j}x\bigr), d\bigl(T^{j-1}x,T^{i}x \bigr)\bigr\} \bigr) \\ \leq & \phi \bigl(\delta \bigl[O_{T}(x,n)\bigr]\bigr), \end{aligned}

where $$\delta [O_{T}(x,n)]=\max \{d(T^{i}x,T^{j}x):0\leq i\leq j\leq n\}$$.

Note that, since the functions belonging to F are strictly smaller than one, inequality (2) implies $$\phi (d(T^{i}x,T^{j}x))\leq \phi (M_{T}(T^{i-1}x,T^{j-1}x))$$ for all $$0\leq i\leq j\leq n$$.

The case $$\phi (M_{T}(T^{i-1}x,T^{j-1}x))=\phi (d(T^{i}x,T^{j}x))$$ is impossible. For

\begin{aligned} \phi \bigl(d\bigl(T^{i}x,T^{j}x\bigr)\bigr) \leq &\beta \bigl(\phi \bigl(M_{T}\bigl(T^{i-1}x,T^{j-1}x \bigr)\bigr)\bigr) \phi \bigl(M_{T}\bigl(T^{i-1}x,T^{j-1}x \bigr)\bigr) \\ \leq &\beta \bigl(\phi \bigl(d\bigl(T^{i}x,T^{j}x\bigr) \bigr)\bigr)\phi \bigl(d\bigl(T^{i}x,T^{j}x\bigr)\bigr) \\ < &\phi \bigl(d\bigl(T^{i}x,T^{j}x\bigr)\bigr), \end{aligned}

is a contradiction. Thus, we conclude that $$\phi (d(T^{i}x,T^{j}x))<\phi (M_{T}(T^{i-1}x,T^{j-1}x))$$ for all $$0\leq i\leq j\leq n$$. Thus, the sequence $$\{d(T^{i}x,T^{j}x)\}$$ is positive and decreasing. Consequently, there exists $$r\geq 0$$ such that

$$\lim_{i,j\rightarrow \infty }d\bigl(T^{i}x,T^{j}x \bigr)=r.$$

We claim that $$r=0$$. Suppose, on the contrary, that $$r>0$$. Then, from (4) we have

\begin{aligned}& \frac{\phi (d(T^{i}x,T^{j}x))}{\phi (M_{T}(T^{i-1}x,T^{j-1}x))}\leq \beta \bigl(\phi \bigl(M_{T} \bigl(T^{i-1}x,T^{j-1}x\bigr)\bigr)\bigr)< 1, \\& \lim_{i,j\rightarrow \infty }\beta \bigl(\phi \bigl(M_{T} \bigl(T^{i-1}x,T^{j-1}x\bigr)\bigr)\bigr)=1. \end{aligned}

Since $$\beta \in F$$, by definition, it implies that

$$\lim_{i,j\rightarrow \infty }\phi \bigl(M_{T}\bigl(T^{i-1}x,T^{j-1}x \bigr)\bigr)=0$$
(5)

and so

$$r= \lim_{i,j\rightarrow \infty }\bigl(d\bigl(T^{i}x,T^{j}x \bigr)\bigr)=0,$$

Next, we show that the sequence $$\{d(T^{i}x,T^{j}x)\}$$ is Cauchy. On the contrary, suppose

$$\epsilon =\lim_{m,n\rightarrow \infty }d\bigl(T^{n-1}x,T^{m-1}x \bigr)>0, \quad n\geq m.$$
(6)

Using the triangle inequality,

$$d\bigl(T^{n-1}x,T^{m-1}x\bigr) \leq d \bigl(T^{n-1}x,T^{n}x\bigr)+d\bigl(T^{n}x,T^{m}x \bigr)+d\bigl(T^{m}x,T^{m-1}x\bigr)$$

implying

$$d\bigl(T^{n-1}x,T^{m-1}x\bigr)- d\bigl(T^{n-1}x,T^{n}x \bigr)-d\bigl(T^{m}x,T^{m-1}x\bigr)\leq d \bigl(T^{n}x,T^{m}x\bigr).$$

Now, using ϕ, we have

\begin{aligned} \phi \bigl(d\bigl(T^{n-1}x,T^{m-1}x\bigr)- d \bigl(T^{n-1}x,T^{n}x\bigr)-d\bigl(T^{m}x,T^{m-1}x \bigr)\bigr) \leq &\phi \bigl(d\bigl(T^{n}x,T^{m}x\bigr) \bigr) \\ \leq &\alpha (x_{n},x_{m})\phi \bigl(d\bigl(T^{n-1}x, T^{m-1}x \bigr) \\ \leq &\beta \bigl(\phi \bigl(M_{T}\bigl(T^{n-1}x,T^{m-1}x \bigr)\bigr)\bigr) \\ &{}\times\phi \bigl(M_{T}\bigl(T^{n-1}x,T^{m-1}x \bigr)\bigr). \end{aligned}

Taking the limits and using (6) we get

\begin{aligned}& \phi (\epsilon ) \leq \lim_{m,n\rightarrow \infty }\beta \bigl( \phi \bigl(M_{T}\bigl(T^{n-1}x,T^{m-1}x\bigr)\bigr) \bigr)\phi (\epsilon ), \\& 1 \leq \lim_{m,n\rightarrow \infty }\beta \bigl(\phi \bigl(M_{T} \bigl(T^{n-1}x,T^{m-1}x\bigr)\bigr)\bigr). \end{aligned}

Therefore $$\lim_{m,n\rightarrow \infty }\beta (\phi (M_{T}(T^{n-1}x,T^{m-1}x)))=1$$ and so $$\lim_{m,n\rightarrow \infty }\phi (M_{T}(T^{n-1}x,T^{m-1}x))=0$$. Thus $$\lim_{m,n\rightarrow \infty }d(T^{n-1}x,T^{m-1}x)=0$$, which contradicts our assumption.

Thus, the sequence $$\{d(T^{i}x,T^{j}x)\}$$ is Cauchy. Since X is T-orbitally complete, there exists $$x^{*}\in X$$ such that $$\lim_{n\rightarrow \infty }T^{n}x=x^{*}$$. To show that $$Tx^{*}=x^{*}$$, suppose that

$$d\bigl(x^{*},Tx^{*}\bigr)=\lim_{i\rightarrow \infty }d \bigl(T^{i}x,Tx^{*}\bigr)> 0.$$

Now,

$$d\bigl(x^{*},Tx^{*}\bigr) \leq d\bigl(x^{*},T^{i}x \bigr)+d\bigl(T^{i}x,Tx^{*}\bigr)$$

implying

$$d\bigl(x^{*},Tx^{*}\bigr)-d\bigl(x^{*},T^{i}x \bigr) \leq d\bigl(T^{i}x,Tx^{*}\bigr).$$

Applying ϕ, we have

\begin{aligned} \phi \bigl(d\bigl(x^{*},Tx^{*}\bigr)-d \bigl(x^{*},T^{i}x\bigr) \bigr) \leq &\phi \bigl(d \bigl(T^{i}x,Tx^{*}\bigr)\bigr) \\ \leq &\alpha \bigl(T^{i-1}x,x^{*}\bigr)\phi \bigl(d \bigl(TT^{i-1}x,Tx^{*}\bigr)\bigr) \\ \leq &\beta \bigl(\phi \bigl(M_{T}\bigl(T^{i-1}x,x^{*} \bigr)\bigr)\bigr)\phi \bigl(M_{T}\bigl(T^{i-1}x,x^{*} \bigr)\bigr), \end{aligned}

where $$M_{T}(T^{i-1}x,x^{*})=\max \{d(T^{i-1}x,x^{*}), d(x^{*},Tx^{*}), d(T^{i-1}x,T^{i}x), d(x^{*},T^{i}x), d(T^{i-1}x,Tx^{*})\}$$.

Taking limits as i tends to infinity gives

$$\lim_{i\rightarrow \infty }\phi \bigl(d\bigl(x^{*},Tx^{*} \bigr) \bigr) \leq \lim_{i\rightarrow \infty }\beta \bigl(\phi \bigl(M_{T}\bigl(T^{i-1}x,x^{*}\bigr)\bigr) \bigr) \lim_{i\rightarrow \infty }\phi \bigl(d\bigl(x^{*},Tx^{*} \bigr)\bigr).$$

Also

$$1 \leq \lim_{i\rightarrow \infty }\beta \bigl(\phi \bigl(M_{T} \bigl(T^{i-1}x,x^{*}\bigr)\bigr)\bigr).$$

So, by the definition of $$\beta \in F$$, we get

\begin{aligned} \lim_{i\rightarrow \infty }\beta \bigl(\phi \bigl(M_{T} \bigl(T^{i-1}x,x^{*}\bigr)\bigr)\bigr)=1 \rightarrow & \lim _{i\rightarrow \infty }\phi \bigl(M_{T}\bigl(T^{i-1}x,x^{*} \bigr)\bigr)=0 \\ \rightarrow & \phi \bigl(d\bigl(x^{*},Tx^{*}\bigr) \bigr)=0 \\ \rightarrow & d\bigl(x^{*},Tx^{*}\bigr)=0, \end{aligned}

a contradiction. Thus, we obtain $$d(x^{*},Tx^{*})=0$$. Similarly, $$d(Tx^{*},x^{*})=0$$. That is, $$x^{*}=Tx^{*}$$ and the fixed point of T is $$x^{*}$$. □

To ensure the uniqueness of a fixed point, consider the following hypothesis:

$$(J)$$::

For all $$x\neq y\in \operatorname{Fix}(T)$$ there exists $$w\in X$$ such that $$\alpha (x,w)\geq 1$$, $$\alpha (y,w)\geq 1$$ and $$\alpha (w,Tw)\geq 1$$.

$$\operatorname{Fix}(T)$$ denotes the set of fixed points of T.

### Theorem 2.5

Adding condition $$(J)$$ to the conditions of Theorem 2.4, we find that $$x^{*}$$ is a unique fixed point of T.

### Proof

From the proof of Theorem 2.4, $$x^{*}$$ is a fixed point of T. Assume that $$x^{*}_{1}$$ and $$x^{*}_{2}$$ are distinct fixed points of T. By $$(J)$$, there exists $$w\in X$$ such that $$\alpha (x^{*}_{1},w)\geq 1$$, $$\alpha (x^{*}_{2},w)\geq 1$$ and $$\alpha (w,Tw)\geq 1$$. By condition (ii) in Theorem 2.4, $$\alpha (x^{*}_{1},T^{n}w)\geq 1$$ and $$\alpha (x^{*}_{2},T^{n}w)\geq 1$$ for all $$n\geq 1$$. So

\begin{aligned} \phi \bigl(d\bigl(x^{*}_{1},T^{n+1}w\bigr) \bigr) \leq& \alpha \bigl(x^{*}_{1},T^{n}w \bigr)\phi \bigl(d\bigl(Tx^{*}_{1},T^{n+1}w \bigr)\bigr) \\ \leq& \beta \bigl(\phi \bigl(M_{T}\bigl(x^{*}_{1},T^{n}w \bigr)\bigr)\bigr)\phi \bigl(M_{T}\bigl(x^{*}_{1},T^{n}w \bigr)\bigr) \end{aligned}

for all $$n\geq 1$$, where

\begin{aligned} M_{T}\bigl(x^{*}_{1},T^{n}w \bigr) =&\max \bigl\{ d\bigl(x^{*}_{1},T^{n}w \bigr),d\bigl(T^{n}w,T^{n+1}w\bigr),d\bigl(x^{*}_{1},Tx^{*}_{1} \bigr),d\bigl(Tx^{*}_{1},T^{n}w\bigr), \\ &d\bigl(x^{*}_{1},T^{n+1}w\bigr) \bigr\} \\ =&\max \bigl\{ d\bigl(x^{*}_{1},T^{n}w \bigr),d\bigl(T^{n}w,T^{n+1}w\bigr),d\bigl(x^{*}_{1},T^{n+1}w \bigr),d\bigl(x^{*}_{1},T^{n}w\bigr) \bigr\} . \end{aligned}

We deduce, by Theorem 2.4, that the sequence $$\{T^{n}w\}$$ converges to a fixed point z. As $$n\rightarrow \infty$$ in the above inequality, we obtain $$\lim_{n\rightarrow \infty }M_{T}(x^{*}_{1},T^{n}w)=d(x^{*}_{1},z)$$. If $$x^{*}_{1}\neq z$$, then

$$\frac{\phi (d(x^{*}_{1},T^{n+1}w))}{\phi (M_{T}(x^{*}_{1},T^{n}w))} \leq \beta (\phi \bigl(\bigl(M_{T} \bigl(x^{*}_{1},T^{n}w\bigr)\bigr)\bigr)< 1$$

and as $$n\rightarrow \infty$$, $$\lim_{n\rightarrow \infty }\beta (\phi (M_{T}(x^{*}_{1},T^{n}w)))=1$$ implies that $$\lim_{n\rightarrow \infty }\phi (M_{T}(x^{*}_{1},T^{n}w))=0$$. Thus $$d(x^{*}_{1},z)=0$$, a contradiction. Therefore, $$x^{*}_{1}=z$$. Similarly, $$x^{*}_{2}=z$$. Thus $$x^{*}_{1}=x^{*}_{2}$$, a contradiction and hence the fixed point of T is unique. □

In inequality (2) taking $$\phi (t)=t$$, an α-Geraghty quasi-contraction type mapping is obtained and Theorem 2.4 reduces to the following.

### Corollary 2.6

Let $$(X,d)$$ be a T-orbitally complete dislocated quasi-metric space such that $$T:X\rightarrow X$$ is a self-mapping. Suppose $$\alpha : X \times X \rightarrow \mathbb{R}^{+}$$ is a function satisfying the following conditions:

1. (i)

T is an α-Geraghty quasi-contraction type mapping.

2. (ii)

T is triangular α-orbital admissible mapping.

3. (iii)

There exists $$x_{1} \in X$$ such that $$\alpha (x_{1},Tx_{1}) \geq 1$$.

Then T has a fixed point $$x^{*} \in X$$ and $$\{T^{n} x_{1}\}$$ converges to $$x^{*}$$.

### Remark 2.7

1. (i)

Suppose the α-ϕ-Geraghty quasi-contraction type mapping is defined on a metric space, then Theorem 2.4 reduces to the result obtained by the authors in [27].

2. (ii)

Moreover, suppose continuity condition is imposed on the mapping T, if defined on a complete metric space, which is a stronger restriction than orbital completeness, $$\phi (t)=t$$ and $$M_{T}(x,y)= \{ d(x,y),d(x,Tx), d(y,Ty),\frac{d(x,Ty)+d(y,Tx)}{2} \}$$ the result in Popescu [5] is obtained.

3. (iii)

The results in Karapinar [4, 28] and Cho et al. [3] are also corollaries to our result. Therefore, Theorem 2.4 is an improvement and a generalization of other related work and hence an addition to the library of mappings in the literature.

The following examples validate Theorem 2.4.

### Example 2.8

Let $$X=[0,\infty )$$ and $$d(x,y)=x$$ for all $$x,y\in X$$. Let $$\beta (t)=\frac{1}{1+t}$$ for all $$t> 0$$. Then $$\beta \in F$$. Let $$\phi (t)=2t$$ and a mapping $$T:X\rightarrow X$$ be defined by

$$T(x)= \textstyle\begin{cases} \frac{1}{3}x, & \mbox{if } x \in [0,1], \\ 2x, & \mbox{if } x>1. \end{cases}$$

Define a function $$\alpha :X\times X\rightarrow [0,\infty )$$ by

$$\alpha (x,y)= \textstyle\begin{cases} 1, & \mbox{if } 0\leq x,y\leq 1, \\ 0, & \text{otherwise}. \end{cases}$$

One can easily see that X is a dislocated quasi-metric space but not a metric space. Also, the self-mapping T is not continuous at $$x=1$$.

Condition (iii) of Theorem 2.4 is satisfied with $$x_{1}=1$$.

For condition (ii), let x, y be such that $$\alpha (x,y)\geq 1$$. Then, $$x,y\in [0,1]$$, and $$Tx,Ty\in [0,1]$$. Moreover, $$\alpha (y,Ty)=\alpha (x,Tx)=1$$ and $$\alpha (Tx,T^{2}x)=1$$. Thus, T is triangular α-orbital admissible. Therefore, (ii) is satisfied.

Finally, we prove that condition (i) is satisfied. If $$0\leq x$$, $$y\leq 1$$, then $$\alpha (x,y)=1$$ and

\begin{aligned} \beta \bigl(\phi \bigl(M_{T}(x,y)\bigr)\bigr)\phi \bigl(M_{T}(x,y)\bigr)-\alpha (x,y)\phi \bigl(d(Tx,Ty)\bigr) =&\beta \bigl(\phi \bigl(M_{T}(x,y)\bigr)\bigr)\phi \bigl(M_{T}(x,y) \bigr) \\ &{}-\phi \bigl(d(Tx,Ty)\bigr) \\ =&\frac{2M_{T}(x,y)}{1+2M_{T}(x,y)}-2Tx \\ \geq & 0. \end{aligned}

Therefore, $$\alpha (x,y)\phi (d(Tx,Ty))\leq \beta (\phi (M_{T}(x,y)))\phi (M_{T}(x,y))$$ for $$0\leq x$$, $$y \leq 1$$.

If $$x\in [0,1]$$, $$y>1$$, or $$x, y>1$$ then, obviously, $$\alpha (x,y)=0$$ and we have

$$\alpha (x,y)\phi \bigl(d(Tx,Ty)\bigr)\leq \beta \bigl(\phi \bigl(M_{T}(x,y) \bigr)\bigr)\phi \bigl(M_{T}(x,y)\bigr).$$

Therefore, all assumptions of Theorem 2.4 and Theorem 2.5 are satisfied, and hence T has a unique fixed point $$x^{*}=0$$.

### Example 2.9

Consider the set $$X= \{ \{0\}\cup \{\frac{1}{n}:n\in \mathbb{N}\}\cup \mathbb{N} \}$$ and a dislocated quasi-metric $$d(x,y)=|x-y|+x$$, $$\forall x,y\in X$$. Let $$\phi (t)=\frac{t}{2}$$ and $$\beta (t)=\frac{1}{t}$$ $$\forall t> 0$$, then $$\beta \in F$$. Define the mapping $$T:X\rightarrow X$$ by

$$T(x)= \textstyle\begin{cases} \frac{1}{x}, & \mbox{if } x\geq 1, \\ x, & \text{otherwise}. \end{cases}$$

Also define the function $$\alpha :X\times X\rightarrow \mathbb{R}^{+}$$ by $$\alpha (x,y)=1$$ $$\forall x,y\in X$$.

X is also a dislocated quasi-metric space but neither a metric space nor a dislocated metric space and the self-mapping T is not continuous.

Condition (iii) of Theorem 2.4 is also satisfied with $$x_{1}=1$$.

Obviously, condition (ii) is satisfied. Let x, y be such that $$\alpha (x,y)\geq 1$$. Then $$x,y\in X$$ and $$Tx,Ty\in X$$. Moreover, $$\alpha (y,Ty)=\alpha (x,Tx)=1$$ and $$\alpha (Tx,T^{2}x)=1$$. Thus, T is triangular α-orbital admissible and (ii) is satisfied.

Finally, we prove that condition (i) is satisfied. For $$\forall x,y\in X$$, $$\alpha (x,y)=1$$ and

\begin{aligned} \beta \bigl(\phi \bigl(M_{T}(x,y)\bigr)\bigr)\phi \bigl(M_{T}(x,y)\bigr)-\alpha (x,y)\phi \bigl(d(Tx,Ty)\bigr) =& \beta \bigl(\phi \bigl(M_{T}(x,y)\bigr)\bigr)\phi \bigl(M_{T}(x,y) \bigr) \\ &{}-\frac{d(Tx,Ty)}{2} \\ =&\beta \biggl(\frac{M_{T}(x,y)}{2} \biggr) \biggl( \frac{M_{T}(x,y)}{2} \biggr) \\ &{}-\frac{ \vert Tx-Ty \vert +Tx}{2} \\ =& \biggl(\frac{2}{M_{T}(x,y)} \biggr) \biggl(\frac{M_{T}(x,y)}{2} \biggr) \\ &{}-\frac{ \vert Tx-Ty \vert +Tx}{2} \\ =&\frac{2-( \vert Tx-Ty \vert +Tx)}{2} \\ \geq &0. \end{aligned}

Therefore, $$\alpha (x,y)\phi (d(Tx,Ty))\leq \beta (\phi (M_{T}(x,y)))\phi (M_{T}(x,y))$$, $$\forall x,y\in X$$.

Therefore, all assumptions of Theorem 2.4, Theorem 2.5 are satisfied, and hence T has a unique fixed point at $$x^{*}=1$$.

Not applicable.

## References

1. 1.

Geraghty, M.A.: On contractive mappings. Proc. Am. Math. Soc. 40(2), 604–608 (1973)

2. 2.

Banach, S.: Sur les operations dans les ensembles abstraits et leur application aux equation intgrales. Fundam. Math. 3, 133–181 (1922)

3. 3.

Cho, S.H., Bae, J.S., Karapínar, E.: Fixed point theorems for α-Geraghty contraction type maps in metric spaces. Fixed Point Theory Appl. 2013, 329 (2013)

4. 4.

Karapínar, E.: α-ψ-Geraghty contraction type mappings and some related fixed point results. Filomat 28(1), 37–48 (2014)

5. 5.

Popescu, O.: Some new fixed point theorems for α-Geraghty contraction type maps in metric spaces. Fixed Point Theory Appl. 2014, 190 (2014)

6. 6.

Singh, D., Chauhan, V., Asadi, M.: Some remarks on tripled fixed point theorems for sequence of mappings satisfying Geraghty contraction with applications. Commun. Nonlinear Anal. 3, 68–86 (2017)

7. 7.

Amini-Harandi, A., Emami, H.: A fixed point theorem for contraction type maps in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 72, 2238–2242 (2010)

8. 8.

Asadi, M.: Some results of fixed point theorems in convex metric spaces. Nonlinear Funct. Anal. Appl. 19(2), 171–175 (2014)

9. 9.

Gülyaz-Özyurt, S.: A fixed point theorem for extended large contraction mappings. Results Nonlinear Anal. 1(1), 231–235 (2018)

10. 10.

Öztürk, A.: A fixed point theorem for mappings with an f-contractive iterate. Adv. Theory Nonlinear Anal. Appl. 3(4), 231–235 (2019)

11. 11.

Monfared, H., Asadi, M., Azhini, M.: $$f(\psi ,\phi )$$-Contractions for α-admissible mappings on metric spaces and related fixed point results. Commun. Nonlinear Anal. 2(1), 86–94 (2016)

12. 12.

Asadi, M.: Remarks on the paper “Extension of Caristi’s fixed point theorem to vector valued metric spaces”. Nonlinear Funct. Anal. Appl. 19(4), 633–637 (2014)

13. 13.

Fulga, A.: Fixed point theorems in rational form via Suzuki approaches. Results Nonlinear Anal. 1(1), 19–29 (2018)

14. 14.

Rus, I.A.: Some variants of contraction principle in the case of operators with Volterra property: step by step contraction principle. Adv. Theory Nonlinear Anal. Appl. 3(3), 111–120 (2019)

15. 15.

Umudu, J.C., Olaleru, J.O., Mogbademu, A.A.: Fixed points of involution mappings in convex uniform spaces. Commun. Nonlinear Anal. 7(1), 50–57 (2019)

16. 16.

Hitzler, P.: Generalized metrics and topology in logic programming semantics. Ph.D. thesis, National University of Ireland, University College Cork (2001)

17. 17.

Zeyada, F.M., Hassan, G.H., Ahmed, M.A.: A generalization of fixed point theorem due to Hitzler and Seda in dislocated quasi-metric space. Arab. J. Sci. Eng. 31(1), 111–114 (2005)

18. 18.

Olaleru, J.O.: Some generalizations of fixed point theorems in cone metric spaces. Fixed Point Theory Appl. 2009, 657914 (2009)

19. 19.

Olaleru, J.O.: Common fixed points of three self-mappings in cone metric spaces. Appl. Math. E-Notes 11, 41–49 (2011)

20. 20.

Olaleru, J.O., Olaoluwa, H.O.: Common fixed points of four mappings satisying weakly contractive-like conditions in cone metric spaces. Appl. Math. Sci. 7, 2897–2908 (2013)

21. 21.

Olaleru, J.O., Stella, K.S., Olaoluwa, H.O.: Some fixed points of Ciric type contraction mappings in ordered g-partial metric spaces. Appl. Math. 5, 1004–1012 (2014)

22. 22.

Rahman, M.U., Sarwar, M.: Some new fixed point theorems in dislocated quasi metric space. Palest. J. Math. 5, 171–176 (2016)

23. 23.

Aage, C.T., Salunke, J.N.: The results of fixed points in dislocated and dislocated quasi-metric space. Appl. Math. Sci. 2(59), 2941–2948 (2008)

24. 24.

Samet, B., Vetro, C., Vetro, P.: Fixed point theorems for α-ψ-contractive type mappings. Nonlinear Anal. 75, 2154–2165 (2012)

25. 25.

Ciric, L.B.: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 45(2), 267–273 (1974)

26. 26.

Karapínar, E., Kumam, P., Salimi, P.: On α-ψ-Meir–Keeler contractive mappings. Fixed Point Theory Appl. 2013, 94 (2013)

27. 27.

Olaleru, J.O., Umudu, J.C., Mogbademu, A.A.: Fixed point results for generalized Geraghty quasi-contraction type mappings in metric spaces (2019, in review)

28. 28.

Karapínar, E.: A discussion on α-ψ-Geraghty contraction type mappings. Filomat 28(4), 761–766 (2014)

## Acknowledgements

The authors are grateful to the anonymous referees for their constructive and valuable remarks, comments and suggestions.

Not applicable.

## Author information

Authors

### Contributions

All authors contributed equally to the preparation of the paper. The authors read and approved the final manuscript.

### Corresponding author

Correspondence to Joy C. Umudu.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and Permissions

Umudu, J.C., Olaleru, J.O. & Mogbademu, A.A. Fixed point results for Geraghty quasi-contraction type mappings in dislocated quasi-metric spaces. Fixed Point Theory Appl 2020, 16 (2020). https://doi.org/10.1186/s13663-020-00683-z

• Accepted:

• Published:

• 47H10
• 54H25

### Keywords

• Fixed point
• Dislocated quasi-metric space
• Geraghty quasi-contraction type mapping