# Mosco convergence results for common fixed point problems and generalized equilibrium problems in Banach spaces

- Muhammad Aqeel Ahmad Khan
^{1}Email author, - Hafiz Fukhar-ud-din
^{1, 2}and - Abdul Rahim Khan
^{2}

**2014**:59

https://doi.org/10.1186/1687-1812-2014-59

© Khan et al.; licensee Springer. 2014

**Received: **24 September 2013

**Accepted: **19 February 2014

**Published: **6 March 2014

## Abstract

In this paper, we propose and analyze an explicit type algorithm for finding a common element of the set of solutions of a finite family of generalized equilibrium problems and the set of common fixed points of two countable families of total quasi-*φ*-asymptotically nonexpansive mappings in a Banach space *E*. As an application of our result, we suggest a framework for finding a common solution of a finite family of generalized equilibrium problems and common zeros of two finite families of maximal monotone operators on *E*.

**MSC:**47H05, 47H10, 47H15, 47J25, 49M05.

### Keywords

total quasi-*φ*-asymptotically nonexpansive mapping asymptotic fixed point equilibrium problem variational inequality problem maximal monotone operator Mosco convergence

## 1 Introduction and preliminaries

*E*be a real Banach space with the norm $\parallel \cdot \parallel $ and ${E}^{\ast}$ be its dual. Let

*C*be a nonempty subset of

*E*and $T:C\to C$ be a mapping. We denote by $F(T)=\{x\in C:x=Tx\}$ the set of fixed points of

*T*. We symbolize weak convergence and strong convergence of a sequence $\{{x}_{n}\}$ in

*E*as ${x}_{n}\rightharpoonup x$ and ${x}_{n}\to x$, respectively. Let $f:C\times C\to \mathbb{R}$ (the set of reals) be a bifunction and $A:C\to {E}^{\ast}$ be a nonlinear mapping. A generalized equilibrium problem is to find the set

where $\u3008\cdot \phantom{\rule{0.2em}{0ex}},\cdot \u3009$ stands for the duality product.

- (i)if $A\equiv 0$, then problem (1.1) reduces to the following equilibrium problem $EP(f)$:$\text{find}x\in C\text{such that}f(x,y)\ge 0\text{for all}y\in C;$
- (ii)if $f\equiv 0$, then problem (1.1) reduces to the classical variational inequality problem $VI(C,A)$:$\text{find}x\in C\text{such that}\u3008Ax,y-x\u3009\ge 0\text{for all}y\in C.$

The equilibrium problem provides a unified approach to finding a solution of a large number of problems arising in physics, optimization, economics and fixed point problems [1]. Moreover, the generalized equilibrium problem addresses monotone inclusion problems, variational inequality problems, minimization problems and vector equilibrium problem [2–4]. Since an algorithmic construction plays a key role in solving nonlinear equations in various fields of investigation, numerous implicit and explicit algorithms have been developed for the approximate solution of nonlinear equations as well as for the approximation of fixed points of various mappings [5–7].

*E*is said to be:

- (i)
*strictly convex*if for all $x,y\in {S}_{E}:=\{z\in E:\parallel z\parallel =1\}$ with $x\ne y$, we have $\parallel x+y\parallel <2$; - (ii)
*uniformly convex*if for any $\u03f5\in (0,2]$, there exists $\delta >0$ such that$x,y\in {S}_{E},\phantom{\rule{1em}{0ex}}\parallel x-y\parallel \ge \u03f5\phantom{\rule{1em}{0ex}}\u27f9\phantom{\rule{1em}{0ex}}\parallel \frac{x+y}{2}\parallel \le 1-\delta .$

A Banach space *E* is said to have the Kadec-Klee property if for any sequence $\{{x}_{n}\}$ in *E* with ${x}_{n}\rightharpoonup {x}_{0}\in E$ and ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}\parallel =\parallel {x}_{0}\parallel $, we have ${x}_{n}\to {x}_{0}$. Note that every uniformly convex Banach space *E* is strictly convex and enjoys the Kadec-Klee property but the converse is not true.

for $x,y\in {S}_{E}$ and $t\in \mathbb{R}\setminus \{0\}$. The norm of *E* is said to be *Gâteaux differentiable* if ${lim}_{t\to 0}h(x,y,t)$ exists for each $x,y\in {S}_{E}$ and in this case *E* is *smooth*.

It is remarked that the set-valued mapping *J* is nonempty, closed and convex in a real Banach space whereas *J* is single-valued in a reflexive, strictly convex and smooth Banach space. Furthermore, ${J}^{-1}:{E}^{\ast}\to E$, the inverse of the normalized duality mapping *J*, is also a duality mapping in a uniformly convex and smooth Banach space. Both *J* and ${J}^{-1}$ are uniformly norm-to-norm continuous on each bounded subset of *E* and ${E}^{\ast}$, respectively. If *E* is reflexive and strictly convex, then ${J}^{-1}$ is norm-to-weak continuous. For more details, see [8, 9].

It is obvious from the definition of *φ* that $\phi (x,y)\ge 0$ for all $x,y\in E$. In a real Hilbert space, $\phi (x,y)={\parallel x-y\parallel}^{2}$ for all $x,y\in E$. For details, see [5, 10].

Let *E* be a reflexive, strictly convex and smooth Banach space, and let *C* be a nonempty, closed and convex subset of *E*. Then, for arbitrarily fixed $x\in E$, there exists a unique point ${y}_{x}\in C$ such that $\phi (x,{y}_{x})={min}_{y\in C}\phi (x,y)$. Following the notation of [5], we let ${\mathrm{\Pi}}_{C}(x)={y}_{x}$ and call ${\mathrm{\Pi}}_{C}$ a generalized projection onto *C*. Note that the generalized projection operator coincides with the metric projection in a Hilbert space.

