# Strong convergence theorems for a common point of solution of variational inequality, solutions of equilibrium and fixed point problems

## Abstract

We introduce an iterative process which converges strongly to a common point of solution of variational inequality problem for continuous monotone mapping, solution of equilibrium problem and a common fixed point of finite family of asymptotically regular uniformly continuous relatively asymptotically nonexpansive mappings in Banach spaces. Our scheme does not involve computation of Cn+1from C n for each n ≥ 1. Our theorems improve and unify most of the results that have been proved for this important class of nonlinear operators.

Mathematics Subject Classification (2000): 47H05, 47H09, 47H10, 47J05, 47J25

## Introduction

Let E be a real Banach space with dual E*. A normalized duality mapping J: E → 2E*is defined by

$Jx:=\phantom{\rule{2.77695pt}{0ex}}\left\{{f}^{*}\in {E}^{*}:\phantom{\rule{2.77695pt}{0ex}}⟨x,\phantom{\rule{2.77695pt}{0ex}}{f}^{*}⟩\phantom{\rule{2.77695pt}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}||x|{|}^{2}=\phantom{\rule{2.77695pt}{0ex}}||\phantom{\rule{2.77695pt}{0ex}}{f}^{*}||2\right\},$

where 〈., .〉 denotes the generalized duality pairing. It is well known that E is smooth if and only if J is single-valued and if E is uniformly smooth then J is uniformly continuous on bounded subsets of E. Moreover, if E is a reflexive and strictly convex Banach space with a strictly convex dual, then J-1 is single-valued, one-to-one, surjective, and it is the duality mapping from E* into E and thus JJ-1 = IE*and J-1J = I E (see ).

Throughout this article, we denote by ϕ: E × E the function defined by

$\varphi \left(y,x\right)=\phantom{\rule{2.77695pt}{0ex}}||y|{|}^{2}-2⟨y,Jx⟩+||x|{|}^{2},\phantom{\rule{1em}{0ex}}\mathsf{\text{for}}\phantom{\rule{2.77695pt}{0ex}}x,y\in E,$
(1.1)

which was studied by Alber , Kamimula and Takahashi , and Reich . It is obvious from the definition of the function ϕ that

${\left(\phantom{\rule{2.77695pt}{0ex}}||x||-||\phantom{\rule{2.77695pt}{0ex}}y||\right)}^{2}\le \varphi \left(x,y\right)\le {\left(||\phantom{\rule{2.77695pt}{0ex}}x||\phantom{\rule{2.77695pt}{0ex}}+||\phantom{\rule{2.77695pt}{0ex}}y||\right)}^{2},\phantom{\rule{1em}{0ex}}\mathsf{\text{for}}\phantom{\rule{2.77695pt}{0ex}}x,y\in E.$
(1.2)

where J is the normalized duality mapping. We remark that in a Hilbert space H, (1.1) reduces to ϕ(x, y) = ||x - y||2, for any x, y H.

Let C be a nonempty closed and convex subset of a reflexive, strictly convex and smooth Banach space E. The generalized projection mapping, introduced by Alber , is a mapping ΠC: EC that assigns to an arbitrary point x E the minimum point of the functional ϕ(y, x), i.e., ${\prod }_{C}x=\stackrel{̄}{x}$, where $\stackrel{̄}{x}$ is the solution to the minimization problem

$\varphi \left(\stackrel{̄}{x},\phantom{\rule{2.77695pt}{0ex}}x\right)=\mathsf{\text{min}}\left\{\varphi \left(y,\phantom{\rule{2.77695pt}{0ex}}x\right),y\in C\right\}.$
(1.3)

A mapping A: D(A) EE is said to be monotone if for each x, y D(A), the following inequality holds:

$⟨x-y,\phantom{\rule{0.3em}{0ex}}Ax-Ay⟩\ge 0.$
(1.4)

A is said to be γ-inverse strongly monotone if there exists positive real number γ such that

$⟨x-y,Ax-Ay⟩\ge \gamma ||Ax-Ay|{|}^{2},\phantom{\rule{1em}{0ex}}\mathsf{\text{for}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{all}}\phantom{\rule{2.77695pt}{0ex}}x,y\in D\left(A\right).$
(1.5)

Suppose that A is monotone mapping from C E into E*. The variational inequality problem is formulated as finding

(1.6)

The set of solutions of the variational inequality problem is denoted by VI(C, A).

Variational inequalities were initially studied by Stampacchia  and ever since have been widely studied. Such a problem is connected with the convex minimization problem, the complementarity problem, the problem of finding a point u C satisfying 0 Au. If E = H, a Hilbert space, one method of solving a point u VI(C, A) is the projection algorithm which starts with any point x0 = x C and updates iteratively as xn+1according to the formula

${x}_{n+1}={P}_{C}\left({x}_{n}-{\alpha }_{n}A{x}_{n}\right),\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\mathsf{\text{for}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{any}}\phantom{\rule{2.77695pt}{0ex}}n\ge 0,$
(1.7)

where P C is the metric projection from H onto C and {α n } is a sequence of positive real numbers. In the case that A is γ-inverse strongly monotone, Iiduka, Takahashi and Toyoda  proved that the sequence {x n } generated by (1.7) converges weakly to some element of VI(C, A).

When the space E is more general than a Hilbert spaces, Iduka and Takahashi  introduced the following iteration scheme for finding a solution of the variational inequality problem for an γ-inverse strongly monotone operator A in 2-uniformly convex and uniformly smooth spaces

${x}_{n+1}={\prod }_{C}{J}^{-1}\left(J{x}_{n}-{\alpha }_{n}A{x}_{n}\right),\phantom{\rule{1em}{0ex}}\mathsf{\text{for}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{any}}\phantom{\rule{2.77695pt}{0ex}}n\ge \mathsf{\text{0}},$
(1.8)

where Π C is the generalized projection from E onto C, J is the normalized 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.8) converges weakly to some element of VI(C, A).

Our concern now is the following: Is it possible to construct a sequence {x n } which converges strongly to some point of VI(C, A)?

In this connection, when E = H, a Hilbert space and A is γ-inverse strongly monotone, Iiduka, Takahashi and Toyoda  studied the following iterative scheme:

$\left\{\begin{array}{c}{x}_{0}\in C,\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{chosen}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{arbitrary,}}\hfill \\ {y}_{n}\phantom{\rule{2.77695pt}{0ex}}={P}_{C}\left({x}_{n}-{\alpha }_{n}A{x}_{n}\right),\hfill \\ {C}_{n}\phantom{\rule{2.77695pt}{0ex}}=\left\{z\in C:||{y}_{n}-\phantom{\rule{2.77695pt}{0ex}}z||\phantom{\rule{2.77695pt}{0ex}}\le \phantom{\rule{2.77695pt}{0ex}}||\phantom{\rule{2.77695pt}{0ex}}{x}_{n}-z||\right\},\hfill \\ {Q}_{n}\phantom{\rule{2.77695pt}{0ex}}=\left\{z\in C:⟨{x}_{n}-z,\phantom{\rule{2.77695pt}{0ex}}{x}_{0}-\phantom{\rule{2.77695pt}{0ex}}{x}_{n}⟩\ge 0\right\},\hfill \\ {x}_{n+1}=\phantom{\rule{2.77695pt}{0ex}}{P}_{{C}_{n}\cap {Q}_{n}}\left({x}_{0}\right),n\ge 0,\hfill \end{array}\right\$
(1.9)

where {α n } is a sequence in [0, 2γ]. They proved that the sequence {x n } generated by (1.9) converges strongly to PVI(C, A)(x0), where PVI(C, A)is the metric projection from H onto VI(C, A).

In the case that E is 2-uniformly convex and uniformly smooth Banach space, Iiduka and Takahashi  studied the following iterative scheme for a variational inequality problem for γ-inverse strongly monotone mapping A:

$\left\{\begin{array}{c}{x}_{0}\in C,\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{chosen}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{arbitrary}},\hfill \\ {y}_{n}=\phantom{\rule{2.77695pt}{0ex}}{\text{Π}}_{C}{J}^{-1}\left(J{x}_{n}-\phantom{\rule{2.77695pt}{0ex}}{\alpha }_{n}A{x}_{n}\right),\hfill \\ {C}_{n}\phantom{\rule{2.77695pt}{0ex}}=\left\{z\in E:\phantom{\rule{2.77695pt}{0ex}}\varphi \left(z,{y}_{n}\right)\le \varphi \left(z,{x}_{n}\right)\right\},\hfill \\ {Q}_{n}\phantom{\rule{2.77695pt}{0ex}}=\left\{z\in E:⟨{x}_{n}-z,\phantom{\rule{2.77695pt}{0ex}}J{x}_{0}-J{x}_{n}⟩\ge 0\right\},\hfill \\ {x}_{n+1}\phantom{\rule{2.77695pt}{0ex}}={\text{Π}}_{{C}_{n}\cap {Q}_{n}}\left({x}_{0}\right),n\ge 0,\hfill \end{array}\right\$
(1.10)

where ${\text{Π}}_{{C}_{n}\cap {Q}_{n}}$ is the generalized projection from E onto C n Q n , J is the duality mapping from E into E and {α n } is a positive real sequence satisfying certain condition. Then, they proved that the sequence {x n } converges strongly to an element of VI(C, A) provided that VI(C, A) ≠ and A satisfies ||A y || ≤ ||A y - A u ||, for all y C, = and u VI(C, A).

