Skip to main content

Constructive techniques for zeros of monotone mappings in certain Banach spaces

Abstract

Let E be a 2-uniformly convex real Banach space with uniformly Gâteaux differentiable norm, and \(E^*\) its dual space. Let \(A:E\rightarrow E^*\) be a bounded strongly monotone mapping such that \(A^{-1}(0)\ne \emptyset .\) For given \(x_1\in E,\) let \(\{x_n\}\) be generated by the algorithm:

$$\begin{aligned} x_{n+1}= J^{-1}( Jx_n -\alpha _nAx_n),\,n\ge 1, \end{aligned}$$

where J is the normalized duality mapping from E into \(E^*\) and \(\{\alpha _n\}\) is a real sequence in (0, 1) satisfying suitable conditions. Then it is proved that \(\{x_n\}\) converges strongly to the unique point \(x^*\in A^{-1}(0).\) Finally, our theorems are applied to the convex minimization problem.

Background

Let H be a real Hilbert space with inner product \(\langle \cdot ,\cdot \rangle _H\) and norm \(\Vert \cdot \Vert _H.\) An operator \(A:H\rightarrow H\) is called monotone if

$$\begin{aligned} \langle Ax-Ay,x-y\rangle _H \ge 0\,\,\forall \,x,y\in H, \end{aligned}$$
(1.1)

and is called strongly monotone if there exists \(k\in (0,1)\) such that

$$\begin{aligned} \langle Ax-Ay,x-y\rangle _H \ge k\Vert x-y\Vert ^2_H \,\,\forall x,y\in H. \end{aligned}$$
(1.2)

Interest in monotone operators stems mainly from their usefulness in numerous applications. Consider, for example, the following: Let \(f:H\rightarrow \mathbb {R}\cup \{\infty \}\) be a proper lower semi continuous and convex function. The subdifferential, \(\partial f:H\rightarrow 2^{H}\) of f at \(x\in H\) is defined by

$$\begin{aligned} \partial f(x)=\big \{x^*\in H:f(y)-f(x)\ge \langle y-x,x^*\rangle \,\,\forall \,y\in H\big \}. \end{aligned}$$

It is easy to check that \(\partial f:H\rightarrow 2^H\) is a 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.

Several existence theorems have been established for the equation \(Au=0\) when A is of the monotone-type (see e.g., Deimling 1985; Pascali and Sburian 1978).

The extension of the monotonicity definition to operators from a Banach space into its dual has been the starting point for the development of nonlinear functional analysis. The monotone maps constitute the most manageable class because of the very simple structure of the monotonicity condition. The monotone mappings appear in a rather wide variety of contexts since they can be found in many functional equations. Many of them appear also in calculus of variations as subdifferential of convex functions. (Pascali and Sburian 1978, p. 101).

Let E be a real normed space, \(E^*\) its topological dual space. The map \(J:E\rightarrow 2^{E^*}\) defined by

$$\begin{aligned} Jx:=\big \{x^*\in E^*:\langle x,x^*\rangle =\Vert x\Vert .\Vert x^*\Vert ,\,\Vert x\Vert =\Vert x^*\Vert \big \} \end{aligned}$$

is called the normalized duality map on E. where, \(\langle ,\rangle \) denotes the generalized duality pairing between E and \(E^*.\)

A map \(A:E\rightarrow E^{*}\) is called monotone if for each \(x,y\in E,\) the following inequality holds:

$$\begin{aligned} \big \langle Ax-Ay,x-y\big \rangle \ge 0. \end{aligned}$$
(1.3)

A is called strongly monotone if there exists \(k\in (0,1)\) such that for each \(x,y\in E,\) the following inequality holds:

$$\begin{aligned} \langle Ax-Ay,x-y\rangle \ge k\Vert x-y\Vert ^2. \end{aligned}$$
(1.4)

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

$$\begin{aligned} \big \langle Ax-Ay,j(x-y)\big \rangle \ge 0. \end{aligned}$$
(1.5)

A is called 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

$$\begin{aligned} \langle Ax-Ay,j(x-y)\rangle \ge k\Vert x-y\Vert ^2. \end{aligned}$$
(1.6)

In a Hilbert space, the normalized duality map is the identity map. Hence, in Hilbert spaces, monotonicity and accretivity coincide. For accretive-type operator A, solutions of the equation \(Au=0,\) in many cases, represent equilibrium state of some dynamical system (see e.g., Chidume 2009, p. 116).

