Open Access

A new modified block iterative algorithm for uniformly quasi-ϕ-asymptotically nonexpansive mappings and a system of generalized mixed equilibrium problems

Fixed Point Theory and Applications20112011:35

https://doi.org/10.1186/1687-1812-2011-35

Received: 21 March 2011

Accepted: 15 August 2011

Published: 15 August 2011

Abstract

In this paper, we introduce a new modified block iterative algorithm for finding a common element of the set of common fixed points of an infinite family of closed and uniformly quasi-ϕ-asymptotically nonexpansive mappings, the set of the variational inequality for an α-inverse-strongly monotone operator, and the set of solutions of a system of generalized mixed equilibrium problems. We obtain a strong convergence theorem for the sequences generated by this process in a 2-uniformly convex and uniformly smooth Banach space. Our results extend and improve ones from several earlier works.

2000 MSC: 47H05; 47H09; 47H10.

Keywords

modified block iterative algorithminverse-strongly monotone operatorvariational inequalitya system of generalized mixed equilibrium problemuniformly quasi-ϕ-asymptotically nonexpansive mapping

1 Introduction

Let C be a nonempty closed convex subset of a real Banach space E with ||·|| and let E* be the dual space of E. Let {f i }iΓ: C × C be a bifunction, {φ i }iΓ: C be a real-valued function, and {B i }iΓ: CE* be a monotone mapping, where Γ is an arbitrary index set. The system of generalized mixed equilibrium problems is to find x C such that
f i ( x , y ) + B i x , y - x + φ i ( y ) - φ i ( x ) 0 , i Γ , y C .
(1.1)
If Γ is a singleton, then problem (1.1) reduces to the generalized mixed equilibrium problem, which is to find x C such that
f ( x , y ) + B x , y - x + φ ( y ) - φ ( x ) 0 , y C .
(1.2)
The set of solutions to (1.2) is denoted by GMEP(f, B, φ ), i.e.,
GMEP ( f , B , φ ) = { x C : f ( x , y ) + B x , y - x + φ ( y ) - φ ( x ) 0 , y C } .
(1.3)
If B ≡ 0, the problem (1.2) reduces into the mixed equilibrium problem for f, denoted by MEP (f, φ), which is to find x C such that
f ( x , y ) + φ ( y ) - φ ( x ) 0 , y C .
(1.4)
If f ≡ 0, the problem (1.2) reduces into the mixed variational inequality of Browder type, denoted by VI(C, B, φ), which is to find x C such that
B x , y - x + φ ( y ) - φ ( x ) 0 , y C .
(1.5)
If B ≡ 0 and φ ≡ 0 the problem (1.2) reduces into the equilibrium problem for f, denoted by EP(f ), which is to find x C such that
f ( x , y ) 0 , y C .
(1.6)
If f ≡ 0, the problem (1.4) reduces into the minimize problem, denoted by Argmin(φ), which is to find x C such that
φ ( y ) - φ ( x ) 0 , y C .
(1.7)

The above formulation (1.5) was shown in [1] to cover monotone inclusion problems, saddle point problems, variational inequality problems, minimization problems, optimization problems, vector equilibrium problems, Nash equilibria in noncooperative games. In addition, there are several other problems, for example, the complementarity problem, fixed point problem and optimization problem, which can also be written in the form of an EP(f). In other words, the EP(f) is an unifying model for several problems arising in physics, engineering, science, optimization, economics, etc. In the last two decades, many papers have appeared in the literature on the existence of solutions of EP(f); see, for example [1, 2] and references therein. Some solution methods have been proposed to solve the EP(f); see, for example, [115] and references therein.

The normalized duality mapping J : E → 2 E * is defined by
J ( x ) = { x * E * : x , x * = x 2 , x * = x }
for all x E. If E is a Hilbert space, then J = I, where I is the identity mapping. Consider the functional defined by
ϕ ( x , y ) = x 2 - 2 x , J y + y 2 , x , y E .
(1.8)
As well known that if C is a nonempty closed convex subset of a Hilbert space H and P C : HC is the metric projection of H onto C, then P C is nonexpansive. This fact actually characterizes Hilbert spaces and consequently, it is not available in more general Banach spaces. It is obvious from the definition of function ϕ that
( x - y ) 2 ϕ ( x , y ) ( x + y ) 2 , x , y E .
(1.9)
If E is a Hilbert space, then ϕ(x, y) = ||x - y||2, for all x, y E. On the other hand, the generalized projection[16] Π C : EC is a map that assigns to an arbitrary point x E the minimum point of the functional ϕ(x, y), that is, Π C x = x ̄ , where x ̄ is the solution to the minimization problem
ϕ ( x ̄ , x ) = inf y C ϕ ( y , x ) ,
(1.10)

existence and uniqueness of the operator Π C follows from the properties of the functional ϕ(x, y) and strict monotonicity of the mapping J (see, for example, [1620]).

Remark 1.1. If E is a reflexive, strictly convex, and smooth Banach space, then for x, y E, ϕ(x, y) = 0 if and only if x = y. It is sufficient to show that if ϕ(x, y) = 0 then x = y. From (1.8), we have ||x|| = ||y||. This implies that 〈x, Jy〉 = ||x||2 = ||Jy||2. From the definition of J, one has Jx = Jy. Therefore, we have x = y; see [18, 20] for more details.

Let C be a closed convex subset of E, a mapping T : CC is said to be L-Lipschitz continuous if ||Tx - Ty|| ≤ L||x - y||, x, y C and a mapping T is said to be nonexpansive if ||Tx - Ty|| ≤ ||x - y||, x, y C. A point x C is a fixed point of T provided Tx = x. Denote by F(T) the set of fixed points of T; that is, F(T) = {x C : Tx = x}. Recall that a point p in C is said to be an asymptotic fixed point of T[21] if C contains a sequence {x n } which converges weakly to p such that limn→∞||x n - Tx n || = 0. The set of asymptotic fixed points of T will be denoted by F ( T ) ̃ .

A mapping T from C into itself is said to be relatively nonexpansive[2224] if F ( T ) ̃ = F ( T ) and ϕ(p, Tx) ≤ ϕ(p, x) for all x C and p F(T). T is said to be relatively quasi-nonexpansive if F(T) ≠ and ϕ(p, Tx) ≤ ϕ(p, x) for all x C and p F(T). T is said to be ϕ-nonexpansive, if ϕ(Tx, Ty) ≤ ϕ(x, y) for x, y C. T is said to be quasi-ϕ-asymptotically nonexpansive if F(T) ≠ and there exists a real sequence {k n } [1, ∞) with k n → 1 such that ϕ(p, T n x) ≤ k n ϕ(p, x) for all n ≥ 1 x C and p F(T). The asymptotic behavior of a relatively nonexpansive mapping was studied in [2527].

