# Hybrid algorithms for equilibrium and common fixed point problems with applications

## Abstract

In this paper, hybrid algorithms are investigated for equilibrium and common fixed point problems. Strong convergence of the algorithms is obtained in the framework of reflexive Banach spaces.

## 1 Introduction

Iterative algorithms have emerged as an effective and powerful tool for studying a wide class of problems which arise in economics, finance, image reconstruction, ecology, transportation, network, elasticity and optimization; see  and the references therein. The computation of solutions of nonlinear operator equations (inequalities) is important in the study of many real-world problems. Recently, the study of the convergence of various iterative algorithms for solving various nonlinear mathematical models has formed a major part of numerical mathematics. Among these iterative algorithms, the Krasnoselski-Mann iterative algorithm and the Ishikawa iterative algorithm are popular and much discussed. It is well known that both the Krasnoselski-Mann iterative algorithm and the Ishikawa iterative algorithm only have weak convergence even for nonexpansive mappings in infinite-dimensional Hilbert spaces. In many disciplines, including economics, image recovery, quantum physics, and control theory, problems arise in infinite-dimensional spaces. In such problems, strong convergence is often much more desirable than weak convergence. To improve the weak convergence of the Krasnoselski-Mann iterative algorithm and the Ishikawa iterative algorithm, so-called projection algorithms have been investigated in different frameworks of spaces; see  and the references therein.

The aim of this article is to investigate solutions of equilibrium and common fixed point problems in Hilbert spaces. In Section 2, we provide some necessary preliminaries. In Section 3, a projection algorithm is investigated. Strong convergence of the algorithm is obtained in a uniformly smooth and strictly convex Banach space which also has the Kadec-Klee property. In Section 4, applications are provided to support the main results of this paper.

## 2 Preliminaries

Let E be a real Banach space with the dual ${E}^{\ast }$. Recall that the normalized duality mapping J from E to ${2}^{{E}^{\ast }}$ is defined by $Jx=\left\{{f}^{\ast }\in {E}^{\ast }:〈x,{f}^{\ast }〉={\parallel x\parallel }^{2}={\parallel {f}^{\ast }\parallel }^{2}\right\}$, where $〈\cdot ,\cdot 〉$ denotes the generalized duality pairing. Let ${U}_{E}=\left\{x\in E:\parallel x\parallel =1\right\}$ be the unit sphere of E. E is said to be smooth iff ${lim}_{t\to 0}\frac{\parallel x+ty\parallel -\parallel x\parallel }{t}$ 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}$. 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 $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ 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$. 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 if E is (uniformly) smooth if and only if ${E}^{\ast }$ is (uniformly) convex.

In what follows, we use and → to stand for the weak and strong convergence, respectively. Recall that a space E has the Kadec-Klee property iff for any sequence $\left\{{x}_{n}\right\}\subset E$, $x\in E$ with ${x}_{n}⇀x$, and $\parallel {x}_{n}\parallel \to \parallel x\parallel$, we have $\parallel {x}_{n}-x\parallel \to 0$ as $n\to \mathrm{\infty }$. It is known that if E is a uniformly convex Banach spaces, then E has the Kadec-Klee property.

Let E be a smooth Banach space. Let us consider the functional defined by $\varphi \left(x,y\right)={\parallel x\parallel }^{2}-2〈x,Jy〉+{\parallel y\parallel }^{2}$, $\mathrm{\forall }x,y\in E$. Observe that, in a Hilbert space H, the equality is reduced to $\varphi \left(x,y\right)={\parallel x-y\parallel }^{2}$, $x,y\in H$. As we know, if C is a nonempty, closed, and 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  recently introduced a generalized projection operator ${\mathrm{\Pi }}_{C}$ in a Banach space E which is an analog 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 \left(x,y\right)$, that is, ${\mathrm{\Pi }}_{C}x=\overline{x}$, where $\overline{x}$ is the solution to the minimization problem $\varphi \left(\overline{x},x\right)={min}_{y\in C}\varphi \left(y,x\right)$. Existence and uniqueness of the operator ${\mathrm{\Pi }}_{C}$ follow from the properties of the functional $\varphi \left(x,y\right)$ and strict monotonicity of the mapping J. If E is a reflexive, strictly convex, and smooth Banach space, then $\varphi \left(x,y\right)=0$ if and only if $x=y$; for more details, see  and the references therein. In Hilbert spaces, ${\mathrm{\Pi }}_{C}={P}_{C}$. From the definition of the function ϕ, we also have

${\left(\parallel x\parallel -\parallel y\parallel \right)}^{2}\le \varphi \left(x,y\right)\le {\left(\parallel y\parallel +\parallel x\parallel \right)}^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in E$
(2.1)

and

${\left(\parallel x\parallel -\parallel y\parallel \right)}^{2}\le \varphi \left(x,y\right)\le {\left(\parallel y\parallel +\parallel x\parallel \right)}^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in E.$
(2.2)

Let F be a bifunction from $C×C$ to , where denotes the set of real numbers. Recall the following equilibrium problem. Find $p\in C$ such that $F\left(p,y\right)\ge 0$, $\mathrm{\forall }y\in C$. We use $EP\left(F\right)$ to denote the solution set of the equilibrium problem. Numerous problems in physics, optimization and economics reduce to finding a solution of the equilibrium problem.

Next, we give the following assumptions:

(A1) $F\left(x,x\right)=0$, $\mathrm{\forall }x\in C$;

(A2) F is monotone, i.e., $F\left(x,y\right)+F\left(y,x\right)\le 0$, $\mathrm{\forall }x,y\in C$;

(A3) ${lim sup}_{t↓0}F\left(tz+\left(1-t\right)x,y\right)\le F\left(x,y\right)$, $\mathrm{\forall }x,y,z\in C$;

(A4) for each $x\in C$, $y↦F\left(x,y\right)$ is convex and weakly lower semi-continuous.

Let C be a nonempty subset of E and let $T:C\to C$ be a mapping. In this paper, we use $F\left(T\right)$ to stand for the fixed point set of T. Recall that T is said to be asymptotically regular on C iff for any bounded subset K of C, ${lim sup}_{n\to \mathrm{\infty }}\left\{\parallel {T}^{n+1}x-{T}^{n}x\parallel :x\in K\right\}=0$. Recall that T is said to be closed iff for any sequence $\left\{{x}_{n}\right\}\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}$. Recall that a point p in C is said to be an asymptotic fixed point of T iff C contains a sequence $\left\{{x}_{n}\right\}$ 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 $\stackrel{˜}{F}\left(T\right)$. T is said to be relatively nonexpansive iff $\stackrel{˜}{F}\left(T\right)=F\left(T\right)\ne \mathrm{\varnothing }$ and

