# Algorithms for treating equilibrium and fixed point problems

- Xiaolong Qin
^{1}, - Sun Young Cho
^{2}and - Lin Wang
^{3}Email author

**2013**:308

https://doi.org/10.1186/1687-1812-2013-308

© Qin et al.; licensee Springer. 2013

**Received: **3 June 2013

**Accepted: **31 October 2013

**Published: **22 November 2013

## Abstract

In this paper, a common solution problem is investigated based on a projection algorithm. Strong convergence theorems for common solutions of a system of equilibrium problems and a family of asymptotically quasi-*ϕ*-nonexpansive mappings are established in a uniformly smooth and strictly convex Banach space which also enjoys the Kadec-Klee property.

### Keywords

asymptotically quasi-*ϕ*-nonexpansive mapping equilibrium problem fixed point generalized projection zero point

## 1 Introduction

Bifunction equilibrium problems, which include many important problems in nonlinear analysis and optimization, such as the Nash equilibrium problem, variational inequalities, complementarity problems, vector optimization problems, fixed point problems, saddle point problems and game theory, recently have been studied as an effective and powerful tool for studying many real world problems which arise in economics, finance, image reconstruction, ecology, transportation, and network; see [1–23] and the references therein. The theory of fixed points as an important branch of functional analysis is a bridge between nonlinear functional analysis and optimization. Indeed, lots of problems arising in economics, engineering, and physics can be studied by fixed point techniques. The study of fixed point approximation algorithms for computing fixed points constitutes now a topic of intensive research efforts. Many well-known problems can be studied by using algorithms which are iterative in their nature. As an example, in computer tomography with limited data, each piece of information implies the existence of a convex set in which the required solution lies. The problem of finding a point in the intersection of these convex subsets is then of crucial interest, and it cannot be usually solved directly. Therefore, an iterative algorithm must be used to approximate such a point. The well known convex feasibility problem, which captures applications in various disciplines such as image restoration and radiation therapy treatment planning, is to find a point in the intersection of common fixed point sets of a family of nonlinear mappings. Krasnoselskii-Mann iteration, which is also known as a one-step iteration, is a classic algorithm to study fixed points of nonlinear operators. However, Krasnoselskii-Mann iteration only enjoys weak convergence for nonexpansive mappings; see [24] and the references therein. There are a lot of real world problems which exist in infinite dimension spaces. In such problems, strong convergence or norm convergence is often much more desirable than weak convergence. To guarantee the strong convergence of Krasnoselskii-Mann iteration, many authors use different regularization methods. The projection technique which was first introduced by Haugazeau [25] has been considered for the approximation of fixed points of nonexpansive mappings. The advantage of projection methods is that strong convergence of iterative sequences can be guaranteed without any compact assumptions.

In this paper, we study a common solution problem based on a projection algorithm. Strong convergence theorems of common solutions are established in a uniformly smooth and strictly convex Banach space which also enjoys the Kadec-Klee property.

## 2 Preliminaries

*E*be a real Banach space, ${E}^{\ast}$ be the dual space of

*E*and

*C*be a nonempty subset of

*E*. Let

*f*be a bifunction from $C\times C$ to ℝ, where ℝ denotes the set of real numbers. Recall the following equilibrium problem: find $\overline{x}\in C$ such that

*f*satisfies the following conditions:

- (A1)
$f(x,x)=0$, $\mathrm{\forall}x\in C$;

- (A2)
*f*is monotone,*i.e.*, $f(x,y)+f(y,x)\le 0$, $\mathrm{\forall}x,y\in C$; - (A3)$\underset{t\downarrow 0}{lim\hspace{0.17em}sup}f(tz+(1-t)x,y)\le f(x,y),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y,z\in C;$
- (A4)
for each $x\in C$, $y\mapsto f(x,y)$ is convex and weakly lower semi-continuous.

*E*is said to be strictly convex iff $\parallel \frac{x+y}{2}\parallel <1$ for all $x,y\in E$ with $\parallel x\parallel =\parallel y\parallel =1$ and $x\ne y$. It is said to be uniformly convex iff ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-{y}_{n}\parallel =0$ for any two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*E*such that $\parallel {x}_{n}\parallel =\parallel {y}_{n}\parallel =1$ and ${lim}_{n\to \mathrm{\infty}}\parallel \frac{{x}_{n}+{y}_{n}}{2}\parallel =1$. Let ${U}_{E}=\{x\in E:\parallel x\parallel =1\}$ be the unit sphere of