We note that the class of relatively quasi-nonexpansive mappings is more general than the class of relatively nonexpansive mappings [2529] which requires the strong restriction: F ( T ) = F ( T ) ̃ . A mapping T is said to be closed if for any sequence {x n } C with x n x and Tx n y, then Tx = y. It is easy to know that each relatively nonexpansive mapping is closed.

Definition 1.2. (Chang et al. [30]) (1) Let { T i } i = 1 : C C be a sequence of mapping. { T i } i = 1 is said to be a family of uniformly quasi-ϕ-asymptotically nonexpansive mappings, if : = i = 1 F ( T i ) , and there exists a sequence {k n } [1, ∞) with k n 1 such that for each i ≥ 1
ϕ ( p , T i n x ) k n ϕ ( p , x ) , p , x C , n 1 .
(1.11)
  1. (2)
    A mapping T : CC is said to be uniformly L-Lipschitz continuous, if there exists a constant L > 0 such that
    T n x - T n y L x - y , x , y C .
    (1.12)
     
Recall that let A : CE* be a mapping. Then A is called
  1. (i)
    monotone if
    A x - A y , x - y 0 , x , y C ,
     
  2. (ii)
    α-inverse-strongly monotone if there exists a constant α > 0 such that
    A x - A y , x - y α A x - A y 2 , x , y C .
     

Remark 1.3. It is easy to see that an α-inverse-strongly monotone is monotone and 1 α -Lipschitz continuous.

In 2004, Matsushita and Takahashi [31] introduced the following iteration: a sequence {x n } defined by
x n + 1 = Π C J - 1 ( α n J x n + ( 1 - α n ) J T x n ) ,
(1.13)

where the initial guess element x0 C is arbitrary, {α n } is a real sequence in [0, 1], T is a relatively nonexpansive mapping and Π C denotes the generalized projection from E onto a closed convex subset C of E. They proved that the sequence {x n } converges weakly to a fixed point of T.

In 2005, Matsushita and Takahashi [28] proposed the following hybrid iteration method (it is also called the CQ method) with generalized projection for relatively nonexpansive mapping T in a Banach space E:
x 0 C chosen arbitrarily , y n = J - 1 ( α n J x n + ( 1 - α n ) J T x n ) , C n = { z C : ϕ ( z , y n ) ϕ ( z , x n ) } , Q n = { z C : x n - z , J x 0 - J x n 0 } , x n + 1 = Π C n Q n x 0 .
(1.14)

They proved that {x n } converges strongly to ΠF(T)x0, where ΠF(T)is the generalized projection from C onto F(T).

In 2008, Iiduka and Takahashi [32] introduced the following iterative scheme for finding a solution of the variational inequality problem for an inverse-strongly monotone operator A in a 2-uniformly convex and uniformly smooth Banach space E : x1 = x C and
x n + 1 = Π C J - 1 ( J x n - λ n A x n ) ,
(1.15)

for every n = 1, 2, 3, ..., where Π C is the generalized metric projection from E onto C, J is the duality mapping from E into E* and {λ n } is a sequence of positive real numbers. They proved that the sequence {x n } generated by (1.15) converges weakly to some element of VI(A, C). Takahashi and Zembayashi [33, 34] studied the problem of finding a common element of the set of fixed points of a nonexpansive mapping and the set of solutions of an equilibrium problem in the framework of Banach spaces.