$\varphi \left(p,Tx\right)\le \varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in C,\mathrm{\forall }p\in F\left(T\right).$

T is said to be relatively asymptotically nonexpansive iff $\stackrel{˜}{F}\left(T\right)=F\left(T\right)\ne \mathrm{\varnothing }$ and

$\varphi \left(p,{T}^{n}x\right)\le \left(1+{\mu }_{n}\right)\varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in C,\mathrm{\forall }p\in F\left(T\right),\mathrm{\forall }n\ge 1,$

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

Remark 2.1 The class of relatively asymptotically nonexpansive mappings, which is an extension of the class of relatively nonexpansive mappings, was first introduced in .

Recall that T is said to be quasi-ϕ-nonexpansive iff $F\left(T\right)\ne \mathrm{\varnothing }$ and

$\varphi \left(p,Tx\right)\le \varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in C,\mathrm{\forall }p\in F\left(T\right).$

Recall that T is said to be asymptotically quasi-ϕ-nonexpansive iff there exists a sequence $\left\{{\mu }_{n}\right\}\subset \left[0,\mathrm{\infty }\right)$ with ${\mu }_{n}\to 0$ as $n\to \mathrm{\infty }$ such that

$F\left(T\right)\ne \mathrm{\varnothing },\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\varphi \left(p,{T}^{n}x\right)\le \left(1+{\mu }_{n}\right)\varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in C,\mathrm{\forall }p\in F\left(T\right),\mathrm{\forall }n\ge 1.$

Remark 2.2 The class of asymptotically quasi-ϕ-nonexpansive mappings [14, 29] which is an extension of the class of quasi-ϕ-nonexpansive mappings . 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 ones do not require the restriction $F\left(T\right)=\stackrel{˜}{F}\left(T\right)$.

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

Lemma 2.3 

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:\left[0,2r\right]\to R$ such that $g\left(0\right)=0$ and

${\parallel \sum _{i=1}^{\mathrm{\infty }}\left({\alpha }_{i}{x}_{i}\right)\parallel }^{2}\le \sum _{i=1}^{\mathrm{\infty }}\left({\alpha }_{i}{\parallel {x}_{i}\parallel }^{2}\right)-{\alpha }_{i}{\alpha }_{j}g\left(\parallel {x}_{i}-{x}_{j}\parallel \right),$

for all ${x}_{1},{x}_{2},\dots ,{x}_{N},\dots \in {B}_{r}:=\left\{x\in E:\parallel x\parallel \le r\right\}$ and ${\alpha }_{1},{\alpha }_{2},\dots ,{\alpha }_{N},\dots \in \left[0,1\right]$ such that ${\sum }_{i=1}^{\mathrm{\infty }}{\alpha }_{i}=1$.

Lemma 2.4 

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

$\varphi \left(y,{\mathrm{\Pi }}_{C}x\right)+\varphi \left({\mathrm{\Pi }}_{C}x,x\right)\le \varphi \left(y,x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in C.$

Lemma 2.5 

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

$〈{x}_{0}-y,Jx-J{x}_{0}〉\ge 0\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in C.$

Lemma 2.6 

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

Lemma 2.7 [8, 32]

Let C be a closed and convex subset of a smooth, strictly convex, and reflexive Banach space E. Let F be a bifunction from $C×C$ to satisfying the assumptions (A1)-(A4). Let $r>0$ and let $x\in E$. Then there exists $z\in C$ such that $F\left(z,y\right)+\frac{1}{r}〈y-z,Jz-Jx〉\ge 0$, $\mathrm{\forall }y\in C$. Define a mapping ${T}_{r}:E\to C$ by

${S}_{r}x=\left\{z\in C:f\left(z,y\right)+\frac{1}{r}〈y-z,Jz-Jx〉,\mathrm{\forall }y\in C\right\}.$

Then the following conclusions hold:

1. (1)

${S}_{r}$ is a single-valued firmly nonexpansive-type mapping, i.e., for all $x,y\in E$, $〈{S}_{r}x-{S}_{r}y,J{S}_{r}x-J{S}_{r}y〉\le 〈{S}_{r}x-{S}_{r}y,Jx-Jy〉$;

2. (2)

$F\left({S}_{r}\right)=EP\left(F\right)$ is closed and convex;

3. (3)

${S}_{r}$ is quasi-ϕ-nonexpansive;

4. (4)

$\varphi \left(q,{S}_{r}x\right)+\varphi \left({S}_{r}x,x\right)\le \varphi \left(q,x\right)$, $\mathrm{\forall }q\in F\left({S}_{r}\right)$.

## 3 Main results

Theorem 3.1 Let E be a uniformly smooth and strictly convex Banach space which also has the Kadec-Klee property. Let C be a nonempty, closed, and convex subset of E and let Δ be an index set. Let ${F}_{j}$ be a bifunction from $C×C$ to satisfying (A1)-(A4) for every $j\in \mathrm{\Delta }$. Let ${T}_{i}:C\to C$ an asymptotically quasi-ϕ-nonexpansive mapping for every $i\ge 1$. Assume that ${T}_{i}$ is closed asymptotically regular on C and ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$ is nonempty and bounded. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following manner:

where $\left\{{\alpha }_{n,i}\right\}$ is a real number sequence in $\left(0,1\right)$ for every $i\ge 1$, $\left\{{r}_{n,j}\right\}$ is a real number sequence in $\left[r,\mathrm{\infty }\right)$, where r is some positive real number and ${M}_{n}:=sup\left\{\varphi \left(z,{x}_{n}\right):z\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)\right\}$. Assume that ${\sum }_{i=0}^{\mathrm{\infty }}{\alpha }_{n,i}=1$ and ${lim inf}_{n\to \mathrm{\infty }}{\alpha }_{n,0}{\alpha }_{n,i}>0$ for every $i\ge 1$. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${\mathrm{\Pi }}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}{x}_{0}$, where ${\mathrm{\Pi }}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}$ is the generalized projection from E onto ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$.

