# Connecting various types of cyclic contractions and contractive self-mappings with Hardy-Rogers self-mappings

## Abstract

In this paper, we introduce the new classes of Hardy-Rogers type cyclic contractions and prove pertinent fixed point theorems for these Hardy-Rogers type contractions in the generating space of a b-dislocated metric family.

## Introduction and preliminaries

Throughout this paper the characters $$\mathbb{R}^{+}$$ and $$\mathbb{N}$$ represent the set of non-negative real numbers and the set of positive integer numbers, respectively.

It is well known that Banach’s contraction mapping theorem is one of the pivotal results of metric fixed point theory.

### Theorem 1.1

(Banach )

If $$(X,d)$$ is a complete metric space and $$T:X\rightarrow X$$ is a self-mapping such that

$$d(Tx,Ty)\leq\alpha d(x,y),$$
(1)

for all $$x,y\in X$$, where $$0\leq\alpha<1$$, then T has a unique fixed point.

### Theorem 1.2

(Kannan )

If $$(X,d)$$ is a complete metric space and $$T:X\rightarrow X$$ is a self-mapping such that

$$d(Tx,Ty)\leq\beta\bigl[d(x,Tx)+d(y,Ty)\bigr],$$
(2)

for all $$x,y\in X$$, where $$0\leq\beta<\frac{1}{2}$$, then T has a unique fixed point.

### Theorem 1.3

(Reich )

If $$(X,d)$$ is a complete metric space and $$T:X\rightarrow X$$ is a self-mapping such that

$$d(Tx,Ty)\leq\alpha d(x,y)+\beta d(x,Tx)+\gamma d(y,Ty),$$
(3)

for all $$x,y\in X$$, where α, β, γ are non-negative constants with $$\alpha+\beta+\gamma<1$$, then T has a unique fixed point.

### Theorem 1.4

(Chatterjea )

If $$(X,d)$$ is a complete metric space and $$T:X\rightarrow X$$ is a self-mapping such that

$$d(Tx,Ty)\leq\gamma\bigl[d(x,Ty)+d(y,Tx)\bigr],$$
(4)

for all $$x,y\in X$$, where $$0\leq\gamma<\frac{1}{2}$$, then T has a unique fixed point.

### Theorem 1.5

(Ćirić )

If $$(X,d)$$ is a complete metric space and $$T:X\rightarrow X$$ is a self-mapping such that

$$d(Tx,Ty)\leq\alpha d(x,y)+\beta d(x,Tx)+\gamma d(y,Ty)+\delta \bigl[d(x,Ty)+d(y,Tx)\bigr],$$
(5)

for all $$x,y\in X$$, where α, β, γ, δ are non-negative constants with $$\alpha+\beta+\gamma+2\delta<1$$, then T has a unique fixed point.

### Theorem 1.6

(Hardy and Rogers )

If $$(X,d)$$ is a complete metric space and $$T:X\rightarrow X$$ is a self-mapping such that

$$d(Tx,Ty)\leq\alpha d(x,y)+\beta d(x,Tx)+\gamma d(y,Ty)+\delta d(x,Ty)+\eta d(y,Tx),$$
(6)

for all $$x,y\in X$$, where α, β, γ, δ, η are non-negative constants with $$\alpha+\beta+\gamma+\delta+\eta<1$$, then T has a unique fixed point.

We note some important consequences as follows:

• The Banach fixed point theorem ensures the existence and uniqueness of fixed points of certain self-maps of metric spaces, and it gives a useful constructive method to find those fixed points.

• It is interesting that Kannan’s fixed point theorem is very salient because the author of  proved that Kannan’s theorem describes the completeness of the metric. More readily, a metric space X is complete if and only if each and every Kannan mapping on X has a fixed point. Moreover, the conditions (1) and (2) are independent, as was shown by two examples in .

• Reich generalized the Banach and Kannan fixed point theorems. An example in  indicates that the condition (3) is a qualified generalization of (1) and (2).

• A similar Kannan type of contractive condition has been studied by Chatterjea. In Theorems 1.2 and 1.4, there is no necessity of continuity.

• A mapping satisfying (5) is called a generalized contraction.

• The importance of the Hardy-Rogers contraction is that this condition generalizes all the known named contractive conditions, but not conversely.

• Many generalizations of Hardy-Rogers theorem can be found in the literature. (See for example .)

In 2003, Kirk et al.  introduced cyclic contractions in metric spaces and investigated the existence of proximity points and fixed points in view of cyclic contraction mappings as follows.

### Definition 1.7



Let A and B be non-empty subsets of a set X. A map $$T : A \cup B \rightarrow A \cup B$$ is said to be a cyclic map if $$T(A) \subseteq B$$ and $$T(B) \subseteq A$$.

### Theorem 1.8



Let A and B be non-empty subsets of a metric space $$(X, d)$$ and $$T:A\cup B\rightarrow A\cup B$$ be a cyclic map. If there exists $$k\in[0,1)$$ such that

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

for all $$x\in A$$ and $$y\in B$$, then T has a unique fixed point in $$A\cap B$$.

Since then, a huge number of authors continued the investigation and more results have been obtained, such as .

In 2010, Karpagam and Agrawal  introduced the notion of cyclic orbital contraction and proved a unique fixed point theorem for such a map.

### Theorem 1.9



Let A and B be non-empty closed subsets of a complete metric space $$(X, d)$$ and $$T:A\cup B\rightarrow A\cup B$$ be a cyclic orbital contraction; i.e., if for some $$x\in A$$ there exists a $$k_{x}\in(0,1)$$ such that

$$d\bigl(T^{2n}x,Ty\bigr)\leq k_{x}d\bigl(T^{2n-1}x,y \bigr),$$

for all $$n\in\mathbb{N}$$ and $$y\in A$$, then T has a unique fixed point in $$A\cap B$$.

Further, many results dealing with cyclic orbital contractions have appeared in the literature (see, e.g., [21, 22]).

In 2012, Wardowski  introduced a different type of contraction called an F-contraction and proved a new fixed point theorem, which generalizes the Banach contraction principle in a new way with supporting examples.

### Definition 1.10



Let $$F:\mathbb{R}^{+}\rightarrow \mathbb{R}$$ be a mapping satisfying:

1. (i)

F is strictly increasing, i.e. for all $$\alpha,\beta \in \mathbb{R}^{+}$$ such that $$\alpha<\beta$$, $$F(\alpha)< F(\beta)$$.

2. (ii)

For each sequence $$\{\alpha_{n}\}_{n\in\mathbb{N}}$$ of positive numbers $$\lim_{n\rightarrow\infty}\alpha_{n}=0$$ iff $$\lim_{n\rightarrow\infty}F(\alpha_{n})= -\infty$$.

3. (iii)

There exists $$k\in(0,1)$$ such that $$\lim_{\alpha \rightarrow 0^{+}}\alpha^{k}F(\alpha)=0$$.

A mapping $$T:X\rightarrow X$$ is said to be an F-contraction if there exists $$\tau>0$$ such that, for all $$x,y\in X$$, $$d(Tx,Ty)>0$$, we have $$\tau+F(d(Tx,Ty))\leq F(d(x,y))$$.

### Theorem 1.11



Let $$(X,d)$$ be a complete metric space and let $$T:X\rightarrow X$$ be an F-contraction then T has a unique fixed point $$x^{\ast}\in X$$ and for every $$x_{0}\in X$$ a sequence $$\{T^{n}x_{0}\}_{n\in\mathbb{N}}$$ is convergent to $$x^{\ast }$$.

Further, some results dealing with an F-contraction have appeared in the literature (see, e.g., ).

The standard metric space has been generalized in different ways: see for example,

1. (a)

S-metric space by Sedghi et al. ;

2. (b)

Complex valued metric space by Azam et al. ;

3. (c)

A-metric space by Abbas et al. ;

4. (d)

Dislocated symmetric space by Sarma et al. ;

5. (e)

Quasi-symmetric space by Kumari et al. ;

6. (f)

Dislocated Uniform space by Kumari et al. .

Apart from above, very recently, Kumari and Panthi  introduced the concepts of ‘generating space of a b-dislocated quasi-metric family’ (abbreviated ‘$$G_{bdq}$$-family’), ‘generating space of b-dislocated metric family’ (abbreviated ‘$$G_{bd}$$-family’), and ‘generating space of b-quasi-metric family’ (abbreviated ‘$$G_{bq}$$-family’). One also proved the existence of unique fixed point theorems in weaker forms of a generating spaces by using various cyclic contractive conditions.

### Definition 1.12



Let X be a non-empty set and $$\{d_{\alpha}:\alpha\in(0,1]\}$$ a family of mappings $$d_{\alpha}$$ of $$X\times X$$ into $$\mathbb{R}^{+}$$. Then $$(X,d_{\alpha})$$ is called a generating space of a b-dislocated metric family if it satisfies the following conditions for any $$x,y,z\in X$$ and $$s\geq1$$.

1. (i)

$$d_{\alpha}(x,y)=0$$ implies $$x=y$$.

2. (ii)

$$d_{\alpha}(x,y)=d_{\alpha}(y,x)$$.

3. (iii)

For any $$\alpha\in(0,1]$$ there exists $$\beta\in(0,\alpha]$$ such that $$d_{\alpha}(x,z)\leq s[d_{\beta}(x,y)+d_{\beta}(y,z)]$$;

4. (iv)

