• Research
• Open Access

# Strong convergence theorems for common solutions of a family of nonexpansive mappings and an accretive operator

Fixed Point Theory and Applications20132013:172

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

• Accepted: 17 June 2013
• Published:

## Abstract

In this paper, common solutions of a family of nonexpansive mappings and an accretive operator are investigated based on a viscosity iterative method. Strong convergence theorems for common solutions are established in a Banach space.

MSC:47H09, 47J05.

## Keywords

• accretive operator
• iterative scheme
• fixed point
• nonexpansive mapping
• strong convergence

## 1 Introduction

Fixed point theory has 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 [112] and the references therein. The computation of solutions is important in the study of many real world problems. 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; see, for example, [1324] and the references therein.

The aim of this paper is to investigate a common solution problem of a family of nonexpansive mappings and an accretive operator based on a viscosity iterative method. The organization of this article is as follows. In Section 2, we provide some necessary preliminaries. In Section 3, a viscosity iterative method is discussed. Strong convergence theorems of common solutions are established in a reflexive and strictly convex Banach space E which enjoys weakly continuous duality mappings.

## 2 Preliminaries

Throughout this paper, we assume that E is a real Banach space. Let C be a nonempty, closed and convex subset of E, and let $T:C\to C$ be a mapping. A point $x\in C$ is a fixed point of T provided $Tx=x$. Denote by $F\left(T\right)$ the set of fixed points of T; that is, $F\left(T\right)=\left\{x\in C:Tx=x\right\}$.

Recall that $T:C\to C$ is nonexpansive iff
$\parallel Tx-Ty\parallel \le \parallel x-y\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in C.$
$T:C\to C$ is a contraction iff there exists a constant $\alpha \in \left(0,1\right)$ such that
$\parallel f\left(x\right)-f\left(y\right)\parallel \le \alpha \parallel x-y\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in C.$

We use ${\mathrm{\Pi }}_{C}$ to denote the collection of all contractions on C. That is, .

The Picard iterative algorithm is an efficient algorithm to study contractions. However, the Picard iterative algorithm fails to converge to fixed points of nonexpansive mappings even that their fixed point sets are not empty. One classical way to study nonexpansive mappings is to use contractions to approximate a nonexpansive mapping. More precisely, take $t\in \left(0,1\right)$ and define a mapping ${T}_{t}:C\to C$ by
${T}_{t}x=tf\left(u\right)+\left(1-t\right)Tx,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in C,$
where $u\in C$ is a fixed element and f is a contraction on C with the constant α. It is easy to see that ${T}_{t}$ is a contraction with the constant α. Indeed, we have the following:
$\begin{array}{rcl}\parallel {T}_{t}x-{T}_{t}y\parallel & \le & t\parallel f\left(x\right)-f\left(y\right)\parallel +\left(1-t\right)\parallel Tx-Ty\parallel \\ \le & t\alpha \parallel x-y\parallel +\left(1-t\right)\parallel x-y\parallel \\ =& \left[1-t\left(1-\alpha \right)\right]\parallel x-y\parallel .\end{array}$

Banach’s contraction mapping principle guarantees that ${T}_{t}$ has a unique fixed point. We denote the unique fixed point by ${x}_{t}$. Reich [25] proved that if E is a uniformly smooth Banach space, then ${x}_{t}$ strongly converges to a fixed point of T, and the limit defines the (unique) sunny nonexpansive retraction from ${\mathrm{\Pi }}_{C}$ onto $F\left(T\right)$. Recently, Xu [26] further proved that the above results still hold in reflexive Banach spaces which have weakly continuous duality mappings.

Recall that the normal Mann iterative algorithm was introduced by Mann in 1953. Since then the construction of fixed points for nonexpansive mappings via the normal Mann iterative algorithm has been extensively investigated by many authors.

The normal Mann iterative algorithm generates a sequence $\left\{{x}_{n}\right\}$ in the following manner:
$\mathrm{\forall }{x}_{1}\in C,\phantom{\rule{2em}{0ex}}{x}_{n+1}=\left(1-{\alpha }_{n}\right){x}_{n}+{\alpha }_{n}T{x}_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1,$

where the sequence $\left\{{\alpha }_{n}\right\}$ is in the interval $\left(0,1\right)$. If T is a nonexpansive mapping with a fixed point and the control sequence $\left\{{\alpha }_{n}\right\}$ is chosen so that ${\sum }_{n=0}^{\mathrm{\infty }}{\alpha }_{n}\left(1-{\alpha }_{n}\right)=\mathrm{\infty }$, then the sequence $\left\{{x}_{n}\right\}$ generated by the normal Mann iterative algorithm converges weakly to a fixed point of T (this is also valid in a uniformly convex Banach space with the Fréchet differentiable norm). Since the Mann iterative algorithm only has weak convergence in infinite dimension spaces, many authors tried to modify the normal Mann iteration algorithm to have strong convergence for nonexpansive mappings.

Kim and Xu [27] considered the following iterative algorithm.
$\left\{\begin{array}{c}{x}_{0}\in C\phantom{\rule{1em}{0ex}}\text{arbitrarily chosen},\hfill \\ {y}_{n}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right)T{x}_{n},\hfill \\ {x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right){y}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,\hfill \end{array}$

where T is a nonexpansive mapping of C into itself, $u\in C$ is a given point, $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ are two real number sequences in $\left(0,1\right)$. They proved that the sequence $\left\{{x}_{n}\right\}$ generated by the above iterative algorithm strongly converges to a fixed point of the mapping T provided that the control sequences $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ satisfy appropriate conditions.

Recently, many authors have studied the following convex feasibility problem (CFP): $x\in {\bigcap }_{i=1}^{N}{C}_{i}$, where $N\ge 1$ is an integer, and each ${C}_{i}$ is assumed to be the fixed point set of a nonexpansive mapping ${T}_{i}$, $i=1,2,\dots ,N$. There is a considerable investigation on CFP in the setting of Hilbert spaces which captures applications in various disciplines such as image restoration [28], computer tomography [29] and radiation therapy treatment planning [30].

