- Research
- Open Access

# A hybrid iteration scheme for equilibrium problems and common fixed point problems of generalized quasi-*ϕ*-asymptotically nonexpansive mappings in Banach spaces

- Jing Zhao
^{1}Email author and - Songnian He
^{1}

**2012**:33

https://doi.org/10.1186/1687-1812-2012-33

© Zhao and He; licensee Springer. 2012

**Received:**18 September 2011**Accepted:**1 March 2012**Published:**1 March 2012

## Abstract

In this article, we introduce an iterative algorithm for finding a common element of the set of common fixed points of a finite family of closed generalized quasi-*ϕ*-asymptotically nonexpansive mappings and the set of solutions of equilibrium problem in Banach spaces. Then we study the strong convergence of the algorithm. Our results improve and extend the corresponding results announced by many others.

**Mathematics Subject Classification (2000)**: 47H09; 47H10; 47J05; 54H25.

## Keywords

- equilibrium problem
- generalized quasi-
*ϕ*-asymptotically nonexpansive mapping - strong convergence
- common fixed point
- Banach space

## 1. Introduction and preliminary

*E*be a Banach space with the dual

*E**. Let

*C*be a nonempty closed convex subset of

*E*and

*f*:

*C*×

*C*→ ℝ a bifunction, where ℝ is the set of real numbers. The equilibrium problem for

*f*is to find $\widehat{x}\in C$ such that

for all *y* ∈ *C*. The set of solutions of (1.1) is denoted by *EP*(*f*). Given a mapping *T* :*C* → *E**, let *f*(*x, y*) = 〈*Tx, y* - *x*〉 for all *x,y* ∈ *C*. Then $\widehat{x}\in EP\left(f\right)$ if and only if $\u27e8T\widehat{x},y-\widehat{x}\u27e9\ge 0$ for all *y* ∈ *C*, i.e., $\widehat{x}$ is a solution of the variational inequality. Numerous problems in physics, optimization, engineering and economics reduce to find a solution of (1.1). Some methods have been proposed to solve the equilibrium problem; see, for example, Blum-Oettli [1] and Moudafi [2]. For solving the equilibrium problem, let us assume that *f* satisfies the following conditions:

(*A* 1) *f*(*x, x*) = 0 for all *x* ∈ *C*;

(*A* 2) *f* is monotone, that is, *f*(*x, y*) + *f*(*y, x*) ≤ 0 for all *x, y* ∈ *C*;

(*A* 3) for each *x, y, z* ∈ *C*, lim_{t→0}*f*(*tz* + (1 - *t*)*x, y*) ≤ *f*(*x, y*);

(*A* 4) for each *x* ∈ *C*, the function *y* ↦ *f*(*x, y*) is convex and lower semicontinuous.

*E*be a Banach space with the dual

*E**. We denote by

*J*the normalized duality mapping from

*E*to ${2}^{{E}^{*}}$ defined by

where 〈·, ·〉 denotes the generalized duality pairing. We know that if *E* is uniformly smooth, strictly convex, and reflexive, then the normalized duality mapping *J* is single-valued, one-to-one, onto and uniformly norm-to-norm continuous on each bounded subset 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} = *I*_{E*}and *J*^{-1}*J* = *I*_{
E
}(see, [3]). It is also well known that if *E* is uniformly smooth if and only if *E** is uniformly convex.

*C*be a nonempty closed convex subset of a Banach space

*E*and

*T*:

*C*→

*C*a mapping. A point

*x*∈

*C*is said to be a fixed point of

*T*provided

*Tx*=

*x*. In this article, we use

*F*(

*T*) to denote the fixed point set and use → to denote the strong convergence. Recall that a mapping

*T*:

*C*→

*C*is called nonexpansive if

*T*:

*C*→

*C*is called asymptotically nonexpansive if there exists a sequence {

*k*

_{ n }} of real numbers with

*k*

_{ n }→ 1 as

*n*→ ∞ such that

The class of asymptotically nonexpansive mappings was introduced by Goebel and Kirk [4] in 1972. They proved that, if *C* is a nonempty bounded closed convex subset of a uniformly convex Banach space *E*, then every asymptotically nonexpansive self-mapping *T* of *C* has a fixed point. Further, the set *F*(*T*) is closed and convex. Since 1972, a host of authors have studied the weak and strong convergence problems of the iterative algorithms for such a class of mappings (see, e.g., [4–6] and the references therein).