Proof Using Lemma 2.6 and Lemma 2.7, we find that ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$ is closed and convex so that ${\mathrm{\Pi }}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}{x}_{0}$ is well defined. By induction, we easily find that the sets ${C}_{n}$ are convex and closed.

Next, we show that ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)\subset {C}_{n}$. It suffices to claim that

$\bigcap _{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap \bigcap _{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)\subset {C}_{n,j},$

for every $j\in \mathrm{\Delta }$. It is clear that ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)\subset {C}_{1,j}=C$. Now, we assume that ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)\subset {C}_{m,j}$ for some m and for every $j\in \mathrm{\Delta }$. Since $\mathrm{\forall }z\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)\subset {C}_{m,j}$, one finds that

$\begin{array}{rcl}\varphi \left(z,{u}_{m,j}\right)& =& \varphi \left(z,{S}_{{r}_{m,j}}{y}_{m}\right)\\ \le & \varphi \left(z,{y}_{m}\right)\\ =& \varphi \left(z,{J}^{-1}\left({\alpha }_{m,0}J{x}_{m}+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{m,i}J{T}_{i}^{m}{x}_{m}\right)\right)\\ =& {\parallel z\parallel }^{2}-2〈z,{\alpha }_{m,0}J{x}_{m}+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{m,i}J{T}_{i}^{m}{x}_{m}〉+{\parallel {\alpha }_{m,0}J{x}_{m}+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{m,i}J{T}_{i}^{m}{x}_{m}\parallel }^{2}\\ \le & {\parallel z\parallel }^{2}-2{\alpha }_{m,0}〈z,J{x}_{m}〉-2\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{m,i}〈z,J{T}_{i}^{m}{x}_{m}〉\\ +{\alpha }_{m,0}{\parallel {x}_{m}\parallel }^{2}+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{m,i}{\parallel {T}_{i}^{m}{x}_{m}\parallel }^{2}\\ =& {\alpha }_{m,0}\varphi \left(z,{x}_{m}\right)+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{m,i}\varphi \left(z,{T}_{i}^{m}{x}_{m}\right)\\ \le & {\alpha }_{m,0}\varphi \left(z,{x}_{m}\right)+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{m,i}\varphi \left(z,{x}_{m}\right)+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{m,i}{\mu }_{m,i}\varphi \left(z,{x}_{m}\right)\\ \le & \varphi \left(z,{x}_{m}\right)+\sum _{i=1}^{\mathrm{\infty }}{\mu }_{m,i}\varphi \left(z,{x}_{m}\right)\\ \le & \varphi \left(z,{x}_{m}\right)+\sum _{i=1}^{\mathrm{\infty }}{\mu }_{m,i}{M}_{m},\end{array}$
(3.1)

which yields $z\in {C}_{m+1,j}$, that is, ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)\subset {C}_{n}$.

Next, we prove that ${x}_{n}\to p$, where $p\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)$. It follows from Lemma 2.4 that $\varphi \left({x}_{n},{x}_{0}\right)\le \varphi \left(w,{x}_{0}\right)-\varphi \left(w,{x}_{n}\right)\le \varphi \left(w,{x}_{0}\right)$, for $\mathrm{\forall }w\in {\bigcap }_{i=1}^{N}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)$. This shows that the sequence $\varphi \left({x}_{n},{x}_{0}\right)$ is bounded. Hence $\left\{{x}_{n}\right\}$ is also bounded. Since the space is reflexive, we may, without loss of generality, assume that ${x}_{n}⇀p$, where $p\in {C}_{n}$. Using $\varphi \left({x}_{n},{x}_{0}\right)\le \varphi \left(p,{x}_{0}\right)$, we find that

$\varphi \left(p,{x}_{0}\right)\le \underset{n\to \mathrm{\infty }}{lim inf}\varphi \left({x}_{n},{x}_{0}\right)\le \underset{n\to \mathrm{\infty }}{lim sup}\varphi \left({x}_{n},{x}_{0}\right)\le \varphi \left(p,{x}_{0}\right).$

It follows that ${lim}_{n\to \mathrm{\infty }}\varphi \left({x}_{n},{x}_{0}\right)=\varphi \left(p,{x}_{0}\right)$. Hence, we have ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}\parallel =\parallel p\parallel$. Since E has the Kadec-Klee property, one sees that ${x}_{n}\to p$ as $n\to \mathrm{\infty }$. Next, we prove $p\in {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)$. In view of ${C}_{n+1}\subset {C}_{n}$ and ${x}_{n+1}={\mathrm{\Pi }}_{{C}_{n+1}}{x}_{0}\in {C}_{n}$, we have $\varphi \left({x}_{n+1},{x}_{n}\right)\le \varphi \left({x}_{n+1},{x}_{0}\right)-\varphi \left({x}_{n},{x}_{0}\right)$. Letting $n\to \mathrm{\infty }$, we obtain $\varphi \left({x}_{n+1},{x}_{n}\right)\to 0$. Since ${x}_{n+1}\in {C}_{n+1}$, we see that $\varphi \left({x}_{n+1},{u}_{n,j}\right)\le \varphi \left({x}_{n+1},{x}_{n}\right)+{\sum }_{i=1}^{\mathrm{\infty }}{\mu }_{n,i}{M}_{n}$. We, therefore, obtain ${lim}_{n\to \mathrm{\infty }}\varphi \left({x}_{n+1},{u}_{n,j}\right)=0$. Hence ${lim}_{n\to \mathrm{\infty }}\parallel {u}_{n,j}\parallel =\parallel p\parallel$. It follows that ${lim}_{n\to \mathrm{\infty }}\parallel J{u}_{n,j}\parallel =\parallel Jp\parallel$. This shows that $\left\{J{u}_{n,j}\right\}$ is a bounded sequence. Since E is reflexive (${E}^{\ast }$ is also reflexive), we may assume that $J{u}_{n,j}⇀{u}^{\ast ,j}\in {E}^{\ast }$. Using the reflexivity of E, we also see that $J\left(E\right)={E}^{\ast }$. This shows that there exists an ${u}^{j}\in E$ such that $J{u}^{j}={u}^{\ast ,j}$. It follows that $\varphi \left({x}_{n+1},{u}_{n}\right)={\parallel {x}_{n+1}\parallel }^{2}-2〈{x}_{n+1},J{u}_{n}〉+{\parallel J{u}_{n}\parallel }^{2}$. Taking ${lim inf}_{n\to \mathrm{\infty }}$ in both sides of the equality above yields

$\begin{array}{rcl}0& \ge & {\parallel p\parallel }^{2}-2〈p,{u}^{\ast ,j}〉+{\parallel {u}^{\ast ,j}\parallel }^{2}\\ =& {\parallel p\parallel }^{2}-2〈p,J{u}^{j}〉+{\parallel J{u}^{j}\parallel }^{2}\\ =& \varphi \left(p,{u}^{j}\right),\end{array}$

that is, $p={u}^{j}$. This yields $Jp={u}^{\ast ,j}$. It follows that $J{u}_{n,j}⇀Jp\in {E}^{\ast }$. Since ${E}^{\ast }$ has the Kadec-Klee property, we obtain $J{u}_{n,j}-Jp\to 0$ as $n\to \mathrm{\infty }$. Since ${J}^{-1}:{E}^{\ast }\to E$ is demicontinuous. It follows that ${u}_{n,j}⇀p$. Since the space E has the Kadec-Klee property, one finds that ${u}_{n,j}\to p$ as $n\to \mathrm{\infty }$. In view of $\parallel {x}_{n}-{u}_{n,j}\parallel \le \parallel {x}_{n}-p\parallel +\parallel p-{u}_{n,j}\parallel$, we have ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-{u}_{n,j}\parallel =0$. It follows that ${lim}_{n\to \mathrm{\infty }}\parallel J{x}_{n}-J{u}_{n,j}\parallel =0$. Notice that

$\begin{array}{rcl}\varphi \left(z,{x}_{n}\right)-\varphi \left(z,{u}_{n,j}\right)& =& {\parallel {x}_{n}\parallel }^{2}-{\parallel {u}_{n,j}\parallel }^{2}-2〈z,J{x}_{n}-J{u}_{n,j}〉\\ \le & \parallel {x}_{n}-{u}_{n,j}\parallel \left(\parallel {x}_{n}\parallel +\parallel {u}_{n,j}\parallel \right)+2\parallel z\parallel \parallel J{x}_{n}-J{u}_{n,j}\parallel .\end{array}$

It follows that ${lim}_{n\to \mathrm{\infty }}\varphi \left(z,{x}_{n}\right)-\varphi \left(z,{u}_{n,j}\right)=0$. By virtue of (3.1), we find that $\varphi \left(z,{y}_{n}\right)\le \varphi \left(z,{x}_{n}\right)+{\sum }_{i=1}^{N}{\mu }_{n,j}{M}_{n}$, where $z\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)$. In view of ${u}_{n,j}={S}_{{r}_{n,j}}{y}_{n}$, we find from Lemma 2.7 that

$\begin{array}{rcl}\varphi \left({u}_{n,j},{y}_{n}\right)& =& \varphi \left({S}_{{r}_{n,j}}{y}_{n},{y}_{n}\right)\\ \le & \varphi \left(z,{y}_{n}\right)-\varphi \left(z,{S}_{{r}_{n,j}}{y}_{n}\right)\\ \le & \varphi \left(z,{x}_{n}\right)-\varphi \left(z,{S}_{{r}_{n,j}}{y}_{n}\right)+\sum _{i=1}^{\mathrm{\infty }}{\mu }_{n,j}{M}_{n}\\ =& \varphi \left(z,{x}_{n}\right)-\varphi \left(z,{u}_{n,j}\right)+\sum _{i=1}^{\mathrm{\infty }}{\mu }_{n,j}{M}_{n}.\end{array}$

It follows that ${lim}_{n\to \mathrm{\infty }}\varphi \left({u}_{n,j},{y}_{n}\right)=0$. This in turn yields that $\parallel {u}_{n,j}\parallel -\parallel {y}_{n}\parallel \to 0$ as $n\to \mathrm{\infty }$. Since ${u}_{n,j}\to p$ as $n\to \mathrm{\infty }$, one finds that ${lim}_{n\to \mathrm{\infty }}\parallel {y}_{n}\parallel =\parallel p\parallel$. It follows that ${lim}_{n\to \mathrm{\infty }}\parallel J{y}_{n}\parallel =\parallel Jp\parallel$. Since ${E}^{\ast }$ is also reflexive, we may assume that $J{y}_{n}⇀{y}^{\ast }\in {E}^{\ast }$. In view of $J\left(E\right)={E}^{\ast }$, we see that there exists $y\in E$ such that $Jy={y}^{\ast }$. It follows that

$\varphi \left({u}_{n,j},{y}_{n}\right)={\parallel {u}_{n,j}\parallel }^{2}-2〈{u}_{n,j},J{y}_{n}〉+{\parallel J{y}_{n}\parallel }^{2}.$

Taking ${lim inf}_{n\to \mathrm{\infty }}$ in both sides of the equality above yields

$\begin{array}{rcl}0& \ge & {\parallel p\parallel }^{2}-2〈p,{y}^{\ast }〉+{\parallel {y}^{\ast }\parallel }^{2}\\ =& {\parallel p\parallel }^{2}-2〈p,Jy〉+{\parallel Jy\parallel }^{2}\\ =& \varphi \left(p,y\right).\end{array}$

That is, $p=y$, which in turn implies that ${y}^{\ast }=Jp$. It follows that $J{y}_{n}⇀Jp\in {E}^{\ast }$. Since the space ${E}^{\ast }$ has the Kadec-Klee property, we arrive at $J{y}_{n}-Jp\to 0$ as $n\to \mathrm{\infty }$. Note that ${J}^{-1}:{E}^{\ast }\to E$ is demicontinuous. It follows that ${y}_{n}⇀p$. Since E has the Kadec-Klee property, we obtain ${y}_{n}\to p$ as $n\to \mathrm{\infty }$. In view of $\parallel {u}_{n,j}-{y}_{n}\parallel \le \parallel {u}_{n,j}-p\parallel +\parallel p-{y}_{n}\parallel$, we find that ${lim}_{n\to \mathrm{\infty }}\parallel {u}_{n,i}-{y}_{n}\parallel =0$. Since J is uniformly norm-to-norm continuous on any bounded sets, we have ${lim}_{n\to \mathrm{\infty }}\parallel J{u}_{n,j}-J{y}_{n}\parallel =0$. From the assumption ${r}_{n,j}\ge {r}_{j}$, we see that ${lim}_{n\to \mathrm{\infty }}\frac{\parallel J{u}_{n,j}-J{y}_{n}\parallel }{{r}_{n,j}}=0$. Notice that

${F}_{j}\left({u}_{n,j},y\right)+\frac{1}{{r}_{n,j}}〈y-{u}_{n,j},J{u}_{n,j}-J{y}_{n}〉\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in C.$

From the condition (A2), we find that

$\parallel y-{u}_{n,j}\parallel \frac{\parallel J{u}_{n,j}-J{y}_{n}\parallel }{{r}_{n,j}}\ge \frac{1}{{r}_{n,j}}〈y-{u}_{n,j},J{u}_{n,j}-J{y}_{n}〉\ge {F}_{j}\left(y,{u}_{n,j}\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in C.$

Taking the limit as $n\to \mathrm{\infty }$, we find that ${F}_{j}\left(y,p\right)\le 0$, $\mathrm{\forall }y\in C$. For $0<{t}_{j}<1$ and $y\in C$, define ${y}_{{t}_{j}}={t}_{j}y+\left(1-{t}_{j}\right)p$. It follows that ${y}_{t,j}\in C$, which yields ${F}_{j}\left({y}_{t,j},p\right)\le 0$. It follows from the conditions (A1) and (A4) that

$0={F}_{j}\left({y}_{t,j},{y}_{t,j}\right)\le {t}_{j}{F}_{j}\left({y}_{t,j},y\right)+\left(1-{t}_{j}\right){F}_{j}\left({y}_{t,j},p\right)\le {t}_{j}{F}_{j}\left({y}_{t,j},y\right).$

This yields ${F}_{j}\left({y}_{t,j},y\right)\ge 0$. Letting ${t}_{j}\to 0$, we find from the condition (A3) that ${F}_{j}\left(p,y\right)\ge 0$, $\mathrm{\forall }y\in C$. This implies that $p\in EP\left({F}_{j}\right)$ for every $j\in \mathrm{\Delta }$.

Now, we are in a position to show that $p\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)$. It follows from Lemma 2.3 that

$\begin{array}{rcl}\varphi \left(z,{u}_{n,j}\right)& \le & \varphi \left(z,{y}_{n}\right)\\ =& \varphi \left(z,{J}^{-1}\left({\alpha }_{n,0}J{x}_{n}+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}J{T}_{i}^{n}{x}_{n}\right)\right)\\ =& {\parallel z\parallel }^{2}-2〈z,{\alpha }_{n,0}J{x}_{n}+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}J{T}_{i}^{n}{x}_{n}〉+{\parallel {\alpha }_{n,0}J{x}_{n}+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}J{T}_{i}^{n}{x}_{n}\parallel }^{2}\\ \le & {\parallel z\parallel }^{2}-2{\alpha }_{n,0}〈z,J{x}_{n}〉-2\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}〈z,J{T}_{i}^{n}{x}_{n}〉\\ +{\alpha }_{n,0}{\parallel {x}_{n}\parallel }^{2}+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}{\parallel {T}_{i}^{n}{x}_{n}\parallel }^{2}-{\alpha }_{n,0}\left(1-{\alpha }_{n,i}\right)g\left(\parallel J{x}_{n}-J{T}_{i}^{n}{x}_{n}\parallel \right)\\ =& {\alpha }_{n,0}\varphi \left(z,{x}_{m}\right)+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}\varphi \left(z,{T}_{i}^{n}{x}_{n}\right)-{\alpha }_{n,0}\left(1-{\alpha }_{n,i}\right)g\left(\parallel J{x}_{n}-J{T}_{i}^{n}{x}_{n}\parallel \right)\\ \le & {\alpha }_{n,0}\varphi \left(z,{x}_{m}\right)+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}\varphi \left(z,{x}_{m}\right)+\sum _{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}{\mu }_{n,i}\varphi \left(z,{x}_{n}\right)\\ -{\alpha }_{n,0}\left(1-{\alpha }_{n,i}\right)g\left(\parallel J{x}_{n}-J{T}_{i}^{n}{x}_{n}\parallel \right)\\ \le & \varphi \left(z,{x}_{n}\right)+\sum _{i=1}^{\mathrm{\infty }}{\mu }_{n,i}\varphi \left(z,{x}_{m}\right)-{\alpha }_{n,0}\left(1-{\alpha }_{n,i}\right)g\left(\parallel J{x}_{n}-J{T}_{i}^{n}{x}_{n}\parallel \right)\\ \le & \varphi \left(z,{x}_{n}\right)+\sum _{i=1}^{\mathrm{\infty }}{\mu }_{n,i}{M}_{n}-{\alpha }_{n,0}\left(1-{\alpha }_{n,i}\right)g\left(\parallel J{x}_{n}-J{T}_{i}^{n}{x}_{n}\parallel \right).\end{array}$

From ${lim inf}_{n\to \mathrm{\infty }}{\alpha }_{n,0}\left(1-{\alpha }_{n,i}\right)>0$, we find that ${lim}_{n\to \mathrm{\infty }}g\left(\parallel J{x}_{n}-J{T}_{i}^{n}{x}_{n}\parallel \right)=0$. Hence, we have

$\underset{n\to \mathrm{\infty }}{lim}\parallel J{x}_{n}-J{T}_{i}^{n}{x}_{n}\parallel =0.$
(3.2)

Since ${x}_{n}\to p$ as $n\to \mathrm{\infty }$ and $J:E\to {E}^{\ast }$ is demicontinuous, we obtain $J{x}_{n}⇀Jp\in {E}^{\ast }$. Note that $|\parallel J{x}_{n}\parallel -\parallel Jp\parallel |=|\parallel {x}_{n}\parallel -\parallel p\parallel |\le \parallel {x}_{n}-p\parallel$. This implies that $\parallel J{x}_{n}\parallel \to \parallel Jp\parallel$ as $n\to \mathrm{\infty }$. Since ${E}^{\ast }$ has the Kadec-Klee property, we see that

$\underset{n\to \mathrm{\infty }}{lim}\parallel J{x}_{n}-Jp\parallel =0.$
(3.3)

On the other hand, we have $\parallel J{T}_{i}^{n}{x}_{n}-Jp\parallel \le \parallel J{T}_{i}^{n}{x}_{n}-J{x}_{n}\parallel +\parallel J{x}_{n}-Jp\parallel$. Combining (3.2) with (3.3), one obtains that ${lim}_{n\to \mathrm{\infty }}\parallel J{T}_{i}^{n}{x}_{n}-Jp\parallel =0$. Since ${J}^{-1}:{E}^{\ast }\to E$ is demicontinuous, one sees that ${T}_{i}^{n}{x}_{n}⇀p$. Notice that

$|\parallel {T}_{i}^{n}{x}_{n}\parallel -\parallel p\parallel |=|\parallel J{T}_{i}^{n}{x}_{n}\parallel -\parallel Jp\parallel |\le \parallel J{T}_{i}^{n}{x}_{n}-Jp\parallel .$

This yields ${lim}_{n\to \mathrm{\infty }}\parallel {T}_{i}^{n}{x}_{n}\parallel =\parallel p\parallel$. Since the space E has the Kadec-Klee property, we obtain ${lim}_{n\to \mathrm{\infty }}\parallel {T}_{i}^{n}{x}_{n}-p\parallel =0$. Since $\parallel {T}^{n+1}{x}_{n}-p\parallel \le \parallel {T}^{n+1}{x}_{n}-{T}^{n}{x}_{n}\parallel +\parallel {T}^{n}{x}_{n}-p\parallel$ and T is asymptotically regular, we find that ${lim}_{n\to \mathrm{\infty }}\parallel {T}_{i}^{n+1}{x}_{n}-p\parallel =0$. That is, ${T}_{i}{T}_{i}^{n}{x}_{n}-p\to 0$ as $n\to \mathrm{\infty }$. It follows from the closedness of ${T}_{i}$ that ${T}_{i}p=p$ for every $i\ge 1$.

Finally, we prove that $p={\mathrm{\Pi }}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)}{x}_{0}$. Since ${x}_{n}={\mathrm{\Pi }}_{{C}_{n}}{x}_{0}$, we see that

$〈{x}_{n}-z,J{x}_{0}-J{x}_{n}〉\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }z\in {C}_{n}.$

Since ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)\subset {C}_{n}$, we find that

$〈{x}_{n}-w,J{x}_{0}-J{x}_{n}〉\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }w\in \bigcap _{i=1}^{N}F\left({T}_{i}\right)\cap \bigcap _{j\in \mathrm{\Delta }}EF\left({F}_{j}\right).$

Letting $n\to \mathrm{\infty }$, we arrive at $〈p-w,J{x}_{0}-Jp〉\ge 0$, $\mathrm{\forall }w\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$. In view of Lemma 2.5, we find that $p={\mathrm{\Pi }}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EF\left({F}_{j}\right)}{x}_{0}$. This completes the proof. □

Remark 3.2 Theorem 3.1 mainly improves the corresponding results in Kim  and Qin et al. .

If T is quasi-ϕ-nonexpansive, we have the following result.

Corollary 3.3 Let E be a uniformly smooth and strictly convex Banach space which also has the Kadec-Klee property. Let C be a nonempty, closed, and convex subset of E and let Δ be an index set. Let ${F}_{j}$ be a bifunction from $C×C$ to satisfying (A1)-(A4) for every $j\in \mathrm{\Delta }$. Let ${T}_{i}:C\to C$ a quasi-ϕ-nonexpansive mapping for every $i\ge 1$. Assume that ${T}_{i}$ is closed on C and ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$ is nonempty. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following manner:

where $\left\{{\alpha }_{n,i}\right\}$ is a real number sequence in $\left(0,1\right)$ for every $i\ge 1$, $\left\{{r}_{n,j}\right\}$ is a real number sequence in $\left[r,\mathrm{\infty }\right)$, where r is some positive real number. Assume that ${\sum }_{i=0}^{N}{\alpha }_{n,i}=1$ and ${lim inf}_{n\to \mathrm{\infty }}{\alpha }_{n,0}{\alpha }_{n,i}>0$ for every $i\ge 1$. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${\mathrm{\Pi }}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}{x}_{0}$, where ${\mathrm{\Pi }}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}$ is the generalized projection from E onto ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$.

Remark 3.4 Corollary 3.3 mainly improves the corresponding results in Qin et al. . Indeed, the space is extended from a uniformly smooth and uniformly convex Banach space to a uniformly smooth and strictly convex Banach space; the mapping is extended from a pari of mappings to infinite many mappings. We also remark here that the framework of the space in this paper can be applicable to ${L}^{p}$, $p\ge 1$.

Finally for a single mapping and bifunction, we have the following result.

Corollary 3.5 Let E be a uniformly smooth and strictly convex Banach space which also has the Kadec-Klee property. Let C be a nonempty, closed, and convex subset of E and let F be a bifunction from $C×C$ to satisfying (A1)-(A4). Let $T:C\to C$ an asymptotically quasi-ϕ-nonexpansive mapping. Assume that T is closed asymptotically regular on C and $F\left(T\right)\cap EP\left(F\right)$ is nonempty and bounded. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following manner:

where $\left\{{\alpha }_{n}\right\}$ is a real number sequence in $\left(0,1\right)$, $\left\{{r}_{n}\right\}$ is a real number sequence in $\left[r,\mathrm{\infty }\right)$, where r is some positive real number and ${M}_{n}:=sup\left\{\varphi \left(z,{x}_{n}\right):z\in F\left(T\right)\cap EP\left(F\right)\right\}$. Assume ${lim inf}_{n\to \mathrm{\infty }}{\alpha }_{n}\left(1-{\alpha }_{n}\right)>0$. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${\mathrm{\Pi }}_{F\left(T\right)\cap EP\left(F\right)}{x}_{0}$, where ${\mathrm{\Pi }}_{F\left(T\right)\cap EP\left(F\right)}$ is the generalized projection from E onto $F\left(T\right)\cap EP\left(F\right)$.

## 4 Applications

First, we give the corresponding results in the framework of Hilbert spaces.

Theorem 4.1 Let E be a Hilbert space. Let C be a nonempty, closed, and convex subset of E and let Δ be an index set. Let ${F}_{j}$ be a bifunction from $C×C$ to satisfying (A1)-(A4) for every $j\in \mathrm{\Delta }$. Let ${T}_{i}:C\to C$ an asymptotically quasi-nonexpansive mapping for every $i\ge 1$. Assume that ${T}_{i}$ is closed asymptotically regular on C and ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$ is nonempty and bounded. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following manner:

$\left\{\begin{array}{c}{x}_{0}\in E,\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily,}}\hfill \\ {C}_{1,j}=C,\hfill \\ {C}_{1}={\bigcap }_{j\in \mathrm{\Delta }}{C}_{1,j},\hfill \\ {x}_{1}={Proj}_{{C}_{1}}{x}_{0},\hfill \\ {y}_{n}={\alpha }_{n,0}{x}_{n}+{\sum }_{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}{T}_{i}^{n}{x}_{n},\hfill \\ {u}_{n,j}\in C\phantom{\rule{0.25em}{0ex}}\mathit{\text{such that}}\phantom{\rule{0.25em}{0ex}}{F}_{j}\left({u}_{n,j},y\right)+\frac{1}{{r}_{n,j}}〈y-{u}_{n,j},{u}_{n,j}-{y}_{n}〉\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in C,\hfill \\ {C}_{n+1,j}=\left\{z\in {C}_{n}:{\parallel z-{u}_{n,j}\parallel }^{2}\le {\parallel z-{x}_{n}\parallel }^{2}+{\sum }_{i=1}^{\mathrm{\infty }}{\mu }_{n,i}{M}_{n}\right\},\hfill \\ {C}_{n+1}={\bigcap }_{j\in \mathrm{\Delta }}{C}_{n+1,j},\hfill \\ {x}_{n+1}={Proj}_{{C}_{n+1}}{x}_{0},\hfill \end{array}$

where $\left\{{\alpha }_{n,i}\right\}$ is a real number sequence in $\left(0,1\right)$ for every $i\ge 1$, $\left\{{r}_{n,j}\right\}$ is a real number sequence in $\left[r,\mathrm{\infty }\right)$, where r is some positive real number and ${M}_{n}:=sup\left\{{\parallel z-{x}_{n}\parallel }^{2}:z\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)\right\}$. Assume that ${\sum }_{i=0}^{\mathrm{\infty }}{\alpha }_{n,i}=1$ and ${lim inf}_{n\to \mathrm{\infty }}{\alpha }_{n,0}{\alpha }_{n,i}>0$ for every $i\ge 1$. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${Proj}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}{x}_{0}$, where ${Proj}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}$ is the metric projection from E onto ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\cap {\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$.

Proof Note that $\varphi \left(x,y\right)={\parallel x-y\parallel }^{2}$, $J=I$, the identity mapping, and the generalized projection is reduced to the metric projection. In the framework of Hilbert spaces, the class of asymptotically quasi-ϕ-nonexpansive mappings is reduced to the class of asymptotically quasi-nonexpansive mappings. Using Theorem 3.1, we easily find the desired conclusion. □

Next, we give a results on common solutions of a family of equilibrium problems.

Corollary 4.2 Let E be a Hilbert space. Let C be a nonempty, closed, and convex subset of E and let Δ be an index set. Let ${F}_{j}$ be a bifunction from $C×C$ to satisfying (A1)-(A4) for every $j\in \mathrm{\Delta }$. Assume that ${\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$ is nonempty. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following manner:

where $\left\{{r}_{n,j}\right\}$ is a real number sequence in $\left[r,\mathrm{\infty }\right)$, where r is some positive real number. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${Proj}_{{\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}{x}_{0}$, where ${Proj}_{{\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)}$ is the metric projection from E onto ${\bigcap }_{j\in \mathrm{\Delta }}EP\left({F}_{j}\right)$.

If ${F}_{j}\left(x,y\right)=0$, then we find from Theorem 4.1 the following result.

Corollary 4.3 Let E be a Hilbert space and let C be a nonempty, closed, and convex subset of E. Let ${T}_{i}:C\to C$ an asymptotically quasi-nonexpansive mapping for every $i\ge 1$. Assume that ${T}_{i}$ is closed asymptotically regular on C and ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)$ is nonempty and bounded. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following manner:

$\left\{\begin{array}{c}{x}_{0}\in E,\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily,}}\hfill \\ {C}_{1}=C,\hfill \\ {x}_{1}={Proj}_{{C}_{1}}{x}_{0},\hfill \\ {y}_{n}={\alpha }_{n,0}{x}_{n}+{\sum }_{i=1}^{\mathrm{\infty }}{\alpha }_{n,i}{T}_{i}^{n}{x}_{n},\hfill \\ {C}_{n+1}=\left\{z\in {C}_{n}:{\parallel z-{y}_{n}\parallel }^{2}\le {\parallel z-{x}_{n}\parallel }^{2}+{\sum }_{i=1}^{\mathrm{\infty }}{\mu }_{n,i}{M}_{n}\right\},\hfill \\ {x}_{n+1}={Proj}_{{C}_{n+1}}{x}_{0},\hfill \end{array}$

where $\left\{{\alpha }_{n,i}\right\}$ is a real number sequence in $\left(0,1\right)$ for every $i\ge 1$, and ${M}_{n}:=sup\left\{{\parallel z-{x}_{n}\parallel }^{2}:z\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\right\}$. Assume that ${\sum }_{i=0}^{\mathrm{\infty }}{\alpha }_{n,i}=1$ and ${lim inf}_{n\to \mathrm{\infty }}{\alpha }_{n,0}{\alpha }_{n,i}>0$ for every $i\ge 1$. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${Proj}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)}{x}_{0}$, where ${Proj}_{{\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)}$ is the metric projection from E onto ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)$.

Remark 4.4 Comparing with Theorem 2.2 in Kim and Xu , we have the following: (1) one mapping is extended to an infinite family of mappings; (2) the set ${Q}_{n}$ is relaxed; (3) the mapping is extended from asymptotically nonexpansive mappings to asymptotically quasi-nonexpansive mappings, which may not be continuous.

From Corollary 4.3, the following result is not hard to derive.

Corollary 4.5 Let E be a Hilbert space. Let C be a nonempty, closed, and convex subset of E. Let $T:C\to C$ be a closed quasi-nonexpansive mapping. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following manner:

$\left\{\begin{array}{c}{x}_{0}\in E,\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily,}}\hfill \\ {C}_{1}=C,\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}{x}_{1}={Proj}_{{C}_{1}}{x}_{0},\hfill \\ {y}_{n}={\alpha }_{n}{x}_{n}+\left(1-{\alpha }_{n}\right)T{x}_{n},\hfill \\ {C}_{n+1}=\left\{z\in {C}_{n}:\parallel z-{y}_{n}\parallel \le \parallel z-{x}_{n}\parallel \right\},\hfill \\ {x}_{n+1}={Proj}_{{C}_{n+1}}{x}_{0},\hfill \end{array}$

where $\left\{{\alpha }_{n}\right\}$ is a real number sequence in $\left(0,1\right)$ such that ${lim inf}_{n\to \mathrm{\infty }}{\alpha }_{n}\left(1-{\alpha }_{n}\right)>0$. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${Proj}_{F\left(T\right)}{x}_{0}$, where ${Proj}_{F\left(T\right)}$ is the metric projection from E onto $F\left(T\right)$.

Remark 4.6 Corollary 4.5 is a shrinking version of the corresponding results in Nakajo and Takahashi . It deserves mentioning that the mapping in our result is quasi-nonexpansive. The restriction of the demiclosed principal is relaxed.

## References

1. Vanderluge A: Optical Signal Processing. Wiley, New York; 2005.

2. Byrne C: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Probl. 2008, 20: 103–120.

3. Combettes PL: The convex feasibility problem in image recovery. 95. In Advanced in Imaging and Electron Physcis. Edited by: Hawkes P. Academic Press, New York; 1996:155–270.

4. Chen JH: Iterations for equilibrium and fixed point problems. J. Nonlinear Funct. Anal. 2013., 2013: Article ID 4

5. 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-y

6. Park S: A review of the KKM theory on ${\varphi }_{A}$-space or GFC-spaces. Adv. Fixed Point Theory 2013, 3: 355–382.

7. Noor MA, Noor KI, Waseem M: Decomposition method for solving system of linear equations. Eng. Math. Lett. 2013, 2: 34–41.

8. 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.011

9. 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.

10. 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-1

11. Tanaka Y: Constructive proof of the existence of Nash equilibrium in a strategic game with sequentially locally non-constant payoff functions. Adv. Fixed Point Theory 2012, 2: 398–416.

12. 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 10

13. Yang L, Zhao F, Kim JK: Hybrid projection method for generalized mixed equilibrium problem and fixed point problem of infinite family of asymptotically quasi- ϕ -nonexpansive mappings in Banach spaces. Appl. Math. Comput. 2012, 218: 6072–6082. 10.1016/j.amc.2011.11.091

14. 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.031

15. Qin X, Agarwal RP, Cho SY, Kang SM: Convergence of algorithms for fixed points of generalized asymptotically quasi- ϕ -nonexpansive mappings with applications. Fixed Point Theory Appl. 2012., 2012: Article ID 58

16. Qin X, Agarwal RP: Shrinking projection methods for a pair of asymptotically quasi- ϕ -nonexpansive mappings. Numer. Funct. Anal. Optim. 2010, 31: 1072–1089. 10.1080/01630563.2010.501643

17. Chang SS, Lee HWJ, Chan CK, Liu JA: Strong convergence theorems for countable families of asymptotically relatively nonexpansive mappings with applications. Appl. Math. Comput. 2011, 218: 3187–3198. 10.1016/j.amc.2011.08.055

18. Chang SS, Lee HWJ, Chan CK, Yang L: Approximation theorems for total quasi- ϕ -asymptotically nonexpansive mappings with applications. Appl. Math. Comput. 2011, 218: 2921–2931. 10.1016/j.amc.2011.08.036

19. Cho SY, Qin X, Kang SM: Hybrid projection algorithms for treating common fixed points of a family of demicontinuous pseudocontractions. Appl. Math. Lett. 2012, 25: 854–857. 10.1016/j.aml.2011.10.031

20. Li X, Huang NJ, Regan DO: Strong convergence theorems for relatively nonexpansive mappings in Banach spaces with applications. Comput. Math. Appl. 2010, 60: 1322–1331. 10.1016/j.camwa.2010.06.013

21. Cho SY, Qin X: On the strong convergence of an iterative process for asymptotically strict pseudocontractions and equilibrium problems. Appl. Math. Comput. 2014, 235: 430–438.

22. Ge CS: A hybrid algorithm with variable coefficients for asymptotically pseudocontractive mappings in the intermediate sense on unbounded domains. Nonlinear Anal. 2012, 75: 2859–2866. 10.1016/j.na.2011.11.026

23. Qin X, Cho SY, Kim JK: Convergence theorems on asymptotically pseudocontractive mappings in the intermediate sense. Fixed Point Theory Appl. 2010., 2010: Article ID 186874

24. Hao Y: Some results on a modified Mann iterative scheme in a reflexive Banach space. Fixed Point Theory Appl. 2013., 2013: Article ID 227

25. Hao Y, Cho SY: Fixed point iterations of a pair of hemirelatively nonexpansive mappings. Fixed Point Theory Appl. 2010., 2010: Article ID 270150

26. Wu C, Lv S: Bregman projection methods for zeros of monotone operators. J. Fixed Point Theory 2013., 2013: Article ID 7

27. 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: Kartsatos AG. Dekker, New York; 1996.

28. Agarwal RP, Cho YJ, Qin X: Generalized projection algorithms for nonlinear operators. Numer. Funct. Anal. Optim. 2007, 28: 1197–1215. 10.1080/01630560701766627

29. 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-4

30. Hao Y: Some weak convergence theorems for a family of asymptotically nonexpansive nonself mappings. Fixed Point Theory Appl. 2010., 2010: Article ID 218573

31. Qin X, Huang S, Wang T: On the convergence of hybrid projection algorithms for asymptotically quasi-image-nonexpansive mappings. Comput. Math. Appl. 2011, 61: 851–859. 10.1016/j.camwa.2010.12.033

32. 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

33. 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.015

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

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

## Acknowledgements

This paper is dedicated to Professor Chang with respect and admiration. The authors are grateful to the editor and the three anonymous reviewers for useful suggestions which improved the contents of the article.

## Author information

Authors

### Corresponding author

Correspondence to Qingnian Zhang.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors contributed equally to this manuscript. Both authors read and approved the final manuscript.

## Rights and permissions 