A point $x\in C$ is said to be an *asymptotic fixed point* [11] of $T:C\to C$ if there exists a sequence $\{{x}_{n}\}\subset C$ such that ${x}_{n}\rightharpoonup x$ and ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-T{x}_{n}\parallel =0$. The set of all asymptotic fixed points of *T* is denoted by $\stackrel{\u02c6}{F}(T)$.

- (i)
*nonexpansive*if $\parallel Tx-Ty\parallel \le \parallel x-y\parallel $ for all $x,y\in C$; - (ii)
*relatively nonexpansive*if $\stackrel{\u02c6}{F}(T)=F(T)\ne \mathrm{\varnothing}$ and $\phi (p,Tx)\le \phi (p,x)$ for all $p\in F(T)$ and $x\in C$; - (iii)
*quasi-φ-nonexpansive*if $F(T)\ne \mathrm{\varnothing}$ and $\phi (p,Tx)\le \phi (p,x)$ for all $p\in F(T)$ and $x\in C$; - (iv)
*quasi-φ-asymptotically nonexpansive*if there exists a real sequence $\{{k}_{n}\}$ with ${k}_{n}\ge 1$; ${k}_{n}\stackrel{n\to \mathrm{\infty}}{\to}1$ and $F(T)\ne \mathrm{\varnothing}$ such that $\phi (p,{T}^{n}x)\le {k}_{n}\phi (p,x)$ for all $n\ge 1$, $p\in F(T)$ and $x\in C$; - (v)
*total quasi-φ-asymptotically nonexpansive*if there exist nonnegative real sequences $\{{k}_{n}\}$ and $\{{\eta}_{n}\}$ with ${k}_{n}\stackrel{n\to \mathrm{\infty}}{\to}0$, ${\eta}_{n}\stackrel{n\to \mathrm{\infty}}{\to}0$ and $F(T)\ne \mathrm{\varnothing}$ such that$\phi (p,{T}^{n}x)\le \phi (p,x)+{k}_{n}\xi (\phi (p,x))+{\eta}_{n}\phantom{\rule{1em}{0ex}}\text{for all}n\ge 1,p\in F(T)\text{and}x\in C,$

where $\xi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ is a strictly increasing continuous function with $\xi (0)=0$.

It is worth mentioning that the class of total quasi-*φ*-asymptotically nonexpansive mappings properly contains the mappings defined in (i)-(iv), but the converse is not true.

*L*-Lipschitzian if

Recently, numerous attempts have been made to guarantee strong convergence through explicit and implicit algorithms for finding a common solution of the set of fixed points of (relatively nonexpansive, quasi-*φ*-nonexpansive, quasi-*φ*-asymptotically nonexpansive, total quasi-*φ*-asymptotically nonexpansive) mappings and the set of solutions of equilibrium problems; see [12–21] and the references cited therein.

*T*and the set of solutions of an equilibrium problem. Their algorithm reads as follows:

where *J* is the duality mapping on *E* and ${\mathrm{\Pi}}_{C}$ is the generalized projection from *E* onto *C*. They proved that the sequence $\{{x}_{n}\}$ generated by (1.2) converges strongly to ${\mathrm{\Pi}}_{F(T)\cap EP(f)}{x}_{0}$ under some appropriate conditions.

*et al.*[12] proved a strong convergence theorem for finding a common element of the set of solutions for generalized equilibrium problem (1.1) and the set of common fixed points for a pair of relatively nonexpansive mappings in Banach spaces. Their algorithm reads as follows:

where *J*, *T*, *S* and ${\mathrm{\Pi}}_{C}$ are as in (1.2). The authors showed that the sequence $\{{x}_{n}\}$ generated by (1.3) converges strongly to ${\mathrm{\Pi}}_{F(S)\cap F(T)\cap GEP(f)}{x}_{0}$ under some appropriate conditions.

In 2009, Wattanawitton and Kumam [22] approximated a common solution for a pair of relatively quasi-nonexpansive mappings and an equilibrium problem. Recently, Qin *et al.* [18] established strong convergence results for a pair of asymptotically quasi-*φ*-nonexpansive mappings in a Banach space. It is worth mentioning that the hybrid algorithms proposed in [12, 18, 22] are computationally complex. Therefore, it is natural to have improved and computationally simpler counterparts.

Quite recently, Zuo *et al.* [16] proposed a hybrid algorithm for total quasi-*φ*-asymptotically nonexpansive mappings and established strong convergence results in a Banach space. Moreover, they characterized such strong convergence results by using the notion of Mosco convergence; see also [23]. Inspired and motivated by the work of Takahashi and Zembayashi [21], Chang *et al.* [12] and Zuo *et al.* [16], we aim to introduce and analyze a general algorithm based on the shrinking projection method for finding a common element of the set of common solutions of a finite family of generalized equilibrium problems and the set of common fixed points of two countable families of total quasi-*φ*-asymptotically nonexpansive mappings. We also characterize the set of common solutions for families of total quasi-*φ*-asymptotically nonexpansive mappings and equilibrium problems in terms of Mosco convergence.

We now introduce the notion of Mosco convergence.

