- Research
- Open access
- Published:
Random approximation with weak contraction random operators and a random fixed point theorem for nonexpansive random self-mappings
Journal of Inequalities and Applications volume 2012, Article number: 16 (2012)
Abstract
In real reflexive separable Banach space which admits a weakly sequentially continuous duality mapping, the sufficient and necessary conditions that nonexpansive random self-mapping has a random fixed point are obtained. By introducing a random iteration process with weak contraction random operator, we obtain a convergence theorem of the random iteration process to a random fixed point for nonexpansive random self-mappings.
1 Introduction
Random nonlinear analysis is an important mathematical discipline which is mainly concerned with the study of random nonlinear operators and their properties and is much needed for the study of various classes of random equations. Random techniques have been crucial in diverse areas from puremathematics to applied sciences. Of course famously random methods have revolutionised the financial markets. Random fixed point theorems for random contraction mappings on separable complete metric spaces were first proved by Spacek [1]. The survey article by Bharucha-Reid [2] in 1976 attracted the attention of several mathematician and gave wings to this theory. Itoh [3] extended Spacek's theorem to multivalued contraction mappings. Now this theory has become the full fledged research area and various ideas associated with random fixed point theory are used to obtain the solution of nonlinear random system (see [4]). Recently Beg [5, 6], Beg and Shahzad [7] and many other authors have studied the fixed points of random maps. Choudhury [8], Park [9], Schu [10], and Choudhury and Ray [11] had used different iteration processes to obtain fixed points in deterministic operator theory. In this article, we study a random iteration process with weak contraction random operator and obtain the convergence theorem of the random iteration process to a random fixed point for nonexpansive random self-mapping. Our main results are the randomizations of most of the results of the recent articles by Song and Yang [12], Song and Chen [13], and Xu [14]. In particular these results extend the corresponding results of Beg and Abbas [15].
2 Preliminaries
Let X be Banach space, we denote its norm by ||·|| and its dual space by X*. The value of x* ∈ X* at y ∈ X is denoted by 〈y, x*〉, and the normalized duality mapping from X into is denoted by J, that is,
A Banach space X is said to be (i) strictly convex if ||x|| = ||y|| = 1, x ≠y implies ;
(ii) uniformly convex if for all ε ∈ [0, 2], there exists δ ε > 0 such that ||x|| = ||y|| = 1 with ||x - y|| ≥ ε implies .
It is well known that each uniformly convex Banach space X is reflexive and strictly convex. Typical examples of both uniformly convex and uniformly smooth Banach spaces are Lpspaces, where p > 1.
Recall that J is said to be weakly sequentially continuous, if for each {x n } ⊂ X with x n ⇀ x, then J(x n ) ⇀* J(x).
Recall that a Banach space X is said to satisfy Opial's condition if, for any {x n } ⊂ X with x n ⇀ x, the following inequality holds:
for y ∈ X with y ≠x. It is well known that the above inequality is equivalent to
for y ∈ X with y ≠x.
It is well known that all Hilbert spaces and lp(p > 1) spaces satisfy Opial's condition, while Lpspaces does not unless p = 2.
Remark 2.1. If X admits a weakly sequentially continuous duality mapping, then X satisfies Opial's condition, and X is smooth, for the details, see [16].
Let (Ω, Σ) be a measurable space (Σ-sigma algebra) and F be a nonempty subset of a Banach space X. A mapping ξ: Ω → X is measurable if ξ-1(U) ∈ Σ for each open subset U of X. The mapping T: Ω × F → F is a random map if and only if for each fixed x ∈ F, the mapping T(·, x): Ω → F is measurable, and it is continuous if for each ω ∈ Ω, the mapping T(ω, ·): F → X is continuous. A measurable mapping ξ: Ω → X is the random fixed point of the random map T: Ω × F → X if and only if T(ω, ξ(ω)) = ξ(ω), for each ω ∈ Ω.
Throughout this article, we denote the set of all random fixed points of random mapping T by RF(T), the set of all fixed points of T(ω, ·) by F(T(ω, ·)) for each ω ∈ Ω, respectively.
Definition 2.1. Let F be a nonempty subset of a separable Banach space X and T: Ω × F → F be a random map. The map T is said to be:
-
(a)
weakly contractive random operator if for arbitrary x, y ∈ F,
for each ω ∈ Ω, where ϕ: [0, ∞) → [0, ∞) is a continuous and nondecreasing map such that ϕ(0) = 0, and limt → ∞ϕ(t) = ∞.
-
(b)
nonexpansive random operator if for each ω ∈ Ω, such that for arbitrary x, y ∈ F we have
-
(c)
completely continuous random operator if the sequence {x n } in F converges weakly to x0 implies that {T(ω, x n )} converges strongly to T(ω, x0) for each ω ∈ Ω.
-
(d)
demiclosed random operator (at y) if {x n } and {y n } are two sequences such that T(ω, x n ) = y n and {x n } converges weakly to x and {T(ω, x n )} converges to y imply that x ∈ F and T(ω, x) = y, for each ω ∈ Ω.
Definition 2.2. Let T: Ω × F → F be a nonexpansive random operator, f: Ω × F → F be a weakly contractive random operator, F is a nonempty convex subset of a separable Banach space X. For each t ∈ (0, 1), the random iteration scheme with weakly contractive random operator is defined by
for each ω ∈ Ω. Since F is a convex set, it follows that for each t ∈ (0,1), ξ t is a mapping from Ω to F.
Remark 2.2. Let F be a closed and convex subset of a separable Banach space X and the random iteration scheme {ξ t } defined as in Definition 2.2 is pointwise convergent, that is, ξ t (ω) → q := ξ(ω) for each ω ∈ Ω. Then closedness of F implies ξ is a mapping from Ω to F. Since F is a subset of a separable Banach space X, so, if T is a continuous random operator then by [17, Lemma 8.2.3], the map ω → T(ω, f(ω)) is a measurable function for any measurable function f from Ω to F. Thus {ξ t } is measurable. Hence ξ: Ω → F, being the limit of {ξ t }, is also measurable.
Lemma 2.1.([15]). Let F be a closed and convex subset of a complete separable metric space X, and T: Ω × F → F be a weakly contractive random operator. Then T has unique random fixed point.
Lemma 2.2. Let X be a real reflexive separable Banach space which satisfies Opial's condition. Let K be a nonempty closed convex subset of X, and T: Ω × K → K is nonexpansive random mapping. Then, I - T is demiclosed at zero.
Proof From Zhou [18], it is easy to imply the conclusion of Lemma 2.2 is valid.
3 Main results
Theorem 3.1 Let X be a real reflexive separable Banach space which admits a weakly sequentially continuous duality mapping from X to X*, and K be a nonempty closed convex subset of X. Suppose that T: Ω × K → K is nonexpansive random mapping and f: Ω × K → K is a weakly contractive random mapping with a function φ, then
-
(i)
for each t ∈ (0, 1), there exists a unique measurable mapping ξ t from Ω into X such that
for each ω ∈ Ω.
-
(ii)
T has a random fixed point if and only if {ξ t (ω)} is bounded as t → 0 for each ω ∈ Ω. In this case, {ξ t } converges strongly to some random fixed point ξ* of T such that ξ* is the unique random solution in RF(T) to the following variational random inequality:
(3.1)
Proof For each t ∈ (0, 1), we define a random mapping S t : Ω × K → K by S t (ω, x) = tf(ω, x) + (1 - t)T(ω, x) for each (ω, x) ∈ Ω × K, then for any x, y ∈ K and each ω ∈ Ω, and ψ(·) = tφ(·) we have
Thus, S t : Ω × K → K is a weakly contractive random mapping with a function ψ, it follows from Lemma 2.1 that there exists a unique random fixed point of S t , say ξ t such that for each ω ∈ Ω,
This completes the proof of (i).
Next we shall show the uniqueness of the random solution of the variational random inequality (3.1) in RF(T). In fact, suppose ξ1(ω), ξ2(ω) ∈ RF(T) satisfy (3.1), we see that
for each ω ∈ Ω. Adding (3.3) and (3.4) up, we have that
Thus putting ϕ(||ξ1(ω) - ξ2(ω)||) = ||ξ1(ω) - ξ2(ω)||φ(||ξ1(ω) - ξ2(ω)||), we have
for each ω ∈ Ω. By the property of ϕ, we obtain that ξ1(ω) = ξ2(ω) for each ω ∈ Ω and the uniqueness is proved.
(ii) Let ξ: Ω → F be the random fixed point of T, then we have from (3.2) that
Therefore,
for each ω ∈ Ω, which implies that {φ(||ξ t (ω) - ξ(ω)||)} is bounded for each ω ∈ Ω.It further implies {||ξ t (ω) - ξ(ω)||} is bounded by the property of φ for each ω ∈ Ω. So {ξ t (ω)} is bounded for each ω ∈ Ω.
On the other hand, suppose that {ξ t (ω)} is bounded for each ω ∈ Ω, and hence {T(ω, ξ t (ω))} is bounded for each ω ∈ Ω. By (3.2), we have that
for each ω ∈ Ω. Thus {f(ω, ξ t (ω))} is bounded for each ω ∈ Ω. Using t → 0, this implies that
for each ω ∈ Ω.
By reflexivity of X and boundedness of {ξ t (ω)}, there exists such that for each ω ∈ Ω. Taken together with Banach space X with a weakly sequentially continuous duality mapping satisfying Opial's condition [[16], Theorem 1], it follows from Lemma 2.2 that ξ* ∈ RF(T). Therefore
Furthermore, in (3.5), interchange ξ(ω) and ξ*(ω) to obtain
Using that the duality map J is single-valued and weakly sequentially continuous from X to X*, we get that
and hence, , for each ω ∈ Ω, by the property of strongly converges to ξ* ∈ RF(T).
Next we show that ξ*: Ω → F is a random solution in RF(T) to the variational random inequality (3.1). In fact, for any ξ: Ω → F ∈ RF(T), we have from (3.2),
for each ω ∈ Ω. Therefore,
for each ω ∈ Ω. Since the duality map J is single-valued and weakly sequentially continuous from X to X*, for any ξ ∈ RF(T), by , we have from (3.6) that
for each ω ∈ Ω. That is, ξ* ∈ RF(T) is a random solution of the variational random inequality (3.1). To prove the entire sequence of function {ξ t (ω): 0 < t < 1} strongly converges to ξ*(ω) for each ω ∈ Ω. Suppose that there exists another subsequence of functions such that as t k → 0 for each ω ∈ Ω. Then we also have η* ∈ RF(T) and η* is a random solution of the variational random inequality (3.1). Hence, η*(ω) = ξ*(ω) by uniqueness for each ω ∈ Ω. Therefore, ξ t → ξ* as t → 0. This complete the proof of (ii).
Remark 3.1 The above theorem is a randomization of the results by Song and Yang [12], Song and Chen [13]. In particular this result extends the corresponding result of Beg and Abbas [15].
As some Corollaries of the above theorem, we now obtain a random version of the results given in Xu [14].
Corollary 3.1 Let X, K, T be as in Theorem 3.1, f: Ω × K → K is a contractive random mapping, then
-
(i)
for each t ∈ (0, 1), there exists a unique measurable mapping ξ t from Ω into X such that
for each ω ∈ Ω.
-
(ii)
T has a random fixed point if and only if {ξ t (ω)} is bounded as t → 0 for each ω ∈ Ω. In this case, {ξ t } converges strongly to some random fixed point ξ* of T such that ξ* is the unique random solution in RF(T) to the variational random inequality (3.1).
Corollary 3.2 Let X, K, T be as in Theorem 3.1, for any given measurable mapping ξ: Ω → K, then
-
(i)
for each t ∈ (0, 1), there exists a unique measurable mapping ξ t from Ω into X such that
for each ω ∈ Ω.
-
(ii)
T has a random fixed point if and only if {ξ t (ω)} is bounded as t → 0 for each ω ∈ Ω. In this case, {ξ t } converges strongly to some random fixed point ξ* of T such that ξ* is the unique random solution in RF(T) to the variational random inequality (3.1).
References
Spacek A: Zufallige gleichungen. Czechoslovak Math J 1955, 5: 462–466.
Bharucha-Reid AT: Fixed point theorems in probabilistic analysis. Bull Am Math Soc 1976, 82: 641–657.
Itoh S: Random fixed point theorems with an application to random differential equations in Banach spaces. J Math Anal Appl 1979, 67: 261–273.
Bharucha-Reid AT: Random Integral Equations. Academic Press, New York; 1972.
Beg I: Approximation of random fixed points in normed spaces. Nonlinear Anal 2002, 51: 1363–1372.
Beg I: Minimal displacement of random variables under Lipschitz random maps. Topol Methods Nonlinear Anal 2002, 19: 391–397.
Beg I, Shahzad N: Random fixed point theorems for nonexpansive and contractive type random operators on Banach spaces. J Appl Math Stochastic Anal 1994, 7: 569–580.
Choudhury BS: Convergence of a random iteration scheme to a random fixed point. J Appl Math Stochastic Anal 1995, 8: 139–142.
Park JA: Mann iteration process for the fixed point of strictly pseudocontractive mappings in some Banach spaces. J Korean Math Soc 1994, 31: 333–337.
Schu J: Iterative construction of fixed points of strictly quasicontractive mappings. Appl Anal 1991, 40: 67–72.
Choudhury BS, Ray M: Convergence of an iteration leading to a solution of a random operator equation. J Appl Math Stochastic Anal 1999, 12: 161–168.
Song YS, Yang CS: Solving variational inequality with weak contraction using viscosity approximation methods. Acta Math Sci 2009, 29: 656–668.
Song YS, Chen RD: Iterative approximation to common fixed points of nonexpansive mapping sequences in reflexive Banach spaces. Nonlinear Anal: Theory Methods Appl 2007, 66: 591–603.
Xu HK: Viscosity approximation methods for nonexpansive mappings. J Math Anal Appl 2004, 298: 279–291.
Beg I, Abbas M: Iterative procedures for solutions of random operator equations in Banach spaces. J Math Anal Appl 2006, 315: 181–201.
Gossez JP, Lami Dozo E: Some geometric properties related to the fixed point theory for nonexpansive mappings. Pacific J Math 1972, 40: 565–573.
Aubin JP, Frankowska H: Set-Valued Analysis. Birkhaser, Boston; 1990.
Zhou HY: Convergence theorems of common fixed points for a finite family of Lipschitzian pseudocontractions in Banach spaces. Nonlinear Anal 2008, 68: 2977–2983.
Acknowledgements
The authors were grateful to the anonymous referees for their precise remarks and suggestions which led to improvement of the article. SL was supported by the Natural Science Foundational Committee of Hebei Province (Z2011113).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
SL and XX carried out the proof of convergence of the theorems. LL and JL carried out the check of the manuscript. 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
Li, S., Xiao, X., Li, L. et al. Random approximation with weak contraction random operators and a random fixed point theorem for nonexpansive random self-mappings. J Inequal Appl 2012, 16 (2012). https://doi.org/10.1186/1029-242X-2012-16
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2012-16