*E*. Then the Banach space

*E*is said to be smooth iff

exists for each $x,y\in {U}_{E}$. It is also said to be uniformly smooth iff the above limit is attained uniformly for $x,y\in {U}_{E}$. It is well known that if *E* is uniformly smooth, then *J* is uniformly norm-to-norm continuous on each bounded subset of *E*. It is also well known that *E* is uniformly smooth if and only if ${E}^{\ast}$ is uniformly convex.

Recall that a Banach space *E* enjoys the Kadec-Klee property if for any sequence $\{{x}_{n}\}\subset E$, and $x\in E$ with ${x}_{n}\rightharpoonup x$, and $\parallel {x}_{n}\parallel \to \parallel x\parallel $, then $\parallel {x}_{n}-x\parallel \to 0$ as $n\to \mathrm{\infty}$. It is well known that if *E* is a uniformly convex Banach space, then *E* enjoys the Kadec-Klee property. Let $T:C\to C$ be a mapping. In this paper, we use $F(T)$ to denote the fixed point set of *T*. *T* is said to be closed if for any sequence $\{{x}_{n}\}\subset C$ such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}={x}_{0}$ and ${lim}_{n\to \mathrm{\infty}}T{x}_{n}={y}_{0}$, then $T{x}_{0}={y}_{0}$. In this paper, we use → and ⇀ to denote strong convergence and weak convergence, respectively.

*J*from

*E*to ${2}^{{E}^{\ast}}$ is defined by

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

*H*, the equality is reduced to $\varphi (x,y)={\parallel x-y\parallel}^{2}$, $x,y\in H$. As we all know, if

*C*is a nonempty closed convex subset of a Hilbert space

*H*and ${P}_{C}:H\to 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 [26] recently introduced a generalized projection operator ${\mathrm{\Pi}}_{C}$ in a Banach space

*E*which is an analogue of the metric projection ${P}_{C}$ in Hilbert spaces. Recall that the generalized projection ${\mathrm{\Pi}}_{C}:E\to C$ is a map that assigns to an arbitrary point $x\in E$ the minimum point of the functional $\varphi (x,y)$, that is, ${\mathrm{\Pi}}_{C}x=\overline{x}$, where $\overline{x}$ is the solution to the minimization problem

*J*. In Hilbert spaces, ${\mathrm{\Pi}}_{C}={P}_{C}$. It is obvious from the definition of a function

*ϕ*that

**Remark 2.1** If *E* is a reflexive, strictly convex, and smooth Banach space, then $\varphi (x,y)=0$ if and only if $x=y$.

Recall that a point *p* in *C* is said to be an asymptotic fixed point of a mapping *T* [27] iff *C* contains a sequence $\{{x}_{n}\}$ which converges weakly to *p* such that ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-T{x}_{n}\parallel =0$. The set of asymptotic fixed points of *T* will be denoted by $\tilde{F}(T)$.

*T*is said to be relatively nonexpansive iff

*T*is said to be relatively asymptotically nonexpansive iff

where $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ is a sequence such that ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$.

**Remark 2.2** The class of relatively asymptotically nonexpansive mappings was considered in [28] and [29]; see the references therein.

*T*is said to be quasi-

*ϕ*-nonexpansive iff

*T*is said to be asymptotically quasi-

*ϕ*-nonexpansive iff there exists a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ such that

**Remark 2.3** The class of asymptotically quasi-*ϕ*-nonexpansive mappings was considered in Zhou *et al.* [30] and Qin *et al.* [31]; see also [32].

**Remark 2.4** The class of quasi-*ϕ*-nonexpansive mappings and the class of asymptotically quasi-*ϕ*-nonexpansive mappings are more general than the class of relatively nonexpansive mappings and the class of relatively asymptotically nonexpansive mappings. Quasi-*ϕ*-nonexpansive mappings and asymptotically quasi-*ϕ*-nonexpansive mappings do not require the restriction $F(T)=\tilde{F}(T)$.

**Remark 2.5** The class of quasi-*ϕ*-nonexpansive mappings and the class of asymptotically quasi-*ϕ*-nonexpansive mappings are generalizations of the class of quasi-nonexpansive mappings and the class of asymptotically quasi-nonexpansive mappings in Banach spaces.

In order to get our main results, we also need the following lemmas.