It is well known that if *C* is a nonempty closed convex subset of a Hilbert space *H* and *P*_{
C
}: *H* → *C* 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. In this connection, Alber [7] recently introduced a generalized projection operator Π_{
C
}in a Banach space *E* which is an analogue of the metric projection in Hilbert spaces.

*E*is a smooth Banach space. Consider the functional defined by

_{ C }:

*E*→

*C*is a mapping that assigns to an arbitrary point

*x*∈

*E*the minimum point of the functional

*ϕ*(

*y, x*), that is, ${\prod}_{C}x=\stackrel{\u0304}{x}$, where $\stackrel{\u0304}{x}$ is the solution to the following minimization problem:

*ϕ*that

If *E* is a Hilbert space, then *ϕ*(*y, x*) = ∥*y* - *x*∥^{2} and Π_{
C
}= *P*_{
C
}is the metric projection of *H* onto *C.*

**Remark 1.1**[8, 9] 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*.

Let *C* be a nonempty, closed and convex subset of a smooth Banach *E* and *T* a mapping from *C* into itself. The mapping *T* is said to be *ϕ*-nonexpansive if *ϕ*(*Tx, Ty*) ≤ *ϕ*(*x, y*), ∀*x, y* ∈ *C*. The mapping *T* is said to be quasi-*ϕ*-nonexpansive if $F\left(T\right)\ne \mathrm{0\u0338}$, *ϕ*(*p, Tx*) ≤ *ϕ*(*p, x*), ∀*x* ∈ *C, p* ∈ *F*(*T*). The mapping *T* is said to be *ϕ*-asymptotically nonexpansive if there exists some real sequence {*k*_{
n
}} with *k*_{
n
}≥ 1 and *k*_{
n
}→ 1 as *n* → ∞ such that *ϕ*(*T*^{
n
}*x, T*^{
n
}*y*) ≤ *k*_{
n
}*ϕ*(*x,y*), ∀*x, y* ∈ *C*. The mapping *T* is said to be quasi-*ϕ*-asymptotically nonexpansive if $F\left(T\right)\ne \mathrm{0\u0338}$ and there exists some real sequence {*k*_{
n
}} with *k*_{
n
}≥1 and *k*_{
n
}→ 1 as *n* → ∞ such that *ϕ*(*p, T*^{
n
}*x*) ≤ *k*_{
n
}*ϕ*(*p, x*), ∀*x* ∈ *C, p* ∈ *F*(*T*). The mapping *T* is said to be generalized quasi-*ϕ*-asymptotically nonexpansive if $F\left(T\right)\ne \mathrm{0\u0338}$ and there exist nonnegative real sequences {*k*_{
n
}} and {*c*_{
n
}} with *k*_{
n
}≥ 1, lim_{n→∞}*k*_{
n
}= 1 and lim_{n→∞}*c*_{
n
}= 0 such that *ϕ*(*p, T*^{
n
}*x*) ≤ *k*_{
n
}*ϕ*(*p, x*) + *c*_{
n
}, ∀*x* ∈ *C, p* ∈ *F*(*T*). The mapping *T* is said to be asymptotically regular on *C* if, for any bounded subset *K* of *C*, lim sup_{n→∞}{∥*T*^{n+1}*x* - *T*^{
n
}*x*∥: *x* ∈ *K*} = 0. The mapping *T* is said to be closed on *C* if, for any sequence {*x*_{
n
}} such that lim_{n→∞}*x*_{
n
}= *x*_{0} and lim_{n→∞}*Tx*_{
n
}= *y*_{0}, then *Tx*_{0} = *y*_{0}.

*ϕ*-asymptotically nonexpansive mapping with a nonempty fixed point set

*F*(

*T*) is a quasi-

*ϕ*-asymptotically nonexpansive mapping, but the converse may be not true. The class of generalized quasi-

*ϕ*-asymptotically nonexpansive mappings is more general than the class of quasi-

*ϕ*-asymptotically nonexpansive mappings and