For approximating a solution of \(Au=0,\) assuming existence, where \(A:E\rightarrow E\) is of accretive-type, Browder (1967) defined an operator \(T:E \rightarrow E\) by \(T:=I-A,\) where I is the identity map on E. He called such an operator pseudo-contractive. It is trivial to observe that zeros of A correspond 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 pseudo-contractive and Lipschitz map. For arbitrary \(x_{0}\in K,\) let a sequence \(\{x_{n}\}\) be defined iteratively by \(x_{n+1} = (1-\lambda _{n})x_{n} + \lambda _{n} Tx_{n},\,n\ge 0,\) where \(\{\lambda _{n}\} \subset (0,1)\) satisfies the following conditions: \((i)\,\sum _{n=1}^{\infty }\lambda _{n}= \infty , \,\,(ii)\sum _{n=1}^{\infty }\lambda _{n}^{2} < \infty. \) Then, \(\{x_{n}\}\) converges strongly to the unique fixed point of T.

By setting \(T:=I-A\) in Theorem C1, the following theorem for approximating a solution of \(Au=0\) where A is a strongly accretive and bounded operator can be proved.

Theorem C2

Let \(E =L_{p}, \,2\le p < \infty. \) Let \(A:E\rightarrow E\) be a strongly accretive and bounded map. Assume \(A^{-1}(0)\ne \emptyset .\) For arbitrary \(x_{0}\in K,\) let a sequence \(\{x_{n}\}\) be defined iteratively by \(x_{n+1} =x_{n} - \lambda _{n} Ax_{n},\,n\ge 0,\) where \(\{\lambda _{n}\} \subset (0,1)\) satisfies the following conditions: \((i)\,\sum _{n=1}^{\infty }\lambda _{n}= \infty , \,\,(ii)\sum _{n=1}^{\infty }\lambda _{n}^{2} < \infty. \) Then, \(\{x_{n}\}\) converges strongly to the unique solution of \(Au=0.\)

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, Theorem C1 has been generalized and extended in various directions, leading to flourishing areas of research, for the past thirty years or so, for numerous authors (see e.g., Censor and Reich 1996; Chidume 1986, 1987, 2002; Chidume and Bashir 2007; Chidume and Chidume 2005, 2006; Chidume and Osilike 1999; Deng 1993; Zhou and Jia 1996; Liou 1990; Qihou 1990; Reich 1977, 1978, 1979; Reich and Sabach 2009, 2010; Weng 1991; Xiao 1998; Xu 1991, 1991, 1992; Berinde and Maruster 2014; Moudafi 2003, 2004; 2010; Moudafi and Thera 1997; Xu and Roach 1991; Xu et al. 1995; Zhu 1994 and a host of other authors). Recent monographs emanating from these researches include those by Berinde (2007), Chidume (2009), Goebel and Reich (1984), and William and Shahzad (2014).

Unfortunately, the success achieved in using geometric properties developed from the mid 1980s to early 1990s in approximating zeros of accretive-type mappings has not carried over to approximating zeros of monotone-type operators in general Banach spaces. Part of the 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.

Attempts have been made to overcome this difficulty by introducing the inverse of the normalized duality mapping in the recursion formulas for approximating zeros of monotone-type mappings.

In this paper, we introduce an iterative scheme of Mann-type to approximate the unique zero of a strongly monotone bounded mapping in 2-uniformly convex real Banach with uniformly Gâteaux differentiable norm. Then we apply our results to the convex minimization problem. Finally, our method of proof is of independent interest.

Remark 1

In \(L_{p}\) spaces, \(1<p<\infty, \) the formula for J is known precisely (see e.g., Chidume 2009; Cioranescu 1990). In fact, from Cioranescu (1990), Corollary 4.10, p. 72, we have for \(J:L_p\rightarrow {L_p}^*, \) \(1<p<\infty, \)

$$\begin{aligned} J(f)=|f|^{p-1}\cdot sign\frac{f}{\Vert f\Vert ^{p-1}}. \end{aligned}$$

Preliminaries

Let E be a normed linear space. E is said to be smooth if

$$\begin{aligned} \lim \limits _{t\rightarrow 0}\frac{\Vert x+ty\Vert - \Vert x\Vert }{t} \end{aligned}$$
(2.1)

exist for each \( x,y \in S_E\) (Here \( S_E:=\{x\in E : ||x||=1\}\) is the unit sphere of E). E is said to be uniformly smooth if it is smooth and the limit is attained uniformly for each \(x,y\in S_E,\) and E is Fréchet differentiable if it is smooth and the limit is attained uniformly for \(y\in S_E.\)

A normed linear space E is said to be strictly convex if:

$$\begin{aligned} \Vert x\Vert =\Vert y\Vert =1,\,\,x\ne y\,\,\Rightarrow \,\,\,\Big \Vert \frac{x+y}{2}\Big \Vert <1. \end{aligned}$$

The modulus of convexity of E is the function \(\delta _E: (0,2]\rightarrow [0,1]\) defined by:

$$\begin{aligned} \delta _E(\epsilon ):= \inf \Big \{1-\frac{1}{2}\Vert x+y\Vert \,\,:\Vert x\Vert =\Vert y\Vert =1,\,\Vert x-y\Vert \ge \epsilon \Big \}. \end{aligned}$$

E is uniformly convex if and only if \(\delta _E(\epsilon )>0\) for every \(\epsilon \in (0,2].\) Let \(p>1.\) Then E is said to be p-uniformly convex if there exists a constant \(c>0\) such that \(\delta _E(\epsilon )\ge c\epsilon ^p\) for all \(\epsilon \in (0,2].\) Observe that every p-uniformly convex space is uniformly convex.

It is well known that E is smooth if and only if J is single valued. Moreover, if E is a reflexive smooth and strictly convex Banach space, then \(J^{-1}\) is single valued, one-to-one, surjective and it is the duality mapping from \(E^*\) into E. Finally, if E has uniform Gâteaux differentiable norm, then J is norm-to-weak\(^*\) uniformly continuous on bounded sets.

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

Theorem 2.1

(Xu 1991) Let \(p>1\) be a given real number. Then the following are equivalent in a Banach space:

  1. (i)

    E is p-uniformly convex.

  2. (ii)

    There is a constant \(c_1>0\) such that for every \(x,y\in \,E\) and \(j_x\in \,J_p(x),\) The following inequality holds:

    $$\begin{aligned} \Vert x+y\Vert ^p\ge \Vert x\Vert ^p + p\langle y,j_x\rangle + c_1\Vert y\Vert ^p. \end{aligned}$$
  3. (iii)

    There is a constant \(c_2>0\) such that for every \(x,y\in \,E\) and \(j_x\in \,J_p(x), j_y\in \,J_p(y),\) the following inequality holds:

    $$\begin{aligned} \langle x-y,j_x-j_y\rangle \ge c_2\Vert x-y\Vert ^p. \end{aligned}$$

Corollary 2.2

Let E be a 2-uniformly convex and smooth real Banach space. Then \(J^{-1}\) is Lipschtzian form \(E^*\) into E, i.e., there exists constant \(L>0\) such for all \(u,v\in E^*\) the following holds

$$\begin{aligned} \Vert J^{-1}u-J^{-1}v\Vert \le L||u-v\Vert . \end{aligned}$$
(2.2)

Proof

This follows from inequality (iii) of Theorem 2.1 with \(p=2.\) \(\square \)

Let E be a smooth real Banach space with dual \(E^*.\) The function \(\phi :E\times E \rightarrow \mathbb {R},\) defined by

$$\begin{aligned} \phi (x,y)=\Vert x\Vert ^2-2\langle x,Jy\rangle +\Vert y\Vert ^2, \,\, x,y \in E, \end{aligned}$$
(2.3)

where J is the normalized duality mapping from E into \(E^*,\) introduced by Alber has been studied by Alber (1996), Alber and Guerre-Delabiere (2001), Kamimura and Takahashi (2002), Reich (1979) and a host of other authors. This functional \(\phi \) will play a central role in what follows. If \(E=H,\) a real Hilbert space, then Eq. (2.3) reduce to \(\phi (x,y)=\Vert x-y\Vert ^2\) for \( x,y\in H.\) It is obvious from the definition of the function \(\phi \) that

$$\begin{aligned} (\Vert x\Vert -\Vert y\Vert )^2\le \phi (x,y)\le (\Vert x\Vert +\Vert y\Vert )^2 \,\,\forall \, x,y\in E. \end{aligned}$$
(2.4)

Define a functional \( V:E\times E^* \rightarrow \mathbb {R}\) by

$$\begin{aligned} V(x,x^*)=\Vert x\Vert ^2-2\langle x,x^*\rangle +\Vert x^*\Vert ^2, \,\, x\in E, x^*\in E^*. \end{aligned}$$
(2.5)

Then, it is easy to see that

$$\begin{aligned} V(x,x^*)=\phi (x,J^{-1}x^*)\,\, \forall \, x\in E,\,x^* \in E^*. \end{aligned}$$
(2.6)

Lemma 2.3

(Alber 1996) Let E be a reflexive strictly convex and smooth real Banach space with \(E^*\) as its dual. Then,

$$\begin{aligned} V(x,x^*)+2\langle J^{-1}x^*-x, y^*\rangle \le V(x,x^*+y^*) \end{aligned}$$
(2.7)

for all \(x\in E\) and \( x^*,y^* \in E^*.\)

Lemma 2.4

(Kamimura and Takahashi 2002) Let E be a smooth uniformly convex real Banach space, and let \(\{x_n\}\) and \(\{y_n\}\) be two sequences of E. If either \(\{x_n\}\) or \(\{y_n\}\) is bounded and \(\phi (x_n,y_n)\rightarrow 0\) as \(n\rightarrow \infty, \) then \( \Vert x_n-y_n\Vert \rightarrow 0 \) as \(n\rightarrow \infty .\)

