• Research
• Open Access

# Strong convergence theorems for common zeros of a family of accretive operators

Fixed Point Theory and Applications20142014:105

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

• Accepted: 25 March 2014
• Published:

## Abstract

In this paper, common zeros of a family of accretive operators are investigated based on the Kirk-like proximal point algorithm. A strong convergence theorem is established in a reflexive Banach space.

## Keywords

• accretive operator
• resolvent
• strict convexness
• zero

## 1 Introduction

In the real world, many important problems have reformulations which require finding common zero (fixed) points of nonlinear operators, for instance, image recovery, inverse problems, transportation problems and optimization problems. It is well known that the convex feasibility problem is a special case of the common zero (fixed) points of nonlinear operators. In 1971, Kirk [1] introduced a parallel iterative process for finding a family of nonexpansive mappings. Common fixed point theorems were established in a Banach space; for more details, see [1]. For studying zero points of monotone operators, the most well-known algorithm is the proximal point algorithm; see [2, 3] and the references therein. It is known that Rockfellar’s proximal point algorithm is, in general, weak convergence; see [4] and the references therein.

Recently, many authors have been devoted to investigating the strong convergence of a proximal point algorithm. Strong convergence theorems for zero points of accretive operators were established; see, for example, [529] and the references therein.

In this paper, we are concerned with the problem of finding a common zero of a family of accretive operators based on the Kirk-like proximal point algorithm. A strong convergence theorem is established in a reflexive Banach space.

## 2 Preliminaries

Let E be a Banach space with the dual ${E}^{\ast }$. Let $〈\cdot \phantom{\rule{0.2em}{0ex}},\cdot 〉$ denote the pairing between E and ${E}^{\ast }$. The normalized duality mapping $J:E\to {2}^{{E}^{\ast }}$ is defined by
$J\left(x\right)=\left\{f\in {E}^{\ast }:〈x,f〉={\parallel x\parallel }^{2}={\parallel f\parallel }^{2}\right\},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in E.$

Let ${U}_{E}=\left\{x\in E:\parallel x\parallel =1\right\}$. E is said to be smooth or to have a Gâteaux differentiable norm if the limit ${lim}_{t\to 0}\frac{\parallel x+ty\parallel -\parallel x\parallel }{t}$ exists for each $x,y\in {U}_{E}$. E is said to have a uniformly Gâteaux differentiable norm if for each $y\in {U}_{E}$, the limit is attained uniformly for all $x\in {U}_{E}$. E is said to be uniformly smooth or to have a uniformly Fréchet differentiable norm if the limit is attained uniformly for $x,y\in {U}_{E}$.

It is well known that (uniform) Fréchet differentiability of the norm of E implies (uniform) Gâteaux differentiability of the norm of E. It is known that if the norm of E is uniformly Gâteaux differentiable, then the duality mapping j is single-valued and uniformly norm to weak continuous on each bounded subset of E. In the sequel, we use j to denote the single-valued normalized duality mapping.

A Banach space E is said to be strictly convex if and only if
$\parallel x\parallel =\parallel y\parallel =\parallel \left(1-\lambda \right)x+\lambda y\parallel$

for $x,y\in E$, and $0<\lambda <1$ implies that $x=y$.

Recall that a closed convex subset C of a Banach space E is said to have a normal structure if for each bounded closed convex subset K of C which contains at least two points, there exists an element x of K which is not a diametral point of K, i.e., $sup\left\{\parallel x-y\parallel :y\in K\right\}, where $d\left(K\right)$ is the diameter of K.

Let C be a nonempty closed convex subset of E. Let $T:C\to C$ be a mapping. In this paper, we use $F\left(T\right)$ to denote the set of fixed points of T. Recall that T is said to be nonexpansive iff $\parallel Tx-Ty\parallel \le \parallel x-y\parallel$, $\mathrm{\forall }x,y\in C$. For the existence of fixed points of a nonexpansive mapping, we refer readers to [30].

Let I denote the identity operator on E. An operator $A\subset E×E$ with the domain $D\left(A\right)=\left\{z\in E:Az\ne \mathrm{\varnothing }\right\}$ and the 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 this paper, we use ${A}^{-1}\left(0\right)$ to denote the set of zero points of A. 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.