In this paper, we consider the mapping ${W}_{n}$ defined by
$\begin{array}{r}{U}_{n,n+1}=I,\\ {U}_{n,n}={\gamma }_{n}{T}_{n}{U}_{n,n+1}+\left(1-{\gamma }_{n}\right)I,\\ {U}_{n,n-1}={\gamma }_{n-1}{T}_{n-1}{U}_{n,n}+\left(1-{\gamma }_{n-1}\right)I,\\ ⋮\\ {U}_{n,k}={\gamma }_{k}{T}_{k}{U}_{n,k+1}+\left(1-{\gamma }_{k}\right)I,\\ {U}_{n,k-1}={\gamma }_{k-1}{T}_{k-1}{U}_{n,k}+\left(1-{\gamma }_{k-1}\right)I,\\ ⋮\\ {U}_{n,2}={\gamma }_{2}{T}_{2}{U}_{n,3}+\left(1-{\gamma }_{2}\right)I,\\ {W}_{n}={U}_{n,1}={\gamma }_{1}{T}_{1}{U}_{n,2}+\left(1-{\gamma }_{1}\right)I,\end{array}$
(2.1)

where $\left\{{\gamma }_{1}\right\},\left\{{\gamma }_{2}\right\},\dots$ are real numbers such that $0\le {\gamma }_{n}\le 1$ and ${T}_{1},{T}_{2},\dots$ are nonexpansive mappings of C into itself. Nonexpansivity of each ${T}_{i}$ ensures the nonexpansivity of ${W}_{n}$.

We have the following lemmas which are important to prove our main results.

Lemma 2.1 [31]

Let C be a nonempty closed convex subset of a strictly convex Banach space E. Let ${T}_{1},{T}_{2},\dots$ be nonexpansive mappings of C into itself such that ${\bigcap }_{n=1}^{\mathrm{\infty }}F\left({T}_{n}\right)\ne \mathrm{\varnothing }$ and let ${\gamma }_{1},{\gamma }_{2},\dots$ be real numbers such that $0<{\gamma }_{n}\le b<1$, where b is some real number, for any $n\ge 1$. Then, for every $x\in C$ and $k\in N$, the limit ${lim}_{n\to \mathrm{\infty }}{U}_{n,k}x$ exists.

Using Lemma 2.1, one can define the mapping W of C into itself as follows.
$Wx=\underset{n\to \mathrm{\infty }}{lim}{W}_{n}x=\underset{n\to \mathrm{\infty }}{lim}{U}_{n,1}x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in C.$
(2.2)

Such a mapping W is called the W-mapping generated by ${T}_{1},{T}_{2},\dots$ and ${\gamma }_{1},{\gamma }_{2},\dots$ . Throughout this paper, we will assume that $0<{\gamma }_{n}\le b<1$ for all $n\ge 1$.

Lemma 2.2 [31]

Let C be a nonempty closed convex subset of a strictly convex Banach space E. Let ${T}_{1},{T}_{2},\dots$ be nonexpansive mappings of C into itself such that ${\bigcap }_{n=1}^{\mathrm{\infty }}F\left({T}_{n}\right)\ne \mathrm{\varnothing }$ and let ${\gamma }_{1},{\gamma }_{2},\dots$ be real numbers such that $0<{\gamma }_{n}\le b<1$ for any $n\ge 1$. Then $F\left(W\right)={\bigcap }_{n=1}^{\mathrm{\infty }}F\left({T}_{n}\right)$.

Let I denote the identity operator on E. An operator $A\subset E×E$ with domain $D\left(A\right)=\left\{z\in E:Az\ne \mathrm{\varnothing }\right\}$ and range $R\left(A\right)=\bigcup \left\{Az:z\in D\left(A\right)\right\}$ is said to be accretive if for each ${x}_{i}\in D\left(A\right)$ and ${y}_{i}\in A{x}_{i}$, $i=1,2$, there exists $j\left({x}_{1}-{x}_{2}\right)\in J\left({x}_{1}-{x}_{2}\right)$ such that
$〈{y}_{1}-{y}_{2},j\left({x}_{1}-{x}_{2}\right)〉\ge 0.$

An accretive operator A is said to be m-accretive if $R\left(I+rA\right)=E$ for all $r>0$. In a real Hilbert space, an operator A is m-accretive if and only if A is maximal monotone. In this paper, we use ${A}^{-1}\left(0\right)$ to denote the set of zero points of A. Interest in accretive operators, which is an important class of nonlinear operators, stems mainly from their firm connection with equations of evolution.

For an accretive operator A, we can define a nonexpansive single-valued mapping ${J}_{r}:R\left(I+rA\right)\to D\left(A\right)$ by ${J}_{r}={\left(I+rA\right)}^{-1}$ for each $r>0$, which is called the resolvent of A. One of classical methods of studying the problem $0\in Ax$, where $A\subset E×E$ is an accretive operator, is the following:
${x}_{0}\in E,\phantom{\rule{2em}{0ex}}{x}_{n+1}={J}_{{r}_{n}}{x}_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 0,$

where ${J}_{{r}_{n}}={\left(I+{r}_{n}A\right)}^{-1}$ and $\left\{{r}_{n}\right\}$ is a sequence of positive real numbers. Recently, different regularization iterative methods have been employed to treat zero points of accretive operators in the framework of Banach spaces; see [3236] and the references therein.

In this paper, we investigate common fixed point problems of a family of nonexpansive mappings generated in (2.1) and a zero point problem of an accretive operator based on a viscosity approximation method. Strong convergence theorems of common fixed points are established in a Banach space. In order to prove our main results, we need the following definitions and lemmas.

Recall that if C and D are nonempty subsets of a Banach space E such that C is nonempty closed convex and $D\subset C$, then a map $Q:C\to D$ is sunny provided that $Q\left(x+t\left(x-Q\left(x\right)\right)\right)=Q\left(x\right)$ for all $x\in C$ and $t\ge 0$ whenever $x+t\left(x-Q\left(x\right)\right)\in C$. A sunny nonexpansive retraction is a sunny retraction, which is also nonexpansive. Sunny nonexpansive retractions play an important role in our argument. They are characterized as follows: If E is a smooth Banach space, then $Q:C\to D$ is a sunny nonexpansive retraction if and only if the following inequality holds:

Chen and Zhu [34] showed that if E is a reflexive Banach space and has a weakly continuous duality, then there is a sunny nonexpansive retraction from ${\mathrm{\Pi }}_{C}$ onto $F\left(T\right)$ and it can be constructed as follows.

Lemma 2.3 [32]

Let E be a reflexive Banach space which has a weakly continuous duality mapping ${J}_{\phi }\left(x\right)$. Let C be closed convex subset of E and let $T:C\to C$ be a nonexpansive mapping. Let $f:C\to C$ be a contractive mapping with $F\left(f\right)\ne \mathrm{\varnothing }$. For any $t\in \left(0,1\right)$, let $\left\{{x}_{t}\right\}$ be defined by ${x}_{t}=tf\left({x}_{t}\right)+\left(1-t\right)T{x}_{t}$, where T is a nonexpansive mapping. Then T has a fixed point if and only if $\left\{{x}_{t}\right\}$ remains bounded as $t\to {0}^{+}$ and, in this case, $\left\{{x}_{t}\right\}$ converges, as $t\to {0}^{+}$, strongly to a fixed point of T.

