Next Article in Journal
Strongly Convex Functions of Higher Order Involving Bifunction
Next Article in Special Issue
On Null-Continuity of Monotone Measures
Previous Article in Journal
Development of Preform for Simulation of Cold Forging Process of A V8 Engine Camshaft Free from Flash & Under-Filling
Previous Article in Special Issue
Modified Proximal Algorithms for Finding Solutions of the Split Variational Inclusions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

System of Multi-Valued Mixed Variational Inclusions with XOR-Operation in Real Ordered Uniformly Smooth Banach Spaces

1
Department of Mathematics, Aligarh Muslim University, Aligarh 202002, India
2
College of Sciences, Chongqing Jiaotong University, Chongqing 400074, China
3
Department of Mathematics, Aligarh Muslim University, Aligarh 202002, India
4
Center for Fundamental Science, Kaohsiung Medical University, Kaohsiung 80708, Taiwan
5
Research Center for Nonliear Analysis and Optimization, Kaohsiung Medical University, Kaohsiung 80708, Taiwan
6
Department of Medical Research, Kaohsiung Medical University Hospital, Kaohsiung 80708, Taiwan
*
Author to whom correspondence should be addressed.
Mathematics 2019, 7(11), 1027; https://doi.org/10.3390/math7111027
Submission received: 14 July 2019 / Revised: 20 October 2019 / Accepted: 25 October 2019 / Published: 1 November 2019
(This article belongs to the Special Issue Nonlinear Analysis and Optimization)

Abstract

:
In this paper, we consider and study a system of multi-valued mixed variational inclusions with XOR-operation ⊕ in real ordered uniformly smooth Banach spaces. This system consists of bimappings, multi-valued mappings and Cayley operators. An iterative algorithm is suggested to find the solution to a system of multi-valued mixed variational inclusions with XOR-operation ⊕ and consequently an existence and convergence result is proved. In support of our main result, an example is constructed.
MSC:
47H05; 49H10; 47J25

1. Introduction

In 1964, Stampacchia [1] investigated the theory of variational inequality which provides us a lenient way for solving perplexities occurring in industry, finance, economics, operation research, optimization, decision sciences and several other branches of pure and applied sciences, and so forth, see, for example, [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]. Hassouni and Moudafi [18] studied a mixed type variational inequality which involves a nonlinear term called variational inclusion. They used the resolvent operator technique in order to find the solution to their problem as the projection method does not work due to the nonlinear term.
A natural generalization of variational inequalities called the system of variational inequalities (inclusions) were considered and studied by several authors. Cohen and Chaplais [19], Ansari and Yao [20] and many more researchers considered various system of variational inequalities (inclusions), see also [21,22,23,24,25,26,27,28,29]. It has been shown by Pang [30] that not only the Nash equilibrium problem but also various equilibrium type problems, like the traffic equilibrium problem, spatial equilibrium problem and the general equilibrium programming problems from operation research, game theory, mathematical physics, and so forth, can be formulated as a variational inequality problem defined over a product of sets, which is equivalent to a system of variational inequalities.
Agarwal et al. [31] studied a system of generalized nonlinear mixed quasi-variational inclusions and demonstrated sensitivity analysis of their problem. Some ordered variational inclusions involving XOR-operation ⊕ are studied by Li et al. [32,33,34,35], Ahmad et al. [36,37,38,39] and Ali et al. [40] and so forth. For some related work, see also [41].
In this paper, we consider and study a system of multi-valued mixed variational inclusions with XOR-operation ⊕ in real ordered uniformly smooth Banach spaces. We prove the existence of solutions to a system of multi-valued mixed variational inclusions with XOR-operation ⊕ and we discuss the convergence of the iterative sequences generated by the proposed algorithm. An example is provided.

2. Preliminaries

