Abstract
In this paper, owing to the concept of F-contraction, we define two new classes of functions \(M(S,T)\) and \(N(S,T)\), and we prove some new fixed point results for single-valued and multivalued mappings in complete metric spaces. Our results extend, generalize and unify several known results in the literature. We include an example to show that the generalization is proper.
Similar content being viewed by others
1 Introduction and preliminaries
In fixed point theory, the contractive conditions on underlying functions play an important role in finding solutions of fixed point problems. Banach contraction principle is a remarkable result in metric fixed point theory. Over the years, it has been generalized in different directions by several mathematicians (see [1–13] and [14–16]). In 2012, Wardowski [17] introduced a new concept of contraction, and he proved a fixed point theorem which generalizes the Banach contraction principle. Later on, Wardowski and Van Dung [18] gave the idea of F-weak contraction and proved a theorem concerning F-weak contraction. Afterwards, Abbas et al. [2] further generalized the concept of F-contraction and proved certain fixed point results. Hussain and Salimi [10] introduced an α-GF-contraction with respect to a general family of functions G and established Wardowski-type fixed point results in ordered metric spaces. Batra et al. [4, 5] extended the concept of F-contraction on graphs and altered distances. They proved some fixed point and coincidence point results by illustrating them with some examples. Recently, Cosentino and Vetro [7] followed the approach of F-contraction and obtained some fixed point theorems of Hardy-Rogers-type for self-mappings in complete metric spaces and complete ordered metric spaces. Then Sgroi and Vetro [19] extended this Hardy-Rogers-type fixed point result for multivalued mappings. The reader can see [1, 3, 8, 9, 11, 12, 18, 20] for recent results in this direction.
The aim of this article is to establish some new fixed point theorems and generalize the results of Beg and Azam [6], Cosentino and Vetro [7], Sgroi and Vetro [19] and Wardowski [17] by introducing a new type of contractions.
We recall some basic known definitions and results which will be used in the sequel. Throughout this article, \(\mathbb{N}\), \(\mathbb{R}^{+}\), \(\mathbb{R}\) denote the set of natural numbers, the set of positive real numbers and the set of real numbers, respectively.
To be consistent with Wardowski [17], we denote by Ϝ the set of all functions \(F:\mathbb{R}^{+}\rightarrow\mathbb{R}\) satisfying the following conditions:
-
(F1)
F is strictly increasing;
-
(F2)
for all sequence \(\{ \alpha_{n}\} \subseteq R^{+}\), \(\lim_{n\to\infty}\alpha_{n}=0\) if and only if \(\lim_{n\to \infty}F(\alpha_{n})=-\infty\);
-
(F3)
there exists \(0< k<1\) such that \(\lim_{a\rightarrow 0^{+}}\alpha^{k}F(\alpha)=0\).
Definition 1.1
[17]
Let \((X,d)\) be a metric space. A mapping \(T:X\rightarrow X\) is said to be an F-contraction if there exist \(\tau\in \mathbb{R}^{+}\) and a function \(F\in\digamma\) such that for all \(x,y\in X\),
Example 1.2
[17]
Let \(F: \mathbb{R} _{+}\rightarrow \mathbb{R} \) be defined by \(F(\alpha)=\ln\alpha\). It is clear that F satisfies (F1)-(F3) for any \(k\in(0,1)\). Each mapping \(T:X\rightarrow X\) satisfying (1.1) is an F-contraction such that
It is clear that for \(x,y\in X\) such that \(Tx=Ty\), the inequality \(d(Tx,Ty)\leq e^{-\tau}d(x,y)\) also holds, i.e., T is a Banach contraction.
Example 1.3
[17]
If \(F(\alpha)=\ln\alpha+\alpha\), \(\alpha>0\), then F satisfies (F1)-(F3). Then condition (1.1) satisfied by the mapping \(T:X\rightarrow X\) is of the form
Remark 1.4
From (F1) and (1.1), it is easy to conclude that every F-contraction is necessarily continuous.
Wardowski [17] stated a modified version of the Banach contraction principle as follows.
Theorem 1.5
[17]
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 \(z\in X\) and for every \(x\in X\) the sequence \(\{T^{n}x\}_{n\in \mathbb{N}}\) converges to z.
Cosentino and Vetro in [7] proved the following Hardy-Rogers-type fixed point theorem for F-contractive condition in the setting of complete metric spaces.
Theorem 1.6
[7]
Let \((X,d)\) be a complete metric space and \(T:X\rightarrow X\) be a self-mapping. If there exist \(\tau>0\) and reals \(\alpha,\beta,\gamma,\delta,L\geq0\) such that for all \(x,y\in X\),
-
\(d(Tx,Ty)>0\) implies
$$\begin{aligned} \tau+F \bigl(d(Tx,Ty) \bigr) \leq& F \bigl(\alpha d(x,y)+\beta d(x,Tx)+\gamma d(y,Ty) \\ &{}+\delta\bigl(d(x,Ty)+Ld(y,Tx)\bigr) \bigr), \end{aligned}$$(1.2)
where \(F\in\digamma\) and \(\alpha+\beta+\gamma+2L=1\) and \(\gamma \neq1\), then T has a unique fixed point.
2 Main results
In this section, we prove a common fixed point theorem for self-mappings regarding F-contraction, and we give an illustrative example. For a metric space \((X,d)\) and two self-mappings \(S,T:X\rightarrow X\), we denote by \(M(S,T)\) the collection of all functions \(\lambda:X\times X\rightarrow {}[0,1)\) such that
Similarly \(N(S,T)\) denotes the collection of all functions \(\Lambda :X\rightarrow{}[0,1)\) for all \(x,y\in X\) with
In the following proposition, we discuss some properties of the above control functions belonging to the classes \(M(S,T)\) and \(N(S,T)\). This proposition plays an important role in the proofs of our main theorems.
Proposition 2.1
Let \((X,d)\) be a metric space and \(S,T:X\rightarrow X\) be self-mappings. Let \(x_{0}\in X\), we define the sequence \(\{x_{n}\}\) by \(x_{2n+1}=Sx_{2n}\), \(x_{2n+2}=Tx_{2n+1}\) for all integers \(n\geq0\).
If \(\lambda\in M(S,T)\), then \(\lambda(x_{2n},y)\leq\lambda (x_{0},y)\) and \(\lambda(x,x_{2n+1})\leq\lambda(x,x_{1})\) for all \(x,y\in X\) and integers \(n\geq0\).
Proof
Let \(x,y\in X\) and integers \(n\geq0\). Then we have
Similarly, we have
□
Now we establish a theorem regarding common fixed points of self-mappings \(S,T:X\rightarrow X\) under some new contractive conditions and generalized Theorem 1.6 in the sense that instead of taking constants, we take control functions.
Theorem 2.2
Let \((X,d)\) be a complete metric space and \(S,T:X\rightarrow X\) be self-mappings. If there exist \(\tau>0\) and mappings \(\lambda,\mu ,\gamma,\delta,L\in M(S,T)\) such that for all \(x,y\in X\),
-
(a)
$$\begin{aligned}& \lambda(x,y)+\mu(x,y)+\gamma(x,y)+2L(x,y)=1, \quad \gamma (x,y)\neq1\textit{ and }\delta(x,y)\geq0; \\& \lambda(x,y)+\mu(x,y)+\gamma(x,y)+2\delta(x,y)=1,\quad \gamma (x,y)\neq1\textit{ and }L(x,y)\geq0; \end{aligned}$$
-
(b)
\(d(Sx,Ty)>0\) implies
$$\begin{aligned} \tau+F\bigl(d(Sx,Ty)\bigr) \leq& F\bigl(\lambda(x,y)d(x,y)+\mu(x,y) \bigl(d(x,Sx)\bigr)+\gamma (x,y)d(y,Ty) \\ &{}+\delta(x,y) \bigl(d(x,Ty)+L(x,y)d(y,Sx)\bigr)\bigr), \end{aligned}$$where \(F\in\digamma\), then S and T have a common fixed point.
Moreover, if
-
(c)
$$ \lambda(x,y)+\delta(x,y)+L(x,y)\leq1, $$
then the common fixed point of S and T is unique.
Proof
Let \(x_{0}\in X\), we define the sequence \(\{x_{n}\}\) by
for all integers \(n\geq0\). From Proposition 2.1, for all integers \(n\geq0\), we have
Since F is strictly increasing, we deduce the following:
Hence,
Consequently, from (2.1) we have
Similarly, we have
Since F is strictly increasing, we deduce
Hence,
Consequently, from (2.3) we have
Thus
for all \(n\in\mathbb{N}\). Since \(F\in\digamma\), so by taking limit as \(n\rightarrow\infty\) in (2.5) we have
Now, from (F3), there exists \(0< k<1\) such that
By (2.5), we have
By taking limit as \(n\rightarrow\infty\) in (2.8) and applying (2.6) and (2.7), we have
It follows from (2.9) that there exists \(n_{1}\in\mathbb{N}\) such that
for all \(n>n_{1}\). This implies
for all \(n>n_{1}\). Now we prove that \(\{x_{n}\}\) is a Cauchy sequence. For \(m>n>n_{1}\), we have
Since \(0< k<1\), then \(\sum_{i=1}^{\infty}\frac{1}{i^{1/k}}\) converges. Therefore, \(d(x_{n},x_{m})\rightarrow0\) as \(m,n\rightarrow\infty\). Thus we proved that \(\{x_{n}\}\) is a Cauchy sequence in X. The completeness of X ensures that there exists \(z\in X\) such that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty\). First we show that z is a fixed point of S. By Proposition 2.1, we have
Since F is strictly increasing, we deduce
Letting \(n\rightarrow+\infty\) in the previous inequality, we get
as \(\mu(z,x_{1})+\gamma(z,x_{1})<1\). This implies \(d(Sz,z)=0\). Thus we have \(z=Sz\). We also show that z is a fixed point of T. By Proposition 2.1, we have
Since F is strictly increasing, we deduce
Letting \(n\rightarrow+\infty\) in the previous inequality, we get
This implies \(d(z,Tz)=0\) and hence \(z=Tz\). Therefore, z is a common fixed point of S and T.
Now we show the uniqueness. Suppose that there exists another common fixed point u of S and T, that is, \(u=Su=Tu\). Assume that \(Su\neq Tz\), then from (b) we have
Since F is strictly increasing, we deduce
It implies that \(d(Su,Tz)=0\), that is, \(Su=Tz\). It is a contradiction. Thus S and T have a unique common fixed point, which ends the proof. □
Consequently, we have the following results.
Corollary 2.3
Let \((X,d)\) be a complete metric space and \(S,T:X\rightarrow X\) be self-mappings. If there exist \(\tau>0\) and mappings \(\lambda,\mu ,\gamma \in M(S,T)\) such that for all \(x,y\in X\),
-
(a)
$$ \lambda(x,y)+2\mu(x,y)+\gamma(x,y)=1; $$
-
(b)
\(d(Sx,Ty)>0\) implies
$$\begin{aligned} \tau+F \bigl(d(Sx,Ty) \bigr) \leq& F \bigl(\lambda(x,y)d(x,y)+\mu (x,y) \bigl(d(x,Sx)+d(y,Ty)\bigr) \\ &{}+\gamma(x,y) \bigl(d(x,Ty)+d(y,Sx)\bigr) \bigr), \end{aligned}$$where \(F\in\digamma\), then S and T have a unique common fixed point.
Corollary 2.4
Let \((X,d)\) be a complete metric space and \(S,T:X\rightarrow X\) be self-mappings. If there exist \(\tau>0\) and mappings \(\Lambda,\Theta ,\Xi ,\Delta,L\in N(S,T)\) such that for all \(x,y\in X\),
-
(a)
\(\Lambda(x)+\Theta(x)+\Xi(x)+2L(x)=1\), \(\Xi(x)\neq1\) and \(\Delta (x)\geq0\); \(\Lambda(x)+\Theta(x)+\Xi(x)+2\Delta(x)=1\), \(\Xi(x)\neq1\) and \(L(x)\geq 0\);
-
(b)
\(d(Sx,Ty)>0\) implies
$$\begin{aligned} \tau+F \bigl(d(Sx,Ty) \bigr) \leq& F \bigl(\Lambda(x)d(x,y)+\Theta (x)d(x,Sx)+\Xi (x)d(y,Ty) \\ &{}+\Delta(x)d(x,Ty)+L(x)d(y,Sx) \bigr), \end{aligned}$$where \(F\in\digamma\), then S and T have a common fixed point.
Moreover, if
then the common fixed point of S and T is unique.
Proof
Define \(\lambda,\mu,\gamma,\delta,L:X\times X\rightarrow{}[0,1)\) by \(\lambda(x,y)=\Lambda(x)\), \(\mu(x,y)=\Theta(x)\), \(\gamma (x,y)=\Xi (x)\), \(\delta(x,y)=\Delta(x)\) and \(L(x,y)=L(x)\) for all \(x,y\in X\). Then, for all \(x,y\in X\),
(a)
(b)
and
(c) \(d(Sx,Ty)>0\) implies
By Theorem 2.2, S and T have a unique common fixed point. □
By letting \(\Lambda(\cdot)=\Lambda\), \(\Theta(\cdot)=\Theta\), \(\Xi (\cdot)=\Xi\), \(\Delta(\cdot)=\Delta\) and \(L(\cdot)=L\) in Corollary 2.4, we get the following result.
Corollary 2.5
Let \((X,d)\) be a complete metric space and \(S,T:X\rightarrow X\) be self-mappings. If there exist \(\tau>0\) and a mapping \(F:\mathbb{R}^{+}\rightarrow\mathbb{R}\) such that for all \(x,y\in X\),
-
\(d(Sx,Ty)>0\) implies
$$ \tau+F \bigl(d(Sx,Ty) \bigr)\leq F \bigl(\Lambda d(x,y)+\Theta d(x,Sx)+\Xi d(y,Ty)+\Delta d(x,Ty)+Ld(y,Sx) \bigr) $$
for all nonnegative reals \(\Lambda,\Theta,\Xi,\Delta,L\in{}[0,1)\) with \(\Lambda+\Theta+\Xi+2\Delta=1\), \(\Xi\neq1\) and \(L\geq0\), then S and T have a common fixed point. Moreover, if
then the common fixed point of S and T is unique.
By setting \(S=T\) in the above corollary, we get Theorem 3.1 of [7].
Corollary 2.6
[7]
Let \((X,d)\) be a complete metric space and \(T:X\rightarrow X\) be a self-mapping. If there exist \(\tau>0\) and the mapping \(F:\mathbb{R}^{+}\rightarrow\mathbb{R}\) such that for all \(x,y\in X\),
-
\(d(Tx,Ty)>0\) implies
$$ \tau+F \bigl(d(Tx,Ty) \bigr)\leq F \bigl(\Lambda d(x,y)+\Theta d(x,Tx)+\Xi d(y,Ty)+\Delta d(x,Ty)+Ld(y,Tx) \bigr) $$
for all nonnegative reals \(\Lambda,\Theta,\Xi,\Delta,L\in{}[0,1)\) with \(\Lambda+\Theta+\Xi+2\Delta=1\), \(\Xi\neq1\) and \(L\geq0\). Then T has a fixed point. Moreover, if \(\Lambda+\Delta+L\leq1\), then the fixed point of T is unique.
Putting \(\Lambda=\Delta=L=0\) and \(\Theta+\Xi=1\) with \(\Theta\neq0\) and \(\Xi\neq1\) in Corollary 2.6, we get Corollary 3.2 of [7] as follows.
Corollary 2.7
[7]
Let \((X,d)\) be a complete metric space and \(T:X\rightarrow X\) be a self-mapping. If there exist \(\tau>0\) and a mapping \(F:\mathbb{R}^{+}\rightarrow\mathbb{R}\) such that for all \(x,y\in X\),
-
\(d(Tx,Ty)>0\) implies
$$ \tau+F \bigl(d(Tx,Ty) \bigr)\leq F \bigl(\Theta d(x,Tx)+\Xi d(y,Ty) \bigr) $$
for all nonnegative reals \(\Theta,\Xi,\in{}[0,1)\) with \(\Theta +\Xi =1\) and \(\Xi\neq1\), then T has a unique fixed point.
Putting \(\Lambda=\Theta=\Xi=0\) and \(\Delta=\frac{1}{2}\) in Corollary 2.6, we get Corollary 3.3 of [7] as follows.
Corollary 2.8
[7]
Let \((X,d)\) be a complete metric space and \(T:X\rightarrow X\) be a self-mapping. If there exist \(\tau>0\) and the mapping \(F:\mathbb{R}^{+}\rightarrow\mathbb{R}\) such that for all \(x,y\in X\),
-
\(d(Tx,Ty)>0\) implies
$$ \tau+F \bigl(d(Tx,Ty) \bigr)\leq F \biggl(\frac{1}{2}d(x,Ty)+Ld(y,Tx) \biggr) $$
for nonnegative real \(L\in{}[0,1)\). Then T has a fixed point. Moreover, if \(L\leq\frac{1}{2}\), then the fixed point of T is unique.
Remark 2.9
If \(\lambda(x,y)=1\), \(\mu(x,y)=\gamma(x,y)=\delta(x,y)=L(x,y)=0\) and \(S=T\) in Theorem 2.2, we can get Theorem 2.1 of Wardowski [17].
3 Fixed point results for multivalued mappings
The fixed point theory of multivalued contraction mappings using the Hausdorff metric was initiated by Nadler [13], who extended the Banach contraction principle to multivalued mappings. Since then many authors have studied fixed points for multivalued mappings. The theory of multivalued mappings has many applications in control theory, convex optimization, differential equations and economics. Recently, Sgroi and Vetro have extended the concept of F-contraction for multivalued mapping and they proved the following theorem in [19].
Theorem 3.1
[19]
Let \((X,d)\) be a complete metric space and \(T:X\rightarrow \operatorname{CB}(X)\). If there exist a mapping \(F\in\digamma\), \(\tau>0\) and real numbers \(\alpha,\beta,\gamma,\delta,L\geq0\) such that
for all \(x,y\in X\), with \(Tx\neq Ty\), where \(\alpha+\beta+\gamma+2L=1\) and \(\gamma\neq1\), then T has a unique fixed point.
In the present section, we recall the concept of F-contractions for multivalued mappings and prove a Suzuki-Hardy-Rogers-type fixed point theorem for such contractions. Our new result generalizes and improves Sgroi and Vetro’s fixed point theorem, Nadler’s fixed point theorem and the Banach contraction principle.
Theorem 3.2
Let \((X,d)\) be a metric space and let \(T:X\rightarrow \operatorname{CB}(X)\) be a multivalued mapping. Assume that there exists a function \(F\in \digamma\) which is continuous from right and \(\tau\in \mathbb{R} ^{+}\) such that
implies
for all \(x,y\in X\), \(Tx\neq Ty\), where \(a_{i}\), \(i=1,2,3,4,5\) are nonnegative numbers and \(a_{1}+{a}_{2}+{a}_{3}+2{a}_{4}=1\) and \({a}_{4}\neq1\). Here \(\frac {1-a_{3}-a_{4}}{1+a_{1}-a_{4}+a_{5}}=\lambda<1\). Then T has a fixed point.
Proof
Let \(x_{0}\in X\) be an arbitrary point of X and choose \(x_{1}\in Tx_{0}\). If \(x_{1}\in Tx_{1}\), then \(x_{1}\) is a fixed point of T and the proof is completed. Assume that \(x_{1}\notin Tx_{1}\), then \(Tx_{0}\neq Tx_{1}\). Now
From the assumption, we have
As F is continuous from the right, there exists a real number \(h>1\) such that
Now, from
we deduce that there exists \(x_{2}\in Tx_{1}\) such that
Consequently, we get
which implies that
Thus
Since F is strictly increasing, we deduce
and hence
Consequently, from (3.3) we have
Continuing in this manner, we can define a sequence \(\{x_{n}\} \subset X\) such that \(x_{n}\notin Tx_{n}\), \(x_{n+1}\in Tx_{n}\) and
for all \(n\in \mathbb{N} \cup\{0\}\).Therefore
for all \(n\in\mathbb{N}\). Since \(F\in\digamma\), so by taking limit as \(n\rightarrow\infty\) in (3.5), we have
Now, from (F3), there exists \(0< k<1\) such that
By (3.5), we have
By taking limit as \(n\rightarrow\infty\) in (3.8) and applying (3.6) and (3.7), we have
It follows from (3.9) that there exists \(n_{1}\in\mathbb{N}\) such that
for all \(n>n_{1}\). This implies
for all \(n>n_{1}\). Now we prove that \(\{x_{n}\}\) is a Cauchy sequence. For \(m>n>n_{1}\), we have
Since, \(0< k<1\), then \(\sum_{i=1}^{\infty}\frac{1}{i^{1/k}}\) converges. Therefore, \(d(x_{n},x_{m})\rightarrow0\) as \(m,n\rightarrow\infty\). Thus \(\{x_{n}\}\) is a Cauchy sequence. Completeness of X ensures that there exists \(z\in X\) such that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty \). If there exists an increasing sequence \(\{n_{k}\} \subset \mathbb{N}\) such that \(x_{n_{k}}\in Tz\) for all \(k\in \mathbb{N}\) since Tz is closed and \(x_{n_{k}}\rightarrow z\), we get \(z\in Tz\) and the proof is completed. So we can assume that there exists \(n_{0}\in \mathbb{N}\) such that \(x_{n}\notin Tz\) for all \(n_{0}\in \mathbb{N}\) with \(n\geq n_{0}\). Then we assume that \(Tx_{n-1}\neq Tz\) for all \(n\geq n_{0}\). Now we show that
for all \(x\in X\backslash\{z\}\). Since \(x_{n}\rightarrow z\), so there exists \(n_{0}\in \mathbb{N}\) such that
for all \(n\in \mathbb{N}\) with \(n\geq n_{0}\). Then we have
Thus, by assumption, we get
Since F is continuous from the right, so there exists a real number \(h>1\) such that
Now, from
we get
Thus we have
Since F is strictly increasing, we have
Letting n tend to ∞, we obtain
for all \(x\in X\backslash\{z\}\). We prove that
for all \(x\in X\). Then, for every \(n\in \mathbb{N}\), there exists \(y_{n}\in Tx\) such that
So we have the following:
for all \(n\in \mathbb{N}\), and hence \(\lambda d(x,Tx)\leq d(x,z)\). Thus, by assumption, we get
Taking \(x=x_{n+1}\), we have
Since F is strictly increasing, we have
Letting \(n\rightarrow+\infty\), we get
as \(a_{3}+a_{4}<1\). Thus we get \(d(z,Tz)=0\). Since Tz is closed, we obtain \(z\in Tz\). Thus z is a fixed point of T. □
Corollary 3.3
Let \((X,d)\) be a metric space and let \(T:X\rightarrow \operatorname{CB}(X)\) be a multivalued mapping. Assume that there exists a function \(F\in \digamma\) that is continuous from right and \(\tau\in \mathbb{R}^{+}\) such that
implies
for all \(x,y\in X\), \(Tx\neq Ty\), where \(a_{i}\), \(i=1,2,3\) are nonnegative numbers and \({r}_{1}+2{r}_{2}=1\) and \({r}_{2}\neq1\). Here \(\frac{1-r_{2}}{1+r_{1}-r_{2}+r_{3}}=\beta<1\). Then T has a fixed point.
Proof
By taking \(a_{2}=a_{3}=0\) in previous result. □
Now we present the following example which illustrates our results.
Example 3.4
Let \(X=[0,1]\), \(T:X\rightarrow \operatorname{CB}(X)\) be defined as \(Tx=[0,\frac {x}{4}]\) and d be the usual metric on X. Taking \(F(t)=\ln(t)+t\) for all \(t\in \mathbb{R} ^{+}\) and \(\tau=\ln(\sqrt{2})\). Without loss of generality, we take \(x< y\). Then, for all \(x,y\in X\), \(d(Tx,Ty)>0\) and \(d(x,y)>0\). Now
implies that
where \({a}_{1}+2{a}_{2}=1\) and \({a}_{2}\neq1\). Thus all conditions of the above corollary are satisfied and 0 is a fixed point of T.
Now we prove a new fixed point theorem for Kannan-type multivalued F-contractions, which is a generalization of the results of Beg and Azam [6].
Theorem 3.5
Let \((X,d)\) be a complete metric space and let \(T:X\rightarrow \operatorname{CB}(X)\). Assume that there exist a function \(F\in\digamma\) which is continuous from right, \(\tau>0\) and \(\varphi_{i}: \mathbb{R} \rightarrow{}[0,1)\) (\(i=1,2\)) such that
for all \(x,y\in X\), with \(Tx\neq Ty\), where \(\varphi _{1}(d(x,Tx))+\varphi _{2}(d(y,Ty))=1\). Then T has a fixed point.
Proof
Let \(x_{0}\in X\) be an arbitrary point of X and choose \(x_{1}\in Tx_{0}\). If \(x_{1}\in Tx_{1}\), then \(x_{1}\) is a fixed point of T and the proof is completed. Assume that \(x_{1}\notin Tx_{1}\), then \(Tx_{0}\neq Tx_{1}\). From (3.13), we have
As F is continuous from the right, there exists a real number \(h>1\) such that
Now, from
we deduce that there exists \(x_{2}\in Tx_{1}\) such that
Consequently, we get
which implies that
Thus
Since F is strictly increasing, we deduce
and hence
Consequently,
Continuing in this manner, we can define a sequence \(\{x_{n}\} \subset X\) such that \(x_{n}\notin Tx_{n}\), \(x_{n+1}\in Tx_{n}\) and
for all \(n\in \mathbb{N} \cup\{0\}\). Proceeding as in the proof of Theorem 3.2, we obtain that \(\{x_{n}\}\) is a Cauchy sequence. Since X is a complete space, so there exists \(z\in X\) such that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty\). If there exists an increasing sequence \(\{n_{k}\} \subset \mathbb{N} \) such that \(x_{n_{k}}\in Tz\) for all \(k\in \mathbb{N} \), since Tz is closed and \(x_{n_{k}}\rightarrow z\), we get \(z\in Tz\) and the proof is completed. So we can assume that there exists \(n_{0}\in \mathbb{N} \) such that \(x_{n}\notin Tz\) for all \(n_{0}\in \mathbb{N} \) with \(n\geq n_{0}\). Then we assume that \(Tx_{n-1}\neq Tz\) for all \(n\geq n_{0}\). Thus, by assumption, we have
Since F is strictly increasing, we have
Letting \(n\rightarrow+\infty\), we get
as \(\varphi_{2}(d(z,Tz))<1\). Thus we get \(d(z,Tz)=0\). Since Tz is closed, we obtain \(z\in Tz\). Thus z is a fixed point of T, and hence the proof is completed. □
4 Conlusion
Wardowski [17] very recently exploited the idea of F-contraction and proved a significant result concerning the existence of fixed points for such contractions in complete metric spaces. We continue his investigations and define two new classes of functions \(M(S,T)\) and \(N(S,T)\). In the present project, some unique common fixed point theorems for single-valued mappings and fixed point theorems of multivalued mappings under generalized contractive conditions in a complete metric space \((X,d)\) have been discussed. All the main results in this article are of some value for solving problems in complete metric spaces. Our results may be the motivation to other authors to extend and improve these results to be suitable tools for their applications.
References
Acar, Ȯ, Altun, I: A fixed point theorem for multivalued mappings with δ-distance. Abstr. Appl. Anal. 2014, Article ID 497092 (2014)
Abbas, M, Ali, B, Romaguera, S: Fixed and periodic points of generalized contractions in metric spaces. Fixed Point Theory Appl. 2013, 243 (2013)
Ahmad, A, Al-Rawashdeh, A, Azam, A: Fixed point results for \(\{ \alpha,\xi\}\)-expansive locally contractive mappings. J. Inequal. Appl. 2014, 364 (2014)
Batra, R, Vashistha, S: Fixed points of an F-contraction on metric spaces with a graph. Int. J. Comput. Math. 91, 1-8 (2014)
Batra, R, Vashistha, S, Kumar, R: A coincidence point theorem for F-contractions on metric spaces equipped with an altered distance. J. Math. Comput. Sci. 4(5), 826-833 (2014)
Beg, I, Azam, A: Fixed points of asymptotically regular multivalued mappings. Bull. Aust. Math. Soc. 53, 313-326 (1992)
Cosentino, M, Vetro, P: Fixed point results for F-contractive mappings of Hardy-Rogers-type. Filomat 28(4), 715-722 (2014)
An, TV, Dung, NV, Kadelburg, Z, Radenović, S: Various generalizations of metric spaces and fixed point theorems. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 109, 175-198 (2015)
Dung, NV, Hang, VTL: A fixed point theorem for generalized F-contractions on complete metric spaces. Vietnam J. Math. (2015). doi:10.1007/s10013-015-0123-5
Hussain, N, Salimi, P: Suzuki-Wardowski type fixed point theorems for α-GF-contractions. Taiwan. J. Math. (2014). doi:10.11650/tjm.18.2014.4462
Hussain, N, Ahmad, J, Azam, A: On Suzuki-Wardowski type fixed point theorems. J. Nonlinear Sci. Appl. (in press)
Klim, D, Wardowski, D: Fixed points of dynamic processes of set-valued F-contractions and application to functional equations. Fixed Point Theory Appl. 2015, 22 (2015)
Nadler, SB Jr.: Multi-valued contraction mappings. Pac. J. Math. 30, 475-488 (1969)
Shatanawi, W, Rajić, V, Radenović, S, Al-Rawashdeh, A: Mizoguchi-Takahashi-type theorems in tvs-cone metric space. Fixed Point Theory Appl. 2012, 106 (2012)
Shatanawi, W, Al-Rawashdeh, A: Common fixed points of almost generalized \((\psi,\phi )\)-contractive mappings in ordered metric spaces. Fixed Point Theory Appl. 2012, 80 (2012)
Shatanawi, W, Al-Rawashdeh, A, Aydi, H, Nashine, HK: On a fixed point for generalized contractions in generalized metric spaces. Abstr. Appl. Anal. 2012, Article ID 246085 (2012)
Wardowski, D: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94 (2012)
Wardowski, D, Van Dung, N: Fixed points of F-weak contractions on complete metric space. Demonstr. Math. XLVII(1), 146-155 (2014)
Sgroi, M, Vetro, C: Multi-valued F-contractions and the solution of certain functional and integral equations. Filomat 27(7), 1259-1268 (2013)
Secelean, NA: Iterated function systems consisting of F-contractions. Fixed Point Theory Appl. 2013, 277 (2013)
Acknowledgements
The authors thank the editors and the referees for their valuable comments and suggestions which improved greatly the quality of this paper. The second author (the corresponding one) acknowledges with thanks the Research Affairs at the UAEU for their financial support. This project is partially supported by the Research Affairs at UAEU, No. COS/IRG-14/13: 215070.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing 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
Ahmad, J., Al-Rawashdeh, A. & Azam, A. New fixed point theorems for generalized F-contractions in complete metric spaces. Fixed Point Theory Appl 2015, 80 (2015). https://doi.org/10.1186/s13663-015-0333-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0333-2