Viscosity iterative algorithm for the zero point of monotone mappings in Banach spaces

Abstract

Inspired by the work of Zegeye (J. Math. Anal. Appl. 343:663–671, 2008) and the recent papers of Chidume et al. (Fixed Point Theory Appl. 2016:97, 2016; Br. J. Math. Comput. Sci. 18:1–14, 2016), we devise a viscosity iterative algorithm without involving the resolvent operator for approximating the zero of a monotone mapping in the setting of uniformly convex Banach spaces. Under concise parameter conditions we establish strong convergence of the proposed algorithm. Moreover, applications to constrained convex minimization problems and solution of Hammerstein integral equations are included. Finally, the performances and computational examples and a comparison with related algorithms are presented to illustrate the efficiency and applicability of our new algorithm.

Introduction

Let H be a real inner product space. A map $A:D(A)\subset H\to 2^H$ is called monotone if, for each $x,y\in D(A)$, the following inequality holds:

$$\langle \xi -\eta ,x-y\rangle \ge 0\text{for all }\xi \in Ax,\eta \in Ay.$$ 1.1

Interest in monotone mappings derives mainly from their significant numerous applications. For example, the classical convex optimization problem: let $h:H\to \mathbb{R}\cup \{\mathrm{\infty }\}$ be a proper convex, lower semicontinuous (l.s.c.) function. The sub-differential of h at $x\in H$ is defined by $\partial h:H\to 2^H$

$$\partial h(x)=\{x^{\ast }\in H:h(y)-h(x)\ge \langle y-x,x^{\ast }\rangle ,\mathrm{\forall }y\in H\}.$$

Clearly, ∂h is a monotone operator on H, and $0\in \partial h(x_0)$ if and only if $x_0$ is a minimizer of h. In the case of setting $\partial h\equiv A$, solving the inclusion $0\in Au$, one obtains a minimizer of h.

In addition, the inclusion $0\in Au$ when A is a monotone map from a real Hilbert space to itself also appears in several systems, in particular, evolution systems:

$$\frac{du}{dt}+Au=0,$$

where A is a monotone map. At an equilibrium state, $\frac{du}{dt}=0$, so that $Au=0$, the solution coincides with the equilibrium state of the dynamical system (see, e.g., Zarantonello [4], Minty [5], Kac̆urovskii [6], Chidume [7], Berinde [8], and others).

For solving the original problem of finding a solution of the inclusion $0\in Au$, Martinet [9] introduced the well-known iteration method as follows: for $n\in \mathbb{N}$, $\mathrm{\forall }{\lambda }_n>0$, $x_1\in E$ and

$$x_{n+1}=J_{{\lambda }_n}{x}_n,$$

where $J_{{\lambda }_n}={(I+{\lambda }_{n}A)}^{-1}$ is the well-known Yosida resolvent operator, A is a monotone operator in Hilbert spaces.

This is a successful and powerful algorithm in finding a solution of the equation $0\in Au$ and after that, it was extended by many authors (see, e.g., Rockafellar [10], Chidume [11], Xu [12], Tang [13], Qin et al. [14]).

On the other hand, Browder [15] introduced an operator $T:H\to H$ by $T=I-A$ where I is the identity mapping on a Hilbert space H. The operator T is called pseudo-contractive and the zeros of monotone operator A, if they exist, correspond to the fixed points of T. Therefore the approximation of the solutions of $Au=0$ reduces to the approximation of the fixed points of a pseudo-contractive mapping.

Gradually, the notion of monotone mapping has been extended to real normed spaces. Let E be a real normed space with dual $E^{\ast }$. A map $J:E\to 2^{E^{\ast }}$, defined by

$$Jx:=\{x^{\ast }\in E^{\ast }:\langle x,x^{\ast }\rangle =\parallel x\parallel \cdot \parallel x^{\ast }\parallel ,\parallel x\parallel =\parallel x^{\ast }\parallel \},$$ 1.2

is called the normalized duality map on E. Some properties of the normalized duality map can be obtained from Alber [16] and the references therein.

Since the normalized duality map J is the identity map I in Hilbert spaces, and so, under the idea of Browder [15], the approximating to solution of $0\in Au$ has been extended to normed spaces by numerous authors (see, for instance, Chidume [17, 18], Agarwal et al. [19], Reich [20], Diop [21], and the references therein), where A is a monotone mapping from E to itself.

Although the above results have better theoretical properties, such as, but not only, weak and strong convergence to a solution of the equation $0\in Au$, there are still some difficulties to overcome. For instance, the generalized technique of converting the zero of A into the fixed point of T in Browder [15] is not applicable since, in this case when A is monotone, A maps E into $E^{\ast }$. In addition, the resolvent technique in Martinet [9] is not convenient to use because one has to compute the inverse of $(I+\lambda A)$ at each step of the iteration process.

Hence, it is only natural to ask the following question.

Question 1.1

Can we construct an algorithm without involving the resolvent operator to approximate a zero point of A in Banach spaces?

Motivated and inspired by the work of Martinet [9], Rockafellar [10], Zegeye [1], and Chidume et al. [2, 3], as well as Ibaraki and Takahashi [22], we wish to provide an affirmative answer to the question. Our contribution in the present work is a new viscosity iterative method for the solutions of the equation $0\in AJu$, that is, $Ju\in A^{-1}(0)$, where $A:E^{\ast }\to E$ is a monotone operator defined on the dual of a Banach space E and $J:E\to E^{\ast }$ is the normalized duality map.

The outline of the paper is as follows. In Sect. 2, we collect definitions and results which are needed for our further analysis. In Sect. 3, our implicit and explicit algorithms without involving a resolvent operator are introduced and analyzed, the strong convergence to a zero of the composed mapping AJ under concise parameters conditions is obtained. In addition, the main result is applied to the convex optimization problems and the solution of Hammerstein equation. Finally, some numerical experiments and a comparison with related algorithms are given to illustrate the performances of our new algorithms.

Preliminaries

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

Let E be a uniformly convex Banach space and $E^{\ast }$ be its dual space, let the normalized duality map J on E be defined as (1.2). Then the following properties of the normalized duality map hold (see, e.g., Alber [16], Cioranescu [23], Xu and Roach [24], Xu [25], Zălinescu [26]):

• (i)J is a monotone operator;
• (ii)if E is smooth, then J is single-valued;
• (iii)if E is reflexive, then J is onto;
• (iv)if E is uniformly smooth, then J is uniformly continuous on bounded subsets of E.

The space E is said to be smooth if ${\rho }_E(\tau )>0$ for all $\tau >0$, and the space E is said to be uniformly smooth if ${lim}_{\tau \to 0^{+}}\frac{{\rho }_E(\tau )}{\tau }=0$, where ${\rho }_E(\tau )$ is defined by

$${\rho }_E(\tau )=sup\{\frac{\parallel x+y\parallel -\parallel x-y\parallel }{2}-1;\parallel x\parallel =1,\parallel y\parallel =\tau \}.$$