*ϕ*-asymptotically nonexpansive mappings. The following example shows that the inclusion is proper. Let $K=\left[-\frac{1}{\pi},\frac{1}{\pi}\right]$ and define (see [10]) $Tx=\frac{x}{2}\text{sin}\left(\frac{1}{x}\right)$ if

*x*≠ 0 and

*Tx*= 0 if

*x*= 0. Then

*T*

^{ n }

*x*→ 0 uniformly but

*T*is not Lipschitzian. It should be noted that

*F*(

*T*) = {0}. For each fixed

*n*, define

*f*

_{ n }(

*x*) = ∥

*T*

^{ n }

*x*∥

^{2}- ∥

*x*∥

^{2}for

*x*∈

*K*. Set

*c*

_{ n }= sup

_{x∈K}{

*f*

_{ n }(

*x*), 0}. Then lim

_{n→∞}

*c*

_{ n }= 0 and

This show that *T* is a generalized quasi-*ϕ*-asymptotically nonexpansive but it is not quasi-*ϕ*-asymptotically nonexpansive and *ϕ*-asymptotically nonexpansive. Recently, many authors studied the problem of finding a common element of the set of fixed points of nonexpansive or quasi-*ϕ*-asymptotically nonexpansive mappings and the set of solutions of an equilibrium problem in the frame work of Hilbert spaces and Banach spaces respectively; see, for instance, [11–15] and the references therein.

*ϕ*-asymptotically nonexpansive mapping:

Strong convergence theorems of fixed points are established in a uniformly smooth and uniformly convex Banach space.

where *f*:*C* × *C* → ℝ is a bifunction satisfying (*A* 1)-(*A* 4), *J* is the normalized duality mapping on *E* and *S* : *C* → *C* is a relatively nonexpansive mapping. They proved the sequences {*x*_{
n
}} defined by (1.2) converge strongly to a common point of the set of solutions of the equilibrium problem (1.1) and the set of fixed points of *S* provided the control sequences {*α*_{
n
}} and {*r*_{
n
}} satisfy appropriate conditions in Banach spaces.

In this article, inspired and motivated by the works mentioned above, we introduce an iterative process for finding a common element of the set of common fixed points of a finite family of closed generalized quasi-*ϕ*-asymptotically nonexpansive mappings and the solution set of equilibrium problem in Banach spaces. In the meantime, the method of the proof is different from the original one. The results presented in this article improve and generalize the corresponding results announced by many others.

Let *C*_{
n
}be a sequence of nonempty closed convex subsets of a reflexive Banach space *E*. We denote two subsets *s* - *Li*_{
n
}*C*_{
n
}and *w* - *Ls*_{
n
}*C*_{
n
}as follows: *x* ∈ *s* - *Li*_{
n
}*C*_{
n
}if and only if there exists {*x*_{
n
}} ⊂ *E* such that {*x*_{
n
}} converges strongly to *x* and that *x*_{
n
}∈ *C*_{
n
}for all *n* ≥ 0. Similarly, *y* ∈ *w* - *Ls*_{
n
}*C*_{
n
}if and only if there exists a subsequence $\left\{{C}_{{n}_{i}}\right\}$ of {*C*_{
n
}} and a sequence {*y*_{
i
}} ⊂ *E* such that {*y*_{
i
}} converges weakly to *y* and that ${y}_{i}\in {C}_{{n}_{i}}$ for all *i* ≥ 0. We define the Mosco convergence [18] of {*C*_{
n
}} as follows: If *C*_{0} satisfies that *C*_{0} = *s* - *Li*_{
n
}*C*_{
n
}= *w* - *Ls*_{
n
}*C*_{
n
}, it is said that {*C*_{
n
}} converges to *C*_{0} in the sense of Mosco and we write *C*_{0} = *M* - lim_{
n
}_{→∞} _{
C
}_{
n
}. For more detail, see [19].

In order to obtain the main results of this paper, we need the following lemmas.

**Lemma 1.2**[20]*Let E be a smooth and uniformly convex Banach space and let* {*x*_{
n
}} *and* {*y*_{
n
}} *be sequences in E such that either* {*x*_{
n
}} *or* {*y*_{
n
}} *is bounded. If* lim_{n→∞}*ϕ*(*x*_{
n
},y_{n}) = 0, *then* lim_{n→∞}∥*x*_{
n
}- *y*_{
n
}∥ = 0.