Next we give the following lemmas which play an important role in this article.

Lemma 2.1 [31]

Let E be a real Banach space and let J be the normalized duality mapping. Then there exists $j\left(x+y\right)\in J\left(x+y\right)$ such that
${\parallel x+y\parallel }^{2}\le {\parallel x\parallel }^{2}+2〈y,j\left(x+y\right)〉,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in E.$

Lemma 2.2 [32]

Let C be a closed convex subset of a strictly convex Banach space E. Let $S:C\to C$ and $T:C\to c$ be two nonexpansive mappings. Suppose that $F\left(S\right)\cap F\left(T\right)$ is nonempty. Then the mapping $wS+\left(1-w\right)T$, where $s\in \left(0,1\right)$ is a real number, is well defined nonexpansive with $F\left(wS+\left(1-w\right)T\right)=F\left(S\right)\cap F\left(T\right)$.

Lemma 2.3 [33]

Let E be a real reflexive Banach space with the uniformly Gâteaux differentiable norm and the normal structure, and let C be a nonempty closed convex subset of E. Let $T:C\to C$ be a nonexpansive mapping with a fixed point. Let $\left\{{x}_{t}\right\}$ be a sequence generated by the following ${x}_{t}=tu+\left(1-t\right)T{x}_{t}$, where $t\in \left(0,1\right)$ and $u\in C$ is a fixed element. Then $\left\{{x}_{t}\right\}$ converges strongly as $t\to 0$ to a fixed point ${x}^{\ast }$ of T, which is the unique solution in $F\left(T\right)$ to the following variational inequality $〈u-{x}^{\ast },j\left({x}^{\ast }-p\right)〉\ge 0$, $\mathrm{\forall }p\in F\left(T\right)$.

Lemma 2.4 [34]

Let $\left\{{a}_{n}\right\}$, $\left\{{b}_{n}\right\}$, $\left\{{c}_{n}\right\}$ and $\left\{{d}_{n}\right\}$ be three nonnegative real sequences satisfying ${a}_{n+1}\le \left(1-{b}_{n}\right){a}_{n}+{b}_{n}{c}_{n}+{d}_{n}$, $\mathrm{\forall }n\ge {n}_{0}$, where ${n}_{0}$ is some positive integer, $\left\{{b}_{n}\right\}$ is a number sequence in $\left(0,1\right)$ such that ${\sum }_{n={n}_{0}}^{\mathrm{\infty }}{b}_{n}=\mathrm{\infty }$, $\left\{{c}_{n}\right\}$ is a number sequence such that ${lim sup}_{n\to \mathrm{\infty }}{c}_{n}\le 0$, and $\left\{{d}_{n}\right\}$ is a positive number sequence such that ${\sum }_{n={n}_{0}}^{\mathrm{\infty }}{d}_{n}<\mathrm{\infty }$. Then ${lim}_{n\to \mathrm{\infty }}{a}_{n}=0$.

## 3 Main results

