Convergence and almost sure T-stability for a random iterative sequence generated by a generalized random operator

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$,

$$ \int_{\Omega}\bigl\| \xi(\omega)\bigr\| \,d\mu(\omega)< \infty, $$

(2.1)

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

$$ \lim_{n\rightarrow\infty}\int_{\Omega}\bigl\| \xi_{n}( \omega)-\xi (\omega )\bigr\| \,d\mu(\omega)=0. $$

(2.2)

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

$$ \int_{\Omega}\bigl\| T(\omega,x)-T(\omega,\varsigma)\bigr\| \,d\mu(\omega ) \leq\int_{\Omega}\| x-\varsigma\|\,d\mu(\omega)-\phi \biggl( \int _{\Omega}\| x-\varsigma\|\,d\mu(\omega) \biggr) . $$

(2.3)

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$,

$$\begin{aligned} &\int_{\Omega}\bigl\| T(\omega,x)-T(\omega,\varsigma)\bigr\| \,d\mu(\omega ) \\ &\quad\leq e^{L(\omega)\| x-\varsigma\|} \biggl[ \int_{\Omega}\| x-\varsigma\|\,d\mu( \omega)-\phi\biggl(\int_{\Omega}\| x-\varsigma \|\,d\mu(\omega) \biggr) \biggr] . \end{aligned}$$

(2.4)

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

$$ \left \{ \begin{array}{@{}l} \xi_{0}(\omega)\in E, \\ \xi_{n+1}(\omega)=(1-a_{n})\xi_{n}(\omega)+a_{n}T(\omega,\eta _{n}(\omega)), \\ \eta_{n}(\omega)=(1-c_{n})\xi_{n}(\omega)+c_{n}T(\omega,\xi _{n}(\omega )) . \end{array} \right . $$

(2.5)

The random Mann-type iterative scheme is a sequence of functions $\{\xi _{n}\}$ defined by

$$ \left \{ \begin{array}{@{}l} \xi_{0}(\omega)\in E, \\ \xi_{n+1}(\omega)=(1-a_{n})\xi_{n}(\omega)+a_{n}T(\omega,\xi _{n}(\omega)), \end{array} \right . $$

(2.6)

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:

$$ \xi_{n+1}(\omega)=f\bigl(T;\xi_{n}(\omega)\bigr), \quad n=0,1,2,\ldots, $$

(2.7)

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

$$ \epsilon_{n}(\omega)=\bigl\| \zeta_{n+1}(\omega)-f\bigl(T; \zeta_{n}(\omega )\bigr)\bigr\| , $$

(2.8)

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

$$ \lim_{n\rightarrow\infty}\int_{\Omega}\bigl\| \epsilon_{n}( \omega )\bigr\| \,d\mu(\omega)=0 $$

(2.9)

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

$$\begin{aligned} &\int_{\Omega}\bigl\| \xi_{n+1}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\quad \leq (1-a_{n})\int _{\Omega}\bigl\| \xi_{n}(\omega)-\xi ^{\ast }(\omega)\bigr\| \,d\mu(\omega) +a_{n}\int_{\Omega}\bigl\| T\bigl(\omega, \eta_{n}(\omega)-\xi^{\ast }(\omega)\bigr)\bigr\| \,d\mu(\omega) \\ &\quad \leq (1-a_{n})\int_{\Omega}\bigl\| \xi_{n}( \omega)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{}+a_{n}\biggl\{ e^{L(\omega)\|\eta_{n}(\omega)-\xi^{\ast}(\omega )\|}\biggl[\int_{\Omega} \bigl\| \eta_{n}(\omega)-\xi^{\ast}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} -\phi\biggl(\int_{\Omega}\bigl\| \eta_{n}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega)\biggr)\biggr]\biggr\} \\ &\quad \leq (1-a_{n})\int_{\Omega}\bigl\| \xi_{n}( \omega)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} +a_{n}e^{L(\omega)\|\eta_{n}(\omega)-\xi^{\ast}(\omega )\| }\int_{\Omega}\bigl\| \eta_{n}(\omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega). \end{aligned}$$

(3.1)

Now we compute the following estimate:

