Fixed point theorems for multivalued mappings in ordered Banach spaces with application to integral inclusions
 Nawab Hussain^{1} and
 MohamedAziz Taoudi^{2}Email author
https://doi.org/10.1186/s136630160555y
© Hussain and Taoudi 2016
Received: 8 October 2015
Accepted: 20 May 2016
Published: 31 May 2016
Abstract
This paper provides new common fixed point theorems for pairs of multivalued and singlevalued mappings operating between ordered Banach spaces. Our results lead to new existence theorems for a system of integral inclusions.
Keywords
fixed point theorems measure of weak noncompactness ordered Banach space integral inclusionsMSC
47H10 47H301 Introduction
Over the last decades, a lot of research has been devoted to the study of the existence of common fixed points for pairs of singlevalued and multivalued mappings in ordered Banach spaces [1–9]. In a recent paper, Dhage [2] proved some common fixed point theorems for pairs of weakly isotone condensing mappings in an ordered Banach space. Due in part to the immediate application of this interesting result to differential and integral equations, many researchers tried to obtain the conclusion of [2] under weaker assumptions; for example, see [1, 5], and [10]. However, all results so far obtained in this direction need to assume some compactness conditions relative to the strong topology (Monchtype conditions, contractiveness, or condensiveness with respect to a measure of noncompactness). In the present work, we show that some compactness conditions relative to the weak topology are sufficient and reasonably convenient to get the same conclusion as in [2]. More precisely, we combine the advantages of the strong topology (i.e. the involved mappings will be closed with respect to the strong topology) with the advantages of the weak topology (i.e. the maps will satisfy some compactness conditions relative to the weak topology) to draw new conclusions about common fixed point for a pair of multivalued mappings. Our results furnish an efficient tool to develop an existence theory for a system of integral inclusions (see Section 3).
 (i)
P is closed, nonempty, and \(P\neq\{0\}\),
 (ii)
\(a,b\in\mathbb{R}\), \(a,b\geq0\), \(x,y\in P \Rightarrow ax+by\in P\),
 (iii)
\(x\in P\) and \(x\in P\Rightarrow x=0\).
Remark 1.1
 (i)Let K be a compact Hausdorff space, and E be an ordered Banach space with normal positive cone. We denote by \(C(K,E)\) the Banach space of all continuous Evalued functions on K with the usual maximum norm. \(C(K,E)\) is an ordered Banach space with natural ordering whose positive cone is given by$$C^{+}(K,E)=\bigl\{ f\in C(K,E) : f(x)\in E^{+}, \forall x\in K\bigr\} . $$
Since \(E^{+}\) is normal, so is \(C^{+}(K,E)\).
 (ii)
Let Ω be a Lebesguemeasurable subset of \(\mathbb{R}^{n}\). Each of the Banach spaces \(L_{p}(\Omega)\), \(1\leq p\leq\infty\), is an ordered Banach space with respect to the natural ordering, whose positive cone is normal [11].
The following definitions are frequently used in the subsequent part of this paper.
Definition 1.1
[10]
Let M be a nonempty subset of an ordered Banach space X, and let \(S,T\colon M\to2^{M}\) be two mappings. We say that S is Tweakly isotone increasing (resp. Tweakly isotone decreasing) if for all \(x \in M\), \(y\in S(x)\), and \(z \in T(y)\), we have \(S(x)\leq T(y) \leq S(z)\) (resp. \(S(x) \geq T(y) \geq S(z)\)). We say that S is Tweakly isotone if it is either Tweakly isotone increasing or Tweakly isotone decreasing.
Definition 1.2
[10]
Let M be a nonempty subset of an ordered Banach space X. A mapping \(T\colon M\to 2^{M}\) is said to be monotoneclosed (resp. weakly monotoneclosed) if for each monotone sequence \(\{x_{n}\}\) in M with \(x_{n} \to x_{0}\) (resp. \(x_{n} \rightharpoonup x_{0}\)) and for each sequence \(\{y_{n}\}\) with \(y_{n} \in T(x_{n})\) and \(y_{n}\to y_{0}\) (resp. \(y_{n}\rightharpoonup y_{0}\)), we have \(y_{0} \in T(x_{0})\).
 \((\mathcal{A}1)\) :

If \(\{x_{n}\}\) is a monotone sequence of M such thatthen \(\{x_{n}\}\) has a weakly convergent subsequence.$$\{x_{n}\}\subset\{a\}\cup S\bigl(\{x_{n}\}\bigr)\cup T\bigl( \{x_{n}\}\bigr), $$
 \((\mathcal{A}2)\) :