Remark 1.1. We remark that the computation of xn+1in their algorithms is not simple because of the involvement of computation of Cn+1from C n and Q n , for each n ≥ 0.

Let C be a nonempty, closed and convex subset of a real Banach space E with dual E*. Let T be a mapping from C into itself. An element p C is called a fixed point of T if T (p) = p. The set of fixed points of T is denoted by F(T). A point p in C is said to be an asymptotic fixed point of T (see ) if C contains a sequence {x n } which converges weakly to p such that $\underset{n\to \infty }{\mathsf{\text{lim}}}||{x}_{n}-T{x}_{n}||\phantom{\rule{2.77695pt}{0ex}}=0$. The set of asymptotic fixed points of T will be denoted by $\stackrel{⌢}{F}\left(T\right)$. A mapping T from C into itself is said to be nonexpansive if ||Tx - Ty|| ≤ ||x - y||, for each x, y C, and is called relatively nonexpansive if (R1) F (T) ≠ (R2) ϕ(p, Tx) ≤ ϕ(p, x), for x C and (R3) $F\left(T\right)=\stackrel{⌢}{F}\left(T\right)$. T is called relatively quasi-nonxpansive if F(T) = and ϕ(p, T x ) ≤ ϕ(p, x), for all x C, and p F(T).

A mapping T from C into itself is said to be asymptotically nonexpansive if there exists {k n } [1, ∞) such that k n → 1 and ||Tnx-Tny|| ≤ k n ||x - y||, for each x, y C, and is called relatively asymptotically nonexpansive if there exists {k n } [1, ∞) such that (N1) F (T) ≠ (N2) ϕ(p, Tnx) ≤ k n ϕ(p, x), for x C, and (N3) $F\left(T\right)=\stackrel{⌢}{F}\left(T\right)$, where k n → 1, as n. T is called relatively asymptotically quasinonxpansive if there exist {k n } [1, ∞) and F(T) = such that ϕ(p, Tnx) ≤ k n ϕ(p, x), for x C, and p F(T), where k n → 1, as n → ∞. A mapping T from C into itself is said to be ϕ-nonexpansive (nonextensive ) if ϕ(Tx, Ty) ≤ ϕ(x, y) for all x, y C and it is called ϕ-asymptotically nonexpansive if there exists {k n } [1, ∞) such that ϕ(Tnx, Tny) ≤ k n ϕ(x, y), for all x, y C, where k n → 1, as →∞. A self-mapping on C is called asymptotically regular on C, if for any bounded subset $\stackrel{̄}{C}$ of C, there holds the following equality:

T is called closed if x n x and Tx n y, then Tx = y.

Clearly, the class of relatively asymptotically nonexpansive mappings contains the class of relatively nonexpansive mappings.

It is well known that, in an infinite-dimensional Hilbert space, the normal Mann's iterative  algorithm has only weak convergence, in general, even for nonexpansive mappings. Consequently, to obtain strong convergence, some modifications of the normal Mann's iteration algorithm has been introduced. The so-called hybrid projection iteration algorithm (HPIA) is one of such modifications, which was introduced by Haugazeau  in 1968. Since then, there has been a lot of activity in this area and several modifications appeared. For details, the readers are referred to papers  and the references therein.

In 2003, Nakajo and Takahashi  proposed the following modification of the Mann iteration method for a nonexpansive mapping T in a Hilbert space H:

$\left\{\begin{array}{c}{x}_{0}\in C,\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{chosen}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{arbitrary}},\hfill \\ {y}_{n}=\phantom{\rule{2.77695pt}{0ex}}{\alpha }_{n}{x}_{n}+\phantom{\rule{2.77695pt}{0ex}}\left(1-\phantom{\rule{2.77695pt}{0ex}}{\alpha }_{n}\right)T{x}_{n},\hfill \\ {C}_{n}\phantom{\rule{2.77695pt}{0ex}}=\left\{z\in C:||\phantom{\rule{2.77695pt}{0ex}}{y}_{n}-\phantom{\rule{2.77695pt}{0ex}}z||\phantom{\rule{2.77695pt}{0ex}}\le \phantom{\rule{2.77695pt}{0ex}}||{x}_{n}-\phantom{\rule{2.77695pt}{0ex}}z||\right\},\hfill \\ {Q}_{n}\phantom{\rule{2.77695pt}{0ex}}=\left\{z\in C\phantom{\rule{2.77695pt}{0ex}}:⟨{x}_{n}-z,\phantom{\rule{2.77695pt}{0ex}}{x}_{0}-\phantom{\rule{2.77695pt}{0ex}}{x}_{n}⟩\ge 0\right\},\hfill \\ {x}_{n+1}={\text{Π}}_{{C}_{n}\cap {Q}_{n}}\left({x}_{0}\right),n\ge 0,\hfill \end{array}\right\$
(1.11)

where C is a closed convex subset of H, Π C is the generalized metric projection from E onto C. They proved that if the sequence {α n } is bounded above from one then the sequence {x n } generated by (1.11) converges strongly to PF(T)(x0), where F(T) denote the fixed points set of T.

In spaces more general than Hilbert spaces, Matsushita and Takahashi  proposed the following hybrid iteration method with generalized projection for relatively nonexpansive mapping T in a Banach space E:

$\left\{\begin{array}{c}{x}_{0}\in C,\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{chosen}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{arbitrary,}}\hfill \\ {y}_{n}\phantom{\rule{2.77695pt}{0ex}}={J}^{-1}\left({\alpha }_{n}J{x}_{n}+\left(1-\phantom{\rule{2.77695pt}{0ex}}{\alpha }_{n}\right)JT{x}_{n}\right),\hfill \\ {C}_{n}=\phantom{\rule{2.77695pt}{0ex}}\left\{z\in C:\phantom{\rule{2.77695pt}{0ex}}\varphi \left(z,\phantom{\rule{2.77695pt}{0ex}}{y}_{n}\right)<\varphi \left(z,\phantom{\rule{2.77695pt}{0ex}}{x}_{n}\right)\right\},\hfill \\ {Q}_{n}=\phantom{\rule{2.77695pt}{0ex}}\left\{z\in C:⟨{x}_{n}-\phantom{\rule{2.77695pt}{0ex}}z,\phantom{\rule{2.77695pt}{0ex}}J{x}_{0}-\phantom{\rule{2.77695pt}{0ex}}J{x}_{n}⟩\ge 0\right\},\hfill \\ {x}_{n+1}=\phantom{\rule{2.77695pt}{0ex}}{\text{Π}}_{{C}_{n}\cap {Q}_{n}}\left({x}_{0}\right),n\ge 0,\hfill \end{array}\right\$
(1.12)

They proved the following convergence theorem.

Theorem MT. Let E be a uniformly convex and uniformly smooth Banach space, let C be a nonempty closed convex subset of E, let T be a relatively nonexpansive mapping from C into itself, and let {α n } be a sequence of real numbers such that 0 ≤ α n < 1 and lim sup n α n < 1. Suppose that {x n } is given by (1.12), where J is the duality mapping on E. If F(T) is nonempty, then {x n } converges strongly to ΠF(T)x0, where ΠF(T)(.) is the generalized projection from E onto F(T).

Let f: C × C be a bifunction, where is the set of real numbers. The equilibrium problem for f is

$\mathsf{\text{finding}}\phantom{\rule{2.77695pt}{0ex}}{x}^{*}\in C\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{such}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{that}}\phantom{\rule{2.77695pt}{0ex}}f\left({x}^{*},y\right)\ge 0,\phantom{\rule{1em}{0ex}}\forall y\in C.$
(1.13)

The solution set of (1.13) is denoted by EP(f).

Numerous problems in physics, optimization and economics reduce to find a solution of (1.13) (see, e.g., [19, 20]). For studying the equilibrium problem (1.13), we 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, $\underset{t\to 0}{\mathsf{\text{lim}}}f\left(tz+\left(1-t\right)x,y\right)\le f\left(x,y\right)$,

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

Recently, many authors have considered the problem of finding a common element of the fixed points set of relatively nonexpansive mapping, the solution set of equilibrium problem and solution set of variational inequality problem for γ-inverse monotone mapping (see, e.g., ). If E is uniformly convex and smooth Banach space, then Aoyama, Kohsaka and Takahashi  constructed a sequence which converges strongly to a common solution of variational inequality problems for two monotone mappings.

Recently, Qin et al.  proved the following result:

Theorem QCK. Let E be a uniformly convex and uniformly smooth Banach space and C be a nonempty closed and convex subset of E.

Let f: C × CR be a bifunction satisfying (A1)-(A4) and let T, S: CC be two closed relatively quasi- nonexpansive mappings such that F = F(T) ∩ F(S) ∩ EP(f) ≠ . Let {x n } be a sequence generated by