Lemma 2.4 Under the condition of Lemma  2.3, we define the mapping $Q:{\mathrm{\Pi }}_{C}\to F\left(T\right)$ by
$Q\left(f\right):=\underset{t\to 0}{lim}{x}_{t},\phantom{\rule{1em}{0ex}}f\in {\mathrm{\Pi }}_{C}.$
(2.3)

Then the mapping Q is a sunny nonexpansive retraction from ${\mathrm{\Pi }}_{C}$ onto $F\left(T\right)$.

Proof From Theorem 3.1 of [34], for all $t\in \left(0,1\right)$ and $p\in F\left(T\right)$, we have
$〈{x}_{t}-f\left({x}_{t}\right),{J}_{\phi }\left({x}_{t}-p\right)〉\le 0.$
Letting $t\to 0$, we have
$〈\left(I-f\right)Q\left(f\right),{J}_{\phi }\left(Q\left(f\right)-p\right)〉\le 0.$
Since ${J}_{\phi }\left(x\right)=\frac{\phi \left(\parallel x\parallel \right)}{\parallel x\parallel }J\left(x\right)$ for any $x\ne 0$, we have
$〈\left(I-f\right)Q\left(f\right),J\left(Q\left(f\right)-p\right)〉\le 0.$

This completes the proof. □