If \(\{x_{n}\}\) is a monotone sequence of M such thatthen \(\{x_{n}\}\) has a weakly convergent subsequence.$$\{x_{n}\}\subset\{a\}\cup S\bigl(T\bigl(\{x_{n}\}\bigr) \bigr), $$
Remark 1.2
Note that hypothesis \((\mathcal{A}1)\) holds for every pair \((S,T)\) satisfying condition \(D_{M}\) or weak condition \(D_{M}\) (see [10]).
Let M be a closed convex subset of X, and let \(T,S\colon M\subseteq X\to2^{X}\) be two mappings. The pair \((S,T)\) is said to be weakly condensing (resp. weakly countably condensing) if \(T(M)\) and \(S(T(M))\) are bounded and there is an MWNC ψ on X such that for every bounded (resp. countable bounded) subset A of M such that \(\psi(A)>0\) and \(\psi(T(A))>0\), we have \(\psi(S(T(A)))<\psi(A)\). The pair \((S,T)\) is said to be weakly monotonecondensing if \(T(M)\) and \(S(T(M))\) are bounded and there is an MWNC ψ on X such that for every bounded monotone sequence \(\{x_{n}\}\) such that \(\psi(\{x_{n}\})>0\) and \(\psi(T(\{x_{n}\}))>0\), we have \(\psi(S(T(\{x_{n}\})))<\psi(\{x_{n}\})\).
Remark 1.3
It is worth mentioning that if \((S,T)\) is weakly monotonecondensing, then \((S,T)\) satisfies \((\mathcal{A}2)\).
2 Common fixed point theorems
Before proceeding with the main results, we give a useful technical lemma, which we will employ in the sequel. This result is really interesting and may have several applications. It says that every monotone sequence that has a weakly convergent subsequent is strongly convergent. The proof can be adapted from [11], Theorem 2.2(c). However, we provide here a different proof.
Lemma 2.1
Let X be an ordered real Banach space with a normal order cone. Suppose that \(\{x_{n}\}\) is a monotone sequence that has a subsequence \(\{x_{n_{k}}\}\) converging weakly to \(x_{\infty}\). Then \(\{x_{n}\}\) converges strongly to \(x_{\infty}\). Moreover, if \(\{x_{n}\}\) is an increasing sequence, then \(x_{n} \leq x_{\infty}\) (\(n = 1, 2, 3, \ldots \)); if \(\{x_{n}\}\) is a decreasing sequence, then \(x_{\infty}\leq x_{n}\) (\(n = 1, 2, 3, \ldots\)).
Proof
Now we are in a position to state the main result of this section.
Theorem 2.1
 (i)
The pair \((S,T)\) verifies \((\mathcal{A}1)\) or \((\mathcal{A}2)\);
 (ii)
S is Tweakly isotone.
Proof
From our assumptions we know that \(\{x_{n}\}\) has a weakly convergent subsequence. Referring to Lemma 2.1, we see that \(\{x_{n}\}\) is strongly convergent. Let \(x^{*}\) be its strong limit. Now since \(x_{2n+1}\in Sx_{2n}\) and S is monotoneclosed (or weakly monotoneclosed), we have \(x^{*}\in Sx^{*}\). Similar arguments yield \(x^{*}\in Tx^{*}\). To complete the proof, we consider the case where S is Tweakly isotone decreasing on M. In this case, the sequence \(\{x_{n}\}\) is monotone decreasing. Following the previous reasoning, we show that \(\{x_{n}\}\) converges strongly to a common fixed point of S and T. □
Remark 2.1
 (i)
If X is a reflexive Banach space and M is bounded, then in Theorem 2.1, we assume only (ii) (since the closed unit ball is weakly compact).
 (ii)