**Lemma 1.3**[21]*Let E be a smooth, strictly convex and reflexive Banach space having the Kadec-Klee property. Let* {*K*_{
n
}} *be a sequence of nonempty closed convex subsets of E. If K*_{0} = *M*-lim_{n→∞}*K*_{
n
}*exists and is nonempty, then*$\left\{{\prod}_{{K}_{n}}x\right\}$*converges strongly to*$\left\{{\prod}_{{K}_{0}}x\right\}$*for each x* ∈ *C*.

**Lemma 1.4**[8, 22]

*Let E be a uniformly convex Banach space, s*> 0

*a positive number and B*

_{ s }(0)

*a closed ball of E. Then there exists a strictly increasing, continuous, and convex function g*: [0, ∞) → [0, ∞)

*with g*(0) = 0

*such that*

*for any k, l* ∈ {0, 1,. .., *N*}, *for all x*_{0}, *x*_{1}, .. ., *x*_{
N
}∈ *B*_{
s
}(0) = {*x* ∈ *E* : ∥*x*∥ ≤ *s*} *and α*_{0}, *α*_{1},...,*α*_{
n
}∈ [0, 1] *such that*${\sum}_{i=0}^{N}{\alpha}_{i}=1$.

**Lemma 1.5**[1]

*Let C be a closed convex subset of a smooth, strictly convex, and reflexive Banach space E, let f be a bifunction from C*×

*C to*ℝ

*satisfying*(

*A*1)-(

*A*4)

*, and letr*> 0

*and x*∈

*E*.

*Then, there exists z*∈

*C such that*

**Lemma 1.6**[17]

*Let C be a closed convex subset of a uniformly smooth, strictly convex, and reflexive Banach space E. Let f be a bifunction from C*×

*C to*ℝ

*satisfying*(

*A*1)-(

*A*4).

*For r*> 0

*and x*∈

*E, define a mapping T*

_{ r }:

*E*→

*C as follows:*

*for all x*∈

*E. Then, the following hold:*

- (1)
*T*_{ r }*is single-valued;* - (2)
*T*_{ r }*is firmly nonexpansive, i.e., for any x, y*∈*E,*$\u27e8{T}_{r}x-{T}_{r}y,J{T}_{r}x-J{T}_{r}y\u27e9\le \u27e8{T}_{r}x-{T}_{r}y,Jx-Jy\u27e9;$ - (3)
*F*(*T*_{ r }) =*EP*(*f*); - (4)
*EP*(*f*)*is closed and convex;* - (5)
*ϕ*(*q,T*_{ r }*x*) +*ϕ*(*T*_{ r }*x, x*) ≤*ϕ***(***q, x***)**, ∀*q*∈*F*(*T*_{ r }).

**Lemma 1.7** *Let E be a uniformly convex and uniformly smooth Banach space, C a nonempty, closed and convex subset of E and T a closed generalized quasi-ϕ-asymptotically nonexpansive mapping from C into itself. Then F*(*T*) *is a closed convex subset of C.*

*Proof*. We first show that

*F*(

*T*) is closed. To see this, let {

*p*

_{ n }} be a sequence in

*F*(

*T*) with

*p*

_{ n }→

*p*as

*n*→ ∞, we shall prove that

*p*∈

*F*(

*T*). By using the definition of

*T*, we have

*ϕ*(

*p*

_{ n },

*T*

^{ n }

*p*) → 0 as

*n*→ ∞. It follows from Lemma 1.2 that

*p*

_{ n }-

*T*

^{ n }

*p*→ 0 as

*n*→ ∞ and hence

*T*

^{ n }

*p*→

*p*as

*n*→ ∞. We have

*T*(

*T*

^{ n }

*p*) =

*T*

^{n+1}

*p*→ p as

*n*→ ∞. It follows from the closedness of

*T*that

*Tp*=

*p*. We next show that

*F*(

*T*) is convex. To prove this, for arbitrary

*p, q*∈

*F*(

*T*),

*t*∈ (0, 1), we set

*w*=

*tp*+ (1 -

*t*)

*q*. By (1.3), we have