Lemma 2.5

(Tan and Xu 1993) Let \(\{a_n\}\) be a sequence of non-negative real numbers satisfying the following relation:

$$\begin{aligned} a_{n+1}\le a_n + \sigma _n\,\, n\ge 0. \end{aligned}$$

Such that \(\displaystyle \sum _{n=0}^\infty \sigma _n< \infty .\) Then \( \displaystyle \lim _{n\rightarrow \infty }a_n\) exists. If addition, the sequence \(\{a_n\}\) has a subsequence that converges to 0. Then \(\{a_n\}\) converges to 0.

The following results will be useful.

Lemma 2.6

(Alber and Ryazantseva 2006) For \(p>1,\) let X be a p-uniformly convex and smooth real Banach space and S a bounded subset of X. Then there exists a positive constant \(\alpha \) such that

$$\begin{aligned} \alpha \Vert x-y\Vert ^p\le \phi (x,y)\,\,\forall \,x,y\in S. \end{aligned}$$

Lemma 2.7

Let E be a 2-uniformly convex smooth real Banach space. Then the following inequality holds:

$$\begin{aligned} ||x-y\Vert ^2\ge \phi (x,y)+(c_1-1)\Vert x\Vert ^2\,\, x,y\in E, \end{aligned}$$

where \(0\le c_1\le 1\) has the same meaning as in Theorem 2.1.

Proof

Using (ii) of Theorem 2.1, we have

$$\begin{aligned} \Vert x-y\Vert ^2\ge \Vert x\Vert ^2 - 2\langle y,Jx\rangle + c_1\Vert y\Vert ^2. \end{aligned}$$

Interchanging x and y, we obtain

$$\begin{aligned} \Vert x-y\Vert ^2&\ge \Vert y\Vert ^2 -2\langle x,Jy\rangle + c_1\Vert x\Vert ^2\\&= \phi (x,y) + (c_1-1)\Vert x\Vert ^2. \end{aligned}$$

\(\square \)

Main results

We now prove the following result

Theorem 3.1

Let E be a 2-uniformly convex real Banach space with uniformly Gâteaux differentiable norm and \(E^*\) its dual space. Let \(A:E\rightarrow E^*\) be a bounded and k-strongly monotone mapping such that \(A^{-1}(0)\ne \emptyset .\) For arbitrary \(x_1\in E,\) let \(\{x_n\}\) be the sequence defined iteratively by:

$$\begin{aligned} x_{n+1}=J^{-1}(Jx_n-\alpha _nAx_n),\,\, n\ge 1, \end{aligned}$$
(3.1)

where J is the normalized duality mapping from E into \(E^*\) and \(\{\alpha _n\}\subset (0,1)\) is a real sequence satisfying the following conditions: \((i)\,\,\sum _{n=1}^\infty \alpha _n=\infty; \) \((ii)\,\, \sum _{n=0}^\infty \alpha _n^{2}< \infty .\) Then, there exists \(\gamma _0>0\) such that if \(\alpha _n<\gamma _0,\) the sequence \(\{x_n\}\) converges strongly to the unique solution of the equation \(Au=0.\)

Proof

The proof is in two steps:

Step 1: We prove that \(\{x_n\}\) is bounded. Since \(A^{-1}(0)\ne \emptyset, \) let \(x^*\in A^{-1}(0).\)There exists \(r>0\) such that:

$$\begin{aligned} r\ge \max \Big \{{4(1- c_1)\Vert x^*\Vert ^2,\phi (x_1,x^*)} \Big \}. \end{aligned}$$
(3.2)

We show that \(\phi (x_n,x^*)\le r\) for all \(n\ge 1.\) The proof is by induction. We have \(\phi (x_1,x^*)\le r.\) Assume that \(\phi (x_n,x^*)\le r\) for some \(n\ge 1.\) We show that \(\phi (x_{n+1},x^*)\le r.\) From the induction assumption and Lemma 2.6, there exists \(\alpha ^*>0\) such that \(\Vert x_n-x^*\Vert ^2\le r\alpha ^*.\) Since A is bounded, we have:

$$\begin{aligned} M_0=2L\sup \{\Vert Ax\Vert ^2, \Vert x-x^*\Vert \le \sqrt{r\alpha ^*}\} +1<\infty , \end{aligned}$$
(3.3)

where L is a Lipschitz constant of \(J^{-1}.\) Define

$$\begin{aligned} \gamma _0=\displaystyle \min \dfrac{1}{2}\left\{ 1, \dfrac{kr}{M_0}\right\} \end{aligned}$$
(3.4)

Using the definition of \(x_{n+1},\) we compute as follows:

$$\begin{aligned} \phi (x^*,x_{n+1})=&\,\, {} \phi (x^*,J^{-1}(Jx_n-\alpha _nAx_n))\\= &\,\, {} V(x^*,Jx_n-\alpha _nAx_n). \end{aligned}$$

Using Lemma 2.3, with \(y^*=\alpha _nAx_n,\) we have:

$$\begin{aligned} \phi (x^*,x_{n+1})= &\,\, {} V(x^*,Jx_n-\alpha _nAx_n)\\\le &\,\, {} V(x^*,Jx_n)-2\alpha _n\langle J^{-1}(Jx_n-\alpha _nAx_n)-x^*,Ax_n-Ax^*\rangle \\= &\,\, {} \phi (x^*,x_{n})-2\alpha _n\langle x_n -x^*,Ax_n-Ax^*\rangle -2\alpha _n\langle J^{-1}(Jx_n-\alpha _nAx_n)-x_n,Ax_n\rangle \\= & \,\,{} \phi (x^*,x_{n})-2\alpha _n\langle x_n -x^*,Ax_n-Ax^*\rangle \\&\,-\,2\alpha _n\langle J^{-1}(Jx_n-\alpha _nAx_n)-J^{-1}(Jx_n),Ax_n\rangle . \end{aligned}$$

Using the strong monotonocity of A, Schwartz inequality and the Lipzchitz property of \(J^{-1},\) we obtain

$$\begin{aligned} \phi (x^*,x_{n+1})\le &\,\, {} \phi (x^*,x_{n})-2\alpha _nk||x_n- x^*||^2 + 2\alpha _n||J^{-1}(Jx_n-\alpha _nAx_n)-J^{-1}(Jx_n)||||Ax_n\Vert \nonumber \\\le & \,\,{} \phi (x^*,x_{n})-2\alpha _nk||x_n- x^*||^2 + 2\alpha _n^2L||Ax_n\Vert ^2. \end{aligned}$$

Using Lemma 2.7, it follows that

$$\begin{aligned} \phi (x^*,x_{n+1})\le \phi (x^*,x_{n})-2\alpha _nk\phi (x^*,x_{n})+2\alpha _nk(1-c_1)||x^*||^2+\alpha _n^2M_0. \end{aligned}$$
(3.5)

Finally, using inequality (3.2), the definition of \(\gamma _0\) (3.4), and the induction assumption, we have

$$\begin{aligned} \phi (x^*,x_{n+1})\le &\,\, {} (1-2k\alpha _n)r +\alpha _nk\dfrac{r}{2}+\alpha _nk\dfrac{r}{2}\\\le &\,\, {} \left( 1-k\alpha _n\left( 2-\dfrac{1}{2}-\dfrac{1}{2}\right) \right) r\\\le & \,\,{} (1-k\alpha _n)r. \end{aligned}$$

Therefore, \(\phi (x^*,x_{n+1})\le r.\) Thus, by induction, \(\phi (x^*,x_{n})\le r\) for all \(n\ge 1.\) So, by inequality (2.4), \(\{ x_n\}\) is bounded.

Step 2: We now prove that \(\{ x_n\}\) converges strongly to the unique point \(x^*\) of \(A^{-1}(0).\) Following the same arguments as in Step 1, using the fact the sequence \(\{ x_n\}\) is bounded and A is bounded, there exists a positive constant M such that

$$\begin{aligned} \phi (x^*,x_{n+1})\le \phi (x^*,x_{n})-2\alpha _nk||x_n -x^* ||^2+\alpha _n^2M. \end{aligned}$$
(3.6)

Therefore,

$$\begin{aligned} \phi (x^*,x_{n+1})\le \phi (x^*,x_{n})+\alpha _n^2M. \end{aligned}$$

Using the hypothesis \(\displaystyle \sum _{n=0}^\infty \alpha _n^{2}< \infty \) and Lemma 2.5, it follows that \(\displaystyle \lim _{n\rightarrow \infty }\phi (x^*,x_{n})\) exists. From (3.6), we have

$$\begin{aligned} \sum _{n=1}^\infty \alpha _n\Vert x_n-x^*\Vert <\infty . \end{aligned}$$

Using the fact that \(\sum _{n=0}^\infty \alpha _n=\infty, \) it follows that \(\displaystyle \liminf \Vert x^*- x_{n}\Vert ^2=0.\) Therefore, there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_n\}\) such that \(x_{n_{k}}\rightarrow x{^*}\) as \(k\rightarrow \infty .\) We have

$$\begin{aligned} \phi (x^*,x_{n_{k}})=\Vert x\Vert ^2-2\langle x^*,Jx_{n_{k}}\rangle +\Vert x_{n_{k}}\Vert ^2. \end{aligned}$$