Let $\{{C}_{n}\}$ be a sequence of nonempty closed convex subsets of a reflexive Banach space *E*. We denote the set of all strong limit points of $\{{C}_{n}\}$ by $s-L{i}_{n}{C}_{n}$, that is, $x\in s-L{i}_{n}{C}_{n}$ if and only if there exists $\{{x}_{n}\}\subset E$ such that $\{{x}_{n}\}$ converges strongly to *x* and that ${x}_{n}\in {C}_{n}$ for all *n*. Similarly, we define the set of all weak subsequential limit points by $w-L{s}_{n}{C}_{n}$; $y\in w-L{s}_{n}{C}_{n}$ if and only if there exist a subsequence $\{{C}_{{n}_{i}}\}$ of $\{{C}_{n}\}$ and a sequence $\{{y}_{i}\}\subset E$ such that $\{{y}_{i}\}$ converges weakly to *y* and ${y}_{i}\in {C}_{{n}_{i}}$ for all *i*. If ${C}_{0}$ satisfies ${C}_{0}=s-L{i}_{n}{C}_{n}=w-L{s}_{n}{C}_{n}$, then we say that $\{{C}_{n}\}$ converges to ${C}_{0}$ in the sense of Mosco and we write ${C}_{0}=M\text{-}{lim}_{n}{C}_{n}$. By definition, it always holds that $s-L{i}_{n}{C}_{n}\subset w-L{s}_{n}{C}_{n}$. Therefore, to prove ${C}_{0}=M\text{-}{lim}_{n}{C}_{n}$, it suffices to show that $w-L{s}_{n}{C}_{n}\subset {C}_{0}\subset s-L{i}_{n}{C}_{n}$. One of the simplest examples of Mosco convergence is a decreasing sequence $\{{C}_{n}\}$ with respect to inclusion. The Mosco limit of such a sequence is ${\bigcap}_{n=1}^{\mathrm{\infty}}{C}_{n}$. For more details, we refer to [23, 24].

For a relation between a sequence of closed convex sets and the corresponding generalized projections, we state the following lemma which plays a key role in our main result.

**Lemma 1.1** ([23], Theorem 2.2)

*Let* *E* *be a smooth*, *reflexive and strictly convex Banach space having the Kadec*-*Klee property*. *Let* $\{{C}_{n}\}$ *be a sequence of nonempty closed subset of E*. *If* ${C}_{0}=M\text{-}{lim}_{n}{C}_{n}$ *exists and is nonempty*, *then* $\{{\mathrm{\Pi}}_{{C}_{n}}x\}$ *converges strongly to* ${\mathrm{\Pi}}_{{C}_{0}}x$ *for each* $x\in C$.

The following two results can be found as Remark 7.3 in [5].

**Lemma 1.2**

*Let*

*C*

*be a nonempty closed convex subset of a smooth*,

*strictly convex and reflexive Banach space*

*E*,

*let*${x}_{0}\in E$

*and let*$x\in C$.

*Then*${\mathrm{\Pi}}_{C}{x}_{0}=x$

*if and only if*

**Lemma 1.3**

*Let*

*E*

*be a reflexive*,

*strictly convex and smooth Banach space*,

*let*

*C*

*be a nonempty closed convex subset of*

*E*

*and let*$x\in E$.

*Then*

The following well-known results are also needed in the sequel for the development of our main result.

**Lemma 1.4** ([25], Proposition 2)

*Let* *E* *be a uniformly convex and smooth Banach space and let* $\{{x}_{n}\}$, $\{{y}_{n}\}$ *be two sequences of* *E*. *If* $\phi ({x}_{n},{y}_{n})\to 0$ *and either* $\{{x}_{n}\}$ *or* $\{{y}_{n}\}$ *is bounded*, *then* ${x}_{n}-{y}_{n}\to 0$.

**Lemma 1.5** ([6], Lemma 1.4)

*Let*

*E*

*be a uniformly convex Banach space and let*${B}_{r}[0]$

*be a closed ball in*

*E*.

*Then there exists a continuous strictly increasing convex function*$g:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*with*$g(0)=0$

*such that*

*for all* $x,y\in {B}_{r}[0]$ *and* $\alpha ,\beta ,\gamma \in [0,1]$ *with* $\alpha +\beta +\gamma =1$.

For solving the equilibrium problem, let us assume that the bifunction *f* satisfies the following conditions (*cf.* [2, 26]):

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

(A2) *f* is monotone, *i.e.*, $f(x,y)+f(y,x)\le 0$ for all $x,y\in C$;

(A3) ${lim\hspace{0.17em}sup}_{t\downarrow 0}f(tz+(1-t)x,y)\le f(x,y)$ for all $x,y,z\in C$;

(A4) $f(x,\cdot )$ is convex and lower semicontinuous for all $x\in C$.

The following result is stated as Lemma 2.7 in [21] (see also [2]).

**Lemma 1.6**

*Let*

*C*

*be a closed convex subset of a smooth*,

*strictly convex and reflexive Banach space*

*E*,

*let*$f:C\times C\to \mathbb{R}$

*be a bifunction satisfying*(A1)-(A4),

*let*$r>0$

*and*$x\in E$.

*Then there exists*$z\in C$

*such that*

**Lemma 1.7** ([21], Lemma 2.8)

*Let*

*C*

*be a closed convex subset of a uniformly smooth*,

*strictly convex and reflexive Banach space*

*E*.

*Let*$f:C\times C\to \mathbb{R}$

*be a bifunction satisfying*(A1)-(A4).

*For*$r>0$

*and*$x\in E$,

*define a mapping*${V}_{r}:E\to C$

*by*

*for all*$x\in C$.

*Then the following hold*:

- (1)
$EP(f)$

*is closed and convex*; - (2)
${V}_{r}$

*is single*-*valued*; - (3)${V}_{r}$
*is firmly nonexpansive*-*type mapping*,*i*.*e*.,$\u3008{V}_{r}x-{V}_{r}y,J{V}_{r}x-J{V}_{r}y\u3009\le \u3008{V}_{r}x-{V}_{r}y,Jx-Jy\u3009\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}x,y\in E,$ - (4)
$F({V}_{r})=EP(f)$.

## 2 Main results

Let *C* be a nonempty closed convex subset of a strictly convex, reflexive and smooth Banach space *E* having the Kadec-Klee property. Let ${T}_{i},{S}_{i}:C\to C$ be two countable families of uniformly *L*-Lipschitzian and uniformly total quasi-*φ*-asymptotically nonexpansive mappings with sequences $\{{k}_{n}^{T}\}$, $\{{\eta}_{n}^{T}\}$ and $\{{k}_{n}^{S}\}$, $\{{\eta}_{n}^{S}\}$, respectively. Let ${f}_{n}:C\times C\to \mathbb{R}$, $n=1,2,3,\dots ,N$, be a finite family of bifunctions such that ${f}_{n}\equiv {f}_{n}(modN)$ (here the mod*N* function takes values in $\{1,2,3,\dots ,N\}$).

**Algorithm**

where ${\alpha}_{n,i}+{\beta}_{n,i}+{\gamma}_{n,i}=1$ and ${\mathrm{\Theta}}_{n}:=(1-{\alpha}_{n,i})\{{k}_{n}{sup}_{u\in F}\xi (\phi (u,{x}_{n}))+{\eta}_{n}\}$.

**Theorem 2.1** *Let* *C* *be a nonempty closed convex subset of a strictly convex*, *reflexive and smooth Banach space* *E* *having the Kadec*-*Klee property and let* ${T}_{i},{S}_{i}:C\to C$ *be two countable families of uniformly* *L*-*Lipschitzian and uniformly total quasi*-*φ*-*asymptotically nonexpansive mappings with sequences* $\{{k}_{n}\}$ *and* $\{{\eta}_{n}\}$, *where* $0<L:=max\{{L}_{i}^{T},{L}_{i}^{S}\}$ *for each* $i\ge 1$, $\{{k}_{n}\}:={max}_{n\ge 1}\{\{{k}_{n}^{T}\},\{{k}_{n}^{S}\}\}$ *and* $\{{\eta}_{n}\}:={max}_{n\ge 1}\{\{{\eta}_{n}^{T}\},\{{\eta}_{n}^{S}\}\}$. *Let* ${f}_{n}:C\times C\to \mathbb{R}$, $n=1,2,3,\dots ,N$, *be a finite family of bifunctions satisfying* (A1)-(A4) *such that* ${f}_{n}={f}_{n}(modN)$. *Let* $a\le {\alpha}_{n,i},{\beta}_{n,i},{\gamma}_{n,i}\le b$ *for some* $a,b\in (0,1)$ *and* $\{{r}_{n}\}\subset (0,\mathrm{\infty})$ *satisfying*:

(C1) ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{r}_{n}>0$.

*Assume that* $F:=[{\bigcap}_{i=1}^{\mathrm{\infty}}F({T}_{i})]\cap [{\bigcap}_{i=1}^{\mathrm{\infty}}F({S}_{i})]\cap [{\bigcap}_{n=1}^{N}GEP({f}_{n})]\ne \mathrm{\varnothing}$. *Then the sequence* $\{{x}_{n}\}$ *generated by* (2.1) *converges strongly to* $x={\mathrm{\Pi}}_{F}{x}_{0}$, *where* ${\mathrm{\Pi}}_{F}$ *is the generalized projection of* *E* *onto* *F*.

*Proof*For each $n=1,2,3,\dots ,N$, define ${G}_{n}:C\times C\to \mathbb{R}$ by ${G}_{n}(x,y)={f}_{n}(x,y)+\u3008{A}_{n}x,y-x\u3009$. Then ${G}_{n}$ coincides with the classical equilibrium problem and satisfies (A1)-(A4). Now, we show that algorithm (2.1) is well defined. By Lemma 1.7(1) we have that

*F*is closed and convex. Next we show that ${C}_{n+1}$ is closed and convex. Clearly, ${C}_{0}=C$ is closed and convex. Suppose that ${C}_{k}$ is closed and convex for $k\in \mathbb{N}$ (set of naturals). For each $z\in {C}_{k}$, we observe that

where ${\mathrm{\Theta}}_{k}:=(1-{\alpha}_{k,i})\{{k}_{k}{sup}_{u\in F}\xi (\phi (u,{x}_{k}))+{\eta}_{k}\}$. This shows that $p\in {C}_{k+1}$; consequently, $F\subset {C}_{k+1}$. By induction, we also get that $F\subset {C}_{n+1}$ for all $n\ge 0$ with ${\mathrm{\Theta}}_{n}:=(1-{\alpha}_{n,i})\{{k}_{n}{sup}_{u\in F}\xi (\phi (u,{x}_{n}))+{\eta}_{n}\}$. Since $F\ne \mathrm{\varnothing}$ and ${C}_{n+1}$ is a nonempty closed convex subset of *E*, hence both ${\mathrm{\Pi}}_{{C}_{n+1}}x$ and $\{{x}_{n}\}$ are well defined.

for each $p\in F$.

So $\phi ({x}_{n},{x}^{\ast})$ is nondecreasing and bounded. This implies that ${lim}_{n\to \mathrm{\infty}}\phi ({x}_{n},{x}^{\ast})$ exists.

*C*is a closed subset of the Banach space

*E*, we can assume that there exists a point $x\in C$ such that

*E*with ${C}_{0}={\bigcap}_{n=1}^{\mathrm{\infty}}{C}_{n}$ is nonempty. That is,

Hence Lemma 1.1 asserts that $\{{\mathrm{\Pi}}_{{C}_{n}}{x}_{0}\}$ converges to ${\mathrm{\Pi}}_{{C}_{0}}{x}_{0}$.

In what follows, we show that:

Step 1. $x\in [{\bigcap}_{i=1}^{\mathrm{\infty}}F({T}_{i})]\cap [{\bigcap}_{i=1}^{\mathrm{\infty}}F({S}_{i})]$;

Step 2. $x\in [{\bigcap}_{n=1}^{N}EP({G}_{n})]$;

Step 3. $x={\mathrm{\Pi}}_{F}{x}_{0}$.

*J*is uniformly norm-to-norm continuous on bounded sets, so we have

*g*is a continuous function and $g(0)=0$, so we have

*L*-Lipschitzian, we have

Moreover, it yields that ${lim}_{n\to \mathrm{\infty}}\parallel {T}_{i}^{n+1}{x}_{n}-x\parallel =0$, $i\ge 1$; consequently, we have ${T}_{i}({T}_{i}^{n}{x}_{n})\stackrel{n\to \mathrm{\infty}}{\to}x$, $i\ge 1$. So we infer that $x\in {\bigcap}_{i=1}^{\mathrm{\infty}}F({T}_{i})$.

Reasoning as above, one can also show that $x\in {\bigcap}_{i=1}^{\mathrm{\infty}}F({S}_{i})$.

*i.e.*, ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{r}_{n}>0$, we observe that

From ${u}_{{n}_{j},i}\to x$ and (A4), we obtain ${G}_{1}(y,x)\le 0$ for all $y\in C$. Let ${y}_{t}=ty+(1-t){x}_{0}$ for $0<t<1$ and $y\in C$. Then ${y}_{t}\in C$ and hence ${G}_{1}({y}_{t},x)\le 0$. From (A1) and (A4), we have $0={G}_{1}({y}_{t},{y}_{t})\le t{G}_{1}({y}_{t},y)+(1-t){G}_{1}({y}_{t},x)\le t{G}_{1}({y}_{t},y)$. Thus, ${G}_{1}({y}_{t},y)\ge 0$. From (A3), we have ${G}_{1}(x,y)\ge 0$ for all $y\in C$. Hence $x\in EP({G}_{1})$. In a similar fashion, we have some $k\ge 1$ such that ${G}_{2}={G}_{{n}_{k}}$ and $x\in EP({G}_{2})$. Therefore, $x\in {\bigcap}_{n=1}^{N}EP({G}_{n})$ and hence $x\in F$.

Proof of Step 3. Lemma 1.1 asserts that the sequence $\{{x}_{n}\}=\{{\mathrm{\Pi}}_{{C}_{n}}{x}_{0}\}$ converges to ${\mathrm{\Pi}}_{{C}_{0}}{x}_{0}$. Let $p={\mathrm{\Pi}}_{{C}_{0}}{x}_{0}\in F$ and *F* is a nonempty closed convex subset of ${C}_{0}={\bigcap}_{n=1}^{\mathrm{\infty}}{C}_{n}$. Therefore $p={\mathrm{\Pi}}_{F}{x}_{0}$. It suffices to show that $x=p$. For this, we reason as follows:

Since *E* has the Kadec-Klee property, we have that ${lim}_{k\to \mathrm{\infty}}{x}_{{n}_{k}}=x={\mathrm{\Pi}}_{F}{x}_{0}$.

The arbitrariness of $\{{x}_{{n}_{k}}\}$ implies that $\{{x}_{n}\}$ converges strongly to $x={\mathrm{\Pi}}_{F}{x}_{0}$. □

**Remark 2.2** If ${\{{T}_{i}\}}_{i=1}^{N}$ and ${\{{S}_{i}\}}_{i=1}^{N}$ are finite families in Theorem 2.1, then its conclusion can be strengthened as follows:

The sequence $\{{x}_{n}\}$ generated by (2.1) converges strongly to some $x\in F$ if and only if ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F)=0$, where $x={\mathrm{\Pi}}_{F}{x}_{0}$ and $d(q,F)=inf\{d(q,y):y\in F\}$.

*Proof*The necessity is obvious. Conversely, suppose that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F)=0$. Since $\phi ({x}_{n},{x}^{\ast})$ is bounded and ${lim}_{n\to \mathrm{\infty}}\phi ({x}_{n},{x}^{\ast})$ exists (established above). Moreover, Lemma 1.3 and the following estimate

Since *F* is closed, this implies $x\in F$. Now, as in the proof of Step 3 in Theorem 2.1, we have $x={\mathrm{\Pi}}_{F}{x}_{0}$. □

To proceed further, we need the following concept.

*f*be a nondecreasing self-mapping on $[0,\mathrm{\infty})$ with $f(0)=0$ and $f(t)>0$ for all $t\in (0,\mathrm{\infty})$. Let $\{{T}_{i}:i\in I\}$ and $\{{S}_{i}:i\in I\}$ be two finite families of total quasi-

*φ*-asymptotically nonexpansive mappings on

*C*with $F\ne \mathrm{\varnothing}$. Then the two families are said to satisfy condition (I) on

*C*if

As an application of Theorem 2.1 to the case of finite families of mappings ${\{{T}_{i}\}}_{i=1}^{N}$ and ${\{{S}_{i}\}}_{i=1}^{N}$, we obtain the following new strong convergence result.

