# Krasnosel’skiĭ-Mann-Opial type iterative solution of *m*-accretive operator equation and its stability in arbitrary Banach spaces

- Yuguang Xu
^{1}, - Zeqin Liu
^{2}and - Zuhua Liu
^{1, 3}Email author

**2014**:41

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

© Xu et al.; licensee Springer. 2014

**Received: **20 August 2013

**Accepted: **31 January 2014

**Published: **14 February 2014

## Abstract

Let *X* be a Banach space. Suppose that $A:X\to X$ is a Lipschitz accretive operator. The objective of this note is to discuss simultaneously the existence and uniqueness of solution of the equation $x+Ax=f$ for any given $f\in X$, and its convergence, estimate of convergent rate, and stability of Krasnosel’skiĭ-Mann-Opial type iterative solution $\{{x}_{n}\}\subseteq X$. If an iterative parameter is selected suitably then the iterative procedure converges strongly to a unique solution of the equation and the iterative process is stable in arbitrary Banach space without any convexity or reflexivity. In particular, if *A* is nonexpansive then an estimate of the convergence rate can be written as $\parallel {x}_{n+1}-q\parallel \le {(\frac{17}{18})}^{n+1}\parallel {x}_{0}-q\parallel $ where $q\in X$ is a solution of $x+AX=f$.

**MSC:**47H06, 47H10, 47H17.

## Keywords

*m*-accretive operatoriterative solutionstabilityKrasnosel’skiĭ-Mann-Opial type iterative procedure

## 1 Introduction and preliminaries

Throughout this paper, *X* is assumed to be a real Banach space.

*A*with domain $D(A)\subset X$ and range $R(A)\subset X$ is said to be accretive if and only if we have the inequality

for all $x,y\in D(A)$ and $r>0$. An accretive operator *A* is said to be *m*-accretive if $R(I+\lambda A)=X$ for all (or, equivalently, for some) $\lambda >0$, where *I* stands for the identity operator on *X*.

*A*is an accretive operator in a Hilbert space or an appropriate Banach space. Typical examples where such evolution equations occur can be found in the heat, wave or Schrödinger equation. One of the earliest problems in the theory of accretive operators was to solve (1.2). A fundamental result in the theory, due to Browder [1], states that the initial value problem (1.2) is solvable if

*A*is locally Lipschitzian and accretive on

*H*(a Hilbert space). In particular, if

*A*is

*m*-accretive then the equation

*A*is continuous and accretive on

*X*. Furthermore, if

*A*is continuous and accretive then

*A*must be

*m*-accretive. It implies that (1.3) has a solution $q\in X$ for any given $f\in X$. If ${q}^{\ast}$ also is a solution of (1.3), then we have the inequality

for all $r>0$. To pick $r=1$, we have $q={q}^{\ast}$. It follows that for the equation $x+Ax=f$ there exists a unique solution $q\in X$.

It is well known that the approximative solution of operator equation is closely related with the iterative sequence convergence of a fixed point of the mapping. Therefore a brief history on iterative methods is reviewed in the following.

In 1922, using the Picard iterative method, Banach’s fixed point theorem was obtained where $S:D(S)\subseteq X\to X$ is a contractive type operator. For a given nonexpansive mapping *S* of a closed convex set *C* of a Banach space *X* into itself and $\lambda \in (0,1)$, the operator ${S}_{\lambda}=\lambda I+(1-\lambda )S$ also is nonexpansive. Moreover, as has been pointed out by Krasnosel’skiĭ [4] for $\lambda =1/2$ and by Schaefer [5] for an arbitrary *λ*, if *X* is uniformly convex and *S* has at least one fixed point in *C*, then the operator ${S}_{\lambda}$ is asymptotically regular. For any ${x}_{0}\in C$ and any $\lambda \in (0,1)$, Opial proved that the iterative sequence $\{{S}_{\lambda}^{n+1}{x}_{0}\}$ (or $\{\lambda {x}_{n}+(1-\lambda )S{x}_{n}\}$) is weakly convergent to a fixed point of *S* under some assumptions (see, *e.g.*, Theorem 3 of [6]).

*S*are defined by

*C*is a closed convex subset of

*X*and $\{{\alpha}_{n}\}$ is a real sequence satisfying the following conditions:

