Research

# A new class of general nonlinear random set-valued variational inclusion problems involving A-maximal m-relaxed η-accretive mappings and random fuzzy mappings in Banach spaces

Narin Petrot1 and Javad Balooee2*

Author Affiliations

1 Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok 65000, Thailand

2 Department of Mathematics, Sari Branch, Islamic Azad University, Sari, Iran

For all author emails, please log on.

Journal of Inequalities and Applications 2012, 2012:98 doi:10.1186/1029-242X-2012-98

The electronic version of this article is the complete one and can be found online at: http://www.journalofinequalitiesandapplications.com/content/2012/1/98

 Received: 1 October 2011 Accepted: 23 April 2012 Published: 23 April 2012

© 2012 Petrot and Balooee; licensee Springer.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

### Abstract

At the present article, we consider a new class of general nonlinear random A-maximal m-relaxed η-accretive equations with random relaxed cocoercive mappings and random fuzzy mappings in q-uniformly smooth Banach spaces. By using the resolvent mapping technique for A-maximal m-relaxed η-accretive mappings due to Lan et al. and Chang's lemma, we construct a new iterative algorithm with mixed errors for finding the approximate solutions of this class of nonlinear random equations. We also verify that the approximate solutions obtained by the our proposed algorithm converge to the exact solution of the general nonlinear random A-maximal m-relaxed η-accretive equations with random relaxed cocoercive mappings and random fuzzy mappings in q-uniformly smooth Banach spaces.

Mathematical Subject Classification 2010: Primary, 47B80; Secondary, 47H40, 60H25.

##### Keywords:
variational inclusions; A-maximal m-relaxed η-accretive mapping; random relaxed cocoercive mapping; resolvent operator technique; random iterative algorithm; random fuzzy mapping; q-uniformly smooth Banach space

### 1 Introduction

The theory of variational inequalities was extended and generalized in many different directions because of its applications in mechanics, physics, optimization, economics and engineering sciences. For the applications, physical formulation, numerical methods and other aspects of variational inequalities (see [1-63] and the references therein). Quasi-variational inequalities are generalized forms of variational inequalities in which the constraint set depend on the solution. These were introduced and studied by Bensoussan et al. [11]. In 1991, Chang and Huang [16,17] introduced and studied some new classes of complementarity problems and variational inequalities for set-valued mappings with compact values in Hilbert spaces. An useful and important generalization of the variational inequalities is called the variational inclusions, due to Hassouni and Moudafi [34], which have wide applications in the fields of optimization and control, economics and transportation equilibrium, engineering science.

Meanwhile, it is known that accretivity of the underlying operator plays indispensable roles in the theory of variational inequality and its generalizations. In 2001, Huang and Fang [41] were the first to introduce generalized m-accretive mapping and gave the definition of the resolvent operator for generalized m-accretive mappings in Banach spaces. Subsequently, Verma [59,60] introduced and studied new notions of A-monotone and (A, η)-monotone operators and studied some properties of them in Hilbert spaces. In [52], Lan et al. first introduced the concept of (A, η)-accretive mappings, which generalizes the existing η-subdifferential operators, maximal η-monotone operators, H-monotone operators, A-monotone operators, (H, η)-monotone operators, (A, η)-monotone operators in Hilbert spaces, H-accretive mapping, generalized m-accretive mappings and (H, η)-accretive mappings in Banach spaces.

On the other hand, the fuzzy set theory which was introduced by Professor Lotfi Zadeh [62] at the university of California in 1965 has emerged as an interesting and fascinating branch of pure and applied sciences. The applications of the fuzzy set theory can be found in many branches of regional, physical, mathematical and engineering sciences (see, for example [10,32,63]). In 1989, by using the concept of fuzzy set, Chang and Zu [20] first introduced and studied a class of variational inequalities for fuzzy mappings. Since then several classes of variational inequalities with fuzzy mappings were considered by Chang and Haung [15], Ding [30], Ding and Park [31], Haung [36], Kumam and Petrot [48], Noor [55] and Park and Jeong [56,57] in Hilbert spaces. Recently, Huang and Lan [43], considered nonlinear equations with fuzzy mapping in fuzzy normed spaces and subsequently Lan and Verma [54] considered fuzzy variational inclusion problems in Banach spaces. It is worth to mention that variational inequalities with fuzzy mapping have been useful in the study of equilibrium and optimal control problem (see, for example [14]).

The random variational inequality and random quasi-variational inequality problems, random variational inclusion problems and random quasi-complementarity problems have been introduced and studied by Chang [13], Chang and Huang [18,19], Chang and Zhu [21], Cho et al. [22], Ganguly and Wadhawa [33], Huang and Cho [40], Khan et al. [47] and Lan [51], etc. Recently, Lan et al. [53] introduced and studied a class of general nonlinear random set-valued operator equations involving generalized m-accretive mappings in Banach spaces. They also established the existence theorems of the solution and convergence theorems of the generalized random iterative procedures with errors for these nonlinear random set-valued operator equations in q-uniformly smooth Banach spaces. Cho and Lan [23] considered and studied a class of generalized nonlinear random (A, η)-accretive equations with random relaxed cocoercive mappings in Banach spaces and by introducing some random iterative algorithms, they proved the convergence of iterative sequences generated by proposed algorithms. Further, by considering the concepts of random mappings and fuzzy mappings, Haung [39] was first introduced the concept of random fuzzy mapping. Subsequently, the random variational inclusion problem for random fuzzy mappings is studied by Ahmad and Bazan [4]. Very recently, Onjai-Uea and Kumam [58] introduced and studied a class of general nonlinear random (H, η)-accretive equations with random fuzzy mappings in Banach spaces and by using the resolvent mapping technique for the (H, η)-accretive mappings proved the existence and convergence theorems of the generalized random iterative algorithms for these nonlinear random equations with random fuzzy mappings in q-uniformly smooth Banach spaces.