Let E be a real ordered uniformly smooth Banach space with norm · and E * be its topological dual. We denote by d the metric induced by the norm · on E, by C B ( E ) (respectively, 2 E ) the family of all nonempty closed and bounded subsets (respectively, the set of all nonempty subsets) of E and by D ( · , · ) the Hausdörff metric on C B ( E ) . Let C E be a cone. For arbitrary elements x , y E , x y holds if and only if y x C , then the relation " " in E is called partial order relation induced by the cone C.
Let · , · be the duality pairing between E and E * , and J : E 2 E * be the normalized duality mapping defined by
J ( x ) = { f E * : x , f = x f } , f o r a l l x E .
We recall some well known concepts and results for the presentation of this paper.
The modulus of smoothness of a Banach space E is a function τ E : [ 0 , ) [ 0 , ) defined by
τ E ( t ) = sup x + y x y 2 1 : x 1 , y t .
A Banach space E is called uniformly smooth if
lim t 0 τ E ( t ) t = 0 .
Definition 1
([29]). A mapping g : E E is said to be
(i) 
accretive, if for any x , y E , there exists j ( x y ) J ( x y ) such that
g ( x ) g ( y ) , j ( x y ) 0 ,
(ii) 
strongly accretive, if for any x , y E , there exists j ( x y ) J ( x y ) and a constant δ g > 0 such that
g ( x ) g ( y ) , j ( x y ) δ g x y 2 ,
(iii) 
Lipschitz continuous, if for any x , y E , there exists a constant λ g > 0 such that
g ( x ) g ( y ) λ g x y .
Proposition 1
([42]). Let E be a uniformly smooth Banach space and J : E 2 E * be a normalized duality mapping. Then, for any x , y E ,
(i) 
x + y 2 x 2 + 2 y , j ( x + y ) , for all j ( x + y ) J ( x + y ) ,
(ii) 
x y , j ( x ) j ( y ) 2 C 2 τ E 4 x y / C where C = ( x 2 + y 2 ) / 2 .
Definition 2.
A multi-valued mapping G : E C B ( E ) is said to be D-Lipschitz continuous, if for any x , y E , there exists a constant λ D G > 0 such that
D ( G ( x ) , G ( y ) ) λ D G x y .
Definition 3.
A cone C is said to be normal if there exists a constant λ N > 0 such that for 0 x y , x λ N y , where λ N is normal constant of C.
Definition 4.
For arbitrary element x , y E , x y (or y x ) holds, then x and y said to be comparable to each other (denoted by x y ).
Most of the following definitions can be found in [43].
Definition 5.
For arbitrary elements x,y of E, l u b { x , y } and g l b { x , y } mean the least upper bound and the greatest lower bound of the set { x , y } . Suppose l u b { x , y } and g l b { x , y } exist. Then some binary operations are defined as follows:
(i) 
x y = l u b { x , y } ,
(ii) 
x y = g l b { x , y } ,
(iii) 
x y = ( x y ) ( y x ) ,
(iv) 
x y = ( x y ) ( y x ) .
The operations , , and ⊙ are called O R , A N D , X O R and X N O R operations, respectively.
Proposition 2.
Let ⊕ be an XOR-operation and ⊙ be an XNOR -operation. Then the following relations hold:
(i) 
x x = 0 , x y = y x = ( x y ) = ( y x ) ,
(ii) 
if x 0 , then x 0 x x 0 ,
(iii) 
0 x y , if x y ,
(iv) 
if x y , then x y = 0 , if and only if x = y .
Proposition 3
([43]). Let C E be a normal cone with normal constant λ N . Then for each x,y of E, the following relations hold:
(i) 
0 0 = 0 = 0 ,
(ii) 
x y x y x + y ,
(iii) 
x y | x y λ N x y ,
(iv) 
if x y , then x y = x y .
Definition 6
([33]). Let A : E E be a single-valued mapping. Then
(i) 
A is said to be a comparison mapping, if for all x , y E , x y then A ( x ) A ( y ) , x A ( x ) and y A ( y ) ,
(ii) 
A is said to be strongly comparison mapping, if A is a comparison mapping and A ( x ) A ( y ) if and only if x y , for all x , y E ,
(iii) 
A is said to be β -ordered compression mapping, if A is a comparison mapping, and
A ( x ) A ( y ) β ( x y ) , f o r 0 < β < 1 .
Definition 7
([32,39]). Let M : E 2 E be a multi-valued mapping. Then
(i) 
M is said to be a comparison mapping, if for any v x M ( x ) , x v x and if x y , then for any v x M ( x ) and any v y M ( y ) , v x v y for all x , y E ,
(ii) 
M is said to be α M -non-ordinary difference mapping, if for all x , y E , M is a comparison mapping and v x M ( x ) and v y M ( y ) such that
( v x v y ) α M ( x y ) = 0 ,
(iii) 
M is said to λ-XOR-ordered strongly monotone mapping, if x y then there exists a constant λ > 0 such that
λ ( v x v y ) x y , f o r a l l x , y E , v x M ( x ) , v y M ( y ) .
Definition 8.
Let A : E E be a strong comparison and β -ordered compression mapping. Then, a comparison multi-valued mapping M : E 2 E is said to be ( α M , λ ) -XOR-NODSM , if M is α M -non-ordinary difference mapping and λ-XOR-ordered strongly monotone mapping such that [ A λ M ] ( E ) = E , for all α M , β , λ > 0 .
Definition 9.
Let A : E E be a strongly comparison and β -ordered compression mapping and let M : E 2 E be a multi-valued, ( α M , λ ) -XOR-NODSM mapping. The resolvent operator R A , λ M : E E associated with A and M is defined by
R A , λ M ( x ) = [ A λ M ] 1 ( x ) , f o r a l l x E , λ > 0 .
It is proved in [39] that the resolvent operator defined by (1) is a single-valued comparison as well as θ -Lipschitz-type continuous, where θ = 1 α M λ β .
Definition 10.
The Cayley operator C A , λ M associated with M is defined as
C A , λ M ( x ) = 2 R A , λ M ( x ) I ( x ) , f o r a l l x E ,
where R A , λ M is defined by (1) and λ > 0 .
One can easily prove that the Cayley operator defined by (2) is single-valued, a comparison as well as ( 2 θ + 1 ) -Lipschitz-type continuous, where θ is same as in Definition 9, for more details see [40].

3. A System of Multi-Valued Mixed Variational Inclusions with XOR-Operation ⊕ and an Iterative Algorithm

