Skip to content
• 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

• Received: 16 March 2013
• 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  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,  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  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  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  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 , computer tomography  and radiation therapy treatment planning .

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 

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 

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

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

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 

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 

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

Advertisement 