Abstract
In this article, we study a new generalized multivalued Khan-type \((\psi ,\phi )\)-contraction. We obtain some fixed point theorems related to the introduced contraction for multivalued mappings in complete metric spaces. Our theorems extend and improve some previous known results with less conditions. Also, we give some illustrative examples.
Similar content being viewed by others
1 Introduction
Throughout this paper, \(\mathbb{N}\) and \(\mathbb{N}_{0}\) denote the set of positive integers and the set of non-negative integers, respectively. Similarly, \(\mathbb{R}\), \(\mathbb{R}^{+}\) and \(\mathbb{R}_{0}^{+}\) represent the set of real numbers, positive real numbers and non-negative real numbers, respectively. Let \((X,d)\) be a metric space and let \(T : X \to X\) be a self-mapping. If there is a number \(k\in [0,1)\) such that, for all \(x,y\in X\), \(d(Tx,Ty) \leq kd(x,y)\) holds, then T is called a contractive mapping. In 1922, Banach [1] proved a famous result known as the Banach contraction principle, which states that every contractive mapping has a unique fixed point. It is one of the fundamental results in fixed point theory. Due to its importance and simplicity, over the years, many authors made efforts to generalize or extend that result (see [2,3,4,5,6,7,8,9,10,11,12] and the references therein).
Basically, the generalizations go in two directions: The first one is to work out a different expression for the right side of the inequality in the Banach contraction principle. A typical result of this kind is the work of Khan ([13], 1976). Using a symmetric expression, Khan introduced the notion of a Khan-type contraction and proved a corresponding fixed point theorem. In 1978, Fisher [14] modified and improved Khan’s work. Four decades later, Piri, Rahrovi and Kumamet [15] extended the work of both Khan [13] and Fisher [14]. They accomplished the work by introducing a new general contractive condition with a symmetric expression and established a corresponding fixed point theorem. Another direction of generalizations of Banach’s work is to express both sides of the inequality in the Banach result by forms involving functions. For example, Wardowski introduced the notion of the F-contraction in ([16], 2012) and Jleli and Samet addressed the so-called θ-contraction in ([17, 18], 2014). As a result, they all extended and improved Banach’s work.
Combined with the ideas from the F-contraction and the Khan-type contraction, in 2017, Piri, Rahrovi, Marasi and Kumam [19] investigated and developed the so-called F-Khan-contraction and proved the desired fixed point theorem. The results of Piri et al. extended and improved Wardowski’s work in [16]. In 2015, by using the Hausdorff–Pompieu metric, Altun, Durmaz and Dag extended the F-contraction to multivalued contractive mappings. They introduced the notion of a multivalued F-contraction and obtained some new fixed point theorems for multivalued mappings in [4]. The purpose of this paper is to further extend the above results. We define and examine some new generalized multivalued Khan-type contraction which extends all of F-contraction and θ-contraction studied previously. The results presented in this paper improve and extend the corresponding results in Piri et al. [19], Jleli et al. [18] and Altun et al. [4].
2 Preliminaries
Let \(\mathcal{F}\) be the family of all functions \(F: \mathbb{R}^{+} \to \mathbb{R}\) satisfying the following conditions:
- \((\mathcal{F}_{1})\) :
-
F is non-decreasing;
- \((\mathcal{F}_{2})\) :
-
for each sequence \(\{t_{n}\} \subset \mathbb{R} ^{+}\), \(\lim_{n \to \infty }F(t_{n}) = -\infty \Leftrightarrow \lim_{n \to \infty } t_{n} = 0\);
- \((\mathcal{F}_{3})\) :
-
there exists \(r \in (0, 1)\) such that \(\lim_{t \to 0^{+}}t^{r} F(t) = 0\).
Definition 2.1
([19])
Let \((X, d)\) be a metric space. A mapping \(T : X \to X\) is called a F-Khan-contraction, if there exist \(F\in \mathcal{F}\) and \(\tau >0\) such that, for all \(x, y \in X\),
-
(i)
if \(\max \{d(x,Ty),d(y,Tx) \} \neq 0\), then \(Tx\neq Ty\) and
$$\tau +F\bigl(d(Tx,Ty)\bigr) \le F\bigl(M(x,y)\bigr), $$where
$$M(x,y)=\frac{d(x,Tx)d(x,Ty)+d(y,Ty)d(y,Tx)}{\max \{d(x,Ty),d(y,Tx)\}}; $$ -
(ii)
if \(\max \{d(x,Ty),d(y,Tx) \} = 0\), then
$$Tx=Ty. $$
In [19], Piri et al. proved the existence and uniqueness theorem of fixed point for F-Khan-contraction.
Inspired by Definition 2.1 and taking the θ-contraction into account, we can define a new Khan-type contraction. Let Θ be the family of all functions \(\theta : \mathbb{R}^{+} \to (1,\infty )\) satisfying the following conditions:
- \((\varTheta _{1})\) :
-
θ is non-decreasing;
- \((\varTheta _{2})\) :
-
for each sequence \(\{t_{n}\} \subset \mathbb{R}^{+}\), \(\lim_{n \to \infty }\theta (t_{n}) = 1 \Leftrightarrow \lim_{n \to \infty } t_{n} =0\);
- \((\varTheta _{3})\) :
-
there exist \(r \in (0, 1)\) and \(l\in (0, \infty ]\) such that \(\lim_{t \to 0^{+}}\frac{\theta (t) -1}{t^{r}}= l\).
Definition 2.2
Let \((X,d)\) be a metric spaces. A mapping \(T : X \to X\) is called a θ-Khan-contraction, if there exist \(\theta \in \varTheta \) and \(k \in (0, 1)\) such that, for all \(x,y\in X\),
-
(i)
if \(\max \{d(x,Ty),d(y,Tx) \} \neq 0\), then \(Tx\neq Ty\) and
$$\theta \bigl(d(Tx,Ty)\bigr) \leq \bigl(\theta \bigl(M(x,y)\bigr) \bigr)^{k}, $$where
$$M(x,y)=\frac{d(x,Tx)d(x,Ty)+d(y,Ty)d(y,Tx)}{\max \{d(x,Ty),d(y,Tx)\}}; $$ -
(ii)
if \(\max \{d(x,Ty),d(y,Tx) \} = 0\), then
$$Tx=Ty. $$
Note that we get the θ-contraction ([18]) immediately by letting \(y=Tx\) in \(M(x,y)\).
In 2014, by using comparison functions, Latif, Gordji, Karapinar and Sintunavaratet introduced the notion of generalized \((\alpha ,\psi )\)-Meir–Keeler contractive mappings and obtained some new results in [20]. Two years later, Wang and Li extended the results of Latif et al. by introducing \((\alpha ,\psi )\)-Meir–Keeler–Khan multivalued mappings in [2]. Inspired by those ideas, we will introduce some new contractive mappings by using comparison functions in this paper.
Definition 2.3
([20])
Let Ψ be the family of all functions \(\psi : \mathbb{R}_{0}^{+} \to \mathbb{R}_{0}^{+} \) such that
- \((\varPsi _{1})\) :
-
ψ is non-decreasing;
- \((\varPsi _{2})\) :
-
\(\lim_{n\to \infty }\psi ^{n}(t)=0\) for all \(t \geq 0\), where \(\psi ^{n}\) stands for the nth iterate of ψ.
Remark 2.4
Clearly, if ψ is a comparison function, then \(\psi (t) < t\) for each \(t>0\) and \(\psi (0)=0\).
Example 2.5
Let
It is easy to check that \(\psi _{1}\), \(\psi _{2}\) and \(\psi _{3}\) belong to Ψ.
For more properties and applications of comparison function, we refer the reader to [2, 20,21,22,23].
The next definition plays an important role in our work.
Definition 2.6
Let Φ be the family of all functions \(\phi :\mathbb{R}_{0}^{+} \to \mathbb{R}_{0}^{+} \) such that:
- \((\varPhi _{1})\) :
-
ϕ is non-decreasing and continuous;
- \((\varPhi _{2})\) :
-
for each sequence \(\{t_{n}\} \subset (0, \infty )\), \(\lim_{n \to \infty }\phi (t_{n}) = 0 \Leftrightarrow \lim_{n \to \infty } t_{n} =0\).
Example 2.7
Let
It is easy to check that \(\phi _{1}\), \(\phi _{2}\) and \(\phi _{3}\) belong to Φ.
Given a metric space \((X,d)\), by \(CB(X)\) and \(K(X)\) we denote the family of all nonempty closed and bounded subsets of X, and the family of all nonempty compact subsets of X, respectively. For \(A,B\subseteq B(X)\), let
where \(D(x,B)=\inf_{y\in B}\{d(x,y)\}\). Then H is a metric on \(CB(X)\), which is called the Hausdorff–Pompieu metric. By using the concept of the Hausdorff–Pompieu metric, Nadler introduced the notion of multivalued contraction mappings and he proved a multivalued version of the well known Banach contraction principle ([3], 1969).
By using the Hausdorff–Pompieu metric H, the F-contraction was extended to the multivalued case in [4].
Definition 2.8
([4])
Let \((X,d)\) be a metric space and \(T:X\to CB(X)\) be a multivalued mapping. Then T is called a multivalued F-contraction if there exist \(F\in \mathcal{F}\) and \(\tau >0\) such that, for all \(x, y \in X\),
Theorem 2.9
([4])
Let \((X,d)\) be a complete metric space and \(T:X\to K(X)\) be a multivalued F-contraction. Then T has a fixed point \(x^{*}\) in X.
Following this direction of research, we introduce a new type of generalized multivalued Khan-type contractive mappings. Via Ψ and Φ, we present the notion of generalized multivalued Khan-type \((\psi ,\phi )\)-contraction mappings.
Definition 2.10
Let \((X,d)\) be a metric space and \(T:X\to CB(X)\) be a multivalued mapping. Then T is called a generalized multivalued Khan-type \((\psi ,\phi )\)-contraction, if there exist \(\psi \in \varPsi \) and \(\phi \in \varPhi \) such that, for all \(x,y \in X\),
-
(i)
if \(\max \{D(x,Ty),D(y,Tx) \} \neq 0\), then \(Tx\neq Ty\) and
$$ \phi \bigl(H(Tx,Ty)\bigr) \leq \psi (\phi \bigl(M(x,y)\bigr), $$(2.1)where
$$ M(x,y)=\frac{D(x,Tx)D(x,Ty)+D(y,Ty)D(y,Tx)}{\max \{D(x,Ty),D(y,Tx)\}}; $$(2.2) -
(ii)
if \(\max \{D(x,Ty),D(y,Tx) \} = 0\), then
$$Tx=Ty. $$
Remark 2.11
Let \(\psi (t):=e^{-\tau } t\), \(\phi (t):=e^{F}(t)\), \(F \in \mathcal{F}\), \(\mathbb{R}_{0}^{+} \to \mathbb{R}_{0}^{+}\) in (2.1). It is easy to check that \(\psi \in \varPsi \) and \(\phi \in \varPhi \). Hence we have
then we get
Then T is called a generalized multivalued F-Khan-contraction. Let \(y \in Tx\) in (2.2), we get
In combination with (2.3) and (2.4), we get a multivalued F-contraction (Definition 2.8, [4]) immediately.
Remark 2.12
Let \(\psi (t):=kt\), \(k\in (0,1)\), \(\phi (t):=\ln \theta (t)\), \(\theta \in \varTheta \), \(\mathbb{R}_{0}^{+} \to \mathbb{R}_{0}^{+}\) in (2.1). It is easy to check that \(\psi \in \varPsi \) and \(\phi \in \varPhi \). Hence we have
then we have
Then T is called a generalized multivalued θ-Khan-contraction. Similarly, in combination with (2.4) and (2.5), we obtain
We call it a multivalued θ-contraction.
In Sect. 3, we state and prove some new fixed point results for generalized multivalued Khan-type \((\psi ,\phi )\)-contraction. In Sect. 4, we give some applications of the main results of this paper.
3 Main results
Based on the above argument, now we are in a position to give the following results.
Theorem 3.1
Let \((X, d)\) be a complete metric space and \(T: X \to K(X)\) be a generalized multivalued Khan-type \((\psi ,\phi )\)-contraction, then T has a fixed point \(x^{*}\in X\).
Proof
Case I Assume that \(D(x_{n-1},Tx_{n}) \neq 0\) for all \(n \in \mathbb{N}\).
We construct a sequence starting from \(x_{0} \in X\). If \(x_{0} \in Tx _{0}\), then \(x_{0}\) is a fixed point of T and the proof is completed. Suppose that \(x_{0} \notin Tx_{0}\). Because \(Tx_{0}\) is a compact subset of X, then \(D(x_{0},Tx_{0})>0\) and we can choose \(x_{1} \in Tx_{0}\) such that \(d(x_{0},x_{1})=D(x_{0},Tx_{0})\). If \(x_{1} \in Tx_{1}\), then \(x_{1}\) is a fixed point of T, and subsequently, the proof is completed. Assume that \(x_{1} \notin Tx_{1}\), then it is clear that \(D(x_{1},Tx_{1})>0\) because \(Tx_{1}\) is a compact subset of X. On the other hand, from \(D(x_{1},Tx_{1}) \leq H(Tx_{0},Tx_{1})\) and \((\varPhi _{1})\), we obtain
It follows from (2.1) and Remark 2.4 that
Since \(Tx_{1}\) is a compact subset of X, we can choose \(x_{2} \in Tx_{1}\) such that \(d(x_{1},x_{2})=D(x_{1},Tx_{1})\). Then from (3.1) we get
It follows from (3.2) and \((\varPhi _{1})\) that
We continue constructing the sequence similarly. If \(x_{2} \in Tx_{2}\), then this proof is done. Thus, we assume that \(x_{2} \notin Tx_{2}\). Then \(D(x_{2},Tx_{2})>0\) since \(Tx_{2}\) is a compact subset of X, and from \(D(x_{2},Tx_{2}) \leq H(Tx_{1},Tx_{2})\), we have
In addition, the compactness of \(Tx_{2}\) implies that there exists \(x_{3} \in Tx_{2}\) such that \(d(x_{2},x_{3})=D(x_{2},Tx_{2})\). Then from (3.3) we get
It follows from (2.4) and \((\varPhi _{1})\) that
By induction, we obtain a sequence \(\{x_{n}\}_{n \in \mathbb{N}_{0}}\) satisfying
and
for all \(n \in \mathbb{N}\). Therefore the sequence \(\{d(x_{n},x_{n+1}) \}_{n \in \mathbb{N}_{0}}\) is a positive and non-increasing sequence, and hence
Now, we claim that
In fact, from (3.5) and \((\varPhi _{1})\), by using (2.1), we get
From \((\varPsi _{2})\) we have
By using the sandwich theorem, we get
Therefore, from \((\varPhi _{2})\) we obtain
and hence
Now, we claim that
Arguing by contradiction, we assume that there exists a \(\varepsilon >0\) for which we can seek two sequences \(\{p(n)\}_{n=1}^{\infty }\) and \(\{q(n)\}_{n=1}^{\infty }\) of natural numbers such that, for all \(n\in \mathbb{N}\), \(p(n)\) is the smallest index for which
Thus, for all \(n\in \mathbb{N}\), by using the triangle inequality, we have
It follows from (3.6) and (3.8) and by using the sandwich theorem again, we have
Thus, there exists \(n_{1}\in \mathbb{N}\), such that
for all \(n>n_{1}\).
This implies that
for all \(n>n_{1}\).
From (3.7) and by using the triangle inequality again, we have
In combination with (3.6) and (3.10), we get
Thus, there exists \(n_{2}\in \mathbb{N}\), such that
for all \(n>n_{2}\).
It follows from (3.11), \((\varPhi _{1})\) and (2.1) that
for all \(n>\max \{n_{1},n_{2}\}\).
On the other hand, from (3.9) we know that
Let \(n \to \infty \) in the above inequality and by taking (3.6) into account, we obtain
So, there exists \(n_{3}\in \mathbb{N}\) such that
for all \(n>n_{3}\)
This implies that
for all \(n>n_{3}\).
In combination with (3.12) and (3.13) we get
for all \(n>\max \{n_{1},n_{2},n_{3}\}\), which is a contradiction. Hence
Therefore, we conclude that \(\{x_{n}\}_{n=1}^{\infty }\) is a Cauchy sequence in X. Since \((X,d)\) is a complete metric space, so there exists \(x^{*}\in X\) such that
and
Now, we claim that \(x^{*}\in Tx^{*}\).
Arguing by contradiction, we assume that \(D(x^{*},Tx^{*})>0\), then there are two cases:
-
(a)
for each \(k\in \mathbb{N}\), there exists \(n_{k}\in \mathbb{N}\), \(n_{0}=1\), \(n_{k}>n_{k-1}\) and \(x_{n_{k}}\in Tx^{*}\);
-
(b)
there exists \(m\in \mathbb{N}\), such that \(D(x_{n},Tx^{*})>0\) for each \(n\geq m\).
From (a), we get
which is a contraction.
From (b), we get
Since T is a generalized multivalued Khan-type \((\psi ,\phi )\)-contraction, from (3.15) we obtain
On the other hand, in combination with (3.6), (3.14) and (3.15), we get
Thus, taking \(D(x^{*},Tx^{*})>0\) into account, there exists \(n_{4} \in \mathbb{N}\), such that
for all \(n>n_{4}\). And this implies that
It follows from (3.16) that
for all \(n>n_{4}\).
Since \(\phi \in \varPhi \), we obtain
for all \(n>n_{4}\).
Letting \(n\to \infty \) in the above inequality and taking (3.14) into account, we get
which is a contraction. So we have
this implies that
Hence \(x^{*}\) is a fixed point of T.
Case II Assume that there exist \(i\in \mathbb{N}\) such that \(D(x_{i-1},Tx_{i})=0\).
Since \(D(x_{i-1},Tx_{i})=0\), we get
By condition (ii) of Definition 2.10, it follows that
and hence
and this implies that \(x_{i}\) is a fixed point of T. This complete the proof. □
Remark 3.2
Note that the continuity of T is not supposed in Theorem 3.1.
From Definition 2.10 and Theorem 3.1, we get the result of single-valued mappings as follows.
Definition 3.3
Let \((X, d)\) be a metric space. A mapping \(T: X \to X\) is called a generalized Khan-type \((\psi ,\phi )\)-contraction if there exist \(\psi \in \varPsi \) and \(\phi \in \varPhi \) such that, for all \(x,y \in X\),
-
(i)
if \(\max \{d(x,Ty),d(y,Tx) \} \neq 0\), then \(Tx \neq Ty\) and
$$\phi \bigl(d(Tx,Ty)\bigr) \le \psi (\phi \bigl(M(x,y)\bigr), $$where
$$M(x,y)=\frac{d(x,Tx)d(x,Ty)+d(y,Ty)d(y,Tx)}{\max \{d(x,Ty),d(y,Tx)\}}; $$ -
(ii)
if \(\max \{d(x,Ty),d(y,Tx) \} = 0\) then
$$Tx=Ty. $$
Remark 3.4
Using the same methods of Remark 2.11 and Remark 2.12, we get the F-Khan-contraction (Definition 2.1, [19]) and θ-Khan-contraction (Definition 2.2), respectively.
Theorem 3.5
Let \((X, d)\) be a complete metric space and \(T: X \to X\) be a generalized Khan-type \((\psi ,\phi )\)-contraction, then T has a unique fixed point \(x^{*}\in X\), and for every \(x\in X\) the sequence \(\{T^{n}x\}_{n\in \infty }\) converges to \(x^{*}\).
Proof
We only need to prove the uniqueness. For this purpose, we assume that \(y^{*}\) is another fixed point of T in X such that \(d(x^{*},y^{*})>0\). Therefore
So, from condition (i) of Definition 3.3, we get
But
this leads to a contraction and hence \(x^{*}=y^{*}\). This completes the proof. □
4 Applications
Corollary 4.1
Let \((X, d)\) be a complete metric space and \(T : X \to K(X)\) be a mapping. If there exists \(\lambda \in (0, 1)\) such that, for all \(x,y\in X\),
where
then there exists a fixed point \(x^{*}\) of T in X.
Proof
Let \(\psi (t) : = \lambda t\) and \(\phi (t)=t\), \(\mathbb{R}_{0}^{+} \to \mathbb{R}_{0}^{+}\) in Theorem 3.1. It is easy to check that \(\psi \in \varPsi \) and \(\phi \in \varPhi \). The conclusion can be obtained immediately. □
Corollary 4.2
Let \((X, d)\) be a complete metric space and \(T : X \to K(X)\) be a generalized multivalued θ-Khan-contraction, that is, if there exist \(\theta \in \varTheta \) and \(k \in (0, 1)\) such that, for all \(x,y\in X\),
-
(i)
if \(\max \{D(x,Ty),D(y,Tx) \} \neq 0\), then \(Tx\neq Ty\) and
$$\theta \bigl(H(Tx,Ty)\bigr) \leq \bigl(\theta \bigl(M(x,y)\bigr) \bigr)^{k}, $$where
$$M(x,y)=\frac{D(x,Tx)D(x,Ty)+D(y,Ty)D(y,Tx)}{\max \{D(x,Ty),D(y,Tx)\}}; $$ -
(ii)
if \(\max \{D(x,Ty),D(y,Tx) \} = 0\), then
$$Tx=Ty; $$then there exists a fixed point \(x^{*}\) of T in X.
Proof
By using Remark 2.12 the conclusion can be obtained immediately. □
Corollary 4.3
Let \((X, d)\) be a complete metric space and \(T: X \to K(X)\) be a generalized multivalued F-Khan-contraction, that is, if there exist \(F\in \mathcal{F}\) and \(\tau >0\) such that, for all \(x, y \in X\),
-
(i)
if \(\max \{D(x,Ty),D(y,Tx) \} \neq 0\), then \(Tx\neq Ty\) and
$$\tau +F\bigl(H(Tx,Ty)\bigr) \leq F\bigl(M(x,y)\bigr), $$where
$$M(x,y)=\frac{D(x,Tx)D(x,Ty)+D(y,Ty)D(y,Tx)}{\max \{D(x,Ty),D(y,Tx)\}}; $$ -
(ii)
if \(\max \{D(x,Ty),D(y,Tx) \} = 0\), then
$$Tx=Ty; $$then there exists a fixed point \(x^{*}\) of T in X.
Proof
By using Remark 2.11 the conclusion can be obtained immediately. □
Remark 4.4
Let \(y \in Tx\) in condition (i) of Corollary 4.3, we have
Then we get Theorem 2.9 ([4]) immediately.
Corollary 4.5
Let \((X, d)\) be a complete metric space and \(T : X \to K(X)\) be a multivalued mapping. Suppose that, for all \(x,y \in X\),
Then there exists a fixed point \(x^{*}\) of T in X.
Proof
Let \(\psi (t):=\frac{t}{1+t}\), \(\phi (t) : =t\), \(\mathbb{R}_{0}^{+} \to \mathbb{R}_{0}^{+}\) in Theorem 3.1. It is easy to check that \(\psi \in \varPsi \) and \(\phi \in \varPhi \), and the conclusion can be obtained immediately. □
Example 4.6
Now, we present an application where Theorem 3.1 can be applied.
Let \(X=[0,1]\) with the metric \(d(x,y)= \vert x-y \vert \), \(x,y \in X\). Obviously \((X,d)\) is a complete metric space. Define a mapping
by
for all \(x \in X\). Then
Let \(\psi (t):=\frac{3}{4}t\) and \(\phi (t):=t\), \(t \geq 0\), then
and
Since \(x \neq y\), the inequalities \(x \leq \frac{y}{3}\) and \(y \leq \frac{x}{3}\) cannot be simultaneously true.
If \(x > \frac{y}{3}\) and \(y \leq \frac{x}{3}\), then \(D(y,Tx)=0\), and hence
Note that if \(x > \frac{y}{3}\) and \(y \leq \frac{x}{3}\), then \(\frac{ \vert x-y \vert }{3} \leq \frac{x}{2}\). Hence
Similarly, we see that if \(y > \frac{x}{3}\) and \(x \leq \frac{y}{3}\), the above inequality holds.
If \(x > \frac{y}{3}\) and \(y > \frac{x}{3}\), then
Notice that
whenever \(x>y\) or \(x< y\). So we get
Thus, conditions in Theorem 3.1 hold. Therefore, by Theorem 3.1, it follows that there exists a fixed point of T in X. In fact, 0 is a fixed point of T.
Example 4.7
In this example, we present an application where Theorem 3.5 can be applied. This application is inspired by [7, 19].
Let \(X=C[0,1]\) be the set of all real continuous functions on \([0,1]\), and d is defined by
Let
and \(G:[0,1]\times [0,1]\times Y \to X\) be defined by
for all \(r,s,t \in [0,1]\) and \(f\in Y\). Obviously \((Y,d)\) is complete metric space, and \(G(t,s,f(r))\) is integrable with respect to r on \([0,1]\).
Let T be defined on Y by
for all \(s\in [0,1]\). We have
this proves that \(Tf\in Y\) for all \(f\in Y\).
So for all \(r,s\in [0,1]\) and \(f,g\in Y\), we have
and
and
According to symmetry the above relations are established for \(\vert g(r)-Tg(r) \vert \) and \(\vert g(r)-Tf(r) \vert \). Obviously \(0\leq f(r) \leq \frac{1}{8}\) implies that \(\frac{3}{8}\leq \vert f(r)-\frac{1}{2} \vert \leq \frac{1}{2}\) and \(\frac{3}{8}\leq \vert f(r)-\frac{1}{4} \vert \leq \frac{1}{4}\).
Therefore,
Noticing that
we get
Now, we prove that the integral equation
has a unique solution \(f^{*}\in Y\).
For all \(f,g\in Y\) and \(s\in [0,1]\), we have
So, for all \(f,g\in Y\), we have
Let \(\psi (t):=\frac{2}{3}t\), \(\phi (t):=t\), \(\mathbb{R}^{+} \to \mathbb{R}^{+}\).
Then we get
Consequently, all the conditions of Theorem 3.5 are satisfied. Therefore T has a fixed point which is the solution of the integral equation \(f(s)=\int _{0}^{1} G(s,r,f(r))\,dr\).
References
Banach, B.: Sur les opérations dons les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133–181 (1992)
Wang, Z., Li, H.: Fixed point theorems and endpoint theorems for \((\alpha,\psi)\)-Meir–Keeler–Khan multivalued mapping. Fixed Point Theory Appl. 2016, 12 (2016). https://doi.org/10.1186/s13663-016-0500-0
Nadler, S.B.: Multivalued contraction mappings. Pac. J. Math. 30, 475–488 (1969)
Altun, I., Durmaz, G., Dag, H.: Multivalued F-contractions on complete metric spaces. J. Nonlinear Convex Anal. 16(4), 659–666 (2015)
Ciric, L.B.: A generalization of Banach contraction principle. Proc. Am. Math. Soc. 45, 267–273 (1974)
Piri, H., Kumam, P.: Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 210 (2014). https://doi.org/10.1186/1687-1812-2014-210
Dung, N.V., Hang, V.T.L.: A fixed point theorem for generalized F-contraction on complete metric space. Vietnam J. Math. 43, 743–753 (2015)
Chang, S.S., Tang, Y., Wang, L., Xu, Y., Zhao, Y., Wang, G.: Convergence theorems for some multi-valued generalized nonexpansive mappings. Fixed Point Theory Appl. 2014, 33 (2014). https://doi.org/10.1186/1687-1812-2014-33
Haghi, R.H., Rezapour, S.H., Shahzad, N.: Be careful on partial metric fixed point results. Topol. Appl. 160, 450–454 (2013)
Samet, B., Karapinar, E., Aydi, H., Rajic, V.C.: Discussion on some coupled fixed point theorems. Fixed Point Theory Appl. 2013, Article ID 50 (2013)
Aydi, H., Karapinar, E., Samet, B.: Remarks on some recent fixed point theorems. Fixed Point Theory Appl. 2012, Article ID 76 (2012)
Haghi, R.H., Rezapour, S.H., Shahzad, N.: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 74, 1799–1803 (2011)
Khan, M.S.: A fixed point theorem for metric spaces. Riv. Mat. Univ. Parma 3(1), 69–72 (1976)
Fisher, B.: On a theorem of Khan. Riv. Mat. Univ. Parma 4, 135–137 (1978)
Piri, H., Rahrovi, S., Kumam, P.: Generalization of Khan fixed point theorem. J. Math. Comput. Sci. 17, 76–83 (2017)
Wardowski, D.: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94 (2012). https://doi.org/10.1186/1687-1812-2012-94
Jleli, M., Karapinar, E., Samet, B.: Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 439 (2014). https://doi.org/10.1186/1029-242X-2014-439
Jleli, M., Samet, B.: A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, 38 (2014). https://doi.org/10.1186/1029-242X-2014-38
Piri, H., Rahrovi, S., Marasi, H., Kumam, P.: A fixed point theorem for F-Khan-contractions on complete metric spaces and application to integral equations. J. Nonlinear Sci. Appl. 10, 4564–4573 (2017)
Latif, A., Gordji, M.E., Karapinar, E., Sintunavarat, W.: Fixed point results for generalized \((\alpha,\psi)\)-Meir–Keeler contractive mappings and applications. J. Inequal. Appl. 2014, Article ID 68 (2014)
Hussain, H., Kadelbrug, Z., Radenovic, S., Al-Solamy, F.: Comparison functions and fixed point results in partial metric spaces. Abstr. Appl. Anal. 2012, 605781 (2012). https://doi.org/10.1155/2012/605781
Pansuwan, A., Sintunavarat, W., Parvaneh, V., Cho, Y.J.: Some fixed point theorems for \((\alpha,\theta,k)\)-contractive multi-valued mappings with some applications. Fixed Point Theory Appl. 2015, 132 (2015). https://doi.org/10.1186/s13663-015-0385-3
Karapinar, E., Samet, B.: Generalized α–ψ contractive type mappings and related fixed point theorems with applications. Abstr. Appl. Anal. 2012, 793486 (2012). https://doi.org/10.1155/2012/793486
Funding
This work was supported by Scientific Research Fund of SiChuan Provincial Education Department (No. 16ZA0333).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Xiao, Y., Qiu, Z. & Liu, X. Generalized multivalued Khan-type \((\psi ,\phi )\)-contractions in complete metric spaces. J Inequal Appl 2019, 70 (2019). https://doi.org/10.1186/s13660-019-2021-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2021-y