**Lemma 2.6** [26]

*Let*

*E*

*be a reflexive*,

*strictly convex*,

*and smooth Banach space*,

*let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*

*E*,

*and let*$x\in E$.

*Then*

**Lemma 2.7** [26]

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of a smooth Banach space E*,

*and let*$x\in E$.

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

*if and only if*

**Lemma 2.8** [33]

*Let*

*E*

*be a smooth and uniformly convex Banach space*,

*and let*$r>0$.

*Then there exists a strictly increasing*,

*continuous*,

*and convex function*$g:[0,2r]\to R$

*such that*$g(0)=0$

*and*

*for all* $x,y\in {B}_{r}=\{x\in E:\parallel x\parallel \le r\}$ *and* $t\in [0,1]$.

**Lemma 2.9**

*Let*

*C*

*be a closed convex subset of a smooth*,

*strictly convex*,

*and reflexive Banach space*

*E*.

*Let*

*f*

*be a bifunction from*$C\times C$

*to*ℝ

*satisfying*(A1)-(A4).

*Let*$r>0$

*and*$x\in E$.

*Then*

- (a)[1]
*There exists*$z\in C$*such that*$f(z,y)+\frac{1}{r}\u3008y-z,Jz-Jx\u3009\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall}y\in C.$ - (b)[31, 34]
*Define a mapping*${T}_{r}:E\to C$*by*${S}_{r}x=\{z\in C:f(z,y)+\frac{1}{r}\u3008y-z,Jz-Jx\u3009,\mathrm{\forall}y\in C\}.$*Then the following conclusions hold*:- (1)
${S}_{r}$

*is single*-*valued*; - (2)${S}_{r}$
*is a firmly nonexpansive*-*type mapping*,*i*.*e*.,*for all*$x,y\in E$,$\u3008{S}_{r}x-{S}_{r}y,J{S}_{r}x-J{S}_{r}y\u3009\le \u3008{S}_{r}x-{S}_{r}y,Jx-Jy\u3009;$ - (3)
$F({S}_{r})=\mathit{EP}(f)$;

- (4)
${S}_{r}$

*is quasi*-*ϕ*-*nonexpansive*; - (5)$\varphi (q,{S}_{r}x)+\varphi ({S}_{r}x,x)\le \varphi (q,x),\phantom{\rule{1em}{0ex}}\mathrm{\forall}q\in F({S}_{r});$
- (6)
$\mathit{EP}(f)$

*is closed and convex*.

- (1)

**Lemma 2.10** [35]

*Let* *E* *be a uniformly smooth and strictly convex Banach space which also enjoys the Kadec*-*Klee property*. *Let* *C* *be a nonempty closed and convex subset of* *E*. *Let* $T:C\to C$ *be a closed asymptotically quasi*-*ϕ*-*nonexpansive mapping*. *Then* $F(T)$ *is a closed convex subset of* *C*.

## 3 Main results

**Theorem 3.1**

*Let*

*E*

*be a uniformly smooth and strictly convex Banach space which also enjoys the Kadec*-

*Klee property*.

*Let*

*C*

*be a nonempty closed and convex subset of*

*E*.

*Let*Λ

*be an index set*.

*Let*${f}_{i}$

*be a bifunction from*$C\times C$

*to*ℝ

*satisfying*(A1)-(A4),

*and let*${T}_{i}:C\to C$

*be an asymptotically quasi*-

*ϕ*-

*nonexpansive mapping for every*$i\in \mathrm{\Lambda}$.

*Assume that*${T}_{i}$

*is closed and uniformly asymptotically regular on*

*C*

*for every*$i\in \mathrm{\Lambda}$.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})$

*is nonempty and bounded*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where* ${M}_{(n,i)}=sup\{\varphi (p,{x}_{n}):p\in {\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})\}$, $\{{\alpha}_{(n,i)}\}$ *is a real sequence in* $[0,1]$ *such that* ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{(n,i)}(1-{\alpha}_{(n,i)})>0$, *and* $\{{r}_{(n,i)}\}$ *is a real sequence in* $[{a}_{i},\mathrm{\infty})$, *where* $\{{a}_{i}\}$ *is a positive real number sequence*, *for every* $i\in \mathrm{\Lambda}$. *Then the sequence* $\{{x}_{n}\}$ *converges strongly to* ${\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})}{x}_{1}$.