$\left\{\begin{array}{c}{C}_{1}=C,\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}{x}_{0}\in C,\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{chosen}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{arbitrary,}}\hfill \\ {y}_{n}=\phantom{\rule{2.77695pt}{0ex}}{J}^{-1}\left({\alpha }_{n}J{x}_{n}+{\beta }_{n}JT{x}_{n}+{\gamma }_{n}JS{x}_{n}\right),\hfill \\ {u}_{n}\in C:\phantom{\rule{2.77695pt}{0ex}}f\left({u}_{n},y\right)+\frac{1}{{r}_{n}}⟨y-{u}_{n},\phantom{\rule{2.77695pt}{0ex}}J{u}_{n}-J{y}_{n}⟩\ge 0,\forall y\in C,\phantom{\rule{2.77695pt}{0ex}}\hfill \\ {C}_{n+1}\phantom{\rule{2.77695pt}{0ex}}=\left\{z\in {C}_{n}:\phantom{\rule{2.77695pt}{0ex}}\varphi \left(z,\phantom{\rule{2.77695pt}{0ex}}{u}_{n}\right)\le \varphi \left(z,\phantom{\rule{2.77695pt}{0ex}}{x}_{n}\right)\right\},\hfill \\ {x}_{n+1}\phantom{\rule{2.77695pt}{0ex}}={\text{Π}}_{{C}_{n+1}}\left({x}_{0}\right),n\ge 0,\hfill \end{array}\right\$
(1.14)

where Π C is the generalized metric projection from E onto C, J is the normalized duality mapping on E, {r n } is a positive sequence and {α n }, {β n } and {γ n } are sequences in 0 satisfying certain conditions. Then {x n } converges strongly to ΠF(x0).

Furthermore, Zegeye and Shahzad  studied the following iterative scheme for common point of solution of a variational inequality problem for γ-inverse strongly monotone mapping A and fixed point of a continuous ϕ-asymptotically nonexpansive mapping S in a 2-uniformly convex and uniformly smooth Banach space E

$\left\{\begin{array}{c}\begin{array}{c}{C}_{0}=\phantom{\rule{2.77695pt}{0ex}}C,\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}{x}_{0}\in C,\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{chosen}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{arbitrary,}}\\ {z}_{n}={\text{Π}}_{C}{J}^{-1}\left(J{x}_{n}-{\lambda }_{n}A{x}_{n}\right),\hfill \end{array}\hfill \\ {y}_{n}=\phantom{\rule{2.77695pt}{0ex}}{J}^{-1}\left({\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{S}^{n}{z}_{n}\right),\hfill \\ {u}_{n}\in C:\phantom{\rule{2.77695pt}{0ex}}f\left({u}_{n},y\right)+\frac{1}{{r}_{n}}⟨y-{u}_{n},\phantom{\rule{2.77695pt}{0ex}}J{u}_{n}-J{y}_{n}⟩\ge 0,\forall y\in C,\phantom{\rule{2.77695pt}{0ex}}\hfill \\ {C}_{n+1}\phantom{\rule{2.77695pt}{0ex}}=\left\{z\in {C}_{n}:\phantom{\rule{2.77695pt}{0ex}}\varphi \left(z,\phantom{\rule{2.77695pt}{0ex}}{u}_{n}\right)\le \varphi \left(z,\phantom{\rule{2.77695pt}{0ex}}{x}_{n}\right)+{\theta }_{n}\right\},\hfill \\ {x}_{n+1}\phantom{\rule{2.77695pt}{0ex}}={\text{Π}}_{{C}_{n+1}}\left({x}_{0}\right),n\ge 0,\hfill \end{array}\right\$
(1.15)

where C is closed, convex and bounded subset of E, ${\theta }_{n}=\left(1-{\alpha }_{n}\right)\left({k}_{n}^{2}-1\right){\left(\mathsf{\text{diam}}\left(C\right)\right)}^{2}$ and {α n }, {λ n } are sequences satisfying certain condition. Then, they proved that the sequence {x n } converges strongly to an element of F: = F(S) ∩ VI(C, A) provided that F ≠ Ø and A satisfies ||Ay|| ≤ ||Ay - Ap||, for all y C and p F. As it is mentioned in , we remark that the computation of xn+1in Algorithms (1.11), (1.12), (1.14) and (1.15) is not simple because of the involvement of computation of Cn+1from C n , for each n ≥ 0.

It is our purpose in this article to introduce an iterative scheme {x n } which converges strongly to a common point of solution of variational inequality problem for continuous monotone mapping, solution of equilibrium problem and a common fixed point of finite family of asymptotically regular uniformly continuous relatively asymptotically nonexpansive mappings in Banach spaces. Our scheme does not involve computation of Cn+1from C n for each n ≥1. Our theorems improve and unify most of the results that have been proved for this important class of nonlinear operators.

## Preliminaries

In the sequel, we shall use of the following lemmas.

Lemma 2.1. Let C be a nonempty closed and convex subset of a real reflexive, strictly convex, and smooth Banach space E and let x E. Then y C,

$\varphi \left(y,{\text{Π}}_{C}x\right)+\varphi \left(\phantom{\rule{0.3em}{0ex}}{\text{Π}}_{C}x,\phantom{\rule{2.77695pt}{0ex}}x\right)\le \varphi \left(y,x\right).$

Lemma 2.2. Let E be a real smooth and uniformly convex Banach space and let {x n } and {y n } be two sequences of E. If either {x n } or {y n } is bounded and ϕ(x n , y n ) → 0, as n → ∞, then x n - y n 0, as n → ∞.

Lemma 2.3. Let C be a convex subset of a real smooth Banach space E. Let x E. Then x0 = ΠCx if and only if

$⟨z-{x}_{0},Jx-J{x}_{0}⟩\le 0,\phantom{\rule{2.77695pt}{0ex}}\forall z\in C.$

We make use of the function V: E × E* → defined by

studied by Alber , i.e., V(x, x*) = ϕ(x, J-1x*), for all x E and x* E*.

We know the following lemma related to the function V.

Lemma 2.4. Let E be reflexive strictly convex and smooth Banach space with E* as its dual. Then

$V\left(x,\phantom{\rule{2.77695pt}{0ex}}{x}^{*}\right)+2⟨{{J}^{-}}^{1}{x}^{*}-\phantom{\rule{2.77695pt}{0ex}}x,{y}^{*}⟩\le V\left(x,\phantom{\rule{2.77695pt}{0ex}}{x}^{*}+{y}^{*}\right),$

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

Lemma 2.5. Let E be a uniformly convex Banach space and B R (0) be a closed ball of E. Then, there exists a continuous strictly increasing convex function g: [0, ) → [0, ) with g(0) = 0 such that$||{\alpha }_{0}{x}_{0}+{\alpha }_{1}{x}_{1}+{\alpha }_{2}{x}_{2}+\dots +{\alpha }_{k}{x}_{k}|{|}^{2}\le \sum _{i=0}^{k}{\alpha }_{i}||{x}_{i}|{|}^{2}-{\alpha }_{i}{\alpha }_{j}g\left(||{x}_{i}-{x}_{j}||\right)$, for 0 ≤ ijk, and each α i (0, 1), where x i B R (0): = {x E: ||x|| ≤ R}, i = 0, 1, 2, . . . , k with$\sum _{i=0}^{k}{\alpha }_{i}=1$.

Proposition 2.6. Let E be uniformly convex and uniformly smooth Banach space, let C be closed convex subset of E, and let S be closed relatively asymptotically nonexpansive mapping from C into itself. Then F(S) is closed and convex.

Lemma 2.7. Let C be a nonempty, closed and convex subset of a uniformly smooth, strictly convex and reflexive real Banach space E. Let f be a bifunction from C × C to which satisfies conditions (A 1 )-(A 4 ). For r > 0 and x E, define the mapping T r : E → C as follows:

${T}_{r}x:=\left\{z\in C:f\left(z,\phantom{\rule{2.77695pt}{0ex}}y\right)+\frac{1}{r}⟨y-z,Jz-Jx⟩\ge 0,\forall y\in C\right\}.$

Then the following statements hold:

1. (1)

T r is single-valued;

2. (2)

F(T r ) = EP(f);

3. (3)

ϕ(q, T r x) + ϕ(T r x, x) ≤ ϕ(q, x), for q F(T r ).

4. (4)

EP(f) is closed and convex;

Lemma 2.8. Let C be a nonempty, closed and convex subset of a smooth, strictly convex and reflexive real Banach space E. Let A: C → E* be a continuous monotone mapping. For r > 0 and x E, define the mapping F r : E → C as follows:

${F}_{r}x=\left\{z\in C:⟨y-z,Az⟩+\frac{1}{r}⟨y-z,Jz-Jx⟩\ge 0,\forall y\in C\right\}.$

Then conclusions (1)-(4) of Lemma 2.7 hold.

Lemma 2.9. Let {a n } be a sequence of nonnegative real numbers satisfying the following relation:

${a}_{n+1}\le \left(1-{\beta }_{n}\right){a}_{n}+{\beta }_{n}{\delta }_{n},n\ge {n}_{0},\phantom{\rule{1em}{0ex}}for\phantom{\rule{2.77695pt}{0ex}}some\phantom{\rule{2.77695pt}{0ex}}{n}_{0}\in ℕ,$

where {β n } (0,1) and {δ n } R satisfying the following conditions:

Lemma 2.10. Let {a n } be sequences of real numbers such that there exists a subsequence {n i } of {n} such that${a}_{{n}_{i}}<{a}_{{n}_{i}+1}$for all i . Then there exists a nondecreasing sequence {m k } such that m k → ∞ and the following properties are satisfied by all (sufficiently large) numbers k :

${a}_{{m}_{k}}\le {a}_{{m}_{k}+1}\phantom{\rule{2.77695pt}{0ex}}and\phantom{\rule{2.77695pt}{0ex}}{a}_{k}\le {a}_{{m}_{k}+1}.$

In fact, m k = max{jk: a j < aj+1}.

## Main result

Let C be a nonempty, closed and convex subset of a smooth, strictly convex and reflexive real Banach space E with dual E*. Let f: C × C be a bifunction and A: CE* be a continuous monotone mapping. For the rest of this article, ${T}_{{r}_{n}}x$ and ${F}_{{r}_{n}}x$ are mappings defined as follows: For x E, let ${F}_{{r}_{n}}$, ${T}_{{r}_{n}}:E\to C$ be given by

${F}_{{r}_{n}}x:=\left\{z\in C:⟨y-z,Az⟩+\frac{1}{{r}_{n}}⟨y-z,Jz-Jx⟩\ge 0,\forall y\in C\right\},$

and

${T}_{{r}_{n}}x:\left\{z\in C:f\left(z,y\right)+\frac{1}{{r}_{n}}⟨y-z,Jz-Jx⟩\ge 0,\forall y\in C\right\},$

where {r n }n [c1,∞) for some c1 > 0.

Theorem 3.1. Let C be a nonempty, closed and convex subset of a uniformly smooth and uniformly convex real Banach space E. Let f: C × C → be a bifunction which satisfies conditions (A1)-(A4). Let A: C →E* be a continuously monotone mapping. Let T i : CC be a asymptotically regular uniformly continuous relatively asymptotically nonexpansive mapping with sequence {kn, i} for i = 1, 2, . . . , N. Assume that$F:={\cap }_{i=1}^{N}F\left({T}_{i}\right)\cap VI\left(C,A\right)\cap EP\left(f\right)$is nonempty. Let {x n } be a sequence generated by

$\left\{\begin{array}{c}{x}_{0}=\phantom{\rule{2.77695pt}{0ex}}w\in C,\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrarity,\hfill \\ {u}_{n}={F}_{{r}_{n}}{x}_{n},\hfill \\ {w}_{n}=\phantom{\rule{2.77695pt}{0ex}}{T}_{{r}_{n}}{u}_{n},\hfill \\ {y}_{n}=\phantom{\rule{2.77695pt}{0ex}}{\text{Π}}_{C}{J}^{-1}\left({\alpha }_{n}Jw+\phantom{\rule{2.77695pt}{0ex}}\left(1\mathsf{\text{-}}{\alpha }_{n}\right)J{w}_{n}\right),\hfill \\ {x}_{n+1}=\phantom{\rule{2.77695pt}{0ex}}{J}^{-1}\left({\beta }_{n,0}J{w}_{n}+{\sum }_{i=1}^{N}{\beta }_{n,i}J{T}_{i}^{n}{y}_{n}\right),n\ge 0,\hfill \end{array}\right\$
(3.1)

where α n (0,1) such that limn→∞αn = 0, ${\mathsf{\text{lim}}}_{n\to \infty }\frac{\left({k}_{n,i}-1\right)}{{\alpha }_{n}}=0$, ${\sum }_{n=1}^{\infty }{\alpha }_{n}=\infty$, {βn, i} [a, b] (0, 1), for i = 1, 2, . . . , N, satisfying βn,0+ βn,1+ · · · + βn, N= 1, for each n ≥ 0. Then {x n } converges strongly to an element of F.

Proof. Since F is nonempty closed and convex, put x*: = Π F w. Now, from (3.1), Lemmas 2.1, 2.7(3), 2.8(3) and property of ϕ we get that

$\begin{array}{cc}\hfill \varphi \left({x}^{*},{y}_{n}\right)& =\varphi \left({x}^{*},{\text{Π}}_{C}{J}^{-1}\left({\alpha }_{n}Jw+\left(1-{\alpha }_{n}\right)J{w}_{n}\right)\hfill \\ \le \varphi \left({x}^{*},{J}^{-1}\left({\alpha }_{n}Jw+\left(1-{\alpha }_{n}\right)J{w}_{n}\right)\hfill \\ =\phantom{\rule{2.77695pt}{0ex}}||{x}^{*}|{|}^{2}-2⟨{x}^{*},{\alpha }_{n}Jw+\left(1-{\alpha }_{n}\right)J{w}_{n}⟩\hfill \\ \phantom{\rule{1em}{0ex}}+||{\alpha }_{n}Jw+\left(1-{\alpha }_{n}\right)J{w}_{n}|{|}^{2}\hfill \\ \le \phantom{\rule{2.77695pt}{0ex}}||{x}^{*}|{|}^{2}-2{\alpha }_{n}⟨{x}^{*},Jw⟩-2\left(1-{\alpha }_{n}\right)⟨{x}^{*},J{w}_{n}⟩\hfill \\ \phantom{\rule{1em}{0ex}}+{\alpha }_{n}||Jw|{|}^{2}+\left(1-{\alpha }_{n}\right)||J{W}_{n}|{|}^{2},\hfill \\ ={\alpha }_{n}\varphi \left({x}^{*},w\right)+\left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{w}_{n}\right)\hfill \\ ={\alpha }_{n}\varphi \left({x}^{*},w\right)+\left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{T}_{{r}_{n}}{u}_{n}\right)\hfill \\ \le {\alpha }_{n}\varphi \left({x}^{*},w\right)+\left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{u}_{n}\right)\hfill \\ ={\alpha }_{n}\varphi \left({x}^{*},w\right)+\left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{F}_{{r}_{n}}{x}_{n}\right)\hfill \\ \le {\alpha }_{n}\varphi \left({x}^{*},w\right)+\left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{x}_{n}\right).\hfill \end{array}$
(3.2)

