- Research
- Open Access

# Krasnoselskii-type algorithm for zeros of strongly monotone Lipschitz maps in classical banach spaces

- C E Chidume
^{1}Email author, - A U Bello
^{1, 2}and - B Usman
^{1}

**Received:**27 March 2015**Accepted:**13 May 2015**Published:**27 June 2015

## Abstract

Let \(E=L_p\), \(1<p<\infty \), and \(A:E\rightarrow E^*\) be a strongly monotone and Lipschitz mapping. A Krasnoselskii-type sequence is constructed and proved to converge strongly to the unique solution of \(Au=0\). Furthermore, our technique of proo f is of independent interest.

## Keywords

- Strongly monotone
- Lipschitz
- Hölder continiuty

## Background

*monotone*if

*strongly monotone*if there exists \(\lambda \in (0,1)\) such that

*subdifferential*of \(f\) at \(x\in H\) is defined by

*monotone operator*on \(H\), and that \(0\in \partial f(x)\) if and only if \(x\) is a minimizer of \(f\). Setting \(\partial f\equiv A\), it follows that solving the inclusion \(0\in Au\), in this case, is solving for a minimizer of \(f\).

*normalized duality map*on \(E\). A map \(A:E\rightarrow E\) is called

*accretive*if for each \(x,y\in E\), there exists \(j(x-y)\in J(x-y)\) such that

*strongly accretive*if there exists \(k\in (0,1)\) such that for each \(x,y\in E\), there exists \(j(x-y)\in J(x-y)\) such that

*pseudo-contractive*. A map \(T:E\rightarrow E\) is then called

*pseudo-contractive*if

*strongly pseudo-contractive*if there exists \(k\in (0,1)\) such that

It is trivial to observe that zeros of \(A\) corresspond to fixed points of \(T\). For Lipschitz strongly pseudo-contractive maps, Chidume (1987) proved the following theorem.

###
**Theorem C1**

(Chidume 1987)* Let*
\(E =L_{p}, ~2\le p < \infty \)
*, and*
\(K\subset E\)
* be nonempty closed convex and bounded. Let*
\(T:K\rightarrow K\)
* be a strongly pseudocontractive and Lipschitz map. For arbitrary*
\(x_{0}\in K\)
*, let a sequence*
\(\{x_{n}\}\)
*be defined iteratively by*
\(x_{n+1} = (1-\alpha _{n})x_{n} + \alpha _{n}Tx_{n},~n\ge 0,\)
*where*
\(\{\alpha _{n}\} \subset (0,1)\)
*satisfies the following conditions:*
\((i)~\sum _{n=1}^{\infty }\alpha _{n}= \infty , ~~(ii)\sum _{n=1}^{\infty }\alpha _{n}^{2} < \infty \)
*. Then,*
\(\{x_{n}\}\)
*converges strongly to the unique fixed point of*
\(T\).

The main tool used in the proof of Theorem C1 is an inequality of Bynum (1976). This theorem signalled the return to extensive research efforts on inequalities in Banach spaces and their applications to iterative methods for solutions of nonlinear equations. Consequently, this theorem of Chidume has been generalized and extended in various directions, leading to flourishing areas of research, for the past thirty years or so, by numerous authors (see e.g., Chidume 1986, 1990, 2002; Chidume and Ali 2007; Chidume and Chidume 2005, 2006; Chidume and Osilike 1999; Deng 1993a, b; Zhou 1997; Zhou and Jia 1996, 1997; Liu 1995, 1997; Qihou 1990, 2002; Weng 1991, 1992; Xiao 1998; Xu 1989, 1991a, b, 1992, 1998; Xu and Roach 1991, 1992; Xu et al. 1995; Zhu 1994 and a host of other authors). Recent monographs emanating from these researches include those by Chidume (2009), Berinde (2007), Goebel and Reich (1984) and William and Shahzad (2014).