At the present article, inspired and motivated by recent researches in this field, we shall introduce and study a new class of general nonlinear random A-maximal m-relaxed η-accretive (so called (A, η)-accretive [52]) equations with random relaxed cocoercive mappings and random fuzzy mappings in Banach spaces. By using the resolvent mapping technique for A-maximal m-relaxed η-accretive mappings due to Lan et al. [52] and Chang's lemma [12], we construct a new iterative algorithm with mixed errors for finding the approximate solutions of this class of nonlinear random equations. We also prove the existence of random solutions and the convergence of random iterative sequences generated by the our proposed algorithm in q-uniformly smooth Banach spaces. The results presented in this article improve and extend the corresponding results of [13,18,22-24,33,34,37-40,42,44,46,49,53,58] and many other recent works.

### 2 Preliminaries

Throughout this article, let ( Ω , A , μ ) be a complete σ-finite measure space and X be a separable real Banach space endowed with dual space X*, the norm ∥.∥ and the dual pair 〈., .〉 between X and X*. We denote by B ( X ) , C B ( X ) and Ĥ(., .) the class of Borel σ-fileds in X, the family of all nonempty closed bounded subsets of X and the Hausdorff metric

Ĥ ( A , B ) = max sup x A inf y B d ( x , y ) , sup y B inf x A d ( x , y )

on CB(X), respectively.

The generalized duality mapping jq : XX* is defined by

J q ( x ) = { f * X * : x , f * = x q , f * = x q - 1 } , x X ,

where q > 1 is a constant. In particular, J2 is usual normalized duality mapping. It is known that, in general, Jq(x) = ∥xq-2 J2(x) for all x ≠ 0 and Jq is single-valued if X* is strictly convex. In the sequel, we always assume that X is a real Banach space such that Jq is single-valued. If X is a Hilbert space, then J2 becomes the identity mapping on X.

The modulus of smoothness of X is the function ρX : [0,∞) →[0, ∞) defined by

ρ X ( t ) = sup 1 2 ( x + y + x - y ) - 1 : x 1 , y t .

A Banach space X is called uniformly smooth if

lim t 0 ρ X ( t ) t = 0 .

Further, a Banach space X is called q-uniformly smooth if there exists a constant c > 0 such that

ρ X ( t ) c t q , q > 1 .

It is well-known that Hilbert spaces, Lp(or lp) spaces, 1 < p < ∞, and the Sobolev spaces Wm, p, 1 < p < ∞, are all q-uniformly smooth.

Concerned with the characteristic inequalities in q-uniformly smooth Banach spaces, Xu [61] proved the following result.

Lemma 2.1. Let X be a real uniformly smooth Banach space. Then X is q-uniformly smooth if and only if there exists a constant cq > 0 such that for all x, y X,

x + y q x q + q y , J q ( x ) + c q y q .

Definition 2.2. A mapping x : Ω → X is said to be measurable if, for any B B ( X ) , { t Ω : x ( t ) B } A .

Definition 2.3. A mapping T : Ω × X X is called a random mapping if, for any x X, T(., x): Ω → X is measurable. A random mapping T is said to be continuous if, for any t ∈ Ω, the mapping T(t, .): X X is continuous.

Similarly, we can define a random mapping a : Ω × X × X X. We shall write Tt(x) = T(t, x(t)) and at(x, y) = a(t, x(t),y(t)) for all t ∈ Ω and x(t),y(t) ∈ X.

It is well-known that a measurable mapping is necessarily a random mapping.

Definition 2.4. A set-valued mapping V : Ω⊸X is said to be measurable if, for any B B ( X ) , V - 1 ( B ) = { t Ω : V ( t ) B } A .

Definition 2.5. A mapping u : Ω → X is called a measurable selection of a set-valued measurable mapping V : Ω⊸X if, u is measurable and for any t ∈ Ω, u(t) ∈ V(t).

Definition 2.6. A set-valued mapping V : Ω × XX is called a random set-valued mapping if, for any x X, V(., x) is measurable. A random set-valued mapping V : Ω × XX is said to be Ĥ-continuous if, for any t ∈ Ω, V(t, .) is continuous in the Hausdorff metric on CB(X).

Definition 2.7. Let X be a q-uniformly smooth Banach space, T, A : Ω × X X and η : Ω × X × X X be random single-valued mappings. Then

(a) T is said to be accretive if

T t ( x ) - T t ( y ) , J q ( x ( t ) - y ( t ) ) 0 , x ( t ) , y ( t ) X , t Ω ;

(b) T is called strictly accretive if T is accretive and

T t ( x ) - T t ( y ) , J q ( x ( t ) - y ( t ) ) = 0 ,

if and only if x(t) = y(t) for all t ∈ Ω;

(c) T is said to be r-strongly accretive if there exists a measurable function r : Ω → (0, ∞) such that

T t ( t ) - T t ( y ) , J q ( x ( t ) - y ( t ) ) r ( t ) x ( t ) - y ( t ) q , x ( t ) , y ( t ) X , t Ω ;

(d) T is said to be (θ, κ)-relaxed cocoercive if there exist measurable functions θ, κ : Ω → (0, ∞) such that

T t ( x ) - T t ( y ) , J q ( x ( t ) - y ( t ) ) - θ ( t ) T t ( x ) - T t ( y ) q + κ ( t ) x ( t ) - y ( t ) q , x ( t ) , y ( t ) X , t Ω ;

(e) T is called ϱ-Lipschitz continuous if there exists a measurable function ϱ : Ω → (0, ∞) such that

T t ( x ) - T t ( y ) ϱ ( t ) x ( t ) - y ( t ) , x ( t ) , y ( t ) X , t Ω ;

(f) η is said to be τ-Lipschitz continuous if there exists a measurable function τ : Ω → (0, ∞) such that

η t ( x , y ) τ ( t ) x ( t ) - y ( t ) , x ( t ) , y ( t ) X , t Ω ;

(g) η is said to be μ-Lipschitz continuous in the second argument if there exists a measurable function μ : Ω → (0, ∞) such that