which implies that *ϕ*(*w, T*^{
n
}*w*) → 0 as *n* → ∞. By Lemma 1.2, we obtain *T*^{
n
}*w* → *w* as *n* → ∞, and hence *T*(*T*^{
n
}*w*) = *T*^{n+1}*w* → *w* as *n* → ∞. Since *T* is closed, we see that *w* = *Tw*. This completes the proof.

## 2. Main results

**Theorem 2.1**

*Let C be a nonempty, closed and convex subset of a uniformly convex and uniformly smooth real Banach space E and let T*

_{ i }:

*C*→

*C be a closed and generalized quasi-ϕ-asymptotically nonexpansive mapping with real sequences*{

*k*

_{ n,i }} ⊂ [1, ∞)

*and*{

*c*

_{ n,i }} ⊂ [0, ∞)

*such that*lim

_{n→∞}

*k*

_{ n,i }= 1

*and*lim

_{n→∞}

*c*

_{ n,i }= 0

*for each*1 ≤

*i*≤

*N*.

*Let f be a bifunction from C*×

*C to*ℝ

*satisfying*(

*A*1)-(

*A*4).

*Assume that T*

_{ i }

*is asymptotically regular on C for each*1 ≤

*i*≤

*N and*$F=\left({\bigcap}_{i=1}^{N}F\left({T}_{i}\right)\right)\bigcap EP\left(f\right)\ne \mathrm{0\u0338}$. Let

*k*

_{ n }= max

_{1≤i≤N}{

*k*

_{ n, i }}

*and c*

_{ n }= max

_{1≤i≤N}{

*c*

_{ n,i }}.

*Define a sequence*{

*x*

_{ n }}

*in C in the following manner:*

*for every n* ≥ 1, *where* {*r*_{
n
}} *is a real sequence in* [*a*, ∞) *for some a* > 0, *J is the normalized duality mapping on E. Assume that the control sequences* {*α*_{n,0}}, {*α*_{n,1}}, ⋯, {*α*_{
n,N
}} *are real sequences in* (0,1) *satisfy*${\sum}_{i=0}^{N}{\alpha}_{n,i}=1$*and* lim inf_{n→∞}*α*_{n,0}*α*_{
n,i
}> 0 *for each i* ∈ {1, 2, · · ·, *N*}. *Then the sequence* {*x*_{
n
}} *converges strongly to* ∏_{
F
}*x*_{1}, *where* Π_{
F
}*is the generalized projection from C into F.*

*Proof*. Firstly, by Lemma 1.7, we know that

*F*(

*T*

_{ i }) is a closed convex subset of

*C*for every 1 ≤

*i*≤

*N*. Hence, $F=\left({\bigcap}_{i=1}^{N}F\left({T}_{i}\right)\right)\bigcap EP\left(f\right)\ne \mathrm{0\u0338}$ is a nonempty closed convex subset of

*C*and Π

_{ F }

*x*

_{1}is well defined for

*x*

_{1}∈

*C*. Now we show that

*C*

_{ n }is closed and convex for each

*n*≥ 1. From the definition of

*C*

_{ n }, it is obvious that

*C*

_{ n }is closed for each

*n*≥ 1. We show that

*C*

_{ n }is convex for each

*n*≥ 1. It is obvious that

*C*

_{1}=

*C*is convex. Suppose that

*C*

_{ n }is convex for some integer

*n*. Observe that the set

*z*

_{1},

*z*

_{2}∈

*C*

_{n+1}⊂

*C*

_{ n }and

*t*∈ (0,1), denote

*z*=

*tz*

_{1}+ (1 -

*t*)

*z*

_{2}, we have

*z*∈

*C*

_{ n }. Setting

*A*= ∥

*u*

_{ n }∥

^{2}-

*k*

_{ n }∥

*x*

_{ n }∥

^{2}-

*c*

_{ n }and

*B*=

*Ju*

_{ n }-

*k*

_{ n }

*Jx*

_{ n }, by noting that ∥ · ∥

^{2}is convex, we have

which implies that *z* ∈ *C*_{n+1}, so we get *C*_{n+1}is convex. Thus, *C*_{
n
}is closed and convex for each *n* ≥ 1.

*F*⊂

*C*

_{ n }for all

*n*≥ 1. We do this by induction. For

*n*= 1, we have

*F*⊂

*C*=

*C*

_{1}. Suppose that

*F*⊂

*C*