**Theorem 2.3** *Let* *C* *be a nonempty closed convex subset of a strictly convex*, *reflexive and smooth Banach space* *E* *having the Kadec*-*Klee property and let* ${T}_{i},{S}_{i}:C\to C$ *be two finite families of uniformly* *L*-*Lipschitzian and uniformly total quasi*-*φ*-*asymptotically nonexpansive mappings with sequences* $\{{k}_{n}\}$ *and* $\{{\eta}_{n}\}$, *where* $0<L:=max\{{L}_{i}^{T},{L}_{i}^{S}\}$ *for each* $i\ge 1$, $\{{k}_{n}\}:={max}_{n\ge 1}\{\{{k}_{n}^{T}\},\{{k}_{n}^{S}\}\}$ *and* $\{{\eta}_{n}\}:={max}_{n\ge 1}\{\{{\eta}_{n}^{T}\},\{{\eta}_{n}^{S}\}\}$. *Let* ${f}_{n}:C\times C\to \mathbb{R}$, $n=1,2,3,\dots ,N$, *be a finite family of bifunctions satisfying* (A1)-(A4) *such that* ${f}_{n}={f}_{n}(modN)$. *Let* $a\le {\alpha}_{n,i},{\beta}_{n,i},{\gamma}_{n,i}\le b$ *for some* $a,b\in (0,1)$ *and* $\{{r}_{n}\}\subset (0,\mathrm{\infty})$ *satisfying*

(C1) ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{r}_{n}>0$.

*Assume that* ${T}_{i}$ *and* ${S}_{i}$ *satisfy condition* (I) *and* $F\ne \mathrm{\varnothing}$. *Then the sequence* $\{{x}_{n}\}$ *generated by* (2.1) *converges strongly to some* $x\in F$, *where* $x={\mathrm{\Pi}}_{F}{x}_{0}$.

*Proof*It follows from Theorem 2.1 that

This implies that ${lim}_{n\to \mathrm{\infty}}f(d({u}_{n,i},F))=0$. Since *f* is nondecreasing and $f(0)=0$, we have ${lim}_{n\to \mathrm{\infty}}d({u}_{n,i},F)=0$. The rest of the proof follows from Remark 2.2 and is, therefore, omitted. □

As another application of Theorem 2.1, we establish a result for finding a common element in the set of solutions of a finite family of generalized equilibrium problems and the set of common zeros of two finite families of maximal monotone operators on a Banach space.

First we recall some preliminary concepts as follows.

A point $u\in E$ satisfying $0\in Tu$ is called a zero of *T* and the set of all such points is denoted by ${T}^{-1}0$. *T* is said to be maximal monotone if *T* has no monotone extension. Equivalently, *T* is maximal monotone if the graph of *T*, *i.e.*, $G(T)=\{(x,y):y\in Tx\}$, is not properly contained in the graph of any other monotone operator (*cf.* [27], p.264).

Let *E* be a strictly convex, reflexive and smooth Banach space and let $T:E\to {E}^{\ast}$ be a maximal monotone operator. For a positive real number *r*, we can define a single-valued mapping ${J}_{r}:E\to D(T)$ by ${J}_{r}(x)={(J+rT)}^{-1}Jx$ for each $x\in E$. This mapping is called resolvent of *T* for $r>0$. It is known that if *T* is maximal monotone, then ${T}^{-1}0=F({J}_{r})$ for each $r>0$. Moreover, ${T}^{-1}0$ is a closed convex subset of *E*. For each $r>0$, we can define *Yosida approximation* of *T* by ${Y}_{r}x=\frac{1}{r}(Jx-J{J}_{r}x)$ for all $x\in E$. We know that ${Y}_{r}x\in T({J}_{r}x)$; for more details, see [9].

**Theorem 2.4** *Let* *C* *be a nonempty closed convex subset of a strictly convex*, *reflexive and smooth Banach space* *E* *having the Kadec*-*Klee property*. *Let* ${T}_{i},{S}_{i}:E\to {E}^{\ast}$, $i=1,2,3,\dots ,N$, *be two finite families of maximal monotone operators and let* ${J}_{r,i}^{{T}_{i}}$ *and* ${J}_{r,i}^{{S}_{i}}$ *be the corresponding finite families of resolvents of* ${T}_{i}$ *and* ${S}_{i}$, *respectively*, *where* $r>0$. *Let* ${f}_{n}:C\times C\to \mathbb{R}$, $n=1,2,3,\dots ,N$, *be a finite family of bifunctions satisfying* (A1)-(A4). *Let* $\{{\alpha}_{n,i}\}$, $\{{\beta}_{n,i}\}$ *and* $\{{\gamma}_{n,i}\}$ *be three sequences in* $[0,1]$ *such that* ${\alpha}_{n,i}+{\beta}_{n,i}+{\gamma}_{n,i}=1$ *and* $\{{r}_{n}\}\subset (0,\mathrm{\infty})$ *satisfying*

(C1) ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{r}_{n}>0$.

*Assume that*$F:=[{\bigcap}_{i=1}^{N}{T}_{i}^{-1}]\cap [{\bigcap}_{i=1}^{N}{S}_{i}^{-1}]\cap [{\bigcap}_{n=1}^{N}GEP({f}_{n})]\ne \mathrm{\varnothing}$.

*Then the sequence*$\{{x}_{n}\}$

*generated by*

*converges strongly to* ${\mathrm{\Pi}}_{F}{x}_{0}$, *where* ${\mathrm{\Pi}}_{F}$ *is the generalized projection of* *E* *onto* *F* *and* ${\mathrm{\Theta}}_{n}:=(1-{\alpha}_{n,i})\{{k}_{n}{sup}_{u\in F}\xi (\phi (u,{x}_{n}))+{\eta}_{n}\}$.