For any $$x,y\in X$$, $$d_{\alpha}(x,y)$$ is non-increasing and left continuous in α.

### Definition 1.13



1. 1.

Let $$(X,d_{\alpha})$$ be a $$G_{bd}$$-family and $$\{x_{n}\}$$ be a sequence in X. We say that $$\{x_{n}\}$$ $$G_{bd}$$-converges to x in $$(X,d_{\alpha})$$ if $$\lim_{n\rightarrow\infty}d_{\alpha }(x_{n},x)=0$$ for all $$\alpha\in(0,1]$$.

In this case we write $$x_{n}\rightarrow x$$.

2. 2.

Let $$(X,d_{\alpha})$$ be a $$G_{bd}$$-family and let $$A\subseteq X$$, $$x\in X$$. We say that x is a $$G_{bd}$$-limit point of A if there exists a sequence $$\{x_{n}\}$$ in $$A-\{x\}$$ such that $$\lim_{n\rightarrow\infty}x_{n}=x$$.

3. 3.

A sequence $$\{x_{n}\}$$ in a $$G_{bd}$$-family is called a $$G_{bd}$$-Cauchy sequence if, given $$\epsilon>0$$, there exists $$n_{0}\in\mathbb{N}$$ such that for all $$n,m\geq n_{0}$$, we have $$d_{\alpha}(x_{n},x_{m})<\epsilon$$ or $$\lim_{ n,m\rightarrow\infty} d_{\alpha}(x_{n},x_{m})=0$$ for all $$\alpha\in(0,1]$$.

4. 4.

A $$G_{bd}$$-family $$(X,d_{\alpha})$$ is called complete if every $$G_{bd}$$-Cauchy sequence in X is $$G_{bd}$$-convergent.

A similar argument can be found in .

### Remark 1.14



Every $$G_{bd}$$-convergent sequence in a $$G_{bd}$$-family is $$G_{bd}$$-Cauchy.

Motivated by all above facts, we introduce the new classes of Hardy-Rogers type contractions and prove some fixed point theorems using various types of Hardy-Rogers contractions in the context of generating space of a b-dislocated metric family. Our main theorems extend and unify existing results in the recent literature. Then we present several examples to illustrate the theorems.

## Main results

In this section, we derive some fixed point theorems with examples in the context of a generating space of a b-dislocated metric family.

### Definition 2.1

Let A and B be non-empty subsets of a $$G_{bd}$$-family $$(X,d_{\alpha})$$. A cyclic map $$T:A\cup B\rightarrow A\cup B$$ is said to be a modified Hardy-Rogers cyclic contraction if we have

\begin{aligned} d_{\alpha}(Tx,Ty) \leq{}&\alpha d_{\alpha}(x,y)+\beta d_{\alpha}(x,Ty)+\gamma d_{\alpha }(y,Tx)+\delta d_{\alpha}(y,Ty) \\ &{} +\eta\frac{d_{\alpha}(y,Ty)[1+d_{\alpha}(x,Tx)]}{1+d_{\alpha }(x,y)}+\lambda\frac{d_{\alpha}(y,Ty)+d_{\alpha}(y,Tx)}{1+d_{\alpha }(y,Ty)d_{\alpha}(y,Tx)} \\ &{} +\mu\frac{d_{\alpha}(x,Tx)[1+d_{\alpha}(y,Tx)]}{1+d_{\alpha }(x,y)+d_{\alpha}(y,Ty)}, \end{aligned}
(7)

where $$\alpha,\beta,\gamma,\delta,\eta,\lambda,\mu\geq0$$ with $$s\alpha +(s^{2}+s)\beta+2s^{2}\gamma+\delta+\eta+\lambda+s\mu<1$$ and for all $$x,y\in X$$.

### Theorem 2.2

Let $$(X,d_{\alpha})$$ be a complete $$G_{bd}$$-family, A and B be non-empty closed subsets of X. Let $$T:A\cup B\rightarrow A\cup B$$ be a continuous cyclic mapping satisfying the modified Hardy-Rogers cyclic contraction. Then T has a unique fixed point in $$A\cap B$$.

### Proof

Let $$x_{0}$$ be arbitrary in X; we define a sequence $$\{x_{n}\}$$ as $$x_{0}, x_{1}=Tx_{0}, x_{2}=Tx_{1},\ldots,x_{n+1}=Tx_{n}$$ for all $$n\in \mathbb{N}$$.

\begin{aligned} d_{\alpha}\bigl(Tx,T^{2}x\bigr) ={}&d_{\alpha} \bigl(Tx,T(Tx)\bigr) \\ \leq{}&\alpha d_{\alpha}(x,Tx)+\beta d_{\alpha}\bigl(x,T^{2}x \bigr)+\gamma d_{\alpha}(Tx,Tx)+\delta d_{\alpha}\bigl(Tx,T^{2}x \bigr) \\ &{} +\eta\frac{d_{\alpha}(Tx,T^{2}x)[1+d_{\alpha }(x,Tx)]}{1+d_{\alpha}(x,Tx)}+\lambda\frac{d_{\alpha }(Tx,T^{2}x)+d_{\alpha}(Tx,Tx)}{1+d_{\alpha}(Tx,T^{2}x)d_{\alpha }(Tx,Tx)} \\ &{}+\mu\frac{d_{\alpha}(x,Tx)[1+d_{\alpha}(Tx,Tx)]}{1+d_{\alpha }(x,Tx)+d_{\alpha}(Tx,T^{2}x)} \\ ={}&\alpha d_{\alpha}(x,Tx)+s\beta\bigl[d_{\beta}(x,Tx)+d_{\beta } \bigl(Tx,T^{2}x\bigr)\bigr]+2s\gamma d_{\beta}(x,Tx)+\delta d_{\alpha}\bigl(Tx,T^{2}x\bigr) \\ &{} +\eta d_{\alpha}\bigl(Tx,T^{2}x\bigr)+\lambda d_{\alpha}\bigl(Tx,T^{2}x\bigr)+\mu d_{\alpha}(x,Tx) \\ ={}&(\alpha+s\beta+2s\gamma+\mu)d_{\alpha}(x,Tx), \end{aligned}

which implies

$$(1-s\beta-\delta-\eta-\lambda)d_{\alpha}\bigl(Tx,T^{2}x\bigr) \leq(\alpha+s\beta +2s\gamma+\mu)d_{\alpha}(x,Tx).$$

Clearly, $$d_{\alpha}(Tx,T^{2}x)\leq h d_{\alpha}(x,Tx)$$.

Here $$h=\frac{\alpha+s\beta+2s\gamma+\mu}{1-s\beta-\delta-\eta-\lambda }<\frac{1}{s}<1$$.

Similarly,

\begin{aligned} d_{\alpha}\bigl(T^{2}x,T^{3}x\bigr) & \leq h d_{\alpha}\bigl(Tx,T^{2}x\bigr) \leq h^{2} d_{\alpha}(x,Tx). \end{aligned}

For all $$n\in\mathbb{N}$$, we get

$$d_{\alpha}\bigl(T^{n}x,T^{n+1}x\bigr)\leq h^{n}d_{\alpha}(x,Tx).$$

Let $$n,m\in\mathbb{N}$$ with $$m>n$$, by using the definition of $$G_{bd}$$-family, we have

\begin{aligned} d_{\alpha}\bigl(T^{n}x,T^{m}x\bigr) & \leq s \bigl[d_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+d_{\beta}\bigl(T^{n+1}x,T^{m}x\bigr)\bigr] \\ & \leq sd_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+sd_{\beta}\bigl(T^{n+1}x,T^{m}x\bigr) \\ & \leq sd_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+s^{2}d_{\beta }\bigl(T^{n+1}x,T^{n+2}x \bigr)+s^{2}d_{\beta}\bigl(T^{n+2}x,T^{m}x \bigr). \end{aligned}

By repeating this process we get

\begin{aligned} d_{\alpha}\bigl(T^{n}x,T^{m}x\bigr) & \leq sd_{\beta}\bigl(T^{n}x,T^{n+1}x\bigr)+s^{2}d_{\beta } \bigl(T^{n+1}x,T^{n+2}x\bigr)+s^{3}d_{\beta} \bigl(T^{n+2}x,T^{n+3}x\bigr)+\cdots \\ & \vdots \\ & \leq\bigl(sh^{n}+s^{2}h^{n+1}+s^{3}h^{n+2}+ \cdots\bigr)d_{\alpha}(x,Tx) \\ & =sh^{n}\bigl(1+sh+(sh)^{2}+\cdots\bigr)d_{\alpha}(x,Tx) \\ & \leq\biggl(\frac{sh^{n}}{1-sh}\biggr)d_{\alpha}(x,Tx). \end{aligned}

By taking the limits as $$m\rightarrow\infty$$, we get $$d_{\alpha}(T^{n}x,T^{m}x)\rightarrow0$$ for all $$\alpha\in[0,1)$$ as $$hs<1$$.

Hence $$\{T^{n}x\}$$ is a $$G_{bd}$$-Cauchy sequence.

Since $$(X,d_{\alpha})$$ is $$G_{bd}$$-complete, we see that $$\{ T^{n}x\}$$ $$G_{bd}$$-converges to some $$u\in X$$ for all $$\alpha\in[0,1)$$. We note that $$\{T^{2n}x\}$$ is a sequence in A and $$\{T^{2n-1}x\}$$ is a sequence in B such a way that both sequences tend to the same limit u.