In this note, we need an iterative method, the so-called Krasnosel’skiĭ-Mann-Opial type iterative procedure which is defined as follows.

**Definition 1.1**For any given ${x}_{0}\in X$, the iterative sequence $\{{x}_{n}\}$ is defined by

where the iterative parameter $\alpha \in (0,1)$.

In 1986, Chidume [8, 9] proved that the Mann iterative sequence converges strongly to a solution of the equation $x+Ax=f$ where *A* is a Lipschitz accretive operator defined on the Hilbert space *H* or the space ${L}_{p}$. The result was generalized by Ding and Deng [10], that is, they proved that the Ishikawa iterative sequence converges strongly to a solution of the equation $x+Ax=f$ where *A* is a Lipschitz accretive operator defined on *p*-uniformly smooth Banach space *X*. Zhu [11] proved that the Mann iterative sequence converges strongly to the unique solution of the equation $x+Ax=f$ under slightly different conditions where $A:D(A)\subseteq X\to X$ is a Lipschitz *m*-accretive operator and $D(A)$ is an open subset of a uniformly smooth Banach space *X*. Recently, Chidume and Osilike further extended the above results to the Mann iterative sequence (see, *e.g.*, Theorem 5 of [12]), where *A* is Lipschitz *m*-accretive and $D(A)$ is a closed subset of a real Banach space *X* which is both uniformly convex and *p*-uniformly smooth.

The objective of this note is to discuss simultaneously the existence and uniqueness of a solution of the equation $x+Ax=f$ for any given $f\in X$, and its convergence, estimate of convergent rate, and stability of a Krasnosel’skiĭ-Mann-Opial type iterative solution. If the iterative parameter is selected suitably then the iterative procedure converges strongly to a unique solution of the equation and the iterative process is stable in arbitrary Banach space without any convexity or reflexivity.

**Remark 1.2** A class of operators closely related to the class of accretive operators is the class of dissipative operators. An operator $S:D(A)\subseteq X\to X$ is said to be dissipative if and only if $(-S)$ is accretive and *S* is called *m*-dissipative if $(-S)$ is *m*-accretive (see, *e.g.*, Barbu [13]). Some related results of the equation $x-\lambda Tx=f$ are also proved in [9, 10, 14] where $\lambda >0$ and *T* is a Lipschitzian dissipative operator on *X*.

To set the framework we recall some basic notations as follows.

**Definition 1.3** [15]

Let $S:X\to X$ be an operator. Suppose that the iterative sequence ${\{{x}_{n}\}}_{n=0}^{\mathrm{\infty}}\subset X$ defined by ${x}_{n+1}=f(S,{x}_{n})$, and $\{{x}_{n}\}$ converges strongly to $q\in F(S)=\{x\in X:Sx=x\}\ne \mathrm{\varnothing}$. Furthermore, suppose that $\{{\u03f5}_{n}\}$ is a sequence in $(0,\mathrm{\infty})$ given by ${\u03f5}_{n}=\parallel {z}_{n+1}-f(S,{z}_{n})\parallel $ where ${\{{z}_{n}\}}_{n=0}^{\mathrm{\infty}}$ is arbitrary sequence in *X*. Then the iteration procedure $\{{x}_{n}\}$ is said to be stable with respect to *S* (or, simply, *S*-stable) if ${lim}_{n\to \mathrm{\infty}}{\u03f5}_{n}=0$ implies that ${lim}_{n\to \mathrm{\infty}}{z}_{n}=q$.

**Lemma 1.4** [16]

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

*be a nonnegative real sequence and*$\{{\delta}_{n}\}$

*be a real sequence in*$[0,1]$

*such*${\sum}_{n=0}^{\mathrm{\infty}}{\delta}_{n}=\mathrm{\infty}$.

*If there exists a positive integer*${n}_{1}$

*such that*

*where* ${\u03f5}_{n}\ge 0$ *for all* $n\ge 0$ *and* ${\u03f5}_{n}\to 0$ (*as* $n\to \mathrm{\infty}$), *then we have* ${lim}_{n\to \mathrm{\infty}}{a}_{n}=0$.

## 2 Iterative solution of *m*-accretive operator equation and its stability

We now prove the following propositions.