_{ n }for some

*n*≥ 1. Let

*p*∈

*F*⊂

*C*. Putting ${u}_{n}={T}_{{r}_{n}}{y}_{n}$ for all

*n*≥ 1, we have that ${T}_{{r}_{n}}$ is quasi-

*ϕ*-nonexpansive from Lemma 1.6. Since

*T*

_{ i }is generalized quasi-

*ϕ*-asymptotically nonexpansive, by noting that ∥ · ∥

^{2}is convex, we have

which infers that *p* ∈ *C*_{n+1}, and hence *F* ⊂ *C*_{n+1}. This proves that *F* ⊂ *C*_{
n
}for all *n* ≥ 1.

*C*

_{ n }} is a decreasing sequence of closed convex subsets of

*E*such that $\overline{C}={\cap}_{n=1}^{\infty}{C}_{n}$ is nonempty, it follows that

By Lemma 1.3, $\left\{{x}_{n}\right\}=\left\{{\Pi}_{{C}_{n}}{x}_{1}\right\}$ converges strongly to $\left\{{x}^{*}\right\}=\left\{{\Pi}_{\overline{C}}{x}_{1}\right\}$ and {*x*_{
n
}} is bounded.

Fourthly, we prove that *x** ∈ *F*.

*C*

_{n+1}, we get

_{n → ∞}

*x*

_{ n }=

*x**, one obtain

*ϕ*(

*x*

_{n+1},

*x*

_{ n }) → 0 as

*n*→ ∞, and it follows from lim

_{n → ∞}

*c*

_{ n }= 0 we have

_{n→∞}∥

*x*

_{n+1}-

*u*

_{ n }∥ = 0 by Lemma 1.2. It should be noted that

*n*≥ 1. It follows that

*u*

_{ n }→

*x** as

*n*→ ∞. Since

*J*is uniformly norm-to-norm continuous on bounded sets, from (2.3), we have

*E*is uniformly smooth Banach space, we know that

*E** is a uniformly convex Banach space. Therefore, from Lemma 1.4 we have, for any

*p*∈

*F*, that

_{n→∞}

*k*

_{ n }= 1, lim

_{n→∞}

*c*

_{ n }= 0 and lim inf

_{n→∞}

*α*

_{n,0}

*α*

_{n, 1}> 0, from (2.5) and (2.6) we have

*g*, we obtain

*J*

^{-1}is uniformly norm-to-norm continuous on bounded sets, we have

*n*→ ∞. Since $\u2225{T}_{1}^{n+1}{x}_{n}-{x}^{*}\u2225\le \u2225{T}_{1}^{n+1}{x}_{n}-{T}_{1}^{n}{x}_{n}\u2225+\u2225{T}_{1}^{n}{x}_{n}-{x}^{*}\u2225$, it follows from the asymptotical regularity of

*T*

_{1}that

That is, ${T}_{1}\left({T}_{1}^{n}{x}_{n}\right)\to {x}^{*}$ as *n* → ∞. From the closedness of *T*_{1}, we get *T*_{1}*x** = *x**. Similarly, one can obtain that *T*_{
i
}*x** = *x** for *i* = 2,..., *N*. So, ${x}^{*}\in {\cap}_{i=1}^{N}F\left({T}_{i}\right)$.

*x** ∈

*EP*(

*f*) =

*F*(

*T*

_{ r }). Let

*p*∈

*F*. From ${u}_{n}={T}_{{r}_{n}}{y}_{n}$, (2.2) and Lemma 1.6, we obtain that

*k*

_{ n }→ 1 and

*c*

_{ n }→ 0 that

*ϕ*(

*u*

_{ n },

*y*

_{ n }) → 0 as

*n*→ ∞. Now, by Lemma 1.2, we have that ∥

*u*

_{ n }-

*y*

_{ n }∥ → 0 as

*n*→ ∞, and hence, ∥

*Ju*

_{ n }-

*Jy*

_{ n }∥ → 0 as

*n*→ ∞. Since

*u*

_{ n }→

*x** as

*n*→ ∞, we obtain that

*y*

_{ n }→

*x**. From the assumption

*r*

_{ n }>

*a*, we get

*A*2), we have

*n*→ ∞, we have from

*u*

_{ n }→