Unfortunately, the success achieved in using geometric properties developed from the mid 1980ies to early 1990ies in approximating zeros of accretive-type mappings has not carried over to approximating zeros of monotone-type operators in general Banach spaces. The first problem is that since \(A\) maps \(E\) to \(E^{*}\), for \(x_{n}\in E\), \(Ax_{n}\) is in \(E^{*}\). Consequently, a recursion formula containing \(x_{n}\) and \(Ax_{n}\) may not be well defined. Another difficulty is that the normalized duality map which appears in most Banach space inequalities developed, and also appears in the definition of accretive-type mappings, does not appear in the definition of monotone-type mappings in general Banach spaces. This creats very serious technical difficulties.

Attemps have been made to overcome the first difficulty by introducing the inverse of the normalized duality mapping in the recursion formulas for approximating zeros of monotone-type mappings. But one major problem with such recursion formulas is that the exact form of the normalized duality map (or its inverse) is not known precisely in any space more general than \(L_p\) spaces, \(1<p<\infty \). Futhermore, the recursion formulas, apart from containing the normalized duality map and its inverse, generally involve computation of subsets and generalized projections, both of which are defined in a way that makes their computation almost impossible. We give some examples of some results obtained using these approximation schemes. Before we do this, however, we need the following definitions.

*generalized projection map.*

Now we present the following results.

Zegeye and Shahzad proved the following result.

###
**Theorem 1.1**

(Zegeye and Shahzad 2009)* Let*
\(E\)
* be uniformly smooth and*
\(2\)
*-uniformly convex real Banach space with dual*
\(E^*\)
*. Let*

\(A:E\longrightarrow E^*\)
*be a *
\(\gamma \)
*-inverse strongly monotone mapping and*

*be relatively weak nonexpansive mapping with*\(A^{-1}(0)\cap F(T)\ne \emptyset .\)

*Assume that*\(0<\alpha _n\le b_0:=\frac{\gamma c^2}{2},\)

*where*\(c\)

*is the constants from the Lipschitz property of*\(J^{-1}\)

*, then the sequence generated by*

*converges strongly to*\(\Pi _{F(T)\cap A^{-1}(0)}x_0\)

*where*\(\Pi _{F(T)\cap A^{-1}(0)}\)

*is the generalised projection from*\(E\)

*onto*\(F(T)\cap A^{-1}(0).\)

We remark here that although the approximation methods used in the result of Iiduka *et al.* referred to above, and in Theorem 1.1 yield strong convergence to a solution of the problem under consideration, it is clear that they are not easy to implement. Furthermore, Theorem 1.1 excludes \(L_p\) spaces, \(2<p<\infty \), because these spaces are *not*
\(2\)-uniformly convex. The theorem, however, is applicable in \(L_{p}\) spaces \(1<p<2\).

In this paper, we introduce an *iterative scheme of Krasnoselskii-type* to approximate the unique zero of *a strongly monotone Lipschitz mapping* in \(L_{p}\) spaces, \(1<p<\infty \). In these spaces, the formula for \(J\) is known precisely (see e.g., Cioranescu 1990; Chidume 2009). The Krasnoselskii sequence, whenever it converges, is known to converge as fast as a geometric progression. Furthermore, our iteration method which will not involve construction of subsets or the use of generalized projection is also of independent interest.

## Preliminaries

In the sequel, we shall need the following results and definitions.

###
**Lemma 2.1**

*Let*\(E=L_{p},\,1<p<2. \)

*Then, there exists a constant*\(c_{p}>0\)

*such that for all x, y in L*

_{ p }

*the following inequalities hold:*

###
**Corollary 2.2**

*Let*\(E=L_p\), \(1<p\le 2\)

*. Then*\(J^{-1}\)

*is Lipschitz, i.e., there exists*\(L_1>0\)

*such that for all*\(u,v\in E^*\)

*, the following inequality holds:*

###
*Proof*

This follows from inequality (2.2). \(\square \)

For \(L_p,~2\le p<\infty \), we have the following lemma.

###
**Lemma 2.3**

*Let*\(X=L_p,~p\ge 2\)

*. Then, the inverse of the normalized duality map*\(J^{-1}:X^*\rightarrow X\)

*is Hölder continuous on balls. i.e.,*\(\forall ~ u,v\in X^*\)

*such that*\(\Vert u\Vert \le R\)