Let $p>1$, the space E is said to be p-uniformly smooth if there exists a constant $c>0$ such that ${\rho }_E(\tau )\le c{\tau }^p$, $\tau >0$. It is well known that every p-uniformly smooth Banach space is uniformly smooth. Furthermore, from Alber [16], we can get that if E is 2-uniformly smooth, then there exists a constant $L_{\ast }>0$ such that

$$\parallel Jx-Jy\parallel \le L_{\ast }\parallel x-y\parallel ,\mathrm{\forall }x,y\in E.$$

A mapping $A:D(A)\subset E\to E^{\ast }$ is said to be monotone on a Banach space E if, for each $x,y\in D(A)$, the following inequality holds:

$$\langle x-y,Ax-Ay\rangle \ge 0.$$

A mapping $A:D(A)\subset E\to E^{\ast }$ is said to be Lipschitz continuous if there exists $L>0$ such that, for each $x,y\in D(A)$, the following inequality holds:

$${\parallel Ax-Ay\parallel }_{E^{\ast }}\le L{\parallel x-y\parallel }_E.$$

A mapping $f:E\to E$ is called contractive if there exists a constant $\rho \in (0,1)$ such that

$$\parallel f(x)-f(y)\parallel \le \rho \parallel x-y\parallel ,\mathrm{\forall }x,y\in E.$$

Let C be a nonempty closed convex subset of a uniformly convex Banach space E. A Banach limit μ is a bounded linear functional on $l^{\mathrm{\infty }}$ such that

$$inf\{x_n;n\in \mathbb{N}\}\le \mu (x)\le sup\{x_n;n\in \mathbb{N}\},\mathrm{\forall }x=\{x_n\}\in l^{\mathrm{\infty }},$$

and $\mu (x_n)=\mu (x_{n+1})$ for all $\{x_n\}\in l^{\mathrm{\infty }}$. Suppose that $\{x_n\}$ is a bounded sequence in E, then the real valued function φ on E defined by

$$\phi (y)=\mu {\parallel x_n-y\parallel }^2,\mathrm{\forall }y\in E,$$ 2.1

is convex and continuous, and $\phi (y)\to \mathrm{\infty }$ as $\parallel y\parallel \to \mathrm{\infty }$. If E is reflexive, there exists $z\in C$ such that $\phi (z)={min}_{y\in C}\phi (y)$ (see, e.g., Kamimura and Takahashi [27], Tan and Xu [28]), so we can define the set $C_{min}$ by

$$C_{min}=\{z\in C;\phi (z)=\underset{y\in C}{min}\phi (y)\}.$$ 2.2

It is easy to verify that $C_{min}$ is a nonempty, bounded, closed, and convex subset of E. The following lemma was proved in Takahashi [29].

Lemma 2.1

Let α be a real number, and $(x_0,x_1,\dots )\in l^{\mathrm{\infty }}$ such that $\mu (x_n)\le \alpha$ for all Banach limits. If ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty }}(x_{n+1}-x_n)\le 0$, then ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty }}{x}_n\le \alpha$.

Lemma 2.2

(see, e.g., Tan and Xu [28], Osilike and Aniagbosor [30])

Let $\{a_n\}$ be a sequence of nonnegative real numbers satisfying the following relation:

$$a_{n+1}\le (1-{\theta }_n)a_n+{\sigma }_n,n\ge 0,$$

where $\{{\theta }_n\}$ and $\{{\sigma }_n\}$ are real sequences such that

• (i)${lim}_{n\to \mathrm{\infty }}{\theta }_n=0$, ${\sum }_{n=1}^{\mathrm{\infty }}{\theta }_n=\mathrm{\infty }$;
• (ii)${lim}_{n\to \mathrm{\infty }}\frac{{\sigma }_n}{{\theta }_n}\le 0$ or ${\sum }_{n=0}^{\mathrm{\infty }}{\sigma }_n<\mathrm{\infty }$.

Then the sequence $\{a_n\}$ converges to 0.

Lemma 2.3

(see, e.g., Xu [12])

Let E be a real Banach space with dual $E^{\ast }$. Let $J:E\to E^{\ast }$ be the normalized duality map, then for all $x,y\in E$,

$${\parallel x+y\parallel }^2\le {\parallel x\parallel }^2+2\langle y,j(x+y)\rangle ,\mathrm{\forall }j(x+y)\in J(x+y).$$

Lemma 2.4

(Zegeye [1])

Let E be a uniformly convex and uniformly smooth Banach space. Assume that $A:E^{\ast }\to E$ is a maximal monotone mapping such that ${(AJ)}^{-1}(0)\ne \mathrm{\varnothing }$. Then, for any $u\in E$ and $t\in (0,1)$, the path $t\to x_t\in E$ defined by

$$x_t=tu+(1-t)(I-AJ)x_t,$$ 2.3

converges strongly to an element $z\in {(AJ)}^{-1}(0)$ as $t\to 0$.

Main results

We now show the strong convergence of our implicit and explicit algorithms.

Theorem 3.1

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $A:E^{\ast }\to E$ is an L-Lipschitz continuous monotone mapping such that ${(AJ)}^{-1}(0)\ne \mathrm{\varnothing }$ and $f:E\to E$ is a contraction with coefficient $\rho \in (0,1)$. Then the path $t\to x_t\in E$, defined by

$$x_t=tf(x_t)+(1-t)(I-\omega (t)AJ)x_t,$$ 3.1

converges strongly to an element $z\in {(AJ)}^{-1}(0)$ provided that ${lim}_{t\to 0}\frac{\omega (t)}{t}=0$.

Proof

Since E is 2-uniformly smooth, from Alber [16, 31], we have that J is $L_{\ast }$-Lipschitz continuous, noticing that A is L-Lipschitz continuous, therefore $I-AJ$ is Lipschitz continuous with constant $1+L{L}_{\ast }$.

First, we show that $x_t$ is well-defined. Since ${lim}_{t\to 0}\frac{\omega (t)}{t}=0$, for $\mathrm{\forall }\epsilon >0$, there exists $\delta >0$ such that, for all $t\in (0,\delta )$, the inequality $|\frac{\omega (t)}{t}|<\epsilon$ holds.

Without loss of generality, we take $\epsilon >0$ such that $\rho +\epsilon L{L}_{\ast }=b<1$, where b is a positive constant. Define an operator $T_t$ as $T_{t}x=f(x)-(1-t)\frac{\omega (t)}{t}AJx$, for $\mathrm{\forall }x,y\in E$, we can get

$$\begin{array}{rcl}\parallel T_{t}x-T_{t}y\parallel & =& \parallel f(x)-(1-t)\frac{\omega (t)}{t}AJx-f(y)+(1-t)\frac{\omega (t)}{t}AJy\parallel \\ & =& \parallel f(x)-f(y)-(1-t)\frac{\omega (t)}{t}(AJx-AJy)\parallel \\ & \le & \parallel f(x)-f(y)\parallel +|(1-t)\frac{\omega (t)}{t}|\parallel AJx-AJy\parallel \\ & \le & (\rho +\epsilon L{L}_{\ast })\parallel x-y\parallel \\ & =& b\parallel x-y\parallel ,\end{array}$$

which means that $T_t$ is a contraction. Therefore, by the Banach contraction principle, there exists a unique fixed point of $T_t$ denoted by $x_t$. That is, $x_t=tf(x_t)+(1-t)(I-\omega (t)AJ)x_t$, so $x_t$ is well-defined.

Next we shall show that $x_t$ is bounded as ${lim}_{t\to 0}\frac{\omega (t)}{t}=0$. For $x^{\ast }\in {(AJ)}^{-1}(0)$, we have the following estimation:

$$\begin{array}{rcl}\parallel x_t-x^{\ast }\parallel & =& \parallel f(x_t)-x^{\ast }-(1-t)\frac{\omega (t)}{t}(AJ{x}_t-AJ{x}^{\ast })\parallel \\ & \le & \parallel f(x_t)-f\left(x^{\ast }\right)\parallel +\parallel f\left(x^{\ast }\right)-x^{\ast }\parallel +(1-t)\frac{\omega (t)}{t}L{L}_{\ast }\parallel x_t-x^{\ast }\parallel \\ & \le & (\rho +\epsilon L{L}_{\ast })\parallel x_t-x^{\ast }\parallel +\parallel f\left(x^{\ast }\right)-x^{\ast }\parallel ,\end{array}$$

hence,

$$\parallel x_t-x^{\ast }\parallel \le \frac{1}{1-b}\parallel f\left(x^{\ast }\right)-x^{\ast }\parallel ,t\in (0,\delta ),$$

which means that $x_t$ is bounded as $t\to 0$, therefore is $f(x_t)$.

On the other hand, for arbitrary $u\in E$, (3.1) can be rewritten as

$$x_t=tu+(1-t)(I-AJ)x_t+t(f(x_t)-u)+(1-t)(1-\omega (t))AJ{x}_t,$$

hence,

$$(1-t)(1-\omega (t))AJ{x}_t=x_t-tu-(1-t)(I-AJ)x_t-t(f(x_t)-u),$$

which means that $x_t$ converges strongly to an element $z\in {(AJ)}^{-1}(0)$ as ${lim}_{t\to 0}\frac{\omega (t)}{t}=0$ according to Lemma 2.4. The proof is complete. □

For the rest of the paper, $\{{\alpha }_n\}$ and $\{{\omega }_n\}$ are real sequences in $(0,1)$ satisfying the following conditions:

(C1)

${lim}_{n\to \mathrm{\infty }}{\alpha }_n=0$, ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_n=\mathrm{\infty }$; ${lim}_{n\to \mathrm{\infty }}\frac{{\omega }_n}{{\alpha }_n}=0$ and ${\sum }_{n=0}^{\mathrm{\infty }}{\omega }_n<\mathrm{\infty }$;

(C2)

f is a piecewise function: $f(x^{\ast })=x^{\ast }$ if $x^{\ast }\in {(AJ)}^{-1}(0)$; otherwise $f(x^{\ast })$ is a contractive function with coefficient ρ.

Theorem 3.2

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $A:E^{\ast }\to E$ is an L-Lipschitz continuous monotone mapping such that $C_{min}\cap {(AJ)}^{-1}(0)\ne \mathrm{\varnothing }$ and $f:E\to E$ is a piecewise function defined as (C2). Then, for any $x_0\in E$, the sequence $\{x_n\}$, defined by

$$x_{n+1}={\alpha }_{n}f(x_n)+(1-{\alpha }_n)(I-{\omega }_{n}AJ)x_n,$$ 3.2

converges strongly to an element $z\in {(AJ)}^{-1}(0)$.

Proof

According to the definition of f, it is obvious that if $x_n\in {(AJ)}^{-1}(0)$ then we stop the iteration. Otherwise, we set $n:=n+1$ and return to iterative step (3.2).

The proof includes three steps.

Step 1: First we prove that $\{x_n\}$ is bounded. Since ${\alpha }_n\to 0$ and ${lim}_{n\to \mathrm{\infty }}\frac{{\omega }_n}{{\alpha }_n}=0$ as $n\to \mathrm{\infty }$, there exists $N_0>0$ such that ${\alpha }_n\le \frac{1}{6}$, $\frac{{\omega }_n}{{\alpha }_n}\le \frac{1}{6L{L}_{\ast }}$, $\mathrm{\forall }n>N_0$. We take $x^{\ast }\in {(AJ)}^{-1}(0)$ or $J{x}^{\ast }\in A^{-1}(0)$. Let $r>0$ be sufficiently large such that $x_{N_0}\in B_r(x^{\ast })$ and $f(x_{N_0})\in B_{\frac{r}{6}}(x^{\ast })$.

We show that $\{x_n\}$ belongs to $B:=\overline{B_r(x^{\ast })}$ for all integers $n\ge N_0$. First, it is clear by construction that $x_{N_0}\in B$. Assuming now that, for an arbitrary $n>N_0$, $x_n\in B$, we prove that $x_{n+1}\in B$.

If $x_{n+1}$ does not belong to B, then we have $\parallel x_{n+1}-x^{\ast }\parallel >r$. From the recurrence (3.2) we obtain that

$$x_{n+1}-x_n={\alpha }_{n}f(x_n)+(1-{\alpha }_n)(I-{\omega }_{n}AJ)x_n-x_n.$$

Thus,

$$x_{n+1}-x_n={\alpha }_n(f(x_n)-x_n)-(1-{\alpha }_n){\omega }_{n}AJ{x}_n.$$ 3.3

Therefore, from (3.3) and Lemma 2.3 and the fact that $x_{n+1}-x^{\ast }=x_{n+1}-x_n+x_n-x^{\ast }$,

$$\begin{array}{rcl}{\parallel x_{n+1}-x^{\ast }\parallel }^2& =& {\parallel x_{n+1}-x_n+x_n-x^{\ast }\parallel }^2\\ & \le & {\parallel x_n-x^{\ast }\parallel }^2+2\langle x_{n+1}-x_n,j(x_{n+1}-x^{\ast })\rangle \\ & =& {\parallel x_n-x^{\ast }\parallel }^2+2\langle {\alpha }_n(f(x_n)-x_n)-(1-{\alpha }_n){\omega }_{n}AJ{x}_n,j(x_{n+1}-x^{\ast })\rangle \\ & =& {\parallel x_n-x^{\ast }\parallel }^2+2\langle {\alpha }_n(f(x_n)-x_n)-(1-{\alpha }_n){\omega }_{n}AJ{x}_n\\ & & +{\alpha }_n(x_{n+1}-x^{\ast })-{\alpha }_n(x_{n+1}-x^{\ast }),j(x_{n+1}-x^{\ast })\rangle \\ & =& {\parallel x_n-x^{\ast }\parallel }^2-2{\alpha }_n{\parallel x_{n+1}-x^{\ast }\parallel }^2+2\langle {\alpha }_n(f(x_n)-x_n)\\ & & -(1-{\alpha }_n){\omega }_{n}AJ{x}_n+{\alpha }_n(x_{n+1}-x^{\ast }),j(x_{n+1}-x^{\ast })\rangle \\ & =& {\parallel x_n-x^{\ast }\parallel }^2-2{\alpha }_n{\parallel x_{n+1}-x^{\ast }\parallel }^2+2\langle {\alpha }_n(f(x_n)-x^{\ast })+{\alpha }_n(x_{n+1}-x_n)\\ & & -(1-{\alpha }_n){\omega }_{n}AJ{x}_n,j(x_{n+1}-x^{\ast })\rangle ,\end{array}$$

that is,

$$\begin{array}{rcl}{\parallel x_{n+1}-x^{\ast }\parallel }^2& \le & {\parallel x_n-x^{\ast }\parallel }^2-2{\alpha }_n{\parallel x_{n+1}-x^{\ast }\parallel }^2+2\langle {\alpha }_n(f(x_n)-x^{\ast })+{\alpha }_n^2(f(x_n)-x_n)\\ & & -{\alpha }_n(1-{\alpha }_n){\omega }_{n}AJ{x}_n-(1-{\alpha }_n){\omega }_{n}AJ{x}_n,j(x_{n+1}-x^{\ast })\rangle \\ & \le & {\parallel x_n-x^{\ast }\parallel }^2-2{\alpha }_n{\parallel x_{n+1}-x^{\ast }\parallel }^2+2\langle {\alpha }_n(f(x_n)-x^{\ast })+{\alpha }_n^2(f(x_n)-x^{\ast })\\ & & -{\alpha }_n^2(x_n-x^{\ast })-(1-{\alpha }_n^2){\omega }_{n}AJ{x}_n,j(x_{n+1}-x^{\ast })\rangle \\ & \le & {\parallel x_n-x^{\ast }\parallel }^2-2{\alpha }_n{\parallel x_{n+1}-x^{\ast }\parallel }^2+2[2{\alpha }_n\parallel f(x_n)-x^{\ast }\parallel +{\alpha }_n^2\parallel x_n-x^{\ast }\parallel \\ & & +(1-{\alpha }_n^2){\omega }_n\parallel AJ{x}_n-AJ{x}^{\ast }\parallel ]\parallel x_{n+1}-x^{\ast }\parallel .\end{array}$$

Since $\parallel x_{n+1}-x^{\ast }\parallel >\parallel x_n-x^{\ast }\parallel$ and A is L-Lipschitz and J is $L_{\ast }$-Lipschitz continuous respectively, thus we get

$${\alpha }_n\parallel x_{n+1}-x^{\ast }\parallel \le 2{\alpha }_n\parallel f(x_n)-x^{\ast }\parallel +{\alpha }_n^2\parallel x_n-x^{\ast }\parallel +2(1-{\alpha }_n){\omega }_{n}L{L}_{\ast }\parallel x_n-x^{\ast }\parallel .$$

Furthermore,

$$\begin{array}{rcl}\parallel x_{n+1}-x^{\ast }\parallel & \le & 2\parallel f(x_n)-x^{\ast }\parallel +{\alpha }_n\parallel x_n-x^{\ast }\parallel +2(1-{\alpha }_n)\frac{{\omega }_n}{{\alpha }_n}L{L}_{\ast }\parallel x_n-x^{\ast }\parallel \\ & \le & 2\ast \frac{r}{6}+\frac{r}{3}+2\ast \frac{1}{6L{L}_{\ast }}L{L}_{\ast }r\le r.\end{array}$$

This is contradiction. Consequently, we can get that $\{x_n\}$ belongs to B for all integers $n\ge N_0$, which implies that the sequence $\{x_n\}$ is bounded, so are the sequences $\{f(x_n)\}$ and $\{AJ{x}_n\}$.

Moreover, it is easy to see that $\parallel x_{n+1}-x_n\parallel \to 0$ because ${\alpha }_n\to 0$ and ${\omega }_n=o({\alpha }_n)$,

$$\parallel x_{n+1}-x_n\parallel \le {\alpha }_n\parallel f(x_n)-x_n\parallel +(1-{\alpha }_n){\omega }_n\parallel AJ{x}_n\parallel \to 0.$$

Step 2: We show that ${lim}_{n\to \mathrm{\infty }}sup\langle z-f(x_n),j(z-x_{n+1})\rangle \le 0$, where $z\in C_{min}\cap {(AJ)}^{-1}(0)$.

Since the sequences $\{x_n\}$ and $\{f(x_n)\}$ are bounded, there exists $R>0$ sufficiently large such that $f(x_n)$, $x_n\in B_1:=\overline{B_R(z)}$, $\mathrm{\forall }n\in \mathbb{N}$. Furthermore, the set $B_1$ is a bounded closed and convex nonempty subset of E. By the convexity of $B_1$, we have that $(1-t)z+tf(x_n)\in B_1$. Then it follows from the definition of φ that $\phi (z)\le \phi ((1-t)z+tf(x_n))$. Using Lemma 2.3, we have that

$${\parallel x_n-z-t(f(x_n)-z)\parallel }^2\le {\parallel x_n-z\parallel }^2-2t\langle f(x_n)-z,j(x_n-z-t(f(x_n)-z))\rangle ,$$

thus taking Banach limit over $n\ge 1$,

$$\mu {\parallel x_n-z-t(f(x_n)-z)\parallel }^2\le \mu {\parallel x_n-z\parallel }^2-2t\mu \langle f(x_n)-z,j(x_n-z-t(f(x_n)-z))\rangle ,$$

which means that

$$\begin{array}{rcl}2t\mu \langle f(x_n)-z,j(x_n-z-t(f(x_n)-z))\rangle & \le & \mu {\parallel x_n-z\parallel }^2-\mu {\parallel x_n-z-t(f(x_n)-z)\parallel }^2\\ & =& \phi (z)-\phi (z+t(f(x_n)-z))\le 0,\end{array}$$

that is,

$$\mu \langle f(x_n)-z,j(x_n-z-t(f(x_n)-z))\rangle \le 0.$$

By using the weak lower semi-continuity of the norm on E, we get the following as $t\to 0$:

$$\langle f(x_n)-z,j(x_n-z)\rangle -\langle f(x_n)-z,j(x_n-z-t(f(x_n)-z))\rangle \to 0.$$

Thus, for $\mathrm{\forall }\epsilon >0$, there exists $\delta >0$ such that $t\in (0,\delta )$, $n\ge 1$

$$\langle f(x_n)-z,j(x_n-z)\rangle <\langle f(x_n)-z,j(x_n-z-t(f(x_n)-z))\rangle +\epsilon ,$$

therefore,

$$\mu \langle f(x_n)-z,j(x_n-z)\rangle <\mu \langle f(x_n)-z,j(x_n-z-t(f(x_n)-z))\rangle +\epsilon .$$

In view of the arbitrariness of ε, we have that

$$\mu \langle f(x_n)-z,j(x_n-z)\rangle \le 0.$$

From the norm-to-weak* uniform continuity of J on each bounded subset of E, we have that

$$\underset{n\to \mathrm{\infty }}{lim}(\langle f(x_n)-z,j(x_{n+1}-z)\rangle -\langle f(x_n)-z,j(x_n-z)\rangle )=0.$$

Thus, the sequence $\{\langle f(x_n)-z,j(x_n-z)\rangle \}$ satisfies the condition of Lemma 2.1, so we have that

$$\underset{n\to \mathrm{\infty }}{lim\hspace{0.17em}sup}\langle f(x_n)-z,j(x_{n+1}-z)\rangle \le 0.$$ 3.4

Step 3: Next we show that $\parallel x_{n+1}-z\parallel \to 0$.

From (3.2), (3.3) and Lemma 2.3 we have that

$$\begin{array}{rcl}{\parallel x_{n+1}-z\parallel }^2& =& {\parallel x_{n+1}-x_n+x_n-z\parallel }^2\\ & =& {\parallel x_n-z+{\alpha }_n(f(x_n)-x_n)-(1-{\alpha }_n){\omega }_{n}AJ{x}_n\parallel }^2\\ & =& {\parallel (1-{\alpha }_n)(x_n-z)+{\alpha }_n(f(x_n)-z)-(1-{\alpha }_n){\omega }_{n}AJ{x}_n\parallel }^2\\ & \le & {(1-{\alpha }_n)}^2{\parallel x_n-z\parallel }^2+2\langle {\alpha }_n(f(x_n)-z)-(1-{\alpha }_n){\omega }_{n}AJ{x}_n,j(x_{n+1}-z)\rangle .\end{array}$$

In view of the fact that the sequence $\{x_n\}$ is bounded, without loss of generality, we assume that $M:=sup\{\parallel x_n-z\parallel \}$, therefore,

$$\begin{array}{rcl}{\parallel x_{n+1}-z\parallel }^2& \le & {(1-{\alpha }_n)}^2{\parallel x_n-z\parallel }^2+2\langle {\alpha }_n(f(x_n)-z)-(1-{\alpha }_n){\omega }_{n}AJ{x}_n,j(x_{n+1}-z)\rangle \\ & =& (1-{\alpha }_n){\parallel x_n-z\parallel }^2+2\langle {\alpha }_n(f(x_n)-z),j(x_{n+1}-z)\rangle \\ & & +2(1-{\alpha }_n){\omega }_n\parallel AJz-AJ{x}_n\parallel \parallel x_{n+1}-z\parallel \\ & \le & (1-{\alpha }_n){\parallel x_n-z\parallel }^2+{\sigma }_n,\end{array}$$

where ${\sigma }_n=2{\alpha }_n\langle (f(x_n)-z),j(x_{n+1}-z)\rangle +2{\omega }_{n}L{L}_{\ast }{M}^2$.

From Lemma 2.2 and (3.4) we shall obtain that

$$\underset{n\to \mathrm{\infty }}{lim}\parallel x_n-z\parallel =0,$$

which means that the consequence $\{x_n\}$ converges strongly to z. The proof is complete. □

Theorem 3.3

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $A:E^{\ast }\to E$ is an L-Lipschitz continuous monotone mapping such that $C_{min}\cap {(AJ)}^{-1}(0)\ne \mathrm{\varnothing }$. Then, for any $x_0\in E$, the sequence $\{x_n\}$ defined by

$$x_{n+1}={\alpha }_n{x}_n+(1-{\alpha }_n)(I-{\omega }_{n}AJ)x_n$$ 3.5

converges strongly to an element $z\in {(AJ)}^{-1}(0)$.

Proof

Similar to the proof in Theorem 3.2, we can obtain that the sequences $\{x_n\}$ and $\{AJ{x}_n\}$ are bounded. Furthermore, we have that ${lim}_{n\to \mathrm{\infty }}sup\langle x_n-z,j(x_{n+1}-z)\rangle \le 0$, where $z\in C_{min}\cap {(AJ)}^{-1}(0)$.

In addition, the recurrence (3.5) can be rewritten as

$$x_{n+1}=x_n-(1-{\alpha }_n){\omega }_{n}AJ{x}_n.$$

It is easy to see that $\parallel x_{n+1}-x_n\parallel =(1-{\alpha }_n){\omega }_n\parallel AJ{x}_n\parallel \to 0$ as ${\alpha }_n\to 0$.

From the recursion (3.5) and Lemma 2.4 we have that

$$\begin{array}{rcl}{\parallel x_{n+1}-z\parallel }^2& =& {\parallel (1-{\alpha }_n)(x_n-z)+{\alpha }_n(x_n-z)-(1-{\alpha }_n){\omega }_{n}AJ{x}_n\parallel }^2\\ & \le & {(1-{\alpha }_n)}^2{\parallel x_n-z\parallel }^2+2{\alpha }_n\langle x_n-z,j(x_{n+1}-z)\rangle \\ & & -2(1-{\alpha }_n){\omega }_n\langle AJ{x}_n,j(x_{n+1}-z)\rangle \\ & \le & (1-{\alpha }_n){\parallel x_n-z\parallel }^2+2{\alpha }_n\langle x_n-z,j(x_{n+1}-z)\rangle +2(1-{\alpha }_n){\omega }_{n}L{L}_{\ast }{M}^2\\ & \le & (1-{\alpha }_n){\parallel x_n-z\parallel }^2+2{\alpha }_n\langle x_n-z,j(x_{n+1}-z)\rangle +2{\omega }_{n}L{L}_{\ast }{M}^2,\end{array}$$

where $M:=sup\{\parallel x_n-z\parallel \}$. It follows from Lemma 2.2 that ${lim}_{n\to \mathrm{\infty }}\parallel x_n-z\parallel =0$, which means that the sequence $\{x_n\}$ converges strongly to an element $z\in {(AJ)}^{-1}(0)$. The proof is complete. □

According to Zegeye [1] and Liu [32], for a mapping $T:E\to E^{\ast }$, a point $x^{\ast }\in E$ is called a J-fixed point of T if and only if $T{x}^{\ast }=J{x}^{\ast }$ and T is called semi-pseudo if and only if $A:=J-T$ is monotone. We can observe that a zero point of A is the J-fixed point of a semi-pseudo mapping. If E is a Hilbert space, the semi-pseudo mapping and the J-fixed point coincide with a pseudo-contractive mapping and a fixed point of pseudo-contraction, respectively. In the case that the semi-pseudo mapping T is from $E^{\ast }$ to E, we have that $AJ:=(J^{-1}-T)J$ is monotone and the J-fixed point set is denoted by $F_J(T)=\{x\in E,x=TJx\}$. We have the following corollaries for semi-pseudo mappings from $E^{\ast }$ to E.

Corollary 3.4

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $T:E^{\ast }\to E$ is an L-Lipschitz continuous semi-pseudo mapping such that $C_{min}\cap F_J(T)\ne \mathrm{\varnothing }$ and $f:E\to E$ is a piecewise function defined as (C2). Then, for any $x_0\in E$, the sequence $\{x_n\}$ defined by

$$x_{n+1}={\alpha }_{n}f(x_n)+(1-{\alpha }_n)((1-{\omega }_n)I+{\omega }_{n}TJ)x_n$$

converges strongly to an element $z\in F_J(T)$.

Corollary 3.5

(Zegeye [1])

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $A:E^{\ast }\to E$ is an L-Lipschitz continuous monotone mapping such that $C_{min}\cap {(AJ)}^{-1}(0)\ne \mathrm{\varnothing }$. Then, for any $u\in E$, the sequence $x_n$ defined by

$$x_{n+1}={\alpha }_{n}u+(1-{\alpha }_n)(I-{\omega }_{n}AJ)x_n$$

converges strongly to an element $z\in {(AJ)}^{-1}(0)$.

Proof

Take $f(x)\equiv u$ in Theorem 3.2, the result is obtained. □

If we change the role of E and $E^{\ast }$, then we shall obtain the following results.

Theorem 3.6

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $A:E\to E^{\ast }$ is an L-Lipschitz continuous monotone mapping such that $C_{min}\cap {(A{J}^{-1})}^{-1}(0)\ne \mathrm{\varnothing }$. Then, for any $x_0\in E$, the sequence $\{x_n\}$ defined by

$$x_{n+1}=J^{-1}({\alpha }_{n}J{x}_n+(1-{\alpha }_n)(J-{\omega }_{n}A)x_n),n\ge 1,$$

converges strongly to an element $z\in {(A{J}^{-1})}^{-1}(0)$.

Theorem 3.7

(Zegeye [1])

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $A:E\to E^{\ast }$ is an L-Lipschitz continuous monotone mapping such that $C_{min}\cap {(A{J}^{-1})}^{-1}(0)\ne \mathrm{\varnothing }$. Then, for any $u\in E$, the sequence $\{x_n\}$ defined by

$$x_{n+1}=J^{-1}({\alpha }_{n}Ju+(1-{\alpha }_n)(J-{\omega }_{n}A)x_n),n\ge 1,$$

converges strongly to an element $z\in {(A{J}^{-1})}^{-1}(0)$.

We give below two examples in order to show that the conditions of explicit iterative Algorithm (3.2) are easily satisfied.

Example 1

We take the parameters as follows:

$${\alpha }_n=\frac{1}{{(n+1)}^p},{\omega }_n=\frac{1}{n{(n+1)}^p},(0<p\le 1).$$

It is easy to verify that

1. ${lim}_{n\to \mathrm{\infty }}{\alpha }_n=0$, ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_n=\mathrm{\infty }$;

2. ${lim}_{n\to \mathrm{\infty }}\frac{{\omega }_n}{{\alpha }_n}=0$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\omega }_n<\mathrm{\infty }$.

Example 2

We take the parameters as follows:

$${\alpha }_n=\frac{1}{{ln}^p(n+1)},{\omega }_n=\frac{1}{n{ln}^p(n+1)},(0<p\le 1).$$

It is easy to verify that

1. ${lim}_{n\to \mathrm{\infty }}{\alpha }_n=0$, ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_n=\mathrm{\infty }$;

2. ${lim}_{n\to \mathrm{\infty }}\frac{{\omega }_n}{{\alpha }_n}=0$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\omega }_n<\mathrm{\infty }$.

Applications

In this section, we consider the constrained convex minimization problems and the solution of Hammerstein integral equations as the applications of our main result which is proposed in Sect. 3.

Application to constrained convex minimization problems

In this subsection, we will consider the following minimization problem:

$$\underset{x\in C}{min}h(x),$$ 4.1

where C is a nonempty closed convex subset of E, and $h:C\to R$ is a real-valued convex function. Assume that problem (4.1) is consistent (i.e., its solution set is nonempty). According to Diop et al. [21], $x\in E$ is a minimizer of h if and only if $0\in \partial h(x)$.

Lemma 4.1

Let E be a real normed smooth space and $h:E\to \mathbb{R}$ be a differential convex function. Assume that the function h is bounded, then the sub-differential map $\partial h:E\to \mathbb{R}$ is bounded and the following inequality holds:

$$\langle \partial h(x)-\partial h(y),x-y\rangle \ge \langle Jx-Jy,x-y\rangle ,\mathrm{\forall }x,y\in E.$$

Proof

Define $g:=h-\frac{1}{2}{\parallel \cdot \parallel }^2$, then $h=g+\frac{1}{2}{\parallel \cdot \parallel }^2$. Since h and ${\parallel \cdot \parallel }^2$ are differential, so g is differential and the sub-differential of g is denoted by $\partial g=\partial h-J$. Let $x\in E$, we can get from the definition of ∂g that

$$g(y)-g(x)\ge \langle y-x,\partial g(x)\rangle ,\mathrm{\forall }y\in E,$$

which means that

$$h(y)-\frac{1}{2}{\parallel y\parallel }^2-h(x)+\frac{1}{2}{\parallel x\parallel }^2\ge \langle y-x,\partial h(x)-Jx\rangle ,\mathrm{\forall }y\in E.$$ 4.2

Exchanging x and y in the above inequality (4.2), we have that

$$h(x)-\frac{1}{2}{\parallel x\parallel }^2-h(y)+\frac{1}{2}{\parallel y\parallel }^2\ge \langle x-y,\partial h(y)-Jy\rangle ,\mathrm{\forall }x\in E.$$ 4.3

Adding the above inequalities (4.2) and (4.3), we get that

$$\langle \partial h(x)-\partial h(y),x-y\rangle \ge \langle x-y,Jx-Jy\rangle .$$

This completes the proof. □

Remark 4.2

From Lemma 4.1, the sub-differential ∂h is monotone, we can also get that $T=J-\partial h$ is a semi-pseudo mapping from E to $E^{\ast }$.

Consequently, the following theorems are obtained.

Theorem 4.3

Let E be a uniformly convex and 2-uniformly smooth real Banach space. Assume that $h:E\to \mathbb{R}$ is a proper, convex, bounded, and coercive function such that $C_{min}\cap {(\partial hJ)}^{-1}(0)\ne \mathrm{\varnothing }$ and $f:E\to E$ is a piecewise function defined as (C2). Then, for any $x_0\in E$, the sequence $\{x_n\}$ defined by

$$x_{n+1}={\alpha }_{n}f(x_n)+(1-{\alpha }_n)(I-{\omega }_n\partial hJ)x_n,n\ge 1,$$

converges strongly to an element $x^{\ast }\in {(\partial hJ)}^{-1}(0)$, that is, $J{x}^{\ast }\in {(\partial h)}^{-1}(0)$. Then function h has a unique minimizer $J{x}^{\ast }\in E^{\ast }$ and the sequence $\{x_n\}$.

Theorem 4.4