In 2009, Wattanawitoon and Kumam [14] using the idea of Takahashi and Zembayashi [33] extended the notion from relatively nonexpansive mappings or ϕ-nonexpansive mappings to two relatively quasi-nonexpansive mappings and also proved some strong convergence theorems to approximate a common fixed point of relatively quasi-nonexpansive mappings and the set of solutions of an equilibrium problem in the framework of Banach spaces. Cholamjiak [35] studied the following iterative algorithm:
{ z n = Π C J 1 ( J x n λ n A x n ) , y n = J 1 ( α n J x n + β n J T x n + γ n J S z n ) , u n C s u c h t h a t f ( u n , y ) + 1 r n y u n , J u n J y n 0, y C , C n + 1 = { z C n : ϕ ( z , u n ) ϕ ( z , x n ) } , x n + 1 = Π C n + 1 x 0 ,
(1.16)

where J is the duality mapping on E. Assume that {α n }, {β n } and {γ n } are sequences in [0, 1]. Then, he proved that {x n } converges strongly to q = Π F x0, where F := F (T ) ∩ F (S) ∩ EP(f ) ∩ VI(A, C).

In 2010, Saewan et al. [29] introduced a new hybrid projection iterative scheme which is difference from the algorithm (1.16) of Cholamjiak in [[35], Theorem 3.1] for two relatively quasi-nonexpansive mappings in a Banach space. Motivated by the results of Takahashi and Zembayashi [34], Cholumjiak and Suantai [36] proved the following strong convergence theorem by the hybrid iterative scheme for approximation of common fixed point of countable families of relatively quasi-nonexpansive mappings in a uniformly convex and uniformly smooth Banach space: x0 E, x 1 = Π C 1 x 0 , C1 = C
y n , i = J - 1 ( α n J x n + ( 1 - α n ) J T x n ) , u n , i = T r m , n f m T r m - 1 , n f m - 1 T r 1 , n f 1 y n , i , C n + 1 = { z C n : sup i > 1 ϕ ( z , J u n , i ) ϕ ( w , J x n ) } , x n + 1 = Π C n + 1 x 0 , n 1 .
(1.17)

Then, they proved that under certain appropriate conditions imposed on {α n }, and {rn, i}, the sequence {x n } converges strongly to ΠF(T)∩EP(f)x0.

We note that the block iterative method is a method which often used by many authors to solve the convex feasibility problem (see, [37, 38], etc.). In 2008, Plubtieng and Ungchittrakool [39] established strong convergence theorems of block iterative methods for a finite family of relatively nonexpansive mappings in a Banach space by using the hybrid method in mathematical programming. Chang et al. [30] proposed the modified block iterative algorithm for solving the convex feasibility problems for an infinite family of closed and uniformly quasi-ϕ-asymptotically nonexpansive mapping, and they obtained the strong convergence theorems in a Banach space.

In 2010, Saewan and Kumam [40] obtained the following result for the set of solutions of the generalized equilibrium problems and the set of common fixed points of an infinite family of closed and uniformly quasi-ϕ-asymptotically nonexpansive mappings in a uniformly smooth and strictly convex Banach space E with Kadec-Klee property.

Theorem SK Let C be a nonempty closed and convex subset of a uniformly smooth and strictly convex Banach space E with the Kadec-Klee property. Let f be a bifunction from C × C to satisfying (A1)-(A4). Let B be a continuous monotone mapping of C into E*. Let { S i } i = 1 : C C be an infinite family of closed uniformly L i -Lipschitz continuous and uniformly quasi-ϕ-asymptotically nonexpansive mappings with a sequence {k n } [1, ∞), k n → 1 such that F : = i = 1 F ( S i ) GEP ( f , B ) is a nonempty and bounded subset in C. For an initial point x0 E with x 1 = Π C 1 x 0 and C1 = C, we define the sequence {x n } as follows:
y n = J - 1 ( β n J x n + ( 1 - β n ) J z n ) , z n = J - 1 ( α n , 0 J x n + i = 1 α n , i J S i n x n ) , u n C such that  f ( u n , y ) + B y n , y - u n + 1 r n y - u n , J u n - J y n 0 , y C , C n + 1 = { z C n : ϕ ( z , u n ) ϕ ( z , x n ) + θ n } , x n + 1 = Π C n + 1 x 0 , n 0 ,
(1.18)

where J is the duality mapping on E, θ n = supqF(k n - 1)ϕ(q, x n ), {αn, i}, {β n } are sequences in [0, 1] and {r n } [a, ∞) for some a > 0. If i = 0 α n , i = 1 for all n ≥ 0 and lim infn → ∞αn, 0α n, i > 0 for all i ≥ 1, then {x n } converges strongly to p F , where p = Π F x0.

Quite recently, Qin et al. [9] purposed the problem of approximating a common fixed point of two asymptotically quasi-ϕ-nonexpansive mappings based on hybrid projection methods. Strong convergence theorems are established in a real Banach space. Zegeye et al. [15] introduced an iterative process which converges strongly to a common element of set of common fixed points of countably infinite family of closed relatively quasi- nonexpansive mappings, the solution set of generalized equilibrium problem and the solution set of the variational inequality problem for an α-inverse-strongly monotone mapping in Banach spaces.

Motivated and inspired by the work of Chang et al. [30], Qin et al. [7], Takahashi and Zembayashi [33], Wattanawitoon and Kumam [14], Zegeye [41] and Saewan and Kumam [40], we introduce a new modified block hybrid projection algorithm for finding a common element of the set of the variational inequality for an α-inverse-strongly monotone operator, the set of solutions of the system of generalized mixed equilibrium problems and the set of common fixed points of an infinite family of closed and uniformly quasi-ϕ-asymptotically nonexpansive mappings in the framework Banach spaces. The results presented in this paper improve and generalize some well-known results in the literature.

2 Preliminaries

A Banach space E is said to be strictly convex if x + y 2 < 1 for all x, y E with ||x|| = ||y|| = 1 and xy. Let U = {x E : ||x|| = 1} be the unit sphere of E. Then a Banach space E is said to be smooth if the limit
lim t 0 x + t y - x t
exists for each x, y U. It is also said to be uniformly smooth if the limit is attained uniformly for x, y U. Let E be a Banach space. The modulus of convexity of E is the function δ : [0, 2] [0, 1] defined by
δ ( ε ) = inf 1 - x + y 2 : x , y E , x = y = 1 , x - y ε .

A Banach space E is uniformly convex if and only if δ(ε) > 0 for all ε (0, 2]. Let p be a fixed real number with p ≥ 2. A Banach space E is said to be p-uniformly convex if there exists a constant c > 0 such that δ(ε) ≥ p for all ε [0, 2]; see [42, 43] for more details. Observe that every p-uniformly convex is uniformly convex. One should note that no a Banach space is p-uniformly convex for 1 < p < 2. It is well known that a Hilbert space is 2-uniformly convex, uniformly smooth. It is also known that if E is uniformly smooth, then J is uniformly norm-to-norm continuous on each bounded subset of E.

Remark 2.1. The following basic properties can be found in Cioranescu [18].
  1. (i)

    If E is a uniformly smooth Banach space, then J is uniformly continuous on each bounded subset of E.

     
  2. (ii)

    If E is a smooth, strictly convex, and reflexive Banach space, then the normalized duality mapping J : E → 2 E * is single-valued, one-to-one, and onto.

     
  3. (iii)

    A Banach space E is uniformly smooth if and only if E* is uniformly convex.

     
  4. (iv)

    Each uniformly convex Banach space E has the Kadec-Klee property, that is, for any sequence {x n } E, if x n x E and ||x n || → ||x||, then x n x.

     

We also need the following lemmas for the proof of our main results.

Lemma 2.2. (Beauzamy[44] and Xu[45]). If E be a 2-uniformly convex Banach space, then for all x, y E we have
x - y 2 c 2 J x - J y ,

where J is the normalized duality mapping of E and 0 < c ≤ 1.

The best constant 1 c in lemma is called the p-uniformly convex constant of E.

Lemma 2.3. (Beauzamy[44] and Zalinescu[46]). If E be a p-uniformly convex Banach space and let p be a given real number with p ≥ 2, then for all x, y E, j x J p (x) and j y J p (y)
x - y , j x - j y c p 2 p - 2 p x - y p ,

where J p is the generalized duality mapping of E and 1 c is the p-uniformly convexity constant of E.

Lemma 2.4. (Kamimura and Takahashi[19]). Let E be a uniformly convex and smooth Banach space and let {x n } and {y n } be two sequences of E. If ϕ(x n , y n ) → 0 and either {x n } or {y n } is bounded, then ||x n -y n || → 0.

Lemma 2.5. (Alber[16]). Let C be a nonempty closed convex subset of a smooth Banach space and x E. Then x0 = Π C x if and only if
x 0 - y , J x - J x 0 0 , y C .
Lemma 2.6. (Alber [[16], Lemma 2.4]). Let E be a reflexive, strictly convex and smooth Banach space, and let C be a nonempty closed convex subset of E and let x E. Then
ϕ ( y , Π C x ) + ϕ ( Π C x , x ) ϕ ( y , x ) , y C .
Let E be a reflexive, strictly convex, smooth Banach space and J is the duality mapping from E into E*. Then J-1 is also single value, one-to-one, surjective, and it is the duality mapping from E* into E. We make use of the following mapping V studied in Alber [16]:
V ( x , x * ) = x 2 - 2 x , x * + x * 2 ,
(2.1)

for all x E and x* E*, that is, V (x, x*) = ϕ(x, J-1(x*)).

Lemma 2.7. (Alber[16]). Let E be a reflexive, strictly convex smooth Banach space and let V be as in (2.1). Then
V ( x , x * ) + 2 J - 1 ( x * ) - x , y * V ( x , x * + y * ) ,

for all x E and x*, y* E*.

A set valued mapping U : E E* with graph G(U) = (x, x*) : x* Ux}, domain D(U) = {x E : Ux}, and range R(U) = {Ux : x D(U)}. U is said to be monotone if 〈x - y, x* -y*〉 ≥ 0 whenever (x, x*) G(U), (y, y*) G(U). We denote a set valued operator U from E to E* by U E × E*. A monotone U is said to be maximal if its graph is not property contained in the graph of any other monotone operator. If U is maximal monotone, then the solution set U-10 is closed and convex. Let E be a reflexive, strictly convex and smooth Banach space, and it is known that U is a maximal monotone if and only if R(J + rU) = E* for all r > 0. Define the resolvent of U by J r x = x r . In other words, Jr = (J + r U)-1 for all r > 0. J r is a single-valued mapping from E to D(U). Also, U-1(0) = F(J r ) for all r > 0, where F(J r ) is the set of all fixed points of Jr. Define, for r > 0, the Yosida approximation of U by T r x = (Jx - JJ r x)/r for all x C: We know that T r x U (J r x) for all r > 0 and x E.

