Hindawi Publishing Corporation Fixed Point Theory and Applications Volume 2007, Article ID 93678, 20 pages doi:10.1155/2007/93678 Research Article Existence of Solutions and Convergence of a Multistep Iterative Algorithm for a System of Variational Inclusions with (H,η)-Accretive Operators Jian-Wen Peng, Dao-Li Zhu, and Xiao-Ping Zheng Received 5 April 2007; Accepted 6 July 2007 Recommended by Lech Gorniewicz We introduce and study a new system of variational inclusions with (H,η)-accretive op- erators, which contains variational inequalities, variational inclusions, systems of varia- tional inequalities, and systems of variational inclusions in the literature as special cases. By using the resolvent technique for the (H,η)-accretive operators, we prove the exis- tence and uniqueness of solution and the convergence of a new multistep iterative algo- rithm for this system of variational inclusions in real q-uniformly smooth Banach spaces. The results in this paper unify, extend, and improve some known results in the litera- ture. Copyright © 2007 Jian-Wen Peng et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. 1. Introduction Variational inclusion problems are among the most interesting and intensively studied classes of mathematical problems and have wide applications in the fields of optimiza- tion and control, economics and transportation equilibrium, and engineering science. For the past years, many existence results and iterative algorithms for various variational inequality and variational inclusion problems have b een s tudied. For details, please see [1–50] and the references therein. Recently, some new and interesting problems, which are cal led to be system of vari- ational inequality problems were introduced and studied. Pang [28], Cohen and Chap- lais [29], Bianchi [30] and Ansari and Yao [16] considered a system of scalar variational inequalities and Pang showed that the traffic equilibrium problem, the spatial equilib- rium problem, the Nash equilibrium, and the general equilibrium programming problem 2 Fixed Point Theory and Applications can be modeled as a system of variational inequalities. Ansari et al. [31] introduced and studied a system of vector equilibrium problems and a system of vector variational in- equalities by a fixed point theorem. Allevi et al. [32] considered a system of generalized vector variational inequalities and established some existence results with relative pseu- domonotonicity. Kassay and Kolumb ´ an [17] introduced a system of variational inequal- ities and proved an existence theorem by the Ky Fan lemma. Kassay et al. [18]studied Minty and Stampacchia variational inequality systems with the help of the Kakutani- Fan-Glicksberg fixed point theorem. Peng [19, 20] introduced a system of quasivaria- tional inequality problems and proved its existence theorem by maximal element the- orems. Verma [21–25] introduced and studied some systems of variational inequalities and developed some iterative algorithms for approximating the solutions of system of variational inequalities in Hilbert spaces. K. Kim and S. Kim [26] introduced a new sys- tem of generalized nonlinear quasivariational inequalities and obtained some existence and uniqueness results of solution for this system of generalized nonlinear quasivaria- tional inequalities in Hilbert spaces. Cho et al. [27] introduced and studied a new sys- tem of nonlinear var iational inequalities in Hilbert spaces. They proved some existence and uniqueness theorems of solutions for the system of nonlinear variational inequali- ties. As generalizations of the above systems of variational inequalities, Agarwal et al. [33] introduced a system of generalized nonlinear mixed quasivariational inclusions and i n- vestigated the sensitivity analysis of solutions for this system of generalized nonlinear mixed quasivariational inclusions in Hilbert spaces. Kazmi and Bhat [34]introduceda system of nonlinear v ariational-like inclusions and gave an iterative algorithm for finding its approximate solution. Fang and Huang [35] and Fang et al. [36] introduced and stud- ied a new system of variational inclusions involving H-monotone operators and (H,η)- monotone, respectively. Peng and Huang [37] proved the existence and uniqueness of solutions and the convergence of some new three-step iterative algorithms for a new sys- tem of variational inclusions in Hilbert spaces. On the other hand, Yu [10] introduced a new concept of (H,η)-accretive operators which provide unifying frameworks for H-monotone opera tors in [1], H-accretive oper- ators in [9], (H,η)-monotone operators in [35], maximal η-monotone operators in [5], generalized m-accretive operators in [8], m-accretive operators in [12], and maximal monotone operators [13, 14]. Inspired and motivated by the above results, the purpose of this paper is to introduce a new mathematical model, which is called to be a system of variational inclusions with (H,η)-accretive operators, that is, a family of variational inclusions with (H,η)-accretive operators defined on a product set. This new mathematical model contains the system of inequalities in [16, 21–30] and the system of inclusions in [35–37], the v ariational inclu- sions in [1, 2, 9, 11], and some variational inequalities in the literature as special cases. By using the resolvent technique for the (H,η)-accretive operators, we prove the exis- tence of solutions for this system of variational inclusions. We also prove the convergence of a multistep iterative algorithm approximating the solution for this system of varia- tional inclusions. The result in this paper unifies, extends, and improves some results in [1, 2, 9, 11, 21–30, 35–37]. Jian-Wen Peng et al. 3 2. Preliminaries We suppose t hat E is a real Banach space with dual space, norm, and the generalized dual pair denoted by E ∗ , ·,and·,·, respectively, 2 E is the family of all the nonempty subsets of E, CB(E) is the families of all nonempty closed bounded subsets of E, and the generalized duality mapping J q : E → 2 E ∗ is defined by J q (x) =  f ∗ ∈ E ∗ :  x, f ∗  =   f ∗   · x,   f ∗   = x q−1  , ∀x ∈ E, (2.1) where q>1 is a constant. In particular, J 2 is the usual normalized duality mapping. It is known that, in general, J q (x) =x q−2 J 2 (x), for all x = 0, and J q is single valued if E ∗ is strictly convex. The modulus of smoothness of E is the function ρ E :[0,∞) → [0,∞)definedby ρ E (t) = sup  1 2   x + y + x − y  − 1:x≤1, y≤t  . (2.2) ABanachspaceE is called uniformly smooth if lim t→0 ρ E (t) t = 0. (2.3) E is called q-uniformly smooth if there exists a constant c>0, such that ρ E (t) ≤ ct q , q>1. (2.4) Note that J q is single valued if E is uniformly smooth. Xu and Roach [51]provedthe following result. Lemma 2.1. Let E be a real uniformly smooth B anach space. Then, E is q-uniformly smooth ifandonlyifthereexistsaconstantsc q > 0, such that for all x, y ∈ E, x + y q ≤x q + q  y,J q (x)  + c q y q . (2.5) We recall some definitions needed later, for more details, please see [3, 4, 9, 10]and the references therein. Definit ion 2.2. Let E be a real uniformly smooth Banach space, and let T,H : E → E be two single-valued operators. T is said to be (i) accretive if  T(x) − T(y),J q (x − y)  ≥ 0, ∀x, y ∈ E; (2.6) (ii) strictly accretive if T is accretive and  T(x) − T(y),J q (x − y)  = 0iff x = y; (2.7) (iii) r-strongly accretive if there exists a constant r>0suchthat  T(x) − T(y),J q (x − y)  ≥ rx − y q , ∀x, y ∈ E; (2.8) 4 Fixed Point Theory and Applications (iv) r-strongly accretive with respect to H if there exists a constant r>0suchthat  T(x) − T(y),J q  H(x) − H(y)  ≥ rx − y q , ∀x, y ∈ E; (2.9) (v) s-Lipschitz continuous if there exists a constant s>0suchthat   T(x) − T(y)   ≤ sx − y, ∀x, y ∈ E. (2.10) Definit ion 2.3. Let E be a real uniformly smooth Banach space, let T : E → E and η : E × E → E be two single-valued operators. T is said to be (i) η-accretive if  T(x) − T(y),J q  η(x, y)  ≥ 0, ∀x, y ∈ E; (2.11) (ii) strictly η-accretive if T is η-accretive and  T(x) − T(y),J q  η(x, y)  = 0iff x = y; (2.12) (iii) r-strongly η-accretive if there exists a constant r>0suchthat  T(x) − T(y),J q  η(x, y)  ≥ rx − y q , ∀x, y ∈ E. (2.13) Definit ion 2.4. Let η : E × E → E,letT,H : E → E be single-valued operators and M : E → 2 E be a multivalued operator. M is said to be (i) accretive if  u − v, J q (x − y)  ≥ 0, ∀x, y ∈ E, u ∈ M(x), v ∈ M(y); (2.14) (ii) η-accretive if  u − v, J q  η(x, y)  ≥ 0, ∀x, y ∈ E, u ∈ M(x), v ∈ M(y); (2.15) (iii) strictly η-accretive if M is η-accretive, and equality holds if and only if x = y; (iv) r-strongly η-accretive if there exists a constant r>0suchthatif  u − v, J q  η(x, y)  ≥ rx − y q , ∀x, y ∈ E, u ∈ M(x), v ∈ M(y); (2.16) (v) m-accretive if M is accretive and (I + ρM)(E) = E holds for all ρ > 0, where I is the identity map on E; (vi) generalized η-accretive if M is η-accretive and (I + ρM)(E) = E holds for all ρ > 0; (vii) H-accretive if M is accretive and (H + ρM)(E) = E holds for all ρ > 0; (viii) (H,η)-accretive if M is η-accretive and (H + ρM)(E) = E holds for all ρ > 0. Remark 2.5. (i) If η(x, y) = x − y,forallx, y ∈ E, then the definition of (H,η)-accretive operators becomes that of H-accretive operators in [9]. If E = Ᏼ is a Hilbert space, the definition of (H,η)-accretive operator becomes that of (H,η)-monotone operators in [36], the definition of H-accretive operators becomes that of H-monotone operators in [1, 35]. Hence, the definition of (H,η)-accretive operators provides unifying frame- worksforclassesofH-accretive operators, generalized η-accretive operators, m-accretive Jian-Wen Peng et al. 5 operators, maximal monotone operators, maximal η-monotone operators, H-monotone operators, and (H,η)-monotone oper a tors. Definit ion 2.6 [5]. Let η : E × E → E be a single-valued operator, then η(·,·)issaidtobe τ-Lipschitz continuous if there exists a constant τ>0suchthat   η(u,v)   ≤ τu − v, ∀u,v ∈ E. (2.17) Definit ion 2.7 [10]. Let η : E × E → E be a single-valued operator, let H : E → E be a str ictly η-accretive single-valued operator, and let M : E → 2 E be an (H, η)-accretive operator, and let λ>0 be a constant. The resolvent operator R H,η M,λ : E → E associated with H, η, M, λ is defined by R H,η M,λ (u) = (H + λM) −1 (u), ∀u ∈ E. (2.18) Lemma 2.8 [10]. Let η : E × E → E be a τ-Lipschitz continuous operator, H : E → E be a γ-strongly η-accretive operator, and le t M : E → 2 E be an (H,η)-accretive operator. Then, the resolvent operator R H,η M,λ : E → E is τ q−1 /γ-Lipschitz continuous, that is,    R H,η M,λ (x) − R H,η M,λ (y)    ≤ τ q−1 γ x − y, ∀x, y ∈ E. (2.19) We extend some definitions in [6, 37, 46] to more general cases as follows. Definit ion 2.9. Let E 1 ,E 2 , ,E p be Banach spaces, let g 1 : E 1 → E 1 and N 1 :  p j =1 E j → E 1 be two single-valued mappings. (i) N 1 is said to be ξ-Lipschitz continuous in the first argument if there exists a constant ξ>0suchthat   N 1  x 1 ,x 2 , ,x p  − N 1  y 1 ,x 2 , ,x p    ≤ ξ   x 1 − y 1   , ∀x 1 , y 1 ∈ E 1 , x j ∈ E j ( j = 2,3, , p). (2.20) (ii) N 1 is said to be accretive in the first argument if  N 1  x 1 ,x 2 , ,x p  − N 1  y 1 ,x 2 , ,x p  ,J q  x 1 − y 1  ≥ 0, ∀x 1 , y 1 ∈ E 1 , x j ∈ E j ( j = 2,3, , p). (2.21) (iii) N 1 is said to be α-strongly accretive in the first argument if there exists a constant α>0suchthat  N 1  x 1 ,x 2 , ,x p  − N 1  y 1 ,x 2 , ,x p  ,J q  x 1 − y 1  ≥ α   x 1 − y 1   q , ∀x 1 , y 1 ∈ E 1 , x j ∈ E j ( j = 2,3, , p). (2.22) (iv) N 1 is said to be accretive with respect to g in the first argument if  N 1  x 1 ,x 2 , ,x p  − N 1  y 1 ,x 2 , ,x p  ,J q  g  x 1  − g  y 1  ≥ 0, ∀x 1 , y 1 ∈ E 1 , x j ∈ E j ( j = 2,3, , p). (2.23) 6 Fixed Point Theory and Applications (v) N 1 is said to be β-strongly accretive with respect to g inthefirstargumentifthere exists a constant β>0suchthat  N 1  x 1 ,x 2 , ,x p  − N 1  y 1 ,x 2 , ,x p  ,J q  g  x 1  − g  y 1  ≥ β   x 1 − y 1   q , ∀x 1 , y 1 ∈ E 1 , x j ∈ E j ( j = 2,3, , p). (2.24) In a similar way, we can define the Lipschitz continuity and the strong accretivity (ac- cretivity) of N i :  p j =1 E j → E i (with respect to g i : E i → E i )intheith argument (i = 2,3, , p). 3. A system of variational inclusions In this section, we will introduce a new system of variational inclusions with (H,η)- accretive operators. In what follows, unless other specified, for each i = 1,2, , p,we always suppose that E i is a real q-uniformly smooth Banach space, H i ,g i : E i → E i , η i : E i × E i → E i , F i ,G i :  p j =1 E j → E i are single-valued mappings, and that M i : E i → 2 E i is an (H i ,η i )-accretive operator. We consider the following problem of finding (x 1 ,x 2 , ,x p ) ∈  p i =1 E i such that for each i = 1,2, , p, 0 ∈ F i  x 1 ,x 2 , ,x p  + G i  x 1 ,x 2 , ,x p  + M i  g i  x i  . (3.1) The problem (3.1) is called a system of variational inclusions with (H,η)-accretive operators. Below are some special cases of problem ( 3.1). (i) For each j = 1,2, , p,ifE j = Ᏼ j is a Hilbert space, then problem (3.1)becomes the following system of variational inclusions with (H,η)-monotone operators, which is to find (x 1 ,x 2 , ,x p ) ∈  p i =1 E i such that for each i = 1,2, , p, 0 ∈ F i  x 1 ,x 2 , ,x p  + G i  x 1 ,x 2 , ,x p  + M i  g i  x i  . (3.2) (ii) For each j = 1,2, , p,ifg j ≡ I j (the identity map on E j )andG j ≡ 0, then prob- lem (3.1) reduces to the system of variational inclusions w ith (H,η)-accretive operators, which is to find (x 1 ,x 2 , ,x p ) ∈  p j =1 E j such that for each i = 1,2, , p, 0 ∈ F i  x 1 ,x 2 , ,x p  + M i  x i  . (3.3) (iii) If p = 1, then problem (3.2) becomes the following variational inclusion with an (H 1 ,η 1 )-monotone operator, which is to find x 1 ∈ Ᏼ 1 such that 0 ∈ F 1  x 1  + G 1  x 1  + M 1  g 1  x 1  . (3.4) Moreover , if η 1 (x 1 , y 1 ) = x 1 − y 1 for all x 1 , y 1 ∈ Ᏼ 1 and H 1 = I 1 (the identity map on Ᏼ 1 ), then problem (3.4) becomes the variational inclusion introduced and researched by Adly [11] which contains the variational inequality in [2] as a special case. If p = 1, then problem (3.3) becomes the following variational inclusion with an (H 1 , η 1 )-accretive operator, which is to find x 1 ∈ E 1 such that 0 ∈ F 1  x 1  + M 1  x 1  . (3.5) Jian-Wen Peng et al. 7 Problem (3.5) was introduced and studied by Yu [10] and contains the variational inclusions in [1, 9]asspecialcases. If p = 2, then problem (3.3) becomes the following system of variational inclusions with (H,η)-accretive operators, which is to find (x 1 ,x 2 ) ∈ E 1 × E 2 such that 0 ∈ F 1  x 1 ,x 2  + M 1  x 1  , 0 ∈ F 2  x 1 ,x 2  + M 2  x 2  . (3.6) Problem (3.6) contains the system of variational inclusions with H-monotone oper a- tors in [35], the system of variational inclusions with (H,η)-monotone operators in [36] as special cases. If p = 3andforeachj = 1,2,3, E j = Ᏼ j is a Hilbert space and G j = 0, then prob- lem (3.1) becomes the system of variational inclusions with (H,η)-monotone operators in [37]with f j = 0andζ j = 1. (iv) For each j = 1,2, , p,ifE j = Ᏼ j is a Hilbert space, and M j (x j ) = Δ η j ϕ j for all x j ∈ Ᏼ j ,whereϕ j : Ᏼ j → R ∪{+∞} is a proper, η j -subdifferentiable functional and Δ η j ϕ j denotes the η j -subdifferential operator of ϕ j ,thenproblem(3.3) reduces to the following system of variational-like inequalities, which is to find (x 1 ,x 2 , ,x p ) ∈  p i =1 Ᏼ i such that for each i = 1,2, , p,  F i  x 1 ,x 2 , ,x p  ,η i  z i ,x i  + ϕ i  z i  − ϕ i  x i  ≥ 0, ∀z i ∈ Ᏼ i . (3.7) (v) For each j = 1,2, , p,ifE j = Ᏼ j is a Hilbert space, and M j (x j ) = ∂ϕ j (x j ), for all x j ∈ Ᏼ j ,whereϕ j : Ᏼ j → R ∪{+∞} is a proper, convex, lower semicontinuous functional and ∂ϕ j denotes the subdifferential operator of ϕ j ,thenproblem(3.3) reduces to the following system of variational inequalities, which is to find (x 1 ,x 2 , ,x p ) ∈  p i =1 Ᏼ i such that for each i = 1,2, , p,  F i  x 1 ,x 2 , ,x p  ,z i − x i  + ϕ i  z i  − ϕ i  x i  ≥ 0, ∀z i ∈ Ᏼ i . (3.8) (vi) For each j = 1,2, , p,ifM j (x j ) = ∂δ K j (x j )forallx j ∈ Ᏼ j ,whereK j ⊂ Ᏼ j is a nonempty, closed, and convex subsets and δ K j denotes the indicator of K j ,thenprob- lem (3.8) reduces to the follow ing system of variational inequalities, which is to find (x 1 ,x 2 , ,x p ) ∈  p i =1 Ᏼ i such that for each i = 1,2, , p,  F i  x 1 ,x 2 , ,x p  ,z i − x i  ≥ 0, ∀z i ∈ K i . (3.9) Problem (3.9) was introduced and researched in [16, 28–30]. If p = 2, then problems (3.7), (3.8), and (3.9), respectively, become the problems (3.2), (3.3)and(3.4)in[36]. It is easy to see that problem (3.4)in[36] contains the models of system of variational inequalities in [21–25] as special cases. It is worthy noting that problem (3.1)–(3.8) are all new problems. 4. Existence and uniqueness of the solution In this section, we will prove existence and uniqueness for solutions of problem (3.1). For our main results, we give a characterization of the solution of problem (3.1)asfollows. 8 Fixed Point Theory and Applications Lemma 4.1. For i = 1,2, , p,letη i : E i × E i → E i be a single-valued operator, let H i : E i → E i be a strictly η i -accretive operator, and let M i : E i → 2 E i be an (H i ,η i )-accretive operator. Then (x 1 ,x 2 , ,x p ) ∈  p i =1 E i is a solution of the problem (3.1) if and only if for each i = 1,2, , p, g i  x i  = R H i ,η i M i ,λ i  H i  g i  x i  − λ i F i  x 1 ,x 2 , ,x p  − λ i G i  x 1 ,x 2 , ,x p  , (4.1) where R H i ,η i M i ,λ i = (H i + λ i M i ) −1 and λ i > 0 are constants. Proof. The fact directly follows from Definition 2.9.  Let Γ ={1,2, , p}. Theorem 4.2. For i = 1,2, , p,letη i : E i × E i → E i be σ i -Lipschitz continuous, let H i : E i → E i be γ i -strongly η i -accretive and τ i -Lipschitz continuous, let g i : E i → E i be β i -strongly accretive and θ i -Lipschitz continuous, let M i : E i → 2 E i be an (H i ,η i )-accretive operator, let F i :  p j =1 E j → E i be a single-valued mapping such that F i is r i -strongly accretive with respect to g i and s i -Lipschitz continuous in the ith argument, w here g i : E i → E i is de fined by g i (x i ) = H i ◦ g i (x i ) = H i (g i (x i )),forallx i ∈ E i , F i is t ij -Lipschitz continuous in the jth arguments for each j ∈ Γ, j = i, G i :  p j =1 E j → E i be a single-valued mapping such that G i is l ij -Lipschitz continuous in the jth argument for each j ∈ Γ. If there exist constants λ i > 0(i = 1,2, , p) such that q  1 − qβ 1 + c q θ q 1 + σ q−1 1 γ 1 q  τ q 1 θ q 1 − qλ 1 r 1 + c q λ 1 q s q 1 + l 11 λ 1 σ q−1 1 γ 1 + p  k=2 λ k σ q−1 k γ k  t k1 + l k1  < 1, q  1 − qβ 2 + c q θ q 2 + σ q−1 2 γ 2 q  τ q 2 θ q 2 − qλ 2 r 2 +c q λ 2 q s q 2 + l 22 λ 2 σ q−1 2 γ 2 +  k∈Γ, k=2 λ k σ q−1 k γ k  t k2 + l k2  < 1, ··· q  1 − qβ p + c q θ q p + σ q−1 p γ p q  τ q p θ q p −qλ p r p + c q λ p q s q p + l pp λ p σ q−1 p γ p + p−1  k=1 σ q−1 k λ k γ k  t k,p +l k,p  < 1. (4.2) Then, problem (3.1) admits a unique solution. Proof. Fo r i = 1,2, , p and for any given λ i > 0, define a single-valued mapping T i,λ i :  p j =1 E j → E i by T i,λ i  x 1 ,x 2 , ,x p  = x i − g i  x i  + R H i ,η i M i ,λ i  H i g i  x i  − λ i F i  x 1 ,x 2 , ,x p  − λ i G i  x 1 ,x 2 , ,x p  , (4.3) for any (x 1 ,x 2 , ,x p ) ∈  p i =1 E i . Jian-Wen Peng et al. 9 For any (x 1 ,x 2 , ,x p ),(y 1 , y 2 , , y p ) ∈  p i =1 E i ,itfollowsfrom(4.3)thatfori = 1, 2, , p,   T i,λ i  x 1 ,x 2 , ,x p  − T i,λ i  y 1 , y 2 , , y p    i =   x i − g i  x i  + R H i ,η i M i ,λ i  H i  g i  x i  − λ i F i  x 1 ,x 2 , ,x p  − λ i G i  x 1 ,x 2 , ,x p  −  y i − g i  y i  + R H i ,η i M i ,λ i  H i  g i  y i  − λ i F i  y 1 , y 2 , , y p  − λ i G i  y 1 , y 2 , , y p    i ≤   x i − y i −  g i  x i  − g i  y i    i +   R H i ,η i M i ,λ i  H i  g i  x i  − λ i F i  x 1 ,x 2 , ,x p  − λ i G i  x 1 ,x 2 , ,x p  − R H i ,η i M i ,λ i ,m i  H i  g i  y i  − λ i F i  y 1 , y 2 , , y p  − λ i G i  y 1 , y 2 , , y p    i . (4.4) For i = 1,2, , p, since g i is β i -strongly accretive and θ i -Lipschitz continuous, we have   x i − y i −  g i  x i  − g i  y i    q i =   x i − y i   q i − q  g i  x i  − g i  y i  ,J q  x i − y i  + c q   g i  x i  − g i  y i    q i ≤  1 − qβ i + c q θ q i    x i − y i   q i . (4.5) It follows from Lemma 2.1 that for i = 1,2, , p,    R H i ,η i M i ,λ i  H i  g i  x i  − λ i F i  x 1 ,x 2 , ,x p  − λ i G i  x 1 ,x 2 , ,x p  − R H i ,η i M i ,λ i  H i  g i  y i  − λ i F i  y 1 , y 2 , , y p  − λ i G i  y 1 , y 2 , , y p     i ≤ σ q−1 i γ i    H i  g i  x i  − H i  g i  y i  − λ i  F i  x 1 ,x 2 , ,x p  − F i  y 1 , y 2 , , y p    i + σ q−1 i λ i γ i   G i  x 1 ,x 2 , ,x p  − G i  y 1 , y 2 , , y p    i ≤ σ q−1 i γ i   H i  g i  x i  − H i  g i  y i  − λ i  F i  x 1 ,x 2 , ,x i−1 ,x i ,x i+1 , ,x p  − F i  x 1 ,x 2 , ,x i−1 , y i ,x i+1 , ,x p    i + σ q−1 i λ i γ i   j∈Γ, j=i   F i  x 1 ,x 2 , ,x j−1 ,x j ,x j+1 , ,x p  − F i  x 1 ,x 2 , ,x j−1 , y j ,x j+1 , ,x p    i  + σ q−1 i λ i γ i  p  j=1   G i  x 1 ,x 2 , ,x j−1 ,x j ,x j+1 , ,x p  − G i  x 1 ,x 2 , ,x j−1 , y j ,x j+1 , ,x p    i  . (4.6) 10 Fixed Point Theory and Applications For i = 1,2, , p, since H i is τ i -Lipschitz continuous, and g i is θ i -Lipschitz continuous and F i is r i -g i -strongly accretive and s i -Lipschitz continuous in the ith argument, we have   H i  g i  x i  − H i  g i  y i  − λ i  F i  x 1 ,x 2 , ,x i−1 ,x i ,x i+1 , ,x p  − F i  x 1 ,x 2 , ,x i−1 , y i ,x i+1 , ,x p    q i ≤    H i  g i  x i  − H i  g i  y i    q i − qλ i  F i  x 1 ,x 2 , ,x i−1 ,x i ,x i+1 , ,x p  − F i  x 1 ,x 2 , ,x i−1 , y i ,x i+1 , ,x p  ,H i  g i  x i  − H i  g i  y i  + c q λ i q   F i  x 1 ,x 2 , ,x i−1 ,x i ,x i+1 , ,x p  − F i  x 1 ,x 2 , ,x i−1 , y i ,x i+1 , ,x p    q i ≤ τ q i   g i  x i  − g i  y i    q i − qλ i r i   x i − y i   q i + c q λ i q s q i   x i − y i   q i ≤  τ q i θ q i − qλ i r i + c q λ i q s q i    x i − y i   q i . (4.7) For i = 1,2, , p, since F i is t ij -Lipschitz continuous in the jth arguments ( j ∈ Γ, j = i), we have   F i  x 1 ,x 2 , ,x j−1 ,x j ,x j+1 , ,x p  − F i  x 1 ,x 2 , ,x j−1 , y j ,x j+1 , ,x p    i ≤ t ij   x j − y j   j . (4.8) For i = 1,2, , p, since G i is l ij -Lipschitz continuous in the jth arguments ( j = 1, 2, , p), we have   G i  x 1 ,x 2 , ,x j−1 ,x j ,x j+1 , ,x p  − G i  x 1 ,x 2 , ,x j−1 , y j ,x j+1 , ,x p    i ≤ l ij   x j − y j   j . (4.9) It follows from (4.4)–(4.9)thatforeachi = 1,2, , p   T i,λ i  x 1 ,x 2 , ,x p  − T i,λ i  y 1 , y 2 , , y p    i ≤  q  1 − qβ i + c q θ q i + σ q−1 i γ i q  τ q i θ q i − qλ i r i + c q λ i q s q i + l ii λ i σ q−1 i γ i    x i − y i   i + λ i σ q−1 i γ i   j∈Γ, j=i  t ij + l ij    x j − y j   j  . (4.10) [...]... applications to a system of variational inequalities,” Bulletin of the Australian Mathematical Society, vol 59, no 3, pp 433–442, 1999 [17] G Kassay and J Kolumb´ n, System of multi-valued variational variational inequalities,” Publia cationes Mathematicae, vol 56, no 1-2, pp 185–195, 2000 [18] G Kassay, J Kolumb´ n, and Z P´ les, “Factorization of Minty and Stampacchia variational ina a equality systems,”... operators and resolvent operator technique for solving variational inclusions in Banach spaces,” Applied Mathematics Letters, vol 17, no 6, pp 647–653, 2004 [10] X Z Yu, “Ishikawa iterative process variational inclusions with (H,η)-accretive operators in Banach spaces,” to appear in Journal of Inequalities and Applications [11] S Adly, “Perturbed algorithms and sensitivity analysis for a general class of variational. .. KJ070816), and the Postdoctoral Science Foundation of China (Grant no 2005038133) References [1] Y.-P Fang and N.-J Huang, “H-monotone operator and resolvent operator technique for variational inclusions, ” Applied Mathematics and Computation, vol 145, no 2-3, pp 795–803, 2003 [2] A Hassouni and A Moudafi, A perturbed algorithm for variational inclusions, ” Journal of Mathematical Analysis and Applications,... International Journal of Mathematics and Mathematical Sciences, vol 2005, no 15, pp 2409–2420, 2005 [21] R U Verma, “Projection methods, algorithms, and a new system of nonlinear variational inequalities,” Computers & Mathematics with Applications, vol 41, no 7-8, pp 1025–1031, 2001 [22] R U Verma, Iterative algorithms and a new system of nonlinear quasivariational inequalities,” Advances in Nonlinear Variational. .. generalized nonlinear mixed quasi -variational inclusions, ” Applied Mathematics Letters, vol 17, no 3, pp 345–352, 2004 [34] K R Kazmi and M I Bhat, Iterative algorithm for a system of nonlinear variational- like inclusions, ” Computers & Mathematics with Applications, vol 48, no 12, pp 1929–1935, 2004 [35] Y P Fang and N J Huang, “H-monotone operators and system of variational inclusions, ” Communications... X Q Yang, “Generalized convex functions and vector variational inequalities,” Journal of Optimization Theory and Applications, vol 79, no 3, pp 563–580, 1993 [41] M A Noor, K I Noor, and Th M Rassias, “Set-valued resolvent equations and mixed variational inequalities,” Journal of Mathematical Analysis and Applications, vol 220, no 2, pp 741– 759, 1998 [42] E Al-Shemas and S C Billups, “An iterative. .. the convergence of iterative schemes for solving variational inequalities,” SIAM Journal on Optimization, vol 6, no 3, pp 714–726, 1996 [45] P Marcotte and D.-L Zhu, “Weak sharp solutions of variational inequalities,” SIAM Journal on Optimization, vol 9, no 1, pp 179–189, 1999 [46] M A Noor, “Three-step iterative algorithms for multivalued quasi variational inclusions, ” Journal of Mathematical Analysis... Nonlinear Functional Analysis and Its Applications II/B Nonlinear Monotone Operators, Springer, New York, NY, USA, 1990 [15] P T Harker and J.-S Pang, “Finite-dimensional variational inequality and nonlinear complementarity problems: a survey of theory, algorithms and applications,” Mathematical Programming, vol 48, no 2, pp 161–220, 1990 [16] Q H Ansari and J.-C Yao, A fixed point theorem and its applications... Analysis and Applications, vol 255, no 2, pp 589–604, 2001 [47] R P Agarwal, N J Huang, and Y J Cho, “Generalized nonlinear mixed implicit quasivariational inclusions with set-valued mappings,” Journal of Inequalities and Applications, vol 7, no 6, pp 807–828, 2002 [48] J.-W Peng and X.-M Yang, “Generalized vector quasi -variational- like inequalities,” Journal of Inequalities and Applications, vol 2006, Article. .. 12 pages, 2006 [5] N.-J Huang and Y.-P Fang, A new class of general variational inclusions involving maximal ηmonotone mappings,” Publicationes Mathematicae Debrecen, vol 62, no 1-2, pp 83–98, 2003 [6] M A Noor, “Generalized set-valued variational inclusions and resolvent equations,” Journal of Mathematical Analysis and Applications, vol 228, no 1, pp 206–220, 1998 [7] R U Verma, “Sensitivity analysis . introduce and study a new system of variational inclusions with (H,η)-accretive op- erators, which contains variational inequalities, variational inclusions, systems of varia- tional inequalities, and. Theory and Applications can be modeled as a system of variational inequalities. Ansari et al. [31] introduced and studied a system of vector equilibrium problems and a system of vector variational. pseu- domonotonicity. Kassay and Kolumb ´ an [17] introduced a system of variational inequal- ities and proved an existence theorem by the Ky Fan lemma. Kassay et al. [18]studied Minty and Stampacchia variational