Let E be a uniformly convex and 2-uniformly smooth real Banach space. Assume that $h:E\to \mathbb{R}$ is a proper, convex, bounded, and coercive function such that $C_{min}\cap {(\partial hJ)}^{-1}(0)\ne \mathrm{\varnothing }$. Then, for any $x_0\in E$, the sequence $\{x_n\}$ defined by

$$x_{n+1}={\alpha }_n{x}_n+(1-{\alpha }_n)(I-{\omega }_n\partial hJ),n\ge 1,$$

converges strongly to an element $x^{\ast }\in {(\partial hJ)}^{-1}(0)$, that is, $J{x}^{\ast }\in {(\partial h)}^{-1}(0)$.

Application to solution of Hammerstein integral equations

An integral equation (generally nonlinear) of Hammerstein type has the form

$$u(x)+{\int }_{\mathrm{\Omega }}k(x,y)f(y,u(y))=w(x),$$ 4.4

where the unknown function u and the inhomogeneous function w lie in a Banach space E of measurable real-valued functions.

By simple transformation, (4.4) shall be written as

$$u+KFu=w,$$

which can be illustrated, without loss of generality, as

$$u+KFu=0.$$ 4.5

For the case of a real Hilbert space H, for $F,K:H\to H$, Chidume and Zegeye [33] defined an auxiliary map on the Cartesian product $E:=H\times H$, $T:E\to E$ by

$$T[u,v]=[Fu-v,Kv+u].$$

It is known that

$$T[u,v]=0\iff u\text{ is the solution of (4.5) and }v=Fu.$$

They obtained strong convergence of an iterative algorithm defined in the Cartesian product space E to a solution of Hammerstein Eq. (4.5).

In a Banach space more general than a Hilbert space, Zegeye [34], Chidume and Idu [35] introduced the operator $T:E\times E^{\ast }\to E^{\ast }\times E$:

$$T[u,v]=[Ju-Fu+v,J_{\ast }v-Kv-u],$$

where $F:E\to E^{\ast }$ and $K:E^{\ast }\to E$ are monotone mappings and $J_{\ast }$ is the normalized duality map from $E^{\ast }$ to E. They proved that the mapping $A:=J-T$ defined by $A[u,v]:=[Fu-v,Kv+u]$ is monotone and $u^{\ast }$ is a solution (when they exist) of the Hammerstein equation $u+KFu=0$ if and only if $(u^{\ast },v^{\ast })$ is a zero point of A, where $v^{\ast }=F{u}^{\ast }$. Applying our Theorem 3.2, the following theorems shall be obtained.

Theorem 4.5

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $F:E\to E^{\ast }$, $K:E^{\ast }\to E$ are Lipschitz continuous monotone mappings such that Hammerstein Eq. (4.5) is solvable and $f_1:E\to E$, $f_2:E^{\ast }\to E^{\ast }$ are two piecewise functions defined as (C2). Then, for $(u_0,v_0)\in E\times E^{\ast }$, the sequences $\{u_n\}$ and $\{v_n\}$ defined by

$$\begin{array}{rl}& u_{n+1}={\alpha }_n{f}_1(u_n)+(1-{\alpha }_n)(u_n-{\omega }_n{J}_{\ast }(F{u}_n-v_n)),\\ & v_{n+1}={\alpha }_n{f}_2(v_n)+(1-{\alpha }_n)(v_n-{\omega }_{n}J(K{v}_n+u_n)),\end{array}$$

converge strongly to $u^{\ast }$ and $v^{\ast }$, respectively, where $u^{\ast }$ is a solution of $u+KFu=0$ with $v^{\ast }=F{u}^{\ast }$.

Theorem 4.6

Let E be a uniformly convex and 2-uniformly smooth Banach space. Assume that $F:E\to E^{\ast }$, $K:E^{\ast }\to E$ are Lipschitz continuous monotone mappings such that Hammerstein Eq. (4.5) is solvable. Then, for $(u_0,v_0)\in E\times E^{\ast }$, the sequences $\{u_n\}$ and $\{v_n\}$, defined by

$$\begin{array}{rl}& u_{n+1}={\alpha }_n{u}_n+(1-{\alpha }_n)(u_n-{\omega }_n{J}_{\ast }(F{u}_n-v_n)),\\ & v_{n+1}={\alpha }_n{v}_n+(1-{\alpha }_n)(v_n-{\omega }_{n}J(K{v}_n+u_n)),\end{array}$$

converge strongly to $u^{\ast }$ and $v^{\ast }$, respectively, where $u^{\ast }$ is a solution of $u+KFu=0$ with $v^{\ast }=F{u}^{\ast }$.

Numerical example

In the sequel, we give a numerical example to illustrate the applicability, effectiveness, efficiency, and stability of our viscosity iterative algorithm (VIA). We have written all the codes in Matlab R2016b and they are preformed on a LG dual core personal computer.

Numerical behavior of VIA

Example

Let $E=\mathbb{R}$, $C=E$. Let $A,J:\mathbb{R}\to \mathbb{R}$ be the mappings defined as

$$Ax=ax,Jx=x,$$

$f:C\to C$ be defined as