Since A and B are closed, we have $$u\in A\cap B$$, and then $$A\cap B\neq\emptyset$$.

Now, we will show that $$Tu=u$$.

Consider

$$d_{\alpha}\bigl(T^{n}x,Tu\bigr)\leq s \bigl[d_{\beta }\bigl(T^{n}x,T^{n+1}x \bigr)+d_{\beta}\bigl(T^{n+1}x,Tu\bigr)\bigr].$$
(8)

Since T is continuous, $$\lim_{n\rightarrow\infty}d_{\beta}(T^{n+1}x,Tu)=0$$ and $$d_{\beta }(T^{n}x,T^{n+1}x)\leq h^{n}d_{\beta}(x,Tx)$$.

This implies

\begin{aligned} d_{\beta}\bigl(T^{n}x,T^{n+1}x\bigr) & \leq sh^{n}d_{\beta}(x,Tx) \leq(sh)^{n}d_{\beta}(x,Tx). \end{aligned}

Letting $$n\rightarrow\infty$$ in the above inequality (8), we get

$$d_{\alpha}(u,Tu)=0, \quad \mbox{since } sh< 1.$$

Thus $$u=Tu$$. Hence u is a fixed point of T.

Finally, to obtain the uniqueness of a fixed point, let $$v\in X$$ be another fixed point of T such that $$Tv=v$$.

Then we have

\begin{aligned} d_{\alpha}(u,v)={}& d_{\alpha}(Tu,Tv) \\ \leq{}&\alpha d_{\alpha}(u,v)+\beta d_{\alpha}(u,Tv)+\gamma d_{\alpha }(v,Tu)+\delta d_{\alpha}(v,Tv) \\ &{} +\eta\frac{d_{\alpha}(v,Tv)[1+d_{\alpha}(u,Tu)]}{1+d_{\alpha }(u,v)}+\lambda\frac{d_{\alpha}(v,Tv)+d_{\alpha}(v,Tu)}{1+d_{\alpha }(v,Tv)d_{\alpha}(v,Tu)} \\ &{} +\mu\frac{d_{\alpha}(u,Tu)[1+d_{\alpha}(v,Tu)]}{1+d_{\alpha }(u,v)+d_{\alpha}(v,Tv)} \\ ={}& (\alpha+\beta+\gamma)d_{\alpha}(u,v)+\lambda d_{\alpha}(v,u), \end{aligned}

which implies $$d_{\alpha}(u,v)\leq(\alpha+\beta+\gamma+\lambda )d_{\alpha}(u,v)$$, and this implies $$d_{\alpha}(u,v)(1-(\alpha+\beta+\gamma+\lambda))\leq 0$$.

Thus $$d_{\alpha}(u,v)=0$$. Hence $$u=v$$. This completes the proof. □

If we put $$s=1$$ in the above theorem, we obtain the following corollary in the generating space of a dislocated metric family.

### Corollary 2.3

Let $$(X,d_{\alpha})$$ be a complete $$G_{d}$$-family, A and B be non-empty closed subsets of X. Let $$T:A\cup B\rightarrow A\cup B$$ be a continuous cyclic mapping satisfying the following condition:

\begin{aligned} d_{\alpha}(Tx,Ty) \leq{}&\alpha d_{\alpha}(x,y)+\beta d_{\alpha}(x,Ty)+\gamma d_{\alpha }(y,Tx)+\delta d_{\alpha}(y,Ty) \\ &{} +\eta\frac{d_{\alpha}(y,Ty)[1+d_{\alpha}(x,Tx)]}{1+d_{\alpha }(x,y)}+\lambda\frac{d_{\alpha}(y,Ty)+d_{\alpha}(y,Tx)}{1+d_{\alpha }(y,Ty)d_{\alpha}(y,Tx)} \\ &{} +\mu\frac{d_{\alpha}(x,Tx)[1+d_{\alpha}(y,Tx)]}{1+d_{\alpha }(x,y)+d_{\alpha}(y,Ty)}, \end{aligned}
(9)

where $$\alpha,\beta,\gamma,\delta,\eta,\lambda,\mu\geq0$$ with $$\alpha +2\beta+2\gamma+\delta+\eta+\lambda+\mu<1$$ and for all $$x,y\in X$$. Then T has a unique fixed point in $$A\cap B$$.

If we put d instead of $$d_{\alpha}$$ in the above theorem, we obtain the following corollary in the b-dislocated metric space.

### Corollary 2.4

Let $$(X,b_{d})$$ be a complete b-dislocated metric space, A and B be non-empty closed subsets of X. Let $$T:A\cup B\rightarrow A\cup B$$ be a continuous cyclic mapping satisfying the following condition:

\begin{aligned} b_{d}(Tx,Ty) \leq{}&\alpha b_{d}(x,y)+ \beta b_{d}(x,Ty)+\gamma b_{d}(y,Tx)+\delta b_{d}(y,Ty) \\ &{} +\eta\frac{b_{d}(y,Ty)[1+b_{d}(x,Tx)]}{1+b_{d}(x,y)}+\lambda \frac{b_{d}(y,Ty)+b_{d}(y,Tx)}{1+b_{d}(y,Ty)b_{d}(y,Tx)} \\ &{} +\mu\frac{b_{d}(x,Tx)[1+b_{d}(y,Tx)]}{1+b_{d}(x,y)+b_{d}(y,Ty)}, \end{aligned}
(10)

where $$\alpha,\beta,\gamma,\delta,\eta,\lambda,\mu\geq0$$ with $$s\alpha +(s^{2}+s)\beta+2s^{2}\gamma+\delta+\eta+\lambda+s\mu<1$$ and for all $$x,y\in X$$. Then T has a unique fixed point in $$A\cap B$$.

### Example 2.5

Let $$X=[0,1]$$ and $$T:A\cup B\rightarrow A\cup B$$ defined by $$Tx=\frac{x}{3}$$. Suppose that $$A=B=[0,1]$$. Define the function $$d:X\times X\rightarrow\mathbb{R}$$ by $$d(x,y)=|x-y|^{2}+\frac {x}{5}+\frac{y}{5}$$. Clearly d is a b-dislocated metric on X and also T is cyclic mapping on X since $$T(A)\subset B$$ and $$T(B)\subset A$$.

Now, consider

\begin{aligned} d(Tx,Ty) & =|Tx-Ty|^{2}+\frac{Tx}{5}+ \frac{Ty}{5} \\ & =\biggl|\frac{x}{3}-\frac{y}{3}\biggr|^{2}+\frac{x}{15}+ \frac{y}{15} \\ & =\frac{1}{9}|x-y|^{2}+\frac{1}{15}x+\frac{1}{15}y \\ & \leq\frac{1}{3}\biggl[|x-y|^{2}+\frac{x}{5}+ \frac{y}{5}\biggr] \\ & \leq\alpha d(x,y) \end{aligned}
(11)

for $$\frac{1}{3}\leq\alpha<\frac{1}{s}<1$$ and $$\beta=\gamma=\delta =\eta=\lambda=\mu=0$$.

Thus T satisfies all the conditions of above corollary and ‘0’ is the unique fixed point.

If we put d instead of $$d_{\alpha}$$ and $$s=1$$ in the above theorem, we obtain the following corollary in a complete dislocated metric space.

### Corollary 2.6

Let $$(X,d)$$ be a complete dislocated metric space, A and B be non-empty closed subsets of X. Let $$T:A\cup B\rightarrow A\cup B$$ be a continuous cyclic mapping satisfying the following condition:

\begin{aligned} d(Tx,Ty) \leq{}&\alpha d(x,y)+\beta d(x,Ty)+\gamma d(y,Tx)+\delta d(y,Ty) \\ &{}+\eta\frac{d(y,Ty)[1+d(x,Tx)]}{1+d(x,y)}+\lambda\frac {d(y,Ty)+d(y,Tx)}{1+d(y,Ty)d(y,Tx)} \\ &{} +\mu\frac{d(x,Tx)[1+d(y,Tx)]}{1+d(x,y)+d(y,Ty)}, \end{aligned}
(12)

where $$\alpha,\beta,\gamma,\delta,\eta,\lambda,\mu\geq0$$ with $$\alpha +2\beta+2\gamma+\delta+\eta+\lambda+\mu<1$$ and for all $$x,y\in X$$. Then T has a unique fixed point in $$A\cap B$$.

We can find more interesting results in the view of dislocated metric space (see for example ).

### Example 2.7

Let $$X=[-1,1]$$ and $$T:A\cup B\rightarrow A\cup B$$ defined by $$Tx=\frac{-x}{15}$$. Suppose that $$A=[-1,0]$$ and $$B=[0,1]$$. Define the function $$d:X\times X\rightarrow\mathbb{R}$$ by $$d(x,y)=|x-y|+|x|+|y|$$. Hence d is a complete dislocated metric on X.

Now consider

\begin{aligned} d(Tx,Ty) & =d\biggl(\frac{-x}{15},\frac{-y}{15}\biggr) \\ & =\frac{1}{15}|y-x|+\frac{|x|}{15}+\frac{|y|}{15} \\ & =\frac{1}{15}\bigl[|x-y|+|x|+|y|\bigr] \\ & \leq\alpha d(x,y), \end{aligned}
(13)

where $$\frac{1}{15}\leq\alpha\leq1$$ and $$\beta=\gamma=\delta=\eta =\lambda=\mu=0$$.