**Proposition 2.1** *If* $A:X\to X$ *is a Lipschitz accretive operator with Lipschitz constant* *L* ($1\le L$), *then the sequence* $\{{x}_{n}\}$ *is defined by* (1.8) *is an iterative solution of* (1.3), *where the iterative parameter* ${\alpha}_{0}\in (0,1/{(L+1)}^{2})$.

*Proof*Since

*A*is a continuous accretive operator, the equation $x+Ax=f$ has a solution $q\in X$. Setting $S:X\to X$ by $Sx=f-Ax$, we have two facts: first,

*q*is a solution of $x+Ax=f$ if and only if

*q*is a fixed point of

*S*. It implies that

*S*is a dissipative operator; next, it is easy to see that

*L*also is a Lipschitz constant of

*S*. In fact, we have

*q*if $\alpha <\frac{1}{{(L+1)}^{2}}$,

*i.e.*$\{{x}_{n}\}$ is an iterative solution of (1.3) and

This completes the proof. □

**Remark 2.2**In Proposition 2.1, there exists an ${\alpha}^{\ast}\in (0,1/{(L+1)}^{2})$ such that the convergent rate is fastest in (2.10). In fact, it follows from

for any $n\ge 0$.

**Example 2.3**If operator

*A*is nonexpansive then $L=1$. Thus, (2.16) can be written as

for all $n\ge 0$.

In the sequel, we need to discuss the stability of the iterative solution of (1.3).

**Proposition 2.4** *If the conditions of Proposition * 2.1 *are satisfied then the Krasnosel’skiĭ*-*Mann*-*Opial type iterative solution* $\{{x}_{n}\}$ *of* (1.3) *is* *S*-*stable*.

*Proof*Let $\{{z}_{n}\}$ is any sequence in

*X*. Setting

That is, the Krasnosel’skiĭ-Mann-Opial type iterative solution is *S*-stable.

This completes the proof. □

**Remark 2.5**The corresponding results (see, for example, Theorem 1 of [17], Theorem 1 of [18] and Theorem 3.5 of [19]) are improved in the following senses:

- (1)
For the Krasnosel’skiĭ-Mann-Opial type iterative solution of $x+Ax=f$, we study simultaneously the existence, uniqueness, convergence, convergence rate estimate, and the stability.

- (2)
The operator may not be strongly accretive,

*ϕ*-strongly accretive or uniformly accretive. The cases that*A*is uniformly accretive,*ϕ*-strongly accretive or strongly accretive, as regards (1.2) and (1.3), have been studied in [17, 19–21] and [22, 23]; - (3)By the way, the iterative parameter
*α*does not depend on any geometric structure of space*X*and on any properties of the operators, but the selection of the parameter is to deal with the convergent rate of the iterative sequence. In this paper, a prototype of the iteration parameter is$\alpha =\frac{1}{2{(L+1)}^{2}}.$(2.24)

It is convenient in simplifying the computation and obtaining the convergent acceleration.

## Declarations

### Acknowledgements

The authors would like to thank the referees for his/her invaluable comments and suggestions, which improved this work significantly.

## Authors’ Affiliations

## References