Theorem 3.1 Let E be a real reflexive, strictly convex Banach space with the uniformly Gâteaux differentiable norm. Let $N\ge 1$ be some positive integer. Let ${A}_{m}$ be an m-accretive operator in E for each $m\in \left\{1,2,\dots ,N\right\}$. Assume that $C:={\bigcap }_{m=1}^{N}\overline{D\left({A}_{m}\right)}$ is convex and has the normal structure. Let $\left\{{\alpha }_{n}\right\}$ be a real number sequence in $\left(0,1\right)$ such that ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$ and ${\sum }_{n=1}^{\mathrm{\infty }}|{\alpha }_{n+1}-{\alpha }_{n}|<\mathrm{\infty }$, let $\left\{{\beta }_{n,m}\right\}$ be a real number sequence in $\left(0,1\right)$ such that ${\sum }_{m=1}^{N}{\beta }_{n,m}=1$, ${lim}_{n\to \mathrm{\infty }}{\beta }_{n,m}={\beta }_{m}$ and ${\sum }_{n=1}^{\mathrm{\infty }}|{\beta }_{n+1,m}-{\beta }_{n,m}|<\mathrm{\infty }$, let $\left\{{r}_{m}\right\}$ be a positive real number sequence, and let $\left\{{e}_{n,m}\right\}$ be a sequence in E such that ${\sum }_{n=1}^{\mathrm{\infty }}\parallel {e}_{n,m}\parallel <\mathrm{\infty }$ for each $m\in \left\{1,2,\dots ,N\right\}$. Assume that ${\bigcap }_{m=1}^{N}{A}_{m}^{-1}\left(0\right)$ is not empty. Let $\left\{{x}_{n}\right\}$ be a sequence generated in the following manner:
${x}_{1}\in C,\phantom{\rule{1em}{0ex}}{x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\sum _{m=1}^{N}{\beta }_{n,m}{J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1,$

where u is a fixed element in C and ${J}_{{r}_{m}}={\left(I+{r}_{m}{A}_{m}\right)}^{-1}$. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to $\overline{x}$, which is the unique solution to the following variational inequality $〈u-\overline{x},j\left(p-\overline{x}\right)〉\le 0$, $\mathrm{\forall }p\in {\bigcap }_{m=1}^{N}{A}_{m}^{-1}\left(0\right)$.

Proof The proof is split into five steps.

Step 1. Show that $\left\{{x}_{n}\right\}$ is bounded.

Put ${y}_{n}={\sum }_{m=1}^{N}{\beta }_{n,m}{J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)$. Fixing $p\in {\bigcap }_{m=1}^{N}{A}_{m}^{-1}\left(0\right)$, we find that
$\parallel {y}_{n}-p\parallel \le \sum _{m=1}^{N}{\beta }_{n,m}\parallel {J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)-p\parallel \le \parallel {x}_{n}-p\parallel +\sum _{m=1}^{N}\parallel {e}_{n,m}\parallel .$
It follows that
$\begin{array}{rl}\parallel {x}_{n+1}-p\parallel & \le {\alpha }_{n}\parallel u-p\parallel +\left(1-{\alpha }_{n}\right)\parallel {y}_{n}-p\parallel \\ \le {\alpha }_{n}\parallel u-p\parallel +\left(1-{\alpha }_{n}\right)\parallel {x}_{n}-p\parallel +\sum _{m=1}^{N}\parallel {e}_{n,m}\parallel \\ \le max\left\{\parallel u-p\parallel ,\parallel {x}_{n}-p\parallel \right\}+\sum _{m=1}^{N}\parallel {e}_{n,m}\parallel .\end{array}$
By induction, we find that
$\parallel {x}_{n+1}-p\parallel \le max\left\{\parallel u-p\parallel ,\parallel {x}_{1}-p\parallel \right\}+\sum _{i=1}^{\mathrm{\infty }}\sum _{m=1}^{N}\parallel {e}_{i,m}\parallel <\mathrm{\infty }.$

This proves Step 1.

Step 2. Show that ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n+1}-{x}_{n}\parallel =0$.

Note that
$\begin{array}{rl}{y}_{n}-{y}_{n-1}=& \sum _{m=1}^{N}{\beta }_{n,m}\left({J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)-{J}_{{r}_{m}}\left({x}_{n-1}+{e}_{n-1,m}\right)\right)\\ +\sum _{m=1}^{N}\left({\beta }_{n,m}-{\beta }_{n-1,m}\right){J}_{{r}_{m}}\left({x}_{n-1}+{e}_{n-1,m}\right).\end{array}$
It follows that
$\begin{array}{rl}\parallel {y}_{n}-{y}_{n-1}\parallel \le & \sum _{m=1}^{N}{\beta }_{n,m}\parallel {J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)-{J}_{{r}_{m}}\left({x}_{n-1}+{e}_{n-1,m}\right)\parallel \\ +\sum _{m=1}^{N}|{\beta }_{n,m}-{\beta }_{n-1,m}|\parallel {J}_{{r}_{m}}\left({x}_{n-1}+{e}_{n-1,m}\right)\parallel \\ \le & \parallel {x}_{n}-{x}_{n-1}\parallel +\sum _{m=1}^{N}\parallel {e}_{n,m}\parallel +\sum _{m=1}^{N}\parallel {e}_{n-1,m}\parallel \\ +\sum _{m=1}^{N}|{\beta }_{n,m}-{\beta }_{n-1,m}|\parallel {J}_{{r}_{m}}\left({x}_{n-1}+{e}_{n-1,m}\right)\parallel \\ \le & \parallel {x}_{n}-{x}_{n-1}\parallel +{M}_{1}\sum _{m=1}^{N}|{\beta }_{n,m}-{\beta }_{n-1,m}|+\sum _{m=1}^{N}\parallel {e}_{n,m}\parallel +\sum _{m=1}^{N}\parallel {e}_{n-1,m}\parallel ,\end{array}$
where ${M}_{1}$ is an appropriate constant such that
${M}_{1}=max\left\{\underset{n\ge 1}{sup}\parallel {J}_{{r}_{1}}\left({x}_{n}+{e}_{n,1}\right)\parallel ,\underset{n\ge 1}{sup}\parallel {J}_{{r}_{2}}\left({x}_{n}+{e}_{n,2}\right)\parallel ,\dots ,\underset{n\ge 1}{sup}\parallel {J}_{{r}_{N}}\left({x}_{n}+{e}_{n,N}\right)\parallel \right\}.$
It follows that
$\begin{array}{rl}\parallel {x}_{n+1}-{x}_{n}\parallel \le & \left(1-{\alpha }_{n}\right)\parallel {y}_{n}-{y}_{n-1}\parallel +|{\alpha }_{n}-{\alpha }_{n-1}|\parallel u-{y}_{n-1}\parallel \\ \le & \left(1-{\alpha }_{n}\right)\parallel {x}_{n}-{x}_{n-1}\parallel +{M}_{2}\left(\sum _{m=1}^{N}|{\beta }_{n,m}-{\beta }_{n-1,m}|+|{\alpha }_{n}-{\alpha }_{n-1}|\right)\\ +\sum _{m=1}^{N}\parallel {e}_{n,m}\parallel +\sum _{m=1}^{N}\parallel {e}_{n-1,m}\parallel ,\end{array}$

where ${M}_{2}=max\left\{{M}_{1},{sup}_{n\ge 1}\parallel u-{y}_{n}\parallel \right\}$. In view of Lemma 2.4, we conclude Step 2.

Step 3. Show that ${lim}_{n\to \mathrm{\infty }}\parallel T{x}_{n}-{x}_{n}\parallel =0$, where $T={\sum }_{m=1}^{N}{\beta }_{m}{J}_{{r}_{m}}$. In light of Lemma 2.2, we see that T is nonexpansive with $F\left(T\right)={\bigcap }_{m=1}^{N}F\left({J}_{{r}_{m}}\right)={\bigcap }_{m=1}^{N}{A}_{m}^{-1}\left(0\right)$. Since
$\begin{array}{rl}\parallel {y}_{n}-T{x}_{n}\parallel \le & \parallel \sum _{m=1}^{N}{\beta }_{n,m}{J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)-\sum _{m=1}^{N}{\beta }_{m}{J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)\parallel \\ +\parallel \sum _{m=1}^{N}{\beta }_{m}{J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)-\sum _{m=1}^{N}{\beta }_{m}{J}_{{r}_{m}}{x}_{n}\parallel \\ \le & \sum _{m=1}^{N}|{\beta }_{n,m}-{\beta }_{m}|\parallel {J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)\parallel +\sum _{m=1}^{N}\parallel {e}_{n,m}\parallel ,\end{array}$
we find from the restrictions imposed on the control sequences that ${lim}_{n\to \mathrm{\infty }}\parallel T{x}_{n}-{y}_{n}\parallel =0$. Since
$\begin{array}{rl}\parallel T{x}_{n}-{x}_{n}\parallel & \le \parallel {x}_{n}-{x}_{n+1}\parallel +\parallel {x}_{n+1}-T{x}_{n}\parallel \\ \le \parallel {x}_{n}-{x}_{n+1}\parallel +{\alpha }_{n}\parallel u-J{x}_{n}\parallel +\left(1-{\alpha }_{n}\right)\parallel {y}_{n}-T{x}_{n}\parallel ,\end{array}$

we conclude Step 3.

Step 4. Show that ${lim sup}_{n\to \mathrm{\infty }}〈u-\overline{x},j\left({x}_{n}-\overline{x}\right)〉\le 0$, where $\overline{x}={lim}_{t\to 0}{x}_{t}$, and ${x}_{t}$ solves the fixed point equation
${x}_{t}=tu+\left(1-t\right)T{x}_{t},\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in \left(0,1\right).$
It follows that
$\begin{array}{rl}{\parallel {x}_{t}-{x}_{n}\parallel }^{2}=& t〈u-{x}_{n},j\left({x}_{t}-{x}_{n}\right)〉+\left(1-t\right)〈T{x}_{t}-{x}_{n},j\left({x}_{t}-{x}_{n}\right)〉\\ =& t〈u-{x}_{t},j\left({x}_{t}-{x}_{n}\right)〉+t〈{x}_{t}-{x}_{n},j\left({x}_{t}-{x}_{n}\right)〉\\ +\left(1-t\right)〈T{x}_{t}-T{x}_{n},j\left({x}_{t}-{x}_{n}\right)〉+\left(1-t\right)〈T{x}_{n}-{x}_{n},j\left({x}_{t}-{x}_{n}\right)〉\\ \le & t〈u-{x}_{t},j\left({x}_{t}-{x}_{n}\right)〉+{\parallel {x}_{t}-{x}_{n}\parallel }^{2}+\parallel T{x}_{n}-{x}_{n}\parallel \parallel {x}_{t}-{x}_{n}\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in \left(0,1\right).\end{array}$
This implies that
$〈{x}_{t}-u,j\left({x}_{t}-{x}_{n}\right)〉\le \frac{1}{t}\parallel T{x}_{n}-{x}_{n}\parallel \parallel {x}_{t}-{x}_{n}\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in \left(0,1\right).$
Since ${lim}_{n\to \mathrm{\infty }}\parallel T{x}_{n}-{x}_{n}\parallel =0$, we find that ${lim sup}_{n\to \mathrm{\infty }}〈{x}_{t}-u,j\left({x}_{t}-{x}_{n}\right)〉\le 0$. In view of the fact that j is strong to weak uniformly continuous on bounded subsets of E, we find that
$\begin{array}{r}|〈u-\overline{x},j\left({x}_{n}-\overline{x}\right)〉-〈{x}_{t}-u,j\left({x}_{t}-{x}_{n}\right)〉|\\ \phantom{\rule{1em}{0ex}}\le |〈u-\overline{x},j\left({x}_{n}-\overline{x}\right)〉-〈u-\overline{x},j\left({x}_{n}-{x}_{t}\right)〉|\\ \phantom{\rule{2em}{0ex}}+|〈u-\overline{x},j\left({x}_{n}-{x}_{t}\right)〉-〈{x}_{t}-u,j\left({x}_{t}-{x}_{n}\right)〉|\\ \phantom{\rule{1em}{0ex}}\le |〈u-\overline{x},j\left({x}_{n}-\overline{x}\right)-j\left({x}_{n}-{x}_{t}\right)〉|+|〈u-\overline{x}+{x}_{t}-u,j\left({x}_{n}-{x}_{t}\right)〉|\\ \phantom{\rule{1em}{0ex}}\le \parallel u-\overline{x}\parallel \parallel j\left({x}_{n}-\overline{x}\right)-j\left({x}_{n}-{x}_{t}\right)\parallel +\parallel {x}_{t}-\overline{x}\parallel \parallel {x}_{n}-{x}_{t}\parallel .\end{array}$
Since ${x}_{t}\to \overline{x}$, as $t\to 0$, we have
$\underset{t\to 0}{lim}|〈{x}_{t}-u,j\left({x}_{t}-{x}_{n}\right)〉-〈u-\overline{x},j\left({x}_{n}-\overline{x}\right)〉|=0.$
For $ϵ>0$, there exists $\delta >0$ such that $\mathrm{\forall }t\in \left(0,\delta \right)$, we have
$〈u-\overline{x},j\left({x}_{n}-\overline{x}\right)〉\le 〈{x}_{t}-u,j\left({x}_{t}-{x}_{n}\right)〉+ϵ.$
This implies that
$\underset{n\to \mathrm{\infty }}{lim sup}〈u-\overline{x},j\left({x}_{n}-\overline{x}\right)〉\le \underset{n\to \mathrm{\infty }}{lim sup}〈{x}_{t}-u,j\left({x}_{t}-{x}_{n}\right)〉+ϵ.$

Since ϵ is arbitrarily chosen, we find that ${lim sup}_{n\to \mathrm{\infty }}〈u-\overline{x},j\left({x}_{n}-\overline{x}\right)〉\le 0$. This implies that ${lim sup}_{n\to \mathrm{\infty }}〈u-\overline{x},j\left({x}_{n+1}-\overline{x}\right)〉\le 0$. This proves Step 4.

Step 5. Show that ${x}_{n}\to \overline{x}$ as $n\to \mathrm{\infty }$.

Using Lemma 2.1, we find that
$\begin{array}{rl}{\parallel {x}_{n+1}-\overline{x}\parallel }^{2}& ={\parallel {\alpha }_{n}\left(u-\overline{x}\right)+\left(1-{\alpha }_{n}\right)\left(\sum _{m=1}^{N}{\beta }_{n,m}\left({J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)-\overline{x}\right)\right)\parallel }^{2}\\ \le {\left(1-{\alpha }_{n}\right)}^{2}{\parallel \sum _{m=1}^{N}{\beta }_{n,m}\left({J}_{{r}_{m}}\left({x}_{n}+{e}_{n,m}\right)-\overline{x}\right)\parallel }^{2}+2{\alpha }_{n}〈u-\overline{x},j\left({x}_{n+1}-\overline{x}\right)〉\\ \le {\left(1-{\alpha }_{n}\right)}^{2}\sum _{m=1}^{N}{\beta }_{n,m}{\parallel {x}_{n}+{e}_{n,m}-\overline{x}\parallel }^{2}+2{\alpha }_{n}〈u-\overline{x},j\left({x}_{n+1}-\overline{x}\right)〉\\ \le \left(1-{\alpha }_{n}\right){\parallel {x}_{n}-\overline{x}\parallel }^{2}+{\lambda }_{n}+2{\alpha }_{n}〈u-\overline{x},j\left({x}_{n+1}-\overline{x}\right)〉,\end{array}$

where ${\lambda }_{n}={\sum }_{m=1}^{N}\left({\parallel {e}_{n,m}\parallel }^{2}+2\parallel {e}_{n,m}\parallel \parallel {x}_{n}-\overline{x}\parallel \right)$. We, therefore, find that ${\sum }_{n=1}^{\mathrm{\infty }}{\lambda }_{n}<\mathrm{\infty }$. From Lemma 2.4, we find the desired conclusion. This proves the proof. □

Remark 3.2 Theorem 3.1 is still valid in the framework of the space which is uniformly convex and the norm is uniformly Gâteaux differentiable.

## 4 Applications

In this section, we consider an application of Theorem 3.1. Let $A:C\to {E}^{\ast }$ be a single-valued monotone operator which is hemicontinuous; that is, continuous along each line segment in C with respect to the weak topology of ${E}^{\ast }$. Consider the following variational inequality:
The solution set of the variational inequality is denoted by $VI\left(C,A\right)$. Recall that the normal cone ${N}_{C}\left(x\right)$ for C at a point $x\in C$ is defined by
${N}_{C}\left(x\right)=\left\{{x}^{\ast }\in {E}^{\ast }:〈y-x,{x}^{\ast }〉\le 0,\mathrm{\forall }y\in C\right\}.$

Now, we are in a position to give the result on the variational inequality.

Theorem 4.1 Let E be a real reflexive, strictly convex Banach space with the uniformly Gâteaux differentiable norm. Let $N\ge 1$ be some positive integer and let C be a nonempty closed and convex subset of E. Let ${A}_{m}:C\to {E}^{\ast }$ be a single-valued, monotone and hemicontinuous operator. Assume that ${\bigcap }_{m=1}^{N}VI\left(C,{A}_{m}\right)$ is not empty and C has the normal structure. Let $\left\{{\alpha }_{n}\right\}$ be a real number sequence in $\left(0,1\right)$ such that ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$ and ${\sum }_{n=1}^{\mathrm{\infty }}|{\alpha }_{n+1}-{\alpha }_{n}|<\mathrm{\infty }$, let $\left\{{\beta }_{n,m}\right\}$ be a real number sequence in $\left(0,1\right)$ such that ${\sum }_{m=1}^{N}{\beta }_{n,m}=1$, ${lim}_{n\to \mathrm{\infty }}{\beta }_{n,m}={\beta }_{m}$ and ${\sum }_{n=1}^{\mathrm{\infty }}|{\beta }_{n+1,m}-{\beta }_{n,m}|<\mathrm{\infty }$, let $\left\{{r}_{m}\right\}$ be a positive real number sequence for each $m\in \left\{1,2,\dots ,N\right\}$. Assume that $\left\{{x}_{n}\right\}$ is a sequence generated in the following manner:
${x}_{1}\in C,\phantom{\rule{1em}{0ex}}{x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\sum _{m=1}^{N}{\beta }_{n,m}VI\left(C,{A}_{m}+\frac{1}{{r}_{m}}\left(I-{x}_{n}\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1,$

where u is a fixed element in C. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to $\overline{x}$, which is the unique solution to the following variational inequality $〈u-\overline{x},j\left(p-\overline{x}\right)〉\le 0$, $\mathrm{\forall }p\in {\bigcap }_{m=1}^{N}VI\left(C,{A}_{m}\right)$.

Proof First, we define a mapping ${T}_{m}\subset E×{E}^{\ast }$ by
${T}_{m}x=\left\{\begin{array}{cc}{A}_{m}x+{N}_{C}x,\hfill & x\in C,\hfill \\ \mathrm{\varnothing },\hfill & x\notin C.\hfill \end{array}$
From Rockafellar [33], we find that ${T}_{m}$ is maximal monotone and ${T}_{m}^{-1}\left(0\right)=VI\left(C,{A}_{m}\right)$. For each ${r}_{m}>0$ and ${x}_{n}\in E$, we see that there exists a unique ${x}_{{r}_{m}}\in D\left({T}_{m}\right)$ such that ${x}_{n}\in {x}_{{r}_{m}}+{r}_{m}{T}_{m}\left({x}_{{r}_{m}}\right)$, where ${x}_{{r}_{m}}={\left(I+{r}_{m}{T}_{m}\right)}^{-1}{x}_{n}$. Notice that
${y}_{n,m}=VI\left(C,{A}_{m}+\frac{1}{{r}_{m}}\left(I-{x}_{n}\right)\right),$
which is equivalent to
$〈y-{y}_{n,m},{A}_{m}{y}_{n,m}+\frac{1}{{r}_{m}}\left({y}_{n,m}-{x}_{n}\right)〉\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in C,$

that is, $-{A}_{m}{y}_{n,m}+\frac{1}{{r}_{m}}\left({x}_{n}-{y}_{n,m}\right)\in {N}_{C}\left({y}_{n,m}\right)$. This implies that ${y}_{n,m}={\left(I+{r}_{m}{T}_{m}\right)}^{-1}{x}_{n}$. In light of Theorem 3.1, we draw the desired conclusion immediately. □

## Declarations

### Acknowledgements

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

## Authors’ Affiliations

(1)
School of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou, 450011, China
(2)
Basic Experimental & Teaching Center, Henan University, Kaifeng, 475000, China

## References

1. Kirk WA: On successive approximations for nonexpansive mappings in Banach spaces. Glasg. Math. J. 1971, 12: 6–9. 10.1017/S0017089500001063
2. Rockfellar RT: Augmented Lagrangians and applications of the proximal point algorithm in convex programming. Math. Oper. Res. 1976, 1: 97–116. 10.1287/moor.1.2.97
3. Rockfellar RT: Monotone operators and proximal point algorithm. SIAM J. Control Optim. 1976, 14: 877–898. 10.1137/0314056
4. Güler O: On the convergence of the proximal point algorithm for convex minimization. SIAM J. Control Optim. 1991, 29: 403–419. 10.1137/0329022
5. 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
6. 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
7. Jung JS: Some results on Rockafellar-type iterative algorithms for zeros of accretive operators. J. Inequal. Appl. 2013., 2013: Article ID 255Google Scholar
8. Kim JK: Convergence of Ishikawa iterative sequences for accretive Lipschitzian mappings in Banach spaces. Taiwan. J. Math. 2006, 10: 553–561.Google Scholar
9. 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
10. Wu C, Lv S: Bregman projection methods for zeros of monotone operators. J. Fixed Point Theory 2013., 2013: Article ID 7Google Scholar
11. Wu C: Convergence of algorithms for an infinite family nonexpansive mappings and relaxed cocoercive mappings in Hilbert spaces. Adv. Fixed Point Theory 2014, 4: 125–139.Google Scholar
12. 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
13. Yang S: Zero theorems of accretive operators in reflexive Banach spaces. J. Nonlinear Funct. Anal. 2013., 2013: Article ID 2Google Scholar
14. Song J, Chen M: A modified Mann iteration for zero points of accretive operators. Fixed Point Theory Appl. 2013., 2013: Article ID 347Google Scholar
15. 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
16. Qin X, Cho SY, Wang L: A regularization method for treating zero points of the sum of two monotone operators. Fixed Point Theory Appl. 2014., 2014: Article ID 75Google Scholar
17. Hao Y: Zero theorems of accretive operators. Bull. Malays. Math. Soc. 2011, 34: 103–112.Google Scholar
18. Hu L, Liu L: A new iterative algorithm for common solutions of a finite family of accretive operators. Nonlinear Anal. 2009, 70: 344–2351.
19. Cho SY, Kang SM: Zero point theorems for m -accretive operators in a Banach space. Fixed Point Theory 2012, 13: 49–58.
20. Cho SY, Li W, Kang SM: Convergence analysis of an iterative algorithm for monotone operators. J. Inequal. Appl. 2013., 2013: Article ID 199Google Scholar
21. Cho SY, Qin X, Wang L: Strong convergence of a splitting algorithm for treating monotone operators. Fixed Point Theory Appl. 2014., 2014: Article ID 94Google Scholar
22. 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
23. Qing Y, Cho SY: Proximal point algorithms for zero points of nonlinear operators. Fixed Point Theory Appl. 2014., 2014: Article ID 42Google Scholar
24. Rodjanadid B, Sompong S: A new iterative method for solving a system of generalized equilibrium problems, generalized mixed equilibrium problems and common fixed point problems in Hilbert spaces. Adv. Fixed Point Theory 2013, 3: 675–705.Google Scholar
25. Qing Y, Cho SY, Qin X: Convergence of iterative sequences for common zero points of a family of m -accretive mappings in Banach spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 216173Google Scholar
26. Takahashi W: Viscosity approximation methods for resolvents of accretive operators in Banach spaces. J. Fixed Point Theory Appl. 2007, 1: 135–147. 10.1007/s11784-006-0004-3
27. 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.
28. 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
29. Cho SY, Kang SM: Approximation of common solutions of variational inequalities via strict pseudocontractions. Acta Math. Sci. 2011, 32: 1607–1618.
30. Kirk WA: A fixed point theorem for mappings which do not increase distances. Am. Math. Mon. 1965, 72: 1004–1006. 10.2307/2313345
31. Chang SS: Some problems and results in the study of nonlinear analysis. Nonlinear Anal. 1997, 30: 4197–4208. 10.1016/S0362-546X(97)00388-X
32. Bruck RE: Properties of fixed-point sets of nonexpansive mappings in Banach spaces. Trans. Am. Math. Soc. 1973, 179: 251–262.
33. Qin X, Cho SY, Wang L: Iterative algorithms with errors for zero points of m -accretive operators. Fixed Point Theory Appl. 2013., 2013: Article ID 148Google Scholar
34. Liu L: Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces. J. Math. Anal. Appl. 1995, 194: 114–125. 10.1006/jmaa.1995.1289