η t ( x , u ) - η t ( y , u ) μ ( t ) x ( t ) - y ( t ) , x ( t ) , y ( t ) , u ( t ) X , t Ω ;

In a similar way to part (g), we can define the Lipschitz continuity of the mapping η in the third argument.

Definition 2.8. Let X be a q-uniformly smooth Banach space, η : Ω × X × X X and H, A : Ω × X X be three random single-valued mappings. Then set-valued mapping M : Ω × XX is said to be:

(a) accretive if

u ( t ) - v ( t ) , J q ( x ( t ) - y ( t ) ) 0 , x ( t ) , y ( t ) X , u ( t ) M t ( x ) , v ( t ) M t ( y ) , t Ω ;

(b) η-accretive if

u ( t ) - v ( t ) , J q ( η t ( x , y ) ) 0 , x ( t ) , y ( t ) X , u ( t ) M t ( x ) , v ( t ) M t ( y ) , t Ω ;

(c) strictly η-accretive if M is η-accretive and the equality holds if and only if x(t) = y(t), ∀t ∈ Ω;

(d) r-strongly η-accretive if there exists a measurable function r : Ω → (0, ∞) such that

u ( t ) - v ( t ) , J q ( η t ( x , y ) ) r ( t ) x ( t ) - y ( t ) q , x ( t ) , y ( t ) X , u ( t ) M t ( x ) , v ( t ) M t ( y ) , t Ω ;

(e) α-relaxed η-accretive if there exists a measurable function α : Ω → (0, ∞) such that

u ( t ) - v ( t ) , J q ( η t ( x , y ) ) - α ( t ) x ( t ) - y ( t ) q , x ( t ) , y ( t ) X , u ( t ) M t ( x ) , v ( t ) M t ( y ) , t Ω ;

(f) m-accretive if M is accretive and (It + ρ(t)Mt)(X) = X for all t ∈ Ω and for any measurable function ρ : Ω → (0,∞), where I denotes the identity mapping on X, It(x) = x(t), for all x(t) ∈X, t ∈ Ω;

(g) generalized m-accretive if M is η-accretive and (It + ρ(t)Mt)(X) = X for all t ∈ Ω and any measurable function ρ : Ω → (0, ∞);

(h) H-accretive if M is accretive and (Ht + ρ(t)Mt)(X) = X for all t ∈ Ω and any measurable function ρ : Ω → (0, ∞), where Ht(.) = H(t,.) for all t ∈ Ω;

(i) (H, η)-accretive if M is η-accretive and (Ht + ρ(t)Mt)(X) = X for all t ∈ Ω and any measurable function ρ : Ω → (0, ∞);

(j) A-maximal m-relaxed η-accretive if M is m-relaxed η-accretive and (At+ρ(t)Mt)(X) = X for all t ∈ Ω and any measurable function ρ : Ω → (0, ∞), where At(.) = A(t,.) for all t ∈ Ω;

(k) β-Ĥ-Lipschitz continuous if there exists a measurable function β : Ω → (0, +∞) such that

Ĥ ( M t ( x ) , M t ( y ) ) β ( t ) x ( t ) - y ( t ) , x ( t ) , y ( t ) X , t Ω .

Remark 2.9. (1) If X = H is a Hilbert space, then parts (a)-(i) of Definition 2.8 reduce to the definitions of monotone operators, η-monotone operators, strictly η-monotone operators, strongly η-monotone operators, relaxed η-monotone operators, maximal monotone operators, maximal η-monotone operators, H-monotone operators and (H, η)-monotone operators, respectively.

(2) For appropriate and suitable choices of m, A, η and X, it is easy to see that part (j) of Definition 2.8 includes a number of definitions of monotone operators and accretive mappings (see [52]).

Proposition 2.10. [52]Let A : Ω × X X be an r-strongly η-accretive mapping and M : Ω × X X be an A-maximal m-relaxed η-accretive mapping. Then the operator (At + ρ(t)Mt)-1 is single-valued for any measurable function ρ : Ω → (0, +∞) and t ∈ Ω.

Definition 2.11. Let A : Ω × X X be a strictly η-accretive mapping and M : Ω × XX be an A-maximal m-relaxed η-accretive mapping. Then, for any measurable function ρ : Ω → (0, +∞), the resolvent operator J ρ ( t ) , A t η t , M t : X X is defined by:

J ρ ( t ) , A t η t , M t ( u ( t ) ) = ( A t + ρ ( t ) M t ) - 1 ( u ( t ) ) , t Ω , u ( t ) X .

Proposition 2.12. [52]Let X be a q-uniformly smooth Banach space and η : Ω × X × X X be τ-Lipschitz continuous, A : Ω × X X be an r-strongly η-accretive mapping and M : Ω × X X be an A-maximal m-relaxed η-accretive mapping. Then the resolvent operator J ρ ( t ) , A t η t , M t : X X is τ q - 1 ( t ) r ( t ) - ρ ( t ) m ( t ) -Lipschitz continuous, i.e.,

J ρ ( t ) , A t η t , M t ( x ( t ) ) - J ρ ( t ) , A t η t , M t ( y ( t ) ) τ q - 1 ( t ) r ( t ) - ρ ( t ) m ( t ) x ( t ) - y ( t ) , x ( t ) , y ( t ) X , t Ω ,

where ρ ( t ) 0 , r ( t ) m ( t ) is a real-valued random variable for all t ∈ Ω.

### 3 A new random variational inclusion problem and random iterative algorithm

In what follows, we denote the collection of all fuzzy sets on X by F ( X ) = { A | A : X [ 0 , 1 ] } . For any set K, a mapping S   from K into F ( X ) is called a fuzzy mapping. If S : K F ( X ) is a fuzzy mapping, then S ( x ) , for any x K, is a fuzzy set on F ( X ) (in the sequel, we denote S ( x ) by S x ) and S x ( y ) , for any y X, is the degree of membership of y in S x . For any A F ( X ) and α ∈ [0,1], the set

( A ) α = { x X : A ( x ) α }

is called a α-cut set of A.

Definition 3.1. A fuzzy mapping S : Ω F ( X ) is called measurable if, for any α ∈ (0, 1], ( S ( . ) ) α : Ω X is a measurable set-valued mapping.

Definition 3.2. A fuzzy mapping S : Ω × X F ( X ) is called a random fuzzy mapping if, for any x X , S ( . , x ) : Ω F ( X ) is a measurable fuzzy mapping.

Now, let us introduce our main considered problem.

Suppose that S , T , P , Q , G : Ω × X F ( X ) are random fuzzy mappings, A, p : Ω × X X and η : Ω × X × X X, N : Ω × X × X × X X are random single-valued mappings. Further, let a, b, c, d, e : X → [0, 1] be any mappings and M : Ω × X × XX be a random set-valued mapping such that, for each fixed t ∈ Ω and z(t) ∈ X, M (t,.,z(t)):XX be an A-maximal m-relaxed η-accretive mapping with Im(p)∩dom M (t,.,z(t))≠ ∅. Now, we consider the following problem:

For any element h : Ω → X and any measurable function λ : Ω → (0, +∞), find measurable mappings x, υ, u, v, ϑ, w : Ω → X such that for each t Ω , x ( t ) X , S t , x ( t ) ( υ ( t ) ) a ( x ( t ) ) , T t , x ( t ) ( u ( t ) ) b ( x ( t ) ) , P t , x ( t ) ( v ( t ) ) c ( x ( t ) ) , Q t , x ( t ) ( ϑ ( t ) ) d ( x ( t ) ) , G t , x ( t ) ( w ( t ) ) e ( x ( t ) ) and

h ( t ) N t ( υ , u , v ) + λ ( t ) M t ( p t ( x ) - ϑ , w ) , t Ω . (3.1)

The problem (3.1) is called the general nonlinear random A-maximal m-relaxed η-accretive equation with random relaxed cocoercive mappings and random fuzzy mappings in Banach spaces.

Remark 3.3. Obviously, the random fuzzy mapping includes set-valued mapping, random set-valued mapping and fuzzy mapping as the special cases. These mean that for appropriate and suitable choices of X , A , η , λ , p , M , N , S , T , P , Q , G and h, one can obtain many known classes of random variational inequalities, random quasi-variational inequalities, random complementarity and random quasi-complementarity problems as special cases of the problem (3.1), (see, for example [1-3,22,23,34,37,45,49,50,53,58] and the references therein).

In the sequel, we will develop and analyze a new class of iterative methods and construct a new random iterative algorithm with mixed errors for solving the problem (3.1). For this end, we need the following lemmas.

Lemma 3.4. [12]Let M : Ω × X CB(X) be a Ĥ-continuous random set-valued mapping. Then, for any measurable mapping x : Ω → X, the set-valued mapping M(., x(.)): Ω → CB(X) is measurable.

Lemma 3.5. [12]Let M, V : Ω → CB(X) be two measurable set-valued mappings, ϵ > 0 be a constant and x : Ω → X be a measurable selection of M. Then there exists a measurable selection y : Ω → X of V such that, for any t ∈ Ω,

x ( t ) - y ( t ) ( 1 + ) Ĥ ( M ( t ) , V ( t ) ) .

The following lemma offers a good approach for solving the problem (3.1).

Lemma 3.6. The set of measurable mappings x, υ, u, v, ϑ, w : Ω → X is a random solution of the problem (3.1) if and only if, for each t ∈ Ω, υ(t) ∈ St(x), u(t) ∈ Tt(x), v(t) ∈ Pt(x), ϑ(t) ∈ Qt(x), w(t) ∈ Gt(x) and

p t ( x ) = ϑ ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w ) [ A t ( p t ( x ) - ϑ ) - ρ ( t ) ( N t ( υ , u , v ) - h ( t ) ) ] ,

where J ρ ( t ) λ ( t ) , A t η t , M t ( . , w ) = ( A t + ρ ( t ) λ ( t ) M t ( . , w ) ) - 1 and ρ : Ω → (0, ∞) is a measurable function.

Proof. The fact follows directly from the definition of J ρ ( t ) λ ( t ) , A t η t , M t ( . , w ) .

In order to prove our main result, the following concepts are also needed. Let S , T , P , Q , G : Ω × X F ( X ) be five random fuzzy mappings satisfying the following condition (*): There exist five mappings a, b, c, d, e : X → [0,1] such that

( S t , x ( t ) ) a ( x ( t ) ) C B ( X ) , ( T t , x ( t ) ) b ( x ( t ) ) C B ( X ) , ( P t , x ( t ) ) c ( x ( t ) ) C B ( X ) , ( Q t , x ( t ) ) d ( x ( t ) ) C B ( X ) , ( G t , x ( t ) ) e ( x ( t ) ) C B ( X ) , ( t , x ( t ) ) Ω × X .

By using the random fuzzy mapping S   satisfying (*) with the corresponding function a : X → [0,1], we can define a random set-valued mapping S as follows:

S : Ω × X C B ( X ) , ( t , x ( t ) ) ( S t , x ( t ) ) a ( x ( t ) ) , ( t , x ( t ) ) Ω × X ,

Where S t , x ( t ) = S ( t , x ( t ) ) . From now on, the random fuzzy mappings S , T , P , Q and , are assumed to satisfying the condition (*) and we will let S, T, P, Q and G are the random set-valued mappings induced by those five random fuzzy mappings, respectively.

Now, by using Chang's lemma [12] and based on Lemma 3.6, we can construct the new following iterative algorithm for solving the problem (3.1).