Let E be a real ordered uniformly smooth Banach space. Let G , F : E C B ( E ) be multi-valued mappings and A , P , q : E E ; S , T : E × E E be single-valued mappings. Let M , N : E 2 E be multi-valued mappings and C A , λ M ; C A , ρ N : E E be Cayley operators. We deal with the following problem.
Find x , y E , u G ( x ) , v F ( y ) such that
0 S ( x P ( x ) , v ) + C A , λ M ( x ) M ( x ) , 0 T ( u , y q ( y ) ) + C A , ρ N ( y ) N ( y ) ,
where λ > 0 and ρ > 0 are constants. Problem (3) is called system of multi-valued mixed variational inclusions with XOR-operation ⊕.
If P ( x ) = 0 = q ( y ) , then we encounter with the following problem, that is, find x , y E , u G ( x ) , v F ( y ) such that
0 S ( x , v ) + C A , λ M ( x ) M ( x ) , 0 T ( u , y ) + C A , ρ N ( y ) N ( y ) .
Problem (4) appears to be the new one.
If C A , λ M ( x ) = 0 = C A , ρ N ( y ) , and ⊕ is replaced by +, then problem (4) reduces to the problem of finding x , y E , u G ( x ) , v F ( y ) such that
0 S ( x , v ) + M ( x ) , 0 T ( u , y ) + N ( y ) .
Problem (5) is considered in [26] in the setting of Hilbert spaces.
It is easy to check that problem (3) includes many previously studied problems related to variational inclusions.
The following Lemma is a fixed point formulation of problem (3).
Lemma 1.
x , y E , u G ( x ) , v F ( y ) is a solution to a system of multi-valued mixed variational inclusions with XOR-operation ⊕ (3), if and only if the following equations are satisfied:
x = R A , λ M A ( x ) + λ S ( x P ( x ) , v ) + λ C A , λ M ( x ) ,
y = R A , ρ N A ( y ) + ρ T ( u , y q ( y ) ) + ρ C A , ρ N ( y ) ,
where, λ > 0 and ρ > 0 are constants.
Proof. 
The proof is easy and hence omitted. ☐
Iterative Algorithm 1.For any given x 0 , y 0 E , we choose u 0 G ( x 0 ) , v 0 F ( y 0 ) . From (6) and (7), for 0 α , β < 1 and λ , ρ > 0 , let
x 1 = ( 1 α ) x 0 + α R A , λ M A ( x 0 ) + λ ( S ( x 0 P ( x 0 ) , v 0 ) ) + λ C A , λ M ( x 0 ) ,
and
y 1 = ( 1 β ) y 0 + β R A , ρ N A ( y 0 ) + ρ ( T ( u 0 , y 0 q ( y 0 ) ) ) + ρ C A , ρ N ( y 0 ) .
Since u 0 G ( x 0 ) and v 0 F ( y 0 ) , by Nadler’s theorem [44], there exist u 1 G ( x 1 ) and v 1 F ( y 1 ) such that
u 0 u 1 ( 1 + 1 ) D ( G ( x 0 ) , G ( x 1 ) ) , v 0 v 1 ( 1 + 1 ) D ( F ( y 0 ) , F ( y 1 ) ) ,
where D is the Hausdörff metric on C B ( E ) . Let
x 2 = ( 1 α ) x 1 + α R A , λ M A ( x 1 ) + λ ( S ( x 1 P ( x 1 ) , v 1 ) ) + λ C A , λ M ( x 1 ) ,
and
y 2 = ( 1 β ) y 1 + β R A , ρ N A ( y 1 ) + ρ ( T ( u 1 , y 1 q ( y 1 ) ) ) + ρ C A , ρ N ( y 1 ) .
Again by Nadler’s theorem [44], there exist u 2 G ( x 2 ) and v 2 F ( y 2 ) such that
u 1 u 2 ( 1 + 2 1 ] ) D ( G ( x 1 ) , G ( x 2 ) ) , v 1 v 2 ( 1 + 2 1 ) D ( F ( y 1 ) , F ( y 2 ) ) .
In a similar way, we can compute the sequences { x n } , { y n } , { u n } and { v n } by the following scheme:
x n + 1 = ( 1 α ) x n + α R A , λ M A ( x n ) + λ ( S ( x n P ( x n ) , v n ) ) + λ C A , λ M ( x n ) ,
and
y n + 1 = ( 1 β ) y n + β R A , ρ N A ( y n ) + ρ ( T ( u n , y n q ( y n ) ) ) + ρ C A , ρ N ( y n ) ,
for n = 0 , 1 , 2 , .
Choose u n + 1 G ( x n + 1 ) , v n + 1 F ( y n + 1 ) such that
u n u n + 1 1 + ( n + 1 ) 1 D ( G ( x n + 1 ) , G ( x n ) ) ,
v n v n + 1 1 + ( n + 1 ) 1 D ( F ( y n + 1 ) , G ( y n ) ) .

4. Existence of Solutions and Convergence of Iterative Sequences