Let k n : = max{kn, i: i = 1, 2, . . . , N}. Then, from (3.1), Lemma 2.7(3), Lemma 2.8(3), relatively asymptotic nonexpansiveness of T i , property of ϕ and (3.2) we have that

(3.3)

where δ n = (1 - βn,0)k n α n , since for some ϵ > 0, there exists N0 > 0 such that $\frac{\left({k}_{n}-1\right)}{{\alpha }_{n}}\le ϵ{k}_{n}$ and (1 - ϵ)δ n ≤ 1, for all nN0. Thus, by induction

$\varphi \left({x}^{*},{x}_{n+1}\right)\le \mathsf{\text{max}}\left\{\varphi \left({x}^{*},\phantom{\rule{2.77695pt}{0ex}}{x}_{{N}_{0}}\right),{\left(1-ϵ\right)}^{-1}\varphi \left({x}^{*},w\right)\right\},\phantom{\rule{1em}{0ex}}\forall n\ge {N}_{0}.$

which implies that {x n } is bounded and hence {y n }, {u n } and {w n } are bounded. Now let z n = J-1(α n Jw + (1 - α n )Jw n ). Then we have that y n = ΠCzn. Using Lemmas 2.1, 2.4, and property of ϕ we obtain that

$\begin{array}{cc}\hfill \varphi \left({x}^{*},{y}_{n}\right)& \le \varphi \left({x}^{*},{z}_{n}\right)=V\left({x}^{*},J{z}_{n}\right)\hfill \\ \le \phantom{\rule{2.77695pt}{0ex}}V\left({x}^{*},J{z}_{n}-{\alpha }_{n}\left(Jw-J{x}^{*}\right)\right)-2⟨{z}_{n}-{x}^{*},{\alpha }_{n}\left(Jw-J{x}^{*}\right)⟩\hfill \\ =\varphi \left({x}^{*},{J}^{-1}\left({\alpha }_{n}J{x}^{*}+\left(1-{\alpha }_{n}\right)J{w}_{n}\right)\right)+2{\alpha }_{n}⟨{z}_{n}-{x}^{*},Jw-J{x}^{*}⟩\hfill \\ \le \phantom{\rule{2.77695pt}{0ex}}{\alpha }_{n}\varphi \left({x}^{*},{x}^{*}\right)+\left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{w}_{n}\right)+2{\alpha }_{n}⟨{z}_{n}-\phantom{\rule{2.77695pt}{0ex}}{x}^{*},Jw-J{x}^{*}⟩\hfill \\ =\left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{w}_{n}\right)+2{\alpha }_{n}⟨{z}_{n}-\phantom{\rule{2.77695pt}{0ex}}{x}^{*},Jw-J{x}^{*}⟩\hfill \\ \le \left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{u}_{n}\right)+2{\alpha }_{n}⟨{z}_{n}-\phantom{\rule{2.77695pt}{0ex}}{x}^{*},Jw-J{x}^{*}⟩\hfill \\ \le \left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{x}_{n}\right)+2{\alpha }_{n}⟨{z}_{n}-\phantom{\rule{2.77695pt}{0ex}}{x}^{*},Jw-J{x}^{*}⟩.\hfill \end{array}$
(3.4)

Furthermore, from (3.1), Lemma 2.5, relatively asymptotic nonexpansiveness of T i , for each i = 1, 2, . . . , N, Lemmas 2.7(3), (3.4), and 2.8(3) we have that

$\begin{array}{cc}\hfill \varphi \left({x}^{*},{x}_{n+1}\right)& =\varphi \left({x}^{*},{J}^{-1}\left({\beta }_{n,0}J{w}_{n}+\sum _{k=1}^{N}{\beta }_{n,i}J{T}_{i}^{n}{y}_{n}\right)\right)\hfill \\ \le {\beta }_{n,0}\varphi \left({x}^{*},{w}_{n}\right)+\sum _{i=1}^{N}{\beta }_{n,i}\varphi \left({x}^{*},{T}_{i}^{n}{y}_{n}\right)\hfill \\ \phantom{\rule{1em}{0ex}}-{\beta }_{n,0}{\beta }_{n,i}g\phantom{\rule{2.77695pt}{0ex}}\left(||J{w}_{n}\phantom{\rule{2.77695pt}{0ex}}J{T}_{i}^{n}{y}_{n}||\right),\hfill \end{array}$

