# Convergence theorems of convex combination methods for treating *d*-accretive mappings in a Banach space and nonlinear equation

- Li Wei
^{1}Email author, - Yuanxing Liu
^{1}and - Ravi P Agarwal
^{2, 3}

**2014**:482

https://doi.org/10.1186/1029-242X-2014-482

© Wei et al.; licensee Springer. 2014

**Received: **28 April 2014

**Accepted: **21 November 2014

**Published: **4 December 2014

## Abstract

*m*-*d*-Accretive mappings, which are totally different from *m*-accretive mappings in non-Hilbertian Banach spaces, belong to another type of nonlinear mappings with practical backgrounds. The purpose of this paper is to present some new iterative schemes by means of convex combination methods to approximate the common zeros of finitely many *m*-*d*-accretive mappings. Some strong and weak convergence theorems are obtained in a real uniformly smooth and uniformly convex Banach space by using the techniques of the Lyapunov functional and retraction. The restrictions are weaker than in the previous corresponding works. Moreover, an example of *m*-*d*-accretive mapping is exemplified, from which we can see the connections between *m*-*d*-accretive mappings and the nonlinear elliptic equations.

**MSC:**47H05, 47H09, 47H10.

### Keywords

Lyapunov functional*d*-accretive mapping common zeros retraction nonlinear elliptic equation

## 1 Introduction and preliminaries

Let *E* be a real Banach space with norm $\parallel \cdot \parallel $ and let ${E}^{\ast}$ denote the dual space of *E*. We use ‘→’ and ‘⇀’ to denote strong and weak convergence, respectively. We denote the value of $f\in {E}^{\ast}$ at $x\in E$ by $\u3008x,f\u3009$.

*J*from

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

We call *J* weakly sequentially continuous if $\{{x}_{n}\}$ is sequence in *E* which converges weakly to *x* it follows that $\{J{x}_{n}\}$ converges in weak^{∗} to *Jx*.

A mapping $T:D(T)=E\to {E}^{\ast}$ is said to be demi-continuous [1] on *E* if $T{x}_{n}\rightharpoonup Tx$, as $n\to \mathrm{\infty}$, for any sequence $\{{x}_{n}\}$ strongly convergent to *x* in *E*. A mapping $T:D(T)=E\to {E}^{\ast}$ is said to be hemi-continuous [1] on *E* if $w\text{-}{lim}_{t\to 0}T(x+ty)=Tx$, for any $x,y\in E$. A mapping $T:E\to E$ is said to be non-expansive if $\parallel Tx-Ty\parallel \le \parallel x-y\parallel $, for $\mathrm{\forall}x,y\in E$.

for $\mathrm{\forall}x,y\in E$.

*φ*that

for each $x,y,z\in E$; see [3, 4].

We use $Fix(S)$ to denote the set of fixed points of a mapping $S:E\to E$. That is, $Fix(S):=\{x\in E:Sx=x\}$. A mapping $S:E\to E$ is said to be generalized non-expansive [4] if $Fix(S)\ne \mathrm{\varnothing}$ and $\phi (Sx,p)\le \phi (x,p)$, for $\mathrm{\forall}x\in E$ and $p\in Fix(S)$.

Let *C* be a nonempty closed subset of *E* and let *Q* be a mapping of *E* onto *C*. Then *Q* is said to be sunny [4] if $Q(Q(x)+t(x-Q(x)))=Q(x)$, for all $x\in E$ and $t\ge 0$. A mapping $Q:E\to C$ is said to be a retraction [4] if $Q(z)=z$ for every $z\in C$. If *E* is a smooth and strictly convex Banach space, then a sunny generalized non-expansive retraction of *E* onto *C* is uniquely decided, which is denoted by ${R}_{C}$.

Let *I* denote the identity operator on *E*. A mapping $A:D(A)\subset E\to E$ is said to be accretive if $\u3008Ax-Ay,J(x-y)\u3009\ge 0$, for $\mathrm{\forall}x,y\in D(A)$ and it is called *m*-accretive if $R(I+\lambda A)=E$, for $\mathrm{\forall}\lambda >0$.

If *A* is accretive, we can define, for each $r>0$, a single-valued mapping ${J}_{r}^{A}:R(I+rA)\to D(A)$ by ${J}_{r}^{A}={(I+rA)}^{-1}$, which is called the resolvent of *A*. And, ${J}_{r}^{A}$ is a non-expansive mapping [1]. In the process of constructing iterative schemes to approximate zeros of an accretive mapping *A*, the non-expansive property of ${J}_{r}^{A}$ plays an important role.

A mapping $A:D(A)\subset E\to E$ is said to be *d*-accretive [5] if $\u3008Ax-Ay,Jx-Jy\u3009\ge 0$, for $\mathrm{\forall}x,y\in D(A)$. And it is called *m*-*d*-accretive if $R(I+\lambda A)=E$, for $\mathrm{\forall}\lambda >0$. However, the resolvent of an *m*-*d*-accretive mapping is not a non-expansive mapping.

An operator $B\subset E\times {E}^{\ast}$ is said to be monotone if $\u3008{x}_{1}-{x}_{2},{y}_{1}-{y}_{2}\u3009\ge 0$, for $\mathrm{\forall}{y}_{i}\in B{x}_{i}$, $i=1,2$. A monotone operator *B* is said to be maximal monotone if $R(J+\lambda B)={E}^{\ast}$, for $\mathrm{\forall}\lambda >0$. An operator $B\subset E\times {E}^{\ast}$ is said to be strictly monotone if $\u3008{x}_{1}-{x}_{2},{y}_{1}-{y}_{2}\u3009>0$, for $\mathrm{\forall}{x}_{1}\ne {x}_{2}$, $\mathrm{\forall}{y}_{i}\in B{x}_{i}$, $i=1,2$.

It is clear that in the frame of Hilbert spaces, (*m*-)accretive mappings, (*m*-)*d*-accretive mappings and (maximal) monotone operators are the same. But in the frame of non-Hilbertian Banach spaces, they belong to different classes of important nonlinear operators, which have practical backgrounds. During the past 50 years or so, a large number of researches have been done on the topics of constructing iterative schemes to approximate the zeros of *m*-accretive mappings and maximal monotone operators. However, rarely related work on *d*-accretive mappings can be found.

*d*-accretive mapping

*T*in a real uniformly smooth and uniformly convex Banach space:

They proved that the iterative sequences $\{{x}_{n}\}$ generated by (1.3) and (1.4) converge weakly to the zero point of *T* under the assumptions that *T* is uniformly bounded and demi-continuous.

*m*-

*d*-accretive mapping

*A*in a real uniformly smooth and uniformly convex Banach space:

*A*under the assumptions that

*A*is demi-continuous, the normalized duality mapping

*J*is weakly sequentially continuous, and ${J}_{{r}_{n}}^{A}$ satisfies

for $\mathrm{\forall}x\in E$ and $p\in {A}^{-1}0$. The restrictions are extremely strong and it is hardly for us to find such an *m*-*d*-accretive mapping which both is demi-continuous and satisfies (1.6).

*H*, the block iterative sequence $\{{x}_{n}\}$ is generated in the following way: ${x}_{1}=x\in H$ and

where ${P}_{i}$ is a non-expansive retraction from *H* onto ${C}_{i}$, and ${\{{C}_{i}\}}_{i=1}^{m}$ is a family of nonempty closed and convex subsets of *H*. $\{{\omega}_{n,i}\}\subset [0,1]$, ${\sum}_{i=1}^{m}{\omega}_{n,i}=1$, and $\{{\alpha}_{n,i}\}\subset (-1,1)$, for $i=1,2,\dots ,m$ and $n\ge 1$.

where $\{{\omega}_{n,i}\}\subset [0,1]$, ${\sum}_{i=1}^{m}{\omega}_{n,i}=1$, and $\{{\alpha}_{n,i}\}\subset [0,1]$, for $i=1,2,\dots ,m$ and $n\ge 1$.

*m*-

*d*-accretive mappings. Some weak convergence theorems are obtained in a Banach space. In Section 3, we shall construct iterative schemes by convex combination and retraction techniques for approximating common zeros of

*m*-

*d*-accretive mappings. Some strong convergence theorems are obtained in a Banach space. In Section 4, we shall present a nonlinear elliptic equation from which we can define an

*m*-

*d*-accretive mapping. Our main contributions lie in the following aspects:

- (i)
The restrictions are weaker. The semi-continuity of the

*d*-accretive mapping*A*and the inequality of (1.6) are no longer needed. - (ii)
The Lyapunov functional is employed in the process of estimating the convergence of the iterative sequence. This is mainly because the resolvent of a

*d*-accretive mapping is not non-expansive. - (iii)
The connection between a nonlinear elliptic equation and an

*m*-*d*-accretive mapping is set up, from which we cannot only find a good example of*m*-*d*-accretive mapping but also see the iterative construction of the solution of the nonlinear elliptic equation.

In order to prove our convergence theorems, we also need the following lemmas.

*The duality mapping*$J:E\to {2}^{{E}^{\ast}}$

*has the following properties*:

- (i)
*If**E**is a real reflexive and smooth Banach space*,*then*$J:E\to {E}^{\ast}$*is single*-*valued*. - (ii)
*If**E**is reflexive*,*then**J**is a surjection*. - (iii)
*If**E**is a real uniformly smooth and uniformly smooth Banach space*,*then*${J}^{-1}:{E}^{\ast}\to E$*is also a duality mapping*.*Moreover*,*J**and*${J}^{-1}$*are uniformly continuous on each bounded subset of**E**and*${E}^{\ast}$,*respectively*. - (iv)
*E**is strictly convex if and only if**J**is strictly monotone*.

**Lemma 1.2** [10]

*Let* *E* *be a real smooth and uniformly convex Banach space*, $B\subset E\times {E}^{\ast}$ *be a maximal monotone operator*, *then* ${B}^{-1}0$ *is a closed and convex subset of* *E* *and the graph of* *B*, $G(B)$ *is demi*-*closed in the following sense*: $\mathrm{\forall}\{{x}_{n}\}\subset D(B)$ *with* ${x}_{n}\rightharpoonup x$ *in* *E*, *and* $\mathrm{\forall}{y}_{n}\in B{x}_{n}$ *with* ${y}_{n}\to y$ *in* ${E}^{\ast}$ *it follows that* $x\in D(B)$ *and* $y\in Bx$.