We prove the following existence and convergence result for problem (3).
Theorem 1.
Let E be a real ordered uniformly smooth Banach space with modulus of smoothness τ E ( t ) C t 2 for some C > 0 and C E be a normal cone with normal constant λ N . Let A : E E ; S , T : E × E E be single-valued mappings such that A is strongly comparison and β -ordered compression mapping; S is Lipschitz continuous in both the arguments with constant λ S 1 and λ S 2 , respectively; T is Lipschitz continuous in both the arguments with constant λ T 1 and λ T 2 , respectively. Let F , G : E C B ( E ) be multi-valued mappings such that F is λ D F -D-Lipschitz continuous and G is λ G D -D-Lipschitz continuous. Suppose that P , q : E E be single-valued mappings such that P is δ P -strongly accretive and λ P -Lipschitz continuous; q is δ q -strongly accretive and λ q -Lipschitz continuous. Let M : E 2 E be ( α M , λ ) -XOR-NODSM mapping and N : E 2 E be ( α N , ρ ) -XOR-NODSM mapping. Suppose that the resolvent operators R A , λ M , R A , ρ N : E E are θ-Lipschitz-type continuous and θ -Lipschitz-type continuous, respectively, and the Cayley operators C A , λ M , C A , ρ M : E E are ( 2 θ + 1 ) and ( 2 θ + 1 ) -Lipschitz-type continuous, respectively. Let x n + 1 x n , y n + 1 y n and for some λ , ρ > 0 the following conditions are satisfied:
0 < λ N 1 α ( 1 β θ ) + α θ λ λ S 1 B ( P ) + α θ λ ( 2 θ + 1 ) + β θ ρ λ T 1 λ G D < 1 ,
0 < λ N 1 β ( 1 β θ ) + β θ ρ λ T 2 B ( q ) + β θ ρ ( 2 θ + 1 ) + α θ λ λ S 2 λ D F < 1 ,
where
B ( P ) = 1 2 δ P + 64 C λ P 2 ,
B ( q ) = 1 2 δ q + 64 C λ q 2 ,
θ = 1 α M λ β ,
θ = 1 α N ρ β .
Then, the system of multi-valued mixed variational inclusions with XOR-operation ⊕ (3) have a solution ( x , y , u , v ) , where x , y E , u G ( x ) , v F ( y ) such that x n x , y n y , u n u and v n v strongly, where { x n } , { y n } , { u n } and { v n } are the sequences generated by Algorithm 1.
Proof. 
As x n + 1 x n , using ( i i i ) of Proposition 2 and (8) of Algorithm 1, we have
0 x n + 1 x n = ( 1 α ) x n + α R A , λ M A ( x n ) + λ S ( x n P ( x n ) , v n ) + λ C A , λ M ( x n ) ( 1 α ) x n 1 + α R A , λ M A ( x n 1 ) + λ S ( x n 1 P ( x n 1 ) , v n 1 ) + λ C A , λ M ( x n 1 ) = ( 1 α ) ( x n x n 1 ) + α R A , λ M A ( x n ) + λ S ( x n P ( x n ) , v n ) + λ C A , λ M ( x n ) α R A , λ M A ( x n 1 ) + λ S ( x n 1 P ( x n 1 ) , v n 1 ) + λ C A , λ M ( x n 1 ) .
Since the resolvent operator R A , λ M is Lipschitz-type-continuous with constant θ and A is β -compression mapping, we evaluate
( 1 α ) ( x n x n 1 ) + α R A , λ M A ( x n ) + λ S ( x n P ( x n ) , v n ) + λ C A , λ M ( x n ) α R A , λ M A ( x n 1 ) + λ S ( x n 1 P ( x n 1 ) , v n 1 ) + λ C A , λ M ( x n 1 ) ( 1 α ) ( x n x n 1 ) + α θ { A ( x n ) + λ S ( x n P ( x n ) , v n ) + λ C A , λ M ( x n ) A ( x n 1 ) + λ S ( x n 1 P ( x n 1 ) , v n 1 ) + λ C A , λ M ( x n 1 ) } = ( 1 α ) ( x n x n 1 ) + α θ A ( x n ) A ( x n 1 ) + α θ λ S ( x n P ( x n ) , v n ) S ( x n 1 P ( x n 1 ) , v n 1 ) + α θ λ C I , λ M ( x n ) C A , λ M ( x n 1 ) ( 1 α ) ( x n x n 1 ) + α θ β x n x n 1 + α θ λ S ( x n P ( x n ) , v n ) S ( x n 1 P ( x n 1 ) , v n 1 ) + α θ λ C A , λ M ( x n ) C A , λ M ( x n 1 ) .
Combining (18) and (19), we have
0 x n + 1 x n ( 1 α ) ( x n x n 1 ) + α θ β [ x n x n 1 ] + α θ λ S ( x n P ( x n ) , v n ) S ( x n 1 P ( x n 1 ) , v n 1 ) + α θ λ C A , λ M ( x n ) C A , λ M ( x n 1 ) .
Using (iii) of Proposition 3 and (20), we have
x n + 1 x n λ N [ 1 α ( 1 β θ ) ] ( x n x n 1 ) + α θ λ [ S ( x n P ( x n ) , v n ) S ( x n 1 P ( x n 1 ) , v n 1 ) ] + α θ λ [ C A , λ M ( x n ) C A , λ M ( x n 1 ) ] λ N [ 1 α ( 1 β θ ) ] x n x n 1 + λ N α θ λ S ( x n P ( x n ) , v n ) S ( x n 1 P ( x n 1 ) , v n 1 ) + λ N α θ λ C A , λ M ( x n ) C A , λ M ( x n 1 ) .
Using the Lipschitz continuity of S in both the arguments with constants λ s 1 and λ s 2 , respectively, and using (iii) of Proposition 3, we obtain
S ( x n P ( x n ) , v n ) S ( x n 1 P ( x n 1 ) , v n 1 ) = S ( x n P ( x n ) , v n ) S ( x n P ( x n ) , v n 1 ) S ( x n P ( x n ) , v n 1 ) S ( x n 1 P ( x n 1 ) , v n 1 ) [ S ( x n P ( x n ) , v n ) S ( x n P ( x n ) , v n 1 ) ] [ S ( x n P ( x n ) , v n 1 ) S ( x n 1 P ( x n 1 ) , v n 1 ) ] S ( x n P ( x n ) , v n ) S ( x n P ( x n ) , v n 1 ) + S ( x n P ( x n ) , v n 1 ) S ( x n 1 P ( x n 1 ) , v n 1 ) S ( x n P ( x n ) , v n ) S ( x n P ( x n ) , v n 1 ) + S ( x n P ( x n ) , v n 1 ) S ( x n 1 P ( x n 1 ) , v n 1 ) λ S 2 v n v n 1 + λ S 1 x n x n 1 ( P ( x n ) P ( x n 1 ) ) .
Using D-Lipschitz continuity of F, we have
v n v n 1 1 + n 1 D ( F ( y n ) , F ( y n 1 ) ) 1 + n 1 λ D F y n y n 1 .
Since P is strongly accretive with constant δ p and Lipschitz continuous with constant λ p , using the techniques of Alber and Yao [45] and Proposition 1, for j ( x n x n 1 ) J ( x n x n 1 ) , we have
x n x n 1 ( P ( x n ) P ( x n 1 ) ) 2 x n x n 1 2 2 P ( x n ) P ( x n 1 ) , j ( x n x n 1 ( P ( x n ) P ( x n 1 ) ) , = x n x n 1 2 2 P ( x n ) P ( x n 1 ) , j ( x n x n 1 ) 2 P ( x n ) P ( x n 1 ) , j ( x n x n 1 ( P ( x n ) P ( x n 1 ) ) j ( x n x n 1 ) , x n x n 1 2 2 δ p x n x n 1 2 + 4 C 2 τ E 4 P ( x n ) P ( x n 1 ) C , x n x n 1 2 2 δ p x n x n 1 2 + 64 C P ( x n ) P ( x n 1 2 , ( 1 2 δ P + 64 C λ P 2 ) x n x n 1 2 , = B 2 ( P ) x n x n 1 2 ,
where B ( p ) = 1 2 δ P + 64 C λ P 2 .
Since the Cayley operator C A , λ M is Lipschitz-type-continuous with constant ( 2 θ + 1 ) and using (iii) of Proposition 3, we obtain
C A , λ M ( x n ) C A , λ M ( x n 1 ) ( 2 θ + 1 ) x n x n 1 ( 2 θ + 1 ) x n x n 1 ,
where θ = 1 α N λ β .
As x n + 1 x n and combining (22) to (25) with (21), we obtain
x n + 1 x n λ N [ 1 α ( 1 β θ ) ] x n x n 1 + λ N α θ λ { λ S 2 1 + n 1 λ D F y n y n 1 + λ S 1 B ( P ) x n x n 1 } + λ N α θ λ ( 2 θ + 1 ) x n x n 1 = λ N [ 1 α ( 1 β θ ) + α θ λ λ S 1 B ( P ) + α θ λ ( 2 θ + 1 ) ] x n x n 1 + λ N α θ λ λ S 2 1 + n 1 λ D F y n y n 1 .
As y n + 1 y n , using ( i i i ) of Proposition 2 and (9) of Algorithm 1, we have
0 y n + 1 y n = ( 1 β ) y n + β R A , ρ N A ( y n ) + ρ T ( u n , y n q ( y n ) ) + ρ C A , ρ N ( y n ) ( 1 β ) y n 1 + β R A , ρ N A ( y n 1 ) + ρ T ( u n 1 , y n 1 q ( y n 1 ) ) + ρ C A , ρ N ( y n 1 ) = ( 1 β ) ( y n y n 1 ) + β R A , ρ N A ( y n ) + ρ T ( u n , y n q ( y n ) ) + ρ C A , ρ N ( y n ) β R A , ρ N A ( y n 1 ) + ρ T ( u n 1 , y n 1 q ( y n 1 ) ) + ρ C A , ρ N ( y n 1 ) .
Since the resolvent operator R A , ρ M is Lipschitz-type-continuous with constant θ and A is β -compression mapping, we evaluate
( 1 β ) ( y n y n 1 ) + β R A , ρ N A ( y n ) + ρ T ( u n , y n q ( y n ) ) + ρ C A , ρ N ( y n ) β R A , ρ N A ( y n 1 ) + ρ T ( u n 1 , y n 1 q ( y n 1 ) ) + ρ C A , ρ N ( y n 1 ) ( 1 β ) ( y n y n 1 ) + β θ { A ( y n ) + ρ T ( u n , y n q ( y n ) ) + ρ C A , ρ N ( y n ) A ( y n 1 ) + ρ T ( u n 1 , y n 1 q ( y n 1 ) ) + ρ C A , ρ N ( y n 1 ) } = ( 1 β ) ( y n y n 1 ) + β θ [ A ( y n ) A ( y n 1 ) ] + β θ ρ [ T ( u n , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) ] + β θ ρ C A , ρ N ( y n ) C A , ρ N ( y n 1 ) ( 1 β ) ( y n y n 1 ) + β θ β [ y n y n 1 ] + β θ ρ [ T ( u n , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) ] + β θ ρ C A , ρ N ( y n ) C A , ρ N ( y n 1 ) .
Combining (27) and (28), we have
0 y n + 1 y n ( 1 β ) ( y n y n 1 ) + β θ β [ y n y n 1 ] + β θ ρ [ T ( u n , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) ] + β θ ρ C A , ρ N ( y n ) C A , ρ N ( y n 1 ) .
Using (iii) of Proposition 3 and (29), we have
y n + 1 y n λ N [ 1 β ( 1 β θ ) ] ( y n y n 1 ) + β θ ρ [ T ( u n , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) ] + β θ ρ C A , ρ N ( y n ) C A , ρ N ( y n 1 ) λ N [ 1 β ( 1 β θ ) ] ( y n y n 1 ) + λ N β θ ρ T ( u n , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) + λ N β θ ρ C A , ρ N ( y n ) C A , ρ N ( y n 1 ) .
Using Lipschitz continuity of T in both the arguments with constant λ T 1 and λ T 2 , respectively using (iii) of Proposition 3, we obtain
T ( u n , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) = T ( u n , y n q ( y n ) ) T ( u n 1 , y n q ( y n ) ) T ( u n 1 , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) [ T ( u n , y n q ( y n ) ) T ( u n 1 , y n q ( y n ) ) ] [ T ( u n 1 , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) ] T ( u n , y n q ( y n ) ) T ( u n 1 , y n q ( y n ) ) + T ( u n 1 , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) , T ( u n , y n q ( y n ) ) T ( u n 1 , y n q ( y n ) ) + T ( u n 1 , y n q ( y n ) ) T ( u n 1 , y n 1 q ( y n 1 ) ) λ T 1 u n u n 1 + λ T 2 y n y n 1 ( q ( y n ) q ( y n 1 ) ) .
Using D-Lipschitz continuity of G, we have
u n u n 1 1 + n 1 D ( G ( x n ) , G ( x n 1 ) ) 1 + n 1 λ G D x n x n 1 .
Since q is strongly accretive and Lipschitz continuous, using the same techniques as for (24), we have
y n y n 1 ( q ( y n ) q ( y n 1 ) ) 2 ( 1 2 δ q + 64 C λ q 2 ) y n y n 1 2 , = B 2 ( q ) y n y n 1 2 ,
where B ( q ) = 1 2 δ q + 64 C λ q 2 .
Since the Cayley operator C A , ρ N is Lipschitz-type-continuous with constant ( 2 θ + 1 ) , we obtain
C A , ρ N ( y n ) C A , ρ N ( y n 1 ) ( 2 θ + 1 ) y n y n 1 ( 2 θ + 1 ) y n y n 1 ,
where θ = 1 α N ρ β .
As y n + 1 y n and combining (31) to (34) with (30), we have
y n + 1 y n λ N [ 1 β ( 1 β θ ) ] y n y n 1 + λ N β θ ρ { λ T 1 1 + n 1 λ G D x n x n 1 + λ T 2 B ( q ) y n y n 1 } + λ N β θ ρ ( 2 θ + 1 ) y n y n 1 = λ N [ [ 1 β ( 1 β θ ) ] + β θ ρ λ T 2 B ( q ) + β θ ρ ( 2 θ + 1 ) ] y n y n 1 + λ N β θ ρ λ T 1 1 + n 1 λ G D ] x n x n 1 .
Combining (26) and (35), we have
x n + 1 x n + y n + 1 y n { λ N [ [ 1 α ( 1 β θ ) ] + α θ λ λ S 1 B ( P ) + α θ λ ( 2 θ + 1 ) + β θ ρ λ T 1 1 + n 1 λ G D ] } x n x n 1 + { λ N [ [ 1 β ( 1 β θ ) ] + β θ ρ λ T 2 B ( q ) + β θ ρ ( 2 θ + 1 ) + α θ λ λ S 2 1 + n 1 λ D F ] } y n y n 1 ξ ( θ n , θ n ) { x n x n 1 + y n y n 1 } ,
where
ξ ( θ n , θ n ) = max { { λ N [ [ 1 α ( 1 β θ ) ] + α θ λ λ S 1 B ( P ) + α θ λ ( 2 θ + 1 ) + β θ ρ λ T 1 ( 1 + n 1 ) λ G D ] } , { λ N [ [ 1 β ( 1 β θ ) ] + β θ ρ λ T 2 B ( q ) + β θ ρ ( 2 θ + 1 ) + α θ λ λ S 2 ( 1 + n 1 ) λ D F ] } } .
Let
ξ ( θ , θ ) = max { { λ N [ [ 1 α ( 1 β θ ) ] + α θ λ λ S 1 B ( P ) + α θ λ ( 2 θ + 1 ) + β θ ρ λ T 1 λ G D ] } , { λ N [ [ 1 β ( 1 β θ ) ] + β θ ρ λ T 2 B ( q ) + β θ ρ ( 2 θ + 1 ) + α θ λ λ S 2 λ D F ] } } .
Conditions (12) and (13) imply that 0 < ξ ( θ , θ ) < 1 and so 0 < ξ ( θ n , θ n ) < 1 , when n is sufficiently large. It follows from (36) that { x n } and { y n } are both Cauchy sequences. Thus, we can assume that x n x and y n y , strongly.
It follows from (23) and (32), that { u n } and { v n } are also Cauchy sequences, we can assume that u n u and v n v , strongly.
Now we shown that u G ( x ) as v F ( y ) , since u n G ( x n ) , we have
d ( u , G ( x ) ) u u n + d ( u n , G ( x ) ) u u n + 1 + n 1 D ( G ( x n ) , G ( x ) ) u u n + 1 + n 1 λ D G x n x 0 , a s n .
Hence d ( u , G ( x ) ) 0 , so u G ( x ) as G ( x ) C B ( E ) . Similarly, we can show that v F ( y ) . By Lemma 1, we conclude that ( x , y , u , v ) is a solution to a system of multi-valued mixed variational inclusions with XOR-operation ⊕ (3). ☐
The following example shows that all the assumptions and conditions of Theorem 1 are satisfied.
Example 1.
Let E = R 2 with the usual inner product and C = [ 0 , 1 ] × [ 0 , 1 ] R 2 be a normal cone with normal constant λ N = 1 . Suppose that A : R 2 R 2 , S , T , : R 2 × R 2 R 2 , P , q : R 2 R 2 are single valued mappings and R A , λ M , R A , ρ N , C A , λ M , C A , ρ N : R 2 R 2 be resolvent operators and Cayley operators, respectively, for some λ , ρ > 0 .
Let F , G : R 2 C B ( R 2 ) and M , N : R 2 2 R 2 be multi-valued mappings. Then, we define all the mappings mentioned above as:
A ( x ) = x 1 5 , x 2 5 , f o r a l l x = ( x 1 , x 2 ) R 2 , S ( x , y ) = x 1 2 + y 1 , x 2 2 + y 2 , f o r a l l x = ( x 1 , x 2 ) , y = ( y 1 , y 2 ) R 2 , T ( x , y ) = x 1 + y 1 3 , x 2 + y 2 3 , f o r a l l x = ( x 1 , x 2 ) , y = ( y 1 , y 2 ) R 2 , P ( x ) = x 1 3 , x 2 3 , f o r a l l x = ( x 1 , x 2 ) R 2 , q ( x ) = x 1 2 , x 2 2 , f o r a l l x = ( x 1 , x 2 ) R 2 , M ( x ) = ( 2 x 1 , 2 x 2 ) | ( x 1 , x 2 ) R 2 , N ( x ) = ( 3 x 1 , 3 x 2 ) | ( x 1 , x 2 ) R 2 , R A , λ M ( x ) = 5 x 1 9 , 5 x 2 9 , f o r a l l x = ( x 1 , x 2 ) R 2 , C A , λ M ( x ) = x 1 9 , x 2 9 , f o r a l l x = ( x 1 , x 2 ) R 2 , R A , ρ N ( x ) = 10 x 1 13 , 10 x 2 13 , f o r a l l x = ( x 1 , x 2 ) R 2 , C A , ρ N ( x ) = 7 x 1 13 , 7 x 2 13 , f o r a l l x = ( x 1 , x 2 ) R 2 , F ( x ) = ( x 1 , 3 ) | x = ( x 1 , x 2 ) R 2 s u c h t h a t 0 x 1 1 , G ( x ) = ( 2 , x 2 ) | x = ( x 1 , x 2 ) R 2 s u c h t h a t 0 x 2 1 .
(1) 
Clearly, A is strongly comparison mapping and
A ( x ) A ( y ) = x 1 5 , x 2 5 y 1 5 , y 2 5 = 1 5 ( x y ) 2 5 ( x y ) , f o r a l l x = ( x 1 , x 2 ) R 2 , y = ( y 1 , y 2 ) R 2 .
That is, A is 2 5 -ordered compression mapping.
(2) 
It is easy to check that S is Lipschitz continuous in both the arguments with constants 3 2 and 1 , respectively and T is Lipschitz continuous in both the arguments with constants 1 and 1 3 , respectively.
(3) 
For j ( x y ) J ( x y ) , we calculate
P ( x ) P ( y ) , j ( x y ) = P ( x ) P ( y ) , x y = x 1 y 1 3 , x 2 y 2 3 , ( x 1 y 1 , x 2 y 2 ) = 1 3 x 1 x 2 2 + 1 3 x 2 y 2 2 = 1 3 x y 2 1 5 x y 2 ,
and P ( x ) P ( y ) 2 3 x y . Thus, P is strongly accretive with constant 1 5 and Lipschitz continuous with constant 2 3 .
Similarly, we can show that q is strongly accretive with constant 1 3 and Lipschitz continuous with constant 2 3 .
(4) 
One can easily show that the resolvent operators R A , λ M is 5 12 -Lipschitz-type-continuous, R A , ρ N is 10 19 -Lipschitz type continuous, the Cayley operators C A , λ M is 11 6 -Lipschitz-type continuous and C A , ρ N is 39 19 -Lipschitz-type-continuous.
Also, M is a comparison mapping and 2-non-ordinary difference mapping, N is a comparison mapping and 3-non-ordinary difference mapping.
Let v x = ( 2 x 1 , 2 x 2 ) M ( x ) and v y = ( 2 y 1 , 2 y 2 ) M ( y ) , then
( v x v y ) α M ( x y ) = 2 [ ( x y ) ( x y ) ] = 0 .
For λ = 1 , [ A λ M ] ( R 2 ) = R 2 and for ρ = 1 2 , [ A ρ N ] ( R 2 ) = R 2 . This shows that M is ( 2 , 1 ) -XOR-NODSM mapping and N is ( 3 , 1 2 ) -XOR-NODSM mapping.
(5) 
Clearly, F and G are D-Lipschitz continuous mappings with constants 2 and 3 respectively.
(6) 
In order to satisfy condition (12) and (13) of Theorem 1, we calculate
B ( p ) = 1 2 δ P + 64 C λ P 2 = ± 1.04 , f o r C = 1 64
and
B ( q ) = 1 2 δ q + 64 C λ q 2 = ± 1.60 , f o r C = 1 64 .
We choose B ( p ) = 1 . 04 and B ( q ) = 1 . 60 and we claim that the conditions (12) and (13) are satisfied.
That is,
0 < λ N 1 α ( 1 β θ ) + α θ λ λ S 1 B ( P ) + α θ λ ( 2 θ + 1 ) + β θ ρ λ T 1 λ G D = 0.82 < 1
and
0 < λ N 1 β ( 1 β θ ) + β θ ρ λ T 2 B ( q ) + β θ ρ ( 2 θ + 1 ) + α θ λ λ S 2 λ D F = 0.97 < 1 .
Thus, all the assumptions and conditions of Theorem 1 are satisfied.

Author Contributions

All the authors have contributed equally to this paper. All the authors read and approved the final manuscript.

Funding

This research received no external funding.

Acknowledgments

The authors are thankful to anonymous referees and the editor for their valuable suggestions and comments which improve the manuscript a lot

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Stampacchia, G. Formes bilineaires coercitives sur les ensembles convexes. C.R. Acad. Sci. Paris 1964, 258, 4413–4416. [Google Scholar]
  2. Ahmad, R.; Ansari, Q.H. An iterative algorithm for generalized nonlinear variational inclusions. Appl. Math. Lett. 2000, 213, 23–26. [Google Scholar] [CrossRef]
  3. Takahahsi, W.; Yao, J.-C. The split common fixed point problem for two finite families of nonlinear mappings in Hilbert spaces. J. Nonlinear Convex Anal. 2019, 20, 173–195. [Google Scholar]
  4. Qin, X.; Yao, J.-C. A viscosity iterative method for a split feasibility problem. J. Nonlinear Convex Anal. 2019, in press. [Google Scholar]
  5. Cho, S.Y.; Bin Dehaish, B.A. Weak convergence of a splitting algorithm in Hilbert spaces. J. Appl. Anal. Comput. 2017, 7, 427–438. [Google Scholar]
  6. Chang, S.S.; Wen, C.-F.; Yao, J.-C. Common zero point for a finite family of inclusion problems of accretive mappings in Banach spaces. Optimization, 2018, 67, 1183–1196. [Google Scholar] [CrossRef]
  7. Qin, X.; Yao, J.-C. Projection splitting algorithms for nonself operators. J. Nonlinear Convex Anal. 2017, 18, 925–935. [Google Scholar]
  8. Qin, X.; Yao, J.-C. Weak convergence of a Mann-like algorithm for nonexpansive and accretive operators. J. Inequal. Appl. 2016. [Google Scholar] [CrossRef]
  9. Rezapour, S.; Zakeri, S.H. Strong convergence theorems for δ-inverse strongly accretive operators in Banach spaces. Appl. Set-Valued Anal. Optim. 2019, 1, 39–52. [Google Scholar]
  10. Bin Dehaish, B.A. Weak and strong convergence of algorithms for the sum of two accretive operators with applications. J. Nonlinear Convex Anal. 2015, 16, 1321–1336. [Google Scholar]
  11. Ceng, L.C.; Ansari, Q.H.; Yao, J.-C. Some iterative methods for finding fixed points and for solving constrained convex minimization problems. Nonlinear Aanl. 2011, 74, 5286–5302. [Google Scholar] [CrossRef]
  12. Qin, X.; Cho, S.Y. Convergence analysis of a monotone projection algorithm in reflexive Banach spaces. Acta Math. Sci. 2017, 37, 488–502. [Google Scholar] [CrossRef]
  13. Kristaly, A.; Vagra, C. Set-valued versons of Ky-Fan’s inequality with applications to variational inclusion theory. J. Math. Anal. Appl. 2003, 282, 8–20. [Google Scholar] [CrossRef]
  14. Qin, X.; Petrusel, A. CQ iterative algorithms for fixed points of nonexpansive mappings and split feasibility problems in Hilbert spaces. J. Nonlinear Convex Anal. 2018, 19, 157–165. [Google Scholar]
  15. Ceng, L.C.; Ansari, Q.H.; Yao, J.-C. Relaxed extragradient methods for finding minimum-norm solutions of the split feasibility problem. Nonlinear Anal. 2012, 75, 2116–2125. [Google Scholar] [CrossRef]
  16. Ceng, L.C.; Ansari, Q.H.; Yao, J.-C. An extragradient method for solving split feasibility and fixed point problems. Comput. Math. Appl. 2012, 64, 633–642. [Google Scholar] [CrossRef] [Green Version]
  17. Cheng, L.C.; Postolache, M.; Yao, Y. Iterative Algorithm for a system of variational inclusions in Banach spaces. Symmetry 2019, 11, 811. [Google Scholar] [CrossRef]
  18. Hassouni, A.; Moudafi, A. A perturbed algorithm for variational inclusions. J. Math. Anal. Appl. 1994, 185, 706–712. [Google Scholar] [CrossRef]
  19. Cohen, G.; Chaplais, F. Nested monotony for variational inequalities over product of spaces and convergence of iterative algorithms. J. Optim. Theory Appl. 1988, 59, 360–390. [Google Scholar] [CrossRef]
  20. Ansari, Q.H.; Yao, J.-C. A fixed point theorem and it’s applications to a system of varitaional inequalities. Bull. Australian Math. Soc. 1999, 59, 433–442. [Google Scholar] [CrossRef]
  21. Takahashi, W.; Wen, C.-F.; Yao, J.-C. The shrinking projection method for a finite family of demimetric mappings with variational inequality problems in a Hilbert space. Fixed Point Theory 2018, 19, 407–419. [Google Scholar] [CrossRef]
  22. Cho, S.Y.; Qin, X.; Yao, J.-C.; Yao, Y. Viscosity approrimation splitting methods for monotone and nonexpansive operators in Hilbert spaces. J. Nonlinear Convex Anal. 2018, 19, 251–264. [Google Scholar]
  23. Ceng, L.C. Approximation of common solutions of a split inclusion problem and a fixed-point problem. J. Appl. Numer. Optim. 2019, 1, 1–12. [Google Scholar]
  24. Qin, X.; Cho, S.Y.; Wang, L. A regularization method for treating zero points of the sum of two monotone operators. Fixed Point Theory Appl. 2014. [Google Scholar] [CrossRef]
  25. Zhao, X.; Ng, K.F.; Li, C.; Yao, J.-C. Linear regularity and linear convergence of projection-based methods for solving convex feasibility problems. Appl. Math. Optim. 2018, 78, 613–641. [Google Scholar] [CrossRef]
  26. Huang, N.J.; Fang, Y.P. Fixed point theorem and a new system of multivalued generalized order complementarity problems. Positivity 2003, 7, 257–265. [Google Scholar] [CrossRef]
  27. Qin, X.; Cho, S.Y.; Wang, L. Iterative algorithms with errors for zero points of m-accretive operators. Fixed Point Theory Appl. 2013. [Google Scholar] [CrossRef]
  28. Ansari, Q.H.; Babu, F.; Yao, J.-C. Regularization of proximal point algorithms in Hadamard manifolds. J. Fixed Point Theory Appl. 2011. [Google Scholar] [CrossRef]
  29. Zhao, X.; Sahu, D.R.; Wen, C.-F. Iterative methods for system of variational inclusions involving accretive operators and applications. Fixed Point Thoery 2018, 19, 801–822. [Google Scholar] [CrossRef]
  30. Pang, J.S. Asymmetric variational inequality problems over product sets: Applications and iterative methods. Math. Prog. 1985, 31, 206–219. [Google Scholar] [CrossRef]
  31. Agarwal, R.P.; Huang, N.J.; Tan, M.Y. Sensitivity analysis for a new system of generalized nonlinear mixed quasi-variational inclusions. Appl. Math. Lett. 2004, 17, 345–352. [Google Scholar] [CrossRef]
  32. Li, H.G. A nonlinear inclusion problem involving (α,λ)-NODM set-valued mappings in ordered Hilbert space. Appl. Math. Lett. 2012, 25, 1384–1388. [Google Scholar] [CrossRef]
  33. Li, H.G. Approximation solution for general nonlinear ordered variational iniqualities and ordered equations in ordered Banach space. Nonlinear Anal. Forum 2008, 13, 205–214. [Google Scholar]
  34. Li, H.G.; Li, L.P.; Jin, M.M. A class of nonlinear mixed ordered ininclusion problems for ordered (αA,λ)-ANODM set-valued mappings with strong compression mapping. Fixed Point Theory Appl. 2014, 2014, 79. [Google Scholar] [CrossRef]
  35. Li, H.G.; Pan, X.D.; Deng, Z.; Wang, C.Y. Solving GNOVI frameworks involving (γG,λ)-weak-GRD set-valued mappings in positive Hilbert spaces. Fixed Point Theory Appl. 2014, 2014, 146. [Google Scholar] [CrossRef]
  36. Ahmad, I.; Pang, C.T.; Ahmad, R.; Ishtyak, M. System of Yosida Inclusions involving XOR-operator. J. Nonlinear Convex Anal. 2017, 18, 831–845. [Google Scholar]
  37. Ahmad, I.; Ahmad, R.; Iqbal, J. A resolvent approach for solving a set-valued variational inclusion problem using weak-RRD set-valued mapping. Korean J. Math. 2016, 24, 199–213. [Google Scholar] [CrossRef]
  38. Ahmad, R.; Ahmad, I.; Ali, I.; Al-Homidan, S.; Wang, Y.H. H(·,·)-ordered compression mapping for solving XOR-variational inclusion problem. J. Nonlinear Convex Anal. 2018, 19, 2189–2201. [Google Scholar]
  39. Ahmad, I.; Pang, C.T.; Ahmad, R.; Ali, I. A new resolvent operator approach for solving a general variational inclusion problem involving XOR-operation with convergence and stability analysis. Linear Nonlinear Anal. 2018, 4, 413–430. [Google Scholar]
  40. Ali, I.; Ahmad, R.; Wen, C.-F. Cayley Inclusion problem involving XOR-operation. Mathematics 2019, 7, 302. [Google Scholar] [CrossRef]
  41. Yao, Y.; Postolache, M.; Liou, Y.-C. Strong convergence of a self-adaplive method for the split feasibility problem. Fixed Point Theory Appl. 2013, 2013, 201. [Google Scholar] [CrossRef]
  42. Petershyn, W.V. A characterization of strictly convexity of Banach spaces and other uses of duality mappings. J. Funct. Anal. 1970, 6, 282–291. [Google Scholar] [CrossRef]
  43. Du, Y.H. Fixed points of increasing operators in ordered Banach spaces and applications. Appl. Anal. 1990, 38, 1–20. [Google Scholar] [CrossRef]
  44. Nadler, S.B. Jr. Multi-valued contraction mappings. Pacific J. Math. 1969, 30, 475–488. [Google Scholar] [CrossRef]
  45. Alber, Y.; Yao, J.-C. Algorithm for generalized multivalued co-variational inequalities in Banach spaces. Funct. Differ. Equ. 2000, 7, 5–13. [Google Scholar]

Share and Cite

MDPI and ACS Style

Ahmad, R.; Ali, I.; Li, X.-B.; Ishtyak, M.; Wen, C.-F. System of Multi-Valued Mixed Variational Inclusions with XOR-Operation in Real Ordered Uniformly Smooth Banach Spaces. Mathematics 2019, 7, 1027. https://doi.org/10.3390/math7111027

AMA Style

Ahmad R, Ali I, Li X-B, Ishtyak M, Wen C-F. System of Multi-Valued Mixed Variational Inclusions with XOR-Operation in Real Ordered Uniformly Smooth Banach Spaces. Mathematics. 2019; 7(11):1027. https://doi.org/10.3390/math7111027

Chicago/Turabian Style

Ahmad, Rais, Imran Ali, Xiao-Bing Li, Mohd. Ishtyak, and Ching-Feng Wen. 2019. "System of Multi-Valued Mixed Variational Inclusions with XOR-Operation in Real Ordered Uniformly Smooth Banach Spaces" Mathematics 7, no. 11: 1027. https://doi.org/10.3390/math7111027

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop