Abstract
In this paper, we introduce and study new fixed point results for nonlinear set-valued \(\theta \)-contractions. Our results are based on a new approach, which is called set-valued \(\theta \)-contraction and they extend and generalize many fixed point theorems in the literature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Banach established the most famous fundamental fixed point result called the Banach’s contraction principle for metric fixed point theory in 1922. This principle has played an important role in various fields of applied mathematical analysis and is one of a very power tests for existence and uniqueness of the solution of considerable problems arising in mathematics. Subsequently, this principle has been remarkably extended and generalized in many ways (see [7, 8, 17, 28, 40]). The set-valued version of Banach’s principle has been thoroughly proposed by many authors.
For the sake of completeness, we recall some important concepts and results about set-valued mappings.
Let (X, d) be a metric space. It is well known that \(H{:}\mathcal {CB} (X)\times \mathcal {CB}(X)\rightarrow \mathbb {R} \) defined by
is a metric on \(\mathcal {CB}(X)\), which is called the Pompeiu–Hausdorff metric, where \(\mathcal {CB}(X)\) denotes the class of all nonempty, closed and bounded subsets of X and \(d(x,B)=\inf \left\{ d(x,y){:}y\in B\right\} \). H also is called generalized Pompeiu–Hausdorff distance on \(\mathcal {C}(X)\) , which denotes the family of all nonempty closed subsets of X. We also denote by \(\mathcal {K}(X)\) the family of all nonempty compact subsets of X.
A fixed point of a set-valued mapping \(T{:}X\rightarrow \mathcal {P}(X),\) which denotes the class of all nonempty subsets of X, is an element \(x\in X\) such that \(x\in Tx\). A function \(f{:}X\rightarrow \mathbb {R} \) is lower semi-continuous if for any \(\left\{ x_{n}\right\} \subseteq X\) and \(x\in X\), \(x_{n}\rightarrow x\) implies \(f(x)\le \underset{n\rightarrow \infty }{\lim \inf }f(x_{n})\).
Nadler [31] in 1969 initiated the idea for set-valued contraction mapping and extended the Banach contraction principle to set-valued mappings and proved the following:
Theorem 1
(Nadler [31]) Let (X, d) be a complete metric space and \(T:X\rightarrow \mathcal {CB}(X)\) set-valued contraction, that is, there exists \(L\in [0,1)\) such that
for all \(x,y\in X.\) Then, T has a fixed point in X.
Later on, several researches were conducted on a variety of generalizations, extensions and applications of this result of Nadler (see [1, 5, 6, 10,11,12,13,14, 20,21,22, 25, 30, 32,33,39]). Furthermore, Feng and Liu [15] introduced important generalization of this result and thereupon Klim and Wardowski [23] generalized their theorem as follows:
Theorem 2
[15] Let (X, d) be a complete metric space and \(T:X\rightarrow \mathcal {C}(X).\) If there exist constants \(b,c\in (0,1)\), \(b<c\), such that for any \(x\in X\) there is \(y\in I_{b}^{x}\) satisfying
where
then T has a fixed point in X provided that function \(x\rightarrow d(x,Tx)\) is lower semi-continuous.
Recently, Klim and Wardowski [23] generalized Theorem 2 and proved the following results.
Theorem 3
[23] Let (X, d) be a complete metric space and \(T:X\rightarrow \mathcal {C}(X)\). If there exist \(b\in (0,1)\) and a function \(\varphi :[0,\infty )\rightarrow [0,b)\) satisfying
and for any \(x\in X\) there is \(y\in I_{b}^{x}\) satisfying
then T has a fixed point in X provided that function \(x\rightarrow d(x,Tx)\) is lower semi-continuous.
Theorem 4
[23] Let (X, d) be a complete metric space and \(T:X\rightarrow \mathcal {K}(X)\), which is the family of all nonempty compact subsets of X. If there exists a function \(\varphi :[0,\infty )\rightarrow [0,1)\) satisfying
and for any \(x\in X\) there is \(y\in I_{1}^{x}\) satisfying
then T has a fixed point in X provided that function \(x\rightarrow d(x,Tx)\) is lower semi-continuous.
In the literature, we can find many interesting results dealing with Feng–Liu’s and Klim–Wardowski’s fixed point theorems (see [4, 9, 24, 26, 27]).
On the other hand, the concept of \(\theta \)-contraction is introduced by Jleli and Samet [19] in 2014 and so they introduce a new type of contractive mapping. Following their work, many authors recently proved various several fixed point theorems for set-valued mappings (see [2, 3, 18, 29]).
The purpose of this paper is to give some fixed point results for set-valued mappings on complete metric spaces using the concept of set-valued \(\theta \) -contraction. These results extend and generalize many fixed point theorems including Theorem 2 and Theorem 3.
2 Preliminaries
We recall basic definitions, relevant notions and related result concerning \( \theta \)-contraction.
Let \(\Theta \) be the set of all functions \(\theta :(0,\infty )\rightarrow (1,\infty )\) satisfying the following conditions:
(\(\theta _{1}\)) \(\theta \) is nondecreasing;
\((\theta _{2})\) For each sequence \(\left\{ t_{n}\right\} \subset \left( 0,\infty \right) \), \(\lim _{n\rightarrow \infty }\theta (t_{n})=1\) and \( \lim _{n\rightarrow \infty }t_{n}=0^{+}\) are equivalent;
\((\theta _{3})\) There exist \(r\in \left( 0,1\right) \) and \(l\in (0,\infty ]\) such that \(\lim _{t\rightarrow 0^{+}}\frac{\theta (t)-1}{t^{r}}=l\).
Let (X, d) be a metric space and \(\theta \in \Theta \). A mapping \(T:X\rightarrow X\) is said to be a \(\theta \)-contraction if there exists \( k\in \left( 0,1\right) \) such that
for all \(x,y\in X\) with \(d(Tx,Ty)>0.\)
An easy example of such mappings is contraction which can be obtained by taking \(\theta (t)= {\text {e}}^{\sqrt{t}}\) in inequality (2.1). Also, by choices of mapping \(\theta (t)= {\text {e}}^{\sqrt{t {\text {e}}^{t}}}\) in (2.1), we obtain a contraction-type condition
for all \(x,y\in X\) with \(d(Tx,Ty)>0.\)
It is clear that if a mapping T is contraction, then it satisfies inequality (2.2). In addition, it is easy to see that if T is a \( \theta \)-contraction, then T is a contractive mapping, i.e., \(d(Tx,Ty)<d(x,y)\) for all \(x,y\in X\) with \(x\ne y.\) Thus, every \(\theta \) -contraction mapping on a metric space is continuous. Jleli and Samet [19] proved the following fixed point result using concept of \(\theta \) -contractions on complete metric spaces.
Theorem 5
(Corollary 2.1 of [19]) Let (X, d) be a complete metric space and \(T:X\rightarrow X\) be a given mapping. If T is a \(\theta \)-contraction, then T has a unique fixed point in X.
The concept of \(\theta \)-contraction extended to set-valued mappings by Han çer et al. [16]. Let (X, d) be a metric space, \(T:X\rightarrow \mathcal {CB}(X)\) and \(\theta \in \Theta \). Then, we say that T is a set-valued \(\theta \)-contraction if there exists \(k\in \left( 0,1\right) \) such that
for all \(x,y\in X\) with \(H(Tx,Ty)>0.\)
Consequently, they established that mappings of this type possess a fixed point on complete metric spaces as follows:
Theorem 6
[16] Let (X, d) be a complete metric space and \(T:X\rightarrow \mathcal {K(}X\mathcal {)}\) be a set-valued \(\theta \)-contraction. Then, T has a fixed point.
Moreover, Hançer et al. [16] showed the following example that we cannot unfortunately replace \(\mathcal {CB}(X)\) instead of \(\mathcal {K}(X)\) in Theorem 6 with the same conditions.
Example 1
Let \(X=[0,2]\). Define a metric on X by \(d(x,y)=0\) if \(x=y\) and \(d(x,y)=1+\left| x-y\right| \) if \(x\ne y\). Then, (X, d) is a complete metric space. Define a mapping \(T:X\rightarrow \mathcal {CB}(X)\), by \(Tx= \mathbb {Q} \) if \(x\in X\backslash \mathbb {Q} \) and \(Tx=X\backslash \mathbb {Q} \) if \(x\in \mathbb {Q} \), where \( \mathbb {Q} \) is the set of all rational numbers in X. Then, T is a set-valued \( \theta \)-contraction with respect to \(\theta \in \Theta \) defined by \(\theta (t)= {\text {e}}^{\sqrt{t}}\) if \(t\le 1\) and \(\theta (t)=9\) if \(t>1\). However, T has no fixed point.
However, Hançer et al. [16] proved that we can take \(\mathcal {CB} (X) \) instead of \(\mathcal {K}(X),\) by adding the following condition on \( \theta :(0,\infty )\rightarrow (1,\infty )\):
(\( \theta _{4}\)) \(\theta (\inf A)=\inf \theta (A)\) for all \( A\subset (0,\infty )\) with \(\inf A>0\).
Note that if \(\theta \) satisfies \((\theta _{1})\), then it satisfies \(\left( \theta _{4}\right) \) if and only if it is right continuous. Let \(\Xi \) be the family of all functions \(\theta \) satisfying \(\left( \theta _{1}\right) \) -\(\left( \theta _{4}\right) .\)
Theorem 7
[16] Let (X, d) be a complete metric space and \(T:X\rightarrow \mathcal {CB(}X\mathcal {)}\) be a set-valued \(\theta \)-contraction. If \(\theta \in \Xi \), then T has a fixed point.
3 Main Results
Let \(T:X\rightarrow \mathcal {P}(X)\), \(\theta \in \Theta \) and \(s\in (0,1]\). Define a set \(\theta _{s}^{x}\subseteq X\) by
\(x\in X\) with \(d(x,Tx)>0\).
For the set \(\theta _{s}^{x}\), we will consider the following three cases (see [3] for more information):
Case 1 If \(T:X\rightarrow \mathcal {K}(X)\), then we have \(\theta _{s}^{x}\ne \emptyset \) for all \(s\in (0,1]\) and \(x\in X\) with \(d(x,Tx)>0\).
Case 2 If \(T:X\rightarrow \mathcal {C}(X)\), then \(\theta _{s}^{x}\) may be empty for some \(x\in X\) and \(s\in (0,1]\).
Case 3 If \(T:X\rightarrow \mathcal {C}(X)\) (even if \(T:X\rightarrow P(X)\)) and \(\theta \in \Xi ,\) then we have \(\theta _{s}^{x}\ne \emptyset \) for all \(s\in (0,1)\) and \(x\in X\) with \(d(x,Tx)>0\). We reprove this case using the property of right continuity of \(\theta \) as different from the paper [3]. Since \(\theta \) is right continuous, there exists a real number \(h>1\) such that
Since \(h>1\), there exists \(y\in Tx\) such that \(d(x,y)\le hd(x,Tx)\). Then, from (\(\theta _{1}\)), we have
and so,
which implies \(y\in \theta _{s}^{x}\).
Then, Altun et al. [3] proved the following fixed point theorems. It is easy to see that Theorem 2 is a special case of Theorem 8.
Theorem 8
Let (X, d) be a complete metric space, \(T:X\rightarrow \mathcal {C}(X)\) and \(\theta \in \Xi \). If there exists \(k\in \left( 0,1\right) \) such that there is \(y\in \theta _{s}^{x}\), \(s\in \left( 0,1\right) \) and \(k<s\), satisfying
for each \(x\in X\) with \(d(x,Tx)>0\), then T has a fixed point in X provided that function \(x\rightarrow d(x,Tx)\) is lower semi-continuous.
Theorem 9
Let (X, d) be a complete metric space, \(T:X\rightarrow \mathcal {K}(X)\) and \(\theta \in \Theta \). If there exists \(k\in \left( 0,1\right) \) such that there is \(y\in \theta _{1}^{x}\) satisfying
for each \(x\in X\) with \(d(x,Tx)>0\), then T has a fixed point in X provided that function \(x\rightarrow d(x,Tx)\) is lower semi-continuous.
Inspired with the above results, we give the following theorems, which we called nonlinear form of Theorem 8 and Theorem 9. Note that Theorem 10 is a proper generalization of Theorem 3.
Theorem 10
Let (X, d) be a complete metric space, \(T:X\rightarrow \mathcal {C}(X)\) and \(\theta \in \Xi \). If there exist \(s\in (0,1)\) and a function \(k:[0,\infty )\rightarrow [0,s)\) satisfying
and for any \(x\in X\) with \(d(x,Tx)>0\), there exists \(y\in \theta _{s}^{x}\) satisfying
then T has a fixed point in X provided that function \(x\rightarrow d(x,Tx)\) is lower semi-continuous.
Proof
Suppose that T has no fixed point. Then, for all \(x\in X\) we have \( d(x,Tx)>0\). Since \(Tx\in \mathcal {C}(X)\) for every \(x\in X\) and \(\theta \in \Xi \), the set \(\theta _{s}^{x}\) is nonempty for any \(s\in (0,1)\). Let \( x_{0}\in X\) be any initial point, then there exists \(x_{1}\in \theta _{s}^{x_{0}}\) such that
and for \(x_{1}\in X\), there exists \(x_{2}\in \theta _{s}^{x_{1}}\) satisfying
Continuing this process, we get an iterative sequence \(\{x_{n}\}\), where \( x_{n+1}\in \theta _{s}^{x_{n}}\) and
We will verify that \(\{x_{n}\}\) is a Cauchy sequence. Since \(x_{n+1}\in \theta _{s}^{x_{n}}\), we have
and
From (3.5), (3.6) and (\(\theta _{1}\)), it follows that the sequences \(\left\{ d(x_{n},Tx_{n})\right\} \) and \(\left\{ d(x_{n},x_{n+1})\right\} \) are decreasing and hence convergent. Now, from (3.1), there exists \(w\in \left[ 0,s\right) \) such that
Therefore, there exists \(b\in \left( w,s\right) \) and \(n_{0}\in \mathbb {N} \) such that \(k(d(x_{n},x_{n+1}))<b\) for all \(n\ge n_{0}.\) Thus, using (3.6), we obtain for all \(n\ge n_{0}\) the following inequalities:
Thus, we have
for all \(n\ge n_{0}.\) Letting \(n\rightarrow \infty \) in (3.7), since \(\lim _{n\rightarrow \infty }\left( \frac{b}{s}\right) ^{(n-n_{0})}=0\), we obtain
From \((\theta _{2})\), \(\lim _{n\rightarrow \infty }d(x_{n},x_{n+1})=0^{+}\) (similarly, we can obtain \(\lim _{n\rightarrow \infty }d(x_{n},Tx_{n+1})=0^{+} \)) and so from \((\Theta _{3})\), there exist \(r\in \left( 0,1\right) \) and \(l\in (0,\infty ]\) such that
Suppose that \(l<\infty .\) In this case, let \(B=\frac{l}{2}>0.\) From the definition of the limit, there exists \(n_{1}\in \mathbb {N} \) such that, for all \(n\ge n_{1},\)
This implies that, for all \(n\ge n_{1},\)
Then, for all \(n\ge n_{1},\)
where \(A=1/B.\)
Suppose now that \(l=\infty .\) Let \(B>0\) be an arbitrary positive number. From the definition of the limit, there exists \(n_{1}\in \mathbb {N} \) such that, for all \(n\ge n_{1},\)
This implies that, for all \(n\ge n_{1},\)
where \(A=1/B.\)
Thus, in all cases, there exist \(A>0\) and \(n_{1}\in \mathbb {N} \) such that, for all \(n\ge n_{1},\)
Using (3.7), we obtain, for all \(n\ge n_{2}=\max \left\{ n_{0},n_{1}\right\} ,\)
Letting \(n\rightarrow \infty \) in the above inequality, we obtain
Thus, there exits \(n_{3}\in \mathbb {N} \) such that \(n\left[ d(x_{n},x_{n+1})\right] ^{r}\le 1\) for all \(n\ge n_{3}.\) So, we have, for all \(n\ge n_{3}\)
In order to show that \(\left\{ x_{n}\right\} \) is a Cauchy sequence, consider \(m,n\in \mathbb {N} \) such that \(m>n\ge n_{3}.\) Using the triangular inequality for the metric and from (3.9), we have
By the convergence of the series \(\sum \nolimits _{i=1}^{\infty }\frac{1}{i^{1/r} },\) letting to limit \(n\rightarrow \infty ,\) we get \(d(x_{n},x_{m})\ \rightarrow 0\). This yields that \(\left\{ x_{n}\right\} \) is a Cauchy sequence in \(\left( X,d\right) \). Since \(\left( X,d\right) \) is a complete metric space, the sequence \(\left\{ x_{n}\right\} \) converges to some point \( z\in X\), that is, \(\lim _{n\rightarrow \infty }x_{n}=z.\) On the other hand, since
and \(x\rightarrow d(x,Tx)\) is lower semi-continuous, then
This is a contradiction. Hence, T has a fixed point. \(\square \)
Remark 1
If we take \(\mathcal {K}(X)\) instead of \(\mathcal {CB}(X)\) in Theorem 10, we can remove the condition \(\left( \theta _{4}\right) \) on \(\theta \). Further, by taking into account Case 1, we can take \(s=1\). Therefore, the proof of the following theorem is easy.
Theorem 11
Let (X, d) be a complete metric space, \(T:X\rightarrow \mathcal {K}(X)\) and \(\theta \in \Theta \). If there exists a function \( k:[0,\infty )\rightarrow [0,1)\) satisfying
and for any \(x\in X\) with \(d(x,Tx)>0\), there exists \(y\in \theta _{1}^{x}\) satisfying
then T has a fixed point in X provided that function \(x\rightarrow d(x,Tx)\) is lower semi-continuous.
Proof
Suppose that T has no fixed point. Then, for all \(x\in X\) we have \( d(x,Tx)>0\). Since \(Tx\in \mathcal {K}(X)\) for every \(x\in X,\) the set \(\theta _{1}^{x}\) is nonempty. Hence, there exists \(y\in \theta _{1}^{x}\) for all \( x\in X\) such that \(x\ne y\) and \(d(x,y)=d(x,Tx)\). Let \(x_{0}\in X\) be any initial point. By (3.10), using the analogous method like in the proof of Theorem 10, we obtain the existence of a Cauchy sequence \(\left\{ x_{n}\right\} \) such that \(x_{n+1}\in Tx_{n}\), \(x_{n+1}\ne x_{n}\), satisfying
and
Since \(x\rightarrow d(x,Tx)\) is lower semi-continuous, we get
This is a contradiction. Hence, T has a fixed point. \(\square \)
4 Nontrivial Examples
Now, we give some significant examples showing that there are some multivalued mappings such that our result (Theorem 10) can be applied but Theorem 3 cannot.
Example 2
Consider the complete metric space (X, d), where \(X=[0,1]\cup \{2,3,\ldots \}\) and
Define a mapping \(T:X\rightarrow \mathcal {C}(X)\) by
It is easy to see that
and the function \(x\rightarrow D(x,Tx)\) is lower semi-continuous.
Now we show that condition (3.2) of Theorem 10 is satisfied with \(\theta (t)= {\text {e}}^{\sqrt{t {\text {e}}^{t}}}\), \(s\in \left( \frac{1}{e} ,1\right) \) and \(k:[0,\infty )\rightarrow [0,s)\) defined by \(k(t)= \frac{1}{e}\). Inequality (3.2) also turns to
We will show that T satisfies (4.1).
Note that if \(D(x,Tx)>0\), then \(x\ne 0\). Therefore, for \(x\in \left( 0,1 \right] \), we have \(y=\frac{x}{16}\in \theta _{s}^{x}\) for all \(s\in \left( \frac{1}{e},1\right) \) and
and for \(x>1\), we have \(y=x-1\in \theta _{s}^{x}\) for all \(s\in \left( \frac{ 1}{e},1\right) \) and
Therefore, all the assumptions of Theorem 10 are satisfied and so T has a fixed point.
Now we claim that condition (1.1) of Theorem 3 is not satisfied. Indeed, let \(x>1\), then \(Tx=\left\{ x-1,x+1,x+2,\ldots \right\} \) . In this case, if \(x+k\in I_{b}^{x}\) where \(k\in \mathbb {N} \) for all \(b\in (0,1)\), then
for all \(\varphi :[0,\infty )\rightarrow [0,b)\) satisfying
if \(x-1\in I_{b}^{x}\) for all \(b\in (0,1)\), then, for all such function \( \varphi ,\) we get
that is,
which this is not possible after a certain value of \(x\in \{2,3,\ldots \}\).
Example 3
Consider the complete metric space (X, d), where \(X=\{\frac{1}{n}:n\in \mathbb {N} \}\cup \{0\}\) and
Define a mapping \(T:X\rightarrow \mathcal {K}(X)\) by
It is easy to see that
and the function \(x\rightarrow D(x,Tx)\) is lower semi-continuous.
Now we show that condition (3.10) of Theorem 11 is satisfied with \(\theta (t)= {\text {e}}^{\sqrt{t {\text {e}}^{t}}}\) and \(k:[0,\infty )\rightarrow [0,1)\) defined by
Since \(\underset{t\rightarrow a^{+}}{\lim \sup }k(t)=0<1\) for all \(a\in \left[ 0,\infty \right) \) and so k satisfies (3.1). Observe that taking \(\theta (t)= {\text {e}}^{\sqrt{t {\text {e}}^{t}}}\),
Note that if \(D(x,Tx)>0\), then \(x=\frac{1}{n}\) for \(n>1\). In this case, \( D(x,Tx)=\frac{1}{n}\) for \(n>1\). Therefore, for \(y=\frac{1}{n+1}\in T\frac{1}{ n}=\left\{ \frac{1}{n+2},\frac{1}{n+1}\right\} \), we have \(y\in \theta _{1}^{x}\). Then, we get
Therefore, all the assumptions of Theorem 11 are satisfied and so T has a fixed point.
Now we claim that condition (1.2) of Theorem 4 is not satisfied. Indeed, let \(x=\frac{1}{n}\) for \(n>2\), then \(Tx=\left\{ \frac{1}{ n+2},\frac{1}{n+1}\right\} \). In this case, \(I_{1}^{x}=\left\{ \frac{1}{n+2}, \frac{1}{n+1}\right\} \). If \(y=\frac{1}{n+1}\), since
we obtain
Taking limit supremum as \(n\rightarrow \infty \) in above, we have
which is a contradiction. If \(y=\frac{1}{n+2}\), since
we obtain
Taking limit supremum as \(n\rightarrow \infty \) in above, we have
which is a contradiction. Therefore, Theorem 4 cannot be applied to this example.
References
Agarwal, R.P., O’Regan, D., Sahu, D.R.: Fixed Point Theory for Lipschitzian-Type Mappings with Applications. Springer, New York (2009)
Altun, I., Hançer, H.A., Mınak, G.: On a general class of weakly Picard operators. Miskolc Math. Notes 16(1), 25–32 (2015)
Altun, I., Minak, G.: On fixed point theorems for multivalued mappings of Feng-Liu type. Bull. Korean Math. Soc. 52(6), 1901–1910 (2015)
Amini-Harandi, A., Fakhar, M., Hajisharifi, H.R.: Fixed point theorems for set-valued contractions. Rend. Circ. Mat. Palermo 62(3), 367–377 (2013)
Berinde, M., Berinde, V.: On a general class of multi-valued weakly Picard mappings. J. Math. Anal. Appl. 326, 772–782 (2007)
Berinde, V.: Iterative Approximation of Fixed Points. Springer, Berlin (2007)
Boyd, D.W., Wong, J.S.W.: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458–464 (1969)
Ciric, LjB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 45, 267–273 (1974)
Ćirić, LjB: Multi-valued nonlinear contraction mappings. Nonlinear Anal. 71, 2716–2723 (2009)
Ćirić, Lj B., Ume, J.S.: Common fixed point theorems for multi-valued nonself mappings. Publ. Math. Debr. 60, 359–371 (2002)
Durmaz, G.: Some theorems for a new type of multivalued contractive maps on metric space. Turk. J. Math. 41(4), 1092–1100 (2017)
Durmaz, G., Altun, I.: A New perspective for multivalued weakly Picard operators. Publications de l’Institut Mathématique 101(115), 197–204 (2017)
Daffer, P.Z., Kaneko, H.: Fixed points of generalized contractive multivalued mappings. J. Math. Anal. Appl. 192, 655–666 (1995)
Du, W.-S.: Some new results and generalizations in metric fixed point theory. Nonlinear Anal. Theory Methods Appl. 73, 1439–1446 (2010)
Feng, Y., Liu, S.: Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings. J. Math. Anal. Appl. 317, 103–112 (2006)
Hançer, H.A., Mınak, G., Altun, I.: On a broad category of multivalued weakly Picard operators. Fixed Point Theory 18(1), 229–236 (2017)
Hardy, G.E., Rogers, T.D.: A generalization of a xed point theorem of Reich. Can. Math. Bull. 16, 201–206 (1973)
Jleli, M., Karapinar, E., Samet, B.: Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 439 (2014)
Jleli, M., Samet, B.: A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, 38 (2014)
Jleli, M., Samet, B., Vetro, C., Vetro, F.: Fixed points for multivalued mappings in b-metric spaces. Abstr. Appl. Anal. (2015). https://doi.org/10.1155/2015/718074
Kadelburg, Z., Radenović, S.: Some results on set-valued contractions in abstract metric spaces. Comput. Math. Appl. 62(1), 342–350 (2011)
Kamran, T., Kiran, Q.: Fixed point theorems for multi-valued mappings obtained by altering distances. Math. Comput. Model. 54, 2772–2777 (2011)
Klim, D., Wardowski, D.: Fixed point theorems for set-valued contractions in complete metric spaces. J. Math. Anal. Appl. 334, 132–139 (2007)
Khan, A.R., Abbas, M., Nazir, T., Ionescu, C.: Fixed points of multivalued contractive mappings in partial metric spaces. Abstr. Appl. Anal. (2014). https://doi.org/10.1155/2014/230708
Kiran, Q., Kamran, T.: Fixed point theorems for generalized contractive multi-valued maps. Comput. Math. Appl. 59(12), 3813–3823 (2010)
Latif, A., Abdou, A.A.N.: Multivalued generalized nonlinear contractive maps and fixed points. Nonlinear Anal. 74(4), 1436–1444 (2011)
Latif, A., Luc, D.T.: A general fixed point theorem for multivalued mappings that are not necessarily contractions and applications. Abstr. Appl. Anal. (2014). https://doi.org/10.1155/2014/104762
Matkowski, J.: Fixed point theorems for mappings with a contractive iterate at a point. Proc. Am. Math. Soc. 62(2), 344–348 (1977)
Mınak, G., Altun, I.: Overall approach to Mizoguchi-Takahashi type fixed point results. Turk. J. Math. 40(4), 895–904 (2016)
Mizoguchi, N., Takahashi, W.: Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 141, 177–188 (1989)
Nadler, S.B.: Multi-valued contraction mappings. Pac. J. Math. 30, 475–488 (1969)
Pathak, H.K., Shahzad, N.: A generalization of Nadler’s fixed point theorem and its application to nonconvex integral inclusions. Topol. Methods Nonlinear Anal. 41(1), 207–227 (2013)
Reich, S.: Fixed points of contractive functions. Boll. Un. Mat. Ital. 4(5), 26–42 (1972)
Reich, S.: Some problems and results in fixed point theory. In: Singh, S.P., Thomeier, S., Watson, B. (eds.) Topological Methods in Nonlinear Functional Analysis (Toronto, Ont., 1982), pp. 179–187, Contemp. Math., 21, American Mathematical Society, Providence, RI (1983)
Reich, S.: Some fixed point problems. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur 57, 194–198 (1974)
Romaguera, S.: On Nadler’s fixed point theorem for partial metric spaces. Math. Sci. Appl. E-Notes 1(1), 1–8 (2013)
Sintunavarat, W., Kumam, P.: Common fixed point theorem for cyclic generalized multi-valued contraction mappings. Appl. Math. Lett. 25(11), 1849–1855 (2012)
Suzuki, T.: Mizoguchi-Takahashi’s fixed point theorem is a real generalization of Nadler’s. J. Math. Anal. Appl. 340, 752–755 (2008)
Usman, M.A., Kamran, T., Sintunavarat, W., Katchang, P.: Mizoguchi-Takahashi’s fixed point theorem with \(\alpha \), \(\eta \) functions. Abstr. Appl. Anal. (2013). https://doi.org/10.1155/2013/418798
Zamfirescu, T.: Fix point theorems in metric spaces. Arch. Math. (Basel) 23, 292–298 (1972)
Acknowledgements
The authors would like to thank the referees for their helpful advice which led them to present this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rosihan M. Ali.
Rights and permissions
About this article
Cite this article
Durmaz, G., Altun, I. On Nonlinear Set-Valued \(\theta \)-Contractions. Bull. Malays. Math. Sci. Soc. 43, 389–402 (2020). https://doi.org/10.1007/s40840-018-0689-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-018-0689-7