*and*\(\Vert v\Vert \le R\)

*, then*

*where*\(m_p:=(2^{p+1}Lpc^p_2)^{\frac{1}{p-1}}>0\)

*, for some constant*\(c_2>0.\)

###
*Proof*

###
**Lemma 2.4**

*Let*\(X\)

*be a reflexive striclty convex and smooth Banach space with*\(X^*\)

*as its dual. Then,*

*for all*\(x\in X\)

*and*\(x^*,y^*\in X^{*}.\)

###
**Definition 2.5**

*strongly monotone*if there exists a continuous, strictly increasing function \(\psi :\mathbb {R}\rightarrow \mathbb {R}\) with \(\psi (0)=0\) such that

Let \(X\) and \(Y\) be Banach spaces with \(X^*\) and \(Y^*\) as their respective duals.

###
**Definition 2.6**

*hemicontinuous*at \(x_0\in D(A)\) if \(x_0+t_ny\in D(A)\),

Clearly, every continuous map is hemicontinuous.

###
**Lemma 2.7**

*Let*
\(T:X\rightarrow X^*\)
* be a hemicontinuou*s \(\psi \)
*-strongly monotone operator with*
\(D(T)=X\)
*. Then,*
\(R(T)=X^*.\)

###
*Proof*

See chapter III, page \(48\) of Pascali and Sburian (1978). \(\square \)

## Main results

## Convergence in \(L_p\) spaces, \(1<p\le 2\).

In the sequel, \(k\) is the strong monotonicity constant of \(A\) and \(L>0\) is its Lipschitz constant, and \(\delta :=\frac{k}{2(L_1+1)(L+1)^2}\).

###
**Theorem 4.1**

*Let*\(E=L_p,~1<p\le 2\)

*. Let*\(A:E\rightarrow E^{*}\)

*be a strongly monotone and Lipschitz map. For*\(x_0\in E\)

*arbitrary, let the sequence*\(\{x_n\}\)

*be defined by:*

*where*\(\lambda \in \Big (0,\delta \Big )\)

*. Then, the sequence*\(\{x_n\}\)

*converges strongly to*\(x^*\in A^{-1}(0)\)

*and*\(x^*\)

*is unique.*

###
*Proof*

## Convergence in \(L_p\) spaces, \(2\le p<\infty \).

###
*Remark 1*

*Krasnoselskii-type sequence*(4.1) converges strongly to the unique solution of \(Au=0\). In fact, we prove the following theorem.

In the following theorem, \(\delta _p:=\Big (\frac{k}{2m_pL^{\frac{p}{p-1}}}\Big )^{p-1}\).

###
**Theorem 5.1**

*Let*\(X=L_p,~2\le p<\infty \)

*. Let*\(A:X\rightarrow X^*\)

*be a Lipschitz map. Assume that there exists a constant*\(k\in (0,1)\)

*such that*\(A\)

*satisfies the following condition:*

*and that*\(A^{-1}(0)\ne \emptyset .\)

*For arbitrary*\(x_0\in X\)

*, define the sequence*\(\{x_n\}\)

*iteratively by:*

*where*\(\lambda \in (0,\delta _p)\)

*. Then, the sequence*\(\{x_n\}\)

*converges strongly to the unique solution of the equation*\(Ax=0.\)

###
*Proof*

We first prove that \(\{x_n\}\) is bounded. This proof is by induction.

Let \(x^*\in A^{-1}(0)\). Then, there exists \(r>0\) such that \(\phi (x^*,x_1)\le r\). By construction, \(\phi (x^*,x_1)\le r\). Suppose that \(\phi (x^*,x_n)\le r\), for some \(n\ge 1\). We prove that \(\phi (x^*,x_{n+1})\le r\).

## Open Question

*Krasnoselskii-type sequence*defined for \(x_0\in E\), by:

*Krasnoselskii-type sequence*will converge strongly to a solution of \(Au=0\)

*in this space*.

## Declarations

### Authors’ contributions