$$\begin{aligned} &\int_{\Omega}\bigl\| \eta_{n}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\quad \leq (1-c_{n})\int _{\Omega}\bigl\| \xi_{n}(\omega)-\xi ^{\ast}(\omega)\bigr\| \,d\mu(\omega) +c_{n}\int_{\Omega}\bigl\| T\bigl(\omega, \xi_{n}(\omega)\bigr)-\xi^{\ast }(\omega)\bigr\| \,d\mu(\omega) \\ &\quad \leq (1-c_{n})\int_{\Omega}\bigl\| \xi_{n}( \omega)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} +c_{n}\biggl\{ e^{L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\| }\biggl[\int_{\Omega} \bigl\| \xi_{n}(\omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\qquad{} -\phi\biggl(\int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega)\biggr)\biggr]\biggr\} \\ &\quad \leq (1-c_{n})\int_{\Omega}\bigl\| \xi_{n}( \omega)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega) +c_{n}e^{L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\| }\int_{\Omega}\bigl\| \xi_{n}(\omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\qquad{} -c_{n}e^{L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\| }\phi\biggl(\int_{\Omega}\bigl\| \xi_{n}(\omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega)\biggr). \end{aligned}$$

(3.2)

Using (3.2) in (3.1), we obtain

$$\begin{aligned} &\int_{\Omega}\bigl\| \xi_{n+1}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\quad\leq (1-a_{n})\int _{\Omega}\bigl\| \xi_{n}(\omega)-\xi ^{\ast}(\omega)\bigr\| \,d\mu(\omega) +a_{n}e^{L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\|}\biggl\{ (1-c_{n}) \\ &\qquad{}\times \int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) +c_{n}e^{(L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\|)}\int_{\Omega}\bigl\| \xi_{n}(\omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\qquad{} -c_{n}e^{(L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\| )}\phi\biggl(\int_{\Omega}\bigl\| \xi_{n}(\omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu(\omega)\biggr)\biggr\} \\ &\quad = (1-a_{n})\int_{\Omega}\bigl\| \xi_{n}( \omega)-\xi^{\ast}(\omega )\bigr\| \,d\mu(\omega) +a_{n}e^{L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\|}(1-c_{n}) \\ &\qquad{} \times\int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) +a_{n}c_{n}e^{(2L(\omega)\|\xi_{n}(\omega)-\xi^{\ast }(\omega )\|)}\int_{\Omega} \bigl\| \xi_{n}(\omega)-\xi^{\ast}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} -a_{n}c_{n}e^{(2L(\omega)\|\xi_{n}(\omega)-\xi^{\ast }(\omega )\|)}\phi\biggl(\int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega)\biggr) \\ &\quad \leq \int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega)+a_{n}e^{L(\omega)\|\xi_{n}(\omega)-\xi^{\ast }(\omega )\|} \\ &\qquad{}\times \int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) +a_{n}c_{n}e^{2L(\omega)\|\xi_{n}(\omega)-\xi^{\ast }(\omega)\|}\int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\qquad{} -a_{n}c_{n}e^{2L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\|}\phi\biggl(\int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega)\biggr) \\ &\quad = \bigl(1+a_{n}e^{L(\omega)\|\xi_{n}(\omega)-\xi^{\ast}(\omega )\|}+a_{n}c_{n}e^{2L(\omega)\|\xi_{n}(\omega)-\xi^{\ast }(\omega )\|} \bigr) \\ &\qquad{} \times\int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu (\omega)-a_{n}c_{n}e^{2L(\omega) \|\xi_{n}(\omega)-\xi^{\ast }(\omega)\|} \\ &\qquad{} \times\phi\biggl(\int_{\Omega}\bigl\| \xi_{n}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega)\biggr). \end{aligned}$$

(3.3)

Set

$$\begin{aligned}& \lambda_{n}=\bigl(1+a_{n}c_{n}e^{2L(\omega)\|\xi_{n}(\omega)-\xi ^{\ast }(\omega)\|} \bigr)\int_{\Omega}\bigl\| \xi_{n}(\omega)-\xi^{\ast }( \omega )\bigr\| \,d\mu(\omega), \\& \sigma_{n}=a_{n}c_{n}e^{2L(\omega)\|\xi_{n}(\omega)-\xi^{\ast }(\omega)\|}\quad \mbox{and} \\& \gamma_{n}=a_{n}e^{L(\omega)\|\xi _{n}(\omega )-\xi^{\ast}(\omega)\|}\int_{\Omega} \bigl\| \xi_{n}(\omega)-\xi ^{\ast}(\omega)\bigr\| \,d\mu(\omega) \end{aligned}$$

in Lemma 2.7, it follows that conditions of Lemma 2.7 are satisfied. Hence

$$ \lim_{n\rightarrow\infty}\int_{\Omega}\bigl\| \xi_{n}( \omega)-\xi ^{\ast }(\omega)\bigr\| \,d\mu(\omega)=0. $$

(3.4)

 □

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