Since \(\{x_n\}\) is bounded and J is norm-to weak\(^*\) uniformly continuous on bounded subsets of E, it follows that \(\{\phi (x^*,x_{n})\}\) has a subsequence that converges to 0. Thus, by Lemma (), \(\{\phi (x^*,x_{n})\}\) converges strongly to 0. Applying Lemma(), we obtain that \(\Vert x_n-x^* \Vert \rightarrow 0\) as \(n\rightarrow \infty .\) This completes the proof. \(\square \)

Corollary 3.2

Let \(E=L_p,\) \(1<p\le 2\) and \( A: E \rightarrow E^* \) be a bounded and strongly monotone mapping. For arbitrary \(x_1\in E,\) let \(\{x_n\}\) be the sequence defined iteratively by:

$$\begin{aligned} x_{n+1}=J^{-1}(Jx_n-\alpha _nAx_n),\,\, n\ge 1, \end{aligned}$$
(3.7)

where J is the normalized duality mapping from E into \(E^*\) and \(\{\alpha _n\}\subset (0,1)\) is a real sequence satisfying the following conditions: \((i)\,\,\sum _{n=1}^\infty \alpha _n=\infty; \) \((ii)\,\,\sum _{n=0}^\infty \alpha _n^{2}< \infty .\)

Then, there exists \(\gamma _0>0\) such that if \(\alpha _n<\gamma _0,\,\,\forall \,n\ge 1\) the sequence \(\{x_n\}\) converges strongly to the unique solution of the equation \(Au=0.\)

Proof

Since \(L_p\) spaces, \(1<p\le 2\) are 2-uniformly convex Banach space with uniformly Gâteaux differentiable norm, then the proof follows from Theorem 3.1. \(\square \)

Application to convex minimization problems

In this section, we study the problem of finding a minimizer of a convex function f defined from a real Banach space E to \(\mathbb {R}.\)

The following basic results are well known.

Lemma 4.1

Let \(f:E\rightarrow \mathbb {R}\) be a real-valued differentiable convex function and \(a\in E.\) \(df:E\rightarrow E^*\) denotes the differential map associated to f. Then the following hold.

  1. 1.

    The point a is a minimizer of f on E if and only if \(df(a) = 0.\)

  2. 2.

    If f is bounded, then f is locally Lipschitzian, i.e., for every \(x_0\in E\) and \(r>0,\) there exists \(\gamma >0\) such that f is \(\gamma \) -Lipschitzian on \(B(x_0,r),\) i.e.

    $$\begin{aligned} |f(x)-f(y)|\le \gamma \Vert x-y\Vert \,\,\forall \,x,y\in B(x_0,r). \end{aligned}$$

Lemma 4.2

Let E be normed linear space and \(f:E\rightarrow \mathbb {R}\) a real-valued differentiable convex function. Assume that f is bounded. Then the differential map \( df: E\rightarrow E^*\) is bounded.

Proof

Let \(x_0\in E\) and \(r>0.\) Set \(B:= B(x_0,r).\) We show that df(B) is bounded. From lemma 4.1, there exists \(\gamma >0\) such that

$$\begin{aligned} |f(x)-f(y)|\le \gamma \Vert x-y\Vert \,\,\forall \,x,y\in B. \end{aligned}$$
(4.1)

Let \(z^*\in df(B)\) and \(x^*\in B\) such that \(z^*=df(x^*).\) Since B is open, for all \(u\in E,\) there exists \(t>0\) such that \(x^*+tu\in B.\) Using the fact that \(z^*= df(x^*)\) the convexity of f and inequality (4.1), it follows that

$$\begin{aligned} \langle z^*, tu\rangle\le &\,\, {} f(x^*+tu)-f(x^*)\\\le & \,\,{} t\gamma \Vert u\Vert \end{aligned}$$

so that

$$\begin{aligned} \langle z^*, u\rangle \le \gamma \Vert u\Vert \, \,\forall \,u\in E. \end{aligned}$$

Therefore \(\Vert z^*\Vert \le \gamma. \) Hence df(B) is bounded. \(\square \)

Definition 4.3

A function \(f:E\rightarrow \mathbb {R}\) is said to be strongly convex if there exists \(\alpha >0\) such that for every \(x,y\in E\) with \(x\ne y\) and \(\lambda \in (0,1),\) the following inequality holds:

$$\begin{aligned} f(\lambda x+ (1-\lambda ) y)\le \lambda f(x)+ (1-\lambda )f(y)-\alpha \Vert x-y\Vert ^2. \end{aligned}$$
(4.2)

Lemma 4.4

Let E be normed linear space and \(f:E\rightarrow \mathbb {R}\) a real-valued differentiable convex function. Assume that f is strongly convex. Then the differential map \( df: E\rightarrow E^*\) is strongly monotone, i.e., there exists a positive constant k such that