**Lemma 1.3** [2]

*Let* *E* *be a real reflexive*, *strictly convex*, *and smooth Banach space*, *let* *C* *be a nonempty closed subset of* *E*, *and let* ${R}_{C}:E\to C$ *be a sunny generalized non*-*expansive retraction*. *Then*, *for* $\mathrm{\forall}u\in C$ *and* $x\in E$, $\phi (x,{R}_{C}x)+\phi ({R}_{C}x,u)\le \phi (x,u)$.

**Lemma 1.4** [3]

*Let* *E* *be a real smooth and uniformly convex Banach space*, *and let* $\{{x}_{n}\}$ *and* $\{{y}_{n}\}$ *be two sequences in* *E*. *If either* $\{{x}_{n}\}$ *or* $\{{y}_{n}\}$ *is bounded and* $\phi ({x}_{n},{y}_{n})\to 0$, *as* $n\to \mathrm{\infty}$, *then* ${x}_{n}-{y}_{n}\to 0$, *as* $n\to \mathrm{\infty}$.

**Lemma 1.5** [11]

*Let* $\{{a}_{n}\}$ *and* $\{{b}_{n}\}$ *be two sequences of nonnegative real numbers and* ${a}_{n+1}\le {a}_{n}+{b}_{n}$, *for* $\mathrm{\forall}n\ge 1$. *If* ${\sum}_{n=1}^{\mathrm{\infty}}{b}_{n}<+\mathrm{\infty}$, *then* ${lim}_{n\to \mathrm{\infty}}{a}_{n}$ *exists*.

## 2 Weak convergence theorems

**Theorem 2.1**

*Let*

*E*

*be a real uniformly smooth and uniformly convex Banach space*.

*Let*${A}_{i}:E\to E$

*be a finite family of*

*m*-

*d*-

*accretive mappings*, $\{{\omega}_{n,i}\},\{{\eta}_{n,i}\}\subset (0,1]$, $\{{\alpha}_{n,i}\},\{{\beta}_{n,i}\}\subset [0,1)$, $\{{r}_{n,i}\},\{{s}_{n,i}\}\subset (0,+\mathrm{\infty})$,

*for*$i=1,2,\dots ,m$. ${\sum}_{i=1}^{m}{\omega}_{n,i}=1$

*and*${\sum}_{i=1}^{m}{\eta}_{n,i}=1$.

*Let*$D:={\bigcap}_{i=1}^{m}{A}_{i}^{-1}0\ne \mathrm{\varnothing}$.

*Suppose that the normalized duality mapping*$J:E\to {E}^{\ast}$

*is weakly sequentially continuous*.

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

*be generated by the following iterative algorithm*:

*Suppose the following conditions are satisfied*:

- (i)
${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\alpha}_{n,i}<1$, ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\beta}_{n,i}<1$,

*for*$i=1,2,\dots ,m$; - (ii)
${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\eta}_{n,i}>0$, ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\omega}_{n,i}>0$,

*for*$i=1,2,\dots ,m$; - (iii)
${inf}_{n\ge 1}{r}_{n,i}>0$, ${inf}_{n\ge 1}{s}_{n,i}>0$,

*for*$i=1,2,\dots ,m$.

*Then* $\{{x}_{n}\}$ *converges weakly to a point* ${v}_{0}\in D$.

*Proof* For $i=1,2,\dots ,m$, let ${J}_{{r}_{n,i}}^{{A}_{i}}={(I+{r}_{n,i}{A}_{i})}^{-1}$ and ${J}_{{s}_{n,i}}^{{A}_{i}}={(I+{s}_{n,i}{A}_{i})}^{-1}$.

We split the proof into the following six steps.

*d*-accretive and $\frac{{x}_{n}-{J}_{{r}_{n,i}}^{{A}_{i}}{x}_{n}}{{r}_{n,i}}={A}_{i}{J}_{{r}_{n,i}}^{{A}_{i}}{x}_{n}$,

From (2.4) we know that (2.2) is true. So is (2.3).

Step 2. $\{{x}_{n}\}$ is bounded.

Lemma 1.5 implies that ${lim}_{n\to \mathrm{\infty}}\phi ({x}_{n},p)$ exists. Then (1.1) ensures that $\{{x}_{n}\}$ is bounded.

Step 3. ${A}_{i}{J}^{-1}\subset {E}^{\ast}\times E$ is maximal monotone, for each *i*, $1\le i\le m$.

*d*-accretive, then $\mathrm{\forall}x,y\in {E}^{\ast}$,

Therefore, ${A}_{i}{J}^{-1}$ is monotone, for each *i*, $1\le i\le m$.