*Proof* We divide the proof into six steps.

Step 1. We prove that ${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})$ is closed and convex.

In the light of Lemma 2.9 and 2.10, we easily find the conclusion.

Step 2. We prove that ${C}_{n}$ is closed and convex.

*n*. It is obvious that ${C}_{(1,i)}=C$ is closed and convex. Assume that ${C}_{(k,i)}$ is closed and convex for some $k\ge 1$. For ${z}_{1},{z}_{2}\in {C}_{(k+1,i)}$, we see that ${z}_{1},{z}_{2}\in {C}_{(k,i)}$. It follows that $z=t{z}_{1}+(1-t){z}_{2}\in {C}_{(k,i)}$, where $t\in (0,1)$. Notice that

*t*and $(1-t)$ on the both sides of (3.1) and (3.2), respectively, yields that

where $z\in {C}_{(k,i)}$. This finds that ${C}_{(k+1,i)}$ is closed and convex. We conclude that ${C}_{(n,i)}$ is closed and convex. This in turn implies that ${C}_{n}={\bigcap}_{i\in \mathrm{\Lambda}}{C}_{(n,i)}$ is closed and convex. This implies that ${\mathrm{\Pi}}_{{C}_{n+1}}{x}_{1}$ is well defined.

Step 3. We prove that ${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})\subset {C}_{n}$.

*k*. For any $w\in {\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})\subset {C}_{(k,i)}$, we see that

which shows that $w\in {C}_{(k+1,i)}$. This implies that ${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})\subset {C}_{(n,i)}$. This in turn implies that ${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})\subset {\bigcap}_{i\in \mathrm{\Lambda}}{C}_{(n,i)}$. This completes the proof that ${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})\subset {C}_{n}$.

Step 4. We prove that the sequence $\{{x}_{n}\}$ is bounded.

In the light of the construction ${x}_{n}={\mathrm{\Pi}}_{{C}_{n}}{x}_{1}$, we find from Lemma 2.7 that $\u3008{x}_{n}-z,J{x}_{1}-J{x}_{n}\u3009\ge 0$ for any $z\in {C}_{n}$.

This implies that the sequence $\{\varphi ({x}_{n},{x}_{1})\}$ is bounded. It follows from (2.3) that the sequence $\{{x}_{n}\}$ is also bounded. Since the space is reflexive, we may assume that ${x}_{n}\rightharpoonup \overline{x}$.

Step 5. We prove that $\overline{x}\in {\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})$.

*E*, we find that ${x}_{n}\to \overline{x}$ as $n\to \mathrm{\infty}$. Since ${x}_{n}={\mathrm{\Pi}}_{{C}_{n}}{x}_{1}$, and ${x}_{n+1}={\mathrm{\Pi}}_{{C}_{n+1}}{x}_{1}\in {C}_{n+1}\subset {C}_{n}$, we find that $\varphi ({x}_{n},{x}_{1})\le \varphi ({x}_{n+1},{x}_{1})$. This shows that $\{\varphi ({x}_{n},{x}_{1})\}$ is nondecreasing. We find from its boundedness that ${lim}_{n\to \mathrm{\infty}}\varphi ({x}_{n},{x}_{1})$ exists. It follows that

*E*and ${E}^{\ast}$ are reflexive. We may assume that $J{u}_{(n,i)}\rightharpoonup {u}^{(\ast ,i)}\in {E}^{\ast}$. In view of the reflexivity of

*E*, we see that $J(E)={E}^{\ast}$. This shows that there exists an element ${u}^{i}\in E$ such that $J{u}^{i}={u}^{(\ast ,i)}$. It follows that

*E*enjoys the Kadec-Klee property, we obtain that ${u}_{(n,i)}\to \overline{x}$, as $n\to \mathrm{\infty}$. Note that $\parallel {x}_{n}-{u}_{(n,i)}\parallel \le \parallel {x}_{n}-\overline{x}\parallel +\parallel \overline{x}-{u}_{(n,i)}\parallel $. It follows that

*E*is uniformly smooth, we know that ${E}^{\ast}$ is uniformly convex. In view of Lemma 2.8, we find that

*E*has the Kadec-Klee property, we obtain that ${lim}_{n\to \mathrm{\infty}}\parallel {T}_{i}^{n}{x}_{n}-\overline{x}\parallel =0$. On the other hand, we have