$$\begin{aligned} \langle df(x)-df(y),x-y\rangle \ge k\Vert x-y\Vert ^2\,\,\forall \,x,y\in E. \end{aligned}$$
(4.3)

We now prove the following theorem.

Theorem 4.5

Let E be a 2-uniformly convex real Banach space with uniformly Gâteaux differentiable norm and let \(f:E\rightarrow \mathbb {R}\) be a differentiable, bounded, strongly convex real-valued function which satisfies the growth condition: \(f(x)\rightarrow +\infty \) as \(\Vert x\Vert \rightarrow +\infty. \) For arbitrary \(x_1\in E,\) let \(\{x_n\}\) be the sequence defined iteratively by:

$$\begin{aligned} x_{n+1}=J^{-1}\Big (Jx_n-\alpha _ndf(x_n)\Big ),\,\, n\ge 1, \end{aligned}$$
(4.4)

where J is the normalized duality mapping from E into \(E^*\) and \(\{\alpha _n\}\subset (0,1)\) is a real sequence satisfying the following conditions: \((i)\,\,\sum _{n=1}^\infty \alpha _n=\infty; \) \((ii)\,\,\sum _{n=0}^\infty \alpha _n^{2}< \infty .\) Then, f has a unique minimizer \(a^*\in E\) and there exists \(\gamma _0>0\) such that if \(\alpha _n<\gamma _0,\) the sequence \(\{x_n\}\) converges strongly to \(a^*.\)

Proof

Since E is reflexive, then from the growth condition, the continuity and the strict convexity of f, f has a unique minimizer \(a^*\) characterized by \(df (a^*)=0\) (Lemma 4.1). Finally, from Lemmas 4.2 and 4.4, the differential map \(df:E\rightarrow E^*\) is bounded and strongly monotone. Therefore, the proof follows from Theorem 3.1. \(\square \)

Conclusion

In this work, we proposed a new iteration scheme for the approximation of zeros of monotone mappings defined in certain Banach spaces. Our results are used to approximate minimizers of convex functions. The results obtained in this paper are important improvements of recent important results in this field.