Recall that a gauge is a continuous strictly increasing function $\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ such that $\phi \left(0\right)=0$ and $\phi \left(t\right)\to \mathrm{\infty }$ as $t\to \mathrm{\infty }$. The duality mapping ${J}_{\phi }:X\to {X}^{\ast }$ associated to a gauge φ is defined by
${J}_{\phi }\left(x\right)=\left\{{x}^{\ast }\in {X}^{\ast }:〈x,{x}^{\ast }〉=\parallel x\parallel \phi \left(\parallel x\parallel \right),\parallel {x}^{\ast }\parallel =\phi \left(\parallel x\parallel \right)\right\},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in X.$
Following Browder [37], we say that a Banach space E has a weakly continuous duality mapping if there exists a gauge φ for which the duality mapping ${J}_{\phi }\left(x\right)$ is single-valued and weak-to-weak sequentially continuous (i.e., if $\left\{{x}_{n}\right\}$ is a sequence in E weakly convergent to a point x, then the sequence ${J}_{\phi }\left({x}_{n}\right)$ converges weakly to ${J}_{\phi }$). It is known that ${l}^{p}$ has a weakly continuous duality mapping with a gauge function $\phi \left(t\right)={t}^{p-1}$ for all $1. Set
$\mathrm{\Phi }\left(t\right)={\int }_{0}^{t}\phi \left(\tau \right)\phantom{\rule{0.2em}{0ex}}{d}_{\tau },\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\ge 0.$
Then
${J}_{\phi }\left(x\right)=\partial \mathrm{\Phi }\left(\parallel x\parallel \right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in X,$

where denotes the sub-differential in the sense of convex analysis.

The first part of the next lemma is an immediate consequence of the sub-differential inequality and the proof of the second part can be found in [38].

Lemma 2.5 Assume that a Banach space E has a weakly continuous duality mapping ${J}_{\phi }$ with a gauge φ.
1. (i)
For all $x,y\in E$, the following inequality holds:
$\mathrm{\Phi }\left(\parallel x+y\parallel \right)\le \mathrm{\Phi }\left(\parallel x\parallel \right)+〈y,{J}_{\phi }\left(x+y\right)〉.$
In particular, for all $x,y\in E$
${\parallel x+y\parallel }^{2}\le {\parallel x\parallel }^{2}+2〈y,J\left(x+y\right)〉.$

2. (ii)

Assume that a sequence $\left\{{x}_{n}\right\}$ in E converges weakly to a point $x\in E$.

Then the following identity holds:
$\underset{n\to \mathrm{\infty }}{lim sup}\mathrm{\Phi }\left(\parallel {x}_{n}-y\parallel \right)=\underset{n\to \mathrm{\infty }}{lim sup}\mathrm{\Phi }\left(\parallel {x}_{n}-x\parallel \right)+\mathrm{\Phi }\left(\parallel y-x\parallel \right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in E.$

Lemma 2.6 [39]

Let $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ be bounded sequences in a Banach space X and let $\left\{{\beta }_{n}\right\}$ be a sequence in $\left[0,1\right]$ with $0<{lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}\le {lim sup}_{n\to \mathrm{\infty }}{\beta }_{n}<1$. Suppose that ${x}_{n+1}=\left(1-{\beta }_{n}\right){y}_{n}+{\beta }_{n}{x}_{n}$ for all integers $n\ge 0$ and
$\underset{n\to \mathrm{\infty }}{lim sup}\left(\parallel {y}_{n+1}-{y}_{n}\parallel -\parallel {x}_{n+1}-{x}_{n}\parallel \right)\le 0.$

Then ${lim}_{n\to \mathrm{\infty }}\parallel {y}_{n}-{x}_{n}\parallel =0$.

Lemma 2.7 [40]

Assume that $\left\{{\alpha }_{n}\right\}$ is a sequence of nonnegative real numbers such that
${\alpha }_{n+1}\le \left(1-{\gamma }_{n}\right){\alpha }_{n}+{\delta }_{n},$
where $\left\{{\gamma }_{n}\right\}$ is a sequence in $\left(0,1\right)$ and $\left\{{\delta }_{n}\right\}$ is a sequence such that
1. (i)

${\sum }_{n=1}^{\mathrm{\infty }}{\gamma }_{n}=\mathrm{\infty }$;

2. (ii)

${lim sup}_{n\to \mathrm{\infty }}{\delta }_{n}/{\gamma }_{n}\le 0$ or ${\sum }_{n=1}^{\mathrm{\infty }}|{\delta }_{n}|<\mathrm{\infty }$.

Then ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$.

The following lemma can be obtained from Chang et al. [23]. For the sake of completeness, we still give the proof.

Lemma 2.8 Let C be a nonempty closed convex subset of a strictly convex Banach space E, let $\left\{{T}_{i}:C\to C\right\}$ be a family of infinitely nonexpansive mappings with ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\ne \mathrm{\varnothing }$, let $\left\{{\gamma }_{n}\right\}$ be a real sequence such that $0<{\gamma }_{n}\le b<1$ for each $n\ge 1$. If K is any bounded subset of C, then ${lim}_{n\to \mathrm{\infty }}{sup}_{x\in K}\parallel Wx-{W}_{n}x\parallel =0$.

Proof Let $p\in {\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)$. Since K is a bounded subset of C, there exists an $M>0$ such that ${sup}_{x\in K}\parallel x-p\parallel \le M$. It follows that
$\begin{array}{rcl}\parallel {W}_{n+1}x-{W}_{n}x\parallel & =& \parallel {\gamma }_{1}{T}_{1}{U}_{n+1,2}x+\left(1-{\gamma }_{1}\right)x-{\gamma }_{1}{T}_{1}{U}_{n,2}x-\left(1-{\gamma }_{1}\right)x\parallel \\ \le & {\gamma }_{1}\parallel {U}_{n+1,2}x-{U}_{n,2}x\parallel \\ =& {\gamma }_{1}\parallel {\gamma }_{2}{T}_{2}{U}_{n+1,3}x+\left(1-{\gamma }_{2}\right)x-{\gamma }_{2}{T}_{2}{U}_{n,3}x-\left(1-{\gamma }_{2}\right)x\parallel \\ \le & {\gamma }_{1}{\gamma }_{2}\parallel {U}_{n+1,3}x-{U}_{n,3}x\parallel \\ ⋮\\ \le & \prod _{i=1}^{n}{\gamma }_{i}\parallel {U}_{n+1,n+1}x-{U}_{n,n+1}x\parallel \\ \le & \prod _{i=1}^{n+1}{\gamma }_{i}\left(\parallel {T}_{n+1}x-p\parallel +\parallel p-x\parallel \right)\\ \le & 2\prod _{i=1}^{n+1}{\gamma }_{i}M.\end{array}$
Since $0<{\gamma }_{n}\le b<1$, for any given $ϵ>0$, there exists a positive integer ${n}_{0}$ such that
${b}^{{n}_{0}+1}\le \frac{ϵ\left(1-b\right)}{2M}.$
For any positive integers $m>n>{n}_{0}$, we find that
$\begin{array}{rcl}\parallel {W}_{m}x-{W}_{n}x\parallel & \le & \sum _{j=n}^{m-1}\parallel {W}_{j}x-{W}_{j}x\parallel \\ \le & 2M\sum _{j=n}^{m-1}\prod _{i=1}^{j+1}{\gamma }_{i}\\ \le & 2M\sum _{j=n}^{m-1}{b}^{j+1}\\ \le & \frac{2M{b}^{n+1}}{1-b}\\ \le & ϵ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in K.\end{array}$
Letting $m\to \mathrm{\infty }$, we find that
$\parallel Wx-{W}_{n}x\parallel \le ϵ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge {n}_{0}.$

This implies that ${lim}_{n\to \mathrm{\infty }}{sup}_{x\in K}\parallel Wx-{W}_{n}x\parallel =0$. □

## 3 Main results

Theorem 3.1 Let E be a reflexive and strictly convex Banach space E which enjoys a weakly continuous duality map ${J}_{\phi }\left(x\right)$ with gauge φ and let A be an m-accretive operator in E with the domain $D\left(A\right)$. Assume that $\overline{D\left(A\right)}$ is convex. Let ${T}_{i}$ be a nonexpansive mapping from $C=:\overline{D\left(A\right)}$ into itself for $i\in {\mathbb{Z}}^{+}$. Let $f\in {\mathrm{\Pi }}_{C}$ with the coefficient ($0<\alpha <1$) and ${J}_{r}={\left(I+rA\right)}^{-1}$ for some $r>0$. Assume that $\mathrm{\Omega }:=F\left({J}_{r}W\right)=F\left({J}_{r}\right)\cap F\left(W\right)\ne \mathrm{\varnothing }$, where W is a mapping defined by (2.2). Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following iterative algorithm:
$\left\{\begin{array}{c}{x}_{0}\in C,\hfill \\ {y}_{n}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right){J}_{r}{W}_{n}{x}_{n},\hfill \\ {x}_{n+1}={\alpha }_{n}f\left({y}_{n}\right)+\left(1-{\alpha }_{n}\right){y}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,\hfill \end{array}$
where ${W}_{n}$ is generated in (2.1), $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ are real number sequences in $\left(0,1\right)$ satisfying the following restrictions:
1. (a)

${\sum }_{n=0}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$;

2. (b)

$0<{lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}\le {lim sup}_{n\to \mathrm{\infty }}{\beta }_{n}<1$.

Then $\left\{{x}_{n}\right\}$ strongly converges to $Q\left(f\right)\in \mathrm{\Omega }$, where $Q:{\mathrm{\Pi }}_{C}\to \mathrm{\Omega }$ is defined by (2.3).

Proof First we prove that sequences $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ are bounded. Fixing $p\in \mathrm{\Omega }$, we see that
$\begin{array}{rcl}\parallel {y}_{n}-p\parallel & \le & {\beta }_{n}\parallel {x}_{n}-p\parallel +\left(1-{\beta }_{n}\right)\parallel {J}_{r}{W}_{n}{x}_{n}-p\parallel \\ \le & \parallel {x}_{n}-p\parallel .\end{array}$
It follows that
$\begin{array}{rcl}\parallel {x}_{n+1}-p\parallel & =& \parallel {\alpha }_{n}\left(f\left({y}_{n}\right)-p\right)+\left(1-{\alpha }_{n}\right)\left({y}_{n}-p\right)\parallel \\ \le & {\alpha }_{n}\parallel f\left({y}_{n}\right)-p\parallel +\left(1-{\alpha }_{n}\right)\parallel {y}_{n}-p\parallel \\ \le & \left[1-{\alpha }_{n}\left(1-\alpha \right)\right]\parallel {x}_{n}-p\parallel +{\alpha }_{n}\parallel f\left(p\right)-p\parallel \\ \le & max\left\{\parallel {x}_{n}-p\parallel ,\frac{\parallel f\left(p\right)-p\parallel }{1-\alpha }\right\}.\end{array}$
This in turn implies that
$\parallel {x}_{n}-p\parallel \le max\left\{\parallel {x}_{0}-p\parallel ,\frac{\parallel p-f\left(p\right)\parallel }{1-\alpha }\right\},$

which gives that the sequence $\left\{{x}_{n}\right\}$ is bounded, so is $\left\{{y}_{n}\right\}$.

Next, we prove that $\parallel {x}_{n+1}-{x}_{n}\parallel \to 0$ as $n\to \mathrm{\infty }$. Putting ${l}_{n}=\frac{{x}_{n+1}-{\beta }_{n}{x}_{n}}{1-{\beta }_{n}}$, we have
${x}_{n+1}=\left(1-{\beta }_{n}\right){l}_{n}+{\beta }_{n}{x}_{n}.$
(3.1)
In the light of
$\begin{array}{rcl}{l}_{n+1}-{l}_{n}& =& \frac{{\alpha }_{n+1}f\left({y}_{n+1}\right)+\left(1-{\alpha }_{n+1}\right){y}_{n+1}-{\beta }_{n+1}{x}_{n+1}}{1-{\beta }_{n+1}}-\frac{{\alpha }_{n}f\left({y}_{n}\right)+\left(1-{\alpha }_{n}\right){y}_{n}-{\beta }_{n}{x}_{n}}{1-{\beta }_{n}}\\ =& \frac{{\alpha }_{n+1}\left(f\left({y}_{n+1}\right)-{y}_{n+1}\right)}{1-{\beta }_{n+1}}-\frac{{\alpha }_{n}\left(f\left({y}_{n}\right)-{y}_{n}\right)}{1-{\beta }_{n}}\\ +{J}_{r}{W}_{n+1}{x}_{n+1}-{J}_{r}{W}_{n+1}{x}_{n}+{J}_{r}{W}_{n+1}{x}_{n}-{J}_{r}{W}_{n}{x}_{n},\end{array}$
(3.2)
we obtain that
$\begin{array}{rcl}\parallel {l}_{n+1}-{l}_{n}\parallel & \le & \frac{{\alpha }_{n+1}}{1-{\beta }_{n+1}}\parallel f\left({y}_{n+1}\right)-{y}_{n+1}\parallel +\frac{{\alpha }_{n}}{1-{\beta }_{n}}\parallel {y}_{n}-f\left({y}_{n}\right)\parallel \\ +\parallel {x}_{n+1}-{x}_{n}\parallel +\parallel {J}_{r}{W}_{n+1}{x}_{n}-{J}_{r}{W}_{n}{x}_{n}\parallel \\ \le & \frac{{\alpha }_{n+1}}{1-{\beta }_{n+1}}\parallel f\left({y}_{n+1}\right)-{y}_{n+1}\parallel +\frac{{\alpha }_{n}}{1-{\beta }_{n}}\parallel {y}_{n}-f\left({y}_{n}\right)\parallel \\ +\parallel {x}_{n+1}-{x}_{n}\parallel +\parallel {W}_{n+1}{x}_{n}-{W}_{n}{x}_{n}\parallel .\end{array}$
(3.3)
Since ${T}_{i}$ and ${U}_{n,i}$ are nonexpansive, we have
$\begin{array}{rcl}\parallel {W}_{n+1}{x}_{n}-{W}_{n}{x}_{n}\parallel & =& \parallel {\gamma }_{1}{T}_{1}{U}_{n+1,2}{x}_{n}-{\gamma }_{1}{T}_{1}{U}_{n,2}{x}_{n}\parallel \\ \le & {\gamma }_{1}\parallel {U}_{n+1,2}{x}_{n}-{U}_{n,2}{x}_{n}\parallel \\ =& {\gamma }_{1}\parallel {\gamma }_{2}{T}_{2}{U}_{u+1,3}{x}_{n}-{\gamma }_{2}{T}_{2}{U}_{n,3}{x}_{n}\parallel \\ \le & {\gamma }_{1}{\gamma }_{2}\parallel {U}_{u+1,3}{x}_{n}-{U}_{n,3}{x}_{n}\parallel \\ \le & \cdots \\ \le & {\gamma }_{1}{\gamma }_{2}\cdots {\gamma }_{n}\parallel {U}_{n+1,n+1}{x}_{n}-{U}_{n,n+1}{x}_{n}\parallel \\ \le & {M}_{1}\prod _{i=1}^{n}{\gamma }_{i},\end{array}$
(3.4)
where ${M}_{1}\ge 0$ is an appropriate constant such that
$\parallel {U}_{n+1,n+1}{x}_{n}-{U}_{n,n+1}{x}_{n}\parallel \le {M}_{1}$
for all $n\ge 0$. Substituting (3.4) into (3.3), we have
$\parallel {l}_{n+1}-{l}_{n}\parallel -\parallel {x}_{n+1}-{x}_{n}\parallel \le \frac{{\alpha }_{n+1}}{1-{\beta }_{n+1}}\parallel f\left({y}_{n+1}\right)-{y}_{n+1}\parallel +\frac{{\alpha }_{n}}{1-{\beta }_{n}}\parallel {y}_{n}-f\left({y}_{n}\right)\parallel +{M}_{1}\prod _{i=1}^{n}{\gamma }_{i}.$
In view of conditions (a) and (b), we get that
$\underset{n\to \mathrm{\infty }}{lim sup}\left(\parallel {l}_{n+1}-{l}_{n}\parallel -\parallel {x}_{n+1}-{x}_{n}\parallel \right)\le 0.$
We can obtain from Lemma 2.6 that ${lim}_{n\to \mathrm{\infty }}\parallel {l}_{n}-{x}_{n}\parallel =0$ easily. On the other hand, we see from (3.1) that
${x}_{n+1}-{x}_{n}=\left(1-{\beta }_{n}\right)\left({l}_{n}-{x}_{n}\right).$
This implies that
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n+1}-{x}_{n}\parallel =0.$
(3.5)
Next, we prove that ${lim}_{n\to \mathrm{\infty }}\parallel {J}_{r}W{x}_{n}-{x}_{n}\parallel =0$. In view of
${x}_{n+1}-{y}_{n}={\alpha }_{n}\left(f\left({y}_{n}\right)-{y}_{n}\right),$
we obtain that
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n+1}-{y}_{n}\parallel =0.$
(3.6)
On the other hand, we have
$\parallel {y}_{n}-{x}_{n}\parallel \le \parallel {x}_{n}-{x}_{n+1}\parallel +\parallel {x}_{n+1}-{y}_{n}\parallel .$
In view of (3.5) and (3.6), we have
$\underset{n\to \mathrm{\infty }}{lim}\parallel {y}_{n}-{x}_{n}\parallel =0.$
(3.7)
Notice that
$\begin{array}{rcl}\parallel {J}_{r}{W}_{n}{x}_{n}-{x}_{n}\parallel & \le & \parallel {x}_{n}-{y}_{n}\parallel +\parallel {y}_{n}-{J}_{r}{W}_{n}{x}_{n}\parallel \\ \le & \parallel {x}_{n}-{y}_{n}\parallel +{\beta }_{n}\parallel {x}_{n}-{J}_{r}{W}_{n}{x}_{n}\parallel .\end{array}$
This implies that
$\left(1-{\beta }_{n}\right)\parallel {J}_{r}{W}_{n}{x}_{n}-{x}_{n}\parallel \le \parallel {x}_{n}-{y}_{n}\parallel .$
From condition (b) and (3.7), we obtain that
$\underset{n\to \mathrm{\infty }}{lim}\parallel {J}_{r}{W}_{n}{x}_{n}-{x}_{n}\parallel =0.$
(3.8)
On the other hand, we have
$\begin{array}{rcl}\parallel {J}_{r}W{x}_{n}-{x}_{n}\parallel & \le & \parallel {J}_{r}W{x}_{n}-{J}_{r}{W}_{n}{x}_{n}\parallel +\parallel {J}_{r}{W}_{n}{x}_{n}-{x}_{n}\parallel \\ \le & \parallel W{x}_{n}-{W}_{n}{x}_{n}\parallel +\parallel {J}_{r}{W}_{n}{x}_{n}-{x}_{n}\parallel .\end{array}$
In view of Lemma 2.8, we find that
$\underset{n\to \mathrm{\infty }}{lim}\parallel W{x}_{n}-{W}_{n}{x}_{n}\parallel =0.$
This in turn implies that
$\underset{n\to \mathrm{\infty }}{lim}\parallel {J}_{r}W{x}_{n}-{x}_{n}\parallel =0.$
(3.9)
Next, we show ${x}_{n}\to Q\left(f\right)$ as $n\to \mathrm{\infty }$. To show it, we first prove that
$\underset{n\to \mathrm{\infty }}{lim sup}〈\left(I-f\right)Q\left(f\right),{J}_{\phi }\left(Q\left(f\right)-{x}_{n}\right)〉\le 0.$
(3.10)
In view of Lemma 2.4, we have the sunny nonexpansive retraction $Q:{\mathrm{\Pi }}_{C}\to \mathrm{\Omega }$. Take a subsequence $\left\{{x}_{{n}_{k}}\right\}$ of $\left\{{x}_{n}\right\}$ such that
$\underset{n\to \mathrm{\infty }}{lim sup}〈\left(I-f\right)Q\left(f\right),{J}_{\phi }\left(Q\left(f\right)-{x}_{n}\right)〉=\underset{k\to \mathrm{\infty }}{lim}〈\left(I-f\right)Q\left(f\right),{J}_{\phi }\left(Q\left(f\right)-{x}_{{n}_{k}}\right)〉.$
(3.11)
Since E is reflexive, we may further assume that ${x}_{{n}_{k}}⇀\overline{x}$ for some $\overline{x}\in C$. Since ${J}_{\phi }$ is weakly continuous, we obtain from Lemma 2.5 that
$\underset{n\to \mathrm{\infty }}{lim sup}\mathrm{\Phi }\left(\parallel {x}_{{n}_{k}}-x\parallel \right)=\underset{n\to \mathrm{\infty }}{lim sup}\mathrm{\Phi }\left(\parallel {x}_{{n}_{k}}-\overline{x}\parallel \right)+\mathrm{\Phi }\left(\parallel x-\overline{x}\parallel \right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in E.$
Put
$g\left(x\right)=\underset{k\to \mathrm{\infty }}{lim sup}\mathrm{\Phi }\left(\parallel {x}_{{n}_{k}}-x\parallel \right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in E.$
It follows that
$g\left(x\right)=g\left(\overline{x}\right)+\mathrm{\Phi }\left(\parallel x-\overline{x}\parallel \right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in E.$
With the aid of (3.9), we arrive at
$\begin{array}{rcl}g\left({J}_{r}W\overline{x}\right)& =& \underset{k\to \mathrm{\infty }}{lim sup}\mathrm{\Phi }\left(\parallel {x}_{{n}_{k}}-{J}_{r}W\overline{x}\parallel \right)=\underset{k\to \mathrm{\infty }}{lim sup}\mathrm{\Phi }\left(\parallel {J}_{r}W{x}_{{n}_{k}}-{J}_{r}W\overline{x}\parallel \right)\\ \le & \underset{k\to \mathrm{\infty }}{lim sup}\mathrm{\Phi }\left(\parallel {x}_{{n}_{k}}-\overline{x}\parallel \right)\\ =& g\left(\overline{x}\right).\end{array}$
(3.12)
Notice that
$g\left({J}_{r}W\overline{x}\right)=g\left(\overline{x}\right)+\mathrm{\Phi }\left(\parallel {J}_{r}W\overline{x}-\overline{x}\parallel \right).$
(3.13)
From (3.12) and (3.13), we find that
$\mathrm{\Phi }\left(\parallel {J}_{r}W\overline{x}-\overline{x}\parallel \right)\le 0.$
This implies that ${J}_{r}W\overline{x}=\overline{x}$. And hence $\overline{x}\in F\left({J}_{r}W\right)$. That is, $\overline{x}\in \mathrm{\Omega }$. Since Q is the sunny nonexpansive retraction from ${\mathrm{\Pi }}_{C}$ onto F, we have from (3.11)
$\underset{n\to \mathrm{\infty }}{lim sup}〈\left(I-f\right)Q\left(f\right),{J}_{\phi }\left(Q\left(f\right)-{x}_{n}\right)〉=〈\left(I-f\right)Q\left(f\right),{J}_{\phi }\left(Q\left(f\right)-\overline{x}\right)〉\le 0.$
This shows that (3.10) holds. It follows from Lemma 2.5 that
$\begin{array}{c}\mathrm{\Phi }\parallel {x}_{n+1}-Q\left(f\right)\parallel \hfill \\ \phantom{\rule{1em}{0ex}}=\mathrm{\Phi }\left(\parallel {\alpha }_{n}\left(f\left({x}_{n}\right)-f\left(Q\left(f\right)\right)\right)+{\alpha }_{n}\left(f\left(Q\left(f\right)\right)-Q\left(f\right)\right)+\left(1-{\alpha }_{n}\right)\left({y}_{n}-Q\left(f\right)\right)\parallel \right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \mathrm{\Phi }\left({\alpha }_{n}\parallel f\left({x}_{n}\right)-f\left(Q\left(f\right)\right)\parallel +\left(1-{\alpha }_{n}\right)\parallel {y}_{n}-Q\left(f\right)\parallel \right)\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+{\alpha }_{n}〈f\left(Q\left(f\right)\right)-Q\left(f\right),{J}_{\phi }\left({x}_{n+1}-Q\left(f\right)\right)〉\hfill \\ \phantom{\rule{1em}{0ex}}\le \mathrm{\Phi }\left(\left(1-{\alpha }_{n}\left(1-\alpha \right)\right)\parallel {x}_{n}-Q\left(f\right)\parallel \right)\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+{\alpha }_{n}〈f\left(Q\left(f\right)\right)-Q\left(f\right),{J}_{\phi }\left({x}_{n+1}-Q\left(f\right)\right)〉\hfill \\ \phantom{\rule{1em}{0ex}}\le \left(1-{\alpha }_{n}\left(1-\alpha \right)\right)\mathrm{\Phi }\left(\parallel {x}_{n}-Q\left(f\right)\parallel \right)\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+{\alpha }_{n}〈f\left(Q\left(f\right)\right)-Q\left(f\right),{J}_{\phi }\left({x}_{n+1}-Q\left(f\right)\right)〉.\hfill \end{array}$

We find that $\parallel {x}_{n}-Q\left(f\right)\parallel \to 0$ as $n\to \mathrm{\infty }$ from Lemma 2.7. That is, ${x}_{n}\to Q\left(f\right)$. This completes the proof. □

Remark 3.2 Taking ${T}_{i}=I$, the identity mapping, $\mathrm{\forall }i\ge 1$, we see that ${W}_{n}=I$. Then the strict convexity of E in Theorem 3.1 may not be needed.

Corollary 3.3 Let E be a reflexive Banach space E which enjoys a weakly continuous duality map ${J}_{\phi }\left(x\right)$ with gauge φ and A be an m-accretive operator in E with the domain $D\left(A\right)$. Assume that $\overline{D\left(A\right)}$ is convex. Let $f\in {\mathrm{\Pi }}_{\overline{D\left(A\right)}}$ with the coefficient ($0<\alpha <1$) and ${J}_{r}={\left(I+rA\right)}^{-1}$ for some $r>0$. Assume that ${A}^{-1}\left(0\right)\ne \mathrm{\varnothing }$. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following iterative algorithm:
$\left\{\begin{array}{c}{x}_{0}\in {A}^{-1}\left(0\right),\hfill \\ {y}_{n}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right){J}_{r}{x}_{n},\hfill \\ {x}_{n+1}={\alpha }_{n}f\left({y}_{n}\right)+\left(1-{\alpha }_{n}\right){y}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,\hfill \end{array}$
where $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ are real number sequences in $\left(0,1\right)$ satisfying the following restrictions:
1. (a)

${\sum }_{n=0}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$;

2. (b)

$0<{lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}\le {lim sup}_{n\to \mathrm{\infty }}{\beta }_{n}<1$.

Then $\left\{{x}_{n}\right\}$ strongly converges to $Q\left(f\right)\in {A}^{-1}\left(0\right)$, where $Q:{\mathrm{\Pi }}_{\overline{D\left(A\right)}}\to {A}^{-1}\left(0\right)$ is defined by (2.3).

If $f\left(x\right)=u$, where u is a fixed element in $\overline{D\left(A\right)}$, then Theorem 3.1 is reduced to the following.

Corollary 3.4 Let E be a reflexive and strictly convex Banach space E which enjoys a weakly continuous duality map ${J}_{\phi }\left(x\right)$ with gauge φ and A be an m-accretive operator in E with the domain $D\left(A\right)$. Assume that $\overline{D\left(A\right)}$ is convex. Let ${T}_{i}$ be a nonexpansive mapping from $C=:\overline{D\left(A\right)}$ into itself for $i\in {\mathbb{Z}}^{+}$. Let ${J}_{r}={\left(I+rA\right)}^{-1}$ for some $r>0$. Assume that $\mathrm{\Omega }:=F\left({J}_{r}W\right)=F\left({J}_{r}\right)\cap F\left(W\right)\ne \mathrm{\varnothing }$, where W is a mapping defined by (2.2). Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following iterative algorithm:
$\left\{\begin{array}{c}{x}_{0}\in C,\hfill \\ {y}_{n}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right){J}_{r}{W}_{n}{x}_{n},\hfill \\ {x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right){y}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,\hfill \end{array}$
where ${W}_{n}$ is generated in (2.1), $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ are real number sequences in $\left(0,1\right)$ satisfying the following restrictions:
1. (a)

${\sum }_{n=0}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$;

2. (b)

$0<{lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}\le {lim sup}_{n\to \mathrm{\infty }}{\beta }_{n}<1$.

Then $\left\{{x}_{n}\right\}$ strongly converges to $Q\left(u\right)\in \mathrm{\Omega }$, where $Q:{\mathrm{\Pi }}_{C}\to \mathrm{\Omega }$ is defined by (2.3).

If $A=I$, then Theorem 3.1 is reduced to the following.

Corollary 3.5 Let E be a reflexive and strictly convex Banach space E which enjoys a weakly continuous duality map ${J}_{\phi }\left(x\right)$ with gauge φ and let C be a closed and convex subset of E. Let ${T}_{i}$ be a nonexpansive mapping from C into itself for $i\in {\mathbb{Z}}^{+}$. Let $f\in {\mathrm{\Pi }}_{C}$ with the coefficient ($0<\alpha <1$). Assume that $\mathrm{\Omega }:={\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)\ne \mathrm{\varnothing }$. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following iterative algorithm:
$\left\{\begin{array}{c}{x}_{0}\in C,\hfill \\ {y}_{n}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right){W}_{n}{x}_{n},\hfill \\ {x}_{n+1}={\alpha }_{n}f\left({y}_{n}\right)+\left(1-{\alpha }_{n}\right){y}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,\hfill \end{array}$
where ${W}_{n}$ is generated in (2.1), $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ are real number sequences in $\left(0,1\right)$ satisfying the following restrictions:
1. (a)

${\sum }_{n=0}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$;

2. (b)

$0<{lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}\le {lim sup}_{n\to \mathrm{\infty }}{\beta }_{n}<1$.

Then $\left\{{x}_{n}\right\}$ strongly converges to $Q\left(f\right)\in \mathrm{\Omega }$, where $Q:{\mathrm{\Pi }}_{C}\to \mathrm{\Omega }$ is defined by (2.3).

## Declarations

### Acknowledgements

The authors are grateful to the reviewers and editor for their hard work for this article.

## Authors’ Affiliations

(1)
School of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou, 450011, China
(2)
College of Science, Hebei University of Engineering, Handan, 056038, China

## References

1. 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
2. Ansari QH, Schaible S, Yao JC: The system of generalized vector equilibrium problems with applications. J. Glob. Optim. 2002, 22: 3–16. 10.1023/A:1013857924393
3. Noor MA, Noor KI, Waseem M: Decomposition method for solving system of linear equations. Eng. Math. Lett. 2013, 2: 34–41.Google Scholar
4. Qin X, Chang SS, Cho YJ: Iterative methods for generalized equilibrium problems and fixed point problems with applications. Nonlinear Anal. 2010, 11: 2963–2972. 10.1016/j.nonrwa.2009.10.017
5. Abdel-Salam HS, Al-Khaled K: Variational iteration method for solving optimization problems. J. Math. Comput. Sci. 2012, 2: 1475–1497.
6. Park S: On generalizations of the Ekeland-type variational principles. Nonlinear Anal. 2000, 39: 881–889. 10.1016/S0362-546X(98)00253-3
7. 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.
8. 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.Google Scholar
9. Khanh PQ, Luu LM: On the existence of solutions to vector quasivariational inequalities and quasicomplementarity problems with applications to traffic network equilibria. J. Optim. Theory Appl. 2004, 123: 533–548. 10.1007/s10957-004-5722-3
10. Husain S, Gupta S: A resolvent operator technique for solving generalized system of nonlinear relaxed cocoercive mixed variational inequalities. Adv. Fixed Point Theory 2011, 1: 18–28.Google Scholar
11. Iiduka H: Fixed point optimization algorithm and its application to network bandwidth allocation. J. Comput. Appl. Math. 2012, 236: 1733–1742. 10.1016/j.cam.2011.10.004
12. Shen J, Pang LP: An approximate bundle method for solving variational inequalities. Comm. Optim. Theory 2012, 1: 1–18.Google Scholar
13. Shimoji K, Takahashi W: Strong convergence to common fixed points of infinite nonexpansive mappings and applications. Taiwan. J. Math. 2001, 5: 387–404.
14. Cho SY, Kang SM: Approximation of common solutions of variational inequalities via strict pseudocontractions. Acta Math. Sci. 2012, 32: 1607–1618.
15. 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.008
16. 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
17. 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
18. 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
19. 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
20. Qin X, Cho SY, Kang SM: Iterative algorithms for variational inequality and equilibrium problems with applications. J. Glob. Optim. 2010, 48: 423–445. 10.1007/s10898-009-9498-8
21. Saini RK, Kumar M: Common fixed point of expansion type maps in cone metric space using implicit relations. Adv. Fixed Point Theory 2012, 2: 326–339.Google Scholar
22. 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
23. Luo H, Wang Y: Iterative approximation for the common solutions of a infinite variational inequality system for inverse-strongly accretive mappings. J. Math. Comput. Sci. 2012, 2: 1660–1670.
24. Qing Y, Cho SY, Shang M: Strong convergence of an iterative process for a family of strictly pseudocontractive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 117Google Scholar
25. Reich S: Strong convergence theorems for resolvents of accretive operators in Banach spaces. J. Math. Anal. Appl. 1980, 75: 287–292. 10.1016/0022-247X(80)90323-6
26. Xu HK: Strong convergence of an iterative method for nonexpansive and accretive operators. J. Math. Anal. Appl. 2006, 314: 631–643. 10.1016/j.jmaa.2005.04.082
27. Kim TH, Xu HK: Strong convergence of modified Mann iterations. Nonlinear Anal. 2005, 61: 51–60. 10.1016/j.na.2004.11.011
28. Kotzer T, Cohen N, Shamir J: Image restoration by a novel method of parallel projection onto constraint sets. Opt. Lett. 1995, 20: 1172–1174. 10.1364/OL.20.001172
29. Sezan MI, Stark H: Application of convex projection theory to image recovery in tomograph and related areas. In Image Recovery: Theory and Application. Edited by: Stark H. Academic Press, Orlando; 1987:155–270.Google Scholar
30. Censor Y, Zenios SA: Parallel Optimization. Theory, Algorithms, and Applications, Numerical Mathematics and Scientific Computation. Oxford University Press, New York; 1997.Google Scholar
31. Takahashi W, Shimoji K: Convergence theorems for nonexpansive mappings and feasibility problems. Math. Comput. Model. 2000, 32: 1463–1471. 10.1016/S0895-7177(00)00218-1
32. Qin X, Su Y: Approximation of a zero point of accretive operator in Banach spaces. J. Math. Anal. Appl. 2007, 329: 415–424. 10.1016/j.jmaa.2006.06.067
33. Chang SS, Lee HWJ, Chan CK: A new method for solving equilibrium problem fixed point problem and variational inequality problem with application to optimization. Nonlinear Anal. 2009, 70: 3307–3319. 10.1016/j.na.2008.04.035
34. Chen R, Zhu Z: Viscosity approximation fixed points for nonexpansive and m -accretive operators. Fixed Point Theory Appl. 2006., 2006: Article ID 81325Google Scholar
35. Ceng LC, Petrusel A, Wong MM: Hybrid viscosity iterative approximation of zeros of m -accretive operators in Banach spaces. Taiwan. J. Math. 2011, 15: 2459–2481.
36. Qin X, Kang SM, Cho YJ: Approximating zeros of monotone operators by proximal point algorithms. J. Glob. Optim. 2010, 46: 75–87. 10.1007/s10898-009-9410-6
37. Browder FE: Fixed point theorems for noncompact mappings in Hilbert spaces. Proc. Natl. Acad. Sci. USA 1965, 53: 1272–1276. 10.1073/pnas.53.6.1272
38. Lim TC, Xu HK: Fixed point theorems for asymptotically nonexpansive mappings. Nonlinear Anal. 1994, 22: 1345–1355. 10.1016/0362-546X(94)90116-3
39. Suzuki T: Strong convergence of Krasnoselskii and Mann’s type sequences for one-parameter nonexpansive semigroups without Bochner integrals. J. Math. Anal. Appl. 2005, 305: 227–239. 10.1016/j.jmaa.2004.11.017
40. Liu LS: Ishikawa and Mann iteration process with errors for nonlinear strongly accretive mappings in Banach spaces. J. Math. Anal. Appl. 1995, 194: 114–125. 10.1006/jmaa.1995.1289