$$ \bigl\| \epsilon_{n}(\omega)\bigr\| =\bigl\| \varsigma_{n+1}(\omega )-(1-a_{n})\varsigma_{n}(\omega)-a_{n}T\bigl( \omega,k_{n}(\omega)\bigr)\bigr\| , \quad n=0,1,\ldots, $$

(3.5)

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

$$\begin{aligned} \int_{\Omega}\bigl\| \varsigma_{n+1}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu(\omega) \leq& \int_{\Omega}\bigl\| \varsigma_{n+1}(\omega )-(1-a_{n})\varsigma_{n}( \omega)-a_{n}T\bigl(\omega,k_{n}(\omega)\bigr)\bigr\| \,d\mu ( \omega) \\ &{} +(1-a_{n})\int_{\Omega}\bigl\| \varsigma_{n}(\omega)-\xi ^{\ast }(\omega)\bigr\| \,d\mu(\omega) \\ &{} +a_{n}\int_{\Omega}\bigl\| T\bigl( \omega,k_{n}(\omega)\bigr)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega) \\ \leq& \int_{\Omega}\bigl\| \epsilon_{n}(\omega)\bigr\| \,d\mu( \omega )+\int_{\Omega}\bigl\| \varsigma_{n}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu(\omega) \\ &{} +a_{n}\int_{\Omega}\bigl\| T\bigl( \omega,k_{n}(\omega)\bigr)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega). \end{aligned}$$

(3.6)

Using (2.4), we have

$$\begin{aligned} &\int_{\Omega}\bigl\| T\bigl(\omega,k_{n}( \omega)\bigr)-\xi^{\ast}(\omega)\bigr\| \,d\mu(\omega) \\ &\quad\leq e^{L(\omega)\| k_{n}(\omega)-\xi^{\ast }(\omega)\|} \biggl[\int_{\Omega}\bigl\| k_{n}(\omega)-\xi^{\ast}( \omega )\bigr\| \,d\mu(\omega) -\phi\biggl(\int_{\Omega}\bigl\| k_{n}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu(\omega)\biggr)\biggr] \\ &\quad \leq e^{L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\| }\int_{\Omega}\bigl\| k_{n}( \omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\quad \leq e^{L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\| }\biggl\{ (1-c_{n}) \int_{\Omega}\bigl\| \varsigma_{n}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} +c_{n}\int_{\Omega}\bigl\| T\bigl(\omega, \varsigma_{n}(\omega)\bigr)-\xi ^{\ast }(\omega)\bigr\| \,d\mu(\omega) \biggr\} \\ &\quad \leq e^{L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\| }(1-c_{n}) \int_{\Omega}\bigl\| \varsigma_{n}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} +c_{n}e^{L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\| }\biggl[e^{L(\omega)\|\varsigma_{n}(\omega)-\xi^{\ast}(\omega)\|} \biggl\{ \int_{\Omega}\bigl\| \varsigma_{n}( \omega)-\xi^{\ast}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad {} -\phi\biggl(\int_{\Omega}\bigl\| \varsigma_{n}(\omega)- \xi^{\ast }(\omega )\bigr\| \,d\mu(\omega)\biggr)\biggr\} \biggr] \\ &\quad \leq e^{L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\| }\int_{\Omega}\bigl\| \varsigma_{n}( \omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &\qquad {} +c_{n}e^{2L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\| }\int_{\Omega}\bigl\| \varsigma_{n}(\omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) -c_{n}e^{2L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\|} \\ & \qquad\times{} \phi\biggl(\int_{\Omega}\bigl\| \varsigma_{n}( \omega)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega)\biggr). \end{aligned}$$

(3.7)

By (3.7) in (3.6), we obtain that

$$\begin{aligned} \int_{\Omega}\bigl\| \varsigma_{n+1}(\omega)- \xi^{\ast}(\omega)\bigr\| \,d\mu(\omega) \leq& \int_{\Omega}\bigl\| \epsilon_{n}(\omega)\bigr\| \,d\mu (\omega)+\int_{\Omega}\bigl\| \varsigma_{n}(\omega)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega) \\ &{} +a_{n}e^{L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega)\| }\int_{\Omega}\bigl\| \varsigma_{n}(\omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu (\omega) \\ &{} +a_{n}c_{n}e^{2L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega )\|}\int_{\Omega} \bigl\| \varsigma_{n}(\omega)-\xi^{\ast}(\omega )\bigr\| \,d\mu(\omega) \\ &{} -a_{n}c_{n}e^{2L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega )\|}\phi\biggl(\int _{\Omega}\bigl\| \varsigma_{n}(\omega)-\xi^{\ast }( \omega)\bigr\| \,d\mu(\omega)\biggr) \\ = & \int_{\Omega}\bigl\| \epsilon_{n}(\omega)\bigr\| \,d\mu( \omega )+\bigl(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 )\|}\bigr)\int _{\Omega}\bigl\| \varsigma_{n}(\omega)-\xi^{\ast}( \omega )\bigr\| \,d\mu(\omega) \\ &{} -\bigl(a_{n}c_{n}e^{2L(\omega)\| k_{n}(\omega)-\xi^{\ast}(\omega )\|}\bigr) \\ &{} \times\phi\biggl(\int_{\Omega}\bigl\| \varsigma_{n}( \omega)-\xi^{\ast }(\omega )\bigr\| \,d\mu(\omega)\biggr). \end{aligned}$$