If S and T are only weakly monotone closed, then we can draw the same conclusion.
From Theorem 2.1 we can derive several important corollaries. We present a number of selected corollaries that extend and encompass several wellknown results in the literature.
Corollary 2.1
Let M be a closed subset of an ordered Banach space X with normal order cone, and let \(S,T\colon M\to2^{M}\) be two monotoneclosed mappings. In addition, suppose that S is a Tweakly isotone mapping and the pair \((S,T)\) satisfies \((\mathcal{A}1)\). Then S and T have a common fixed point.
As a consequence of Theorem 2.1, we obtain the following sharpening of [14], Theorem 3.1 and [14], Corollary 3.1.
Corollary 2.2
Let M be a closed subset of an ordered Banach space X with normal order cone, and let \(S,T\colon M\to2^{M}\) be two closed (with closed graph) weakly isotone mappings satisfying condition \(D_{M}\). Then S and T have a common fixed point.
Corollary 2.3
Let M be a closed subset of an ordered Banach space X with normal order cone, and let \(S,T\colon M\to2^{M}\) be two closed (with closed graph), weakly countably condensing weakly isotone mappings. Then S and T have a common fixed point.
Corollary 2.4
Let M be a closed subset of an ordered Banach space X with normal order cone, and let \(S,T\colon M\to2^{M}\) be monotoneclosed and such that the pair \((S,T)\) is weakly monotonecondensing. If S is a Tweakly isotone mapping, then S and T have a common fixed point.
Remark 2.3
Corollary 2.4 extends [10], Theorem 4.2. In [10] the pair \((S,T)\) is assumed to be monotonecondensing.
Another consequence of Theorem 2.1 is the following.
Corollary 2.5
 (i)
S is \(1\psi\)monotonecontractive, that is, \(S(M)\) is bounded, and for every bounded monotone sequence \(\{x_{n}\}\) of M, we have \(\psi(S(\{x_{n}\})) \leq\psi(\{x_{n}\})\);
 (ii)
T is ψmonotonecondensing, that is, \(T(M)\) is bounded, and for every bounded monotone sequence \(\{x_{n}\}\) of M with \(\psi(\{x_{n}\}) > 0\), we have \(\psi(T(\{x_{n}\})) < \psi(\{x_{n}\})\);
 (iii)
S is Tweakly isotone.
Proof
Whereas our interest lies in ensuring the existence of common fixed points for multivalued mappings in ordered Banach spaces, we will not rule out the possibility that the involved operators are singlevalued. Consequently, the results reported here also hold for singlevalued mappings with slight modifications. Specifically, the singlevalued version of Theorem 2.1 reduces to the following:
Theorem 2.2
 (i)
The pair \((S,T)\) satisfies \((\mathcal{A}1)\) or \((\mathcal {A}2)\);
 (ii)
S is Tweakly isotone.
Recall that \(T\colon M\to M\) is said to be monotonecontinuous (resp. weakly monotone continuous) if for any monotone sequence \((x_{n})\) that converges strongly (resp. weakly) to x the sequence \((Tx_{n})\) converges strongly (resp. weakly) to Tx.
Similarly to the multivalued case, we can get the following corollaries and related results.
Corollary 2.6
Let M be a closed subset of an ordered Banach space X with normal order cone, and let \(S,T\colon M\to M\) be two monotonecontinuous mappings. Suppose in addition that S is a Tweakly isotone mapping and the pair \((S,T)\) satisfies \((\mathcal{A}1)\). Then S and T have a common fixed point.
Corollary 2.7
Let M be a closed subset of an ordered Banach space X with normal order cone, and let \(S,T\colon M\to M\) be two continuous weakly isotone mappings satisfying condition \(D_{M}\). Then S and T have a common fixed point.
As an immediate consequence of Theorem 2.2, we can derive the following sharpening of [14], Theorem 2.1.
Corollary 2.8
Let M be a closed subset of an ordered Banach space X with normal order cone, and let \(S,T\colon M\to M\) be two continuous weakly countably condensing weakly isotone mappings. Then S and T have a common fixed point.
Corollary 2.9
Let M be a closed subset of an ordered Banach space X with normal order cone, and let \(S,T\colon M\to M\) be monotonecontinuous such that the pair \((S,T)\) is weakly monotonecondensing. If S is a Tweakly isotone mapping, then S and T have a common fixed point.
Remark 2.6
Corollary 2.9 extends [10], Theorem 3.4. In [10] the pair \((S,T)\) is assumed to be monotonecondensing.
Another consequence of Theorem 2.1 is the following result.
Corollary 2.10
 (i)
S is \(1\psi\)monotonecontractive,
 (ii)
T is ψmonotonecondensing,
 (iii)
S is Tweakly isotone.
3 Application
 \((\mathcal{H}^{\prime}2)\) :

For any countable and bounded set A of E, \(w(F([0,1]\times A))\leq\lambda_{F} w(A)\) and \(w(G([0,1]\times A))\leq\lambda_{G} w(A)\) for some reals \(\lambda_{F},\lambda_{G}>0\), where w is the De Blasi measure of weak noncompactness.
Theorem 3.1
Under the assumptions above, the integral inclusions (3.1) and (3.2) have a common solution in \(C([0,1],E)\), provided that \(\lambda_{F}\lambda_{G}M^{2}<1\).
Proof
Remark 3.1
 1.
