Convergence and summable almost T-stability of the random Picard-Mann hybrid iterative process
- Godwin Amechi Okeke^{1} and
- Jong Kyu Kim^{2}Email author
https://doi.org/10.1186/s13660-015-0815-0
© Okeke and Kim 2015
Received: 25 June 2015
Accepted: 3 September 2015
Published: 17 September 2015
Abstract
The purpose of this paper is to introduce the random Picard-Mann hybrid iterative process. We establish the strong convergence theorems and summable almost T-stability of the random Picard-Mann hybrid iterative process and the random Mann-type iterative process generated by a generalized class of random operators in separable Banach spaces. Our results are generalizations and improvements of several well-known deterministic stability results in a stochastic version.
Keywords
random Picard-Mann hybrid iterative process random Mann-type iterative process separable Banach spaces generalized random contractive type operator summable almost T-stabilityMSC
47H09 47H10 49M05 54H251 Introduction
In 2013, Khan [1] introduced the Picard-Mann hybrid iterative process. This new iterative process can be seen as a hybrid of Picard and Mann iterative processes. He proved that the Picard-Mann hybrid iterative process converges faster than all of the Picard, Mann, and Ishikawa iterative processes in the sense of Berinde [2]. It is our purpose to introduce the random Picard-Mann hybrid iterative process, which can be seen as the stochastic version of the Picard-Mann hybrid iterative process. A finer concept of almost stability for fixed point iteration procedures was introduced by Berinde [3]. He proved that the Kirk, Mann, and Ishikawa iteration procedures, which are known to be almost stable and stable with respect to some classes of contractive operators, are also summably almost stable. Also, we study the summable almost T-stability and strong convergence of the random Picard-Mann hybrid iterative process and the random Mann-type iterative process of a generalized class of random operators in separable Banach spaces. Our results are generalizations and improvements of several well-known deterministic stability results in a stochastic version.
Real world problems come with uncertainties and ambiguities. To deal with probabilistic models, probabilistic functional analysis has emerged as one of the momentous mathematical discipline 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, which is an important branch of probabilistic functional analysis, deals with the solution of various classes of random operator equations and the related problems. Of course, the development of random methods have revolutionized the 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 [4, 5]). Random fixed point theory was initiated in the 1950s by the Prague school of probabilists. Spacek [6] and Hans [7] established a stochastic analog of the Banach fixed point theorem in a separable complete metric space. Itoh [8] in 1979 generalized and extended Spacek and Han’s theorem to a multi-valued contraction random operator. The survey article by Bharucha-Reid [9] in 1976, where he studied sufficient conditions for a stochastic analog of Schauder’s fixed point theorem for random operators, gave wings to random fixed point theory. Now this area has become a full fledged research area and many interesting techniques to obtain the solution of nonlinear random system have appeared in the literature (see [4–6, 8, 10–19]).
Papageorgiou [16] established the existence of a random fixed point of measurable closed and nonclosed valued multi-functions satisfying general continuity conditions and hence improved the results in [8, 20] and [21]. Xu [18] extended the results of Itoh to a nonself random operator T, where T satisfies the weakly inward or the Leray-Schauder condition. Shahzad and Latif [17] 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 [10] 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 [22] introduced an iterative scheme and employed it to approximate the solution of a fixed point problem defined by nonexpansive mapping where Picard iterative scheme fails to converge. Later in 1974, Ishikawa [23] introduced an iterative scheme to obtain the convergence of a Lipschitzian pseudocontractive operator when Mann iterative scheme is not applicable. Many authors studied the convergence theorems and stability problems in Banach spaces and metric spaces (see [24–28]).
The study of convergence of different random iterative processes constructed for various random operators is a recent development (see [11–14], and the references mentioned therein). Recently, Zhang et al. [19] studied the almost sure T-stability and convergence of Ishikawa-type and Mann-type random algorithms for certain ϕ-weakly contractive type random operators in a separable Banach space.
They also established the Bochner integrability of random fixed point for such random operators. Beg et al. [29] recently studied the almost sure T-stability and strong convergence of the random Halpern iteration scheme and random Xu-Mann iteration scheme for a general class of random operators in a separable Banach space. Their results generalize well-known deterministic stability results in a stochastic version (see [30, 31]).
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 a 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 an E-valued random variable if ξ is \((\Sigma ,B(E))\)-measurable. A mapping \(\xi:\Omega\rightarrow E\) is called 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\to E\) is called a random operator if for each fixed e in E, the mapping \(T(\cdot,e):\Omega\to E\) is measurable.
Throughout this paper, we assume that \((\Omega,\xi,\mu)\) is a complete probability measure space and E is a nonempty subset of a separable Banach space X.
Definition 2.1
[19]
Definition 2.2
[3]
The following remarks were made by Berinde [3]
Remark 2.1
- (1)It is obvious that every almost stable iteration procedure is also summably almost stable, sinceBut the converse is not true. There exist fixed point iteration procedures which are not summably almost stable (see Example 1 [3]).$$\sum_{n=0}^{\infty}d(y_{n},p)< \infty \quad \text{implies that}\quad \lim_{n\to \infty}y_{n}=p. $$
- (2)
The summable almost stability of a fixed point iteration procedure actually expresses a very important property regarding the rate of convergence of the sequence \(\{y_{n}\}_{n=0}^{\infty}\), converging to the fixed point p, i.e., the fact that the ‘displacements’ \(d(y_{n},p)\) converge fast enough to 0 to ensure the convergence of the series \(\sum_{n=0}^{\infty}d(y_{n},p)\).
Example 2.1
[3]
Motivated by the above facts, we now give the stochastic version of the concept of summable almost T-stability.
Definition 2.3
It is well known that the summable almost stability of a fixed point iteration process actually expresses a very important property regarding the rate of convergence of the sequence \(\{y_{n}(\omega)\} _{n=0}^{\infty}\), converging to a fixed point \(x^{\ast}(\omega)\), i.e., the fact that the displacements \(\Vert y_{n}(\omega)-x^{\ast}(\omega)\Vert \) converge fast enough to 0 to ensure the convergence of the series \(\sum_{n=0}^{\infty} \Vert y_{n}(\omega)-x^{\ast}(\omega)\Vert \) (see Berinde [3]).
From the above results, we now introduce the following generalized class of random operators.
Definition 2.4
We define the following iterative schemes for our main theorems due to the well-known Picard, Mann, Ishikawa iteration processes.
In 2013, Khan [1] introduced the Picard-Mann hybrid iterative process. This iterative process can be seen as a hybrid of Picard and Mann iterative processes. He proved that the Picard-Mann hybrid iterative process converges faster than all of the Picard, Mann, and Ishikawa iterative processes in the sense of Berinde [2].
Now, we introduce the random Picard-Mann hybrid iterative process as follows:
The purpose of this paper is to prove that the random Picard-Mann hybrid iterative process (2.15) is summably almost T-stable a.s., where T is the generalized random φ-contractive type operator defined in (2.11). We also establish some convergence results for the random Picard-Mann hybrid iterative process (2.15) and the random Mann iterative process (2.13). Our results are the improvements and generalizations of several well-known results in literature.
The following definitions are needed in this study and can be found in Beg et al. [29].
Definition 2.5
Definition 2.6
A mapping \(x:\Omega\to E\) is said to be an E-valued random variable if the inverse image under the mapping x of every Borel subset β of E belongs to Σ, that is, \(x^{-1}(\beta)\in\Sigma \) for all \(\beta\in B(E)\).
Definition 2.7
Definition 2.8
A mapping \(x:\Omega\to E\) is said to be a weak random variable if the function \(x^{\ast}(x(\omega))\) is a real valued random variable for each \(x^{\ast}\in E^{\ast}\), where \(E^{\ast}\) is the dual space of E.
In a separable Banach space X, the notions of strong and weak random variables \(x:\Omega\to X\) coincide and in respect of such a space X, x is called a random variable (see Joshi and Bose [4], Corollary 1).
Let Y be an another Banach space. Then Joshi and Bose [4] introduced the following definitions which will be needed in this study.
Definition 2.9
A mapping \(F:\Omega\times X\to Y\) is said to be a continuous random mapping if the set of all \(\omega\in\Omega\) for which \(F(\omega,x)\) is a continuous function of x, has measure one.
Definition 2.10
A mapping \(F:\Omega\times X\to Y\) is said to be a random mapping if \(F(\omega,x)=y(\omega)\) is a Y-valued random variable, for every \(x\in X\).
Definition 2.11
Definition 2.12
An equation of the type \(F(\omega,x(\omega))=x(\omega)\) is called a random fixed point equation, where \(F:\Omega\times X\to X\) is a random mapping.
Definition 2.13
A mapping \(x:\Omega\to X\) which satisfies the random fixed point equation \(F(\omega,x(\omega))=x(\omega)\) almost surely is said to be a wide sense solution of the fixed point equation.
Definition 2.14
Remark 2.2
It is well known that a random solution is a wide sense solution of the fixed point equation. The converse is not true. This was demonstrated in the following example given by Joshi and Bose [4].
Example 2.2
The following lemmas are important roles for the proofs of the main theorems.
Lemma 2.1
[35]
Lemma 2.2
[2]
- (i)
If \(\lim_{n\to\infty}b_{n}=0\), then \(\lim_{n\to\infty}a_{n}=0\).
- (ii)
If \(\sum_{n=0}^{\infty}b_{n}<\infty\), then \(\sum_{n=0}^{\infty}a_{n}<\infty\).
3 Convergence theorems
Now we are in a position to prove the convergence theorems of the iterative schemes. First, we give the convergence theorem for the random Picard-Mann hybrid iterative process.
Theorem 3.1
Let \((E,\Vert\cdot\Vert)\) be a separable Banach space and \(T:\Omega\times E\rightarrow E\) be a continuous generalized random φ-contractive type operator with a random fixed point \(x^{\ast}(\omega)\in F(T)\) satisfying (2.11). If \(\sum_{n=1}^{\infty}\alpha _{n}=\infty\), then the sequence \(\{x_{n}(\omega)\}_{n=1}^{\infty}\) of functions defined by the random Picard-Mann hybrid iterative process (2.15) converges strongly to \(x^{\ast}(\omega)\) almost surely.
Proof
Next, we establish the convergence result for the random Mann iterative process (2.13). This result improves, generalizes, and unites the results of Beg et al. [29] and several other well-known results in the literature.
Theorem 3.2
Let \((E,\Vert\cdot\Vert)\) be a separable Banach space and \(T:\Omega\times E\rightarrow E\) be a continuous generalized random φ-contractive type operator with a random fixed point \(x^{\ast}(\omega)\in F(T)\) satisfying (2.11). If \(\sum_{n=1}^{\infty}a_{n}=\infty\), then the sequence \(\{\xi_{n}(\omega)\}_{n=1}^{\infty}\) of functions defined by the random Mann iterative process (2.13) converges strongly to \(x^{\ast}(\omega)\) almost surely.
Proof
4 Summable almost stability
Next, we prove some stability results for the random Picard-Mann hybrid iterative process (2.15).
Theorem 4.1
Let \((E,\Vert\cdot\Vert)\) be a separable Banach space and \(T:\Omega\times E\rightarrow E\) be a continuous generalized random φ-contractive type operator with \(F(T)\neq\emptyset\). Let \(x^{\ast}(\omega)\) be a random fixed point of T. Let \(\{x_{n}\} _{n=0}^{\infty}\) be the sequence of functions defined by the random Picard-Mann hybrid iterative process (2.15) converging strongly to \(x^{\ast}(\omega)\) almost surely, where \(\alpha_{n}\in(0,1)\) and \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\). Then \(\{x_{n}\}_{n=0}^{\infty}\) is summably almost stable with respect to T a.s.
Proof
Next, we prove some summable almost T-stability results for the random Mann iterative process (2.13).
Theorem 4.2
Let \((E,\Vert\cdot\Vert)\) be a separable Banach space, \(T:\Omega\times E\rightarrow E\) be a continuous generalized random φ-contractive type operator with \(F(T)\neq\emptyset\), and \(x^{\ast}(\omega)\) be a random fixed point of T. Let \(\{\xi_{n}\} _{n=0}^{\infty}\) be the sequence of functions defined by the random Mann iterative process (2.13) converging strongly to \(x^{\ast}(\omega)\) almost surely, where \(a_{n}\in(0,1)\) and \(\sum_{n=1}^{\infty}a_{n}=\infty\). Then \(\{\xi_{n}\}_{n=0}^{\infty}\) is summably almost stable with respect to T a.s.
Proof
Declarations
Acknowledgements
This work was supported by the Basic Science Research Program through the National Research Foundation (NRF) Grant funded by Ministry of Education of the Republic of Korea (2014046293).
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
- Khan, SH: A Picard-Mann hybrid iterative process. Fixed Point Theory Appl. 2013, 69 (2013) View ArticleGoogle Scholar
- Berinde, V: Iterative approximation of fixed points. Efemeride, Baia Mare (2002) Google Scholar
- Berinde, V: Summable almost stability of fixed point iteration procedures. Carpath. J. Math. 19(2), 81-88 (2003) MATHMathSciNetGoogle Scholar
- Joshi, MC, Bose, RK: Some Topics in Nonlinear Functional Analysis. Wiley Eastern Limited, New Delhi (1985) MATHGoogle Scholar
- Zhang, SS: Fixed Point Theory and Applications. Chongqing Publishing Press, Chongqing (1984) (in Chinese) Google Scholar
- Spacek, A: Zufallige gleichungen. Czechoslov. Math. J. 5, 462-466 (1955) MathSciNetGoogle Scholar
- 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) Google Scholar
- Itoh, S: Random fixed point theorems with an application to random differential equations in Banach spaces. J. Math. Anal. Appl. 67, 261-273 (1979) MATHMathSciNetView ArticleGoogle Scholar
- Bharucha-Reid, AT: Fixed point theorems in probabilistic analysis. Bull. Am. Math. Soc. 82, 641-657 (1976) MATHMathSciNetView ArticleGoogle Scholar
- Arunchai, A, Plubtieng, S: Random fixed point of Krasnoselskii type for the sum of two operators. Fixed Point Theory Appl. 2013, 142 (2013) MathSciNetView ArticleGoogle Scholar
- Beg, I, Abbas, M: Equivalence and stability of random fixed point iterative procedures. J. Appl. Math. Stoch. Anal. 2006, Article ID 23297 (2006). doi:https://doi.org/10.1155/JAMSA/2006/23297 MathSciNetGoogle Scholar
- Beg, I, Abbas, M: Random fixed point theorems for Caristi type random operators. J. Appl. Math. Comput. 25, 425-434 (2007) MATHMathSciNetView ArticleGoogle Scholar
- Beg, I, Abbas, M, Azam, A: Periodic fixed points of random operators. Ann. Math. Inform. 37, 39-49 (2010) MATHMathSciNetGoogle Scholar
- Chang, SS, Cho, YJ, Kim, JK, Zhou, HY: Random Ishikawa iterative sequence with applications. Stoch. Anal. Appl. 23, 69-77 (2005) MATHMathSciNetView ArticleGoogle Scholar
- 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) MATHMathSciNetView ArticleGoogle Scholar
- Papageorgiou, NS: Random fixed point theorems for measurable multifunctions in Banach spaces. Proc. Am. Math. Soc. 97(3), 507-514 (1986) MATHView ArticleGoogle Scholar
- 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) MATHMathSciNetView ArticleGoogle Scholar
- Xu, HK: Some random fixed point theorems for condensing and nonexpansive operators. Proc. Am. Math. Soc. 110(2), 395-400 (1990) MATHView ArticleGoogle Scholar
- Zhang, SS, Wang, XR, Liu, M: Almost sure T-stability and convergence for random iterative algorithms. Appl. Math. Mech. 32(6), 805-810 (2011) MATHMathSciNetView ArticleGoogle Scholar
- Engl, H: Random fixed point theorems for multivalued mappings. Pac. J. Math. 76, 351-360 (1976) MathSciNetView ArticleGoogle Scholar
- Reich, S: Approximate selections, best approximations, fixed points and invariant sets. J. Math. Anal. Appl. 62, 104-112 (1978) MATHMathSciNetView ArticleGoogle Scholar
- Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506-510 (1953) MATHView ArticleGoogle Scholar
- Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147-150 (1974) MATHMathSciNetView ArticleGoogle Scholar
- Kim, JK, Kang, SM, Liu, Z: Convergence theorems and stability problems of Ishikawa iterative sequences for nonlinear operator equations of the accretive and strongly accretive operators. Commun. Appl. Nonlinear Anal. 10(3), 85-98 (2003) MathSciNetGoogle Scholar
- Kim, JK, Kim, KS, Nam, YM: Convergence and stability of iterative processes for a pair of simultaneously asymptotically quasi-nonexpansive type mappings in convex metric spaces. J. Comput. Anal. Appl. 9(2), 159-172 (2007) (SCI) MATHMathSciNetGoogle Scholar
- Kim, JK, Liu, Z, Nam, YM, Chun, SA: Strong convergence theorem and stability problems of Mann and Ishikawa iterative sequences for strictly hemi-contractive mappings. J. Nonlinear Convex Anal. 5(2), 285-294 (2004) (SCI) MATHMathSciNetGoogle Scholar
- Liu, Z, Kim, JK, Hyun, HG: Convergence theorems and stability of the Ishikawa iteration procedures with errors for strong pseudocontractions and nolinear equations involving accretive operators. Fixed Point Theory and Appl. 5, 79-95 (2003) MATHGoogle Scholar
- Liu, Z, Kim, JK, Kim, KH: Convergence theorems and stability problems of the modified Ishikawa iterative sequences for strictly successively hemicontractive mappings. Bull. Korean Math. Soc. 39(3), 455-469 (2002) MATHMathSciNetView ArticleGoogle Scholar
- Beg, I, Dey, D, Saha, M: Convergence and stability of two random iteration algorithms. J. Nonlinear Funct. Anal. 2014, 17 (2014) Google Scholar
- 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) Google Scholar
- 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, 45 (2014) MathSciNetView ArticleGoogle Scholar
- Osilike, MO: Stability results for fixed point iteration procedures. J. Nigerian Math. Soc. 14/15, 17-28 (1995/1996) Google Scholar
- Imoru, CO, Olatinwo, MO: On the stability of Picard and Mann iteration processes. Carpath. J. Math. 19, 155-160 (2003) MATHMathSciNetGoogle Scholar
- Bosede, AO, Rhoades, BE: Stability of Picard and Mann iteration for a general class of functions. J. Adv. Math. Stud. 3, 23-25 (2010) MATHMathSciNetGoogle Scholar
- Alber, YI, Guerre-Delabriere, S: Principle of weakly contractive maps in Hilbert spaces. In: Gohberg, I, Lyubich, V (eds.) New Results in Operator Theory and Its Applications, pp. 7-22. Birkhäuser, Basel (1997) View ArticleGoogle Scholar
- Berinde, V: On the stability of some fixed point procedures. Bul. Ştiinţ. - Univ. Baia Mare, Ser. B Fasc. Mat.-Inform. 18, 7-14 (2002) MATHMathSciNetGoogle Scholar
- Berinde, V: On the convergence of the Ishikawa iteration in the class of quasi-contractive operators. Acta Math. Univ. Comen. 73, 119-126 (2004) MATHMathSciNetGoogle Scholar
- Edmunds, DE: Remarks on nonlinear functional equations. Math. Ann. 174, 233-239 (1967) MATHMathSciNetView ArticleGoogle Scholar
- 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) MathSciNetGoogle Scholar
- O’Regan, D: Fixed point theory for the sum of two operators. Appl. Math. Lett. 9, 1-8 (1996) MATHView ArticleGoogle Scholar
- Rhoades, BE: Fixed point iteration using infinite matrices. Trans. Am. Math. Soc. 196, 161-176 (1974) MATHMathSciNetView ArticleGoogle Scholar
- Rhoades, BE: Fixed point theorems and stability results for fixed point iteration procedures. Indian J. Pure Appl. Math. 21(1), 1-9 (1990) MATHMathSciNetGoogle Scholar
- Rhoades, BE: Fixed point theorems and stability results for fixed point iteration procedures II. Indian J. Pure Appl. Math. 24(11), 691-703 (1993) MATHMathSciNetGoogle Scholar
- Rhoades, BE: Some theorems on weakly contractive maps. Nonlinear Anal. 47, 2683-2693 (2001) MATHMathSciNetView ArticleGoogle Scholar