Let A be an inverse-strongly monotone mapping of C into E* which is said to be hemicontinuous if for all x, y C, and the mapping F of [0, 1] into E*, defined by F(t) = A(tx + (1 - t)y), is continuous with respect to the weak* topology of E*. We define by N C (v) the normal cone for C at a point v C, that is,
N C ( v ) = { x * E * : v - y , x * 0 , y C } .
(2.2)
Lemma 2.8. (Rockafellar[47]). Let C be a nonempty, closed convex subset of a Banach space E, and A is a monotone, hemicontinuous operator of C into E*. Let U E × E* be an operator defined as follows:
U v = A v + N C ( v ) , v C ; o t h e r w i s e .
(2.3)

Then U is maximal monotone and U-10 = VI(A, C).

Lemma 2.9. (Chang et al. [30]). Let E be a uniformly convex Banach space, r > 0 be a positive number and B r (0) be a closed ball of E. Then, for any given sequence { x i } i = 1 B r ( 0 ) and for any given sequence { λ i } i = 1 of positive number with n = 1 λ n = 1 , there exists a continuous, strictly increasing, and convex function g: [0, 2r) → [0, ∞) with g(0) = 0 such that, for any positive integer i, j with i < j,
n = 1 λ n x n 2 n = 1 λ n x n 2 - λ i λ j g ( x i - x j ) .
(2.4)

Lemma 2.10. (Chang et al. [30]). Let E be a real uniformly smooth and strictly convex Banach space, and C be a nonempty closed convex subset of E. Let T : CC be a closed and quasi-ϕ-asymptotically nonexpansive mapping with a sequence {k n } [1, ∞), k n → 1. Then F (T ) is a closed convex subset of C:

For solving the equilibrium problem for a bifunction f : C × C, let us assume that f satisfies the following conditions:

(A1) f(x, x) = 0 for all x C;

(A2) f is monotone, i.e., f(x, y) + f(y, x) ≤ 0 for all x, y C;

(A3) for each x, y, z C,
lim t 0 f ( t z + ( 1 - t ) x , y ) f ( x , y ) ;

(A4) for each x C, y α f(x, y) is convex and lower semicontinuous.

For example, let A be a continuous and monotone operator of C into E* and define
f ( x , y ) = A x , y - x , x , y C .

Then, f satisfies (A1)-(A4). The following result is in Blum and Oettli [1].

Motivated by Combettes and Hirstoaga [2] in a Hilbert space and Takahashi and Zembayashi [33] in a Banach space, Zhang [48] obtained the following lemma.

Lemma 2.11. (Zhang [[48], Lemma 1.5]). Let C be a closed convex subset of a smooth, strictly convex and reflexive Banach space E. Assume that f be a bifunction from C × C to satisfying (A1)-(A4), A : C → E* be a continuous and monotone mapping and φ : C be a semicontinuous and convex functional. For r > 0 and let x E. Then, there exists z C such that
Q ( z , y ) + 1 r y - z , J z - J x 0 , y C ,
where Q(z, y) = f(z, y) + 〈Bz, y - z〉 + φ(y) φ(z), x, y C. Furthermore, define a mapping T r : EC as follows:
T r x = z C : Q ( z , y ) + 1 r y - z , J z - J x 0 , y C .

Then the following hold:

1. T r is single-valued;

2. T r is firmly nonexpansive, i.e., for all x, y E, 〈T r x - T r y, JT r x - JT r y〉 ≤ 〈T r x - T r y, Jx -Jy〉;

3. F ( T r ) = F ( T r ) ̃ = G M E P ( f , B , φ ) ;

4. GMEP(f, B, φ) is closed and convex;

5. ϕ(p, T r z) + ϕ(T r z, z) ≤ ϕ(p, z), p F(T r ) and z E.

3 Main results

In this section, we prove the new convergence theorems for finding the set of solutions of system of generalized mixed equilibrium problems, the common fixed point set of a family of closed and uniformly quasi-ϕ-asymptotically nonexpansive mappings, and the solution set of variational inequalities for an α-inverse strongly monotone mapping in a 2-uniformly convex and uniformly smooth Banach space.

Theorem 3.1. Let C be a nonempty closed and convex subset of a 2-uniformly convex and uniformly smooth Banach space E. For each j = 1, 2, ..., m let f j be a bifunction from C × C to which satisfies conditions (A1)-(A4), B j : CE* be a continuous and monotone mapping and φ j : C i→ be a lower semicontinuous and convex function. Let A be an α-inverse-strongly monotone mapping of C into E* satisfying ||Ay|| ≤ ||Ay - Au||, y C and u VI(A, C) ≠ . Let { S i } i = 1 : C C be an infinite family of closed uniformly L i -Lipschitz continuous and uniformly quasi-ϕ-asymptotically nonexpansive mappings with a sequence {k n } [1, ∞), k n → 1 such that F : = ( i = 1 F ( S i ) ) ( j = 1 m GMEP ( f j , B j , φ j ) ) ( VI ( A , C ) ) is a nonempty and bounded subset in C. For an initial point x0 E with x 1 = Π C 1 x 0 and C1 = C, we define the sequence {x n } as follows:
v n = Π C J - 1 ( J x n - λ n A x n ) , z n = J - 1 ( α n , 0 J x n + i = 1 α n , i J S i n v n ) , y n = J - 1 ( β n J x n + ( 1 - β n ) J z n ) , u n = T r m , n Q m T r m - 1 , n Q m - 1 T r 2 , n Q 2 T r 1 , n Q 1 y n , C n + 1 = { z C n : ϕ ( z , u n ) ϕ ( z , x n ) + θ n } , x n + 1 = Π C n + 1 x 0 , n 1 ,
(3.1)

where θ n = supqF(k n -1)ϕ(q, x n ), for each i ≥ 0, {α n , i } and {β n } are sequences in [0, 1], {r j, n } [d, ∞) for some d > 0 and {λ n } [a, b] for some a, b with 0 < a < b < c2α/ 2, where 1 c is the 2-uniformly convexity constant of E. If i = 0 α n , i = 1 for all n ≥ 0, lim infn → ∞(1 - β n ) > 0 and lim infn→∞α n ,0α n, i > 0 for all i ≥ 1, then {x n } converges strongly to p F, where p = Π F x0.