*Proof*The first part of this proof - ${J}_{{r}_{n,i}}^{{T}_{i}}$ (resp. ${J}_{{r}_{n,i}}^{{S}_{i}}$) are relatively nonexpansive mappings for each $i\ge 1$ - is essentially due to Matsushita and Takahashi (

*cf.*[[27], p.265]) which we include for completeness. Note that $\stackrel{\u02c6}{F}({J}_{{r}_{n,i}}^{{T}_{i}})\subset {T}_{i}^{-1}0$ for each $i=1,2,3,\dots ,N$. Let $p\in \stackrel{\u02c6}{F}({J}_{{r}_{n,i}}^{{T}_{i}})$. Then there exists $\{{z}_{n}\}\subset E$ such that ${z}_{n}\rightharpoonup p$ and ${lim}_{n\to \mathrm{\infty}}\parallel {z}_{n}-{J}_{{r}_{n,i}}^{{T}_{i}}{z}_{n}\parallel =0$. Since ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{r}_{n}>0$, we have

for all $w\in D({T}_{i})$ and ${w}^{\ast}\in {T}_{i}w$. Therefore, from the maximality of ${T}_{i}$, we obtain that $p\in {T}_{i}^{-1}0$. On the other hand, ${T}_{i}^{-1}0=F({J}_{r,i}^{{T}_{i}})$ and $F({J}_{r,i}^{{T}_{i}})\subset \stackrel{\u02c6}{F}({J}_{r,i}^{{T}_{i}})$, so we have ${T}_{i}^{-1}0=F({J}_{r,i}^{{T}_{i}})=\stackrel{\u02c6}{F}({J}_{r,i}^{{T}_{i}})$ for each $i=1,2,3,\dots ,N$. Similarly, we can show that $p\in {S}_{i}^{-1}0$ and ${S}_{i}^{-1}0=F({J}_{r,i}^{{S}_{i}})=\stackrel{\u02c6}{F}({J}_{r,i}^{{S}_{i}})$ for each $i=1,2,3,\dots ,N$. Moreover, the resolvent ${J}_{r,i}^{{T}_{i}}$ of ${T}_{i}$ (resp. ${J}_{r,i}^{{S}_{i}}$ of ${S}_{i}$) with $r>0$ satisfies $\phi (u,{J}_{r,i}^{{T}_{i}}x)\le \phi (u,x)$ for all $u\in F({J}_{r,i}^{{T}_{i}})$ and $x\in E$ (resp. $\phi (u,{J}_{r,i}^{{S}_{i}}x)\le \phi (u,x)$ for all $u\in F({J}_{r,i}^{{S}_{i}})$ and $x\in E$). Hence ${J}_{r,i}^{{T}_{i}}$ and ${J}_{r,i}^{{S}_{i}}$ are relatively nonexpansive mappings. Since the class of relatively nonexpansive mappings is properly contained in the class of total quasi-*φ*-asymptotically nonexpansive mappings, for a finitely many mappings case, one can derive the desired result from Theorem 2.1. □

**Remark 2.5**It is worth to mention that Theorem 2.1 and Theorem 2.4 improve and generalize various results available in the current literature. In particular, we highlight some significant features of both these theorems as follows.

- (i)
Algorithm (2.1) is comparatively more general and computationally simpler than the algorithms which appeared in [12, 18] and [22], respectively, in the context of (two) countable families of total quasi-

*φ*-asymptotically nonexpansive mappings. - (ii)
Theorem 2.1 improves and extends [[12], Theorem 3.1], [16], [[21], Theorem 3.1] and [[22], Theorem 3.1] for two countable families of total quasi-

*φ*-asymptotically nonexpansive mappings and a finite family of generalized equilibrium problems. - (iii)
Theorem 2.4 improves and extends [[12], Theorem 4.1] for two finite families of maximal monotone operators. Moreover, our algorithm (2.14) is computationally simpler in comparison with algorithm (4.3) in [[12], Theorem 3.1].

- (iv)
Theorem 2.4 improves and extends [[28], Theorem 4.1] for two finite families of maximal monotone operators in the more general domain of a strictly convex, reflexive and smooth Banach space

*E*. - (v)
In the context of an approximate common solution for an equilibrium problem, a maximal monotone operator and a countable family of relatively nonexpansive mappings, algorithms (2.1) and (2.14) are more general and computationally simpler in comparison with algorithms (3.1) and (4.2), respectively, in [28].

- (vi)
Algorithm (2.14) is computationally simpler in comparison with algorithms (3.6) in [29] and (3.1) in [30]. Moreover, Theorem 2.4 improves [[29], Theorem 3.2] and [[30], Theorem 3.1] by removing the ${H}_{n}$ and ${W}_{n}$ conditions in the corresponding algorithms.

- (vii)
Theorem 2.4 is an analogue of [[17], Theorem 3.1] for the approximation of a common zero for a finite family of maximal monotone operators.

## Declarations

### Acknowledgements

We are very grateful to anonymous referees for their critical and useful comments. The author MAA Khan gratefully acknowledges the support of Higher Education Commission (HEC) of Pakistan. The authors H Fukhar-ud-din and AR Khan are grateful to King Fahd University of Petroleum and Minerals for supporting the research project IN121037.

## Authors’ Affiliations

## References