The authors, C.E. Chidume, A.U. Bello and B. Usman all contributed in solving the problem. Moreover, A.U. Bello and B. Usman typed the manuscript, where as the corresponding author, C.E. Chidume, also typed and made some corrections. All the authors read and approve the final manuscript.

### Compliance with ethical guidelines

**Competing interests** The authors declare that they have no competing interests.

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Alber YI (1996) Metric and generalized projection operators in Banach spaces: properties and applications. In: Kartsatos AG (ed) Theory and appli cations of nonlinear operators of accretive and monotone type. Marcel Dekker, New York, pp. 15–50Google Scholar
- Alber YI, Guerre-Delabriere S (2001) On the projection methods for fixed point problems. Analysis (Munich). 21(1):17–39Google Scholar
- Alber YI, Ryazantseva I (2006) Nonlinear ill posed problems of monotone type, Springer, LondonGoogle Scholar
- Berinde V (2007) Iterative approximation of fixed points, lecture notes in mathematics, Springer, LondonGoogle Scholar
- Browder FE (1967) Nonlinear mappings of nonexpansive and accretive type in Banach spaces. Bull Am Math Soc 73:875–882View ArticleGoogle Scholar
- Bynum WL (1976) Weak parallelogram laws for Banach spaces. Can Math Bull 19(3):269–275View ArticleGoogle Scholar
- Chidume CE (1986) An approximation method for monotone Lipschitzian operators in Hilbert-spaces. J Aust Math Soc Ser Pure Math Stat 41:59–63View ArticleGoogle Scholar
- Chidume CE (1987) Iterative approximation of fixed points of Lipschitzian strictly pseudocontractive mappings. Proc Am Math Soc 99(2):283–288Google Scholar
- Chidume CE (1990) Iterative solution of nonlinear equations of the monotone type in Banach spaces. Bull Aust Math Soc 42:21–31View ArticleGoogle Scholar
- Chidume CE, Osilike MO (1999) Iterative solutions of nonlinear accretive operator equations in arbitrary Banach spaces. Nonlinear Anal Theo Methods Appl 36:863–872View ArticleGoogle Scholar
- Chidume CE (2002) Convergence theorems for asymptotically pseudocontractive mappings. Nonlinear Anal Theo Methods Appl 49:1–11View ArticleGoogle Scholar
- Chidume CE, Chidume CO (2005) Convergence theorems for fixed points of uniformly continuous generalized Phi-hemi-contractive mappings. J Math Anal Appl 303:545–554View ArticleGoogle Scholar
- Chidume CE, Chidume CO (2006) Convergence theorem for zeros of generalized Phi-quasi-accretive operators. Proc Am Math Soc 134:243–251View ArticleGoogle Scholar
- Chidume CE, Ali B (2007) Approximation of common fixed points for finite families of nonself asymptotically nonexpansive mappings in Banach spaces. J Math Anal Appl 326:960–973Google Scholar
- Chidume CE (2009) Geometric properties of Banach spaces and nonlinear iterations, lectures notes in mathematics. vol 1965, Springer, LondonGoogle Scholar
- Cioranescu I (1990) Geometry of Banach spaces, duality mappings and nonlinear problems. vol 62, Kluwer, DordrechtGoogle Scholar
- Deng L (1993) On Chidume’s open question. J Math Appl 174(2):441–449Google Scholar
- Deng L (1993) An iterative process for nonlinear Lipschitz strongly accretive mappings in uniformly convex and uniformly smooth Banach spaces. Acta Appl Math 32(2):183–196Google Scholar
- Diemling K (1985) Nonlinear functional analysis, Springer, New YorkGoogle Scholar
- Goebel K, Reich S (1984) Uniform convexity, hyperbolic geometry, and nonexpansive mappings. Monographs and textbooks in pure and applied mathematics. vol. 83, Marcel Dekker inc., New YorkGoogle Scholar
- Iiduka H, Takahashi W, Toyoda M (2004) Approximation of solutions of variational inequalities for monotone mappings. Panamer Math J 14:49–61Google Scholar
- Kamimura S, Takahashi W (2002) Strong convergence of a proximal-type algorithm in a Banach space. SIAMJ Optim 13(3):938–945Google Scholar
- Liu L (1997) Approximation of fixed points of a strictly pseudocontractive mapping. Proc Am Math Soc 125(5):1363–1366View ArticleGoogle Scholar
- Liu L (1995) Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces. J Math Anal Appl 194(1):114–125View ArticleGoogle Scholar
- Pascali D, Sburian S (1978) Nonlinear mappings of monotone type. Editura Academia Bucaresti, RomaniaGoogle Scholar
- Qihou L (2002) Iterative sequences for asymptotically quasi-nonexpansive mapping with an error member of uniformly convex Banach space. J Math Anal Appl 266:468–471View ArticleGoogle Scholar
- Qihou L (1990) The convergence theorems of the sequence of Ishikawa iterates for hemi-contractive mapping. J Math Anal Appl 148:55–62View ArticleGoogle Scholar
- Reich S (1996) A weak convergence theorem for the alternating methods with Bergman distance. In: Kartsatos AG (ed) Theory and applications of nonlinear operators of accretive and monotone type, in lecture notes in pure and Appl Math, vol 178 Dekker, New York, pp 313–318Google Scholar
- Weng XL (1991) Fixed point iteration for local striclty pseudocontractive mappings. Proc Am Math Soc 113(3):727–731View ArticleGoogle Scholar
- Weng XL (1992) Iterative construction of fixed points of a dissipative type operator. Tamkang J Math 23:205–215Google Scholar
- William K, Shahzad N (2015) Fixed point theory in distance spaces, Springer, New YorkGoogle Scholar
- Xiao R (1998) Chidume’s open problems and fixed point theorems. Xichuan Daxue Xuebao 35(4):505–508Google Scholar
- Xu ZB (1989) Characteristic inequalities of $$L_p$$ L p spaces and their applications. Acta Math Sinica 32(2):209–218Google Scholar
- Xu ZB (1992) A note on the Ishikawa iteration schemes. J Math Anal Appl 167:582–587View ArticleGoogle Scholar
- Xu ZB, Roach GF (1991) Characteristic inequalities for uniformly convex and uniformly smooth Banach space. J Math Anal Appl 157:189–210View ArticleGoogle Scholar
- Xu ZB, Roach GF (1992) A necessary and sufficient condition for convergence for of a steepest descent approximation to accretive operator equations. J Math Anal Appl 167:340–354View ArticleGoogle Scholar
- Xu ZB, Jiang YL, Roach GF (1995) A further necessary and sufficient condition for strong convergence of nonlinear contraction semigroups and of iteration methods for accretive operators in Banach spaces. Proc Edinburgh Math Soc 38(2):1–12View ArticleGoogle Scholar
- Xu HK (1991) Inequalities in Banach spaces with applications. Nonlinear Anal 16(12):1127–1138View ArticleGoogle Scholar
- Xu Y (1991) Existence and convergence for fixed points of mappings of the asymptotically nonexpansive type. Nonlinear Anal 16:1139–1146View ArticleGoogle Scholar
- Xu Y (1998) Ishikawa and Mann iterative processes with errors for nonlinear strongly accretive operator equations. J Math Anal Appl 224:91–101Google Scholar
- Zegeye H, Shahzad N (2009) Strong convegence theorems for monotone mappings and relatively weak nonexpansive mappings. Nonlinear Anal 70:2707–2716View ArticleGoogle Scholar
- Zhou H (1997) Iterative solutions of nonlinear equations involving strongly accretive operators without the Lipschitz assumption. J Math Anal Appl 213(1):296–307View ArticleGoogle Scholar
- Zhou H, Jia Y (1996) Approximating the zeros of accretive operators by the Ishikawa iteration process. Abstr Appl Anal 1(2):153–167View ArticleGoogle Scholar
- Zhou H, Jia Y (1997) Approximation of fixed points of strongly pseudocontractive maps without Lipschitz assumption. Proc Am Math Soc 125(6):1705–1709View ArticleGoogle Scholar
- Zhu L (1994) Iteration solution of nonlinear equations involving m-accretive operators in Banach spaces. J Math Anal Appl 188:410–415View ArticleGoogle Scholar