Proof. We first show that Cn+1is closed and convex for each n ≥ 0. Clearly, C1 = C is closed and convex. Suppose that C n is closed and convex for each n . Since for any z C n , we know ϕ(z, u n ) ≤ ϕ(z, x n ) + θn is equivalent to 2〈z, Jx n - Ju n 〉 ≤ ||x n ||2 - ||u n ||2 + θ n . So, Cn+1is closed and convex.

Next, we show that F C n for all n ≥ 0. Since u n = Ω n m y n , when Ω n j = T r j , n Q j T r j - 1 , n Q j - 1 T r 2 , n Q 2 T r 1 , n Q 1 , j = 1, 2, 3, ..., m, Ω n 0 = I , by the convexity of ||·||2, property of ϕ, Lemma 2.9 and by uniformly quasi-ϕ-asymptotically nonexpansive of S n for each q F C n , we have
ϕ ( q , u n ) = ϕ ( q , Ω n m y n ) ϕ ( q , y n ) = ϕ ( q , J 1 ( β n J x n + ( 1 β n ) J z n ) = q 2 2 q , β n J x n + ( 1 β n ) J z n + β n J x n + ( 1 β n ) J z n 2 q 2 2 β n q , J x n 2 ( 1 β n ) q , J z n + β n x n 2 + ( 1 β n ) z n 2 = β n ϕ ( q , x n ) + ( 1 β n ) ϕ ( q , z n )
(3.2)
and
ϕ ( q , z n ) = ϕ ( q , J - 1 ( α n , 0 J x n + i = 1 α n , i J S i n v n ) ) = q 2 - 2 q , α n , 0 J x n + i = 1 α n , i J S i n v n + α n , 0 J x n + i = 1 α n , i J S i n v n 2 = q 2 - 2 α n , 0 q , J x n - 2 i = 1 α n , i q , J S i n v n + α n , 0 J x n + i = 1 α n , i J S i n v n 2 q 2 - 2 α n , 0 q , J x n - 2 i = 1 α n , i q , J S i n v n + α n , 0 J x n 2 + i = 1 α n , i J S i n v n 2 - α n , 0 α n , j g J v n - J S j n v n = q 2 - 2 α n , 0 q , J x n + α n , 0 J x n 2 - 2 i = 1 α n , i q , J S i n v n + i = 1 α n , i J S i n v n 2 - α n , 0 α n , j g J v n - J S j n v n = α n , 0 ϕ ( q , x n ) + i = 1 α n , i ϕ ( q , S i n v n ) - α n , 0 α n , j g J v n - J S j n v n α n , 0 ϕ ( q , x n ) + i = 1 α n , i k n ϕ ( q , v n ) - α n , 0 α n , j g J v n - J S j n v n .
(3.3)
It follows from Lemma 2.7 that
ϕ ( q , v n ) = ϕ ( q , Π C J - 1 ( J x n - λ n A x n ) ) ϕ ( q , J - 1 ( J x n - λ n A x n ) ) = V ( q , J x n - λ n A x n ) V ( q , ( J x n - λ n A x n ) + λ n A x n ) - 2 J - 1 ( J x n - λ n A x n ) - q , λ n A x n = V ( q , J x n ) - 2 λ n J - 1 ( J x n - λ n A x n ) - q , A x n = ϕ ( q , x n ) - 2 λ n x n - q , A x n + 2 J - 1 ( J x n - λ n A x n ) - x n , - λ n A x n .
(3.4)
Since q VI(A, C) and A is an α-inverse-strongly monotone mapping, we have
- 2 λ n x n - q , A x n = - 2 λ n x n - q , A x n - A q - 2 λ n x n - q , A q - 2 λ n x n - q , A x n - A q - 2 α λ n A x n - A q 2 .
(3.5)
From Lemma 2.2 and ||Ax n || ≤ ||Ax n - Aq||, q VI(A, C), we also have
2 J - 1 ( J x n - λ n A x n ) - x n , - λ n A x n = 2 J - 1 ( J x n - λ n A x n ) - J - 1 ( J x n ) , - λ n A x n 2 J - 1 ( J x n - λ n A x n ) - J - 1 ( J x n ) λ n A x n 4 c 2 J J - 1 ( J x n - λ n A x n ) - J J - 1 ( J x n ) λ n A x n = 4 c 2 J x n - λ n A x n - J x n λ n A x n = 4 c 2 λ n A x n 2 = 4 c 2 λ n 2 A x n 2 4 c 2 λ n 2 A x n - A q 2 .
(3.6)
Substituting (3.5) and (3.6) into (3.4), we obtain
ϕ ( q , v n ) ϕ ( q , x n ) - 2 α λ n A x n - A q 2 + 4 c 2 λ n 2 A x n - A q 2 = ϕ ( q , x n ) + 2 λ n ( 2 c 2 λ n - α ) A x n - A q 2 ϕ ( q , x n ) .
Substituting (3.7) into (3.3), we also have
ϕ ( q , z n ) α n , 0 ϕ ( q , x n ) + i = 1 α n , i k n ϕ ( q , x n ) - α n , 0 α n , j g J v n - J S j n v n α n , 0 k n ϕ ( q , x n ) + i = 1 α n , i k n ϕ ( q , x n ) - α n , 0 α n , j g J v n - J S j n v n = k n ϕ ( q , x n ) - α n , 0 α n , j g J v n - J S j n v n ϕ ( q , x n ) + sup q F ( k n - 1 ) ϕ ( q , x n ) - α n , 0 α n , j g J v n - J S j n v n = ϕ ( q , x n ) + θ n - α n , 0 α n , j g J v n - J S j n v n ϕ ( q , x n ) + θ n .
(3.8)
and substituting (3.8) into (3.2), we also have
ϕ ( q , u n ) ϕ ( q , x n ) + θ n .
(3.9)
This shows that q Cn+1implies that F Cn+1and hence, F C n for all n ≥ 0. This implies that the sequence {x n } is well defined. From definition of Cn+1that x n = Π C n x 0 and x n + 1 = Π C n + 1 x 0 , C n + 1 C n , we have
ϕ ( x n , x 0 ) ϕ ( x n + 1 , x 0 ) , n 0 .
(3.10)
By Lemma 2.6, we get
ϕ ( x n , x 0 ) = ϕ ( Π C n x 0 , x 0 ) ϕ ( q , x 0 ) - ϕ ( q , x n ) ϕ ( q , x 0 ) , q F .
(3.11)
From (3.10) and (3.11), then {ϕ(x n , x0)} are nondecreasing and bounded. So, we obtain that lim n ϕ ( x n , x 0 ) exists. In particular, by (1.9), the sequence {(||x n || - ||x0||)2 is bounded. This implies {x n } is also bounded. Denote
M = sup n 0 { x n } < .
(3.12)
Moreover, by the definition of θ n and (3.12), it follows that
θ n 0 as n .
(3.13)
Next, we show that {x n } is a Cauchy sequence in C. Since x m = Π C m x 0 C m C n , for m > n, by Lemma 2.6, we have
ϕ ( x m , x n ) = ϕ ( x m , Π C n x 0 ) ϕ ( x m , x 0 ) - ϕ ( Π C n x 0 , x 0 ) = ϕ ( x m , x 0 ) - ϕ ( x n , x 0 ) .

Since limn→∞ϕ(x n , x0) exists and we take m, n → ∞, we get ϕ(x m , x n ) → 0. From Lemma 2.4, we have limn→∞||x m - x n || = 0. Thus, {x n } is a Cauchy sequence, and by the completeness of E, there exists a point p C such that x n p as n → ∞.

Now, we claim that ||Ju n - Jx n || → 0, as n → ∞. By definition of x n = Π C n x 0 , we have
ϕ ( x n + 1 , x n ) = ϕ ( x n + 1 , Π C n x 0 ) ϕ ( x n + 1 , x 0 ) - ϕ ( Π C n x 0 , x 0 ) = ϕ ( x n + 1 , x 0 ) - ϕ ( x n , x 0 ) .
Since limn→∞ϕ(x n , x0) exists, we also have
lim n ϕ ( x n + 1 , x n ) = 0 .
(3.14)
Again from Lemma 2.4 that
lim n x n + 1 - x n = 0 .
(3.15)
Since J is uniformly norm-to-norm continuous on bounded subsets of E, we obtain
lim n J x n + 1 - J x n = 0 .
(3.16)
Since x n + 1 = Π C n + 1 x 0 C n + 1 C n and the definition of Cn+1, we have
ϕ ( x n + 1 , u n ) ϕ ( x n + 1 , x n ) + θ n .
By (3.13) and (3.14) that
lim n ϕ ( x n + 1 , u n ) = 0 .
(3.17)
Again applying Lemma 2.4, we have
lim n x n + 1 - u n = 0 .
(3.18)
Since
u n - x n = u n - x n + 1 + x n + 1 - x n u n - x n + 1 + x n + 1 - x n .
It follows from (3.15) and (3.18) that
lim n u n - x n = 0 .
(3.19)
Since J is uniformly norm-to-norm continuous on bounded subsets of E, we also have
lim n J u n - J x n = 0 .
(3.20)
Next, we will show that p F : = j = 1 m GMEP ( f j , B j , φ j ) ( i = 1 F ( S i ) ) VI ( A , C ) .
  1. (a)
    We show that p i = 1 F ( S i ) . Since x n + 1 = Π C n + 1 x 0 C n + 1 C n , it follow from (3.8), we have
    ϕ ( x n + 1 , z n ) ϕ ( x n + 1 , x n ) + θ n ,
     
by (3.13) and (3.14), we get
lim n ϕ ( x n + 1 , z n ) = 0
(3.21)
again from Lemma 2.4 that
lim n x n + 1 - z n = 0 .
(3.22)
Since J is uniformly norm-to-norm continuous, we obtain
lim n J x n + 1 - J z n = 0 .
(3.23)
From (3.50), we note that
J x n + 1 - J z n = J x n + 1 - ( α n , 0 J x n + i = 1 α n , i J S i n v n ) (1) = α n , 0 J x n + 1 - α n , 0 J x n + i = 1 α n , i J x n + 1 - i = 1 α n , i J S i n v n (2) = α n , 0 ( J x n + 1 - J x n ) + i = 1 α n , i ( J x n + 1 - J S i n v n ) (3) = i = 1 α n , i ( J x n + 1 - J S i n v n ) - α n , 0 ( J x n - J x n + 1 ) (4) i = 1 α n , i J x n + 1 - J S i n v n - α n , 0 J x n - J x n + 1 , (5) (6) 
and hence
J x n + 1 - J S i n v n 1 i = 1 α n , i ( J x n + 1 - J z n + α n , 0 J x n - J x n + 1 ) .
(3.24)
From (3.16), (3.23) and lim inf n i = 1 α n , i > 0 , we obtain that
lim n | | J x n + 1 - J S i n v n | | = 0 .
(3.25)
Since J-1 is uniformly norm-to-norm continuous on bounded sets, we have
lim n x n + 1 - S i n v n = 0 .
(3.26)
Using the triangle inequality that
x n - S i n v n = x n - x n + 1 + x n + 1 - S i n v n x n - x n + 1 + x n + 1 - S i n v n .
From (3.15) and (3.26), we have
lim n x n - S i n v n = 0 .
(3.27)
On the other hand, we note that
ϕ ( q , x n ) - ϕ ( q , u n ) + θ n = x n 2 - u n 2 - 2 q , J x n - J u n + θ n x n - u n ( x n + u n ) + 2 q J x n - J u n + θ n .
It follows from θ n → 0, ||x n - u n || → 0 and ||Jx n - Ju n || → 0, that
ϕ ( q , x n ) - ϕ ( q , u n ) + θ n 0 as  n .
(3.28)
From (3.2), (3.3) and (3.7) that
ϕ ( q , u n ) ϕ ( q , y n ) β n ϕ ( q , x n ) + ( 1 β n ) ϕ ( q , z n ) β n ϕ ( q , x n ) + ( 1 β n ) [ α n ,0 ϕ ( q , x n ) + i = 1 α n , i k n ϕ ( q , v n ) α n ,0 α n , j g J v n J S j n v n ] = β n ϕ ( q , x n ) + ( 1 β n ) α n ,0 ϕ ( q , x n ) + ( 1 β n ) i = 1 α n , i k n ϕ ( q , v n ) ( 1 β n ) α n ,0 α n , j g J v n J S j n v n β n ϕ ( q , x n ) + ( 1 β n ) α n ,0 ϕ ( q , x n ) + ( 1 β n ) i = 1 α n , i k n ϕ ( q , v n ) β n ϕ ( q , x n ) + ( 1 β n ) α n ,0 ϕ ( q , x n ) + ( 1 β n ) i = 1 α n , i k n [ ϕ ( q , x n ) 2 λ n ( α 2 c 2 λ n ) A x n A q 2 ] β n ϕ ( q , x n ) + ( 1 β n ) α n ,0 k n ϕ ( q , x n ) + ( 1 β n ) i = 1 α n , i k n ϕ ( q , x n ) ( 1 β n ) i = 1 α n , i k n 2 λ n ( α 2 c 2 λ n ) A x n A q 2 β n k n ϕ ( q , x n ) + ( 1 β n ) k n ϕ ( q , x n ) ( 1 β n ) i = 1 α n , i k n 2 λ n ( α 2 c 2 λ n ) A x n A q 2 = k n ϕ ( q , x n ) ( 1 β n ) i = 1 α n , i k n 2 λ n ( α 2 c 2 λ n ) A x n A q 2 ] ϕ ( q , x n ) + sup q F ( k n 1 ) ϕ ( q , x n ) ( 1 β n ) i = 1 α n , i k n 2 λ n ( α 2 c 2 λ n ) A x n A q 2 = ϕ ( q , x n ) + θ n ( 1 β n ) i = 1 α n , i k n 2 λ n ( α 2 c 2 λ n ) A x n A q 2 ,
and hence
2 a ( α - 2 b c 2 ) A x n - A q 2 2 λ n ( α - 2 c 2 λ n ) A x n - A q 2 (1)  1 ( 1 - β n ) i = 1 α n , i k n ( ϕ ( q , x n ) - ϕ ( q , u n ) + θ n ) . (2)  (3) 
(3.29)
From (3.28), {λ n } [a, b] for some a, b with 0 < a < b < c2α/ 2, lim infn →∞(1 - β n ) > 0 and lim infn → ∞α n ,0αn, i> 0, for i ≥ 0 and k n → 1 as n → ∞, we obtain that
lim n A x n - A q = 0 .
(3.30)
From Lemmas 2.6, 2.7 and (3.6), we compute
ϕ ( x n , v n ) = ϕ ( x n , Π C J - 1 ( J x n - λ n A x n ) ) ϕ ( x n , J - 1 ( J x n - λ n A x n ) ) = V ( x n , J x n - λ n A x n ) V ( x n , ( J x n - λ n A x n ) + λ n A x n ) - 2 J - 1 ( J x n - λ n A x n ) - x n , λ n A x n = ϕ ( x n , x n ) + 2 J - 1 ( J x n - λ n A x n ) - x n , - λ n A x n = 2 J - 1 ( J x n - λ n A x n ) - x n , - λ n A x n 4 λ n 2 c 2 A x n - A q 2 4 b 2 c 2 A x n - A q 2 .
Applying Lemma 2.4 and (3.30) that
lim n x n - v n = 0
(3.31)
and we also obtain
lim n | | J x n - J v n | | = 0 .
(3.32)
Since S i n is continuous, for any i ≥ 1
lim n S i n x n - S i n v n = 0 .
(3.33)
Again by the triangle inequality, we get
x n - S i n x n x n - S i n v n + S i n v n - S i n x n .
From (3.27) and (3.33), we have
lim n x n - S i n x n = 0 , i 1 .
(3.34)
By using triangle inequality, we get
S i n x n - p S i n x n - x n + x n - p , i 1 .
We know that x n p as n → ∞ and from (3.34)
S i n x n p f o r e a c h i 1 .
Moreover, by the assumption that i ≥ 1, S i is uniformly L i -Lipschitz continuous, and hence we have.
S i n + 1 x n - S i n x n S i n + 1 x n - S i n + 1 x n + 1 + S i n + 1 x n + 1 - x n + 1 + x n + 1 - x n + x n - S i n x n ( L i + 1 ) x n + 1 - x n + S i n + 1 x n + 1 - x n + 1 + x n - S i n x n .
(3.35)
By (3.15) and (3.34), it yields that S i n + 1 x n - S i n x n 0 . From S i n x n p , we have S i n + 1 x n p , that is S i S i n x n p . In view of closeness of S i , we have S i p = p, for all i ≥ 1. This implies that p i = 1 F ( S i ) .
  1. (b)

    We show that p j = 1 m GMEP ( f j , B j , φ j ) .

     
Let u n = Ω n m y n , when Ω n j = T r j , n Q j T r j - 1 , n Q j - 1 T r 2 , n Q 2 T r 1 , n Q 1 , j = 1,2,3, ..., m and Ω n 0 = I , we obtain
ϕ ( q , u n ) = ϕ ( q , Ω n m y n ) ϕ ( q , Ω n m - 1 y n ) ϕ ( q , Ω n m - 2 y n ) ϕ ( q , Ω n j y n ) .
(3.36)
By Lemma (2.11)(5), we have for j = 1, 2, 3, ..., m
ϕ ( Ω n j y n , y n ) + θ n ϕ ( q , y n ) - ϕ ( q , Ω n j y n ) + θ n ϕ ( q , x n ) - ϕ ( q , Ω n j y n ) + θ n ϕ ( q , x n ) - ϕ ( q , u n ) + θ n .
(3.37)
From (3.13) and (3.28), we get ϕ ( Ω n j y n , y n ) 0 as n → ∞, for j = 1, 2, 3, ..., m and Lemma 2.4 implies that
lim n Ω n j y n - y n = 0 , j = 1 , 2 , 3 , , m .
(3.38)
Since x n + 1 = Π C n + 1 x 0 C n + 1 C n , it follows from (3.2) and (3.8) that
ϕ ( x n + 1 , y n ) ϕ ( x n + 1 , x n ) + θ n .
By (3.13) and (3.14), we have
lim n ϕ ( x n + 1 , y n ) = 0 .
Applying Lemma 2.4 that
lim n x n + 1 - y n = 0 .
(3.39)
Using the triangle inequality, we obtain
x n - y n x n - x n + 1 + x n + 1 - y n .
From (3.15) and (3.39), we get
lim n x n - y n = 0 .

Since x n p and ||x n - y n || → 0, we have y n p as n → ∞.

Again by using the triangle inequality, we have for j = 1, 2, 3, ..., m
p - Ω n j y n p - y n + y n - Ω n j y n .
From (3.38) and y n p as n → ∞, we get
lim n p - Ω n j y n = 0 , j = 1 , 2 , 3 , , m .
(3.41)
By using the triangle inequality, we obtain
Ω n j y n - Ω n j - 1 y n Ω n j y n - p + p - Ω n j - 1 y n .
From (3.41), we have
lim n Ω n j y n - Ω n j - 1 y n = 0 , j = 1 , 2 , 3 , , m .
(3.42)
Since {r j, n } [d, ∞) and J is uniformly continuous on any bounded subset of E,
lim n J Ω n j y n - J Ω n j - 1 y n r j , n = 0 , j = 1 , 2 , 3 , , m .
(3.43)
From Lemma 2.11, we get for j = 1, 2, 3, ..., m
Q j ( Ω n j y n , y ) + 1 r j , n y - Ω n j y n , J Ω n j y n - J Ω n j - 1 y n 0 , y C .
From (A2),
1 r j , n y - Ω n j y n , J Ω n j y n - J Ω n j - 1 y n Q j ( y , Ω n j y n ) , y C , j = 1 , 2 , 3 , , m .
From (3.41) and (3.43), we have
0 Q j ( y , p ) , y C , j = 1 , 2 , 3 , , m .
(3.44)
For t with 0 < t ≤ 1 and y C; let y t = ty + (1 - t)p. Then, we get that y t C. From (3.44), and it follows that
Q j ( y t , p ) 0 , y C , j = 1 , 2 , 3 , , m .
(3.45)
By the conditions (A1) and (A4), we have for j = 1, 2, 3, ..., m
0 = Q j ( y t , y t ) t Q j ( y t , y ) + ( 1 - t ) Q j ( y t , p ) t Q j ( y t , y ) = Q j ( y t , y ) .
(3.46)
From (A3) and letting t → 0, This implies that p GMEP(f j , B j , φ j ), j = 1, 2, 3, ..., m. Therefore p j = 1 m GMEP ( f j , B j , φ j )
  1. (c)
    We show that p VI(A, C). Indeed, define U E × E* by
    U v = A v + N C ( v ) , v C ; , v C .
    (3.47)
     

By Lemma 2.8, U is maximal monotone and U-10 = VI(A, C). Let (v, w) G(U). Since w Uv = Av + N C (v), we get w - Av N C (v).

From v n C, we have
v - v n , w - A v 0 .
(3.48)
On the other hand, since v n = Π C J - 1 ( J x n - λ n A x n ) . Then, by Lemma 2.5, we have
v - v n , J v n - ( J x n - λ n A x n ) 0 ,
and thus
v - v n , J x n - J v n λ n - A x n 0 .
(3.49)
It follows from (3.48), (3.49) and A is monotone and 1 α -Lipschitz continuous that
v - v n , w v - v n , A v v - v n , A v + v - v n , J x n - J v n λ n - A x n = v - v n , A v - A x n + v - z v n , J x n - J v n λ n = v - v n , A v - A v n + v - v n , A v n - A x n + v - v n , J x n - J v n λ n - v - v n v n - x n α - v - v n J x n - J v n a - H v n - x n α + J x n - J v n a ,

where H = supn≥1||v - v n ||. Take the limit as n i→ ∞, (3.31) and (3.32), we obtain 〈v - p, w〉 ≥ 0. By the maximality of B we have p B-10, that is p VI(A, C). Hence, from (a), (b) and (c), we obtain p F.

Finally, we show that p = Π F x0. From x n = Π C n x 0 , we have 〈Jx0 - Jx n , x n - z〉 ≥ 0, z C n . Since F C n , we also have
J x 0 - J x n , x n - y 0 , y F .
Taking limit n → ∞, we obtain
J x 0 - J p , p - y 0 , y F .

By Lemma 2.5, we can conclude that p = Π F x0 and x n p as n → ∞. This completes the proof.   □

If S i = S for each i , then Theorem 3.1 is reduced to the following corollary.

Corollary 3.2. Let C be a nonempty closed and convex subset of a 2-uniformly convex and uniformly smooth Banach space E. For each j = 1, 2, ..., m let f j be a bifunction from C × C to which satisfies conditions (A1)-(A4), B j : CE* be a continuous and monotone mapping and φ j : C be a lower semicontinuous and convex function. Let A be an α-inverse-strongly monotone mapping of C into E* satisfying ||Ay|| ≤ ||Ay - Au||, y C and u VI(A, C) ≠ . Let S : CC be a closed L-Lipschitz continuous and quasi-ϕ-asymptotically nonexpansive mappings with a sequence {k n } [1, ∞), k n → 1 such that F : = F ( S ) ( j = 1 m GMEP ( f j , B j , φ j ) ) VI ( A , C ) is a nonempty and bounded subset in C. For an initial point x0 E with x 1 = Π C 1 x 0 and C1 = C, we define the sequence {x n } as follows:
v n = Π C J - 1 ( J x n - λ n A x n ) , z n = J - 1 ( α n J x n + ( 1 - α n ) J S n v n ) , y n = J - 1 ( β n J x n + ( 1 - β n ) J z n ) , u n = T r m , n Q m T r m - 1 , n Q m - 1 T r 2 , n Q 2 T r 1 , n Q 1 y n , C n + 1 = { z C n : ϕ ( z , u n ) ϕ ( z , x n ) + θ n } , x n + 1 = Π C n + 1 x 0 , n 1 ,
(3.50)

where θ n = supqF(k n - 1)ϕ(q, x n ), {α n }, {β n } are sequences in [0, 1], {r j, n } [d, ∞) for some d > 0 and {λ n } [a, b] for some a, b with 0 < a < b < c2α/ 2, where 1 c c is the 2-uniformly convexity constant of E. If lim infn→∞(1 - β n ) > 0 and lim infn→∞(1 - α n ) > 0, then {x n } converges strongly to p F, where p = Π F x0.

For a special case that i = 1, 2, we can obtain the following results on a pair of quasi-_-asymptotically nonexpansive mappings immediately from Theorem 3.1.

Corollary 3.3. Let C be a nonempty closed and convex subset of a 2-uniformly convex and uniformly smooth Banach space E. For each j = 1, 2, ..., m let f j be a bifunction from C × C to which satisfies conditions (A1)-(A4), B j : CE* be a continuous and monotone mapping and φ j : C be a lower semicontinuous and convex function. Let A be an α-inversestrongly monotone mapping of C into E* satisfying ||Ay|| ≤ ||Ay - Au||, y C and u VI(A, C) ≠ . Let S, T : CC be two closed quasi-ϕ-asymptotically nonexpansive mappings and L S , L T -Lipschitz continuous, respectively with a sequence {k n } [1, ∞), k n → 1 such that F : = F ( S ) F ( T ) ( j = 1 m GMEP ( f j , B j , φ j ) ) VI ( A , C ) is a nonempty and bounded subset in C. For an initial point x0 E with x 1 = Π C 1 x 0 and C1 = C, we define the sequence {x n } as follows:
v n = Π C J - 1 ( J x n - λ n A x n ) , z n = J - 1 ( α n J x n + β n J S n v n + γ n J T n v n ) , y n = J - 1 ( δ n J x n + ( 1 - δ n ) J z n ) , u n = T r m , n Q m T r m - 1 , n Q m - 1 T r 2 , n Q 2 T r 1 , n Q 1 y n , C n + 1 = { z C n : ϕ ( z , u n ) ϕ ( z , x n ) + θ n } , x n + 1 = Π C n + 1 x 0 , n 0 ,
(3.51)

where θ n = supqF(k n - 1)ϕ(q, x n ), {α n }, {β n }, {γ n } and {δ n } are sequences in [0, 1], {r j, n } [d, ∞) for some d > 0 and {λ n } [a, b] for some a, b with 0 < a < b < c2α/ 2, where 1 c is the 2-uniformly convexity constant of E. If α n + β n + γ n = 1 for all n ≥ 0 and lim infn →∞α n β n > 0, lim infn →∞α n γ n > 0, lim infn →∞β n γ n > 0 and lim infn →∞(1 - δ n ) > 0, then {x n } converges strongly to p F, where p = Π F x0.

Corollary 3.4. Let C be a nonempty closed and convex subset of a 2-uniformly convex and uniformly smooth Banach space E. For each j = 1, 2, ..., m let f j be a bifunction from C × C to which satisfies conditions (A1)-(A4), B j : CE* be a continuous and monotone mapping and φ j : C be a lower semicontinuous and convex function. Let A be an α-inverse-strongly monotone mapping of C into E* satisfying ||Ay|| ≤ ||Ay - Au||, y C and u