- Research
- Open access
- Published:
Convergence and almost sure T-stability for a random iterative sequence generated by a generalized random operator
Journal of Inequalities and Applications volume 2015, Article number: 146 (2015)
Abstract
The aim of this paper is to introduce the concept of generalized ϕ-weakly contraction random operators and then to prove the convergence and almost sure T-stability of Mann and Ishikawa-type random iterative schemes. We also prove that a random fixed point of such operators is Bochner integrable. Our results generalize, extend and improve various results in the existing literature including the results in Berinde (Bul. Ştiinţ. - Univ. Baia Mare, Ser. B Fasc. Mat.-Inform. 18(1):7-14, 2002), Olatinwo (J. Adv. Math. Stud. 1(1):5-14, 2008), Rhoades (Trans. Am. Math. Soc. 196:161-176, 1974; Indian J. Pure Appl. Math. 21(1):1-9, 1990; Indian J. Pure Appl. Math. 24(11):691-703, 1993) and Zhang et al. (Appl. Math. Mech. 32(6):805-810, 2011).
1 Introduction
Real world problems are embedded with uncertainties and ambiguities. To deal with probabilistic models, probabilistic functional analysis has emerged as one of the momentous mathematical disciplines and attracted the attention of several mathematicians over the years in view of its applications in diverse areas from pure mathematics to applied sciences. Random nonlinear analysis, an important branch of probabilistic functional analysis, deals with the solution of various classes of random operator equations and related problems. Of course, the development of random methods has revolutionized financial markets. Random fixed point theorems are stochastic generalizations of classical or deterministic fixed point theorems and are required for the theory of random equations, random matrices, random partial differential equations and various classes of random operators arising in physical systems (see [1, 2]). Random fixed point theory was initiated in 1950s by Prague school of probabilists. Spacek [3] and Hans [4] established a stochastic analogue of the Banach fixed point theorem in a separable complete metric space. Itoh [5] in 1979 generalized and extended Spacek and Han’s theorem to a multivalued contraction random operator. The survey article by Bharucha-Reid [6] in 1976, where he studied sufficient conditions for a stochastic analogue of Schauder’s fixed point theorem for random operators, gave wings to random fixed point theory. Now this area has become full fledged research area, and many interesting techniques to obtain the solution of nonlinear random system have appeared in the literature (see [1–3, 5, 7–16]).
Papageorgiou [13] established an existence of random fixed point of measurable closed and nonclosed valued multifunctions satisfying general continuity conditions and hence improved the results in [5, 17] and [18]. Xu [15] extended the results of Itoh to a nonself-random operator T, where T satisfies weakly inward or the Leray-Schauder condition. Shahzad and Latif [14] proved a general random fixed point theorem for continuous random operators. As applications, they derived a number of random fixed points theorems for various classes of 1-set and 1-ball contractive random operators. Arunchai and Plubtieng [7] obtained some random fixed point results for the sum of a weakly-strongly continuous random operator and a nonexpansive random operator in Banach spaces.
Mann [19] introduced an iterative scheme and employed it to approximate the solution of a fixed point problem defined by a nonexpansive mapping where the Picard iterative scheme fails to converge. Later, in 1974, Ishikawa [20] introduced an iterative scheme to obtain the convergence of a Lipschitzian pseudocontractive operator when a Mann iterative scheme is not applicable.
The study of convergence of different random iterative processes constructed for various random operators is a recent development (see [8–11] and references mentioned therein). Recently, Zhang et al. [16] studied the almost sure T-stability and convergence of Ishikawa-type and Mann-type random algorithms for certain ϕ-weakly contractive-type random operators in the setup of a separable Banach space. They also established the Bochner integrability of a random fixed point for such random operators.
In this paper, we introduce the notion of generalized ϕ-weakly contractive random operator and obtain the convergence and almost sure T-stability of Ishikawa-type random iterative scheme and Mann-type random iterative scheme for such operators. Our results extend, unify and generalize the comparable results in [21–25] and [16].
Our results improves and generalizes the deterministic fixed points results of Berinde [21], Olatinwo [22], Rhoades [23–25] in stochastic verse. Moreover, it extends and improves the results of Zhang et al. [16].
2 Preliminaries
Let \((\Omega,\Sigma,\mu)\) be a complete probability measure space and \((E,B(E))\) be a measurable space, where E is a separable Banach space, \(B(E)\) is Borel sigma algebra of E, \((\Omega,\Sigma)\) is a measurable space (Σ-sigma algebra) and μ is a probability measure on Σ, that is, a measure with total measure one. A mapping \(\xi:\Omega \rightarrow E\) is called (a) E-valued random variable if ξ is \((\Sigma ,B(E))\)-measurable, (b) strongly μ-measurable if there exists a sequence \(\{\xi_{n}\}\) of μ-simple functions converging to ξ μ-almost everywhere. Due to the separability of a Banach space E, the sum of two E-valued random variables is an E-valued random variable. A mapping \(T:\Omega\times E\rightarrow E\) is called a random operator if for each fixed e in E, the mapping \(T(\cdot,e):\Omega\rightarrow E\) is measurable.
The following definitions and results will be needed in the sequel.
Definition 2.1
[1]
Let \((\Omega,\xi,\mu)\) be a complete probability measure space. A random variable \(\xi:\Omega \rightarrow X\) is Bochner integrable if for each \(\omega\in\Omega\),
where \(\|\xi(\omega)\|\) is a nonnegative real-valued random variable.
The Bochner integral is a natural generalization of the familiar Lebesgue integral to the vector-valued setting.
Proposition 2.2
[1]
A random variable ξ is Bochner integrable if and only if there exists a sequence of random variables \(\{\xi _{n}\}_{n=1}^{\infty}\) converging strongly to ξ almost surely such that
Definition 2.3
[16]
Let \((\Omega,\xi,\mu)\) be a complete probability measure space, E be a nonempty subset of a separable Banach space X, and \(T:\Omega\times E\rightarrow E\) be a random operator. Define \(F(T)\) = {\(\xi^{\ast}:\Omega\rightarrow E\) such that \(T(\omega ,\xi^{\ast}(\omega))=\xi^{\ast}(\omega)\) for each \(\omega\in \Omega\)} (the random fixed point set of T).
Definition 2.4
[16]
Let \((\Omega,\Sigma,\mu)\) be a complete probability measure space and E be a nonempty subset of a separable Banach space X. A random operator \(T:\Omega\times E\rightarrow E\) is called a ϕ-weakly contractive-type random operator if there exists a continuous and nondecreasing function \(\phi:\mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\) with \(\phi(t)>0\) for each \(t\in(0,\infty)\) and \(\phi (0)=0 \) such that for each \(x,\varsigma\in E\), \(\omega\in\Omega\), we have
Motivated by the above results, we hereby introduce the following contractive condition.
Definition 2.5
Let \((\Omega,\xi,\mu)\) be a complete probability measure space and E be a nonempty subset of a separable Banach space X. A random operator \(T:\Omega\times E\rightarrow E\) is of generalized ϕ-weakly contractive-type if there exists \(L(\omega)\geq0\) and a continuous and nondecreasing function \(\phi:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) with \(\phi(t)>0\) for each \(t\in(0,\infty)\) and \(\phi(0)=0\) such that for each \(x,\varsigma\in E\), \(\omega\in\Omega\),
If \(L(\omega)=0\) for each \(\omega\in \Omega\) in (2.4), then it reduces to condition (2.3).
The study of nonlinear operators have attracted the attention of several mathematicians (see, e.g. [26–31]). Several interesting fixed points results have emerged as a result of such study.
Let \(T:\Omega\times E\rightarrow E\) be a random operator, where E is a nonempty convex subset of a separable Banach space X.
The random Ishikawa-type iterative scheme is a sequence of functions \(\{ \xi _{n}\}\) and \(\{\eta_{n}\}\) defined by
The random Mann-type iterative scheme is a sequence of functions \(\{\xi _{n}\}\) defined by
where \(0\leq a_{n},c_{n} \leq1\) and \(\xi_{0}:\Omega\rightarrow E\) is an arbitrary measurable mapping.
For any given random variable \(\xi_{0}:\Omega\rightarrow E\), define a random iterative scheme with the help of functions \(\{\xi _{n}\}_{n=0}^{\infty}\) as follows:
where f is some function measurable in the second variable.
Definition 2.6
[16]
Let \(\xi^{\ast}\) be a random fixed point of a random operator T and Bochner integrable with respect to \(\{\xi_{n}\}_{n=0}^{\infty}\). Let \(\{\zeta_{n}\}_{n=0}^{\infty}\) be an arbitrary sequence of random variables. Set
and assume that \(\|\epsilon_{n}(\omega)\|\in L^{1}(\Omega(\xi ,\mu)) \) (\(n=0,1,\ldots\)). The iterative scheme (2.7) is almost surely T-stable (or the iterative scheme (2.7) is almost surely stable with respect to T) if and only if
implies that \(\xi^{\ast}(\omega)\) is Bochner integrable with respect to \(\{\zeta_{n}(\omega)\}_{n=0}^{\infty}\).
The following lemma will be needed in the sequel.
Lemma 2.7
[32]
Let \(\{\gamma_{n}\}\) and \(\{\lambda _{n}\} \) be two sequences of nonnegative real numbers, \(\{\sigma_{n}\} \) be a sequence of positive numbers satisfying the conditions: \(\sum_{n=1}^{\infty }\sigma_{n}=\infty\) and \(\lim_{n\rightarrow\infty}\frac{\gamma _{n}}{\sigma_{n}}=0\). If \(\lambda_{n+1}\leq\lambda_{n}-\sigma_{n}\phi (\lambda_{n})+\gamma_{n}\) hold for each \(n\geq1\), where \(\phi :\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) is a continuous and strictly increasing function with \(\phi(0)=0\), then \(\{\lambda_{n}\}\) converges to 0 as \(n\rightarrow\infty\).
3 Main results
We start with the following result.
Theorem 3.1
Let \((E,\|\cdot\|)\) be a separable Banach space, \(T:\Omega\times E\rightarrow E\) be a generalized ϕ-weakly contractive-type random operator with \(F(T)\neq\emptyset\), and \(\{\xi _{n}\}\) be a random iterative sequence as defined in (2.5) where \(\{ a_{n}\}\) and \(\{c_{n}\}\) are real sequences in \((0,1)\) such that \(\sum_{n=1}^{\infty }a_{n}c_{n}=\infty\). Then the random fixed point \(\xi^{\ast}\) of T is Bochner integrable.
Proof
It suffices to show that \(\lim_{n\rightarrow\infty }\int_{\Omega}\|\xi_{n}(\omega)-\xi^{\ast}(\omega)\|\,d\mu (\omega)=0\). By (2.4) and (2.5), we have
Now we compute the following estimate:
Using (3.2) in (3.1), we obtain
Set
in Lemma 2.7, it follows that conditions of Lemma 2.7 are satisfied. Hence
□
Remark 3.2
Theorem 3.1 improves and generalizes the results of Akewe and Okeke [33], Akewe et al. [34], Berinde [21, 35], Olatinwo [22], Zhang et al. [16] and Rhoades [23–25].
Now we obtain the following theorem as a special case of Theorem 3.1.
Theorem 3.3
Let \((E,\|\cdot\|)\) be a separable Banach space, \(T:\Omega\times E\rightarrow E\) be a generalized ϕ-weakly contractive-type random operator with \(F(T)\neq\emptyset\), and \(\{\xi _{n}\}\) be a random iterative sequence as defined in (2.6) where \(\{a_{n}\}\) is a real sequence in \((0,1)\) such that \(\sum_{n=1}^{\infty}a_{n}=\infty\). Then the random fixed point \(\xi^{\ast}\) of T is Bochner integrable.
Theorem 3.4
Let \((E,\|\cdot\|)\) be a separable Banach space, \(T:\Omega\times E\rightarrow E\) be a generalized ϕ-weakly contractive-type random operator with \(F(T)\neq\emptyset\), and \(\{\xi _{n}\}\) be a random iterative sequence as defined in (2.5) converging strongly to the random fixed \(\xi^{\ast}\) of T almost surely, where \(\{a_{n}\}\) and \(\{ c_{n}\}\) are real sequences in \((0,1)\) such that \(0< a\leq a_{n}\) and \(0< c\leq c_{n}\) (\(n\geq1\)). Then \(\{\xi_{n}\}_{n=0}^{\infty}\) is almost surely T-stable.
Proof
Let \(\{\varsigma_{n}\}_{n=0}^{\infty}\) be any sequence of random variables and
where \(k_{n}(\omega)=(1-c_{n})\varsigma_{n}(\omega)+c_{n}T(\omega ,\varsigma_{n}(\omega))\) and \(\lim_{n\rightarrow\infty}\int_{\Omega}\|\epsilon_{n}(\omega )\|\,d\mu(\omega)=0\). Next, we show that \(\xi^{\ast}(\omega)\) is Bochner integrable with respect to the sequence \(\{\varsigma_{n}(\omega )\}_{n=0}^{\infty}\). From (3.5), we obtain
Using (2.4), we have
By (3.7) in (3.6), we obtain that
Using the conditions that \(\lim_{n\rightarrow\infty}\int_{\Omega }\| \epsilon_{n}(\omega)\|\,d\mu(\omega)=0\), \(0< a\leq a_{n}\) and \(0< c\leq c_{n}\) (\(n\geq1\)), we have
Take \(\lambda_{n}=(1+a_{n}e^{L(\omega)\| k_{n}(\omega)-\xi^{\ast }(\omega )\|}+a_{n}c_{n}e^{2L(\omega)\| k_{n}(\omega)-\xi^{\ast }(\omega )\|})\int_{\Omega}\|\varsigma_{n}(\omega)-\xi^{\ast}(\omega )\|\,d\mu(\omega)\), \(\sigma_{n}=a_{n}c_{n}e^{2L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\|}\), \(\gamma_{n}=\int_{\Omega }\|\epsilon_{n}(\omega)\|\,d\mu(\omega)\). Note that all the conditions in Lemma 2.7 are satisfied. Therefore, we obtain
Conversely, if \(\xi^{\ast}(\omega)\) is Bochner integrable with respect to the sequence \(\{\varsigma_{n}(\omega)\}_{n=1}^{\infty}\), we have
Using (2.4), we have
Using (3.12) in (3.11), we have
Hence
□
Remark 3.5
Theorem 3.4 generalizes and improves the results of Zhang et al. [16], Berinde [21, 35], Olatinwo [22], Rhoades [23–25] and several others in the literature.
We now state the following theorem as a special case of Theorem 3.4.
Theorem 3.6
Let \((E,\|\cdot\|)\) be a separable Banach space, \(T:\Omega\times E\rightarrow E\) be a generalized ϕ-weakly contractive-type random operator with \(F(T)\neq\emptyset\), and \(\{\xi _{n}\}\) be a random iterative sequence as defined in (2.6) converging strongly to the random fixed \(\xi^{\ast}\) of T almost surely, where \(\{a_{n}\}\) is a real sequence in \((0,1)\) such that \(0< a\leq a_{n}\) (\(n\geq1\)). Then \(\{\xi _{n}\}_{n=0}^{\infty}\) is almost surely T-stable.
4 Example
Example 4.1
Consider the following nonlinear stochastic integral equation:
From (4.1), we see that (2.4) is satisfied with \(\phi(t)=t^{2}\).
References
Joshi, MC, Bose, RK: Some Topics in Nonlinear Functional Analysis. Wiley Eastern, New Delhi (1985)
Zhang, SS: Fixed Point Theory and Applications. Chongqing Publishing Press, Chongqing (1984) (in Chinese)
Spacek, A: Zufallige gleichungen. Czechoslov. Math. J. 5, 462-466 (1955)
Hans, O: Random operator equations. In: Proceedings of the Fourth Berkeley Symposium on Mathematical Statistics and Probability. Vol. II, Part I, pp. 185-202. University of California Press, California (1961)
Itoh, S: Random fixed point theorems with an application to random differential equations in Banach spaces. J. Math. Anal. Appl. 67(2), 261-273 (1979)
Bharucha-Reid, AT: Fixed point theorems in probabilistic analysis. Bull. Am. Math. Soc. 82, 641-657 (1976)
Arunchai, A, Plubtieng, S: Random fixed point of Krasnoselskii type for the sum of two operators. Fixed Point Theory Appl. 2013, Article ID 142 (2013)
Beg, I, Abbas, M: Equivalence and stability of random fixed point iterative procedures. J. Appl. Math. Stoch. Anal. 2006, Article ID 23297 (2006). doi:10.1155/JAMSA/2006/23297
Beg, I, Abbas, M: Random fixed point theorems for Caristi type random operators. J. Appl. Math. Comput. 25(1-2), 425-434 (2007)
Beg, I, Abbas, M, Azam, A: Periodic fixed points of random operators. Ann. Math. Inform. 37, 39-49 (2010)
Chang, SS, Cho, YJ, Kim, JK, Zhou, HY: Random Ishikawa iterative sequence with applications. Stoch. Anal. Appl. 23, 69-77 (2005)
Moore, C, Nnanwa, CP, Ugwu, BC: Approximation of common random fixed points of finite families of N-uniformly \(L_{i}\)-Lipschitzian asymptotically hemicontractive random maps in Banach spaces. Banach J. Math. Anal. 3(2), 77-85 (2009)
Papageorgiou, NS: Random fixed point theorems for measurable multifunctions in Banach spaces. Proc. Am. Math. Soc. 97(3), 507-514 (1986)
Shahzad, N, Latif, S: Random fixed points for several classes of 1-ball-contractive and 1-set-contractive random maps. J. Math. Anal. Appl. 237, 83-92 (1999)
Xu, HK: Some random fixed point theorems for condensing and nonexpansive operators. Proc. Am. Math. Soc. 110(2), 395-400 (1990)
Zhang, SS, Wang, XR, Liu, M: Almost sure T-stability and convergence for random iterative algorithms. Appl. Math. Mech. 32(6), 805-810 (2011)
Engl, H: Random fixed point theorems for multivalued mappings. Pac. J. Math. 76, 351-360 (1976)
Reich, S: Approximate selections, best approximations, fixed points and invariant sets. J. Math. Anal. Appl. 62, 104-112 (1978)
Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506-510 (1953)
Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147-150 (1974)
Berinde, V: On the stability of some fixed point procedures. Bul. Ştiinţ. - Univ. Baia Mare, Ser. B Fasc. Mat.-Inform. 18(1), 7-14 (2002)
Olatinwo, MO: Some stability results for two hybrid fixed point iterative algorithms of Kirk-Ishikawa and Kirk-Mann type. J. Adv. Math. Stud. 1(1), 5-14 (2008)
Rhoades, BE: Fixed point iteration using infinite matrices. Trans. Am. Math. Soc. 196, 161-176 (1974)
Rhoades, BE: Fixed point theorems and stability results for fixed point iteration procedures. Indian J. Pure Appl. Math. 21(1), 1-9 (1990)
Rhoades, BE: Fixed point theorems and stability results for fixed point iteration procedures. II. Indian J. Pure Appl. Math. 24(11), 691-703 (1993)
Edmunds, DE: Remarks on nonlinear functional equations. Math. Ann. 174, 233-239 (1967)
Okeke, GA, Olaleru, JO: Modified Noor iterations with errors for generalized strongly Φ-pseudocontractive maps in Banach spaces. Thai J. Math. (to appear)
Olaleru, JO, Mogbademu, AA: On the stability of some fixed point iteration procedures with errors. Bol. Asoc. Mat. Venez. 16(1), 31-38 (2009)
Olaleru, JO, Okeke, GA: Convergence theorems on asymptotically demicontractive and hemicontractive mappings in the intermediate sense. Fixed Point Theory Appl. 2013, Article ID 352 (2013)
O’Regan, D: Fixed point theory for the sum of two operators. Appl. Math. Lett. 9, 1-8 (1996)
Rhoades, BE: Some theorems on weakly contractive maps. Nonlinear Anal. 47, 2683-2693 (2001)
Alber, YI, Guerre-Delabriere, S: Principle of weakly contractive maps in Hilbert spaces. In: Gohberg, I, Lyubich, Y (eds.) New Results in Operator Theory and Its Applications, pp. 7-22. Birkhäuser, Basel (1997)
Akewe, H, Okeke, GA: Stability results for multistep iteration satisfying a general contractive condition of integral type in a normed linear space. J. Niger. Assoc. Math. Phys. 20, 5-12 (2012)
Akewe, H, Okeke, GA, Olayiwola, AF: Strong convergence and stability of Kirk-multistep-type iterative schemes for contractive-type operators. Fixed Point Theory Appl. 2014, Article ID 45 (2014)
Berinde, V: On the convergence of the Ishikawa iteration in the class of quasi-contractive operators. Acta Math. Univ. Comen. 73(1), 119-126 (2004)
Acknowledgements
The authors wish to thank the anonymous referees for their comments. The first author is grateful to the Covenant University Centre for Research and Development (CUCERD) for supporting his research.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to this work. Both authors read and approved the final manuscript.
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
Okeke, G.A., Abbas, M. Convergence and almost sure T-stability for a random iterative sequence generated by a generalized random operator. J Inequal Appl 2015, 146 (2015). https://doi.org/10.1186/s13660-015-0666-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0666-8