Abstract
The aim of this paper is to introduce the concept of generalized multivalued \(\left( \varUpsilon ,\varLambda \right) \)-contractions and generalized multivalued \(\left( \varUpsilon ,\varLambda \right) \) -Suzuki contractions and introduce some new common fixed point results for such maps in complete b-metric spaces. Our results are an improvement of the Liu et al. fixed point theorem and several comparable results in the existing literature. We set up an example to elucidate our main result. Moreover, we also discuss an application to existence of solution for system of functional equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction and preliminaries
Fixed point theory plays an important role in functional and nonlinear analysis. Banach [1] proved a significant result for contraction mappings. Afterward, a large number of fixed point results have been established by various authors and they showed different generalizations of the Banach’s results, see for example ([2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28]).
On the other hand, Czerwik [26, 27] gave a generalization of the famous Banach fixed point theorem in so-called b-metric spaces. For some results on b-metric spaces, see ([17,18,19,20,21,22,23,24,25, 28]) and related references therein.
Definition 1
[18] Let \(\omega \) be a non-empty set. A function \(\check{d}:\omega \times \omega \rightarrow [0,\infty )\) is said to be a metric if for all \(\zeta ,\eta ,\upsilon \in \omega \), we have
- (1)
\(\check{d}(\zeta ,\eta )=0\) if and only if \(x=y;\)
- (2)
\(\check{d}(\zeta ,\eta )=\check{d}(\eta ,\zeta )\);
- (3)
\(\check{d}(\zeta ,\eta )\le \check{d}(\zeta ,\upsilon )+\check{d} (\upsilon ,\eta ).\)
In this case, the pair \((\omega ,\check{d})\) is called a metric space (or for short MS).
Definition 2
[27] Let \(\omega \) be a non-empty set and \(\varrho \ge 1\in \left( -\infty ,\infty \right) \). A function \(\check{d}_{b}:\omega \times \omega \rightarrow [0,\infty )\) is said to be a b-metric if for all \(\zeta ,\eta ,\upsilon \in \omega \), we have
- (1)
\(\check{d}_{b}(\zeta ,\eta )=0\) if and only if \(x=y;\)
- (2)
\(\check{d}_{b}(\zeta ,\eta )=\check{d}_{b}(\eta ,\zeta )\);
- (3)
\(\check{d}_{b}(\zeta ,\eta )\le \varrho \left[ \check{d}_{b}(\zeta ,\upsilon )+\check{d}_{b}(\upsilon ,\eta )\right] .\)
In this case, the pair \((\omega ,\check{d}_{b})\) is called a b-metric space with constant \(\varrho \) (or for short bMS).
Note that the concept of convergence in such spaces is similar to that of the standard metric spaces. The b-metric space \((\omega ,\check{d}_{b})\) is called complete if every Cauchy sequence of elements from \((\omega , \check{d}_{b})\) is convergent. In general, a b-metric is not a continuous functional. If b-metric \(\check{d}_{b}\) is continuous, then every convergent sequence has a unique limit.
Theorem 3
[10] Let\((\omega ,\check{d})\)be a compact MS and let\({\hat{S}}:\omega \longrightarrow \omega \). Assume that\(\forall \zeta ,\eta \in \omega \)with\(\zeta \ne \eta \),
Then \({\hat{S}}\)has a unique fixed point in \(\omega \).
Jleli and Samet [3, 4] introduced the notion of \(\theta \)-contraction.
Definition 4
Let \(\left( \omega ,\check{d}\right) \) be a MS. A mapping \(\check{T} :\omega \rightarrow \omega \) is said to be a \(\theta \)-contraction, if there exist a constant \(k\in \left( 0,1\right) \) and \(\theta \in \Theta \) such that
where \(\Theta \) is the set of functions \(\theta :\left( 0,\infty \right) \longrightarrow \left( 1,\infty \right) \) satisfying the following conditions:
- \((\Theta 1)\):
\(\theta \) is non-decreasing,
- \((\Theta 2)\):
for each sequence ,
- \((\Theta 3)\):
there exist \(r\in \left( 0,1\right) \) and \(\ell \in \left( 0,\infty \right] \) such that
- \((\Theta 4)\):
\(\theta \) is continuous.
Jleli and Samet [3] established the fixed point theorem as follows:
Theorem 5
[3] Let \(\left( \omega ,\check{d}\right) \)be a complete MS and\( \check{T}:\omega \rightarrow \omega \)be a\(\theta \)-contraction. Then\( \check{T}\)has a unique fixed point.
Very recently, Liu et al. [6] introduced the notion of (\(\varUpsilon ,\varLambda \))-Suzuki contractions.
Definition 6
Let \(\left( \omega ,\check{d}\right) \) be a MS. A mapping \(\check{T} :\omega \rightarrow \omega \) is said to be a \(\left( \varUpsilon ,\varLambda \right) \)-Suzuki contraction, if there exist a comparison function \( \varUpsilon \) and \(\varLambda \in \varPhi \) such that, for all, \(\zeta ,\eta \in \omega \) with \(\check{T}\left( \zeta \right) \ne \check{T}\left( \eta \right) \)
where
\(\varPhi \) is the set of functions \(\varLambda :\left( 0,\infty \right) \longrightarrow \left( 0,\infty \right) \) satisfying the following conditions:
- \((\varPhi 1)\):
\(\varLambda \) is non-decreasing,
- \((\varPhi 2)\):
for each sequence ,
- \((\varPhi 3)\):
\(\varLambda \) is continuous.
And as in [2], a function \(\varUpsilon :\left( 0,\infty \right) \longrightarrow \left( 0,\infty \right) \) is called a comparison function if it satisfies the following conditions:
- (1)
\(\psi \) is monotone increasing, that is, ,
- (2)
for all ţ\(\,>0\) , where \(\varUpsilon ^{n}\) stands for the nth iterate of \(\psi .\)
Clearly, if \(\varUpsilon \) is a comparison function, then for each \(>0\).
Lemma 7
[6] Let\(\varLambda :\left( 0,\infty \right) \longrightarrow \left( 0,\infty \right) \)be a non-decreasing and continuous function withandbe a sequence in\(\left( 0,\infty \right) \). Then,
Theorem 8
[8] Let\((\omega ,\check{d})\)be a complete MS and\(\check{S}:\omega \longrightarrow CB(\omega )\)be a multivalued mapping, where\(CB(\omega )\)is the family of all non-empty closed and bounded subsets of\(\omega \). If\( \check{S}\)is a multivalued contraction, that is, if there exists\(\lambda \in \left[ 0,1\right) \)such that
Then\(\check{S}\)has a fixed point\(\zeta ^{*}\in \omega \)such that\( \zeta ^{*}\in \check{S}\left( \zeta ^{*}\right) \) .
Definition 9
[9] Let \(\left( \omega ,\check{d}\right) \) be a MS. Let \(\check{S} :\omega \longrightarrow CB(\omega )\) be a multivalued mapping. Then \(\check{S }\) is said to be a generalized multivalued-\({\mathrm{F}}\)-contraction if there exist \(\hbox {-}{\mathrm{F}}\in {\mathcal {F}}\) and \(\vartheta >0\) such that for all \(\zeta ,\eta \in \omega ,\)
where
HanÇer et al. [7] (see also [5]) extended the concept of \( \theta \)-contraction to multivalued mappings as follows.
Definition 10
[7] Let \(\left( \omega ,\check{d}\right) \) be a metric space, \(\check{S }:\omega \longrightarrow CB(\omega )\) and \(\theta \in \Theta .\) Then \(\check{ S}\) is said to be a multivalued \(\theta \)- contraction if there exists a constant \(k\in \left[ 0,1\right) \) such that
for all \(\zeta ,\eta \in \omega ,\) with \(H\left( \check{S}\left( \zeta \right) ,\check{S}\left( \eta \right) \right) >0.\)
From now on, let \((\omega ,\check{d}_{b})\) be a bMS. Let \(CB_{b}(\omega )\) denote the family of all bounded and closed sets in \(\omega \). For \( \zeta \in \omega \) and \(A,B\in CB_{b}(\omega )\), we define
Define a mapping \(H_{b}:CB_{b}(\omega )\times CB_{b}(\omega )\longrightarrow \left[ 0,\infty \right) \) by
for every \(A,B\in CB_{b}(\omega )\). Then the mapping \(H_{b}\) is a b-metric, and it is called a Hausdorff b-metric induced by a b-metric space \( (\omega ,\check{d}_{b})\).
Lemma 11
[26] Let\((\omega ,\check{d})\)be a bMS. For any\(A,B,C\in CB_{b}(\omega )\)and any\(\zeta ,\eta \in \omega \), we have the following.
-
(1)
\(D_{b}(\zeta ,B)\le \check{d}_{b}(\zeta ,b)\) for any \(b\in B;\)
-
(2)
\(D_{b}(\zeta ,B)\le H_{b}(A,B);\)
-
(3)
\(D_{b}(\zeta ,A)\le s\left[ \check{d}_{b}(\zeta ,\eta )+D_{b}(\eta ,B) \right] ;\)
-
(4)
\(D_{b}(\zeta ,A)=0\Leftrightarrow \zeta \in A;\)
-
(5)
\(H_{b}(A,B)\le s\left[ H_{b}(A,C)+H_{b}(C,B)\right] .\)
Lemma 12
[26] LetAandBbe non-empty closed and bounded subsets of a bMS\( (\omega ,\check{d}_{b})\)and\(q>1.\)Then for all\(a\in A\), there exists\( b\in B\)such that\(\check{d}_{b}\left( a,b\right) \le qH_{b}(A,B)\).
Definition 13
[18] Let \((\omega ,\check{d}_{b})\) be a bMS, the b-metric–metric d is called \( *\)-continuous if for every \(A\in CB_{b}(\omega )\), every \(\zeta \in \omega \) and every sequence \(\left\{ \zeta _{n}\right\} _{n\in {\mathbb {N}} }\) of elements from \(\omega \) such that \(\lim _{n\rightarrow \infty }\zeta _{n}=\zeta \), we have
Now we introduce the following definitions.
Definition 14
Let \(\left( \omega ,\check{d}_{b}\right) \) be a bMS. Let \(\check{S},\check{ T}:\omega \longrightarrow CB_{b}\left( \omega \right) \). Then the pair \( \left( \check{S},\check{T}\right) \) is called a generalized multivalued \( \left( \varUpsilon ,\varLambda \right) \)-contraction if there exist a comparison function \(\varUpsilon \) and \(\varLambda \in \varPhi \) such that for all \(\zeta ,\eta \in \omega ,\)
where
Definition 15
Let \(\left( \omega ,\check{d}_{b}\right) \) be a bMS. Let \(\check{S},\check{ T}:\omega \longrightarrow CB_{b}\left( \omega \right) \). Then the pair \( \left( \check{S},\check{T}\right) \) is called a generalized multivalued \( \left( \varUpsilon ,\varLambda \right) \)-Suzuki contraction if there exist a comparison function \(\varUpsilon \) and \(\varLambda \in \varPhi \) such that for all \( \zeta ,\eta \in \omega \), with \(\check{S}\left( \zeta \right) \ne \check{T} \left( \eta \right) ,\)
and \(U_{b}\left( \zeta ,\eta \right) \) is defined as in (2).
Main results
Theorem 16
Let \(\left( \omega ,\check{d}_{b}\right) \) be a complete bMS and \(\check{S}, \check{T}:\omega \longrightarrow CB_{b}\left( \omega \right) \) be a generalized multivalued \(\left( \varUpsilon ,\varLambda \right) \) -Suzuki contraction. Suppose that
-
(1)
\(\varUpsilon \) is continuous
-
(2)
\(\check{d}_{b}\)is\(*\)-continuous.
Then \(\check{S}\) and \(\check{T}\) have a common fixed point \(\zeta ^{*}\in \omega .\)
Proof
Let \(\zeta _{0}\in \omega \). Choose \(\zeta _{1}\in \check{S}\left( \zeta _{0}\right) .\) Assume that \(D_{b}\left( \zeta _{0},\check{S}\left( \zeta _{0}\right) \right) \), \(D_{b}\left( \zeta _{1},T\left( \zeta _{1}\right) \right) >0,\) therefore,
By Lemma 18,
Hence, there exists \(\zeta _{2}\in \check{T}\left( \zeta _{1}\right) ,\)
Since \(\varLambda \) is non-decreasing, we have
Hence from (3)
where
If \(\max \left\{ \check{d}_{b}\left( \zeta _{0},\zeta _{1}\right) ,D_{b}\left( \zeta _{1},\check{T}\left( \zeta _{1}\right) \right) \right\} =D_{b}\left( \zeta _{1},\check{T}\left( \zeta _{1}\right) \right) ,\) then from (7), we have
a contradiction. Thus, \(\max \left\{ \check{d}_{b}\left( \zeta _{0},\zeta _{1}\right) ,D_{b}\left( \zeta _{1},\check{T}\left( \zeta _{1}\right) \right) \right\} =\check{d}_{b}\left( \zeta _{0},\zeta _{1}\right) .\) By (7), we get that
Similarly, for \(\zeta _{2}\in \check{T}\left( \zeta _{1}\right) \) and \(\zeta _{3}\in \check{S}\left( \zeta _{2}\right) \). We have
which implies
By continuing this manner, we construct a sequence \(\{ \zeta _{n}\}\) in \( \omega \) such that \(\zeta _{2i+1}\in \check{S}\left( \zeta _{2i}\right) \) and \(\zeta _{2i+2}\in \check{T}\left( \zeta _{2i+1}\right) \), \(i=0,1,2,\ldots \),
Hence from (3), we have
where
If \(\max \left\{ \check{d}_{b}\left( \zeta _{2i},\zeta _{2i+1}\right) , \check{d}_{b}\left( \zeta _{2i+1},\zeta _{2i+2}\right) \right\} =\check{d} _{b}\left( \zeta _{2i+1},\zeta _{2i+2}\right) ,\) then from (9) we have
which is a contradiction. Thus,
By (9), we get that
This implies that
Hence,
which implies
Letting \(n\longrightarrow \infty \) in the above inequality, we get
which implies
From \(\left( \varPhi 2\right) \) and Lemma (10), we get
Now, we will prove that the sequence \(\left\{ \zeta _{n}\right\} \) is a Cauchy. Arguing by contradiction, we assume that there exist \(\varepsilon >0 \) and sequence \(\left\{ {\hat{h}}_{n}\right\} _{n=1}^{\infty }\) and \( \left\{ {\hat{\jmath }}_{n}\right\} _{n=1}^{\infty }\) of natural numbers such that for all \(n\in {\mathbb {N}} ,\,{\hat{h}}_{n}>{\hat{\jmath }}_{n}>n\) with \(\check{d}_{b}\left( \zeta _{{\hat{h}} \left( n\right) },\zeta _{{\hat{\jmath }}\left( n\right) }\right) \ge \varepsilon ,\,\check{d}_{b}\left( \zeta _{{\hat{h}}\left( n\right) -1},\zeta _{{\hat{\jmath }}\left( n\right) }\right) <\varepsilon .\) Therefore,
By setting \(n\rightarrow \infty \) in (11) , we get
From triangular inequality, we have
and
By taking upper limit as \(n\rightarrow \infty \) in (13) and applying (10), (12) ,
Again, by taking the upper limit as \(n\rightarrow \infty \) in (14), we get
Thus
Similarly
By triangular inequality, we have
On letting \(n\rightarrow \infty \) in (17) and using the inequalities (10), (15), we get
Following the above process, we find
From (10) and (12), we can choose a positive integer \(n_{0}\ge 1\) such that
for all \(n\ge n_{0}\), from (3), we get
where
Taking the limit as \(n\rightarrow \infty \) and using (10), (12), (15) and (16), we get
From (18) , and (\(\varPhi 2\)), we get
This is a contradiction. Therefore \(\left\{ \zeta _{n}\right\} \) is a Cauchy. Since X is a complete, we can assume that \(\left\{ x_{n}\right\} \) converges to some point \(\zeta ^{*}\in \omega ,\) that is, \(\underset{n\rightarrow \infty }{\lim }\check{d}_{b}\left( \zeta _{n},\zeta ^{*}\right) =0\) and so
Now, we claim that
or
Assume that it does not hold, there exists \(m\in {{\mathbb {N}}}\) such that
and
Therefore,
which implies
This together with (23) shows that
Since \(\frac{1}{2s}\min \left\{ D_{b}\left( \zeta _{m},\check{S}\left( \zeta _{_{m}}\right) \right) ,D_{b}\left( \zeta ^{*},\check{T}\left( \zeta ^{*}\right) \right) \right\} <\check{d}_{b}\left( \zeta _{m},\zeta _{_{m+1}}\right) ,\) by (3), we have
where
If \(\max \left\{ \check{d}_{b}\left( \zeta _{m},\zeta _{_{m+1}}\right) , \check{d}_{b}\left( \zeta _{m+1},\zeta _{m+2}\right) \right\} =\check{d} _{b}\left( \zeta _{m+1},\zeta _{m+2}\right) ,\) then from (26) we have
a contradiction. Thus,
By (25), we get that
It follows from conditions \((\varPhi 1)\)
From (24), (25), and (27), we get
a contradiction. Hence (22) holds, that is, \(\forall n\ge 2\)
holds. By (3), it follows that for every \(n\ge 2\)
where
Now, we show that \(\zeta ^{*}\in \check{T}\left( \zeta ^{*}\right) \) . Suppose on the contrary, \(D_{b}\left( \zeta ^{*},\check{T}\left( \zeta ^{*}\right) \right) >0.\) Since d is \(*\)-continuous,
Letting \(n\longrightarrow \infty \) in (29) and by using (21), (30), (\( \varPhi 3\)), we obtain
which is a contradiction. Therefore, \(D_{b}\left( \zeta ^{*},\check{T} \left( \zeta ^{*}\right) \right) =0\) and from Lemma 18, we obtain \(\zeta ^{*}\in \check{T}\left( \zeta ^{*}\right) .\) Similarly we can show that \(\zeta ^{*}\in \check{S}\left( \zeta ^{*}\right) .\) Thus \( \check{S}\) and \(\check{T}\) have a common fixed point. \(\square \)
Corollary 17
Let\(\left( \omega ,\check{d}\right) \)be a complete bMS and\(\check{S}, \check{T}:\omega \longrightarrow CB_{b}\left( \omega \right) \)be a generalized multivalued\(\left( \varUpsilon ,\varLambda \right) \)-contraction. Suppose that
- (1)
\(\varUpsilon \)is continuous
- (2)
d is\(*\)-continuous.
Then\(\check{S}\)and\(\check{T}\)have a common fixed point\(\zeta ^{*}\in \omega \).
Example 18
Let \(X=\left[ 0,1\right] \). Define \(\check{d}:\omega \times \omega \rightarrow [0,+\infty )\) by \(\check{d}(\zeta ,\eta )=\left| \zeta -\zeta \right| ^{2},\) for all \(\zeta ,\eta \in \omega \). Clearly, \( (\omega ,\check{d})\) is a complete bMS with \(s=2,\) but \((\omega ,\check{d})\) is not a metric space. For \(\zeta =0\), \(\eta =1\) and \(\upsilon =\frac{1}{2} \), we have
Define \(\varLambda :\left( 0,\infty \right) \longrightarrow \left( 0,\infty \right) \) by \(\varLambda \left( t\right) =te^{t},\) for all \(t>0.\) Then \(\varLambda \in \varPhi .\) Also, define \(\varUpsilon :\left( 0,\infty \right) \longrightarrow \left( 0,\infty \right) \) by \(\varUpsilon \left( t\right) =\frac{198t}{200},\) for all \(t>0.\) Then \(\varUpsilon \) is a continuos comparison function. Define the mappings \(\check{S},\check{T}:\omega \longrightarrow CB_{b}\left( \omega \right) \) by
Suppose, without any loss of generality, that all \(\zeta ,\eta \) are nonzero and \(\zeta <\eta \). Then
Hence all the hypotheses of Corollary 17 are satisfied, and thus, \(\check{S}\) and \(\check{T}\) have a common fixed point.
Corollary 19
Let\(\left( \omega ,\check{d}\right) \)be a complete bMS such thatdis a continuous function and\(\check{S},\check{T}:\omega \longrightarrow \omega \)be a generalized\(\left( \varUpsilon ,\varLambda \right) \)-type contraction, that is, if there exist a comparison function\(\varUpsilon \)and\(\varLambda \in \varPhi \)such that, for all,\(\zeta ,\eta \in \omega \)with\(\check{S}\left( \zeta \right) \ne \check{T}\left( \eta \right) ,\)
where
If\(\psi \)is continuous, thenSandThave a unique common fixed point\( x^{*}\in X\).
Corollary 20
Let\(\left( \omega ,\check{d}\right) \)be a complete bMS and\(\check{S} :\omega \longrightarrow CB_{b}\left( \omega \right) \)be a generalized multivalued\(\left( \varUpsilon ,\varLambda \right) \)-Suzuki contraction, that is, if there exist a comparison function\(\varUpsilon \)and\(\varLambda \in \varPhi \)such that, for all,\(\zeta ,\eta \in \omega \)with\(\check{S}\left( \zeta \right) \ne \check{S}\left( \eta \right) ,\)
where
Suppose that
- (1)
\(\varUpsilon \)is continuous
- (2)
dis\(*\)-continuous.
Then\(\check{S}\)has a fixed point\(\zeta ^{*}\in \omega \).
Corollary 21
Let\(\left( \omega ,\check{d}\right) \)be a complete bMS such that\(\check{d} \)is a continuous function and\(\check{S}:\omega \longrightarrow \omega \)be a generalized\(\left( \varUpsilon ,\varLambda \right) \)-type Suzuki contraction. If\(\varUpsilon \)is continuous. Then\(\check{S}\)has a unique fixed point\( \zeta ^{*}\in \omega \).
Corollary 22
[6] Let\(\left( \omega ,\check{d}\right) \)be a complete MS such that\(\check{d}\)is a continuous function and\(\check{S}:\omega \longrightarrow \omega \)be a generalized\(\left( \varUpsilon ,\varLambda \right) \)-type Suzuki contraction. If\(\varUpsilon \)is continuous. Then\(\check{S}\)has a unique fixed point\(\zeta ^{*}\in \omega \).
Remark 23
Theorem 16 is a generalization of the main results in Suzuki [10] and the recent result in Liu [6].
Remark 24
Corollary 17 is a generalization of Nadler [8] and the recent results in Jleli et al. [3, 4], HanÇer et al. [7] and Vetro [5].
Application
In this section, we present an application of our result in solving functional equations arising in dynamic programming.
Decision space and a state space are two basic components of dynamic programming problem. State space is a set of states including initial states, action states and transitional states. So a state space is set of parameters representing different states. A decision space is the set of possible actions that can be taken to solve the problem. We assume that U and V are Banach spaces, \(W\subseteq U\), \(D\subseteq V\) and
and for more details on dynamic programming we refer to ([29,30,31,32]). Suppose that W and D are the state and decision spaces, respectively, and the problem of dynamic programming related reduces to the problem of solving the functional equations
We aim to give the existence and uniqueness of common and bounded solution of functional equations given in (31) and (32). Let B(W) denote the set of all bounded real-valued functions on W. For \(h,k\in B(W)\), define
Suppose that the following conditions hold:
(B1) : \(\Gamma ,\Psi ,g,\) and u are bounded and continuous.
(B2) : For \(\zeta \in W\), \(h\in B(W)\) and \(b>0,\) define \( E,A:B(W)\longrightarrow B(W)\) by
Moreover, for every \((\zeta ,\eta )\in W\times D,\)\(h,k\in B(W)\) and \(t\in W\) we have
where
Theorem 25
Assume that the conditions\((B1)-(B2)\)are satisfied. Then the system of functional equations (31) and (32) has a unique common and bounded solution inB(W).
Proof
Note that (B(W), d) is a complete bMS with constant \(s=2\). By (B1), E, A are self-maps of B(W). Let \(\lambda \) be an arbitrary positive number and \(h_{1},h_{2}\in B(W)\). Choose \(\zeta \in W\) and \(\eta _{1},\eta _{2}\in D \) such that
Further from (37) and (38), we have
Then (37) and (40) together with (36) imply
Then (38) and (39) together with (36) imply
where
From (41), (42), and since \(\lambda >0\) was taken as an arbitrary number, we obtain
Thus,
The inequality (43) implies
Taking \(\varLambda \left( t\right) =t,\)\(t>0\) and \(\varUpsilon \left( t\right) = \frac{t}{t+1},\)\(t>0\), we get
Therefore, all the conditions of Corollary 17 immediately hold. Thus, E and A have a common fixed point \(h^{*}\in B(W),\) that is, \(h^{*}(\zeta )\) is a unique, bounded and common solution of the system of functional equations (31) and (32). \(\square \)
References
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales. Fund. Math. 3, 133–181 (1922)
Berinde, V.: Generalized Contractions and Applications, vol. 22. Editura Cub Press, Baia Mare (1997)
Jleli, M. Samet, B.: A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, Article ID 38 (2014)
Jleli, M., Karapinar, E., Samet, B.: Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 439 (2014)
Vetro, F.: A generalization of Nadler fixed point theorem. Carpathian J. Math. 31, 403–410 (2015)
Liu, X.-D., Chang, S.-S., Xiiao, Y., Zhao, L.-C.: Some fixed point theorems concerning \(\left( \psi,\phi \right) \)-type contraction in complete metric spaces. J. Nonlinear Sci. Appl. 9, 4127–4136 (2016)
HanÇer, H.A., Minak, G., Altun, I.: On a broad category of multivalued weakly Picard operators. Fixed Point Theory 18(1), 229–236 (2017)
Nadler, S.B.: Multivalued contraction mappings. Pac. J. Math. 30, 475–488 (1969)
Piri, H., Rahrovi, S.: Generalized multivalued F-weak contractions on complete metric spaces. Sahand Commun. Math. Anal. 2(2), 1–11 (2015)
Suzuki, T.: A new type of xed point theorem in metric spaces. Nonlinear Anal. 71, 5313–5317 (2009)
Wardowski, D.: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 6 (2012)
Iqbal, I., Hussain, N., Sultana, N.: Fixed points of multivalued non-linear F-contractions with application to solution of matrix equations. Filomat 31(11), 3319–3333 (2017)
Hussain, N., Doric, D., Kadelburg, Z., Radenovic, S.: Suzuki-type fixed point results in metric type spaces. Fixed Point Theory Appl. 2012, 126 (2012)
Hussain, N., Mitrović, Z.D.: On multi-valued weak quasi-contractions in b-metric spaces. J. Nonlinear Sci. Appl. 10, 3815–3823 (2017)
Hussain, N., Yasmin, N., Shafqat, N.: Multi-valued Ćirić contractions on metric spaces with applications. Filomat 28(9), 1953–1964 (2014)
Arshad, M., Ameer, E., Karapinar, E.: Generalized contractions with triangular \(\alpha \)-orbital admissible mapping on Branciari metric spaces. J. Inequal. Appl. 2016, 63 (2016)
Aydi, H., Karapinar, E., Bota, M.F., Mitrović, S.: A fixed point theorem for set-valued quasi-contractions in b-metric spaces. Fixed Point Theory Appl. 2012, 88 (2012)
Miculescu, R., Mihail, A.: New fixed point theorems for set-valued contractions in b-metric spaces. J. Fixed Point Theory Appl. 19(3), 2153–2163 (2017). https://doi.org/10.1007/s11784-016-0400-2
Aydi, H., Felhi, A., Sahmim, S.: Common fixed points in rectangular b-metric spaces using (E:A) property. J. Adv. Math. Stud. 8(2), 159–169 (2015)
Ameer, E., Arshad, M., Shatanawi, W.: Common fixed point results for generalized \(\alpha _{\ast }\)-\(\psi \)-contraction multivalued mappings in b-metric spaces. J. Fixed Point Theory Appl. (2017). https://doi.org/10.1007/s11784-017-0477-2
Jleli, M., Samet, B., Vetro, C., Vetro, F.: Fixed points for multivalued mappings in b-metric spaces. Abstr. Appl. Anal. 2015, Article ID 718074 (2015)
Jovanović, M., Kadelburg, Z., Radenović, S.: Common xed point results in metric-type spaces. Fixed Point Theory Appl. 2010, Article ID 978121
Huang, H., Xu, S.: Fixed point theorems of contractive mappings in cone b-metric spaces and applications. Fixed Point Theory Appl. 2013, 112 (2013)
Shi, L., Xu, S.: Common fixed point theorems for two weakly compatible self-mappings in cone b-metric spaces. Fixed Point Theory Appl. 2013, 120 (2013)
Hussian, N., Shah, M.H.: KKM mappings in cone b-metric spaces. Comput. Math. Appl. 62, 167–168 (2011)
Czerwik, S.: Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena. 46(2), 263–276 (1998)
Czerwik, S.: Contraction mappings in b-metric spaces. Acta Math. Inf. Univ. Ostrav. 1, 5–11 (1993)
Felhi, A., Sahmim, S., Aydi, H.: Ulam-Hyers stability and well-posedness of fixed point problems for \(\alpha \)-\(\lambda \)-contractions on quasi b-metric spaces. Fixed Point Theory Appl. 2016, 1 (2016)
Baskaran, R., Subrahmanyam, P.V.: A note on the solution of a class of functional equations. Appl. Anal. 22(3–4), 235–241 (1986)
Bellman, R., Lee, E.S.: Functional equations in dynamic programming. Aequ. Math. 17, 1–18 (1978)
Bhakta, T.C., Mitra, S.: Some existence theorems for functional equations arising in dynamic programming. J. Math. Anal. Appl. 98, 348–362 (1984)
Pathak, H.K., Cho, Y.J., Kang, S.M., Lee, B.S.: Fixed point theorems for compatible mappings of type (P) and applications to dynamic programming. Matematiche 50, 15–33 (1995)
Author information
Authors and Affiliations
Corresponding author
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
Ameer, E., Arshad, M. & Hussain, N. On new common fixed points of multivalued \((\varUpsilon ,\varLambda )\)-contractions in complete b-metric spaces and related application. Math Sci 13, 307–316 (2019). https://doi.org/10.1007/s40096-019-00300-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-019-00300-0
Keywords
- Fixed point
- b-metric space
- Generalized multivalued (\(\varUpsilon , \varLambda \))-contraction
- Generalized multivalued (\(\varUpsilon , \varLambda \))-Suzuki contraction