Algorithm 3.7. Let A , p , η , M , N , S , T , P , Q , G , h , λ be the same as in the problem (3.1) and let S, T, P, Q, G be Ĥ-continuous random set-valued mappings induced by S , T , P , Q and , respectively. Assume that α : Ω → (0, 1] is a measurable step size function. For any measurable mapping x0 : Ω → X, the set-valued mappings S(., x0(.)), T(., x0(.)), P(., x0(.)), Q(., x0(.)), G(., x0(.)): Ω → CB(X) are measurable by Lemma 3.4. Hence there exist measurable selections υ0 : Ω → X of S(., x0(.)), u0 : Ω → X of T(., x0(.)), v0 : Ω → X of P(., x0(.)), ϑ0 : Ω → X of Q(., x0(.)) and w0 : Ω → X of G(., x0(.)) by Himmelberg [35]. For each t ∈ Ω, set

x 1 ( t ) = ( 1 - α ( t ) ) x 0 ( t ) + α ( t ) { x 0 ( t ) - p t ( x 0 ) + ϑ 0 ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w 0 ) [ A t ( p t ( x 0 ) - ϑ 0 ) - ρ ( t ) ( N t ( υ 0 , u 0 , v 0 ) - h ( t ) ) ] } + α ( t ) e 0 ( t ) + r 0 ( t ) ,

where ρ(t) is the same as in Lemma 3.6 and e0, r0 : Ω → X are measurable functions. It is easy to know that x1 : Ω → X is measurable. Since υ0(t) ∈ St(x0) ∈ CB(X), u0(t) ∈ Tt(x0) ∈ CB(X), v0(t) ∈ Pt(x0) ∈ CB(X), ϑ0(t) ∈ Qt(x0) ∈ CB(X) and w0(t) ∈ Gt(x0) ∈ CB(X), by Lemma 3.5, there exist measurable selections υ1, u1, v1, w1, ϑ1 : Ω → X of the set-valued measurable mappings S(., x1(.)), T(., x1(.)), P(., x1(.)), Q(., x1(.)) and G(., x1(.)), respectively, such that, for all t ∈ Ω,

υ 0 ( t ) - υ 1 ( t ) 1 + 1 1 Ĥ ( S t ( x 0 ) , S t ( x 1 ) ) , u 0 ( t ) - u 1 ( t ) 1 + 1 1 Ĥ ( T t ( x 0 ) , T t ( x 1 ) ) , v 0 ( t ) - v 1 ( t ) 1 + 1 1 Ĥ ( P t ( x 0 ) , P t ( x 1 ) ) , ϑ 0 ( t ) - ϑ 1 ( t ) 1 + 1 1 Ĥ ( Q t ( x 0 ) , Q t ( x 1 ) ) , w 0 ( t ) - w 1 ( t ) 1 + 1 1 Ĥ ( G t ( x 0 ) , G t ( x 1 ) ) .

Letting

x 2 ( t ) = ( 1 - α ( t ) ) x 1 ( t ) + α ( t ) { x 1 ( t ) - p t ( x 1 ) + ϑ 1 ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w 1 ) [ A t ( p t ( x 1 ) - ϑ 1 ) - ρ ( t ) ( N t ( υ 1 , u 1 , v 1 ) - h ( t ) ) ] } + α ( t ) e 1 ( t ) + r 1 ( t ) , t Ω ,

then x2 : Ω → X is measurable. By induction, we can define the sequences {xn(t)}, {υn(t)}, {un(t)}, {vn(t)}, {ϑn(t)} and {wn(t)} for solving the problem (3.1) inductively satisfying

x n + 1 ( t ) = ( 1 - α ( t ) ) x n ( t ) + α ( t ) x n ( t ) - p t ( x n ) + ϑ n ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n ) [ A t ( p t ( x n ) - ϑ n ) - ρ ( t ) ( N t ( υ n , u n , v n ) - h ( t ) ) ] + α ( t ) e n ( t ) + r n ( t ) , t Ω , υ n ( t ) S t ( x n ) , υ n ( t ) - υ n + 1 ( t ) 1 + 1 1 + n Ĥ ( S t ( x n ) , S t ( x n + 1 ) ) , u n ( t ) T t ( x n ) , u n ( t ) - u n + 1 ( t ) 1 + 1 1 + n Ĥ ( T t ( x n ) , T t ( x n + 1 ) ) , v n ( t ) P t ( x n ) , v n ( t ) - v n + 1 ( t ) 1 + 1 1 + n Ĥ ( P t ( x n ) , P t ( x n + 1 ) ) , ϑ n ( t ) Q t ( x n ) , ϑ n ( t ) - ϑ n + 1 ( t ) 1 + 1 1 + n Ĥ ( Q t ( x n ) , Q t ( x n + 1 ) ) , w n ( t ) G t ( x n ) , w n ( t ) - w n + 1 ( t ) 1 + 1 1 + n Ĥ ( G t ( x n ) , G t ( x n + 1 ) ) , (3.2)

where for all n ≥ 0 and t ∈ Ω, en(t), rn(t) ∈ X are real-valued random errors to take into account a possible inexact computation of the random resolvent operator point satisfying the following conditions:

lim n e n ( t ) = lim n r n ( t ) = 0 , t Ω ; n = 0 e n ( t ) - e n - 1 ( t ) < , t Ω ; n = 0 r n ( t ) - r n - 1 ( t ) < , t Ω . (3.3)

Remark 3.8. For a suitable and appropriate choice of the mappings A , p , η , M , N , S , T , P , Q , G , S , T , P , Q , G , α , h , λ , the sequences {en}, {rn} and the space X, Algorithm 3.7 includes many known algorithms which due to classes of variational inequalities and variational inclusions (see, for example [13,18,22-24,33,34,37-40,42,44,46,53,58]).

### 4 Main result

In this section, we prove the existence of solutions for the problem (3.1) and the convergence of iterative sequences generated by Algorithm 3.7 in Banach spaces.

Theorem 4.1. Let X be a q-uniformly smooth Banach space, A , p , η , M , N , S , T , P , Q , G , h , λ be the same as in the problem (3.1) and S, T, P, Q, G : Ω × X CB(X) be five random set-valued mappings induced by S , T , P , Q , G respectively. Further, suppose that