for each i = 1, 2, . . . , N. This implies that

$\begin{array}{c}\phantom{\rule{1em}{0ex}}\phantom{\rule{0.3em}{0ex}}\varphi \left({x}^{*},{x}_{n+1}\right)\hfill \\ \le {\beta }_{n,0}\varphi \left({x}^{*},{w}_{n}\right)+\left(1-{\beta }_{n,0}\right){k}_{n}\varphi \left({x}^{*},{y}_{n}\right)\hfill \\ \phantom{\rule{1em}{0ex}}-{\beta }_{n,0}{\beta }_{n,i}g\left(||J{w}_{n}-J{T}_{i}^{n}{y}_{n}||\right)\hfill \\ \le {\beta }_{n,0}\left(\varphi \left({x}^{*},{u}_{n}\right)-\varphi \left({w}_{n},{u}_{n}\right)\right)+\left(1+{\beta }_{n,0}\right)\varphi \left({x}^{*},{y}_{n}\right)\hfill \\ \phantom{\rule{1em}{0ex}}+\left(1-{\beta }_{n,0}\right)\left({k}_{n}-1\right)\varphi \left({x}^{*},{y}_{n}\right)-{\beta }_{n,0}{\beta }_{n,i}g\left(||J{w}_{n}-J{T}_{i}^{n}{y}_{n}||\right)\hfill \\ \le {\beta }_{n,0}\left(\varphi \left({x}^{*},{x}_{n}\right)-\varphi \left({u}_{n},{x}_{n}\right)\right)-{\beta }_{n,0}\varphi \left({w}_{n},{u}_{n}\right)+\left(1-{\beta }_{n,0}\right)\varphi \left({x}^{*},{y}_{n}\right)\hfill \\ \phantom{\rule{1em}{0ex}}+\left(1-{\beta }_{n,0}\right)\left({k}_{n}-1\right)\varphi \left({x}^{*},{y}_{n}\right)-{\beta }_{n,0}{\beta }_{n,i}g\left(||J{w}_{n}-J{T}_{i}^{n}{y}_{n}||\right),\hfill \\ \le {\beta }_{n,0}\varphi \left({x}^{*},{x}_{n}\right)-{\beta }_{n,0}\left(\varphi \left({u}_{n},{x}_{n}\right)+\varphi \left({w}_{n},{u}_{n}\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}+\left(1-{\beta }_{n,0}\right)\left[\left(1-{\alpha }_{n}\right)\varphi \left({x}^{*},{x}_{n}\right)+2{\alpha }_{n}⟨{z}_{n}-{x}^{*},Jw-J{x}^{*}⟩\right]\hfill \\ \phantom{\rule{1em}{0ex}}+\left(1-{\beta }_{n,0}\right)\left({k}_{n}-1\right)\varphi \left({x}^{*},{y}_{n}\right)-{\beta }_{n,0}{\beta }_{n,i}g\left(||J{w}_{n}\phantom{\rule{2.77695pt}{0ex}}-J{T}_{i}^{n}{y}_{n}||\right),\hfill \end{array}$

and hence

$\begin{array}{c}\phantom{\rule{1em}{0ex}}\varphi \left({x}^{*},{x}_{n+1}\right)\\ \le \left(1-{\theta }_{n}\right)\varphi \left({x}^{*},{x}_{n}\right)+2{\theta }_{n}⟨{z}_{n}-{x}^{*},Jw-J{x}^{*}⟩+\left({k}_{n}-1\right)M\\ -{\beta }_{n,0}\left(\varphi \left({u}_{n},{x}_{n}\right)+\varphi \left({w}_{n},{u}_{n}\right)\right)-{\beta }_{n,0}{\beta }_{n,i}g\left(||J{w}_{n}-J{T}_{i}^{n}{y}_{n}||\right)\end{array}$
(3.5)
$\le \left(1-{\theta }_{n}\right)\varphi \left({x}^{*},{x}_{n}\right)+2{\theta }_{n}⟨{z}_{n}-{x}^{*},Jw-J{x}^{*}⟩+\left({k}_{n}-1\right)M,$
(3.6)

for some M > 0, where θ n : = α n (1 - βn,0), for all n . Note that θ n satisfies $\underset{n}{\mathsf{\text{lim}}}{\theta }_{n}=0$ and ${\sum }_{n=1}^{\infty }{\theta }_{n}=\infty$.

Now, the rest of the proof is divided into two parts:

Case 1. Suppose that there exists n0 such that {ϕ(x*, x n )} is nonincreasing for all nn0. In this situation, {{ϕ(x*, x n )} is then convergent. Then from (3.5) we have that ϕ(u n , x n ), ϕ(w n , u n ) → 0 and hence Lemma 2.2 implies that

(3.7)

Moreover, from (3.5) we have that ${{\beta }_{n}}_{,0}{{\beta }_{n}}_{,i}g\left(||J{w}_{n}-J{T}_{i}^{n}{y}_{n}||\phantom{\rule{2.77695pt}{0ex}}\to 0$, for i = 1, 2, . . . , N, which implies by the property of g that $J{w}_{n}-J{T}_{i}^{n}{y}_{n}\to 0$, as n → ∞, and hence, since J-1 uniformly continuous on bounded sets, we obtain that

(3.8)

Furthermore, Lemma 2.1, property of ϕ and the fact that α n → 0, as n → ∞, imply that

(3.9)

and that

(3.10)

Therefore, from (3.7), (3.8), and (3.10) we obtain that

(3.11)

for each i {1, 2, . . . , N}. Therefore, since

$\begin{array}{cc}\hfill ||{y}_{n}-{T}_{i}{y}_{n}||\phantom{\rule{2.77695pt}{0ex}}& \le \phantom{\rule{2.77695pt}{0ex}}||{y}_{n}-{T}_{i}^{n}{y}_{n}||+||{T}_{i}^{n}{y}_{n}-{T}_{i}^{n+1}{y}_{n}||+||{T}_{i}^{n+1}{y}_{n}-{T}_{i}{y}_{n}||,\hfill \\ =\phantom{\rule{2.77695pt}{0ex}}||{y}_{n}\phantom{\rule{2.77695pt}{0ex}}-{T}_{i}^{n}{y}_{n}||+||{T}_{i}^{n}{y}_{n}-{T}_{i}^{n+1}{y}_{n}||+||{T}_{i}\left({T}_{i}^{n}{y}_{n}\right)-{T}_{i}{y}_{n}||,\hfill \end{array}$
(3.12)

we have from (3.11), asymptotic regularity and uniform continuity of T i that

(3.13)

Since {z n } is bounded and E is reflexive, we choose a subsequence $\left\{{z}_{{n}_{i}}\right\}$ of {z n } such that ${z}_{{n}_{i}}⇀z$ and $\underset{n\to \infty }{\mathsf{\text{lim}}\mathsf{\text{sup}}}⟨{z}_{n}-{x}^{*},Jw-J{x}^{*}⟩=\underset{i\to \infty }{\mathsf{\text{lim}}}⟨{z}_{{n}_{i}}-{x}^{*},Jw-J{x}^{*}⟩$. Then, from (3.7), (3.11) and the uniform continuity of J we get that

(3.14)

Now, we show that z VI(C, A). But from the definition of u n we have that

$⟨y-{u}_{n},A{u}_{n}⟩+⟨y-{u}_{n},\frac{J{u}_{n}-J{x}_{n}}{{r}_{n}}⟩\ge 0,\phantom{\rule{1em}{0ex}}\forall y\in C.$
(3.15)

and hence

$⟨y-{u}_{{n}_{i}},A{u}_{{n}_{i}}⟩+⟨y-{u}_{{n}_{i}},\frac{J{u}_{{n}_{i}}-J{x}_{{n}_{i}}}{{r}_{{n}_{i}}}⟩\ge 0,\phantom{\rule{1em}{0ex}}\forall y\in C.$
(3.16)

Set v t = ty + (1 - t)z for all t (0, 1] and y C. Consequently, we get that v t C. Now, from (3.16) it follows that

$\begin{array}{cc}\hfill ⟨{v}_{t}-{u}_{{n}_{i}},A{v}_{t}⟩& \ge ⟨{v}_{t}-{u}_{{n}_{i}},A{v}_{t}⟩-⟨{v}_{t}-{u}_{{n}_{i}},A{u}_{{n}_{i}}⟩\hfill \\ \phantom{\rule{1em}{0ex}}-⟨{v}_{t}-{u}_{{n}_{i}},\frac{J{u}_{{n}_{i}}-J{x}_{{n}_{i}}}{{r}_{{n}_{i}}}⟩\hfill \\ =⟨{v}_{t}-{u}_{{n}_{i}},A{v}_{t}-A{u}_{{n}_{i}}⟩-⟨{v}_{t}-{u}_{{n}_{i}},\frac{J{u}_{{n}_{i}}-J{x}_{{n}_{i}}}{{r}_{{n}_{i}}}⟩.\hfill \end{array}$

But, from (3.14) we have that $\frac{J{u}_{{n}_{i}}-J{x}_{{n}_{i}}}{{r}_{{n}_{i}}}\to 0$, as i → ∞ and the monotonicity of A implies that $\left({v}_{t}-{u}_{{n}_{i}},A{v}_{t}-A{u}_{{n}_{i}}\right)\ge 0$. Thus, it follows that

$0\le \underset{i\to \infty }{\mathsf{\text{lim}}}⟨{v}_{t}-{u}_{{n}_{i}},A{v}_{t}⟩=⟨{v}_{t}-z,A{v}_{t}⟩,$

and hence

$⟨y-z,A{v}_{t}⟩\ge 0,\phantom{\rule{1em}{0ex}}\forall y\in C.$

If t → 0, the continuity of A implies that

$⟨y-z,Az⟩\ge 0,\phantom{\rule{1em}{0ex}}\forall y\in C.$

This implies that z VI(C, A).

Next, we show that z EP(f). From the definition of w n and (A2) we note that

$\frac{1}{{r}_{{n}_{i}}}⟨y-{w}_{{n}_{i}},J{w}_{{n}_{i}}-J{u}_{{n}_{i}}⟩\ge -f\left({w}_{{n}_{i}},y\right)\ge f\left(y,{w}_{{n}_{i}}\right),\phantom{\rule{1em}{0ex}}\forall y\in C.$
(3.17)

Letting i → ∞, we have from (3.14) and (A4) that f(y, z) ≤ 0, for all y C. Now, for 0 < t ≤ 1 and y C, let y t = ty + (1 - t)z. Since y C and z C, we have y t C and hence f(y t , z) ≤ 0. So, from the convexity of the equilibrium bifunction f(x, y) on the second variable y, we have

$0=f\left({y}_{t},{y}_{t}\right)\le tf\left({y}_{t},y\right)+\left(1-t\right)f\left({y}_{t},z\right)\le tf\left({y}_{t},y\right),$

and hence f(y t , y) ≥ 0. Now, letting t → 0, and condition (A3), we obtain that f(z, y) ≥ 0, for all y C, and hence z EP(f).

Finally, we show that $z\in {\cap }_{i=1}^{N}F\left({T}_{i}\right)$. But, since each T i satisfies condition (N3) we obtain from (3.13) that z F(T i ) for each i = 1, 2, . . . , N and hence $z\in {\cap }_{i=1}^{N}F\left({T}_{i}\right)$. Thus, from the above discussions we obtain that $z\in F:={\cap }_{i=1}^{N}F\left({T}_{i}\right)\cap \mathsf{\text{VI}}\left(C,A\right)\cap \mathsf{\text{EP}}\left(f\right)$. Therefore, by Lemma 2.3, we immediately obtain that $\underset{n\to \infty }{\mathsf{\text{lim}}\mathsf{\text{sup}}}⟨{z}_{n}-{x}^{*},Jw-J{x}^{*}⟩=\underset{i\to \infty }{\mathsf{\text{lim}}}⟨{z}_{{n}_{i}}-{x}^{*},Jw-J{x}^{*}⟩=⟨z-{x}^{*},Jw-J{x}^{*}⟩\le 0$. It follows from Lemma 2.9 and (3.6) that ϕ(x*, x n ) → 0, as n → ∞. Consequently, x n x* by Lemma 2.2.

Case 2. Suppose that there exists a subsequence {n i } of {n} such that $\varphi \left({x}^{*},{x}_{{n}_{i}}\right)<\varphi \left({x}^{*},{x}_{{n}_{i}+1}\right)$, for all i . Then, by Lemma 2.10, there exist a nondecreasing sequence {m k } such that m k → ∞, $\varphi \left({x}^{*},{x}_{{m}_{k}}\right)\le \varphi \left({x}^{*},{x}_{{m}_{k}+1}\right)$ and $\varphi \left({x}^{*},{x}_{k}\right)\le \varphi \left({x}^{*},{x}_{{m}_{k}+1}\right)$, for all k . Then from (3.5) and the fact that θ n → 0 we have that

Thus, using the same proof of Case 1, we obtain that ${u}_{{m}_{k}}-{x}_{{m}_{k}}\to 0$, ${u}_{{m}_{k}}-{w}_{{m}_{k}}\to 0$ and ${y}_{{m}_{k}}-{T}_{i}{y}_{{m}_{k}}\to 0$, as k → ∞, for each i = 1, 2, . . . , N and hence

(3.18)

Then from (3.6) we have that

$\begin{array}{cc}\hfill \varphi \left({x}^{*}{x}_{{m}_{k}+1}\right)& \le \left(1-{\theta }_{{m}_{k}}\right)\varphi \left({x}^{*},{x}_{{m}_{k}}\right)+2{\theta }_{{m}_{k}}⟨{z}_{{m}_{k}}-{x}^{*},Jw-J{x}^{*}⟩\hfill \\ \phantom{\rule{1em}{0ex}}+\left({k}_{{m}_{k}}-1\right)M.\hfill \end{array}$
(3.19)

Since $\varphi \left({x}^{*},{x}_{{m}_{k}}\right)\le \varphi \left({x}^{*},{x}_{{m}_{k}+1}\right)$, (3.19) implies that

$\begin{array}{cc}\hfill {\theta }_{{m}_{k}}\varphi \left({x}^{*},\phantom{\rule{2.77695pt}{0ex}}{x}_{{m}_{k}}\right)& \le \varphi \left({x}^{*},\phantom{\rule{2.77695pt}{0ex}}{x}_{{m}_{k}}\right)-\varphi \left({x}^{*},\phantom{\rule{2.77695pt}{0ex}}{x}_{{m}_{k}+1}\right)\hfill \\ \phantom{\rule{1em}{0ex}}+2{\theta }_{{m}_{k}}⟨{z}_{{m}_{k}}-{x}^{*},Jw-J{x}^{*}⟩+\left({k}_{{m}_{k}}-1\right)M\hfill \\ \le 2{\theta }_{{m}_{k}}⟨{z}_{{m}_{k}}-{x}^{*},Jw-J{x}^{*}⟩+\left({k}_{{m}_{k}}-1\right)M.\hfill \end{array}$

In particular, since ${\theta }_{{m}_{k}}>0$, we get

$\varphi \left({x}^{*},{x}_{{m}_{k}}\right)\le 2⟨{z}_{{m}_{k}}-{x}^{*},Jw-J{x}^{*}⟩+\frac{\left({k}_{{m}_{k}}-1\right)}{{\theta }_{{m}_{k}}}M.$

Then, from (3.18) and the fact that $\frac{\left({k}_{{m}_{k}}-1\right)}{{\theta }_{{m}_{k}}}\to 0$, we obtain that $\varphi \left({x}^{*},{x}_{{m}_{k}}\right)\to 0$, as k → ∞. This together with (3.19) gives $\varphi \left({x}^{*},{x}_{{m}_{k}+1}\right)\to 0$, as k → ∞. But $\varphi \left({x}^{*},{x}_{k}\right)\le \varphi \left({x}^{*},{x}_{{m}_{k}+1}\right)$, for all k , thus we obtain that x k x*. Therefore, from the above two cases, we can conclude that {x n } converges strongly to x* and the proof is complete. □

Now, we give an example of asymptotically regular uniformly continuous relatively asymptotically nonexpansive mapping which is not uniformly Lipschitzian.

Example 3.2. Let $C:=\left[\frac{-1}{\pi },\frac{1}{\pi }\right]$ and define T: CC by

$T\left(x\right)=\left\{\begin{array}{cc}\frac{x}{2}\mathsf{\text{sin}}\left(\frac{1}{x}\right),\hfill & x\ne 0,\hfill \\ x,\hfill & x=0.\hfill \end{array}\right\$

Then clearly, T is continuous and F(T) = {0}. Moreover, following the method in  we obtain that Tnx → 0, uniformly, for each x C, but T is not a Lipschitz function. We now show that it is relatively asymptotically nonexpansive, asymptotically regular and uniformly continuous mapping. But for any x C we have that $|{T}^{n}x-{T}^{n}0|\phantom{\rule{2.77695pt}{0ex}}\le \phantom{\rule{2.77695pt}{0ex}}|{\left(\frac{1}{2}\right)}^{n}x|\phantom{\rule{2.77695pt}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}|{\left(\frac{1}{2}\right)}^{n}x-0|\phantom{\rule{2.77695pt}{0ex}}\le {k}_{n}|x-0|$, for ${k}_{n}:=\mathsf{\text{max}}\left\{{\left(\frac{1}{2}\right)}^{n},1\right\}=1$, for each n ≥ 1 and |Tn+1x - Tnx| ≤ |Tn+1x| + |Tnx| → 0, as n → ∞. Moreover, since T: CC is continuous, it follows that it is uniformly continuous. Therefore, T is relatively asymptotically nonexpansive, asymptotically regular and uniformly continuous mapping.

Next, we give an example of uniformly Lipschitzian relatively asymptotically nonexpansive mapping which is not relatively nonexpansive.

Example 3.3. Let X = lp , where 1 < p < ∞, and C = {x = (x1, x2, . . .) X; x n ≥ 0}. Then C is closed and convex subset of X. Note that C is not bounded. Obviously, X is uniformly convex and uniformly smooth. Let {λ n } and $\left\{{\stackrel{̄}{\lambda }}_{n}\right\}$ be sequences of real numbers satisfying the following properties:

1. (i)

0 < λ n < 1, ${\stackrel{̄}{\lambda }}_{n}>1$, λ n ↑ 1 and ${\stackrel{̄}{\lambda }}_{n}↓1$,

2. (ii)

${\lambda }_{n+1}{\stackrel{̄}{\lambda }}_{n}=1$ and ${\lambda }_{j+1}{\stackrel{̄}{\lambda }}_{n+j}<1$, for all n and j (for example: ${\lambda }_{n}=1-\frac{1}{n+1}$, ${\stackrel{̄}{\lambda }}_{n}=1-\frac{1}{n+1}$).

Then the map T: CC defined by

$Tx:=\left(0,{\stackrel{̄}{\lambda }}_{1}|\mathsf{\text{sin}}{x}_{1}|,{\lambda }_{2}{x}_{2},{\stackrel{̄}{\lambda }}_{2}{x}_{3},{\lambda }_{3}{x}_{4},{\stackrel{̄}{\lambda }}_{3}{x}_{5},\dots \right),$

for all x = (x1, x2, . . .) C is uniformly Lipschitzian which is relatively asymptotically nonexpansive but not relatively nonexpansive (see  for the details). Note also that F(T) = {0}.

Remark 3.4. We note that the asymptotic regularity assumption on T i in Theorem 3.1 can be weakened to the assumption that${T}_{i}^{n+1}{y}_{n}-{T}_{i}^{n}{y}_{n}\to 0$, as n → ∞, for i = 1, 2, . . . , N.

Recall that T is uniformly L-Lipschitzian if there exists some L > 0 such that

(3.20)

We also note that the assumption ${T}_{i}^{n+1}{y}_{n}-{T}_{i}^{n}{y}_{n}\to 0$, as n → ∞ and uniform continuity of T i can be replaced by the unform Lipschitz continuity of T i .

With the above observation we have the following convergence result.

Corollary 3.5. Let C be a nonempty, closed and convex subset of a uniformly smooth and uniformly convex real Banach space E. Let f: C × C, be a bifunction which satisfies conditions (A1)-(A4). Let A: CE* be a continuously monotone mapping. Let T i : CC be uniformly Li-Lipschtzian relatively asymptotically nonexpansive mapping with sequence {kn, i}, for i = 1, 2, . . . , N. Assume that$F:={\cap }_{i=1}^{N}F\left({T}_{i}\right)\cap VI\left(C,A\right)\cap EP\left(f\right)$is nonempty. Then the sequence {x n } generated by (3.1) converges strongly to an element of F.

Proof. Clearly, T i for each i = 1, 2, . . . , N is uniformly continuous. Now we show that ${T}_{i}^{n+1}{y}_{n}-{T}_{i}^{n}{y}_{n}\to 0$, as n → ∞. But observe that from (3.1) and (3.8) we have

$\begin{array}{cc}\hfill ||J{x}_{n+1}-J{w}_{n}||\phantom{\rule{2.77695pt}{0ex}}& \le {\beta }_{n,1}||{T}_{1}^{n}{y}_{n}-{w}_{n}||+{\beta }_{n,2}||{T}_{2}^{n}{y}_{n}-{w}_{n}||\hfill \\ \phantom{\rule{1em}{0ex}}+\cdots +{\beta }_{n,N}||{T}_{2}^{n}{y}_{n}-{w}_{n}||\phantom{\rule{2.77695pt}{0ex}}\to 0,\hfill \end{array}$
(3.21)

as n → ∞. Thus, as J-1 is uniformly continuous on bounded sets we have that xn+1- w n → 0 which implies from (3.10) that xn+1- y n → 0, as n → ∞. Thus, this with (3.11) implies that

(3.22)

and hence (3.22) and (3.11) imply that

(3.23)

for each i = 1, 2, . . . , N, where $L:=\underset{1\le i\le N}{\mathsf{\text{max}}}\left\{{L}_{i}\right\}$. Therefore, Remark 3.4 with Theorem 3.1 imply the desired conclusion. □

If in Theorem 3.1 we have N = 1 we get the following corollary.

Corollary 3.6. Let C be a nonempty, closed and convex subset of a uniformly smooth and uniformly convex real Banach space E. Let f: C × C, be a bifunction which satisfies conditions (A1)-(A4). Let A: CE* be a continuously monotone mapping. Let T: CC be a asymptotically regular uniformly continuous relatively asymptotically nonexpansive mapping with sequence {k n }. Assume that F: = F(T) ∩ VI(C, A) ∩ EP(f) is nonempty. Let {x n } be a sequence generated by

$\left\{\begin{array}{c}{x}_{0}=w\in C,\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary\mathsf{\text{,}}\hfill \\ {u}_{n}={F}_{{r}_{n}}{x}_{n},\hfill \\ {w}_{n}={T}_{{r}_{n}}{u}_{n},\hfill \\ {y}_{n}={\text{Π}}_{C}{J}^{-1}\left({\alpha }_{n}Jw+\left(1-{\alpha }_{n}\right)J{w}_{n}\right),\hfill \\ {x}_{n+1}\phantom{\rule{2.77695pt}{0ex}}={J}^{-1}\left({\beta }_{n}J{w}_{n}+\left(1-{\beta }_{n}\right)J{T}^{n}{y}_{n}\right),\phantom{\rule{2.77695pt}{0ex}}n\ge 0,\hfill \end{array}\right\$
(3.24)

where α n (0, 1) such that limn→∞αn = 0, ${\mathsf{\text{lim}}}_{n\to \infty }\frac{\left({k}_{n}-1\right)}{{\alpha }_{n}}=0$, ${\sum }_{n=1}^{\infty }{\alpha }_{n}=\infty$, {β n } [a, b] (0, 1), for each n ≥ 0. Then {x n } converges strongly to an element of F.

If in Theorem 3.1 we assume that each T i is relatively nonexpansive we get the following theorem.

Theorem 3.7. Let C be a nonempty, closed and convex subset of a uniformly smooth and uniformly convex real Banach space E. Let f: C × C, be a bifunction which satisfies conditions (A1)-(A4). Let A: CE* be a continuously monotone mapping. Let T i : CC be a relatively nonexpansive mapping for each i = 1, 2, . . . , N. Assume that$F:={\cap }_{i=1}^{N}F\left({T}_{i}\right)\cap VI\left(C,A\right)\cap EP\left(f\right)$is nonempty. Let {x n } be a sequence generated by

$\left\{\begin{array}{c}{x}_{0}=w\in C,\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrarily\mathsf{\text{,}}\hfill \\ {u}_{n}={F}_{{r}_{n}}{x}_{n},\hfill \\ {w}_{n}={T}_{{r}_{n}}{u}_{n},\hfill \\ {y}_{n}={\text{Π}}_{C}{J}^{-1}\left({\alpha }_{n}Jw+\left(1-{\alpha }_{n}\right)J{w}_{n}\right),\hfill \\ {x}_{n+1}\phantom{\rule{2.77695pt}{0ex}}={J}^{-1}\left({\beta }_{n,0}J{w}_{n}+{\sum }_{i=1}^{N}{\beta }_{n,i}J{T}_{i}{y}_{n}\right),\phantom{\rule{2.77695pt}{0ex}}n\ge 0,\hfill \end{array}\right\$
(3.25)

where α n (0,1) such that limn→∞α n = 0, ${\sum }_{n=1}^{\infty }{\alpha }_{n}=\infty$, {βn, i} [a, b] (0, 1), for i = 1, 2, . . . , N satisfying βn,0+ βn,1+ · · · + βn, N= 1, for each n ≥ 0. Then {x n } converges strongly to an element of F.

Proof. Following the methods of proof of Theorem 3.1 we obtain the required assertion. □

If in Theorem 3.1 we assume that f ≡ 0 and A ≡ 0 we get the following corollary.

Corollary 3.8. Let C be a nonempty, closed and convex subset of a uniformly smooth and uniformly convex real Banach space E. Let T i : CC be a asymptotically regular uniformly continuous relatively asymptotically nonexpansive mapping with sequence {kn, i}, for i = 1, 2, . . . , N. Assume that$F:={\cap }_{i=1}^{N}F\left({T}_{i}\right)$is nonempty. Let {x n } be a sequence generated by

$\left\{\begin{array}{c}{x}_{0}=w\in C,\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrarily\mathsf{\text{,}}\hfill \\ {y}_{n}={\text{Π}}_{C}{J}^{-1}\left({\alpha }_{n}Jw+\left(1-{\alpha }_{n}\right)J{w}_{n}\right),\hfill \\ {x}_{n+1}\phantom{\rule{2.77695pt}{0ex}}={J}^{-1}\left({\beta }_{n,0}J{x}_{n}+{\sum }_{i=1}^{N}{\beta }_{n,i}J{T}_{i}^{n}{y}_{n}\right),\phantom{\rule{2.77695pt}{0ex}}n\ge 0,\hfill \end{array}\right\$
(3.26)

where α n (0, 1) such that limn→∞α n = 0, ${\mathsf{\text{lim}}}_{n\to \infty }\frac{\left({k}_{n,i}-1\right)}{{\alpha }_{n}}=0$, ${\sum }_{n=1}^{\infty }{\alpha }_{n}=\infty$, {βn, i} [a, b] (0, 1), for i = 1, 2, . . . , N satisfying βn,0+ βn,1+ · · · + βn, N= 1, for each n ≥ 0. Then {x n } converges strongly to an element of F.

If in Theorem 3.1 we assume that f ≡ 0 and TI we get the following corollary.

Corollary 3.9. Let C be a nonempty, closed and convex subset of a uniformly smooth and uniformly convex real Banach space E. Let A: CE* be a continuously monotone mapping. Assume that F: = VI(C, A) is nonempty. Let {x n } be a sequence generated by

$\left\{\begin{array}{c}{x}_{0}=w\in C,\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrarily\mathsf{\text{,}}\hfill \\ {w}_{n}={F}_{{r}_{n}}{x}_{n},\hfill \\ {y}_{n}={\text{Π}}_{C}{J}^{-1}\left({\alpha }_{n}Jw+\left(1-{\alpha }_{n}\right)J{w}_{n}\right),\hfill \\ {x}_{n+1}\phantom{\rule{2.77695pt}{0ex}}={J}^{-1}\left({\beta }_{n,}J{w}_{n}+\left(1-{\beta }_{n}\right)J{y}_{n}\right),\phantom{\rule{2.77695pt}{0ex}}n\ge 0,\hfill \end{array}\right\$
(3.27)

where α n (0, 1) such that limn→∞α n = 0, ${\sum }_{n=1}^{\infty }{\alpha }_{n}=\infty$, {β n } [a, b] (0, 1), for each n ≥ 0. Then {x n } converges strongly to an element of F.

Remark 3.10. Theorem 3.1 improves and extends the corresponding results of Nakajo and Takahashi , Kim and Xu  in the sense that the space is extended from Hilbert spaces to uniformly smooth and uniformly convex Banach spaces. Moreover, Corollary 3.8 improves and extends Theorem MT of Matsushita and Takahashi  and Theorem 3.4 of Nilsrakoo and Saejung  from a relatively nonexpansive mappings to a finite family of asymptotically regular uniformly continuous relatively asymptotically nonexpansive mappings. Corollary 3.9 extends the corresponding results of Iiduka, Takahashi and Toyoda  and Iiduka and Takahashi  in the sense that either the space is extended from Hilbert space to uniformly smooth and uniformly convex Banach space or our scheme is used for approximating solutions of variational problems for a more general class of monotone mappings. Moreover, our scheme does not involve computation of Cn+1from sets C n and Q n for each n ≥ 1.

## References

1. Takahashi W: Nonlinear Functional Analysis. Kindikagaku, Tokyo; 1988.

2. Alber Ya: Metric and generalized projection operators in Banach spaces: properties and applications. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Leture Notes in Pure and Applied Mathematics. Volume 178. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.

3. Kamimura S, Takahashi W: Strong convergence of proximal-type algorithm in a Banach space. SIAM J Optim 2002, 13: 938–945. 10.1137/S105262340139611X

4. Reich S: A weak convergence theorem for the alternating method with Bergman distance. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Leture Notes in Pure and Applied Mathematics. Volume 178. Edited by: Kartsatos AG. Dekker, New York; 1996:313–318.

5. Lions JL, Stampacchia G: Variational inequalities. Commun Pure Appl Math 1967, 20: 493–517. 10.1002/cpa.3160200302

6. Iiduka H, Takahashi W, Toyoda M: Approximation of solutions of variational inequalities for monotone mappings. Panamer Math J 2004, 14: 49–61.

7. Iiduka H, Takahashi W: Weak convergence of projection algorithm for variational inequalities in Banach spaces. J Math Anal Appl 2008, 339: 668–679. 10.1016/j.jmaa.2007.07.019

8. Iiduka H, Takahashi W: Strong convergence studied by a hybrid type method for monotone operators in a Banach space. Nonlinear Anal 2008, 68: 3679–3688. 10.1016/j.na.2007.04.010

9. Alber Ya, Guerre-Delabriere S: On the projection methods for fixed point problems. Analysis 2001, 21: 17–39.

10. Mann MR: Mean value methods in iteration. Proc Am Math Soc 1953, 4: 503–510.

11. Haugazeau Y: Sur les inéquations variationnelles et la minimisation de fonctionnelles convexes. Thése, Université de Paris, Paris, France;

12. Bauschke HH, Combettes PL: A weak-to-strong convergence principle for Fejer-monotone methods in Hilbert spaces. Math Oper Res 2001, 26: 248–264. 10.1287/moor.26.2.248.10558

13. Carlos MY, Xu HK: Strong convergence of the CQ method for fixed point iteration processes. Nonlinear Anal 2006, 64: 2240–2411.

14. Dehghan H: Approximating fixed points of asymptotically nonexpansive mappings in Banach spaces by metric projections. Appl Math Lett 2011, 24: 1584–1587. 10.1016/j.aml.2011.03.051

15. Dhompongsa S, Takahashi W, Yingtaweesittikul H: Weak convergence theorems for equilibrium problems with nonlinear operators in hilbert spaces. Fixed Point Theory 2011, 12: 309–320.

16. Matsushita SY, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in a Banach space. J Approx Theory 2005, 134: 257–266. 10.1016/j.jat.2005.02.007

17. Nakajo K, Takahashi W: Strong convergence theorems for nonexpansive mappings and nonexpansive semi-groups. J Math Anal Appl 2003, 279: 372–379. 10.1016/S0022-247X(02)00458-4

18. Zhou H, Gao X: A strong convergence theorem for a family of quasi- ϕ -nonexpansive mappings in a Banach space. Fixed Point Theory Appl 2009, 12. Article ID 351265

19. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math Stud 1994, 63: 123–145.

20. Moudafi A: Weak convergence theorems for nonexpansive mappings and for equilibrium problems. J Nonlinear Convex Anal 2008, 9: 37–43.

21. Kumam P: A hybrid approximation method for equilibrium and fixed point problems for a monotone mapping and a nonexpansive. Nonlinear Anal Hybrid Syst 2008. doi:10.1016/j.nahs.2008.09.017

22. Qin X, Cho YJ, Kang SM: Convergence theorems of common elements for equilibrium problems and fixed point problem in Banach spaces. J Comput Appl Math 2009, 225: 20–30. 10.1016/j.cam.2008.06.011

23. Takahashi W, Zembayashi K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal 2009, 70: 45–57. 10.1016/j.na.2007.11.031

24. Zegeye H, Ofoedu EU, Shahzad N: Convergence theorems for equilibrium problem, variotional inequality problem and countably infinite relatively quasinonexpansive mappings. Appl Math Comput 2010, 216: 3439–3449. 10.1016/j.amc.2010.02.054

25. Wangkeeree R, Preechasilp P: New generalized mixed equilibrium problem with respect to relaxed semi-monotone mappings in Banach spaces. J Appl Math 2012, 2012: 25. Article ID 790592

26. Zegeye H, Shahzad N: Strong convergence for monotone mappings and relatively weak nonexpansive mappings. Nonlinear Anal 2009, 70: 2707–2716. 10.1016/j.na.2008.03.058

27. Aoyama K, Kohsaka F, Takahashi W: Strong convergence theorems by shrinking and hybrid projection methods for relatively nonexpansive mappings in Banach spaces. In Proceedings of the 5th International Conference On Nonlinear and Convex Analysis. YoKohama Publishers, YoKohama; 2009:7–26.

28. Zegeye H, Shahzad N: A hybrid approximation method for equilibrium, variational inequality and fixed point problems. Nonlinear Anal Hybrid Syst 2010, 4: 619–630. 10.1016/j.nahs.2010.03.005

29. Zegeye H, Shahzad N: Approximating common solution of variational inequality problems for two monotone mappings in Banach spaces. Optim Lett doi:10.1007/s11590–010–0235–5

30. Chang S, Chan CK, Lee HWJ: Modified block iterative algorith for quasi- ϕ -asymptotically nonexpansive mappings and equilibrium problems in Banach spaces. Appl Math Comput doi:10.1016/j.amc.2011.02.060

31. Xu HK: Iterative algorithms for nonlinear operators. J Lond Math Soc 2002, 66(2):240–256.

32. Maingé PE: Strong convergence of projected subgradient methods for non-smooth and non- strictly convex minimization. Set-Valued Anal 2008, 16: 899–912. 10.1007/s11228-008-0102-z

33. Kim TH, Choi JW: Asymptotic behavior of almost-orbits of non-Lipschitzian mappings in Banach spaces. Math Jpn 1993, 38: 191–197.

34. Kim TH, Takahashi W: Strong convergence of modified iteration process for reatively asymptotically nonexpansive mappings. Taiwan J Math 2010, 14(6):2163–2180.

35. Kim TH, Xu HK: Strong convergence of modified Mann iterations for asymptotically mappings and semigroups. Nonlinear Anal 2006, 64: 1140–1152. 10.1016/j.na.2005.05.059

36. Nilsrakoo W, Saejung S: Strong convergence theorems by Halpern-Mann iterations for relatively nonexpansive mappings in Banach spaces. Appl Math Comput doi:10.1016/j.amc.2011.01.040

## Author information

Authors

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Zegeye, H., Shahzad, N. & Alghamdi, M.A. Strong convergence theorems for a common point of solution of variational inequality, solutions of equilibrium and fixed point problems. Fixed Point Theory Appl 2012, 119 (2012). https://doi.org/10.1186/1687-1812-2012-119

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2012-119

### Keywords

• Equilibrium problems
• monotone mappings
• relatively asymptotically nonexpansive mappings
• relatively nonexpansive
• strong convergence
• variational inequality problems 