Thus T satisfy all the conditions of the above corollary and ‘0’ is a unique fixed point.

### Definition 2.8

Let A and B be non-empty subsets of a $$G_{bd}$$-family $$(X,d_{\alpha})$$. A cyclic map $$T:A\cup B\rightarrow A\cup B$$ is said to be a Hardy-Rogers cyclic orbital contraction if for some $$x\in A$$ there exists a $$\vartheta\in(0,\frac {1}{1+3s+3s^{2}})$$ such that

\begin{aligned} d_{\alpha}\bigl(T^{2n}x,Ty\bigr)\leq{}&\vartheta \bigl[d_{\alpha }\bigl(T^{2n-1}x,T^{2n}x\bigr)+d_{\alpha}(y,Ty)\\ &{}+d_{\alpha} \bigl(T^{2n-1}x,Ty\bigr)+d_{\alpha }\bigl(y,T^{2n}x \bigr)+d_{\alpha}\bigl(T^{2n-1}x,y\bigr)\bigr]. \end{aligned}

### Theorem 2.9

Let A and B be non-empty closed subsets of a complete $$G_{bd}$$-family $$(X,d_{\alpha})$$ and $$T:A\cup B\rightarrow A\cup B$$ be a Hardy-Rogers cyclic orbital contraction. Then T has a unique fixed point z in $$A\cap B$$.

### Proof

Take $$x\in A$$. Since $$T:A\cup B\rightarrow A\cup B$$ is a Hardy-Rogers cyclic orbital contraction,

\begin{aligned}[b] d_{\alpha}\bigl(T^{2}x,Tx\bigr) \leq{}&\vartheta \bigl[d_{\alpha}\bigl(Tx,T^{2}x\bigr)+d_{\alpha}(x,Tx)+d_{\alpha }(Tx,Tx)+d_{\alpha} \bigl(x,T^{2}x\bigr)+d_{\alpha}(Tx,x)\bigr]\\ \leq{}&\vartheta\bigl[d_{\alpha}\bigl(Tx,T^{2}x \bigr)+d_{\alpha}(x,Tx)+s\bigl(d_{\beta }(Tx,x)+d_{\beta}(x,Tx) \bigr)\\ &{}+s\bigl(d_{\beta}(x,Tx)+d_{\beta }\bigl(Tx,T^{2}x \bigr)\bigr)+d_{\alpha}(Tx,x)\bigr]\\ ={}&\bigl[\vartheta+(2s+s)\vartheta+\vartheta\bigr]d_{\alpha}(x,Tx)+( \vartheta +s\vartheta)d_{\alpha}\bigl(Tx,T^{2}x\bigr), \end{aligned}
(14)

which implies