Since $R(I+\lambda {A}_{i})=E$, $\lambda >0$, then $\mathrm{\forall}y\in E$, there exists $x\in E$ satisfying $x+\lambda {A}_{i}x=y$, $\lambda >0$. Using Lemma 1.1(ii), there exists ${x}^{\ast}\in {E}^{\ast}$ such that ${J}^{-1}{x}^{\ast}=x$. Thus ${J}^{-1}{x}^{\ast}+\lambda {A}_{i}{J}^{-1}{x}^{\ast}=y$, which implies that $R({J}^{-1}+\lambda {A}_{i}{J}^{-1})=E$, $\lambda >0$. Thus ${A}_{i}{J}^{-1}$ is maximal monotone, for each *i*, $1\le i\le m$.

Step 4. ${({A}_{i}{J}^{-1})}^{-1}0\ne \mathrm{\varnothing}$, for each *i*, $1\le i\le m$.

Since $D\ne \mathrm{\varnothing}$, then there exists $x\in E$ such that ${A}_{i}x=0$, where $i=1,2,\dots ,m$. Using Lemma 1.1(ii) again, there exists ${x}^{\ast}\in {E}^{\ast}$ such that ${J}^{-1}{x}^{\ast}=x$. Thus ${A}_{i}{J}^{-1}{x}^{\ast}=0$, for each *i*, $1\le i\le m$. That is, ${x}^{\ast}\in {({A}_{i}{J}^{-1})}^{-1}0$, for each *i*, $1\le i\le m$.

Step 5. $\omega ({x}_{n})\subset D$, where $\omega ({x}_{n})$ denotes the set of all of the weak limit points of the weakly convergent subsequences of $\{{x}_{n}\}$.

Since $\{{x}_{n}\}$ is bounded, there exists a subsequence of $\{{x}_{n}\}$, for simplicity, we still denote it by $\{{x}_{n}\}$ such that ${x}_{n}\rightharpoonup x$, as $n\to \mathrm{\infty}$.

Using the assumptions and the result of Step 2, we know that $\phi ({x}_{n},{J}_{{r}_{n,i}}^{{A}_{i}}{x}_{n})\to 0$, as $n\to \mathrm{\infty}$, for $i=1,2,\dots ,m$. Then Lemma 1.4 ensures that ${x}_{n}-{J}_{{r}_{n,i}}^{{A}_{i}}{x}_{n}\to 0$, as $n\to \mathrm{\infty}$, for $i=1,2,\dots ,m$.

*d*-accretive, then

$i=1,2,\dots ,m$. That is, $\u3008{A}_{i}{J}^{-1}(Jv),Jv-Jx\u3009\ge 0$, for $i=1,2,\dots ,m$. From Step 3 and Lemma 1.2, we know that $Jx\in {({A}_{i}{J}^{-1})}^{-1}0$, which implies that $x\in {A}_{i}^{-1}0$. And then $x\in D$.

Step 6. ${x}_{n}\rightharpoonup {v}_{0}$, as $n\to \mathrm{\infty}$, where ${v}_{0}$ is the unique element in *D*.

From (2.5) and (2.6), we have $\u3008{v}_{1}-{v}_{0},J{v}_{1}-J{v}_{0}\u3009=0$, which implies that ${v}_{0}={v}_{1}$ since *J* is strictly monotone.

This completes the proof. □

**Remark 2.1** If *E* reduces to the Hilbert space *H*, then (2.1) becomes the iterative scheme for approximating common zeros of *m*-accretive mappings.

**Remark 2.2** The iterative scheme (2.1) can be regarded as two-step block iterative scheme.

**Remark 2.3**If $m=1$, then (2.1) becomes to the following one approximating the zero point of an

*m*-

*d*-accretive mapping

*A*:

*m*-

*d*-accretive mapping

*A*:

## 3 Strong convergence theorems

**Theorem 3.1**

*Let*

*E*

*be a real uniformly smooth and uniformly convex Banach space*.

*Let*${A}_{i}:E\to E$

*be a finite family of*

*m*-

*d*-

*accretive mappings*, $\{{\omega}_{n,i}\},\{{\eta}_{n,i}\}\subset (0,1]$, $\{{\alpha}_{n,i}\},\{{\beta}_{n,i}\}\subset [0,1)$, $\{{r}_{n,i}\},\{{s}_{n,i}\}\subset (0,+\mathrm{\infty})$,

*for*$i=1,2,\dots ,m$. ${\sum}_{i=1}^{m}{\omega}_{n,i}=1$

*and*${\sum}_{i=1}^{m}{\eta}_{n,i}=1$.

*Let*$D:={\bigcap}_{i=1}^{m}{A}_{i}^{-1}0\ne \mathrm{\varnothing}$.

*Suppose the normalized duality mapping*$J:E\to {E}^{\ast}$

*is weakly sequentially continuous*.

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

*be generated by the iterative scheme*:

*Suppose the following conditions are satisfied*:

- (i)
${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\alpha}_{n,i}<1$, ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\beta}_{n,i}<1$,

*for*$i=1,2,\dots ,m$; - (ii)
${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\eta}_{n,i}>0$, ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\omega}_{n,i}>0$,