(a) p is (γ, ϖ)-relaxed cocoercive and π-Lipschitz continuous;

(b) A is r-strongly η-accretive and σ-Lipschitz continuous;

(c) η is τ-Lipschitz continuous;

(d) S, T, P, Q and G are ξ-Ĥ-Lipschitz continuous, ζ-Ĥ-Lipschitz continuous, ς-Ĥ-Lipschitz continuous, ϱ-Ĥ-Lipschitz continuous and ι-Ĥ-Lipschitz continuous, respectively;

(e) N is ϵ-Lipschitz continuous in the second argument, δ-Lipschitz continuous in the third argument and κ-Lipschitz continuous in the fourth argument;

(f) There exist the measurable functions μ : Ω → (0, +∞) and ρ : Ω → (0, +∞) with ρ ( t ) 0 , r ( t ) λ ( t ) m ( t ) , for all t ∈ Ω, such that

J ρ ( t ) λ ( t ) , A t η t , M t ( . , x ) ( z ( t ) ) - J ρ ( t ) λ ( t ) , A t η t , M t ( . , y ) ( z ( t ) ) μ ( t ) x ( t ) - y ( t ) , t Ω , x ( t ) , y ( t ) , z ( t ) X (4.1)

and

φ ( t ) = ϱ ( t ) + μ ( t ) ι ( t ) + 1 - q ϖ ( t ) + q γ ( t ) + c q π q ( t ) q < 1 , σ ( t ) π ( t ) + ϱ ( t ) + ρ ( t ) ( ( t ) ξ ( t ) + δ ( t ) ζ ( t ) + κ ( t ) ς ( t ) ) < τ 1 - q ( t ) ( 1 - φ ( t ) ) ( r ( t ) - ρ ( t ) λ ( t ) m ( t ) ) , (4.2)

where cq is the same as in Lemma 2.1. Then there exists a set of measurable mappings x*, υ*, u*, v*, ϑ*, w*: Ω → X which is a random solution of the problem (3.1) and for each t ∈ Ω, xn(t) → x*(t), υn(t) → υ*(t), un(t) → u*(t), vn(t) → v*(t), ϑn(t) → ϑ*(t), wn(t) → w*(t) as n → ∞, where {xn(t)}, {υn(t)}, {un(t)}, {vn(t)}, {ϑn(t)} and {wn(t)} are the iterative sequences generated by Algorithm 3.7.

Proof. Firstly, for each n ≥ 0, by considering (3.2) and (4.1), in view of Proposition 2.12, we see that

x n + 1 ( t ) - x n ( t ) ( 1 - α ( t ) ) x n ( t ) + α ( t ) x n ( t ) - p t ( x n ) + ϑ n ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n ) [ A t ( p t ( x n ) - ϑ n ) - ρ ( t ) ( N t ( υ n , u n , v n ) - h ( t ) ) ] + α ( t ) e n ( t ) + r n ( t ) - ( 1 - α ( t ) ) x n - 1 ( t ) - α ( t ) x n - 1 ( t ) - p t ( x n - 1 ) + ϑ n - 1 ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n - 1 ) [ A t ( p t ( x n - 1 ) - ϑ n - 1 ) - ρ ( t ) ( N t ( υ n - 1 , u n - 1 , v n - 1 ) - h ( t ) ) ] - α ( t ) e n - 1 ( t ) - r n - 1 ( t ) 1 - α ( t ) x n ( t ) - x n - 1 ( t ) + α ( t ) x n ( t ) - x n - 1 ( t ) - ( p t ( x n ) - p t ( x n - 1 ) ) + ϑ n ( t ) - ϑ n - 1 ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n ) [ A t ( p t ( x n ) - ϑ n ) - ρ ( t ) ( N t ( υ n , u n , v n ) - h ( t ) ) ] - J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n - 1 ) [ A t ( p t ( x n - 1 ) - ϑ n - 1 ) - ρ ( t ) ( N t ( υ n - 1 , u n - 1 , v n - 1 ) - h ( t ) ) ] + α ( t ) e n ( t ) - e n - 1 ( t ) + r n ( t ) - r n - 1 ( t ) ( 1 - α ( t ) ) x n ( t ) - x n - 1 ( t ) + α ( t ) x n ( t ) - x n - 1 ( t ) - ( p t ( x n ) - p t ( x n - 1 ) ) + ϑ n ( t ) - ϑ n - 1 ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n ) [ A t ( p t ( x n ) - ϑ n ) - ρ ( t ) ( N t ( υ n , u n , v n ) - h ( t ) ) ] - J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n ) [ A t ( p t ( x n - 1 ) - ϑ n - 1 ) - ρ ( t ) ( N t ( υ n - 1 , u n - 1 , v n - 1 ) - h ( t ) ) ] + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n ) [ A t ( p t ( x n - 1 ) - ϑ n - 1 ) - ρ ( t ) ( N t ( υ n - 1 , u n - 1 , v n - 1 ) - h ( t ) ) ] - J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n - 1 ) [ A t ( p t ( x n - 1 ) - ϑ n - 1 ) - ρ ( t ) ( N t ( υ n - 1 , u n - 1 , v n - 1 ) - h ( t ) ) ] + α ( t ) e n ( t ) - e n - 1 ( t ) + r n ( t ) - r n - 1 ( t ) ( 1 - α ( t ) ) x n ( t ) - x n - 1 ( t ) + α ( t ) x n ( t ) - x n - 1 ( t ) - ( p t ( x n ) - p t ( x n - 1 ) ) + ϑ n ( t ) - ϑ n - 1 ( t ) + μ ( t ) w n ( t ) - w n - 1 ( t ) + τ q - 1 ( t ) r ( t ) - ρ ( t ) λ ( t ) m ( t ) A t ( p t ( x n ) - ϑ n ) - A t ( p t ( x n - 1 ) - ϑ n - 1 ) + ρ ( t ) N t ( υ t , u n , v n ) - N t ( υ n - 1 , u n - 1 , v n - 1 ) ) + α ( t ) e n ( t ) - e n - 1 ( t ) + r n ( t ) - r n - 1 ( t ) . (4.3)