The results of [15] are established under much stronger hypotheses on the multivalued mappings F and G, made necessary by the fact that some compactness conditions are imposed (Condition \((\mathcal{H}2)\)). In our considerations, only some conditions expressed in terms of the De Blasi measure of weak noncompactness are required (Condition \((\mathcal{H}^{\prime}2)\)). We also emphasize that it is straightforward to guarantee the existence of solutions for the integral inclusions (3.1) and (3.2) if the De Blasi measure of noncompactness is replaced by any axiomatic measure of weak noncompactness satisfying conditions of Ambrosetti type [16], Theorem 1.1.
 2.
If E is reflexive and F and G are bounded (i.e. map bounded sets into bounded sets), then condition \((\mathcal{H}^{\prime}2)\) is automatically satisfied.
Declarations
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.
Authors’ Affiliations
References
 Agarwal, RP, Hussain, N, Taoudi, MA: Fixed point theorems in ordered Banach spaces and applications to nonlinear integral equations. Abstr. Appl. Anal. 2012, Article ID 245872 (2012). doi:https://doi.org/10.1155/2012/245872 MathSciNetMATHGoogle Scholar
 Dhage, BC: Condensing mappings and applications to existence theorems for common solution of differential equations. Bull. Korean Math. Soc. 36(3), 565578 (1999) MathSciNetMATHGoogle Scholar
 Dhage, BC: A fixed point theorem for multivalued mappings in ordered Banach spaces with applications I. Nonlinear Anal. Forum 10(1), 105126 (2005) MathSciNetMATHGoogle Scholar
 Dhage, BC: A fixed point theorem for multivalued mappings in ordered Banach spaces with applications II. Panam. Math. J. 15(3), 1534 (2005) MathSciNetMATHGoogle Scholar
 Hussain, N, Khan, AR, Agarwal, RP: Krasnoselskii and Ky Fan type fixed point theorems in ordered Banach spaces. J. Nonlinear Convex Anal. 11(3), 475489 (2010) MathSciNetMATHGoogle Scholar
 Hussain, N, Parvaneh, V, Roshan, JR: Fixed point results for Gαcontractive maps with application to boundary value problems. Sci. World J. 2014, Article ID 585964 (2014) Google Scholar
 Hussain, N, AlMezel, S, Salimi, P: Fixed points for ψgraphic contractions with application to integral equations. Abstr. Appl. Anal. 2013, Article ID 575869 (2013) MathSciNetMATHGoogle Scholar
 Cholamjiak, W, Cholamjiak, P, Suantai, S: Convergence of iterative schemes for solving fixed point problems for multivalued nonself mappings and equilibrium problems. J. Nonlinear Sci. Appl. 8(6), 12451256 (2015) MathSciNetMATHGoogle Scholar
 Khan, SH, Gunduz, B, Akbulut, S: Solving nonlinear ϕstrongly accretive operator equations by a onesteptwomappings iterative scheme. J. Nonlinear Sci. Appl. 8(5), 837846 (2015) MathSciNetMATHGoogle Scholar
 Vetro, C: Common fixed points in ordered Banach spaces. Mathematiche LXIII, 93100 (2008) MathSciNetMATHGoogle Scholar
 Guo, D, Chow, YJ, Zhu, J: Partial Ordering Methods in Nonlinear Problems. Nova Publ., New York (2004) Google Scholar
 Banas, J, Rivero, J: On measures of weak noncompactness. Ann. Mat. Pura Appl. 151, 213224 (1988) MathSciNetView ArticleMATHGoogle Scholar
 De Blasi, FS: On a property of the unit sphere in Banach spaces. Bull. Math. Soc. Sci. Math. Roum. 21, 259262 (1977) MATHGoogle Scholar
 Dhage, BC, O’Regan, D, Agarwal, RP: Common fixed point theorems for a pair of countably condensing mappings in ordered Banach spaces. J. Appl. Math. Stoch. Anal. 16(3), 243248 (2003) MathSciNetView ArticleMATHGoogle Scholar
 Turkoglu, D, Altun, I: A fixed point theorem for multivalued mappings and its applications to integral inclusions. Appl. Math. Lett. 20, 563570 (2007) MathSciNetView ArticleMATHGoogle Scholar
 O’Regan, D: Operator equations in Banach spaces relative to the weak topology. Arch. Math. (Basel) 71, 123136 (1998) MathSciNetView ArticleMATHGoogle Scholar