- Research
- Open access
- Published:
Random fixed point theorem of Krasnoselskii type for the sum of two operators
Fixed Point Theory and Applications volume 2013, Article number: 142 (2013)
Abstract
In this paper, we prove some random fixed point theorem for the sum of a weakly-strongly continuous random operator and a nonexpansive random operator in Banach spaces. Our results are the random versions of some deterministic fixed point theorems of Edmund (Math. Ann. 174:233-239, 1967), O’Regan (Appl. Math. Lett. 9:1-8, 1996) and some known results in the literature.
1 Introduction
Probabilistic functional analysis has emerged as one of the momentous mathematical disciplines in view of its requirements in analyzing probabilistic models in applied problems. Random fixed point theorems are stochastic versions of classical or deterministic fixed point theorems and are useful in the study of various classes of random equations. The study of random fixed point theorems was initiated by the Prague school of probabilists in 1950s. Since then there have been several interesting results and a lot of activity in this area has appeared. In 1976, Bharucha Reid [1] has given sufficient conditions for a stochastic analogue of Schauder’s fixed point theorem for random operators. Recently, Spacek [2] and Hans [3] have proved the stochastic analogue of a Banach fixed point theorem in a separable metric space. Moreover, Itoh [4] extended Spacek and Hans’s theorem to a multi-valued contraction random operator. In [5], Xu extended Itoh’s theorem to a nonself-random operator T, where T satisfies either weakly inward (see [5]) or the Leray-Schauder condition (see [5]). The interest in the generalizations of a random fixed point theorem from self-maps to nonself-mappings has been revived after the papers by Sehgal and Waters [6], Sehgal and Singh [7], Papageorgiou [8, 9], Lin [10, 11], Xu [5], Tan and Yuan [12] and Beg and Shahzad [13] and has received much attention in recent years (see, e.g., [14–24]).
In 1955, Krasnoselskii [25] proved that a sum of two mappings has a fixed point, when the mappings are a contraction and compact. Recently, Rao [26] obtained a probabilistic version of Krasnoselskii’s theorem which is a sum of a contraction random operator and a compact random operator on a closed convex subset of a separable Banach space. Moreover, Itoh [4] extended Rao’s result to a sum of a nonexpansive random operator and a completely continuous random operator on a weakly compact convex subset of a separable uniformly convex Banach space. In [10], Lin obtained a sum of a locally almost nonexpansive (see [10]) random operator and a completely continuous random operator on a nonempty closed convex bounded subset of a separable uniformly convex Banach space. In 1996, Shahzad [27] extended Itoh and Lin’s results to a sum of two random nonself-random operators, by assuming an additional condition that the sum of these operators satisfies either weakly inward or the Leray-Schauder condition. See [14, 26] and the references therein. Recently, Vijayaraju [28] proved a random fixed point theorem for a sum of a 1-set-contraction and a compact (completely continuous) mapping and has received much attention in recent years (see, e.g., [29–33]). On the other hand, it is known that the fixed point theorem of Krasnoselskii has nice applications to perturbed mixed type of integral and nonlinear differential equations including the allied areas of mathematics for proving the existence theorems under mixed Lipschitz and compactness conditions (see [34, 35] and the references therein).
In this paper, inspired and motivated by [5, 34] and [35], we obtain a random fixed point theorem for the sum of a weakly-strongly continuous random operator and a nonexpansive random operator which contains as a special Krasnoselskii type of Edmund and O’Regan via the method of measurable selectors.
2 Preliminaries
Throughout this paper, denotes a measurable space, where Ω is a nonempty set and Σ is a σ-algebra of subsets of Ω. Let X be a Banach space and M be a nonempty subset of X. A multi-valued operator is called measurable if for any open subset G of X, , where . Note that if belongs to a compact subsets of X for all , then T is measurable if and only if for every closed subset C of X. A measurable (single-valued) operator is called a measurable selector of a measurable operator if for each . An operator is called a random operator if for each fixed , the operator is measurable. A measurable operator is called a random fixed point of a random operator if and for all .
Let S be a nonempty bounded subset of X. In [28] denote the Kuratowski measure of noncompactness of a bounded set S in X is nonnegative real number defined by
An operator is called compact if is a compact subset of X. An operator T is called an α-Lipschitzian, there is a constant with for all bounded subsets B of X. We call T is completely continuous if it is α-Lipschitzian where . Let M be a nonempty subset of a Banach space X, and is called weakly-strongly continuous if for each sequence in M, which converges weakly to x in M, the sequence converges strongly to Tx. The operator is called a nonlinear contraction if there exists a continuous nondecreasing function satisfying for such that for all . The operator T is called nonexpansive if for all . A random operator is called nonexpansive if for arbitrary , one has for each . A random operator is called nonexpansive (compact, continuous, completely continuous, etc.) if the operator is so for each fixed .
Lemma 2.1 [36]
Let be a complete separable metric space and let be a measurable map. Then F has a measurable selector.
In [34], Edmunds proved the following fixed point theorem.
Theorem 2.2 [34]
Let M be a nonempty bounded closed convex subset of a Hilbert space X and let A, B be two maps from M into X such that
-
(i)
A is weakly-strongly continuous;
-
(ii)
B is a nonexpansive mapping;
-
(iii)
for all .
Then has a fixed point in M.
The following fixed point theorems are crucial for our purposes.
Theorem 2.3 [35]
Let U be an open set in a closed convex set M of a Banach space X. Assume that , is bounded and is given by , where A and B are two maps from into X satisfying
-
(i)
A is continuous and completely continuous;
-
(ii)
B is a nonlinear contraction.
Then either
-
(A1)
T has a fixed point in ; or
-
(A2)
there is a point and with .
Theorem 2.4 [35]
Let X be a Banach space and let Q be a closed convex bounded subset of X with . In addition, assume that is given by , where A and B are two maps from Q into X satisfying
-
(i)
A is continuous and compact;
-
(ii)
B is a nonlinear contraction;
-
(iii)
if is a sequence in converging to with and , then for j sufficiently large.
Then T has a fixed point.
Theorem 2.5 [35]
Let U be a bounded open convex set in a reflexive Banach space X. Assume that and is given by , where A and B are two maps from into X satisfying
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is demiclosed on .
Then either
-
(A1)
T has a fixed point in ; or
-
(A2)
there is a point and with .
Theorem 2.6 [35]
Let U be a bounded open convex set in a uniformly convex Banach space X. Assume that and is given by , where A and B are two maps from into X satisfying
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
In addition, suppose is strongly continuous.
Then either
-
(A1)
T has a fixed point in ; or
-
(A2)
there is a point and with .
Theorem 2.7 [35]
Let U be an open subset of a Banach space X and let be a weakly compact subset of X. Assume that and is given by , where A and B are two maps from into X satisfying
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is demiclosed on .
Then either
-
(A1)
T has a fixed point in ; or
-
(A2)
there is a point and with .
Theorem 2.8 [35]
Let X be a reflexive Banach space and let Q be a closed convex bounded subset of X with . In addition, assume that is given by , where A and B are two maps from Q into X satisfying
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is demiclosed on Q;
-
(iv)
if is a sequence in converging to with and , then for j sufficiently large.
Then T has a fixed point.
Theorem 2.9 [35]
Let X be a uniformly convex Banach space and let Q be a closed convex bounded subset of X with . In addition, assume that is given by , where A and B are two maps from Q into X satisfying
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is strongly continuous;
-
(iv)
if is a sequence in converging to with and , then for j sufficiently large.
Then T has a fixed point.
3 Main result
Lemma 3.1 Let M be a subset of X and let be two operators satisfying:
-
(i)
A is weakly-strongly continuous;
-
(ii)
B is nonexpansive;
-
(iii)
for every .
Then the mapping defined by is continuous.
Proof Let be a sequence in M converging to a point x in M. Since A is weakly-strongly continuous and B is nonexpansive, we obtain that
Then we have as . That is, as . Hence T is continuous. □
Lemma 3.2 Let M be a nonempty bounded closed convex subset of a Banach space X and let be two maps from M into X such that
-
(i)
A is weakly-strongly continuous;
-
(ii)
B is nonexpansive;
-
(iii)
for every .
Then the set is closed.
Proof Define a mapping by . By Theorem 2.2 then we have
is nonempty. To show that is a closed subset of M, let be a sequence of with . Since T is continuous, it follows by Lemma 3.1 that
Hence and therefore is a closed subset of M. □
Theorem 3.3 Let M be a nonempty bounded closed convex subset of a separable Banach space X and let be two random operators satisfying, for each ,
-
(i)
A is weakly-strongly continuous;
-
(ii)
B is nonexpansive;
-
(iii)
for every .
Then has a random fixed point in .
Proof Define an operator by
Since A and B are random operators, and are X-valued random variables for all x in M. Since X is a separable Banach space, we have is an X-valued random variable. Hence T is a random operator on M. Moreover, by Lemma 3.1 we note that T is a continuous random operator on M. Define a multi-valued map by
By Theorem 2.2 and Lemma 3.2, is nonempty and closed for each . Thus, to show the measurability of F, let D be a closed subset of X. It is sufficient to show that is measurable. Denote
where and . Obviously, is a measurable subset of Ω. We will show that . Obviously, . As in Itoh [4], it is proved that . Thus , and so F is measurable on Ω. Since is compact, it has closed values for each . By Lemma 2.1, F admits a measurable selector, i.e., there is a measurable mapping such that for all . By definition of , which implies that , hence . This completes the proof. □
Theorem 3.4 Let M be a nonempty bounded closed convex separable subset of a reflexive Banach space X and let be given by , where are two operators satisfying
-
(i)
A is weakly-strongly continuous random;
-
(ii)
B is nonexpansive random;
-
(iii)
for each and each ;
-
(iv)
X is strictly convex and is demiclosed at zero.
Then has a random fixed point in .
Proof Define an operator by
By Theorem 3.3 we have T is a random operator on M. For each ω in Ω, the set
is nonempty and closed. Since X is strictly convex, is convex. This implies that is weakly compact, we show that F is ω-measurable, i.e., for each in , the dual space of X, the numerically valued function is measurable. Let for each integer , the set
Thus is closed as T is continuous. Moreover, by Itoh [4], each is measurable. Since M is separable, the weak topology on M is metrizable. Let be a metric on M which induces the weak topology on M and let be the Hausdorff metric produced by . We shall show that
In fact, since decreases to , the limit in (3.1) exists, and we denote it by . Then it is easily seen that
If , then there exists, for each , a in such that
Since is compact, there exists a subsequence of such that for some , i.e., converges weakly to y. Then we obtain that
On the other hand, since and is demiclosed at zero, it follows that , i.e., . This is a contradiction to (3.4). Hence
Now, by Itoh [4], we have F is ω-measurable. Thus by Lemma 2.1, there exists a ω-measurable selector x of F, i.e., for each , is measurable as a numerically-valued function on Ω. Since M is separable, x is measurable. This x is a random fixed point of T. This completes the proof. □
Similarly we can prove the following, which concerns Theorem 3.3, using the result of Theorem 2.3.
Theorem 3.5 Let U be an open set in a closed, convex set M of a separable Banach space X. Assume that , is bounded and is given by , where A and B two random operators from into X satisfying, for each ,
-
(i)
A is continuous and completely continuous;
-
(ii)
B is a nonlinear contraction;
-
(iii)
there does not exist a such that for any measurable with , where ∂U is a boundary of .
Then T has a random fixed point in .
By Theorem 2.4 and the same as in the proof of Theorem 3.3, we obtain the following.
Theorem 3.6 Let X be a separable Banach space and let Q be a closed, convex, bounded subset of X with . In addition, assume that is given by , where A and B two random operators from into X satisfying, for each ,
-
(i)
A is continuous and compact;
-
(ii)
B is a nonlinear contraction;
-
(iii)
if is a sequence in converging to with and for some measurable with , then for j sufficiently large.
Then T has a random fixed point.
We can prove the following, which concerns Theorem 3.3, using the result of Theorem 2.5.
Theorem 3.7 Let U be a bounded open convex set in a separable reflexive Banach space X. Assume that and is given by , where A and B are two random operators from into X satisfying, for each ,
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is demiclosed on ;
-
(iv)
there does not exist a such that for any measurable with , where ∂U is a boundary of .
Then T has a random fixed point in .
The proof of the following is similar to Theorem 3.3 and in this case we invoke Theorem 2.3 instead of Theorem 2.6 in the proof.
Theorem 3.8 Let U be a bounded open convex set in a separable uniformly convex Banach space X. Assume that and is given by , where A and B are two random operators from into X satisfying, for each ,
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is strongly continuous;
-
(iv)
there does not exist a such that for any measurable with , where ∂U is a boundary of .
Then T has a random fixed point in .
The proof of the following can be given by using Theorem 3.3 and the result of Theorem 2.7.
Theorem 3.9 Let U be an open subset of a separable Banach space X and let be a weakly compact subset of X. Assume that and is given by , where A and B are two random operators from into X satisfying, for each ,
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is demiclosed on ;
-
(iv)
there does not exist a such that for any measurable with , where ∂U is a boundary of .
Then T has a random fixed point in .
We can prove the following by Theorem 3.3 and using the result of Theorem 2.8.
Theorem 3.10 Let X be a separable reflexive Banach space and let Q be a closed, convex, bounded subset of X with . In addition, assume that is given by , where A and B are two random operators from into X satisfying, for each ,
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is demiclosed on Q;
-
(iv)
if is a sequence in converging to with and for some measurable with , then for j sufficiently large.
Then T has a random fixed point.
By the same proof of Theorem 3.3 and the result of Theorem 2.9, we have the following.
Theorem 3.11 Let X be a separable uniformly convex Banach space and let Q be a closed, convex, bounded subset of X with . In addition, assume that is given by , where A and B are two random operators from into X satisfying, for each ,
-
(i)
A is continuous and compact;
-
(ii)
B is a nonexpansive map;
-
(iii)
is strongly continuous;
-
(iv)
if is a sequence in converging to with and for some measurable with , then for j sufficiently large.
Then T has a random fixed point.
References
Bharucha-Reid AT: Fixed point theorems in probabilistic analysis. Bull. Am. Math. Soc. 1976, 82: 641–645. 10.1090/S0002-9904-1976-14091-8
Spacek A: Zufallige Gleichungen. Czechoslov. Math. J. 1955, 5: 462–466.
Hans O: Reduzierende zufallige Transformationen. Czechoslov. Math. J. 1957, 7: 154–158. (in Czech)
Itoh S: Random fixed-point theorems with an application to random differential equations in Banach spaces. J. Math. Anal. Appl. 1979, 67(2):261–273. 10.1016/0022-247X(79)90023-4
Xu HK: Some random fixed point theorems for condensing and nonexpansive operators. Proc. Am. Math. Soc. 1990, 110(2):395–400. 10.1090/S0002-9939-1990-1021908-6
Sehgal VM, Waters C: Some random fixed point theorems for condensing operators. Proc. Am. Math. Soc. 1984, 90: 425–429. 10.1090/S0002-9939-1984-0728362-7
Sehgal VM, Singh SP: On random approximations and a random fixed point theorem for set-valued mappings. Proc. Am. Math. Soc. 1985, 95: 91–94. 10.1090/S0002-9939-1985-0796453-1
Papageorgiou NS: Random fixed point theorems for measurable multifunctions in Banach spaces. Proc. Am. Math. Soc. 1986, 97: 507–514. 10.1090/S0002-9939-1986-0840638-3
Papageorgiou NS: Random fixed points and random differential inclusions. Int. J. Math. Math. Sci. 1988, 11: 551–560. 10.1155/S0161171288000663
Lin TC: Random approximations and random fixed point theorems for continuous 1-set-contractive random maps. Proc. Am. Math. Soc. 1995, 123: 1167–1176.
Lin TC: Random approximations and random fixed point theorems for nonself maps. Proc. Am. Math. Soc. 1988, 103: 1129–1135. 10.1090/S0002-9939-1988-0954994-0
Tan KK, Yuan XZ: Random fixed point theorems and approximation. Stoch. Anal. Appl. 1997, 15: 103–123. 10.1080/07362999708809466
Beg I, Shahzad N: Applications of the proximity map to random fixed point theorems in Hilbert spaces. J. Math. Anal. Appl. 1995, 196: 606–613. 10.1006/jmaa.1995.1428
Kumam P: Fixed point theorem and random fixed point theorems for set-valued non-self-mappings. Thai J. Math. 2004, 2(2):295–307.
Sintunavarat W, Kumam P, Patthanangkoor P: Common random fixed points for multivalued random operators without S and T -weakly commuting random operators. Random Oper. Stoch. Equ. 2009, 17(4):381–388.
Plubtieng S, Kumam P: Random fixed point theorems for multivalued nonexpansive non-self random operators. J. Appl. Math. Stoch. Anal. 2006., 2006: Article ID 43796
Kumam P, Plubtieng S: Some random fixed point theorems for non-self nonexpansive random operators. Turk. J. Math. 2006, 30: 359–372.
Kumam P, Plubtieng S: Random fixed point theorem for multivalued nonexpansive operators in uniformly nonsquare Banach spaces. Random Oper. Stoch. Equ. 2006, 14(1):35–44.
Kumam P, Plubtieng S: The characteristic of noncompact convexity and random fixed point theorem for set-valued operators. Czechoslov. Math. J. 2007, 57(132):269–279.
Kumam P: Random common fixed points of single-valued and multi-valued random operators in a uniformly convex Banach space. J. Comput. Anal. Appl. 2011, 13(2):368–375.
Kumam P, Plubtieng S: Random fixed point theorems for asymptotically regular random operators. Demonstr. Math. 2009, XLII(1):131–141.
Kumam P, Plubtieng S: Viscosity approximation methods of random fixed point solutions and random variational inequalities in Hilbert spaces. Asian-European J. Math. 2011, 70(1):81–107.
Shahzad N, Latif S: On random approximations and random fixed point theorems for 1-set-contractive random maps. Stoch. Anal. Appl. 2003, 21(4):895–908. 10.1081/SAP-120022868
Shahzad N: Random fixed points of K -set- and pseudo-contractive random maps. Nonlinear Anal., Theory Methods Appl. 2004, 57(2):173–181. 10.1016/j.na.2004.02.006
Krasnoselskii MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 1955, 10: 123–127.
Prakash Rao BLS: Stochastic integral equations of mixed type. J. Math. Phys. Sci. 1971, 7: 245–260.
Shahzad N: Random fixed point theorems for various classes of 1-set-contractive maps in Banach spaces. J. Math. Anal. Appl. 1996, 203(3):712–718. 10.1006/jmaa.1996.0407
Vijayaraju P: Random fixed point theorems for asymptotic 1-set contraction operators. Int. J. Math. Math. Sci. 2002, 7: 407–412.
Shahzad N: Random fixed points of pseudo-contractive random operators. J. Math. Anal. Appl. 2004, 296(1):302–308. 10.1016/j.jmaa.2004.04.017
Shahzad N: Random fixed points of discontinuous random maps. Math. Comput. Model. 2005, 41(13):1431–1436. 10.1016/j.mcm.2004.02.036
Shahzad N, Hussain N: Deterministic and random coincidence point results for f -nonexpansive maps. J. Math. Anal. Appl. 2006, 323(2):1038–1046. 10.1016/j.jmaa.2005.10.057
Al-Thagafi MA, Shahzad N: Krasnosel’skii-type fixed-set results. Fixed Point Theory Appl. 2010., 2010: Article ID 394139
Alghamdi MA, O’Regan D, Shahzad N: Krasnosel’skii type fixed point theorems for mappings on nonconvex sets. Abstr. Appl. Anal. 2012., 2012: Article ID 267531
Edmunds DE: Remarks on nonlinear functional equation. Math. Ann. 1967, 174: 233–239. 10.1007/BF01360721
O’Regan D: Fixed point theory for the sum of two operators. Appl. Math. Lett. 1996, 9: 1–8.
Wagner D-H: Survey of measurable selection theorems. SIAM J. Control Optim. 1977, 15: 859–903. 10.1137/0315056
Acknowledgements
The first author would like to thank the Thailand Research Fund for financial support and the second author is also supported by the Royal Golden Jubilee Program under Grant PHD/0282/2550, Thailand.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The work presented here was carried out in collaboration between all authors. SP and AA defined the research theme. SP designed theorems and methods of proof and interpreted the results. AA proved the theorems, interpreted the results and wrote the paper. All authors have contributed to, seen and approved the 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
Arunchai, A., Plubtieng, S. Random fixed point theorem of Krasnoselskii type for the sum of two operators. Fixed Point Theory Appl 2013, 142 (2013). https://doi.org/10.1186/1687-1812-2013-142
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-142