\begin{aligned} &d_{\alpha}\bigl(T^{2}x,Tx \bigr)\leq\frac{\vartheta(2+3s)}{1-\vartheta (1+s)}d_{\alpha}(x,Tx),\\ & d_{\alpha} \bigl(T^{3}x,T^{2}x\bigr) \\ &\quad\leq \vartheta\bigl[d_{\alpha}\bigl(T^{2}x,T^{3}x \bigr)+d_{\alpha }\bigl(Tx,T^{2}x\bigr)+d_{\alpha} \bigl(T^{2}x,T^{2}x\bigr)\\ &\qquad{}+d_{\alpha} \bigl(Tx,T^{3}x\bigr)+d_{\alpha }\bigl(T^{2}x,Tx\bigr) \bigr] \\ &\quad=\vartheta d_{\alpha}\bigl(T^{2}x,T^{3}x\bigr)+ \vartheta d_{\alpha }\bigl(T^{2}x,Tx\bigr)+\vartheta\bigl[s \bigl(d_{\beta}\bigl(T^{2}x,Tx\bigr)+d_{\beta} \bigl(Tx,T^{2}x\bigr)\bigr)\bigr] \\ &\qquad{} +\vartheta s\bigl[(d_{\beta}\bigl(Tx,T^{2}x \bigr)+d_{\beta }\bigl(T^{2}x,T^{3}x\bigr)\bigr]+ \vartheta d_{\alpha}\bigl(T^{2}x,Tx\bigr) \\ &\quad =(\vartheta+2s\vartheta+\vartheta s+\vartheta) d_{\alpha } \bigl(T^{2}x,Tx\bigr)+(\vartheta+s\vartheta)d_{\alpha} \bigl(T^{3}x,T^{2}x\bigr). \end{aligned}
(15)

Thus

\begin{aligned}& (1-\vartheta-\vartheta s)d_{\alpha}\bigl(T^{3}x,T^{2}x \bigr)\leq(2\vartheta +3s\vartheta)d_{\alpha}\bigl(T^{2}x,Tx\bigr) \\& \quad\Rightarrow\quad d_{\alpha}\bigl(T^{3}x,T^{2}x \bigr)\leq\frac{\vartheta (2+3s)}{1-\vartheta(1+s)}d_{\alpha}\bigl(T^{2}x,Tx\bigr) \end{aligned}

which yields

\begin{aligned} d_{\alpha}\bigl(T^{3}x,T^{2}x\bigr) & \leq kd_{\alpha}\bigl(T^{2}x,Tx\bigr) \\ & \leq k^{2}d_{\alpha}(Tx,x); \quad \mbox{where } k= \frac{\vartheta (2+3s)}{1-\vartheta(1+s)} \end{aligned}
(16)

By repeating the same process, we get

$$d_{\alpha}\bigl(T^{n+1}x,T^{n}x\bigr)\leq k^{n}d_{\alpha}(Tx,x).$$

Taking the limits as $$n\rightarrow\infty$$, we get

$$\lim_{n\rightarrow\infty}d_{\alpha}\bigl(T^{n+1}x,T^{n}x \bigr)=0, \quad \mbox{since } 0< k< 1.$$

We now claim that $$\lim_{n\rightarrow\infty}d_{\alpha }(T^{n}x,T^{m}x)=0$$ for $$m>n$$.

For $$m,n\in\mathbb{N}$$ with $$m>n$$, we have

\begin{aligned} d_{\alpha}\bigl(T^{n}x,T^{m}x\bigr) \leq{}& s\bigl[d_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+d_{\beta}\bigl(T^{n+1}x,T^{m}x\bigr)\bigr] \\ \leq{}& sd_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+s^{2}d_{\beta }\bigl(T^{n+1}x,T^{n+2}x \bigr)+s^{2}d_{\beta}\bigl(T^{n+2}x,T^{m}x \bigr) \\ \leq{}& sd_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+s^{2}d_{\beta }\bigl(T^{n+1}x,T^{n+2}x \bigr)+s^{3}d_{\beta}\bigl(T^{n+2}x,T^{n+3}x \bigr) \\ &{}+s^{4}d_{\beta }\bigl(T^{n+3}x,T^{n+4}x \bigr)+\cdots \\ \vdots \\ \leq{}& sk^{n}d_{\alpha}(Tx,x)+s^{2}k^{n+1}d_{\alpha }(Tx,x)+s^{3}k^{n+2}d_{\alpha}(Tx,x)+ \cdots \\ \leq{}& sk^{n}\bigl(1+sk+(sk)^{2}+\cdots\bigr)d_{\alpha}(Tx,x) \\ \leq{}&\frac{sk^{n}}{1-sk}d_{\alpha}(Tx,x) \\ \leq{}&\frac{(sk)^{n}}{1-sk}d_{\alpha}(Tx,x). \end{aligned}
(17)

Since $$sk<1$$ and letting $$n\rightarrow\infty$$, we get $$\lim_{n\rightarrow\infty}d_{\alpha}(T^{n}x,T^{m}x)=0$$.

Thus $$\{T^{n}x\}$$ is a Cauchy sequence.

Since $$(X,d_{\alpha})$$ is a complete generating b-dislocated metric family, there exists $$z\in A\cup B$$ such that $$\lim_{n\rightarrow\infty}T^{n}x=z$$. Now $$\{T^{2n}x\}$$ is a sequence in A and $$\{T^{2n-1}x\}$$ is a sequence in B, and also both converge to z. Since A and B are closed, $$z\in A\cap B$$, and so $$A\cap B$$ in non-empty.

Now consider

\begin{aligned} d_{\alpha}(z,Tz) ={}& \lim_{n\rightarrow\infty}d_{\alpha} \bigl(T^{n}x,Tz\bigr) \\ \leq{}&\vartheta\lim_{n\rightarrow\infty}\bigl[d_{\alpha } \bigl(T^{n-1}x,T^{n}x\bigr)+d_{\alpha}(z,Tz)+d_{\alpha} \bigl(T^{n-1}x,Tz\bigr) \\ &{}+d_{\alpha }\bigl(z,T^{n}x \bigr)+d_{\alpha}\bigl(T^{n-1}x,z\bigr)\bigr] \\ \leq{}&\vartheta d_{\alpha}(z,Tz), \end{aligned}
(18)

which implies $$(1-\vartheta)d_{\alpha}(z,Tz)\leq0$$.

Since $$0<\vartheta<1$$, $$d_{\alpha}(z,Tz)=0$$.

Hence $$z=Tz$$. Thus z is a fixed point of T.

Finally, to prove z is a unique fixed point of T, let us assume, on the contrary, that $$z^{\ast}$$ is another fixed point of T, i.e. $$Tz^{\ast}=z^{\ast}$$.

Note that, if $$z^{\ast}$$ is a fixed point of T, then $$d_{\alpha }(z^{\ast},z^{\ast})=0$$. We have

\begin{aligned} d_{\alpha}\bigl(z^{\ast},z^{\ast}\bigr) & = d_{\alpha}\bigl(Tz^{\ast},Tz^{\ast}\bigr) \\ & \leq\vartheta\bigl[d_{\alpha}\bigl(z^{\ast},Tz^{\ast} \bigr)+d_{\alpha}\bigl(z^{\ast },Tz^{\ast}\bigr)+d_{\alpha} \bigl(z^{\ast},Tz^{\ast}\bigr)+d_{\alpha}\bigl(z^{\ast},Tz^{\ast } \bigr)+d_{\alpha}\bigl(z^{\ast},z^{\ast}\bigr)\bigr] \\ & \leq5\vartheta d_{\alpha}\bigl(z^{\ast},z^{\ast}\bigr). \end{aligned}
(19)

This implies $$(1-5\vartheta)d_{\alpha}(z^{\ast},z^{\ast})\leq0$$.

Since $$1-5\vartheta>0$$, $$d_{\alpha}(z^{\ast},z^{\ast})=0$$.

By the cyclic property of T, we have $$z,z^{\ast}\in A\cap B$$. From the Hardy-Rogers cyclic orbital contraction, we have

\begin{aligned} d_{\alpha}\bigl(z,z^{\ast}\bigr) ={}& d_{\alpha} \bigl(z,Tz^{\ast}\bigr) \\ ={}& \lim_{n\rightarrow\infty}d_{\alpha}\bigl(T^{2n}x,Tz^{\ast} \bigr) \\ \leq{}&\vartheta\lim_{n\rightarrow\infty}\bigl[d_{\alpha } \bigl(T^{2n-1}x,T^{2n}x\bigr)+d_{\alpha} \bigl(z^{\ast},Tz^{\ast}\bigr)+d_{\alpha }\bigl(T^{2n-1}x,Tz^{\ast} \bigr) \\ &{}+d_{\alpha}\bigl(z^{\ast},T^{2n}x\bigr)+d_{\alpha } \bigl(T^{2n-1}x,z^{\ast}\bigr)\bigr] \\ \leq{}&\vartheta d_{\alpha}\bigl(z,z^{\ast}\bigr), \end{aligned}
(20)

which implies $$(1-\vartheta)d_{\alpha}(z,z^{\ast})=0$$. Hence $$z=z^{\ast}$$.

Thus z is a unique fixed point of T. This completes the proof of the theorem. □

If we put $$s=1$$ in the above Theorem 2.9, we obtain the following corollary in the generating space of a dislocated metric family.

### Corollary 2.10

Let A and B be non-empty closed subsets of a complete $$G_{d}$$-family $$(X,d_{\alpha})$$ and $$T:A\cup B\rightarrow A\cup B$$ be a Hardy-Rogers cyclic orbital contraction. Then T has a unique fixed point $$z\in A\cap B$$.

If we put d instead of $$d_{\alpha}$$ in the above theorem, we obtain the following corollary in a b-dislocated metric space.

### Corollary 2.11

Let A and B be non-empty closed subsets of a complete b-dislocated metric space $$(X,b_{d})$$ and $$T:A\cup B\rightarrow A\cup B$$ be a Hardy-Rogers cyclic orbital contraction. Then T has a unique fixed point $$z\in A\cap B$$.

If we put d instead of $$d_{\alpha}$$ and $$s=1$$ in the above theorem, we obtain the following corollary in a complete dislocated metric space.

### Corollary 2.12

Let A and B be non-empty closed subsets of a complete dislocated metric space $$(X,d)$$ and $$T:A\cup B\rightarrow A\cup B$$ be a Hardy-Rogers cyclic orbital contraction. Then T has a unique fixed point $$z\in A\cap B$$.

### Example 2.13

Let $$X=\{0,1,2\}$$ and $$b_{d}:X\times X\rightarrow\mathbb{R}^{+}$$ by $$b_{d}(0,0)=0$$, $$b_{d}(1,1)=0$$, $$b_{d}(2,2)=1$$, $$b_{d}(0,1)=b_{d}(1,0)=0$$, $$b_{d}(0,2)=b_{d}(2,0)=1$$, $$b_{d}(1,2)=b_{d}(2,1)=2$$, which is a b-dislocated metric with $$s=2$$, but not a dislocated metric as triangle inequality does not hold, since $$b_{d}(1,2)\nleq b_{d}(1,0)+b_{d}(0,2)$$.

Put $$A=\{0,1\}$$ and $$B=\{1,2\}$$. It is clear that A and B are closed subsets of $$(X,b_{d})$$.

Let $$X=A\cup B$$. Now define $$T:A\cup B\rightarrow A\cup B$$ by $$T0=1$$, $$T1=1$$, and $$T2=0$$. Then $$T(A)=B$$ and $$T(B)=A$$, so T is a cyclic map on $$A\cup B$$.

Fix $$x=0\in A$$ and for every $$y\in A$$, we have $$T^{2n}x=1$$, $$T^{2n-1}x=1$$.

Thus the Hardy-Rogers cyclic orbital contraction,

\begin{aligned} b_{d}\bigl(T^{2n}x,Ty\bigr)\leq{}&\vartheta \bigl[b_{d}\bigl(T^{2n-1}x,T^{2n}x\bigr)+b_{d}(y,Ty)+b_{d} \bigl(T^{2n-1}x,Ty\bigr)\\ &{}+b_{d}\bigl(y,T^{2n}x \bigr)+b_{d}\bigl(T^{2n-1}x,y\bigr)\bigr] \end{aligned}

for each $$n \in \mathbb{N}$$ and for each $$y\in A$$, satisfies for $$\vartheta\in(0,\frac{1}{19})$$.

Hence from Corollary 2.10, T has the unique fixed point and it is observed that $$z=1\in A\cap B$$ is the unique fixed point of T.

### Example 2.14

Let $$A=B=X=[0,1]$$ with the complete dislocated metric $$d(x,y)=x+y$$. Define $$T:X\rightarrow X$$ as follows:

$$Tx= \textstyle\begin{cases} 0, & \mbox{if } x\in[0,\frac{1}{3}), \\ 0.1,& \mbox{if } x\in[\frac{1}{3},1]. \end{cases}$$

Fix any $$x\in[0,\frac{1}{3})$$, $$Tx=0,T^{2}x=0,T^{3}x=0,\ldots, T^{n}x=0$$ n, and for every $$y\in[0,1]$$ we have

\begin{aligned}& Ty= \textstyle\begin{cases} 0, & \mbox{if } y\in[0,\frac{1}{3}), \\ 0.1,& \mbox{if } y\in[\frac{1}{3},1], \end{cases}\displaystyle \\& d\bigl(T^{2n}x,Ty\bigr)= \textstyle\begin{cases} d(0,0)=0, & \mbox{if } y\in[0,\frac{1}{3}), \\ d(0,0.1)=0.1, &\mbox{if} y\in[\frac{1}{3},1], \end{cases}\displaystyle \\& d\bigl(T^{2n}x,y\bigr)=d(0,y)=y \quad \mbox{and}\quad d(Ty,y)= \textstyle\begin{cases} d(0,y)=y, & \mbox{if } y\in[0,\frac{1}{3}), \\ d(0.1,y)=0.1+y, &\mbox{if } y\in[\frac{1}{3},1], \end{cases}\displaystyle \\& d\bigl(T^{2n-1}x,T^{2n}x\bigr)=d(0,0)=0, \quad \mbox{and} \\& d\bigl(T^{2n-1}x,Ty\bigr)= \textstyle\begin{cases} d(0,0)=0, & \mbox{if } y\in[0,\frac{1}{3}), \\ d(0,0.1)=0.1,& \mbox{if } y\in[\frac{1}{3},1], \end{cases}\displaystyle \\& d\bigl(y,T^{2n}x\bigr)=d(y,0)=y. \end{aligned}

Thus, for each $$n\in\mathbb{N}$$ and for each $$y\in[0,1]$$ the Hardy-Rogers cyclic orbital contraction,

$$d\bigl(T^{2n}x,Ty\bigr)\leq\vartheta \bigl[d\bigl(T^{2n-1}x,T^{2n}x \bigr)+d(y,Ty)+d\bigl(T^{2n-1}x,Ty\bigr)+d\bigl(y,T^{2n}x\bigr)+d \bigl(T^{2n-1}x,y\bigr)\bigr],$$

is satisfied for $$0.03\leq\vartheta< 0.1$$. Thus by Corollary 2.12, T has the unique fixed point in $$A\cap B$$. In fact ‘0’ is the unique fixed point for T.

### Definition 2.15

Let $$(X,d_{\alpha})$$ be a complete $$G_{bd}$$-family. A self-mapping $$T:X\rightarrow X$$ is said to be a Hardy-Roger F-contraction if there exists $$\tau>0$$ such that

\begin{aligned} &\frac{1}{2}d_{\alpha}(x,Tx)< d_{\alpha}(x,y) \\ &\quad\Rightarrow\quad\tau+F\bigl(d_{\alpha}(Tx,Ty)\bigr)\leq\alpha F \bigl(d_{\alpha }(x,y)\bigr)+\beta F\bigl(d_{\alpha}(x,Tx)\bigr)+\gamma F\bigl(d_{\alpha}(y,Ty)\bigr) \\ &\hphantom{\quad\Rightarrow\qquad}{}+ \delta F\bigl(d_{\alpha}(x,Ty)\bigr)+ \eta F \bigl(d_{\alpha}(y,Tx)\bigr), \end{aligned}
(21)

for all $$x,y\in X$$ with $$x\neq y$$, where $$\gamma\neq1$$, $$\eta\geq0$$ such that $$\alpha+\beta+\gamma+2s\delta+2s\eta=1$$ and $$F:\mathbb {R}^{+}\rightarrow\mathbb{R}$$ is a mapping satisfying the following conditions:

(F′):

F is an order embedding, i.e. for all $$\alpha ,\beta\in\mathbb{R}^{+}$$ we have

$$\alpha\leq\beta, \quad F(\alpha)\leq F(\beta),$$

(F″):

For any sequence $$\{\alpha_{n}\}_{n=1}^{\infty}$$ of positive real numbers,

$$\lim_{n\rightarrow\infty}\alpha_{n}=0 \quad \mbox{if and only if} \quad \lim_{n\rightarrow\infty}F(\alpha_{n})=-\infty.$$

### Theorem 2.16

Let $$(X,d_{\alpha})$$ be a complete $$G_{bd}$$-family and T be a Hardy-Roger F-contraction. Then T has a fixed point in X.

### Proof

For an arbitrary $$x\in X$$, we establish a sequence $$\{x_{n}\}$$ in the following manner:

$$x=x_{0} \quad \mbox{and} \quad x_{n+1}=Tx_{n} \quad \forall n\in\mathbb{N}.$$
(22)

If there exists $$n_{0}\in\mathbb{N}$$ such that $$d_{\alpha }(x_{n_{0}},x_{n_{0}+1})=0$$, then $$v = x_{n_{0}}$$ is the needed fixed point of T, which completes the proof. Accordingly, we assume that $$0< d_{\alpha }(x_{n},x_{n+1})$$ for every $$n\in\mathbb{N}$$. Hence we have

$$\frac{1}{2}d_{\alpha}(x_{n},Tx_{n})= \frac{1}{2}d_{\alpha }(x_{n},x_{n+1})< d_{\alpha}(x_{n},x_{n+1}), \quad n\in\mathbb{N}.$$
(23)

From the hypothesis of the theorem, we have

\begin{aligned}& \begin{aligned}[b] \tau+F\bigl(d_{\alpha}(Tx_{n},Tx_{n+1}) \bigr) \leq{}&\alpha Fd_{\alpha}(x_{n},x_{n+1})+\beta Fd_{\alpha }(x_{n},x_{n+1})+\gamma Fd_{\alpha}(x_{n+1},x_{n+2})\\ &{}+ \delta Fd_{\alpha }(x_{n},x_{n+2}) + \eta Fd_{\alpha}(x_{n+1},x_{n+1}), \end{aligned} \end{aligned}
(24)
\begin{aligned}& \begin{aligned}[b] \tau+F\bigl(d_{\alpha}(x_{n+1},x_{n+2}) \bigr) \leq{}&\alpha Fd_{\alpha}(x_{n},x_{n+1})+\beta Fd_{\alpha }(x_{n},x_{n+1})+\gamma Fd_{\alpha}(x_{n+1},x_{n+2})\\ &{}+ s\delta Fd_{\beta }(x_{n},x_{n+1}) +s\delta Fd_{\beta}(x_{n+1},x_{n+2})+ s\eta Fd_{\beta }(x_{n+1},x_{n+2})\\ &{}+ s\eta Fd_{\beta}(x_{n+2},x_{n+1}), \end{aligned} \\& \tau+(1-\gamma-s\delta-2s\eta)F\bigl(d_{\alpha}(x_{n+1},x_{n+2}) \bigr)\leq(\alpha +\beta+s\delta)d_{\alpha}(x_{n},x_{n+1}). \end{aligned}
(25)

Since $$\alpha+\beta+\gamma+2s\delta+2s\eta=1$$, we obtain

\begin{aligned} F\bigl(d_{\alpha}(x_{n+1},x_{n+2})\bigr) & \leq\frac{\alpha+\beta+s\delta}{1-\gamma-s\delta-2s\eta}Fd_{\alpha }(x_{n},x_{n+1})- \frac{\tau}{1-\gamma-s\delta-2s\eta} \\ & < Fd_{\alpha}(x_{n},x_{n+1}). \end{aligned}
(26)

Thus, $$\{d_{\alpha}(x_{n},x_{n+1})\}_{n=1}^{\infty}$$ is a non-increasing sequence of real numbers which is bounded below. This implies that $$\{d_{\alpha}(x_{n},x_{n+1})\}_{n=1}^{\infty}$$ converges and

$$\lim_{n\rightarrow\infty}d_{\alpha}(x_{n},x_{n+1})= \beta=\inf \bigl\{ d_{\alpha}(x_{n},x_{n+1}):n\in \mathbb{N}\bigr\} .$$
(27)

We shall show that $$\beta=0$$. Suppose, on the contrary, that $$\beta>0$$. For every $$\epsilon>0$$ there exists $$m\in\mathbb{N}$$, such that

$$d_{\alpha}(x_{m},Tx_{m})< \beta+\epsilon.$$

Hence from (F′), we get

$$F\bigl(d_{\alpha}(x_{m},Tx_{m})\bigr)< F(\beta+ \epsilon).$$

On the other side, we have

$$\frac{1}{2s}d_{\alpha}(x_{m},Tx_{m})< d_{\alpha}(x_{m},Tx_{m}).$$

Due to the supposition of the theorem, we get

\begin{aligned}[b] \tau+F\bigl(d_{\alpha}\bigl(Tx_{m},T^{2}x_{m} \bigr)\bigr) \leq{}&\alpha Fd_{\alpha}(x_{m},Tx_{m})+ \beta Fd_{\alpha }(x_{m},Tx_{m})+\gamma Fd_{\alpha}\bigl(Tx_{m},T^{2}x_{m}\bigr) \\ &{} + \delta Fd_{\alpha}\bigl(x_{m},T^{2}x_{m} \bigr)++ \eta Fd_{\alpha }(Tx_{m},Tx_{m}), \end{aligned}
(28)

which is equivalent to

$$\tau+(1-\gamma-s\delta-2s\eta)F\bigl(d_{\alpha}\bigl(Tx_{m},T^{2}x_{m} \bigr)\bigr)\leq (\alpha+\beta+s\delta)Fd_{\alpha}(x_{m},Tx_{m}),$$

which implies

\begin{aligned} F\bigl(d_{\alpha}\bigl(Tx_{m},T^{2}x_{m} \bigr)\bigr) & \leq F\bigl(d_{\alpha}(x_{m},Tx_{m}) \bigr)-\frac{\tau}{1-\gamma-s\delta-2s\eta} \\ & < F\bigl(d_{\alpha}(x_{m},Tx_{m})\bigr). \end{aligned}
(29)

By continuing the same process, we get

\begin{aligned} F\bigl(d_{\alpha}\bigl(T^{n}x_{m},T^{n+1}x_{m} \bigr)\bigr) & \leq F\bigl(d_{\alpha}\bigl(T^{n}x_{m},T^{n-1}x_{m} \bigr)\bigr)-\frac{\tau}{1-\gamma -s\delta-2s\eta} \\ & \leq F\bigl(d_{\alpha}\bigl(T^{n-1}x_{m},T^{n-2}x_{m} \bigr)\bigr)-\frac{2\tau}{1-\gamma -s\delta-2s\eta} \\ & \vdots \\ & \leq F\bigl(d_{\alpha}(Tx_{m},x_{m})\bigr)- \frac{n\tau}{1-\gamma-s\delta-2s\eta} \\ & < F(\beta+\epsilon)-\frac{n\tau}{1-\gamma-s\delta-2s\eta}, \end{aligned}
(30)

which yields $$\lim_{n\rightarrow\infty}F(d_{\alpha }(T^{n}x_{m},T^{n+1}x_{m}))=-\infty$$.

From (F″), we have $$\lim_{n\rightarrow\infty}d_{\alpha }(T^{n}x_{m},T^{n+1}x_{m})=0$$ and thus, there exists $$N_{1}\in\mathbb {N}$$ such that $$d_{\alpha}(T^{n}x_{m},T^{n+1}x_{m})<\beta$$; $$\forall n\geq N_{1}$$.

This yields

$$d_{\alpha}(x_{m+n},Tx_{m+n})< \beta, \quad \forall n\geq N_{1}.$$

This contradicts the definition of β. Thus $$\beta=0$$.

$$\mbox{Therefore } \lim_{n\rightarrow\infty}d_{\alpha }(x_{n},x_{n+1})=0.$$
(31)

Next, our aim is to prove $$\lim_{n,m\rightarrow\infty}d_{\alpha }(x_{n},x_{m})=0$$.

Suppose, on the contrary, that there exist $$\epsilon>0$$ and sequences $$\{\psi_{n}\}_{n=1}^{\infty}$$ and $$\{\varphi_{n}\}_{n=1}^{\infty}$$ of natural numbers such that $$\psi(n)>\varphi(n)>n$$, $$d_{\alpha}(x_{\psi (n)},x_{\varphi(n)})\geq\epsilon$$,

$$d_{\alpha}(x_{\psi(n)-1},x_{\varphi(n)})< \frac{\epsilon}{s}, \quad \forall n\in\mathbb{N}.$$
(32)

By the definition of a generating space of a b-dislocated metric family,

\begin{aligned} \epsilon & \leq d_{\alpha}(x_{\psi(n)},x_{\varphi(n)}) \\ & \leq s\bigl[d_{\beta}(x_{\psi(n)},x_{\psi(n)-1})+d_{\beta}(x_{\psi (n)-1},x_{\varphi(n)}) \bigr] \\ & \leq sd_{\alpha}(x_{\psi(n)},x_{\varphi(n)-1})+\epsilon, \quad \forall n \in\mathbb{N}. \end{aligned}
(33)

From (30) and (32) and the squeezing theorem,

$$\lim_{n\rightarrow\infty}d_{\alpha}(x_{\psi(n)},x_{\varphi (n)})= \epsilon.$$
(34)

From (30), (31), and (33) there exists $$N_{2}\in\mathbb{N}$$ such that

$$\frac{1}{2}d_{\alpha}(x_{\psi(n)},Tx_{\psi(n)})< \frac{1}{2}\epsilon < \epsilon\leq d_{\alpha}(x_{\psi(n)},x_{\varphi(n)})< 2 \epsilon, \quad \forall n \in N_{2}.$$
(35)

Hence from (34) and (F′), and the hypothesis of the theorem, we have

\begin{aligned}& \begin{aligned}[b] &\tau+F\bigl(d_{\alpha}(Tx_{\psi(n)},Tx_{\varphi(n)}) \bigr) \\ &\quad\leq\alpha F\bigl(d_{\alpha}(x_{\psi(n)},x_{\varphi(n)}) \bigr)+\beta F\bigl(d_{\alpha}(x_{\psi(n)},Tx_{\psi(n)})\bigr)+ \gamma F\bigl(d_{\alpha}(x_{\varphi (n)},Tx_{\varphi(n)})\bigr) \\ &\qquad{} +\delta F\bigl(d_{\alpha}(x_{\psi(n)},Tx_{\varphi(n)})\bigr)+ \eta F\bigl(d_{\alpha}(x_{\varphi(n)},Tx_{\psi(n)})\bigr) \\ &\quad\leq \alpha F(2\epsilon)+\beta F\bigl(d_{\alpha}(x_{\psi(n)},Tx_{\psi (n)}) \bigr)+\gamma F\bigl(d_{\alpha}(x_{\varphi(n)},Tx_{\varphi(n)})\bigr) + \delta F(2\epsilon) \\ &\qquad{} +\eta s F\bigl(d_{\alpha}(x_{\varphi(n)},x_{\varphi(n)+1})\bigr)+ \eta sF\bigl(d_{\alpha}(x_{\varphi(n)},Tx_{\psi(n)}) \bigr), \end{aligned} \end{aligned}
(36)
\begin{aligned}& \begin{aligned}[b] &\tau+(1-\eta s)F\bigl(d_{\alpha}(Tx_{\psi(n)},Tx_{\varphi(n)}) \bigr) \\ &\quad\leq\alpha F(2\epsilon)+\beta F\bigl(d_{\alpha}(x_{\psi(n)},Tx_{\psi (n)}) \bigr)+\gamma F\bigl(d_{\alpha}(x_{\varphi(n)},Tx_{\varphi(n)})\bigr) + \delta F(2\epsilon) \\ &\qquad{} +\eta s F\bigl(d_{\alpha}(x_{\varphi(n)},x_{\varphi(n)+1}) \bigr). \end{aligned} \end{aligned}
(37)

This implies

$$\lim_{n\rightarrow\infty}F\bigl(d_{\alpha}(Tx_{\psi(n)},Tx_{\varphi (n)}) \bigr)=-\infty.$$

Thus,

$$\lim_{n\rightarrow\infty}d_{\alpha}(Tx_{\psi(n)},Tx_{\varphi (n)})=0 \quad\mbox{iff}\quad \lim_{n\rightarrow\infty}d_{\alpha }(x_{\psi(n)+1},x_{\varphi(n)+1})=0.$$

Hence $$\lim_{n,m\rightarrow\infty}d_{\alpha}(x_{n},x_{m})=0$$.

Therefore $$\{x_{n}\}_{n=1}^{\infty}$$ is a Cauchy sequence in X. From the completeness of $$(X,d_{\alpha})$$ there exists $$z\in X$$ such that

$$d_{\alpha}(z,z)=\lim_{n\rightarrow\infty}d_{\alpha}(x_{n},z)= \lim_{n,m\rightarrow\infty}d_{\alpha}(x_{n},x_{m})=0.$$

Subsequently, we shall prove that, for every $$n\in\mathbb{N}$$,

$$\frac{1}{2s}d_{\alpha}(x_{n},Tx_{n})< d_{\alpha}(x_{n},z) \quad \mbox{or} \quad \frac{1}{2s}d_{\alpha}\bigl(Tx_{n},T^{2}x_{n} \bigr)< d_{\alpha}(Tx_{n},z), \quad\forall n\in\mathbb{N}.$$
(38)

Arguing by contradiction, we suppose that there exists $$m\in\mathbb{N}$$ such that

$$\frac{1}{2s}d_{\alpha}(x_{m},Tx_{m}) \geq d_{\alpha}(x_{m},z) \quad \mbox{and}\quad \frac{1}{2s}d_{\alpha}\bigl(Tx_{m},T^{2}x_{m} \bigr)\geq d_{\alpha}(Tx_{m},z).$$
(39)

Thus

$$d_{\alpha}\bigl(Tx_{m},T^{2}x_{m} \bigr)< d_{\alpha}(x_{m},Tx_{m}).$$
(40)

Now, take

\begin{aligned} d_{\alpha}(x_{m},Tx_{m}) & \leq s \bigl[d_{\beta}(x_{m},v)+d_{\beta}(v,Tx_{m}) \bigr] \\ & \leq\frac{1}{2}d_{\alpha}(x_{m},Tx_{m})+ \frac{1}{2}d_{\alpha }\bigl(Tx_{m},T^{2}x_{m} \bigr) \\ & < \frac{1}{2}d_{\alpha}(x_{m},Tx_{m})+ \frac{1}{2}d_{\alpha }(x_{m},Tx_{m}) \\ & = d_{\alpha}(x_{m},Tx_{m}). \end{aligned}
(41)

Evidently, this is a contradiction. Hence, the inequality (37) is satisfied. Concerning the supposition of the theorem, (37) implies that either

\begin{aligned} \tau+F\bigl(d_{\alpha}(Tx_{n},Tz)\bigr) \leq{}& \alpha F\bigl(d_{\alpha}(x_{n},z)\bigr)+\beta F \bigl(d_{\alpha}(x_{n},Tx_{n})\bigr) \\ &{} +\gamma F\bigl(d_{\alpha}(z,Tz)\bigr)+\delta F\bigl(d_{\alpha}(x_{n},Tz) \bigr)+\eta F\bigl(d_{\alpha}(z,Tx_{n})\bigr) \end{aligned}
(42)

or

\begin{aligned} \tau+F\bigl(d_{\alpha}\bigl(T^{2}x_{n},Tz \bigr)\bigr) \leq{}&\alpha F\bigl(d_{\alpha}(Tx_{n},z)\bigr)+\beta F\bigl(d_{\alpha }\bigl(Tx_{n},T^{2}x_{n} \bigr)\bigr) \\ &{} +\gamma F\bigl(d_{\alpha}(z,Tz)\bigr)+\delta F\bigl(d_{\alpha }(Tx_{n},Tz) \bigr)+\eta F\bigl(d_{\alpha}\bigl(z,T^{2}x_{n}\bigr) \bigr). \end{aligned}
(43)

Case (i): By taking the limits as $$n\rightarrow \infty$$ in (41), we get

$$\lim_{n\rightarrow\infty}F\bigl(d_{\alpha}(Tx_{n},Tz)\bigr)=- \infty,$$

which implies

$$\lim_{n\rightarrow\infty}d_{\alpha}(Tx_{n},Tz)=0.$$

Now,

$$d_{\alpha}(z,Tz)\leq s\bigl[d_{\beta}(z,Tx_{n})+d_{\beta}(Tx_{n},Tz) \bigr],$$

which implies

$$d_{\alpha}(z,Tz)=0.$$

Thus

$$z=Tz.$$

Case (ii):

\begin{aligned}[b] F\bigl(d_{\alpha}\bigl(T^{2}x_{n},Tz \bigr)\bigr) \leq{}&\tau+F\bigl(d_{\alpha}\bigl(T^{2}x_{n},Tz \bigr)\bigr)\\ \leq{}&\alpha F\bigl(d_{\alpha}(Tx_{n},z)\bigr)+\beta F \bigl(d_{\alpha }\bigl(Tx_{n},T^{2}x_{n}\bigr) \bigr)\\ &{}+\gamma F\bigl(d_{\alpha}(z,Tz)\bigr)+\delta F\bigl(d_{\alpha }(Tx_{n},Tz) \bigr)+\eta F\bigl(d_{\alpha}\bigl(z,T^{2}x_{n}\bigr) \bigr). \end{aligned}
(44)

Thus

$$\lim_{n\rightarrow\infty}F\bigl(d_{\alpha}\bigl(T^{2}x_{n},Tz \bigr)\bigr)=-\infty.$$

From (F″), we get

$$\lim_{n\rightarrow\infty}d_{\alpha}\bigl(T^{2}x_{n},Tz \bigr)=0.$$

Consider

\begin{aligned} d_{\alpha}(z,Tz) & \leq sd_{\beta} \bigl(z,T^{2}x_{n}\bigr)+sd_{\beta} \bigl(T^{2}x_{n},Tz\bigr) \\ & =sd_{\alpha}(z,x_{n+2})+sd_{\alpha}\bigl(T^{2}x_{n},Tz \bigr). \end{aligned}
(45)

Thus letting $$n\rightarrow\infty$$, $$d_{\alpha}(z,Tz)=0\Rightarrow z=Tz$$.

Hence z is a fixed point of T. □

If we put $$s=1$$ in Theorem 2.16, we obtain the following corollary in the generating space of a dislocated metric family.

### Corollary 2.17

Let $$(X,d_{\alpha})$$ be a complete $$G_{d}$$-family and T be a Hardy-Roger F-contraction. Then T has a fixed point in X.

If we put d instead of $$d_{\alpha}$$ in the above Theorem 2.16, we obtain the following corollary in a b-dislocated metric space.

### Corollary 2.18

Let $$(X,b_{d})$$ be a complete b-dislocated metric space, and T be a Hardy-Roger F-contraction. Then T has a fixed point in X.

If we put $$d_{\alpha}=d$$ and $$s=1$$ in the above Theorem 2.16, we obtain the following corollary in a complete dislocated metric space.

### Corollary 2.19

Let $$(X,d)$$ be a complete dislocated metric space, and T be a Hardy-Roger F-contraction. Then T has a fixed point in X.

## References

1. 1.

Banach, S: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 3, 133-181 (1922)

2. 2.

Kannan, R: Some results on fixed points. Bull. Calcutta Math. Soc. 60, 71-76 (1968)

3. 3.

Reich, S: Some remarks concerning contraction mappings. Can. Math. Bull. 14, 121-124 (1971)

4. 4.

Chatterjea, SK: Fixed-point theorems. C. R. Acad. Bulg. Sci. 25, 727-730 (1972)

5. 5.

Ćirić, LB: Generalized contractions and fixed-point theorems. Publ. Inst. Math. (Belgr.) 12(26), 19-26 (1971)

6. 6.

Hardy, GE, Rogers, TD: A generalization of a fixed point theorem of Reich. Can. Math. Bull. 16, 201-206 (1973)

7. 7.

Subrahmanyam, PV: Completeness and fixed-points. Monatshefte Math. 80, 325-330 (1975)

8. 8.

Kannan, R: Some results on fixed points. II. Am. Math. Mon. 76, 405-408 (1969)

9. 9.

Rhodes, BE, Sessa, S, Khan, MS, Khan, MD: Some fixed point theorems for Hardy Rogers type mappings. Int. J. Math. Math. Sci. 7(1), 75-87 (1984)

10. 10.

Abbas, M, Aydi, H, Radenović, S: Fixed point of Hardy-Rogers contractive mappings in partially ordered partial metric spaces. Int. J. Math. Math. Sci. 2012, Article ID 313675 (2012). doi:10.1155/2012/313675

11. 11.

Kumari, PS, Kumar, VV, Sarma, R: New version for Hardy and Rogers type mapping in dislocated metric space. Int. J. Basic Appl. Sci. 1(4), 609-617 (2012)

12. 12.

Kirk, WA, Srinavasan, PS, Veeramani, P: Fixed points for mapping satisfying cyclical contractive conditions. Fixed Point Theory 4, 79-89 (2003)

13. 13.

Mongkolkeha, C, Kumam, P: Best proximity point theorems for generalized cyclic contractions in ordered metric spaces. J. Optim. Theory Appl. 155, 215-226 (2012)

14. 14.

Sintunavarat, W, Kumam, P: Common fixed point theorem for cyclic generalized multi-valued contraction mappings. Appl. Math. Lett. 25(11), 1849-1855 (2012)

15. 15.

Nashine, HK, Pathak, RP, Somvanshi, PS, Pantelic, S, Kumam, P: Solutions for a class of nonlinear Volterra integral and integro-differentialequation using cyclic $$(\varphi,\psi,\theta)$$-contraction. Adv. Differ. Equ. 2013, 106 (2013)

16. 16.

Zoto, K, Kumari, PS, Hoxha, E: Some fixed point theorems and cyclic contractions in dislocated and dislocated quasi-metric spaces. Am. J. Numer. Anal. 2(3), 79-84 (2014)

17. 17.

Radenović, S: Some remarks on mappings satisfying cyclical contractive conditions. Afr. Math. (2015). doi:10.1007/s13370-015-0339-2

18. 18.

Abbas, M, Nazir, T, Gopal, D: Common fixed point results for generalized cyclic contraction mappings. Afr. Math. 26(1), 265-273 (2015)

19. 19.

Radenović, S, Dosenović, T, Lampert, TA, Golubović, Z: A note on some recent fixed point results for cyclic contractions in b-metric spaces and an application to integral equations. Appl. Math. Comput. 273, 155-164 (2016)

20. 20.

Karpagam, S, Agrawal, S: Best proximity points theorems for cyclic Meir-Keeler contraction maps. Nonlinear Anal. 74, 1040-1046 (2011)

21. 21.

Zlatanov, B: Best proximity points for p-summing cyclic orbital Meir-Keeler contractions. Nonlinear Anal., Model. Control 20(4), 528-544 (2015)

22. 22.

Karapınar, E, Ramaguera, S, Kenan, T: Fixed points for cyclic orbital generalized contractions on complete metric spaces. Cent. Eur. J. Math. 11(3), 552-560 (2013)

23. 23.

Wardowski, D: Fixed point theory of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, Article ID 94 (2012)

24. 24.

Shukla, S, Radenović, S: Some common fixed point theorems for F-contraction type mappings in 0-complete partial metric spaces. J. Math. 2013, Article ID 878730 (2013)

25. 25.

Minak, G, Helvaci, A, Altun, I: Ćirić type generalized F-contractions on complete metric spaces and fixed point results. Filomat 28(6), 1143-1151 (2014)

26. 26.

Kumari, PS, Zoto, K, Panthi, D: d-Neighborhood system and generalized F-contraction in dislocated metric space. SpringerPlus 4(1), 1-10 (2015)

27. 27.

Sedghi, S, Shobe, N, Aliouche, A: A generalization of fixed point theorems in S-metric spaces. Mat. Vesn. 64(3), 258-266 (2012)

28. 28.

Azam, A, Fisher, B, Khan, M: Common fixed point theorems in complex valued metric spaces. Numer. Funct. Anal. Optim. 32(3), 243-253 (2011)

29. 29.

Abbas, et al.: Generalized coupled common fixed point results in partially ordered A-metric spaces. Fixed Point Theory Appl. 2015, Article ID 64 (2015)

30. 30.

Sarma, IR, Rao, JM, Kumari, PS, Panthi, D: Convergence axioms on dislocated symmetric spaces. Abstr. Appl. Anal. 2014, Article ID 745031 (2014). doi:10.1155/2014/7450317

31. 31.

Kumari, PS, Ramana, CV, Zoto, K: On quasi-symmetric space. Indian J. Sci. Technol. 7(10), 1583-1587 (2014)

32. 32.

Kumari, PS, Sarma, IR, Rao, JM: Metrization theorem for a weaker class of uniformities. Afr. Math. (2015). doi:10.1007/s13370-015-0369-9

33. 33.

Kumari, PS, Panthi, D: Cyclic contractions and fixed point theorems on various generating spaces. Fixed Point Theory Appl. 2015, Article ID 153 (2015)

34. 34.

Sarma, IR, Kumari, PS: On dislocated metric spaces. Int. J. Math. Arch. 3(1), 7-27 (2012)

35. 35.

Kumari, PS, et al.: Common fixed point theorems on weakly compatible maps on dislocated metric spaces. Math. Sci. 6, 71 (2012)

36. 36.

Kumari, PS: On dislocated quasi metrics. J. Adv. Stud. Topol. 3(2), 66-74 (2012)

37. 37.

Panthi, D, Jha, K, Jha, PK, Kumari, PS: A common fixed point theorem for two pairs of mappings in dislocated metric space. Am. J. Comput. Math. 5, 106-112 (2015)

38. 38.

Kumari, PS, Ramana, CV, Zoto, K, Panthi, D: Fixed point theorems and generalizations of dislocated metric spaces. Indian J. Sci. Technol. 8(S3), 154-158 (2015)

39. 39.

Panthi, D: Common fixed point theorems for compatible mapping in dislocated metric space. Int. J. Math. Anal. 9(45), 2235-2242 (2015)

40. 40.

Zoto, K, Isufati, A, Kumari, PS: Fixed point results and E.A-property in dislocated and dislocated quasi-metric spaces. Turk. J. Anal. Number Theory 3(1), 24-29 (2015)

## Acknowledgements

The first author would like to express her sincere gratitude to Mr. Anand Prabhakar for his invaluable support and motivation. The authors would like to express their thanks to the referees for their helpful comments and suggestions.

## Author information

Authors

### Corresponding author

Correspondence to Panda Sumati Kumari.

### Competing interests

The authors declare that there is no conflict of interests regarding the publication of this article.

### Authors’ contributions

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

## Rights and permissions 