Abstract
In this paper we present some fixed point results for the sum of two mappings where S is a strict contraction and T is not necessarily weakly compact and satisfies a new condition formulated in terms of an axiomatic measure of weak noncompactness. Our fixed point results extend and improve several earlier results in the literature. In particular, our results encompass the analogues of Krasnosel’skii’s and Sadovskii’s fixed point theorems for sequentially weakly continuous mappings and a number of their generalizations. Finally, an application to integral equations is given to illustrate the usability of the obtained results.
MSC:37C25, 40D05, 31B10.
Similar content being viewed by others
Dedication
Dedicated to Professor Wataru Takahashi on the occasion of his seventieth birthday
1 Introduction
In 1930, Schauder proved that every continuous and compact mapping from a nonempty closed convex subset of a Banach space to itself has a fixed point. This result remained an important tool to solve differential and integral equations. In several situations, where the condition of compactness creates some difficulties, the Tychonov fixed point theorem appears as a good alternative. It asserts that every weakly continuous and weakly compact mapping from a nonempty closed convex subset of a Banach space to itself has a fixed point. As long as the Banach space is reflexive, the weak compactness offers no problem since every bounded subset is relatively weakly compact and therefore the weak continuity suffices to prove nice existence results for differential and integral equations [1, 2]. In 1977, De Blasi [3] introduced the concept of measure of weak noncompactness and proved the analogue of Sadovskii’s fixed point theorem for the weak topology (see also [4]). As stressed in [5], in many applications, it is always not possible to show the weak continuity of the involved mappings, while the sequential weak continuity offers no problem. This is mainly due to the fact that Lebesgue’s dominated convergence theorem is valid for sequences but not for nets. Recall that a mapping between two Banach spaces is sequentially weakly continuous if it maps weakly convergent sequences into weakly convergent sequences. So, Arino, Gautier and Penot proved the analogue of Schauder’s fixed point theorem for sequentially weakly continuous mappings. Since then, several fixed point theorems have been proved for sequentially weakly continuous mappings of Darbo type, Sadovskii type [6, 7] and Krasnosel’skii type [8–12] and many others. More recently, a generalized version of Sadovskii’s fixed point theorem for sequentially weakly continuous mappings has been proved in [13]. Based on the concept of power-convex condensing mapping, this new fixed point theorem allowed, in many applications, to avoid some contractiveness conditions generated by the use of classical Sadovskii’s fixed point theorem. Roughly speaking, the idea was to reason on the iterates of the given mapping instead of the mapping itself. Stimulated by some real world applications, we introduce the concept of power-convex condensing pair of sequentially weakly continuous mappings. We prove some fixed point theorems for the sum where S is a strict contraction while T is power-convex condensing w.r.t. S. In some applications, the concepts of ws-compactness and ww-compactness seem to be more practical than the sequential weak continuity. These concepts arise naturally in the study of both integral and partial differential equations in nonreflexive Banach spaces (see [7, 14–16] and the references therein). We prove some fixed point theorems for the sum where S is a ww-compact strict contraction while T is ws-compact and power-convex condensing w.r.t. S without the sequential weak continuity of the involved mappings. The presented results extend all the fixed point theorems quoted above. As an application, we investigate the existence of continuous solutions to a perturbed Volterra integral equation which extends the corresponding results of [13] and many others. For convenience, we first recall some basic concepts and notations. Let E be a Banach space, let be the collection of all nonempty bounded subsets of E, and let be the subset of consisting of all weakly compact subsets of E. Let denote the closed ball in E centered at 0 with radius . The De Blasi [3] measure of weak noncompactness is the map defined by
for all . For completeness, we enumerate some properties of w which we will tacitly use in the sequel. Let , then we have the following:
-
(1)
if and only if A is relatively weakly compact;
-
(2)
, where is the weak closure of A;
-
(3)
, where denotes the convex hull of A;
-
(4)
if , then ;
-
(5)
;
-
(6)
for , where ;
-
(7)
, where ;
-
(8)
if is a sequence of nonempty, weakly closed subsets of E with bounded and with , then and .
By a measure of weak noncompactness, we mean a map satisfying the properties (1)-(8) quoted above. In what follows, we need the following definition. Let E be a Banach space, let M be a nonempty closed convex subset of E, and let be two nonlinear mappings and . For any , we set
and
for .
Definition 1.1 Let E be a Banach space, let M be a nonempty closed convex subset of E, and let μ be a measure of weak noncompactness on E. Let be two bounded mappings (i.e., they take bounded sets into bounded ones) and . We say that T is an S-convex-power condensing operator about and w.r.t. μ if for any bounded set with we have
Obviously, is power-convex condensing with respect to μ about and [13] if and only if it is a 0-convex-power condensing operator about and w.r.t. μ.
The following results are crucial for our purposes. We first state a theorem of Ambrosetti type (see [17] for a proof).
Theorem 1.1 Let E be a Banach space and let be bounded and equicontinuous. Then the map is continuous on and
where and .
Theorem 1.2 [[18], Theorem 9]
Let S be a Hausdorff compact space and E be a Banach space. A bounded sequence converges weakly to if and only if, for every , the sequence converges weakly (in E) to .
Definition 1.2 A mapping is called k-Lipschitzian if for all . T is called strict contraction if and nonexpansive if .
Lemma 1.1 [11]
Let M be a subset of E and let be a k-Lipschitzian map. Assume that T is a sequentially weakly continuous map. Then for each bounded subset A of M; here, stands for the De Blasi measure of weak noncompactness.
Definition 1.3 We say that is demiclosed if for any sequence weakly convergent to an element with norm-convergent to an element y, then .
Theorem 1.3 [[19], Theorem 5.1.2]
Let M be a bounded closed convex subset of a Banach space X, and let T be a nonexpansive mapping of M into M. Then, for each , there is an such that .
2 Fixed point theory for the sum in the weak topology
Theorem 2.1 Let M be a nonempty bounded closed convex subset of a Banach space E, and let μ be a measure of weak noncompactness on E. Suppose that and are two mappings satisfying:
-
(i)
T is sequentially weakly continuous,
-
(ii)
S is a strict contraction,
-
(iii)
there are an integer and a vector such that T is S-power-convex condensing w.r.t. μ about and ,
-
(iv)
if , for some , then ,
-
(v)
if is a sequence in such that , then .
Then has at least one fixed point in M.
Proof Let . The map which assigns to each the value defines a strict contraction mapping from E into itself and so it has a unique fixed point in E by the contraction mapping principle [19]. Let us denote by the map which assigns to each the unique point in M such that . From assumption (iv) we infer that . Notice
for all . Let
The set Γ is nonempty since . Set . Now we show that for any positive integer n we have
To see this, we proceed by induction. Clearly C is a closed convex subset of M and . Thus . This implies . Hence . Consequently, . Hence . As a result . This shows that holds. Let n be fixed and suppose holds. This implies
Consequently,
Thus, for all we have
Using the properties of the measure of weak noncompactness, we get
which yields that C is weakly compact. We claim now that is sequentially weakly continuous. Indeed, let be a sequence in C such that in C. Since , then there exists a subsequence of such that for some . By (v) . Also from (i) it follows that and hence the equality gives us . By uniqueness, we conclude that .
Accordingly, we have
Now a standard argument shows that
Suppose the contrary, then there exist a weak neighborhood of and a subsequence of such that for all . Naturally, converges weakly to y. Then, arguing as before, we may extract a subsequence of such that , which is absurd since for all . Finally, τ is weakly sequentially continuous. Applying the Arino-Gautier-Penot fixed point theorem [5], we infer that there exists such that
□
It is worthwhile to emphasize that Theorem 2.1 encompasses a lot of previously known results. In particular, if we take in Theorem 2.1, we recapture the following fixed point theorem, which was proved in [[13], Theorem 2.1].
Corollary 2.1 Let M be a nonempty bounded closed convex subset of a Banach space X. Suppose that is weakly sequentially continuous and there exist an integer and a vector such that T is power-convex condensing about and . Then T has at least one fixed point in M.
Another consequence of Theorem 2.1 is the following result, which is a sharpening of [[20], Theorem 2.9].
Corollary 2.2 Let M be a nonempty bounded closed convex subset of a Banach space E. Suppose that and are two mappings satisfying:
-
(i)
T is sequentially weakly continuous,
-
(ii)
S is a strict contraction with constant k,
-
(iii)
there exists an integer such that is relatively weakly compact,
-
(iv)
if , for some , then ,
-
(v)
if is a sequence in such that , then .
Then has at least one fixed point in M.
In order to state another consequence of Theorem 2.1, the following abstract lemma is very useful.
Lemma 2.1 Assume that the conditions (i), (ii) and (iv) of Theorem 2.1 hold. If, moreover, S is sequentially weakly continuous and is relatively weakly compact, then the set is relatively weakly compact.
Proof From the definition of ℱ it follows that
Keeping in mind that is relatively weakly compact and using Lemma 1.1, we get
Since , then and therefore ℱ is relatively compact. □
On the basis of Lemma 2.1, the following Krasnosel’skii-type fixed point theorem follows from Theorem 2.1.
Corollary 2.3 [[8], Theorem 2.1]
Let M be a nonempty bounded closed convex subset of a Banach space E. Suppose that and are two sequentially weakly continuous mappings satisfying:
-
(i)
is relatively weakly compact,
-
(ii)
S is a strict contraction,
-
(iii)
if , for some , then .
Then has at least one fixed point in M.
Now we consider the case where S is nonexpansive.
Theorem 2.2 Let E be a Banach space and μ be a measure of weak noncompactness on E. Let M be a nonempty bounded closed convex subset of E, and let be two sequentially weakly continuous mappings satisfying:
-
(i)
there are an integer n and a vector such that T is S-power-convex condensing w.r.t. μ,
-
(ii)
S is a nonexpansive mapping,
-
(iii)
if is a sequence of M such that is weakly convergent, then the sequence has a weakly convergent subsequence,
-
(iv)
is injective and demiclosed,
-
(v)
for all .
Then has at least one fixed point in M.
Proof Let . The map which assigns to each the value defines a nonexpansive mapping from M into M. In view of Theorem 1.3, there exists a sequence in M such that
By assumption (iii) we have that has a subsequence, say , which converges to some . Since is demiclosed, then . Hence . Consequently, . Let us denote by τ the map which assigns to each the point such that . Since is injective, then is well defined. It is easily seen that
for all . Let
The set Γ is nonempty since . Set . Proceeding by induction, we have
for any integer n. Using the properties of the measure of weak noncompactness, we get
which yields that C is weakly compact. The reasoning in Theorem 2.1 shows that is sequentially weakly continuous. Applying the Arino-Gautier-Penot fixed point theorem, we infer that there exists such that
□
An easy consequence of Theorem 2.2 is the following.
Corollary 2.4 Let M be a nonempty bounded closed convex subset of a reflexive Banach space E, and let μ be a measure of weak noncompactness on E. Suppose that are two continuous mappings satisfying:
-
(i)
there are an integer n and a vector such that T is S-power-convex condensing w.r.t. μ,
-
(ii)
S is nonexpansive,
-
(iii)
is injective and demiclosed,
-
(iv)
for all .
Then has at least one fixed point in M.
Proof Keeping in mind that every bounded subset in a reflexive Banach space is relatively weakly compact, the result follows from Theorem 2.2. □
Corollary 2.5 Let M be a nonempty bounded closed convex subset of a uniformly convex Banach space E. Suppose that are two continuous mappings satisfying:
-
(i)
there are an integer n and a vector such that T is S-power-convex condensing w.r.t. μ,
-
(ii)
S is nonexpansive and is injective,
-
(iii)
for all .
Then has at least one fixed point in M.
Proof Note that in a uniformly convex space we have S is nonexpansive implies is demiclosed (see [21]). Moreover, every uniformly convex Banach space is reflexive. The result follows from Corollary 2.4. □
In some applications, the sequential weak continuity condition is not easy to be verified. We thus consider the following two conditions: let be a map.
-
(H1)
If is a weakly convergent sequence in , then has a strongly convergent subsequence in E.
-
(H2)
If is a weakly convergent sequence in , then has a weakly convergent subsequence in E.
Remark 2.1 Continuous mappings satisfying (H1) are called ws-compact mappings and continuous mappings satisfying (H2) are called ww-compact mappings. Note that ws-compact and ww-compact mappings are not necessarily weakly continuous [12].
Now we state the following result.
Theorem 2.3 Let M be a nonempty bounded closed convex subset of a Banach space E, and let μ be a measure of weak noncompactness on E. Suppose that and are two continuous mappings satisfying:
-
(i)
T verifies (H1),
-
(ii)
S is a strict contraction verifying (H2),
-
(iii)
there are an integer and a vector such that T is S-power-convex condensing w.r.t. μ about and ,
-
(iv)
if , for some , then .
Then has at least one fixed point in M.
Proof Let . The map which assigns to each the value defines a strict contraction mapping from E into itself and so it has a unique fixed point in E by the contraction mapping principle [19]. Let us denote by the map which assigns to each the unique point in M such that . From assumption (iv) we infer that . Notice
for all . Let
The set Γ is nonempty since . Set . The reasoning in Theorem 2.1 shows that for any positive integer n we have
Using the properties of the measure of weak noncompactness, we get
which yields that C is weakly compact. Put the closed convex hull of . We claim that D is compact. Indeed, let be a sequence in C. Since C is weakly compact, then, up to a subsequence, we may assume that converges weakly to some . Bearing in mind that T satisfies (H1), we infer that has a norm convergent sequence, say , which converges to some . From the equality
it follows that for any p, q we have
Accordingly,
This implies that is a Cauchy sequence in the Banach space E and hence it is convergent. Thus, is relatively compact and therefore is compact (see [22]). We now claim that is continuous. Indeed, let be a sequence in D such that in D. The continuity of T guarantees that . Hence,
Accordingly,
Consequently, . This proves that is continuous. The Schauder fixed point theorem guarantees the existence of such that
□
The case in Theorem 2.3 corresponds to the following result, which was proved in [[12], Theorem 2.1].
Corollary 2.6 Let E be a Banach space and μ be a measure of weak noncompactness on E. Let be a nonempty closed convex and bounded subset, , and let be a positive integer. Suppose that is power-convex condensing w.r.t. μ about and . If T is ws-compact, then there exists such that .
Another consequence of Theorem 2.3 is the following.
Corollary 2.7 Let M be a nonempty bounded closed convex subset of a Banach space E, and let μ be a measure of weak noncompactness on E. Suppose that and are two continuous mappings satisfying:
-
(i)
T verifies (H1),
-
(ii)
S is a strict contraction verifying (H2),
-
(iii)
there are an integer and a vector such that is relatively weakly compact,
-
(iv)
if , for some , then .
Then has at least one fixed point in M.
On the basis of Lemma 2.1 the following Krasnosel’skii-type fixed point theorem follows from Corollary 2.7.
Corollary 2.8 [[15], Theorem 2.1]
Let M be a nonempty bounded closed convex subset of a Banach space E. Suppose that and are two continuous mappings satisfying:
-
(i)
is relatively weakly compact and T satisfies (H1),
-
(ii)
S is a strict contraction and S verifies (H2),
-
(iii)
if , for some , then .
Then has at least one fixed point in M.
3 Application
In this section we shall discuss the existence of weak solutions to the Volterra integral equation
here , and with X being a real Banach space. The integral in (3.1) is understood to be the Pettis integral and solutions to (3.1) will be sought in .
This equation will be studied under the following assumptions:
-
(i)
For each , is sequentially weakly continuous (i.e., for each , for each weakly convergent sequence , the sequence is weakly convergent).
-
(ii)
For each continuous , is Pettis integrable on .
-
(iii)
There exist and a nondecreasing continuous function such that for a.e. , and all , with
-
(iv)
There is a constant such that for any bounded subset S of X and for any , we have
-
(v)
is sequentially weakly continuous.
-
(vi)
There exists such that for all .
Theorem 3.1 Let X be a Banach space and suppose (i)-(vi) hold. Then (3.1) has a solution in .
Proof Let
where
Clearly,
for all . Also notice that M is a closed, convex, bounded, equicontinuous subset of with . To allow the abstract formulation of equation (3.1), we define the following operators by
and
Our strategy is to apply Theorem 2.1 to show the existence of a fixed point for the sum in M which in turn is a continuous solution for equation (3.1). The proof will be divided into several steps.
Step 1: We show that implies .
Let such that with . For all we have
Hence,
Accordingly,
On the other hand, let with and let . Then
Accordingly,
Consequently, .
Step 2: Now we show that there is an integer such that T is S-power-convex condensing w.r.t. w about 0 and , where w is the De Blasi measure of weak noncompactness. To see this, notice, for each bounded set and for each , that
Thus
Consequently,
Further,
Theorem 1.1 implies (since M is equicontinuous) that
Linking (3.7) and (3.8), we get
Using (3.7) we obtain
Put . The use of (3.8) yields
Fix . We divide the interval into m parts in such a way that , . For each , we have
Using again Theorem 1.1, we infer that for each , there is an such that
Consequently,
On the other hand, if then
Thus,
Using the regularity, the set additivity, the convex closure invariance of the De Blasi measure of weak noncompactness together with (3.8), we obtain
and therefore
This implies
By induction we get
Invoking Theorem 1.1 we obtain
Since , then there is an with . This implies
This gives the proof of the second step.
Step 3: T is sequentially weakly continuous. Let be a sequence in such that for some . By Theorem 1.2 we have in X for all . By assumption (i) we have for all . The use of the Lebesgue dominated convergence theorem for Pettis integral [[23], Corollary 4] gives for all . Using again Theorem 1.2, we obtain . Thus, T is sequentially weakly continuous.
Applying Theorem 2.1, we get a fixed point for and hence a continuous solution to (3.1). □
References
O’Regan D: Existence results for nonlinear integral equation. J. Math. Anal. Appl. 1995, 192: 705–726. 10.1006/jmaa.1995.1199
O’Regan D: Singular integral equations arising in draining and coating flows. Appl. Math. Comput. 2008, 205(1):438–441. 10.1016/j.amc.2008.08.026
De Blasi FS: On a property of the unit sphere in Banach spaces. Bull. Math. Soc. Sci. Math. Roum. 1977, 21: 259–262.
Emanuelle G: Measures of weak noncompactness and fixed point theorems. Bull. Math. Soc. Sci. Math. Roum. 1981, 25: 353–358.
Arino O, Gautier S, Penot JP: A fixed point theorem for sequentially continuous mappings with application to ordinary differential equations. Funkc. Ekvacioj 1984, 27(3):273–279.
Kubiaczyk I: On a fixed point theorem for weakly sequentially continuous mapping. Discuss. Math., Differ. Incl. 1995, 15: 15–20.
Garcia-Falset J: Existence of fixed points and measure of weak noncompactness. Nonlinear Anal. 2009, 71: 2625–2633. 10.1016/j.na.2009.01.096
Taoudi MA: Krasnosel’skii type fixed point theorems under weak topology features. Nonlinear Anal. 2010, 72: 478–482. 10.1016/j.na.2009.06.086
Barroso CS: Krasnoselskii’s fixed point theorem for weakly continuous maps. Nonlinear Anal. 2003, 55: 25–31. 10.1016/S0362-546X(03)00208-6
Hussain N, Khan AR, Agarwal RP: Krasnosel’skii and Ky Fan type fixed point theorems in ordered Banach spaces. J. Nonlinear Convex Anal. 2010, 11(3):475–489.
Agarwal RP, O’Regan D, Taoudi MA: Browder-Krasnoselskii-type fixed point theorems in Banach spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 243716
Agarwal RP, O’Regan D, Taoudi MA: Fixed point theorems for ws-compact mappings in Banach spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 183596
Agarwal RP, O’Regan D, Taoudi MA: Fixed point theorems for convex-power condensing operators relative to the weak topology and applications to Volterra integral equations. J. Integral Equ. Appl. 2012, 24(2):167–181. 10.1216/JIE-2012-24-2-167
Agarwal RP, Nawab H, Taoudi MA: Fixed point theorems in ordered Banach spaces and applications to nonlinear integral equations. Abstr. Appl. Anal. 2012., 2012: Article ID 245872
Latrach K, Taoudi MA, Zeghal A: Some fixed point theorems of the Schauder and the Krasnosel’skii type and application to nonlinear transport equations. J. Differ. Equ. 2006, 221: 256–271. 10.1016/j.jde.2005.04.010
Latrach K, Taoudi MA:Existence results for a generalized nonlinear Hammerstein equation on spaces. Nonlinear Anal. 2007, 66: 2325–2333. 10.1016/j.na.2006.03.022
Mitchell AR, Smith CKL: An existence theorem for weak solutions of differential equations in Banach spaces. In Nonlinear Equations in Abstract Spaces. Edited by: Lakshmikantham V. Academic Press, San Diego; 1978:387–404.
Dobrakov I:On representation of linear operators on . Czechoslov. Math. J. 1971, 21: 13–30.
Smart DR: Fixed Point Theorems. Cambridge University Press, Cambridge; 1980.
Barroso CS, Teixeira EV: A topological and geometric approach to fixed points results for sum of operators and applications. Nonlinear Anal. 2005, 60: 625–650. 10.1016/j.na.2004.09.040
Reinermann J: Fixpunktsatze vom Krasnoselskii-Typ. Math. Z. 1971, 119: 339–344. 10.1007/BF01109885
Dunford N, Schwartz JT: Linear Operators, Part I: General Theory. Interscience, New York; 1958.
Geitz RF: Pettis integration. Proc. Am. Math. Soc. 1981, 82: 81–86. 10.1090/S0002-9939-1981-0603606-8
Acknowledgements
The authors would like to express their thanks to the editor and referees for their helpful comments and suggestions. This work was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under Grant No. (130-053-D1433). The authors, therefore, acknowledge with thanks DSR technical and financial support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Hussain, N., Taoudi, M.A. Krasnosel’skii-type fixed point theorems with applications to Volterra integral equations. Fixed Point Theory Appl 2013, 196 (2013). https://doi.org/10.1186/1687-1812-2013-196
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-196