- Research
- Open access
- Published:
Connecting various types of cyclic contractions and contractive self-mappings with Hardy-Rogers self-mappings
Fixed Point Theory and Applications volume 2016, Article number: 15 (2016)
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.
1 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 [1])
If \((X,d)\) is a complete metric space and \(T:X\rightarrow X\) is a self-mapping such that
for all \(x,y\in X\), where \(0\leq\alpha<1\), then T has a unique fixed point.
Theorem 1.2
(Kannan [2])
If \((X,d)\) is a complete metric space and \(T:X\rightarrow X\) is a self-mapping such that
for all \(x,y\in X\), where \(0\leq\beta<\frac{1}{2}\), then T has a unique fixed point.
Theorem 1.3
(Reich [3])
If \((X,d)\) is a complete metric space and \(T:X\rightarrow X\) is a self-mapping such that
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 [4])
If \((X,d)\) is a complete metric space and \(T:X\rightarrow X\) is a self-mapping such that
for all \(x,y\in X\), where \(0\leq\gamma<\frac{1}{2}\), then T has a unique fixed point.
Theorem 1.5
(Ćirić [5])
If \((X,d)\) is a complete metric space and \(T:X\rightarrow X\) is a self-mapping such that
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 [6])
If \((X,d)\) is a complete metric space and \(T:X\rightarrow X\) is a self-mapping such that
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 [7] 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 [8].
-
Reich generalized the Banach and Kannan fixed point theorems. An example in [3] 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[4]. 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 [9–11].)
In 2003, Kirk et al. [12] 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
[12]
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
[12]
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
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 [13–19].
In 2010, Karpagam and Agrawal [20] introduced the notion of cyclic orbital contraction and proved a unique fixed point theorem for such a map.
Theorem 1.9
[20]
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
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 [23] 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
[23]
Let \(F:\mathbb{R}^{+}\rightarrow \mathbb{R}\) be a mapping satisfying:
-
(i)
F is strictly increasing, i.e. for all \(\alpha,\beta \in \mathbb{R}^{+}\) such that \(\alpha<\beta\), \(F(\alpha)< F(\beta)\).
-
(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\).
-
(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
[23]
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., [24–26]).
The standard metric space has been generalized in different ways: see for example,
-
(a)
S-metric space by Sedghi et al. [27];
-
(b)
Complex valued metric space by Azam et al. [28];
-
(c)
A-metric space by Abbas et al. [29];
-
(d)
Dislocated symmetric space by Sarma et al. [30];
-
(e)
Quasi-symmetric space by Kumari et al. [31];
-
(f)
Dislocated Uniform space by Kumari et al. [32].
Apart from above, very recently, Kumari and Panthi [33] 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
[33]
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\).
-
(i)
\(d_{\alpha}(x,y)=0\) implies \(x=y\).
-
(ii)
\(d_{\alpha}(x,y)=d_{\alpha}(y,x)\).
-
(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)]\);
-
(iv)
For any \(x,y\in X\), \(d_{\alpha}(x,y)\) is non-increasing and left continuous in α.
Definition 1.13
[33]
-
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.
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.
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.
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 [34–36].
Remark 1.14
[33]
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.
2 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
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}\).
which implies
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,
For all \(n\in\mathbb{N}\), we get
Let \(n,m\in\mathbb{N}\) with \(m>n\), by using the definition of \(G_{bd}\)-family, we have
By repeating this process we get
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
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
Letting \(n\rightarrow\infty\) in the above inequality (8), we get
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
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:
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:
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
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:
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 [37–40]).
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
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
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,
which implies
Thus
which yields
By repeating the same process, we get
Taking the limits as \(n\rightarrow\infty\), we get
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
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
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
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
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,
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:
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
Thus, for each \(n\in\mathbb{N}\) and for each \(y\in[0,1]\) the Hardy-Rogers cyclic orbital contraction,
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
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), $$and also sub-additive.
- (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:
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
From the hypothesis of the theorem, we have
Since \(\alpha+\beta+\gamma+2s\delta+2s\eta=1\), we obtain
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
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
Hence from (F′), we get
On the other side, we have
Due to the supposition of the theorem, we get
which is equivalent to
which implies
By continuing the same process, we get
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
This contradicts the definition of β. Thus \(\beta=0\).
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\),
By the definition of a generating space of a b-dislocated metric family,
From (30) and (32) and the squeezing theorem,
From (30), (31), and (33) there exists \(N_{2}\in\mathbb{N}\) such that
Hence from (34) and (F′), and the hypothesis of the theorem, we have
This implies
Thus,
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
Subsequently, we shall prove that, for every \(n\in\mathbb{N}\),
Arguing by contradiction, we suppose that there exists \(m\in\mathbb{N}\) such that
Thus
Now, take
Evidently, this is a contradiction. Hence, the inequality (37) is satisfied. Concerning the supposition of the theorem, (37) implies that either
or
Case (i): By taking the limits as \(n\rightarrow \infty\) in (41), we get
which implies
Now,
which implies
Thus
Case (ii):
Thus
From (F″), we get
Consider
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
Banach, S: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 3, 133-181 (1922)
Kannan, R: Some results on fixed points. Bull. Calcutta Math. Soc. 60, 71-76 (1968)
Reich, S: Some remarks concerning contraction mappings. Can. Math. Bull. 14, 121-124 (1971)
Chatterjea, SK: Fixed-point theorems. C. R. Acad. Bulg. Sci. 25, 727-730 (1972)
Ćirić, LB: Generalized contractions and fixed-point theorems. Publ. Inst. Math. (Belgr.) 12(26), 19-26 (1971)
Hardy, GE, Rogers, TD: A generalization of a fixed point theorem of Reich. Can. Math. Bull. 16, 201-206 (1973)
Subrahmanyam, PV: Completeness and fixed-points. Monatshefte Math. 80, 325-330 (1975)
Kannan, R: Some results on fixed points. II. Am. Math. Mon. 76, 405-408 (1969)
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)
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
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)
Kirk, WA, Srinavasan, PS, Veeramani, P: Fixed points for mapping satisfying cyclical contractive conditions. Fixed Point Theory 4, 79-89 (2003)
Mongkolkeha, C, Kumam, P: Best proximity point theorems for generalized cyclic contractions in ordered metric spaces. J. Optim. Theory Appl. 155, 215-226 (2012)
Sintunavarat, W, Kumam, P: Common fixed point theorem for cyclic generalized multi-valued contraction mappings. Appl. Math. Lett. 25(11), 1849-1855 (2012)
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)
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)
Radenović, S: Some remarks on mappings satisfying cyclical contractive conditions. Afr. Math. (2015). doi:10.1007/s13370-015-0339-2
Abbas, M, Nazir, T, Gopal, D: Common fixed point results for generalized cyclic contraction mappings. Afr. Math. 26(1), 265-273 (2015)
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)
Karpagam, S, Agrawal, S: Best proximity points theorems for cyclic Meir-Keeler contraction maps. Nonlinear Anal. 74, 1040-1046 (2011)
Zlatanov, B: Best proximity points for p-summing cyclic orbital Meir-Keeler contractions. Nonlinear Anal., Model. Control 20(4), 528-544 (2015)
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)
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)
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)
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)
Kumari, PS, Zoto, K, Panthi, D: d-Neighborhood system and generalized F-contraction in dislocated metric space. SpringerPlus 4(1), 1-10 (2015)
Sedghi, S, Shobe, N, Aliouche, A: A generalization of fixed point theorems in S-metric spaces. Mat. Vesn. 64(3), 258-266 (2012)
Azam, A, Fisher, B, Khan, M: Common fixed point theorems in complex valued metric spaces. Numer. Funct. Anal. Optim. 32(3), 243-253 (2011)
Abbas, et al.: Generalized coupled common fixed point results in partially ordered A-metric spaces. Fixed Point Theory Appl. 2015, Article ID 64 (2015)
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
Kumari, PS, Ramana, CV, Zoto, K: On quasi-symmetric space. Indian J. Sci. Technol. 7(10), 1583-1587 (2014)
Kumari, PS, Sarma, IR, Rao, JM: Metrization theorem for a weaker class of uniformities. Afr. Math. (2015). doi:10.1007/s13370-015-0369-9
Kumari, PS, Panthi, D: Cyclic contractions and fixed point theorems on various generating spaces. Fixed Point Theory Appl. 2015, Article ID 153 (2015)
Sarma, IR, Kumari, PS: On dislocated metric spaces. Int. J. Math. Arch. 3(1), 7-27 (2012)
Kumari, PS, et al.: Common fixed point theorems on weakly compatible maps on dislocated metric spaces. Math. Sci. 6, 71 (2012)
Kumari, PS: On dislocated quasi metrics. J. Adv. Stud. Topol. 3(2), 66-74 (2012)
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)
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)
Panthi, D: Common fixed point theorems for compatible mapping in dislocated metric space. Int. J. Math. Anal. 9(45), 2235-2242 (2015)
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 and Affiliations
Corresponding author
Additional information
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
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kumari, P.S., Panthi, D. Connecting various types of cyclic contractions and contractive self-mappings with Hardy-Rogers self-mappings. Fixed Point Theory Appl 2016, 15 (2016). https://doi.org/10.1186/s13663-016-0498-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0498-3