$$f(x)=\{\begin{array}{cc}\frac{x}{2},\hfill & Ax\ne 0,\hfill \\ x,\hfill & \text{if }Ax=0.\hfill \end{array}$$

Thus, for $x,y\in \mathbb{R}$, we have

$$\begin{array}{c}\begin{array}{rl}\parallel Ax-Ay\parallel & =\parallel ax-ay\parallel \\ & \le |a|\ast \parallel x-y\parallel ,\end{array}\hfill \\ \parallel Jx-Jy\parallel =\parallel x-y\parallel .\hfill \end{array}$$

Hence, A is $|a|$-Lipschitz continuous monotone, J is 1-Lipschitz continuous.

Two groups of consequences of parameters are tested here as follows:

Case I: ${\alpha }_n=\frac{1}{{(n+1)}^p}$, ${\omega }_n=\frac{1}{n{(n+1)}^p}$, $p\in [1/8,1/4,1/3,1/2,1]$;

Case II: ${\alpha }_n=\frac{1}{{ln}^p(n+1)}$, ${\omega }_n=\frac{1}{n{ln}^p(n+1)}$, $p\in [1/8,1/4,1/3,1/2,1]$.

We can see that all these parameters satisfy the conditions:

• (i)${lim}_{n\to \mathrm{\infty }}{\alpha }_n=0$, ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_n=\mathrm{\infty }$;
• (ii)${\omega }_n=o({\alpha }_n)$, ${\sum }_{n=1}^{\mathrm{\infty }}{\omega }_n<\mathrm{\infty }$.

We will use the sequence $D_n={10}^8\times {\parallel x_{n+1}-x_n\parallel }^2$ to study the convergence of our explicit viscosity iterative algorithm (VIA). The convergence of $D_n$ to 0 implies that the sequence $\{x_n\}$ converges to $x^{\ast }\in {(AJ)}^{-1}(0)$. To illustrate the behavior of the algorithm, we have performed experiments for both number of iterations (iter.) and elapsed execution time (CPU time—in the second). Figures 1–18 and Table 1 describe the behavior of $D_n$ generated by VIA for the aforementioned groups of parameters. It is obvious that if $x_n\in {(AJ)}^{-1}(0)$, then the process stops and $x_n$ is the solution of problem $0\in AJu$; otherwise, we shall compute the following viscosity algorithm:

$$x_{n+1}=\frac{{\alpha }_n{x}_n}{2}+(1-{\alpha }_n)(x_n-a{\omega }_n{x}_n),$$

where a is different choices from $[\frac{1}{100},\frac{1}{2},2]$.

Figure 2.

Case I, $a=\frac{1}{100}$, $p=\frac{1}{3}$

Figure 3.

Case I, $a=\frac{1}{2}$, $p=\frac{1}{2}$

Figure 4.

Case I, $a=\frac{1}{2}$, $p=\frac{1}{4}$

Figure 5.

Case I, $a=\frac{1}{2}$, $p=\frac{1}{8}$

Figure 6.

Case I, $a=2$, $p=\frac{1}{3}$

Figure 7.

Case I, $a=2$, $p=\frac{1}{4}$

Figure 8.

Case I, $a=2$, $p=2$

Figure 9.

Case I, $a=\frac{1}{100}$, $p=2$

Figure 10.

Case I, $a=\frac{1}{100}$, $p=\frac{1}{4}$

Figure 11.

Case II, $a=\frac{1}{100}$, $p=\frac{1}{3}$

Figure 12.

Case II, $a=2$, $p=1$

Figure 13.

Case II, $a=\frac{1}{2}$, $p=\frac{1}{4}$

Figure 14.

Case II, $a=2$, $p=\frac{1}{8}$

Figure 15.

Case II, $a=\frac{1}{2}$, $p=1$

Figure 16.

Case II, $a=\frac{1}{100}$, $p=\frac{1}{2}$

Figure 17.

Case II, $a=2$, $p=\frac{1}{3}$

Figure 1.

Case I, $a=\frac{1}{100}$, $p=\frac{1}{2}$

Figure 18.

Case II, $a=\frac{1}{100}$, $p=\frac{1}{8}$

Table 1.

Algorithm (VIA) with different group of parameters

	a	0.01	0.5	0.99
p = 1
Case I	No. Iterations	10	10	12
	CPU (time)	0.047	0.047	0.055
Case II	No. Iterations	10	10	12
	CPU (time)	0.044	0.048	0.045
p = 2
Case I	No. of Iterations	10	10	12
	CPU (time)	0.056	0.058	0.062
Case II	No. Iterations	10	10	12
	CPU (time)	0.068	0.055	0.052

In these figures, x-axes represent the number of iterations while y-axes represent the value of $D_n$. We can summarize the following observations from these figures:

1. The rate of $D_n={10}^{10}\times {\parallel x_{n+1}-x_n\parallel }^2$ generated by our algorithm (VIA) depends strictly on the convergence rate of parameter $\{{\alpha }_n\}$ and the Lipschitz coefficient of a continuous monotone operator.

2. Our viscosity iterative algorithm (VIA) works well for parameter sequences of $\{{\alpha }_n\}$ being fast convergent to 0 as $n\to \mathrm{\infty }$. In general, if $D_n={\parallel x_{n+1}-x_n\parallel }^2$, then the error of $D_n$ can be obtained approximately equal to 10⁻¹⁶. When $D_n$ obtains to this error, then it becomes unstable. The best error of $D_n$ can be obtained approximately equal to 10⁻³⁰ when $a=2$.

3. For the second group parameter $\{{\alpha }_n\}$ being slowly convergent to 0 as $n\to \mathrm{\infty }$, then $D_n$ is slightly increasing in the early iterations, and after that, it is seen to be almost stable.

Comparison of VIA with other algorithms

In this part, we present several experiments in comparison with other algorithms. Two methods used in comparison are the generalized Mann iteration method (GMIM) (Chidume et al. [35], Algorithm 1) and the regularization method (RM) (Zegeye [1], Algorithm 2). The RM requires to previously know a constant u. For experiments, we choose the same sequences ${\alpha }_n=\frac{1}{n+1}$ and ${\omega }_n=\frac{1}{n(n+1)}$ in these algorithms. The condition ${\parallel x_{n+1}-x_n\parallel }^2\le TOL$ is chosen to be as the stopping criterion. The following tables are comparisons of VIA, RM, GMIM with different choices of a. The numerical results are showed in Table 2.

Table 2.

Comparison between VIA and other algorithms with $x_0=1$

a	TOL	VIA		RM (u = 1)		GMIM
		Iter	CPU (s)	Iter	CPU (s)	Iter	CPU (s)
1/4	10−8	278	0.094	85	0.055	559	0.097
	10−10	1290	0.14	325	0.070	3529	0.28
1/3	10−8	266	0.076	100	0.044	473	0.078
	10−10	1233	0.14	380	0.088	2663	0.21
1/2	10−8	243	0.070	126	0.052	317	0.065
	10−10	1123	0.13	472	0.077	1471	0.13
3/2	10−8	128	0.061	221	0.059	37	0.043
	10−10	587	0.10	823	0.098	94	0.049

From these tables, we can see that the RM is the best. The GMIM is the most time-consuming, and the reasonable explanation is the fact that at each step the GMIM has no contractive parameters (coefficients) for obtaining the next step which can take lower convergence rate, while the convergence rate of the RM depends strictly on the previous constant u and the initial value $x_0$. In comparing with other two methods, VIA seems to have competitive advantage. However, the main advantage of VIA is that the viscosity iterative algorithm works more stable than other methods and it is done in Banach spaces much more general than Hilbert spaces.

Conclusion

Let E be a nonempty closed uniformly convex and 2-uniformly smooth Banach space with dual $E^{\ast }$. We construct some implicit and explicit algorithms for solving the equation $0\in AJu$ in the Banach space E, where $A:E^{\ast }\to E$ is a monotone mapping and $J:E\to E^{\ast }$ is the normalized duality map which plays an indispensable role in this research paper. The advantages of the algorithm are that the resolvent operator is not involved, which makes the iteration simple for computation; moreover, the zero point problem of monotone mappings is extended from Hilbert spaces to Banach spaces. The proposed algorithms converge strongly to a zero of the composed mapping AJ under concise parameter conditions. In addition, the main result is applied to approximate the minimizer of a proper convex function and the solution of Hammerstein integral equations. To some extent, our results extend and unify some results considered in Xu [12], Zegeye [1], Chidume and Idu [2], Chidume [3, 35], and Ibarakia and Takahashi [22].

Authors’ contributions

The author worked jointly in drafting and approving the final manuscript. The author read and approved the final manuscript.

Funding

This article is funded by the National Science Foundation of China (11471059), the Science and Technology Research Project of Chongqing Municipal Education Commission (KJ1706154), and the Research Project of Chongqing Technology and Business University (KFJJ2017069).

Competing interests

The author declares that they have no competing interests.