*for*$i=1,2,\dots ,m$; - (iii)
${inf}_{n\ge 0}{r}_{n,i}>0$, ${inf}_{n\ge 0}{s}_{n,i}>0$,

*for*$i=1,2,\dots ,m$.

*Then* $\{{x}_{n}\}$ *converges strongly to* ${p}_{0}={R}_{D}{x}_{0}$, *where* ${R}_{D}$ *is the sunny generalized non*-*expansive retraction from* *E* *onto* *D*, *as* $n\to \mathrm{\infty}$.

*Proof* We split the proof into six steps.

Step 1. $\{{x}_{n}\}$ is well defined.

then from Lemma 1.1(iii), we can easily know that ${H}_{n}$ ($n\ge 0$) is a closed subset of *E*.

which implies that $p\in {H}_{n}$. Thus $\mathrm{\varnothing}\ne D\subset {H}_{n}$, for $n\ge 0$.

Since ${H}_{n}$ is a nonempty closed subset of *E*, there exists a unique sunny generalized non-expansive retraction from *E* onto ${H}_{n}$, which is denoted by ${R}_{{H}_{n}}$. Therefore, $\{{x}_{n}\}$ is well defined.

Step 2. $\{{x}_{n}\}$ is bounded.

Using Lemma 1.3, $\phi ({x}_{n+1},p)\le \phi ({x}_{0},p)$, $\mathrm{\forall}p\in D\subset {H}_{n+1}$. Thus $\{\phi ({x}_{n},p)\}$ is bounded and then (1.1) ensures that $\{{x}_{n}\}$ is bounded.

Step 3. $\omega ({x}_{n})\subset D$, where $\omega ({x}_{n})$ denotes the set of all of the weak limit points of the weakly convergent subsequences of $\{{x}_{n}\}$.

Since $\{{x}_{n}\}$ is bounded, there exists a subsequence of $\{{x}_{n}\}$, for simplicity, we still denote it by $\{{x}_{n}\}$ such that ${x}_{n}\rightharpoonup x$, as $n\to \mathrm{\infty}$.

which implies that ${lim}_{n\to \mathrm{\infty}}\phi ({x}_{0},{x}_{n})$ exists. Thus $\phi ({x}_{n},{x}_{n+1})\to 0$. Lemma 1.4 implies that ${x}_{n}-{x}_{n+1}\to 0$, as $n\to \mathrm{\infty}$.

Since ${x}_{n+1}\in {H}_{n+1}\subset {H}_{n}$, then $\phi ({u}_{n},{x}_{n+1})\le \phi ({x}_{n},{x}_{n+1})\to 0$, which implies that ${x}_{n}-{u}_{n}\to 0$, as $n\to \mathrm{\infty}$.

as $n\to \mathrm{\infty}$. Lemma 1.4 implies that ${x}_{n}-{J}_{{r}_{n,i}}^{{A}_{i}}{x}_{n}\to 0$, as $n\to \mathrm{\infty}$, where $i=1,2,\dots ,m$.

The remaining part is similar to that of Step 5 in Theorem 2.1, then we have $\omega ({x}_{n})\subset D$.

Step 4. $\{{x}_{n}\}$ is a Cauchy sequence.

If, on the contrary, there exist two subsequences $\{{n}_{k}\}$ and $\{{m}_{k}\}$ of $\{n\}$ such that $\parallel {x}_{{n}_{k}+{m}_{k}}-{x}_{{n}_{k}}\parallel \ge {\epsilon}_{0}$, $\mathrm{\forall}k\ge 1$.

as $k\to \mathrm{\infty}$. Lemma 1.4 implies that ${lim}_{k\to \mathrm{\infty}}\parallel {x}_{{n}_{k}+{m}_{k}}-{x}_{{n}_{k}}\parallel =0$, which makes a contradiction. Thus $\{{x}_{n}\}$ is a Cauchy sequence.

Step 5. *D* is a closed subset of *E*.

Let ${z}_{n}\in D$ with ${z}_{n}\to z$, as $n\to \mathrm{\infty}$. Then ${A}_{i}{z}_{n}=0$, for $i=1,2,\dots ,m$. In view of Lemma 1.1(ii), there exists ${z}_{n}^{\ast}\in {E}^{\ast}$ such that ${z}_{n}={J}^{-1}{z}_{n}^{\ast}$. Using Lemma 1.1(iii), ${z}_{n}^{\ast}\to Jz$, as $n\to \mathrm{\infty}$. Since ${A}_{i}{J}^{-1}{z}_{n}^{\ast}=0$, ${z}_{n}^{\ast}\to Jz$ and ${A}_{i}{J}^{-1}$ is maximal monotone, Lemma 1.2 ensures that $Jz\in {({A}_{i}{J}^{-1})}^{-1}0$. Thus, $z\in {A}_{i}^{-1}0$, for $i=1,2,\dots ,m$. And then $z\in D$. Therefore, *D* is closed subset of *E*, which ensures there exists a unique sunny generalized non-expansive retraction ${R}_{D}$ from *E* onto *D*.

Step 6. ${x}_{n}\to {q}_{0}={R}_{D}{x}_{0}$, as $n\to \mathrm{\infty}$.