*E*enjoys the Kadec-Klee property, we obtain that ${y}_{(n,i)}\to \overline{x}$ as $n\to \mathrm{\infty}$. Note that

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

Letting ${t}_{i}\downarrow 0$, we obtain from (A3) that ${f}_{i}(\overline{x},y)\ge 0$, $\mathrm{\forall}y\in C$. This implies that $\overline{x}\in \mathit{EP}({f}_{i})$ for every $i\in \mathrm{\Lambda}$. This shows that $\overline{x}\in {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})$. This completes the proof that $\overline{x}\in {\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})$.

Step 6. We prove that $\overline{x}={\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})}{x}_{1}$.

In view of Lemma 2.7, we find that $\overline{x}={\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})}{x}_{1}$. This completes the proof. □

**Remark 3.2**Theorem 3.1 mainly improves Theorem 2.1 of Qin

*et al.*[29] in the following aspects:

- (1)
improves the mappings from a finite family of mappings to an infinite family of mappings;

- (2)
extends the framework of the space from a uniformly smooth and uniformly convex space to a uniformly smooth and strictly convex Banach space which also enjoys the Kadec-Klee property.

If *T* is a quasi-*ϕ*-nonexpansive mapping, we find from Theorem 2.1 the following.

**Corollary 3.3**

*Let*

*E*

*be a uniformly smooth and strictly convex Banach space which also enjoys the Kadec*-

*Klee property*.

*Let*

*C*

*be a nonempty closed and convex subset of*

*E*.

*Let*Λ

*be an index set*.

*Let*${f}_{i}$

*be a bifunction from*$C\times C$

*to*ℝ

*satisfying*(A1)-(A4),

*and let*${T}_{i}:C\to E$

*be a closed quasi*-

*ϕ*-

*nonexpansive mapping for every*$i\in \mathrm{\Lambda}$.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})$

*is nonempty*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where* $\{{\alpha}_{(n,i)}\}$ *is a real sequence in* $[0,1]$ *such that* ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{(n,i)}(1-{\alpha}_{(n,i)})>0$, *and* $\{{r}_{(n,i)}\}$ *is a real sequence in* $[{a}_{i},\mathrm{\infty})$, *where* $\{{a}_{i}\}$ *is a positive real number sequence for every* $i\in \mathrm{\Lambda}$. *Then the sequence* $\{{x}_{n}\}$ *converges strongly to* ${\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\cap {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})}{x}_{1}$.

**Remark 3.4** Corollary 3.3 can be viewed as an extension of the corresponding results announced in [36] and [37].

Since every uniformly convex Banach space is a strictly convex Banach space which also enjoys the Kadec-Klee property, we see that Theorem 3.1 is still valid in a uniformly smooth and uniformly convex Banach space. Theorem 3.1 improves the corresponding results in Qin *et al.* [31].

For a single bifunction and mapping, we find from Theorem 3.1 the following.

**Corollary 3.5**

*Let*

*E*

*be a uniformly smooth and strictly convex Banach space which also enjoys the Kadec*-

*Klee property*.

*Let*

*C*

*be a nonempty closed and convex subset of*

*E*.

*Let*

*f*

*be a bifunction from*$C\times C$

*to*ℝ

*satisfying*(A1)-(A4),

*and let*$T:C\to E$

*be an asymptotically quasi*-

*ϕ*-

*nonexpansive mapping*.

*Assume that*

*T*

*is closed and uniformly asymptotically regular on*

*C*.

*Assume that*$F(T)\cap \mathit{EF}(f)$

*is nonempty*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where* ${M}_{n}=sup\{\varphi (p,{x}_{n}):p\in F(F)\cap \mathit{EF}(f)\}$, $\{{\alpha}_{n}\}$ *is a real sequence in* $[0,1]$ *such that* ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{n}(1-{\alpha}_{n})>0$, *and* $\{{r}_{n}\}$ *is a real sequence in* $[a,\mathrm{\infty})$, *where* *a* *is a positive real number*. *Then the sequence* $\{{x}_{n}\}$ *converges strongly to* ${\mathrm{\Pi}}_{F(T)\cap \mathit{EF}(f)}{x}_{1}$.

If *T* is the identity mapping, then Theorem 3.1 is reduced to the following.

**Corollary 3.6**

*Let*

*E*

*be a uniformly smooth and strictly convex Banach space which also enjoys the Kadec*-

*Klee property*.

*Let*