Meanwhile, by Lemma 2.1, there exists a constant cq > 0 such that

x n ( t ) - x n - 1 ( t ) - ( p t ( x n ) - p t ( x n - 1 ) ) q x n ( t ) - x n - 1 ( t ) q - q p t ( x n ) - p t ( x n - 1 ) , J q ( x n ( t ) - x n - 1 ( t ) ) + c q p t ( x n ) - p t ( x n - 1 ) q .

Consequently, since p is (γ, ϖ)-relaxed cocoercive and π-Lipschitz continuous, we obtain

x n ( t ) - x n - 1 ( t ) - ( p t ( x n ) - p t ( x n - 1 ) ) q x n ( t ) - x n - 1 ( t ) q + ( q γ ( t ) + c q ) p t ( x n ) - p t ( x n - 1 ) q - q ϖ ( t ) x n ( t ) - x n - 1 ( t ) q = ( 1 - q ϖ ( t ) + ( q γ ( t ) + c q ) π q ( t ) ) x n ( t ) - x n - 1 ( t ) q . (4.4)

Furthermore, by ϱ-Ĥ-Lipschitz continuity of Q and ι-Ĥ-Lipschitz continuity of G, from (3.2) we deduce that

ϑ n ( t ) - ϑ n - 1 ( t ) 1 + 1 n Ĥ ( Q t ( x n ) , Q t ( x n - 1 ) ) ϱ ( t ) 1 + 1 n x n ( t ) - x n - 1 ( t ) (4.5)

and

w n ( t ) - w n - 1 ( t ) 1 + 1 n Ĥ ( G t ( x n ) , G t ( x n - 1 ) ) ι ( t ) 1 + 1 n x n ( t ) - x n - 1 ( t ) . (4.6)

By using (4.5) together with σ-Lipschitz continuity of A, π-Lipschitz continuity of p, we obtain

A t ( p t ( x n ) - ϑ n ) - A t ( p t ( x n - 1 ) - ϑ n - 1 ) σ ( t ) ( p t ( x n ) - p t ( x n - 1 ) + ϑ n ( t ) - ϑ n - 1 ( t ) ) σ ( t ) π ( t ) + ϱ ( t ) 1 + 1 n x n ( t ) - x n - 1 ( t ) . (4.7)

Moreover, since N is ϵ-Lipschitz continuous in the second argument, δ-Lipschitz continuous in the third argument, κ-Lipschitz continuous in the fourth argument and S, T, P are ξ-Ĥ-Lipschitz continuous, ζ-Lipschitz continuous and ς-Ĥ-Lipschitz continuous, respectively, by (3.2), we get

N t ( υ n , u n , v n ) - N t ( υ n - 1 , u n - 1 , v n - 1 ) N t ( υ n , u n , v n ) - N t ( υ n - 1 , u n , v n ) + N t ( υ n - 1 , u n , v n ) - N t ( υ n - 1 , u n - 1 , v n ) + N t ( υ n - 1 , u n - 1 , υ n ) - N t ( υ n - 1 , u n - 1 , v n - 1 ) ( t ) υ n ( t ) - υ n - 1 ( t ) + δ ( t ) u n ( t ) - u n - 1 ( t ) + κ ( t ) v n ( t ) - v n - 1 ( t ) ( t ) ξ ( t ) + δ ( t ) ζ ( t ) + κ ( t ) ς ( t ) 1 + 1 n x n ( t ) - x n - 1 ( t ) . (4.8)

Now, substitute (4.4)-(4.8) into (4.3), we get that

x n + 1 ( t ) - x n ( t ) ( 1 - α ( t ) + α ( t ) ψ ( t , n ) ) x n ( t ) - x n - 1 ( t ) + α ( t ) e n ( t ) - e n - 1 ( t ) + r n ( t ) - r n - 1 ( t ) , (4.9)

where

ψ ( t , n ) = ( ϱ ( t ) + μ ( t ) ι ( t ) ) 1 + 1 n + 1 - q ϖ ( t ) + ( q γ ( t ) + c q ) π q ( t ) q + τ q - 1 ( t ) Γ ( t , n ) r ( t ) - ρ ( t ) λ ( t ) m ( t ) , Γ ( t , n ) = σ ( t ) π ( t ) + ϱ ( t ) 1 + 1 n + ρ ( t ) ( ( t ) ξ ( t ) + δ ( t ) ζ ( t ) + κ ( t ) ς ( t ) ) 1 + 1 n .

Let us put

θ ( t , n ) = 1 - α ( t ) + α ( t ) ψ ( t , n ) , for each n 0 , t Ω .

Then, for each t ∈ Ω, we know that

θ ( t , n ) θ ( t ) = 1 - α ( t ) + α ( t ) ψ ( t ) , as n ,

where

ψ ( t ) = ϱ ( t ) + μ ( t ) ι ( t ) + 1 - q ϖ ( t ) + ( q γ ( t ) + c q ) π q ( t ) q + τ q - 1 ( t ) Γ ( t ) r ( t ) - ρ ( t ) λ ( t ) m ( t ) , Γ ( t ) = σ ( t ) ( π ( t ) + ϱ ( t ) ) + ρ ( t ) ( ( t ) ξ ( t ) + δ ( t ) ζ ( t ) + κ ( t ) ς ( t ) ) .

It follows that, in view of the condition (4.2), we have ψ(t) ∈ (0, 1) for all t ∈ Ω. This implies 0 < θ(t) < 1 for all t ∈ Ω. Hence there exist n0 ∈ ℕ and a measurable function θ ^ : Ω ( 0 , ) (Take θ ^ ( t ) = θ ( t ) + 1 2 ( θ ( t ) , 1 ) for each t ∈ Ω) such that θ ( t , n ) θ ^ ( t ) for all n n0 and t ∈ Ω. Accordingly, for all n > n0, by (4.9), deduce that, for all t ∈ Ω,