- Moudafi A: Second order differential proximal methods for equilibrium problems.
*J. Inequal. Pure Appl. Math.*2003., 4: Article ID 18Google Scholar - Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems.
*Math. Stud.*1994, 63: 123–145.MathSciNetGoogle Scholar - Khan MAA, Fukhar-ud-din H: Strong convergence by the shrinking effect of two half-spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 30 10.1186/1687-1812-2013-30Google Scholar - Moudafi A, Thera M Lecture Notes in Economics and Mathematical Systems 477. In
*Proximal and Dynamical Approaches to Equilibrium Problems*. Springer, Berlin; 1999:187–201.Google Scholar - Alber Y: 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: Kartsatos AG. Dekker, New York; 1996:15–50.Google Scholar - Cho YJ, Zhou H, Guo G: Weak and strong convergence theorems for three-step iterations with errors for asymptotically nonexpansive mappings.
*Comput. Math. Appl.*2004, 47: 707–717. 10.1016/S0898-1221(04)90058-2View ArticleMathSciNetGoogle Scholar - Ibraki T, Kimura Y, Takahashi W: Convergence theorems for generalized projections and maximal monotone operators in a Banach space.
*Abstr. Appl. Anal.*2003, 2003: 621–629. 10.1155/S1085337503207065View ArticleGoogle Scholar - Barbu V Springer Monographs in Mathematics. In
*Nonlinear Differential Equations of Monotone Types in Banach Spaces*. Springer, Berlin; 2010.View ArticleGoogle Scholar - Takahashi W:
*Nonlinear Functional Analysis*. Yokohama Publishers, Yokohama; 2000.Google Scholar - Cioranescu I: Geometry of Banach spaces. In
*Duality Mappings and Nonlinear Problems*. Kluwer, Dordrecht; 1990.View ArticleGoogle Scholar - Reich S: A weak convergence theorem for the alternating method with Bregman distances. Lect. Notes Pure Appl. Math. 178. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Dekker, New York; 1996:313–318.Google Scholar - Chang SS, Joseph Lee HW, Chan CK: A new hybrid method for solving generalized equilibrium problem variational inequality and obtaining common fixed point in Banach spaces with applications.
*Nonlinear Anal.*2010, 73: 2260–2270. 10.1016/j.na.2010.06.006View ArticleMathSciNetGoogle Scholar - Cholamjiak P, Suantai S: Convergence analysis for a system of equilibrium problems and a countable family of relatively quasi-nonexpansive mappings in Banach spaces.
*Abstr. Appl. Anal.*2010., 2010: Article ID 141376Google Scholar - Fukhar-ud-din H, Khan MAA: A new implicit hybrid algorithm for an equilibrium problem and a countable family of relatively nonexpansive mappings in Banach spaces.
*Thai J. Math.*2012, 10(1):13–23.MathSciNetGoogle Scholar - Li HY, Su YF: Strong convergence theorems by a new hybrid for equilibrium problems and variational inequality problems.
*Nonlinear Anal.*2010, 72: 847–855. 10.1016/j.na.2009.07.037View ArticleMathSciNetGoogle Scholar - Zuo P, Chang SS, Liu M: On a hybrid algorithm for a finite family of total quasi-
*φ*-asymptotically nonexpansive mapping in Banach spaces.*Fixed Point Theory Appl.*2012., 2012: Article ID 70 10.1186/1687-1812-2012-70Google Scholar - Nammanee K, Suantai S, Cholamjiak P: Convergence theorems for maximal monotone operators, relatively nonexpansive mappings and equilibrium problems.
*J. Appl. Math.*2012., 2012: Article ID 16 10.1155/2012/804538Google Scholar - Qin X, Cho SY, Kang SM: On hybrid projection methods for asymptotically quasi-
*φ*-nonexpansive mappings.*Appl. Math. Comput.*2010, 215(11):3874–3883. 10.1016/j.amc.2009.11.031View ArticleMathSciNetGoogle Scholar - Saewan S, Kumam P: Convergence theorems for uniformly quasi-asymptotically nonexpansive mappings, generalized equilibrium problems and variational inequalities.
*J. Inequal. Appl.*2011., 2011: Article ID 96 10.1186/1029-242X-2011-96Google Scholar - Saewan S, Kumam P: The shrinking projection method for solving generalized equilibrium problem and common fixed points for asymptotically quasi-
*φ*-nonexpansive mappings.*Fixed Point Theory Appl.*2011., 2011: Article ID 9 10.1186/1687-1812-2011-9Google Scholar - Takahashi W, Zembayashi K: Strong convergence theorem by a new hybrid method for equilibrium problems and relatively nonexpansive mappings.
*Fixed Point Theory Appl.*2008., 2008: Article ID 528476Google Scholar - Wattanawitoon K, Kumam P: Strong convergence theorems by a new hybrid projection algorithm for fixed point problem and equilibrium problems of two relatively quasi-nonexpansive mappings.
*Nonlinear Anal. Hybrid Syst.*2009, 3: 11–20. 10.1016/j.nahs.2008.10.002View ArticleMathSciNetGoogle Scholar - Kimura Y, Takahashi W: On a hybrid method for a family of relatively nonexpansive mappings in a Banach space.
*J. Math. Anal. Appl.*2009, 357: 356–363. 10.1016/j.jmaa.2009.03.052View ArticleMathSciNetGoogle Scholar - Beer G:
*Topologies on Closed and Convex Sets*. Kluwer Academic, 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/S105262340139611XView ArticleMathSciNetGoogle Scholar - Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces.
*J. Nonlinear Convex Anal.*2005, 6: 117–136.MathSciNetGoogle Scholar - Matsushita S, 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.007View ArticleMathSciNetGoogle Scholar - Ceng LC, Guu SM, Hu HY, Yao JC: Hybrid shrinking projection method for a generalized equilibrium problem, a maximal monotone operator and a countable family of relatively nonexpansive mappings.
*Comput. Math. Appl.*2011, 61: 2468–2479. 10.1016/j.camwa.2011.02.028View ArticleMathSciNetGoogle Scholar - Zeng LC, Lin YC, Yao JC: Iterative schemes for generalized equilibrium problem and two maximal monotone operators.
*Fixed Point Theory Appl.*2009., 2009: Article ID 896252Google Scholar - Zeng LC, Ansari QH, Shyu DS, Yao JC: Strong and weak convergence theorems for equilibrium problems and zeros of maximal monotone operators.
*Fixed Point Theory Appl.*2010., 2010: Article ID 590278Google 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 credited.