- Browder FE: Nonlinear mappings of nonexpansive and accretive type in Banach spaces.
*Bull. Am. Math. Soc.*1967, 73: 875–882. 10.1090/S0002-9904-1967-11823-8View ArticleMathSciNetMATHGoogle Scholar - Kato T: Nonlinear semigroups and evolution equations.
*J. Math. Soc. Jpn.*1967, 19: 508–520. 10.2969/jmsj/01940508View ArticleMATHGoogle Scholar - Martin RH Jr.: A global existence theorem for autonomous differential equations in Banach spaces.
*Proc. Am. Math. Soc.*1970, 26: 307–314. 10.1090/S0002-9939-1970-0264195-6View ArticleMATHGoogle Scholar - Krasnosel’skiĭ MA: Two observations about the method of successive approximations.
*Usp. Mat. Nauk*1955, 10: 123–127.Google Scholar - Schaefer H: Über die methode sukzessiver approximationen.
*Jahresber. Dtsch. Math.-Ver.*1957, 59: 131–140.MathSciNetGoogle Scholar - Opial Z: Weak convergence of successive approximations for nonexpansive mappings.
*Bull. Am. Math. Soc.*1967, 73: 591–5597. 10.1090/S0002-9904-1967-11761-0View ArticleMathSciNetMATHGoogle Scholar - Mann WR: Mean value methods in iteration.
*Proc. Am. Math. Soc.*1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3View ArticleMATHGoogle Scholar - Chidume CE: An approximation method for monotone Lipschitzian operators in Hilbert space.
*J. Aust. Math. Soc.*1986, 41: 59–63. 10.1017/S144678870002807XView ArticleMathSciNetMATHGoogle Scholar - Chidume CE: Iterative solution of nonlinear equations of the monotone and dissipative types.
*Appl. Anal.*1989, 33: 79–86. 10.1080/00036818908839862View ArticleMathSciNetMATHGoogle Scholar - Ding XP, Deng L: Iterative solution of nonlinear equations of the monotone and dissipative types in uniformly smooth Banach spaces.
*J. Sichuan Normal Univ.*1994, 17: 43–48.MathSciNetMATHGoogle Scholar - Zhu L: Iterative solution of nonlinear equations involving
*m*-accretive operators in Banach spaces.*J. Math. Anal. Appl.*1994, 188: 410–415. 10.1006/jmaa.1994.1434View ArticleMathSciNetMATHGoogle Scholar - Chidume CE, Osilike MO: Approximation methods for nonlinear operator equations of the
*m*-accretive type.*J. Math. Anal. Appl.*1995, 189: 225–239. 10.1006/jmaa.1995.1014View ArticleMathSciNetMATHGoogle Scholar - Barbu V:
*Nonlinear Semigroups and Differential Equations in Banach Spaces*. Noordhoff, Leyden; 1976.View ArticleMATHGoogle Scholar - Ding XP: Iterative process with errors of nonlinear equations involving
*m*-accretive operators.*J. Math. Anal. Appl.*1997, 209: 191–201. 10.1006/jmaa.1997.5356View ArticleMathSciNetMATHGoogle Scholar - Chang SS, Cho Y, Zhou H:
*Iterative Methods for Nonlinear Operator Equations in Banach Spaces*. Nova Science Publishers, Hauppauge; 2002.MATHGoogle Scholar - Reich S: Constructive techniques for accretive and monotone operators. In
*Applied Nonlinear Analysis*. Academic Press, New York; 1979:335–345.Google Scholar - Liu LW: Strong convergence of iteration methods for equations involving accretive operators in Banach spaces.
*Nonlinear Anal.*2000, 42: 271–276. 10.1016/S0362-546X(98)00345-9View ArticleMathSciNetMATHGoogle Scholar - Zeng LC: On the convergence rate estimates of iteration methods for equations involving accretive operators in Banach spaces.
*Math. Appl.*2002, 15(2):80–84.View ArticleMathSciNetMATHGoogle Scholar - Liu ZQ, Xu YG, Kang SM: Almost stable iteration schemes for local strongly pseudocontractive and local strongly accretive operators in real uniformly smooth Banach spaces.
*Acta Math. Univ. Comen.*2008, 77: 285–298.MathSciNetMATHGoogle Scholar - Liu ZQ, Xu YG, Cho YJ: Iteration solution of nonlinear equations with
*ϕ*-strongly accretive operators.*Arch. Math.*2001, 77: 508–516. 10.1007/PL00000524View ArticleMathSciNetMATHGoogle Scholar - Liu ZQ, Kang SM: Convergence theorems for
*ϕ*-strongly accretive and*ϕ*-hemicontractive operators.*J. Math. Anal. Appl.*2001, 253: 35–49. 10.1006/jmaa.2000.6973View ArticleMathSciNetMATHGoogle Scholar - Osilike MO: Iterative solutions of nonlinear
*ϕ*-strongly accretive operator equations in arbitrary Banach spaces.*Nonlinear Anal.*1999, 36: 1–9. 10.1016/S0362-546X(97)00566-XView ArticleMathSciNetMATHGoogle Scholar - Osilike MO: Iterative solution of nonlinear equations of the
*ϕ*-strongly accretive type.*J. Math. Anal. Appl.*1996, 200: 259–271. 10.1006/jmaa.1996.0203View ArticleMathSciNetMATHGoogle 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/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.