*x**, (2.8) and (

*A*4) that

*f*(

*y, x**) ≤ 0(∀

*y*∈

*C*). For

*t*with 0 <

*t*≤ 1 and

*y*∈

*C*, let

*y*

_{ t }=

*ty*+ (1 -

*t*)

*x**. Since

*y*∈

*C*and

*x** ∈

*C*, we have

*y*

_{ t }∈

*C*and hence

*f*(

*y*

_{ t },

*x**) ≤ 0. Now, from (

*A*1) and (

*A*4), we have

and hence *f*(*y*_{
t
},*y*) ≥ 0. Letting *t* → 0, from (*A* 3), we have *f*(*x**, *y*) ≥ 0. This implies that *x** ∈ *EP*(*f*). Thus, *x** ∈ *F*.

Finally, since ${x}^{*}={\Pi}_{\overline{C}}{x}_{1}\in F$ and *F* is a nonempty closed convex subset of $\overline{C}={\cap}_{n=1}^{\infty}{C}_{n}$, we conclude that *x** = Π_{
F
}*x*_{1}. This completes the proof.

In Hilbert spaces, Theorem 2.1 reduces to the following theorem.

**Theorem 2.2**

*Let C be a nonempty, closed and convex subset of a Hilbert space H and let T*

_{ i }:

*C*→

*C be a closed and generalized quasi-ϕ-asymptotically nonexpansive mapping with real sequences*{

*k*

_{ n,i }} ⊂ [1, ∞)

*and*{

*c*

_{ n,i }} ⊂ [0, ∞)

*such that*lim

_{n→∞}

*k*

_{ n,i }= 1

*and*lim

_{n→∞}

*c*

_{ n,i }= 0

*for each*1 ≤

*i*≤

*N*.

*Let f be a bifunction from C*×

*C to*ℝ

*satisfying*(

*A*1)-(

*A*4).

*Assume that T*

_{ i }

*is asymptotically regular on C for each*1 ≤

*i*≤

*N and*$F=\left({\bigcap}_{i=1}^{N}F\left({T}_{i}\right)\right)\bigcap EP\left(f\right)\ne \mathrm{0\u0338}$

*. Let k*

_{ n }= max

_{1≤i≤N}{

*k*

_{ n,i }}

*and c*

_{ n }= max

_{1≤i≤N}{

*c*

_{ n,i }}.

*Define a sequence*{

*x*

_{ n }}

*in C in the following manner:*

*for every n* ≥ 1*, where* {*r*_{
n
}} *is a real sequence in* [*a*, ∞) *for some a* > 0*. Assume that the control sequences* {*α*_{n,0}}, {*α*_{n,1}}, .. ., {*α*_{
n,N
}} *are real sequences in* (0,1) *satisfy*${\sum}_{i=0}^{N}{\alpha}_{n,i}=1$*αnd* lim inf_{n→∞}*α*_{n,0}*α*_{
n,i
}> 0 *for each i* ∈ {1, 2, .. ., *N*}. *Then the sequence* {*x*_{
n
}} *converges strongly to P*_{
F
}*x*_{1}.

**Remark 2.3** Theorems 2.1 and 2.2 extend the main results of [16] from quasi-*ϕ*-nonexpansive mappings to more general generalized quasi-*ϕ*-asymptotically nonexpan-sive mappings.

## Declarations

### Acknowledgements

The research was supported by the science research foundation program in Civil Aviation University of China (2011kys02), it was also supported by Fundamental Research Funds for the Central Universities (Program No. ZXH2009D021 and No. ZXH2011D005).

## Authors’ Affiliations

## References

- Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems.
*Math Student*1994, 63: 123–145.MATHMathSciNetGoogle Scholar - Moudafi A: Second-order differential proximal methods for equilibrium problems.
*J Inequal Pure Appl Math*2003., 4: (art. 18)Google Scholar - Takahashi W:
*Nonlinear Functional Analysis.*Kindikagaku, Tokyo (in Japanese); 1988.Google Scholar - Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings.
*Proc Am Math Soc*1972, 35: 171–174. 10.1090/S0002-9939-1972-0298500-3MATHMathSciNetView ArticleGoogle Scholar - Schu J: Iteration construction of fixed points of asymptotically nonexpansive mappings.
*J Math Anal Appl*1991, 158: 407–413. 10.1016/0022-247X(91)90245-UMATHMathSciNetView ArticleGoogle Scholar - Zhou H, Cho YJ, Kang SM: A new iterative algorithm for approximating common fixed points for asymptotically nonexpansive mappings.
*Fixed Point Theory Appl*2007, 2007: 64874.MathSciNetView ArticleGoogle Scholar - Alber YI: Metric and generalized projection operators in Banach spaces: Properties and applications. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Edited by: Kartosatos, AG. Marcel Dekker, New York; 1996:15–50.Google Scholar - Qin X, Cho SY, Kang SM: Strong convergence of shrinking projection methods for quasi-
*ϕ*-nonexpansive mappings and equilibrium problems.*J Comput Appl Math*2010, 234: 750–760. 10.1016/j.cam.2010.01.015MATHMathSciNetView ArticleGoogle Scholar - Zhou H, Gao G, Tan B: Convergence theorems of a modified hybrid algorithm for a family of quasi-
*ϕ*-asymptotically nonexpansive mappings.*J Appl Math Comput*2010, 32: 453–464. 10.1007/s12190-009-0263-4MATHMathSciNetView ArticleGoogle Scholar - Shahzad N, Zegeye H: Strong convergence of implicit iteration process for a finite family of generalized asymptotically quasi-nonexpansive maps.
*Appl Math Comput*2007, 189: 1058–1065. 10.1016/j.amc.2006.11.152MATHMathSciNetView ArticleGoogle Scholar - Liu M, Chang SS, Zuo P: On a hybrid method for generalized mixed equilibrium problem and fixed point problem of a family of quasi-
*ϕ*-asymptotically nonexpansive mappings in Banach spaces.*Fixed Point Theory Appl*2010.Google Scholar - Tada A, Takahashi W: Weak and strong convergence theorems for a nonexpansive mapping and an equilibrium problem.
*J Optim Theory Appl*2007, 133: 359–370. 10.1007/s10957-007-9187-zMATHMathSciNetView ArticleGoogle Scholar - Takahashi S, Takahashi W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces.
*J Math Anal Appl*2007, 331: 506–515. 10.1016/j.jmaa.2006.08.036MATHMathSciNetView ArticleGoogle Scholar - Zegeye H, Shahzad N: A hybrid approximation method for equilibrium, variational inequality and fixed point problems.
*Nonlinear Anal Hybrid Sys*2010, 4: 619–630. 10.1016/j.nahs.2010.03.005MATHMathSciNetView ArticleGoogle Scholar - Zegeye H, Shahzad N: Convergence of Mann's type iteration method for generalized asymptotically nonexpansive mappings.
*Comput Math Appl*2011, 62: 4007–4014. 10.1016/j.camwa.2011.09.018MATHMathSciNetView ArticleGoogle Scholar - Cho YJ, Qin X, Kang SM: Strong convergence of the modified Halpern-type iterative algorithms in Banach spaces.
*An St Univ Ovidius Constanta*2009, 17: 51–68.MATHMathSciNetGoogle Scholar - 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.031MATHMathSciNetView ArticleGoogle Scholar - Mosco U: Convergence of convex sets and of solutions of variational inequalities.
*Adv Math*1969, 3: 510–585. 10.1016/0001-8708(69)90009-7MATHMathSciNetView ArticleGoogle Scholar - Beer G:
*Topologies on Closed Convex Sets.*Kluwet Academic Publishers Group, Dordrecht; 1993.View ArticleGoogle Scholar - Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space.
*SIAM J Optim*2002, 13: 938–945. 10.1137/S105262340139611XMathSciNetView ArticleGoogle Scholar - Ibaraki T, Kimura Y, Takahashi W: Convergence theorems for generalized projections and maximal monotone operators in Banach space.
*Abstr Appl Anal*2003, 2003: 621–629. 10.1155/S1085337503207065MATHMathSciNetView ArticleGoogle Scholar - Zegeye H: A hybrid iteration scheme for equilibrium problems, variational inequality problems and common fixed point problems in Banach spaces.
*Nonlinear Anal*2010, 72: 2136–2146. 10.1016/j.na.2009.10.014MATHMathSciNetView ArticleGoogle Scholar

## Copyright

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