*C*

*be a nonempty closed and convex subset of*

*E*.

*Let*Λ

*be an index set*.

*Let*${f}_{i}$

*be a bifunction from*$C\times C$

*to*ℝ

*satisfying*(A1)-(A4)

*for every*$i\in \mathrm{\Lambda}$.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})$

*is nonempty and bounded*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where* ${M}_{(n,i)}=sup\{\varphi (p,{x}_{n}):p\in {\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})\}$, $\{{\alpha}_{(n,i)}\}$ *is a real sequence in* $[0,1]$ *such that* ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{(n,i)}(1-{\alpha}_{(n,i)})>0$, *and* $\{{r}_{(n,i)}\}$ *is a real sequence in* $[{a}_{i},\mathrm{\infty})$, *where* $\{{a}_{i}\}$ *is a positive real number sequence*, *for every* $i\in \mathrm{\Lambda}$. *Then the sequence* $\{{x}_{n}\}$ *converges strongly to* ${\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}\mathit{EF}({f}_{i})}{x}_{1}$.

## Declarations

### Acknowledgements

The authors are grateful to the anonymous reviewers for useful suggestions which improved the contents of the article.

## Authors’ Affiliations

## References

- Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems.
*Math. Stud.*1994, 63: 123–145.MathSciNetGoogle Scholar - Gwinner J, Raciti F: Random equilibrium problems on networks.
*Math. Comput. Model.*2006, 43: 880–891. 10.1016/j.mcm.2005.12.007MathSciNetView ArticleGoogle Scholar - Cho SY, Li W, Kang SM: Convergence analysis of an iterative algorithm for monotone operators.
*J. Inequal. Appl.*2013., 2013: Article ID 199Google Scholar - Osu BO, Solomon OU: A stochastic algorithm for the valuation of financial derivatives using the hyperbolic distributional variates.
*Math. Finance Lett.*2012, 1: 43–56.Google Scholar - Al-Bayati AY, Al-Kawaz RZ: A new hybrid WC-FR conjugate gradient-algorithm with modified secant condition for unconstrained optimization.
*J. Math. Comput. Sci.*2012, 2: 937–966.MathSciNetGoogle Scholar - Yuan Q: Some results on asymptotically quasi-
*ϕ*-nonexpansive mappings in the intermediate sense.*J. Fixed Point Theory*2012., 2012: Article ID 1Google Scholar - Cho SY, Qin X, Kang SM: Iterative processes for common fixed points of two different families of mappings with applications.
*J. Glob. Optim.*2013, 57: 1429–1446. 10.1007/s10898-012-0017-yMathSciNetView ArticleGoogle Scholar - Dafermos S, Nagurney A: A network formulation of market equilibrium problems and variational inequalities.
*Oper. Res. Lett.*1984, 3: 247–250. 10.1016/0167-6377(84)90055-5MathSciNetView ArticleGoogle Scholar - Tanaka Y: A constructive version of Ky Fan’s coincidence theorem.
*J. Math. Comput. Sci.*2012, 2: 926–936.MathSciNetGoogle Scholar - Cho SY, Kang SM: Approximation of fixed points of pseudocontraction semigroups based on a viscosity iterative process.
*Appl. Math. Lett.*2011, 24: 224–228. 10.1016/j.aml.2010.09.008MathSciNetView ArticleGoogle Scholar - Barbagallo A: Existence and regularity of solutions to nonlinear degenerate evolutionary variational inequalities with applications to dynamic network equilibrium problems.
*Appl. Math. Comput.*2009, 208: 1–13. 10.1016/j.amc.2008.10.030MathSciNetView ArticleGoogle Scholar - Cho SY, Kang SM: Approximation of common solutions of variational inequalities via strict pseudocontractions.
*Acta Math. Sci.*2012, 32: 1607–1618. 10.1016/S0252-9602(12)60127-1View ArticleGoogle Scholar - Chen JH: Iterations for equilibrium and fixed point problems.
*J. Nonlinear Funct. Anal.*2013., 2013: Article ID 4Google Scholar - Carmi A, Censor Y, Gurfil P: Convex feasibility modeling and projection methods for sparse signal recovery.
*J. Comput. Appl. Math.*2012, 236: 4318–4335. 10.1016/j.cam.2012.03.021MathSciNetView ArticleGoogle Scholar - He R: Coincidence theorem and existence theorems of solutions for a system of Ky Fan type minimax inequalities in FC-spaces.
*Adv. Fixed Point Theory*2012, 2: 47–57.Google Scholar - Noor MA, Noor KI, Waseem M: Decompsition method for solving system of linear equations.
*Eng. Math. Lett.*2013, 2: 34–41.Google Scholar - Shen J, Pang LP: An approximate bundle method for solving variational inequalities.
*Commun. Optim. Theory*2012, 1: 1–18.Google Scholar - Dhage BC, Jadhav NS: Differential inequalities and comparison theorems for first order hybrid integro-differential equations.
*Adv. Inequal. Appl.*2013, 2: 61–80.Google Scholar - Zegeye H, Shahzad N: Strong convergence theorem for a common point of solution of variational inequality and fixed point problem.
*Adv. Fixed Point Theory*2012, 2: 374–397.Google Scholar - Park S:A review of the KKM theory on ${\varphi}_{A}$-space or GFC-spaces.
*Adv. Fixed Point Theory*2013, 3: 355–382.Google Scholar - Boonchari D, Saejung S: Approximation o f common fixed point of a countable family of relatively nonexpansive mapping.
*Fixed Point Theory Appl.*2010., 2010: Article ID 407651Google Scholar - Nilsrakoo W, Saejung S: On the fixed-point set of a family of relatively nonexpansive and generalized nonexpansive mappings.
*Fixed Point Theory Appl.*2010., 2010: Article ID 414232Google Scholar - Saejung S: Ray’s theorem for firmly nonexpansive-like mappings and equilibrium problems in Banach spaces.
*Fixed Point Theory Appl.*2010., 2010: Article ID 806837Google Scholar - Genel A, Lindenstruss J: An example concerning fixed points.
*Isr. J. Math.*1975, 22: 81–86. 10.1007/BF02757276View ArticleGoogle Scholar - Haugazeau, Y: Sur les inéquations variationnelles et la minimisation de fonctionnelles convexes. Ph.D. thesis, Université de Paris (1968)Google Scholar
- Alber YaI: 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.Google Scholar - Reich S: A weak convergence theorem for the alternating method with Bregman distance. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Edited by: Kartsatos AG. Dekker, New York; 1996.Google Scholar - Qin X, Su Y, Wu C, Liu K: Strong convergence theorems for nonlinear operators in Banach spaces.
*Commun. Appl. Nonlinear Anal.*2007, 14: 35–50.MathSciNetGoogle Scholar - Agarwal RP, Cho YJ, Qin X: Generalized projection algorithms for nonlinear operators.
*Numer. Funct. Anal. Optim.*2007, 28: 1197–1215. 10.1080/01630560701766627MathSciNetView ArticleGoogle Scholar - Zhou H, Gao G, Tan B: Convergence theorems of a modified hybrid algorithm for a family of quasi-
*ϕ*-asymptotically nonexpansive mappings.*SIAM J. Sci. Comput.*2010, 32: 453–464.MathSciNetView ArticleGoogle Scholar - Qin X, Cho YJ, Kang SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces.
*J. Comput. Appl. Math.*2009, 225: 20–30. 10.1016/j.cam.2008.06.011MathSciNetView ArticleGoogle Scholar - Qin X, Cho SY, Kang SM: On hybrid projection methods for asymptotically quasi-
*ϕ*-nonexpansive mappings.*Appl. Math. Comput.*2010, 215: 3874–3883. 10.1016/j.amc.2009.11.031MathSciNetView ArticleGoogle Scholar - Zǎlinescu C: On uniformly convex functions.
*J. Math. Anal. Appl.*1983, 95: 344–374. 10.1016/0022-247X(83)90112-9MathSciNetView ArticleGoogle 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.031MathSciNetView ArticleGoogle Scholar - Qin X, Huang S, Wang T: On the convergence of hybrid projection algorithms for asymptotically quasi-
*ϕ*-nonexpansive mappings.*Comput. Math. Appl.*2011, 61: 851–859. 10.1016/j.camwa.2010.12.033MathSciNetView ArticleGoogle 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.015MathSciNetView ArticleGoogle Scholar - Kim JK: Strong convergence theorems by hybrid projection methods for equilibrium problems and fixed point problems of the asymptotically quasi-
*ϕ*-nonexpansive mappings.*Fixed Point Theory Appl.*2011., 2011: Article ID 10Google 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.