Since $\{{x}_{n}\}$ is a Cauchy sequence, there exists ${q}_{0}\in E$ such that ${x}_{n}\to q$, as $n\to \mathrm{\infty}$. From Step 5, ${q}_{0}\in D$.

Now, we prove that ${q}_{0}={R}_{D}{x}_{0}$.

From (3.2) and (3.4), $0\le \phi ({R}_{D}{x}_{0},{q}_{0})\le -\phi ({q}_{0},{R}_{D}{x}_{0})\le 0$. Thus $\phi ({R}_{D}{x}_{0},{q}_{0})=0$. So in view of Lemma 1.4, $q={R}_{D}{x}_{0}$.

This completes the proof. □

**Remark 3.1** Combining the techniques of convex combination and the retraction, the strong convergence of iterative scheme (3.1) is obtained.

**Remark 3.2** It is obvious that the restrictions in Theorems 2.1 and 3.1 are weaker.

## 4 Connection between nonlinear mappings and nonlinear elliptic equations

We have mentioned that in a Hilbert space, *m*-*d*-accretive mappings and *m*-accretive mappings are the same, while in a non-Hilbertian Banach space, they are different. So, there are many examples of *m*-*d*-accretive mappings in Hilbert spaces. Can we find one mapping that is (*m*-)*d*-accretive but not (*m*-)accretive?

In Section 4.1, we shall review the work done in [12], where an *m*-accretive mapping is constructed for discussing the existence of solution of one kind nonlinear elliptic equations.

In Section 4.2, we shall construct an *m*-*d*-accretive mapping based on the same nonlinear elliptic equation presented in Section 4.1, from which we can see that it is quite different from the *m*-accretive mapping defined in Section 4.1.

### 4.1 *m*-Accretive mappings and nonlinear elliptic equations

*ϑ*is the exterior normal derivative of Γ, $g:\mathrm{\Omega}\times R\to R$ is a given function satisfying Carathéodory’s conditions such that the mapping $u\in {L}^{s}(\mathrm{\Omega})\to g(x,u(x))\in {L}^{s}(\mathrm{\Omega})$ is defined and there exists a function $T(x)\in {L}^{s}(\mathrm{\Omega})$ such that $g(x,t)t\ge 0$, for $|t|\ge T(x)$ and $x\in \mathrm{\Omega}$. ${\beta}_{x}$ is the subdifferential of a proper, convex, and semi-lower-continuous function. $\alpha :{R}^{N}\to {R}^{N}$ is a monotone and continuous function, and there exist positive constants ${k}_{1}$, ${k}_{2}$, and ${k}_{3}$ such that, for $\mathrm{\forall}\xi ,{\xi}^{\prime}\in {R}^{N}$, the following conditions are satisfied:

- (i)
$|\alpha (\xi )|\le {k}_{1}{|\xi |}^{p-1}$;

- (ii)
$|\alpha (\xi )-\alpha ({\xi}^{\prime})|\le {k}_{2}|{|\xi |}^{p-2}\xi -{|{\xi}^{\prime}|}^{p-2}{\xi}^{\prime}|$;

- (iii)
$\u3008\u3008\alpha (\xi ),\xi \u3009\u3009\ge {k}_{3}{|\xi |}^{p}$,

where $\u3008\u3008\cdot ,\cdot \u3009\u3009$ denotes the inner product in ${R}^{N}$.

In [12], they first present the following definitions.

**Definition 4.1** [12]

for any $u,v\in {W}^{1,p}(\mathrm{\Omega})$.

**Definition 4.2** [12]

Define the mapping ${\mathrm{\Phi}}_{p}:{W}^{1,p}(\mathrm{\Omega})\to R$ by ${\mathrm{\Phi}}_{p}(u)={\int}_{\mathrm{\Gamma}}{\phi}_{x}(u{|}_{\mathrm{\Gamma}}(x))\phantom{\rule{0.2em}{0ex}}d\mathrm{\Gamma}(x)$, for any $u\in {W}^{1,p}(\mathrm{\Omega})$.

**Definition 4.3** [12]

For $u\in D(A)$, $Au=\{f\in {L}^{2}(\mathrm{\Omega})\mid f\in {B}_{p}u+\partial {\mathrm{\Phi}}_{p}(u)\}$.

**Definition 4.4** [12]

- (i)If $s\ge 2$, then$D({A}_{s})=\{u\in {L}^{s}(\mathrm{\Omega})\mid \text{there exists an}f\in {L}^{s}(\mathrm{\Omega})\text{such that}f\in {B}_{p}u+\partial {\mathrm{\Phi}}_{p}(u)\}.$

- (ii)
If $1<s<2$, then define ${A}_{s}:{L}^{s}(\mathrm{\Omega})\to {2}^{{L}^{s}(\mathrm{\Omega})}$ as the ${L}^{s}$-closure of $A:{L}^{2}(\mathrm{\Omega})\to {2}^{{L}^{2}(\mathrm{\Omega})}$ defined in Definition 4.3.

Then they get the following important result in [12].

**Proposition 4.1** [12]