References

  • Alber Y (1996) Metric and generalized projection operator in banach space: properties and applications. In: Kartsatos AG (ed) Theory and applications of nonlinear operators of accretive and monotone type. Marcel Dekker, New York, pp 15–50

  • Alber Y, Guerre-Delabiere S (2001) On the projection methods for fixed point problems. Analysis (Munich) 21(1):17–39

    Google Scholar 

  • Alber Y, Ryazantseva I (2006) Nonlinear ILL-posed problems of monotone type. Springer, Dordrecht

    Google Scholar 

  • Berinde V (2007) Iterative approximation of fixed points, lecture notes in mathematics. Springer, London

    Google Scholar 

  • Berinde V, Maruster S, Rus IA (2014) An abstract point of view on iterative approximation of fixed points of nonself operators. J Nonlinear Convex Anal 15(5):851–865

    Google Scholar 

  • Browder FB (1967) Nonlinear mappings of nonexpansive and accretive type in Banach spaces. Bull Am Math Soc 73:875–882

    Article  Google Scholar 

  • Bynum WL (1976) Weak parallelogram laws for Banach spaces. Can Math Bull 19(3):269–275

    Article  Google Scholar 

  • Censor Y, Reich R (1996) Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization. Optimization 37(4):323–339

    Article  Google Scholar 

  • Cioranescu I (1990) Geometry of Banach spaces, duality mappings and nonlinear problems, vol 62. Kluwer Academic Publishers, Dordrecht

    Book  Google Scholar 

  • Chidume CE (1986) An approximation method for monotone Lipschitzian operators in Hilbert-spaces. JJ Aust Math Soc Ser A Pure Math Stat 41:59–63

    Article  Google Scholar 

  • Chidume CE (2002) Convergence theorems for asymptotically pseudo-contractive mappings. Nonlinear Anal Theory Methods Appl 49(1):1–11

    Article  Google Scholar 

  • Chidume CE (2009) Properties Geometric, of Banach Spaces and Nonlinear iterations, vol 1965, of lectures notes in mathematics. Springer, London

    Google Scholar 

  • Chidume CE (1987) Iterative approximation of fixed points of Lipschitzian strictly pseudo-contractive mappings. Proc Am Math Soc 99(2):283–288

    Google Scholar 

  • Chidume CE, Bashir A (2007) Approximation of common fixed points for finite families of nonself asymptotically nonexpansive mappings in Banach spaces. J Math Anal Appl 326:960–973

    Article  Google 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–554

    Article  Google Scholar 

  • Chidume CE, Chidume CO (2006) Convergence theorem for zeros of generalized Phi-quasi-accretive operators. Proc Am Math Soc 134:243–251

    Article  Google Scholar 

  • Chidume CE, Osilike MO (1999) Iterative solutions of nonlinear accretive operator equations in arbitrary Banach spaces. Nonlinear Anal Theory Methods Appl 36:863–872

    Article  Google Scholar 

  • Deimling K (1985) Nonlinear functional analysis. Springer, New York

    Book  Google Scholar 

  • Deng L (1993) On Chidume’s open question. J Math Appl 174(2):441–449

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

    Google Scholar 

  • Kamimura S, Takahashi W (2002) Strong convergence of proximal-type algorithm in Banach space. SIAMJ Optim 13(3):938–945

    Article  Google Scholar 

  • Liou L (1990) Ishikawa and Mann iterative for hemi-contractive mapping. J Math Anal Appl 48:55–62

    Google Scholar 

  • Moudafi A (2003) A relaxed alternating CQ-algorithm for convex feasibility problems. Nonlinear Anal 79:117–121

    Article  Google Scholar 

  • Moudafi A (2004) Alternating CQ-algorithm for convex feasibility and split fixed-point problems. J Nonlinear Convex Anal 15(4):809–818

    Google Scholar 

  • Moudafi A (2010) Proximal methods for a class of bilevel monotone equilibrium problems. J Glob Optim 47(2):45–52

    Article  Google Scholar 

  • Moudafi A, Thera M (1997) Finding a zero of the sum of two maximal monotone operators. J Optim Theory Appl 94(2):425–448

    Article  Google Scholar 

  • Pascali D, Sburian S (1978) Nonlinear mappings of monotone type. Editura Academia Bucuresti, Romania

    Book  Google Scholar 

  • Qihou L (1990) The convergence theorems of the sequence of Ishikawa iterates for hemi-contractive mapping. J Math Anal Appl 148:55–62

    Article  Google Scholar 

  • Reich S (1979) Constructive techniques for accretive and monotone operators, applied non-linear analysis. Academic Press, New York, pp 335–345

    Google Scholar 

  • Reich S (1977) Extension problems for accretive sets in Banach spaces. J Funct Anal 26:378–395

    Article  Google Scholar 

  • Reich S (1978) Iterative methods for accretive sets in Banach Spaces. Academic Press, New York, pp 317–326

    Google Scholar 

  • Reich S, Sabach S (2009) A strong convergence theorem for a proximal-type algorithm in reflexive Banach spaces. J Nonlinear Convex Anal 10(3):471–485

    Google Scholar 

  • Reich S, Sabach S (2010) Two strong convergence theorems for a proximal method in reflexive Banach spaces. Numer Funt Anal Optim 31(1—-3):22–44

    Article  Google Scholar 

  • Tan HK, Xu HK (1993) Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J Math Anal Appl 178:301–308

    Article  Google Scholar 

  • Weng XL (1991) Fixed point iteration for local striclty pseudo-contractive mappings. Proc Am Math Soc 113(3):727–731

    Article  Google Scholar 

  • William K, Shahzad N (2014) Fixed point theory in distance spaces. Springer, New York

    Google Scholar 

  • Xiao R (1998) Chidume’s open problems and fixed point theorems. Xichuan Daxue Xuebao 35(4):505–508

    Google Scholar 

  • Xu HK (1991) Inequalities in Banach spaces with applications. Nonlinear Anal 16(12):1127–1138

    Article  Google Scholar 

  • Xu Y (1991) Existence and convergence for fixed points of mappings of the asymptotically nonexpansive type. Nonlinear Anal 16:1139–1146

    Article  Google Scholar 

  • Xu ZB (1992) A note on the Ishikawa iteration schemes. J Math Anal Appl 167:582–587

    Article  Google 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–12

    Article  Google Scholar 

  • Xu Z, Roach GF (1991) Characteristic inequalities for uniformly convex and uniformly smooth Banach space. J Math Anal Appl 157:189–210

    Article  Google Scholar 

  • Zhou H, Jia Y (1996) Approximating the zeros of accretive operators by the Ishikawa iteration process. Abstr Appl Anal 1(2):153–167

    Article  Google Scholar 

  • Zhu L (1994) Iteration solution of nonlinear equations involving m-accretive operators in Banach spaces. J Math Anal Appl 188:410–415

    Article  Google Scholar 

Download references

Authors’ contributions

The authors, CD, TMMS, ND and CEC with the consultation of each other carried out this work. All authors read and approved the final manuscript.

Compliance with ethical guidelines

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to N Djitte.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Diop, C., Sow, T.M.M., Djitte, N. et al. Constructive techniques for zeros of monotone mappings in certain Banach spaces. SpringerPlus 4, 383 (2015). https://doi.org/10.1186/s40064-015-1169-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s40064-015-1169-2

Keywords