(3.8)

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

$$ \lim_{n\rightarrow\infty}\frac{\int_{\Omega}\|\epsilon _{n}(\omega )\|\,d\mu(\omega)}{a_{n}c_{n}}\leq\lim_{n\rightarrow\infty} \frac{ \int_{\Omega}\|\epsilon_{n}(\omega)\|\,d\mu(\omega)}{ac}=0. $$

(3.9)

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

$$ \lim_{n\rightarrow\infty}\int_{\Omega}\bigl\| \varsigma_{n}( \omega )-\xi ^{\ast}(\omega)\bigr\| \,d\mu(\omega)=0. $$

(3.10)

Conversely, if $\xi^{\ast}(\omega)$ is Bochner integrable with respect to the sequence $\{\varsigma_{n}(\omega)\}_{n=1}^{\infty}$, we have

$$\begin{aligned} \int_{\Omega}\bigl\| \epsilon_{n}(\omega)\bigr\| \,d\mu(\omega) = & \int_{\Omega}\bigl\| \varsigma_{n+1}( \omega)-(1-a_{n})\varsigma _{n}(\omega )-a_{n}T \bigl(\omega,k_{n}(\omega)\bigr)\bigr\| \,d\mu(\omega) \\ \leq& \int_{\Omega}\bigl\| \varsigma_{n+1}(\omega)- \xi^{\ast }(\omega )\bigr\| \,d\mu(\omega) \\ &{} +(1-a_{n})\int_{\Omega}\bigl\| \xi^{\ast}( \omega)-\varsigma _{n}(\omega)\bigr\| \,d\mu(\omega) \\ &{} +a_{n}\int_{\Omega}\bigl\| \xi^{\ast}( \omega)-T\bigl(\omega ,k_{n}(\omega )\bigr)\bigr\| \,d\mu(\omega). \end{aligned}$$

(3.11)

Using (2.4), we have

$$\begin{aligned} &\int_{\Omega}\bigl\| \xi^{\ast}(\omega)-T\bigl( \omega,k_{n}(\omega)\bigr)\bigr\| \,d\mu(\omega) \\ &\quad = \int _{\Omega}\bigl\| T\bigl(\omega,\xi^{\ast}(\omega )\bigr)-T\bigl( \omega,k_{n}(\omega)\bigr)\bigr\| \,d\mu(\omega) \\ &\quad\leq e^{L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }\biggl[\int_{\Omega}\bigl\| \xi^{\ast}( \omega)-k_{n}(\omega)\bigr\| \,d\mu (\omega ) -\phi\biggl(\int_{\Omega}\bigl\| \xi^{\ast}( \omega)-k_{n}(\omega)\bigr\| \,d\mu(\omega)\biggr)\biggr] \\ &\quad\leq e^{L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }\int_{\Omega}\bigl\| \xi^{\ast}( \omega)-k_{n}(\omega)\bigr\| \,d\mu (\omega) \\ &\quad\leq e^{L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }\biggl[(1-c_{n}) \int_{\Omega}\bigl\| \xi^{\ast}(\omega)- \varsigma_{n}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} +c_{n}\int_{\Omega}\bigl\| T\bigl(\omega, \xi^{\ast}(\omega)\bigr)-T\bigl(\omega ,\varsigma_{n}(\omega) \bigr)\bigr\| \,d\mu(\omega)\biggr] \\ &\quad\leq e^{L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }\biggl[(1-c_{n})\int_{\Omega}\bigl\| \xi^{\ast}(\omega)- \varsigma_{n}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} +c_{n}\biggl\{ e^{L(\omega)\|\xi^{\ast}(\omega)-\varsigma _{n}(\omega )\|}\biggl[\int_{\Omega} \bigl\| \xi^{\ast}(\omega)-\varsigma_{n}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} -\phi\biggl(\int_{\Omega}\bigl\| \xi^{\ast}(\omega)- \varsigma _{n}(\omega )\bigr\| \,d\mu(\omega)\biggr)\biggr]\biggr\} \biggr] \\ &\quad\leq (1-c_{n})e^{L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega )\|}\int_{\Omega}\bigl\| \xi^{\ast}(\omega)- \varsigma_{n}(\omega )\bigr\| \,d\mu(\omega) \\ &\qquad{} +c_{n}e^{2L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }\int_{\Omega}\bigl\| \xi^{\ast}(\omega)-\varsigma_{n}(\omega)\bigr\| \,d\mu (\omega) \\ &\qquad{} -c_{n}e^{2L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }\phi\biggl(\int_{\Omega} \bigl\| \xi^{\ast}(\omega)-\varsigma_{n}(\omega )\bigr\| \,d\mu(\omega) \biggr) \\ &\quad\leq \bigl(e^{L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }+c_{n}e^{2L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }\bigr) \\ &\qquad{} \times\int_{\Omega}\bigl\| \xi^{\ast}(\omega)- \varsigma_{n}(\omega )\bigr\| \,d\mu(\omega)-c_{n}e^{2L(\omega)\|\xi^{\ast}(\omega )-k_{n}(\omega )\|} \\ &\qquad{}\times\phi\biggl(\int_{\Omega}\bigl\| \xi^{\ast}(\omega)- \varsigma _{n}(\omega )\bigr\| \,d\mu(\omega)\biggr). \end{aligned}$$