*Both* *A* *and* ${A}_{s}$ *are* *m*-*accretive mapping*.

Later, by using the perturbations on ranges of *m*-accretive mappings, the sufficient condition on the existence of solution of (4.1) is discussed.

**Theorem 4.1** [12]

*If*$f\in {L}^{s}(\mathrm{\Omega})$ ($\frac{2N}{N+1}<p\le s<+\mathrm{\infty}$)

*satisfies the following condition*:

*then* (4.1) *has a solution in* ${L}^{s}(\mathrm{\Omega})$.

The meaning of ${\beta}_{-}(x)$, ${\beta}_{+}(x)$, ${g}_{-}(x)$, and ${g}_{+}(x)$ can be found in the following two definitions.

For $t\in R$ and $x\in \mathrm{\Gamma}$, let ${\beta}_{x}^{0}(t)\in {\beta}_{x}(t)$ be the element with least absolute value if ${\beta}_{x}(t)\ne \mathrm{\varnothing}$ and ${\beta}_{x}^{0}(t)=\pm \mathrm{\infty}$, where $t>0$ or <0, respectively, in the case ${\beta}_{x}(t)=\mathrm{\varnothing}$. Finally, let ${\beta}_{\pm}(x)={lim}_{t\to \pm \mathrm{\infty}}{\beta}_{x}^{0}(t)$ (in the extended sense) for $x\in \mathrm{\Gamma}$. Then ${\beta}_{\pm}(x)$ define measurable functions on Γ.

Define ${g}_{+}(x)={lim\hspace{0.17em}inf}_{t\to +\mathrm{\infty}}g(x,t)$ and ${g}_{-}(x)={lim\hspace{0.17em}sup}_{t\to -\mathrm{\infty}}g(x,t)$.

### 4.2 Examples of *m*-*d*-accretive mappings

Now, based on nonlinear elliptic problem (4.1), we are ready to give the example of *m*-*d*-accretive mapping in the sequel.

**Lemma 4.1** [10]

*Let* *E* *be a Banach space*, *if* $B:E\to {2}^{{E}^{\ast}}$ *is an everywhere defined*, *monotone*, *and hemi*-*continuous mapping*, *then* *B* *is maximal monotone*.

**Definition 4.7** Let $1<p\le 2$ and $\frac{1}{p}+\frac{1}{{p}^{\prime}}=1$.

for any $u,v\in {W}^{1,{p}^{\prime}}(\mathrm{\Omega})$.

**Proposition 4.2** $B:{W}^{1,{p}^{\prime}}(\mathrm{\Omega})\to {({W}^{1,{p}^{\prime}}(\mathrm{\Omega}))}^{\ast}$ ($1<p\le 2$) *is maximal monotone*.

*Proof* We split the proof into four steps.

Step 1. *B* is everywhere defined.

*α*, we have

Thus *B* is everywhere defined.

Step 2. *B* is monotone.

*α*is monotone, then, for $u,v\in D(B)$,

which implies that *B* is monotone.

Step 3. *B* is hemi-continuous.

To show that *B* is hemi-continuous. It suffices to prove that for $u,v,w\in {W}^{1,{p}^{\prime}}(\mathrm{\Omega})$ and $t\in [0,1]$, $\u3008w,B(u+tv)-Bu\u3009$ as $t\to 0$.

*α*is continuous,

as $t\to 0$.

Step 4. *B* is maximal monotone.

Lemma 4.1 implies that *B* is maximal monotone.

This completes the proof. □

**Remark 4.1** [10]

There exists a maximal monotone extension of *B* from ${L}^{{p}^{\prime}}(\mathrm{\Omega})$ to ${L}^{p}(\mathrm{\Omega})$, which is denoted by $\tilde{B}$.

**Definition 4.8**For $1<p\le 2$, the normalized duality mapping $J:{L}^{{p}^{\prime}}(\mathrm{\Omega})\to {L}^{p}(\mathrm{\Omega})$ is defined by

for $u\in {L}^{{p}^{\prime}}(\mathrm{\Omega})$.

**Proposition 4.3** *The mapping* $A:{L}^{p}(\mathrm{\Omega})\to {L}^{p}(\mathrm{\Omega})$ ($1<p\le 2$) *is* *m*-*d*-*accretive*.

*Proof*Since $\tilde{B}$ is monotone, for $\mathrm{\forall}u,v\in D(A)$,

Thus *A* is *d*-accretive.

In view of Remark 4.1, $\tilde{B}$ is maximal monotone, then $R(J+\lambda \tilde{B})={L}^{p}(\mathrm{\Omega})$, for $\mathrm{\forall}\lambda >0$.

For $\mathrm{\forall}f\in {L}^{p}(\mathrm{\Omega})$, there exists $u\in {L}^{{p}^{\prime}}(\mathrm{\Omega})$ such that $Ju+\lambda \tilde{B}u=f$. Using Lemma 1.1 again, there exists ${u}^{\ast}\in {L}^{p}(\mathrm{\Omega})$ such that $u={J}^{-1}{u}^{\ast}$. Then ${u}^{\ast}+\lambda \tilde{B}{J}^{-1}{u}^{\ast}=f$. Thus $f\in R(I+\lambda A)$ and then $R(I+\lambda A)={L}^{p}(\mathrm{\Omega})$, for $\lambda >0$.