x n + 1 ( t ) - x n ( t ) θ ^ ( t ) x n ( t ) - x n - 1 ( t ) + α ( t ) e n ( t ) - e n - 1 ( t ) + r n ( t ) - r n - 1 ( t ) θ ^ ( t ) [ θ ^ ( t ) x n - 1 ( t ) - x n - 2 ( t ) + α ( t ) e n - 1 ( t ) - e n - 2 ( t ) + r n - 1 ( t ) - r n - 2 ( t ) ] + α ( t ) e n ( t ) - e n - 1 ( t ) + r n ( t ) - r n - 1 ( t ) = θ ^ 2 ( t ) x n - 1 ( t ) - x n - 2 ( t ) + α ( t ) [ θ ^ ( t ) e n - 1 ( t ) - e n - 2 ( t ) + e n ( t ) - e n - 1 ( t ) ] + θ ^ ( t ) r n - 1 ( t ) - r n - 2 ( t ) + r n ( t ) - r n - 1 ( t ) θ ^ n - n 0 ( t ) x n 0 + 1 ( t ) - x n 0 ( t ) + i = 1 n - n 0 α ( t ) θ ^ i - 1 ( t ) e n - ( i - 1 ) ( t ) - e n - i ( t ) + i = 1 n - n 0 θ ^ i - 1 ( t ) r n - ( i - 1 ) ( t ) - r n - i ( t ) . (4.10)

By using the inequality (4.10), it follows that, for any m n > n0,

x m ( t ) - x n ( t ) j = n m - 1 x j + 1 ( t ) - x j ( t ) j = n m - 1 θ ^ j - n 0 ( t ) x n 0 + 1 ( t ) - x n 0 ( t ) + j = n m - 1 i = 1 j - n 0 α ( t ) θ ^ i - 1 ( t ) e n - ( i - 1 ) ( t ) - e n - i ( t ) + j = n m - 1 i = 1 j - n 0 θ ^ i - 1 ( t ) r n - ( i - 1 ) ( t ) - r n - i ( t ) . (4.11)

Since θ ^ ( t ) < 1 for all t ∈ Ω, it follows from (3.3) and (4.11) that ∥xm(t) - xn(t)∥ → 0 as n → ∞. This means {xn(t)} is a Cauchy sequence in X. In view of completeness of X, there exists x*(t) ∈ X such that xn(t) → x*(t) for all t ∈ Ω.

Consequently, by using (3.2), ξ-Ĥ-Lipschitz continuity of S, ζ-Ĥ-Lipschitz continuity of T, ς-Ĥ-Lipschitz continuity of P, ϱ-Ĥ-Lipschitz continuity of Q and ι-Ĥ-Lipschitz continuity of G, we know that {υn(t)}, {un(t)}, {vn(t)}, {ϑn(t)} and {wn(t)} are also Cauchy sequences in X. Thus there are υ*(t), u*(t), v*(t), ϑ*(t), w*(t) in X such that, for all t ∈ Ω, υn(t) → υ*(t), un(t) → u*(t), vn(t) → v*(t), ϑn(t) → ϑ*(t) and wn(t) → w*(t) as n → ∞. Since {xn(t)}, {υn(t)}, {un(t)}, {vn(t)}, {ϑn(t)} and {wn(t)} are sequences of measurable mappings, we know that x, υ, u, v, ϑ, w : Ω → X are also measurable. Further, for each t ∈ Ω, we have

d ( υ * ( t ) , S t ( x * ) ) = inf { υ * ( t ) - z : z S t ( x * ) } υ * ( t ) - υ n ( t ) + d ( υ n ( t ) , S t ( x * ) ) υ * ( t ) - υ n ( t ) + Ĥ ( S t ( x n ) , S t ( x * ) ) υ * ( t ) - υ n ( t ) + ξ ( t ) x n ( t ) - x * ( t ) .

Notice that, the right side of the above inequality tends to zero as n → ∞, this implies that υ*(t) ∈ St(x*).

Similarly, we can verify that for each t ∈ Ω, u*(t) ∈ Tt(x*), v*(t) ∈ Pt(x*), ϑ*(t) ∈ Qt(x*) and w*(t) ∈ Gt(x*). Moreover, the condition (4.1) and wn(t) → w*(t), for all t ∈ Ω, as n → ∞, imply that for each t Ω , J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n ) J ρ ( t ) λ ( t ) , A t η t , M t ( . , w * ) uniformly on X, as n → ∞.

Now, since for each t ∈ Ω, the mappings J ρ ( t ) λ ( t ) , A t η t , M t ( . , w n ) and At are continuous, it follows from (3.2) and (3.3) that for each t ∈ Ω,

p t ( x * ) = ϑ * ( t ) + J ρ ( t ) λ ( t ) , A t η t , M t ( . , w * ) [ A t ( p t ( x * ) - ϑ * ) - ρ ( t ) ( N t ( υ * , u * , v * ) - h ( t ) ) ] .

Finally, Lemma 3.6 implies that measurable mappings x*, υ*, u*, v*, ϑ*, w*: Ω → X are a random solution of the problem (3.1). This completes the proof.

Remark 4.2. If X is a 2-uniformly smooth Banach space and there exists a measurable function ρ : Ω → (0, ∞) with ρ ( t ) ( 0 , r ( t ) λ ( t ) m ( t ) ) , for all t ∈ Ω, such that

φ ( t ) = ϱ ( t ) + μ ( t ) ι ( t ) + 1 - 2 ϖ ( t ) + ( 2 γ ( t ) + c 2 ) π 2 ( t ) < 1 , 2 ϖ ( t ) - ( 2 γ ( t ) + c 2 ) π 2 ( t ) < 1 , ρ ( t ) < r ( t ) ( 1 - φ ( t ) ) - r ( t ) σ ( t ) ( π (