(3.12)

Using (3.12) in (3.11), we have

$$\begin{aligned} \int_{\Omega}\bigl\| \epsilon_{n}(\omega)\bigr\| \,d\mu(\omega) \leq& \int_{\Omega}\bigl\| \varsigma_{n+1}( \omega)-\xi^{\ast}(\omega)\bigr\| \,d\mu(\omega)+\int_{\Omega}\bigl\| \xi^{\ast}(\omega)-\varsigma _{n}(\omega)\bigr\| \,d\mu(\omega) \\ &{} +a_{n}\bigl(e^{L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| }+c_{n}e^{2L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega)\| } \bigr) \\ &{} \times\int_{\Omega}\bigl\| \xi^{\ast}(\omega)- \varsigma_{n}(\omega )\bigr\| \,d\mu(\omega)-a_{n}c_{n}e^{2L(\omega)\|\xi^{\ast}(\omega )-k_{n}(\omega)\|} \\ &{}\times \phi\biggl(\int_{\Omega}\bigl\| \xi^{\ast}(\omega)- \varsigma _{n}(\omega )\bigr\| \,d\mu(\omega)\biggr) \\ = & \int_{\Omega}\bigl\| \varsigma_{n+1}(\omega)- \xi^{\ast}(\omega )\bigr\| \,d\mu(\omega)+\bigl(1+a_{n}e^{L(\omega)\|\xi^{\ast}(\omega )-k_{n}(\omega)\|} \\ &{} +a_{n}c_{n}e^{2L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega )\|}\bigr)\int _{\Omega}\bigl\| \xi^{\ast}(\omega)-\varsigma_{n}( \omega )\bigr\| \,d\mu(\omega) \\ &{} -a_{n}c_{n}e^{2L(\omega)\|\xi^{\ast}(\omega)-k_{n}(\omega )\|}\phi\biggl(\int _{\Omega}\bigl\| \xi^{\ast}(\omega)-\varsigma _{n}( \omega)\bigr\| \,d\mu(\omega)\biggr). \end{aligned}$$

(3.13)

Hence

$$ \lim_{n\rightarrow\infty}\int_{\Omega}\bigl\| \epsilon_{n}( \omega )\bigr\| \,d\mu(\omega)=0. $$

(3.14)

 □

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:

$$\begin{aligned} (\xi;\omega)&=\int_{0}^{\infty} \frac{(1-t^{2})e^{|\xi(t;\omega )-\varsigma(t;\omega)|}}{8(1+|\xi(s;\omega)|)}\,ds \\ &\leq e^{|\xi (t;\omega )-\varsigma(t;\omega)|} \biggl[ \int_{0}^{\infty} \frac{1}{8(1+|\xi (s;\omega)|)}\,ds-t^{2}\int_{0}^{\infty} \frac{1}{8(1+|\xi(s;\omega )|)}\,ds \biggr]. \end{aligned}$$

(4.1)

From (4.1), we see that (2.4) is satisfied with $\phi(t)=t^{2}$.