Thus *A* is *m*-*d*-accretive.

This completes the proof. □

**Proposition 4.4** ${A}^{-1}0=\{u\in {L}^{p}(\mathrm{\Omega}):u(x)\equiv \mathrm{c}\mathrm{o}\mathrm{n}\mathrm{s}\mathrm{t}.\}$.

*Proof* It is obvious that $\{u\in {L}^{p}(\mathrm{\Omega}):u(x)\equiv \mathrm{c}\mathrm{o}\mathrm{n}\mathrm{s}\mathrm{t}.\}\subset {A}^{-1}0$.

*α*, we have

which implies that $u=J{u}^{\ast}\equiv \mathrm{const}$.

Thus ${A}^{-1}0\subset \{u\in {L}^{p}(\mathrm{\Omega}):u(x)\equiv \mathrm{c}\mathrm{o}\mathrm{n}\mathrm{s}\mathrm{t}.\}$.

This completes the proof. □

**Remark 4.2** From Propositions 4.2 and 4.3, we know that the restriction on the *m*-*d*-accretive mapping in Theorem 2.1 or 3.1 that ${A}^{-1}0\ne \mathrm{\varnothing}$ is valid.

**Remark 4.3**If (4.1) is reduced to the following:

then it is not difficult to see that $u\in {A}^{-1}0$ is exactly the solution of (4.2), from which we cannot only see the connections between the zeros of an *m*-*d*-accretive mapping and the nonlinear equation but also see that the work on designing the iterative schemes to approximate zeros of nonlinear mappings is meaningful.

## Declarations

### Acknowledgements

Li Wei is supported by the National Natural Science Foundation of China (No. 11071053), Natural Science Foundation of Hebei Province (No. A2014207010), Key Project of Science and Research of Hebei Educational Department (ZH2012080) and Key Project of Science and Research of Hebei University of Economics and Business (2013KYZ01).

## Authors’ Affiliations

## References

- Barbu V:
*Nonlinear Semigroups and Differential Equations in Banach Spaces*. Noordhoff, Leyden; 1976.View ArticleMATHGoogle Scholar - Alber YI:
**Metric and generalized projection operators in Banach spaces: properties and applications.**In*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Dekker, New York; 1996.Google Scholar - Kamimura S, Takahashi W:
**Strong convergence of a proximal-type algorithm in a Banach space.***SIAM J. Optim.*2003,**13:**938–945.MathSciNetView ArticleMATHGoogle Scholar - Takahashi W:
**Proximal point algorithms and four resolvents of nonlinear operators of monotone type in Banach spaces.***Taiwan. J. Math.*2008,**12**(8):1883–1910.MathSciNetMATHGoogle Scholar - Alber YI, Reich S:
**Convergence of averaged approximations to null points of a class of nonlinear mapping.***Commun. Appl. Nonlinear Anal.*2000,**7:**1–20.MathSciNetMATHGoogle Scholar - Guan, WR: Construction of iterative algorithm for equilibrium points of nonlinear systems. Dissertation of doctoral degree, Ordnance Engineering College (2007)Google Scholar
- Aharoni R, Censor Y:
**Block-iterative projection methods for parallel computation of solutions to convex feasibility problems.***Linear Algebra Appl.*1989,**120:**165–175.MathSciNetView ArticleMATHGoogle Scholar - Kikkawa M, Takahashi W:
**Approximating fixed points of nonexpansive mappings by block iterative method in Banach spaces.***Int. J. Comput. Numer. Anal. Appl.*2004,**5:**59–66.MathSciNetMATHGoogle Scholar - Takahashi W:
*Nonlinear Functional Analysis: Fixed Point Theory and Its Applications*. Yokohama Publishers, Yokohama; 2000.MATHGoogle Scholar - Pascali D, Sburlan S:
*Nonlinear Mappings of Monotone Type*. Sijthoff & Noordhoff, Bucharest; 1978.View ArticleMATHGoogle Scholar - Tan KK, Xu HK:
**Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process.***J. Math. Anal. Appl.*1993,**178:**301–308. 10.1006/jmaa.1993.1309MathSciNetView ArticleMATHGoogle Scholar - Wei L, Zhou HY, Agarwal RP:
**Existence of solutions for nonlinear Neumann boundary value problems.***J. Math. Res. Expo.*2010,**30**(1):99–109.MathSciNetMATHGoogle Scholar - Wei L, Zhou HY:
**Existence of solutions of a family of nonlinear boundary value problems in**${L}^{2}$**-spaces.***Appl. Math. J. Chin. Univ. Ser. B*2005,**20**(2):175–182. 10.1007/s11766-005-0050-4MathSciNetView ArticleMATHGoogle Scholar - Wei L, He Z:
**The applications of theories of accretive operators to nonlinear elliptic boundary value problems in**${L}^{p}$**-spaces.***Nonlinear Anal.*2001,**46:**199–211. 10.1016/S0362-546X(99)00457-5MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.