Approximate solution of zero point problem involving H-accretive maps in Banach spaces and applications

Abstract

In this manuscript, we introduce two iterative methods for finding the common zeros of two H-accretive mappings in uniformly smooth and uniformly convex Banach spaces. The proposed iterative methods are based on Mann and Halpern iterative methods and viscosity approximation method. Strong convergence results are established for iterative algorithms. Applications based on convex minimization problem, variational inequality problem and equilibrium problem are derived from the main result. Numerical implementation of the main results and application are demonstrated by some examples. Our results extend, generalize, and unify the previously known results given in literature.

1 Introduction

For a real Banach space $\mathcal{B}$ with a nonempty, convex, and closed subset $\mathcal{C}$ and for a set-valued mapping $\varPhi :\mathcal{B}\rightarrow2^{\mathcal{B}}$ whose domain, range, and graph are defined as

$$\begin{aligned} &\mathtt{dom}(\varPhi)=\bigl\{ y\in\mathcal{B}:\varPhi(y)\neq\emptyset\bigr\} , \\ &\mathtt{range}(\varPhi)=\bigcup\bigl\{ \varPhi(y):y\in\mathtt{dom}(\varPhi)\bigr\} \quad \mbox{and} \\ &\mathtt{graph}(\varPhi)=\bigl\{ (y,z)\in\mathcal{B}\times\mathcal{B}:y\in \mathtt{dom}(\varPhi), z\in\varPhi(y)\bigr\} , \end{aligned}$$

respectively, the inclusion problem or zero point problem is to search a point $\tilde{y}\in\mathcal{B}$ such that

$$ 0\in\varPhi(\tilde{y}). $$

(1.1)

The set of zeros of Φ is defined as

$$\begin{aligned} \varPhi^{-1}(0)=\bigl\{ y\in\mathtt{dom}(\varPhi):0\in\varPhi(y)\bigr\} . \end{aligned}$$

A very effective and convenient approach to solve a large number of problems in optimization theory and nonlinear analysis is their formulation in the zero point problem. In problem (1.1), different mathematicians defined Φ in various ways in various frameworks, such as maximal monotone in Hilbert spaces and m-accretive in Banach spaces, and they introduced iterative schemes to solve (1.1).

In 2004, Fang et al. [12] introduced the notion of H-accretive mappings in Banach spaces. It is noted that H-accretive mapping is a generalization of m-accretive mapping. They defined the resolvent operator affiliated to H-accretive mapping and showed that it is single-valued and Lipschitz continuous.

One of the important methods to solve (1.1) for maximal monotone operator Φ in a Hilbert space $\mathcal{H}$ is proximal point algorithm which was introduced by Martinet [20] and defined in the following manner:

$$\begin{aligned} \textstyle\begin{cases} x_{1}\in\mathcal{H}, \\ x_{n+1}=J_{\mu_{n},\varPhi}(x_{n}),\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(1.2)

where $I:\mathcal{H}\rightarrow\mathcal{H}$ is the identity mapping, $J_{\mu_{n},\varPhi}(x_{n})=(I+\mu_{n}\varPhi)^{-1}(x_{n})$, and $\{\mu _{n}\}\subset\mathbb{R}_{+}$.

In 1976, Rockafellar [28] posed an open question regarding the strong convergence of the sequence obtained from (1.2); indeed an example was given by Güler [13] discussing that Rockafellar’s proximal point algorithm does not strongly converge. Furthermore, Bauschke et al. [3] showed by an example that proximal point algorithm only converges weakly but not in norm.

In 2005, a modification of Mann iteration method was presented by Kim et al. [17] for finding the solution of (1.1) with an m-accretive mapping Φ in a uniformly smooth Banach space and described in the following manner:

$$\begin{aligned} \textstyle\begin{cases} x_{1}\in\mathcal{B}, \\ y_{n}=J_{\mu_{n},\varPhi}(x_{n}), \\ x_{n+1}=\rho_{n}l+(1-\rho_{n})y_{n},\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(1.3)

where $l\in\mathcal{B}$, $\{\rho_{n}\}\subset(0,1)$, and $\{\mu _{n}\}\subset\mathbb{R}_{+}$ with certain conditions. They established an outcome of the strong convergence of the sequence $\{ x_{n}\}$ acquired from (1.3).

In 2007, the following iteration scheme:

$$\begin{aligned} \textstyle\begin{cases} x_{1}\in\mathcal{C}, \\ y_{n}=\kappa_{n}x_{n}+(1-\kappa_{n})J_{\mu_{n},\varPhi}(x_{n}), \\ x_{n+1}=\rho_{n}l+(1-\rho_{n})y_{n},\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(1.4)

where $l\in\mathcal{C}$ and the sequences $\{\kappa_{n}\}$, $\{\rho _{n}\}\subset(0,1)$, was described by Qin et al. [22] in a uniformly smooth Banach space. The demonstration of the strong convergence of the sequence $\{x_{n}\}$ acquired from (1.4) to a zero of an m-accretive mapping Φ was also given.

Based on viscosity approximation method, in 2008, Chen et al. [9] developed an iterative scheme in the following manner:

$$\begin{aligned} \textstyle\begin{cases} x_{1}\in\mathcal{C}, \\ x_{n+1}=\rho_{n}g(x_{n})+(1-\rho_{n})J_{\mu_{n},\varPhi}(x_{n}), \quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(1.5)

where $g:\mathcal{C}\rightarrow\mathcal{C}$ is a contraction mapping. They established an outcome which ensures the strong convergence of the sequence $\{x_{n}\}$ acquired from (1.5) to a zero of an m-accretive mapping Φ in a uniformly smooth Banach space. For detailed reviews regarding iteration methods to various inclusion problems, see [1, 6, 7, 10, 29, 30] and the references therein.

In this manuscript, we consider the problem of searching common zeros of two H-accretive mappings in a uniformly smooth and uniformly convex Banach space, i.e., search $\tilde{y}\in\mathcal{B}$ such that

$$\begin{aligned} \tilde{y}\in\varOmega=\varPhi^{-1}(0)\cap \varPsi^{-1}(0), \end{aligned}$$

(1.6)

where Φ, $\varPsi:\mathcal{B}\rightarrow2^{\mathcal{B}}$ are H-accretive mappings.

In 2005, Bauschke et al. [2] studied problem (1.6) for two maximal monotone mappings Φ and Ψ in a Hilbert space and developed the following iterative method:

$$\begin{aligned} \textstyle\begin{cases} x_{0}\in\mathcal{H}, \\ x_{2n+1}=J_{\mu,\varPhi}(x_{2n}),\quad n\in\mathbb{N}\cup\{0\}, \\ x_{2n}=J_{\mu,\varPsi}(x_{2n-1}),\quad n\in\mathbb{N}. \end{cases}\displaystyle \end{aligned}$$

(1.7)

They proved that the sequence $\{x_{n}\}$ obtained from (1.7) is weakly convergent to a fixed point of $J_{\mu,\varPhi}J_{\mu,\varPsi}$. This iterative method is based on alternating resolvents method which is an extension of alternating projections method introduced and studied by von Neumann [33] and Bregmann [5]. For other modification of von Neumann’s alternating projections method, see [8].

Further, in 2011, Boikanyo et al. [4] constructed an iterative scheme using alternating resolvents method in the following manner:

$$\begin{aligned} \textstyle\begin{cases} x_{0}\in\mathcal{H}, \\ x_{2n+1}=J_{\mu_{n},\varPhi}(\rho_{n}l+(1-\rho_{n})x_{2n}+e_{n}),\quad n\in\mathbb{N}\cup\{0\}, \\ x_{2n}=J_{\nu_{n},\varPsi}(x_{2n-1}+e_{n}^{\prime}),\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(1.8)

where $l\in\mathcal{H}$, $\{\rho_{n}\}\subset(0,1)$, and $\{e_{n}\}$, $\{e_{n}^{\prime}\}$ are error sequences. Under appropriate restrictions on control sequences, they established the strong convergence of the sequence obtained from (1.8) to a common zero point of maximal monotone mappings Φ and Ψ in a Hilbert space.

Motivated by the above discussed work, we introduce two iterative methods which are based on Mann and Halpern iteration methods and viscosity approximation method. We call it Mann–Halpern type iterative method and Mann type viscosity iterative method. Our proposed iteration methods include alternating resolvents method as a particular case for suitable choice of control sequence. Strong convergence results are established for both iterative methods. Some consequences and applications are derived from the main result. We present numerical examples to show the implementation of our main result and its application. Our results extend, generalize, and unify the results given by Bauschke et al. [2], Kim et al. [17], Qin et al. [22], Chen et al. [9], and Boikanyo et al. [4].

2 Preliminaries

For the whole of this manuscript, let $\mathcal{B}$ be a Banach space with norm $\|\cdot\|$ over the field of real numbers $\mathbb{R}$, and let $\mathcal{B}^{\ast}$ be its dual space. Let $\langle\cdot, \cdot\rangle$ be the duality pairing between $\mathcal{B}$ and $\mathcal{B}^{\ast}$. We use $y_{n}\rightarrow y$, $y_{n}\rightharpoonup y$, and $y_{n}\overset{\ast}{\rightharpoonup} y$ as symbolic representations for strong, weak, and weak^∗ convergence of the sequence $\{y_{n}\}$ to y in $\mathcal{B}$ and in $\mathcal{B}^{\ast}$, respectively. Let $\mathcal{F}(\mathcal {T})$ be the set of all fixed points of a mapping $\mathcal{T}$, i.e., $\mathcal{F}(\mathcal{T})=\{y\in\mathtt{dom}(\mathcal{T}):\mathcal {T}(y)=y\}$. Let $\mathbb{N}$ and $\mathbb{R}_{+}$ be the set of all natural numbers and all positive real numbers, respectively.

We take $\mathcal{J}:\mathcal{B}\rightarrow2^{\mathcal{B}^{\ast}}$ to symbolize the normalized duality mapping, given by

$$\begin{aligned} \mathcal{J}(y)=\bigl\{ \phi\in{\mathcal{B}^{\ast}}:\langle y,\phi \rangle= \Vert y \Vert ^{2}= \Vert \phi \Vert ^{2} \bigr\} ,\quad\forall y\in\mathcal{B}. \end{aligned}$$

Clearly, if $\mathcal{B}=\mathcal{H}$, a Hilbert space, then $\mathcal{J}=I$, where $I:\mathcal{B}\rightarrow\mathcal{B}$ is the identity mapping. When $\mathcal{B}$ is smooth, we know from [11] that $\mathcal{J}$ is single-valued. Now we recollect the following definitions and results which are needed for establishing our main results.

Definition 2.1

Let $U_{\mathcal{B}}=\{y\in\mathcal{B}:\|y\|=1\}$. The modulus of convexity $\delta_{\mathcal{B}}:(0,2]\rightarrow[0,1]$ and the modulus of smoothness $\rho_{\mathcal{B}}:[0,+\infty)\rightarrow [0,+\infty)$ of $\mathcal{B}$ are defined by

$$\begin{aligned} &\delta_{\mathcal{B}}(\epsilon):=\inf \biggl\{ \frac{2- \Vert y+z \Vert }{2}:y,z\in U_{\mathcal{B}}, \Vert y-z \Vert \geq\epsilon \biggr\} \quad \mbox{and} \\ &\rho_{\mathcal{B}}(h):=\sup \biggl\{ \frac{ \Vert y+z \Vert + \Vert y-z \Vert }{2}-1:y\in U_{\mathcal{B}}, \Vert z \Vert \leq h \biggr\} , \end{aligned}$$

respectively. Then the Banach space $\mathcal{B}$ is termed

• uniformly convex if $\delta_{\mathcal {B}}(\epsilon)>0$, $\forall0<\epsilon\leq2$;

• uniformly smooth if $\frac{\rho _{\mathcal{B}}(h)}{h}\rightarrow0$ as $h\rightarrow0$.

Definition 2.2

A mapping $\mathcal{T}:\mathcal{B}\rightarrow\mathcal{B}$ is termed

• $\vartheta_{1}$-Lipschitz continuous if there exists a constant $\vartheta_{1} \in\mathbb{R}_{+}$ such that

  $$\begin{aligned} \bigl\Vert \mathcal{T}(y)-\mathcal{T}(z) \bigr\Vert \leq \vartheta_{1} \Vert y-z \Vert ,\quad \forall y,z\in\mathcal{B}. \end{aligned}$$

  If $0<\vartheta_{1}<1$, then $\mathcal{T}$ is termed $\vartheta_{1}$-contraction and if $\vartheta_{1}=1$, then $\mathcal{T}$ is termed nonexpansive.

• accretive if there exists $j(y-z)\in \mathcal{J}(y-z)$ such that

  $$\begin{aligned} \bigl\langle \mathcal{T}(y)-\mathcal{T}(z),j(y-z)\bigr\rangle \geq0,\quad \forall y,z\in\mathcal{B}; \end{aligned}$$

• strictly accretive if there exists $j(y-z)\in\mathcal{J}(y-z)$ such that

  $$\begin{aligned} \bigl\langle \mathcal{T}(y)-\mathcal{T}(z),j(y-z)\bigr\rangle \geq0,\quad \forall y,z\in\mathcal{B} \end{aligned}$$

  and equality holds if and only if $y=z$;

• $\vartheta_{2}$-strongly accretive if there exists a constant $\vartheta_{2}\in\mathbb{R_{+}}$ and $j(y-z)\in\mathcal{J}(y-z)$ such that

  $$\begin{aligned} \bigl\langle \mathcal{T}(y)-\mathcal{T}(z),j(y-z)\bigr\rangle \geq\vartheta _{2} \Vert y-z \Vert ^{2},\quad\forall y,z\in \mathcal{B}. \end{aligned}$$

Definition 2.3

A set-valued mapping $\varPhi:\mathcal{B}\rightarrow2^{\mathcal{B}}$ is termed

• accretive if there exists $j(y-z)\in \mathcal{J}(y-z)$ such that

  $$\begin{aligned} \bigl\langle v-w,j(y-z)\bigr\rangle \geq0,\quad\forall y,z\in\mathcal {B}, v\in \varPhi(y), w\in\varPhi(z); \end{aligned}$$

• m-accretive if Φ is accretive and $\mathtt{range}(I+\mu\varPhi)=\mathcal{B}$, $\forall\mu\in \mathbb{R}_{+}$.

Definition 2.4

A mapping $J_{\mu,\varPhi}:\mathtt{range}(I+\mu\varPhi)\rightarrow \mathtt{dom}(\varPhi)$ defined by $J_{\mu,\varPhi}(y)=(I+\mu\varPhi )^{-1}(y)$, $\mu\in\mathbb{R}_{+}$, is termed resolvent affiliated to an accretive mapping Φ.

Definition 2.5

([12])

Let $H:\mathcal{B}\rightarrow\mathcal{B}$ be a single-valued mapping. Then a set-valued mapping $\varPhi:\mathcal{B}\rightarrow 2^{\mathcal{B}}$ is termed H-accretive if the following are satisfied:

• Φ is accretive;

• $\mathtt{range}(H+\vartheta_{3}\varPhi)=\mathcal {B}$, where $\vartheta_{3}\in\mathbb{R}_{+}$.

For further generalizations of H-accretive mapping, see [15, 16].

Remark 2.1

From Definition 2.5, we have the following as special cases:

• If $\mathcal{B}=\mathcal{H}$, a Hilbert space and $H\equiv I$, then the H-accretive mapping becomes maximal monotone mapping.

• If $H\equiv I$, then the H-accretive mapping becomes m-accretive mapping.

• The identity mapping I is m-accretive, but it is not H-accretive mapping, where $H(y)=y^{2}$ (see [12]).

• If we take $\mathcal{B}=\mathbb {R}$, $H(y)=-y^{3}$, and

  $$\begin{aligned} \mathcal{T}(y)=\operatorname{sgn}(y)= \textstyle\begin{cases} 1,&y>0, \\ 0,&y=0, \\ -1,&y< 0, \end{cases}\displaystyle \end{aligned}$$

  for all $y\in\mathcal{B}$, then $\mathcal{T}$ is H-accretive, but it is not m-accretive (see [19]).

Lemma 2.1

([12])

Let $H:\mathcal{B}\rightarrow\mathcal{B}$ and $\varPhi:\mathcal {B}\rightarrow2^{\mathcal{B}}$ be strictly accretive and H-accretive mappings, respectively. Then the operator $(H+\mu\varPhi )^{-1}$, where $\mu\in\mathbb{R}_{+}$, is single-valued.

Definition 2.6

([12])

Let $H:\mathcal{B}\rightarrow\mathcal{B}$ and $\varPhi:\mathcal {B}\rightarrow2^{\mathcal{B}}$ be strictly accretive and H-accretive mappings, respectively. The resolvent operator $J_{\mu,\varPhi}^{H}:\mathcal{B}\rightarrow\mathcal{B}$ affiliated to H and Φ is defined by

$$\begin{aligned} J_{\mu,\varPhi}^{H}(y)=(H+\mu\varPhi)^{-1}(y),\quad \forall y\in\mathcal {B}, \mu\in\mathbb{R}_{+}. \end{aligned}$$

Using Definition 2.6, one can easily prove that

$$\begin{aligned} \mathcal{F}\bigl(J_{\mu,\varPhi}^{H}H\bigr)= \varPhi^{-1}(0). \end{aligned}$$

(2.1)

Lemma 2.2

([12])

Let $H:\mathcal{B}\rightarrow\mathcal{B}$ be a $\xi_{H}$-strongly accretive mapping, and let $\varPhi:\mathcal{B}\rightarrow2^{\mathcal {B}}$ be an H-accretive mapping. Then the resolvent operator $J_{\mu,\varPhi}^{H}:\mathcal{B}\rightarrow\mathcal{B}$ is $\frac {1}{\xi_{H}}$-Lipschitz continuous.

We give an example which legitimizes Lemma 2.2.

Example 2.1

Let $\mathcal{B}=\mathbb{R}$ with usual norm $\|y\|=|y|$. Let $H:\mathcal{B}\rightarrow\mathcal{B}$ and $\varPhi:\mathcal {B}\rightarrow2^{\mathcal{B}}$ be defined by

$$\begin{aligned} H(y)=3y\quad \mbox{and}\quad \varPhi(y)=\{6y\},\quad\forall y\in\mathcal{B}, \end{aligned}$$

respectively. It can be conveniently verified that H is 3-strongly accretive, Φ is accretive, and for $\mu=2$, $\mathtt {range}(H+\mu\varPhi)=\mathcal{B}$. Hence, Φ is H-accretive. Therefore the resolvent operator $J_{\mu,\varPhi}^{H}:\mathcal {B}\rightarrow\mathcal{B}$ affiliated with H and Φ is given by

$$\begin{aligned} J_{\mu,\varPhi}^{H}(y)=\frac{y}{15}, \quad\forall y\in\mathcal{B}. \end{aligned}$$

(2.2)

It is quite easy to verify that the resolvent operator defined in (2.2) is single-valued and $\frac{1}{3}$-Lipschitz continuous.

Definition 2.7

Let $\mathcal{C}$ and $\mathcal{D}$ be nonempty subsets of a Banach space $\mathcal{B}$ such that $\mathcal{C}$ is closed and convex and $\mathcal{D}\subset\mathcal{C}$. A mapping $Q:\mathcal {C}\rightarrow\mathcal{D}$ is termed

• sunny if $Q[Q(y)+h(I-Q)y]=Q(y)$, $\forall y\in\mathcal{C}$ and $h\geq0$, whenever $Q(y)+h(I-Q)y\in \mathcal{C}$;

• retraction if $Q(y)=y$, $\forall y\in \mathcal{D}$;

• sunny nonexpansive retraction from $\mathcal{C}$ onto $\mathcal{D}$ if Q is a retraction from $\mathcal{C}$ onto $\mathcal{D}$, which is also sunny and nonexpansive.

Moreover, $\mathcal{D}$ is termed sunny nonexpansive retract of $\mathcal{C}$ if there exists a sunny nonexpansive retraction Q from $\mathcal{C}$ onto $\mathcal{D}$ (see [18]).

Proposition 2.3

([23])

Let $\mathcal{C}$ and $\mathcal{D}$ be nonempty subsets of a smooth Banach space $\mathcal{B}$ such that $\mathcal{C}$ is closed and convex and $\mathcal{D}\subset\mathcal{C}$. If $\mathcal{D}$ is a retract of $\mathcal{C}$ with a retraction $Q:\mathcal{C}\rightarrow \mathcal{D}$, then the following are equivalent:

• (i) Q is sunny and nonexpansive;

• (ii) $\|Q(y)-Q(z)\|^{2}\leq\langle y-z,\mathcal {J}(Q(y)-Q(z))\rangle$, $\forall y,z\in\mathcal{C}$;

• (iii) $\langle y-Q(y),\mathcal{J}(z-Q(y))\rangle\leq0$, $\forall y\in\mathcal{C},z\in\mathcal{D}$.

Theorem 2.4

([35])

Let $\mathcal{C}$ be a nonempty, convex, and closed subset of a uniformly smooth Banach space $\mathcal{B}$, and let $W:\mathcal {C}\rightarrow\mathcal{C}$ be a nonexpansive mapping with $\mathcal {F}(W)\neq\emptyset$. Then the sequence $\{x_{t}\}$ defined by $x_{t}=tg(x_{t})+(1-t)W(x_{t})$, where $g\in\varPi_{\mathcal{C}}$, the set of all contractions on $\mathcal{C}$ and $0< t<1$, converges strongly to a point in $\mathcal{F}(W)$ as $t\rightarrow0$. If $Q_{\mathcal{F}(W)}:\varPi_{\mathcal{C}}\rightarrow\mathcal{F}(W)$ is defined as

$$\begin{aligned} Q_{\mathcal{F}(W)}(g):=\lim_{t\rightarrow0}x_{t}, \quad g\in\varPi_{\mathcal{C}}, \end{aligned}$$

(2.3)

then $Q_{\mathcal{F}(W)}(g)$ solves the following variational inequality:

$$\begin{aligned} \bigl\langle (I-g)Q_{\mathcal{F}(W)}(g),\mathcal{J}\bigl(Q_{\mathcal {F}(W)}(g)-x \bigr) \bigr\rangle \leq0,\quad g\in\varPi_{\mathcal{C}}, x\in \mathcal{F}(W). \end{aligned}$$

In particular, if $g=l\in\mathcal{C}$ is a constant, then (2.3) is reduced to the sunny nonexpansive retraction of Reich [25] from $\mathcal{C}$ onto $\mathcal{F}(W)$ fulfilling

$$\begin{aligned} \bigl\langle Q_{\mathcal{F}(W)}(l)-l,\mathcal{J}\bigl(Q_{\mathcal{F}(W)}(l)-x \bigr) \bigr\rangle \leq0,\quad l\in\mathcal{C}, x\in\mathcal{F}(W). \end{aligned}$$

Proposition 2.5

([19])

Let $H:\mathcal{B}\rightarrow\mathcal{B}$ be a strongly accretive and Lipschitz continuous mapping with constant $\xi_{H}$; let $\varPhi :\mathcal{B}\rightarrow2^{\mathcal{B}}$ be an H-accretive mapping. Then the mappings $HJ_{\mu,\varPhi}^{H}:\mathcal{B}\rightarrow \mathcal{B}$ and $J_{\mu,\varPhi}^{H}H:\mathcal{B}\rightarrow\mathcal {B}$ are nonexpansive.

Lemma 2.6

([21])

Let $\mathcal{B}$ be a Banach space. Then, for all $y,z\in\mathcal {B}$ and $j(y+z)\in\mathcal{J}(y+z)$,

$$\begin{aligned} \Vert y+z \Vert ^{2}\leq \Vert y \Vert ^{2}+2 \bigl\langle z,j(y+z)\bigr\rangle . \end{aligned}$$

Lemma 2.7

([31])

Let $\{x_{n}\}$ and $\{w_{n}\}$ be bounded sequences in a Banach space $\mathcal{B}$, and let $\{\sigma_{n}\}\subset[0,1]$ with $0<\liminf_{n\rightarrow\infty}\sigma_{n}\leq\limsup_{n\rightarrow\infty }\sigma_{n}<1$. Assume that $x_{n+1}=(1-\sigma_{n})w_{n}+\sigma _{n}x_{n}$, $n\in\mathbb{N}$, and $\limsup_{n\rightarrow\infty}(\| w_{n+1}-w_{n}\|-\|x_{n+1}-x_{n}\|)\leq0$. Then $\lim_{n\rightarrow \infty}\|w_{n}-x_{n}\|=0$.

Lemma 2.8

([35])

Assume that $\{x_{n}\}$ is a sequence in $\mathbb{R}_{+}\cup\{0\}$ such that

$$\begin{aligned} x_{n+1}\leq(1-\theta_{n})x_{n}+ \eta_{n},\quad n\in\mathbb{N}, \end{aligned}$$

where $\{\theta_{n}\}\subset(0,1)$ and $\{\eta_{n}\}\subset\mathbb {R}$ with

• (i) $\sum_{n=1}^{\infty}\theta_{n}=\infty$;

• (ii) $\limsup_{n\rightarrow\infty}\frac{\eta_{n}}{\theta _{n}}\leq0$ or $\sum_{n=1}^{\infty}|\eta_{n}|<\infty$.

Then $\lim_{n\rightarrow\infty}x_{n}=0$.

Lemma 2.9

([34])

Let $\mathcal{B}$ be a uniformly convex Banach space. Then there exists a function $f:[0,+\infty) \rightarrow[0,+\infty)$ which is continuous, strictly increasing, and convex with $f(0)=0$ such that

$$\begin{aligned} \bigl\Vert hy+(1-h)z \bigr\Vert ^{2}\leq h \Vert y \Vert ^{2}+(1-h) \Vert z \Vert ^{2}-h(1-h)f\bigl( \Vert y-z \Vert \bigr) \end{aligned}$$

for all $y,z\in U_{\mathcal{B}}[0,r]:=\{v\in\mathcal{B}:\|v\|\leq r, r\in\mathbb{R}_{+}\}$ and $0\leq h\leq1$.

Lemma 2.10

([14, 24])

Let $\mathcal{B}$ be a real uniformly convex and smooth Banach space. Then there exists a function $f:[0,2r]\rightarrow\mathbb{R}$ which is continuous, strictly increasing, and convex with $f(0)=0$ such that

$$\begin{aligned} f\bigl( \Vert y-z \Vert \bigr)\leq \Vert y \Vert ^{2}-2\bigl\langle y,\mathcal{J}(z)\bigr\rangle + \Vert z \Vert ^{2},\quad \forall y,z\in U_{\mathcal{B}}[0,r]. \end{aligned}$$

3 Main results

In this section, we demonstrate strong convergence of the sequences acquired from the proposed iterative methods for finding a common zero of two H-accretive mappings. First, we prove the following technical lemma.

Lemma 3.1

Let $H:\mathcal{B}\rightarrow\mathcal{B}$ and $\varPhi:\mathcal {B}\rightarrow2^{\mathcal{B}}$ be strictly accretive and H-accretive mappings, respectively. Then, for $\mu,\nu\in\mathbb {R}_{+}$ and $y\in\mathcal{B}$,

$$\begin{aligned} J_{\mu,\varPhi}^{H}(y)=J_{\nu,\varPhi}^{H} \biggl( \frac{\nu}{\mu}y + \biggl(1-\frac{\nu}{\mu} \biggr)HJ_{\mu,\varPhi}^{H}(y) \biggr). \end{aligned}$$

Proof

For $y\in\mathcal{B}$, let $\tilde{y}=J_{\mu,\varPhi}^{H}(y)$. This implies that

$$\begin{aligned} y&=H(\tilde{y})+\mu\tilde{z}\quad\mbox{for some }\tilde{z}\in \varPhi(\tilde{y}). \end{aligned}$$

Then

$$\begin{aligned} \frac{\nu}{\mu}y+ \biggl(1-\frac{\nu}{\mu} \biggr)HJ_{\mu,\varPhi}^{H}(y) &=\frac{\nu}{\mu} \bigl(H(\tilde{y})+\mu\tilde{z} \bigr)+ \biggl(1- \frac{\nu}{\mu} \biggr)H(\tilde{y}) \\ &\in (H+\nu\varPhi ) (\tilde{y}), \end{aligned}$$

which implies that

$$\begin{aligned} J_{\nu,\varPhi}^{H} \biggl(\frac{\nu}{\mu}y + \biggl(1- \frac{\nu}{\mu} \biggr)HJ_{\mu,\varPhi}^{H}(y) \biggr)=\tilde {y}=J_{\mu,\varPhi}^{H}(y). \end{aligned}$$

 □

Theorem 3.2

Let $\mathcal{B}$ be a uniformly convex and uniformly smooth Banach space. Let $H_{1},H_{2}:\mathcal{B}\rightarrow\mathcal{B}$ be single-valued mappings such that $H_{1}$ is strongly accretive and Lipschitz continuous with constant $\xi_{H_{1}}$ and $H_{2}$ is strongly accretive and Lipschitz continuous with constant $\zeta _{H_{2}}$. Let $\varPhi,\varPsi:\mathcal{B}\rightarrow2^{\mathcal{B}}$ be $H_{1}$-accretive and $H_{2}$-accretive mappings, respectively. Assume that $\varOmega:=\varPhi^{-1}(0)\cap\varPsi^{-1}(0)\neq\emptyset$. Let the sequences $\{y_{n}\}$ and $\{x_{n}\}$ be generated by the following iterative scheme:

$$\begin{aligned} \textstyle\begin{cases} x_{1}\in\mathcal{B}, \\ y_{n}=\kappa_{n}x_{n}+(1-\kappa_{n})J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n}), \\ x_{n+1}=\rho_{n}l+\sigma_{n}x_{n}+\tau_{n}J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(y_{n}),\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(3.1)

where $l\in\mathcal{B}$ is an arbitrary element, sequences $\{\mu _{n}\}$, $\{\nu_{n}\}$ are in $\mathbb{R}_{+}$, and sequences $\{ \kappa_{n}\}$, $\{\rho_{n}\}$, $\{\sigma_{n}\}$, $\{\tau_{n}\}$ are in $[0,1]$ with $\rho_{n}+\sigma_{n}+\tau_{n}=1$, $n\in\mathbb{N}$. Assume that the following conditions are fulfilled:

($\mathrm{C}_{1}$):

$\liminf_{n\rightarrow\infty}\kappa _{n}\tau_{n}>0$, $\lim_{n\rightarrow\infty}|\kappa_{n+1}-\kappa_{n}|=0$;

($\mathrm{C}_{2}$):

$\lim_{n\rightarrow\infty}\rho _{n}=0$, $\sum_{n=1}^{\infty}\rho_{n}=\infty$;

($\mathrm{C}_{3}$):

$0<\liminf_{n\rightarrow\infty} \sigma _{n}\leq\limsup_{n\rightarrow\infty} \sigma_{n}<1$;

($\mathrm{C}_{4}$):

For some $\epsilon\in\mathbb{R}_{+}$ and for all $n\in\mathbb{N}$, $\mu_{n}\geq\epsilon$, $\nu_{n}\geq \epsilon$ and $\lim_{n\rightarrow\infty}|\mu_{n+1}-\mu_{n}|=0$ and $\lim_{n\rightarrow\infty}|\nu_{n+1}-\nu_{n}|=0$.

Then the sequence $\{x_{n}\}$ converges strongly to $Q_{\varOmega}l$, where $Q_{\varOmega}:\mathcal{B}\rightarrow\varOmega$ is a sunny nonexpansive retraction from $\mathcal{B}$ onto Ω.

Proof

The proof will be divided into six steps.

Step 1. We show that $\{x_{n}\}$ and $\{y_{n}\}$ are bounded. Assume that $w\in\varOmega$. By utilizing (2.1), we find that

$$\begin{aligned} J_{\mu_{n},\varPhi}^{H_{1}}H_{1}(w)=w\in \varPhi^{-1}(0)\quad \mbox{and}\quad J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(w)=w \in\varPsi^{-1}(0). \end{aligned}$$

(3.2)

Then, from (3.1), (3.2), and Proposition 2.5, we have

$$\begin{aligned} \Vert x_{n+1}-w \Vert &= \bigl\Vert \rho_{n}l+ \sigma_{n}x_{n}+\tau_{n}J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(y_{n})-w \bigr\Vert \\ &\leq\rho_{n} \Vert l-w \Vert +\sigma_{n} \Vert x_{n}-w \Vert +\tau_{n} \bigl\Vert J_{\nu _{n},\varPsi}^{H_{2}}H_{2}(y_{n})-w \bigr\Vert \\ &\leq\rho_{n} \Vert l-w \Vert +\sigma_{n} \Vert x_{n}-w \Vert +\tau_{n} \Vert y_{n}-w \Vert . \end{aligned}$$

(3.3)

Now we calculate $\|y_{n}-w\|$.

$$\begin{aligned}& \begin{aligned}[b] \Vert y_{n}-w \Vert &= \bigl\Vert \kappa_{n}x_{n}+(1- \kappa_{n})J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n})-w \bigr\Vert \\ &\leq\kappa_{n} \Vert x_{n}-w \Vert +(1- \kappa_{n}) \bigl\Vert J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n})-w \bigr\Vert \\ &\leq\kappa_{n} \Vert x_{n}-w \Vert +(1- \kappa_{n}) \Vert x_{n}-w \Vert , \end{aligned} \\& \quad \Rightarrow\quad \Vert y_{n}-w \Vert \leq \Vert x_{n}-w \Vert . \end{aligned}$$

(3.4)

Using (3.4) and the relation $\rho_{n}+\sigma_{n}+\tau _{n}=1$ in (3.3), we obtain by induction

$$\begin{aligned} \Vert x_{n+1}-w \Vert &\leq\rho_{n} \Vert l-w \Vert +\sigma_{n} \Vert x_{n}-w \Vert + \tau_{n} \Vert x_{n}-w \Vert \\ &=\rho_{n} \Vert l-w \Vert +(1-\rho_{n}) \Vert x_{n}-w \Vert \\ &\leq\max\bigl\{ \Vert l-w \Vert , \Vert x_{n}-w \Vert \bigr\} \\ &\vdots \\ &\leq\max\bigl\{ \Vert l-w \Vert , \Vert x_{1}-w \Vert \bigr\} . \end{aligned}$$

Hence $\{x_{n}\}$ is bounded. Therefore $\{y_{n}\}$, $\{J_{\mu _{n},\varPhi}^{H_{1}}H_{1}(x_{n})\}$, and $\{J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(y_{n})\}$ are also bounded.

Step 2. We claim that $\lim_{n\rightarrow\infty}\| x_{n+1}-x_{n}\|=0$ and $\lim_{n\rightarrow\infty}\|y_{n+1}-y_{n}\|=0$.

Setting $x_{n+1}=(1-\sigma_{n})w_{n}+\sigma_{n}x_{n}$, we see that $w_{n}=\frac{x_{n+1}-\sigma_{n}x_{n}}{1-\sigma_{n}}$. Then

$$\begin{aligned} \Vert w_{n+1}-w_{n} \Vert &= \biggl\Vert \frac{x_{n+2}-\sigma_{n+1}x_{n+1}}{1-\sigma_{n+1}} -\frac{x_{n+1}-\sigma_{n}x_{n}}{1-\sigma_{n}} \biggr\Vert \\ &= \biggl\Vert \frac{\rho_{n+1}l+\tau_{n+1}J_{\nu_{n+1},\varPsi }^{H_{2}}H_{2}(y_{n+1})}{1-\sigma_{n+1}} -\frac{\rho_{n}l+\tau_{n}J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(y_{n})}{1-\sigma_{n}} \biggr\Vert \\ &= \biggl\Vert \frac{\rho_{n+1}l+\tau_{n+1}J_{\nu_{n+1},\varPsi }^{H_{2}}H_{2}(y_{n+1})}{1-\sigma_{n+1}} -\frac{\tau_{n}J_{\nu_{n+1},\varPsi}^{H_{2}}H_{2}(y_{n+1})}{1-\sigma_{n}} \\ &\quad{}+\frac{\tau_{n}J_{\nu_{n+1},\varPsi }^{H_{2}}H_{2}(y_{n+1})}{1-\sigma_{n}} -\frac{\rho_{n}l+\tau_{n}J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(y_{n})}{1-\sigma_{n}} \biggr\Vert \\ &\leq \biggl\vert \frac{\rho_{n+1}}{1-\sigma_{n+1}}-\frac{\rho _{n}}{1-\sigma_{n}} \biggr\vert \Vert l \Vert + \biggl\vert \frac{\tau_{n+1}}{1-\sigma_{n+1}} -\frac{\tau_{n}}{1-\sigma_{n}} \biggr\vert \bigl\Vert J_{\nu_{n+1},\varPsi }^{H_{2}}H_{2}(y_{n+1}) \bigr\Vert \\ &\quad{}+ \biggl(\frac{\tau_{n}}{1-\sigma_{n}} \biggr) \bigl\Vert J_{\nu _{n+1},\varPsi}^{H_{2}}H_{2}(y_{n+1}) -J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \bigr\Vert \\ &\leq \biggl\vert \frac{\rho_{n+1}}{1-\sigma_{n+1}}-\frac{\rho _{n}}{1-\sigma_{n}} \biggr\vert L_{1} + \bigl\Vert J_{\nu_{n+1},\varPsi }^{H_{2}}H_{2}(y_{n+1}) -J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \bigr\Vert , \end{aligned}$$

(3.5)

where $L_{1}=\sup_{n} \{\|l\| + \|J_{\nu_{n+1},\varPsi}^{H_{2}}H_{2}(y_{n+1}) \| \}$. Now, two cases arise.

Case I. When $\nu_{n+1}\geq\nu_{n}$, by utilizing Lemmas 3.1 and 2.2, we acquire

$$\begin{aligned} & \bigl\Vert J_{\nu_{n+1},\varPsi}^{H_{2}}H_{2}(y_{n+1}) -J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \bigr\Vert \\ &\quad = \biggl\Vert J_{\nu_{n},\varPsi}^{H_{2}} \biggl( \frac{\nu_{n}}{\nu _{n+1}}H_{2}(y_{n+1}) + \biggl(1- \frac{\nu_{n}}{\nu_{n+1}} \biggr) H_{2}J_{\nu _{n+1},\varPsi}^{H_{2}}H_{2}(y_{n+1}) \biggr) -J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \biggr\Vert \\ &\quad \leq\frac{1}{\zeta_{H_{2}}} \biggl\{ \bigl\Vert H_{2}(y_{n+1})-H_{2}(y_{n}) \bigr\Vert + \biggl\vert \frac{\nu_{n+1}-\nu_{n}}{\nu_{n+1}} \biggr\vert \bigl\Vert H_{2}J_{\nu_{n+1},\varPsi}^{H_{2}}H_{2}(y_{n+1})-H_{2}(y_{n+1}) \bigr\Vert \biggr\} \\ &\quad \leq \Vert y_{n+1}-y_{n} \Vert + \vert \nu_{n+1}-\nu_{n} \vert L_{2}, \end{aligned}$$

(3.6)

where $L_{2}=\frac{1}{\epsilon} [\sup_{n} \{\|y_{n}\| + \|J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \| \} ]$.

Case II. When $\nu_{n+1}<\nu_{n}$, by utilizing Lemmas 3.1 and 2.2, we acquire

$$\begin{aligned} & \bigl\Vert J_{\nu_{n+1},\varPsi}^{H_{2}}H_{2}(y_{n+1}) -J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \bigr\Vert \\ &\quad = \biggl\Vert J_{\nu_{n+1},\varPsi}^{H_{2}}H_{2}(y_{n+1}) -J_{\nu_{n+1},\varPsi}^{H_{2}} \biggl(\frac{\nu_{n+1}}{\nu _{n}}H_{2}(y_{n}) + \biggl(1-\frac{\nu_{n+1}}{\nu_{n}} \biggr) H_{2}J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \biggr) \biggr\Vert \\ &\quad \leq\frac{1}{\zeta_{H_{2}}} \biggl\{ \bigl\Vert H_{2}(y_{n+1})-H_{2}(y_{n}) \bigr\Vert + \biggl\vert \frac{\nu_{n}-\nu_{n+1}}{\nu_{n}} \biggr\vert \bigl\Vert H_{2}(y_{n})-H_{2}J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \bigr\Vert \biggr\} \\ &\quad \leq \Vert y_{n+1}-y_{n} \Vert + \vert \nu_{n+1}-\nu_{n} \vert L_{2}. \end{aligned}$$

(3.7)

From (3.5), (3.6), and (3.7), we obtain

$$\begin{aligned} & \Vert w_{n+1}-w_{n} \Vert \\ &\quad\leq \biggl\vert \frac{\rho_{n+1}}{1-\sigma_{n+1}}-\frac{\rho _{n}}{1-\sigma_{n}} \biggr\vert {L}_{1} + \Vert y_{n+1}-y_{n} \Vert + \vert \nu_{n+1}-\nu_{n} \vert L_{2}. \end{aligned}$$

(3.8)

By utilizing (3.1) and Lemma 3.1, we acquire

$$\begin{aligned} & \Vert y_{n+1}-y_{n} \Vert \\ &\quad = \bigl\Vert \kappa_{n+1}x_{n+1} +(1- \kappa_{n+1})J_{\mu_{n+1},\varPhi}^{H_{1}}H_{1}(x_{n+1})- \kappa_{n}x_{n} -(1-\kappa_{n})J_{\mu_{n},\varPhi}^{H_{1}}H_{1}(x_{n}) \bigr\Vert \\ &\quad \leq\kappa_{n+1} \Vert x_{n+1}-x_{n} \Vert + \vert \kappa_{n+1}-\kappa_{n} \vert \bigl( \Vert x_{n} \Vert + \bigl\Vert J_{\mu_{n}, \varPhi}^{H_{1}}H_{1}(x_{n}) \bigr\Vert \bigr) \\ &\qquad{}+(1-\kappa_{n+1}) \bigl\Vert J_{\mu_{n+1},\varPhi}^{H_{1}}H_{1}(x_{n+1})-J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n}) \bigr\Vert \\ &\quad =\kappa_{n+1} \Vert x_{n+1}-x_{n} \Vert + \vert \kappa_{n+1}-\kappa_{n} \vert \bigl( \Vert x_{n} \Vert + \bigl\Vert J_{\mu_{n}, \varPhi}^{H_{1}}H_{1}(x_{n}) \bigr\Vert \bigr)+(1-\kappa_{n+1}) \\ &\qquad{}\cdot \biggl\Vert J_{\mu_{n},\varPhi}^{H_{1}} \biggl( \frac{\mu_{n}}{\mu _{n+1}}H_{1}(x_{n+1}) + \biggl(1- \frac{\mu_{n}}{\mu_{n+1}} \biggr)H_{1}J_{\mu_{n+1},\varPhi }^{H_{1}}H_{1}(x_{n+1}) \biggr) -J_{\mu_{n},\varPhi}^{H_{1}}H_{1}(x_{n}) \biggr\Vert \\ &\quad \leq\kappa_{n+1} \Vert x_{n+1}-x_{n} \Vert + \vert \kappa_{n+1}-\kappa_{n} \vert \bigl( \Vert x_{n} \Vert + \bigl\Vert J_{\mu_{n}, \varPhi}^{H_{1}}H_{1}(x_{n}) \bigr\Vert \bigr) \\ &\qquad{}+\frac{(1-\kappa_{n+1})}{\xi_{H_{1}}} \biggl\{ \bigl\Vert H_{1}(x_{n+1})-H_{1}(x_{n}) \bigr\Vert \\ &\qquad{}+ \biggl\vert \frac{\mu_{n+1}-\mu_{n}}{\mu_{n+1}} \biggr\vert \bigl\Vert H_{1}J_{\mu_{n+1},\varPhi}^{H_{1}}H_{1}(x_{n+1})-H_{1}(x_{n+1}) \bigr\Vert \biggr\} \\ &\quad \leq \Vert x_{n+1}-x_{n} \Vert + \vert \kappa_{n+1}-\kappa_{n} \vert L_{3} + \vert \mu_{n+1}-\mu_{n} \vert L_{4}, \end{aligned}$$

(3.9)

where $L_{3}=\sup_{n} \{\|x_{n}\|+ \|J_{\mu_{n}, \varPhi }^{H_{1}}H_{1}(x_{n}) \| \}$ and $L_{4}=\frac {1}{\epsilon} [\sup_{n} \{ \|J_{\mu_{n},\varPhi}^{H_{1}}H_{1}(x_{n}) \|+\|x_{n}\| \} ]$.

Combining (3.8) and (3.9), we acquire

$$\begin{aligned} & \Vert w_{n+1}-w_{n} \Vert - \Vert x_{n+1}-x_{n} \Vert \\ &\quad \leq \biggl\vert \frac{\rho_{n+1}}{1-\sigma_{n+1}}-\frac{\rho _{n}}{1-\sigma_{n}} \biggr\vert L_{1} + \vert \nu_{n+1}-\nu_{n} \vert L_{2} + \vert \kappa_{n+1}-\kappa_{n} \vert L_{3} + \vert \mu_{n+1}-\mu_{n} \vert L_{4}. \end{aligned}$$

(3.10)

From ($\mathrm{C}_{1}$), ($\mathrm{C}_{2}$), ($\mathrm{C}_{4}$), and (3.10), we acquire

$$\begin{aligned} \limsup_{n\rightarrow\infty}\bigl( \Vert w_{n+1}-w_{n} \Vert - \Vert x_{n+1}-x_{n} \Vert \bigr)\leq0. \end{aligned}$$

It follows from Lemma 2.7 that $\lim_{n\rightarrow\infty}\| w_{n}-x_{n}\|=0$, and hence

$$\begin{aligned} \lim_{n\rightarrow\infty} \Vert x_{n+1}-x_{n} \Vert =\lim_{n\rightarrow \infty}(1-\sigma_{n}) \Vert w_{n}-x_{n} \Vert =0. \end{aligned}$$

(3.11)

From ($\mathrm{C}_{1}$), ($\mathrm{C}_{4}$), (3.9), and (3.11), we acquire

$$\begin{aligned} \lim_{n\rightarrow\infty} \Vert y_{n+1}-y_{n} \Vert =0. \end{aligned}$$

Step 3. Our claim is $\lim_{n\rightarrow\infty}\| x_{n+1}-y_{n}\|=0$. From (3.1), (3.4), and Lemma 2.10, we have

$$\begin{aligned} & \Vert y_{n}-w \Vert ^{2} \\ &\quad =\bigl\langle \kappa_{n}(x_{n}-w)+(1- \kappa_{n}) \bigl(J_{\mu_{n},\varPhi}^{H_{1}}H_{1}(x_{n}) -w \bigr),\mathcal{J}(y_{n}-w)\bigr\rangle ,\quad w\in\varOmega \\ &\quad \leq\kappa_{n}\bigl\langle x_{n}-w, \mathcal{J}(y_{n}-w)\bigr\rangle +(1-\kappa_{n}) \bigl\Vert J_{\mu_{n},\varPhi}^{H_{1}}H_{1}(x_{n})-w \bigr\Vert \Vert y_{n}-w \Vert \\ &\quad \leq\frac{\kappa_{n}}{2} \bigl[ \Vert x_{n}-w \Vert ^{2}-f\bigl( \bigl\Vert (x_{n}-w)-(y_{n}-w) \bigr\Vert \bigr) + \Vert y_{n}-w \Vert ^{2} \bigr] \\ &\qquad{}+(1-\kappa_{n}) \Vert x_{n}-w \Vert \Vert y_{n}-w \Vert \\ &\quad \leq\frac{\kappa_{n}}{2} \bigl[ \Vert x_{n}-w \Vert ^{2}-f\bigl( \Vert x_{n}-y_{n} \Vert \bigr) + \Vert y_{n}-w \Vert ^{2} \bigr]+(1- \kappa_{n}) \Vert x_{n}-w \Vert ^{2} \\ &\quad = \biggl(\frac{2-\kappa_{n}}{2} \biggr) \Vert x_{n}-w \Vert ^{2}+\frac{\kappa_{n}}{2} \bigl[ \Vert y_{n}-w \Vert ^{2}-f\bigl( \Vert x_{n}-y_{n} \Vert \bigr) \bigr], \end{aligned}$$

which implies that

$$\begin{aligned} \Vert y_{n}-w \Vert ^{2}&\leq \Vert x_{n}-w \Vert ^{2}- \biggl(\frac{\kappa_{n}}{2-\kappa_{n}} \biggr) f\bigl( \Vert x_{n}-y_{n} \Vert \bigr). \end{aligned}$$

(3.12)

Then, by using (3.1) and (3.12), we acquire

$$\begin{aligned} & \Vert x_{n+1}-w \Vert ^{2} \\ &\quad \leq\rho_{n} \Vert l-w \Vert ^{2}+ \sigma_{n} \Vert x_{n}-w \Vert ^{2} + \tau_{n} \bigl\Vert J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n})-w \bigr\Vert ^{2} \\ &\quad \leq\rho_{n} \Vert l-w \Vert ^{2}+ \sigma_{n} \Vert x_{n}-w \Vert ^{2} + \tau_{n} \Vert y_{n}-w \Vert ^{2} \\ &\quad \leq\rho_{n} \Vert l-w \Vert ^{2}+ \sigma_{n} \Vert x_{n}-w \Vert ^{2} + \tau_{n} \biggl[ \Vert x_{n}-w \Vert ^{2}- \biggl(\frac{\kappa_{n}}{2-\kappa_{n}} \biggr)f\bigl( \Vert x_{n}-y_{n} \Vert \bigr) \biggr] \\ &\quad \leq\rho_{n} \Vert l-w \Vert ^{2}+ \Vert x_{n}-w \Vert ^{2}-\tau_{n} \biggl( \frac {\kappa_{n}}{2-\kappa_{n}} \biggr)f\bigl( \Vert x_{n}-y_{n} \Vert \bigr), \end{aligned}$$

which implies that

$$\begin{aligned} \biggl(\frac{\kappa_{n}\tau_{n}}{2-\kappa_{n}} \biggr)f\bigl( \Vert x_{n}-y_{n} \Vert \bigr) &\leq\rho_{n} \Vert l-w \Vert ^{2}+ \Vert x_{n}-w \Vert ^{2}- \Vert x_{n+1}-w \Vert ^{2} \\ &\leq\rho_{n} \Vert l-w \Vert ^{2}+ \Vert x_{n+1}-x_{n} \Vert \bigl( \Vert x_{n}-w \Vert + \Vert x_{n+1}-w \Vert \bigr). \end{aligned}$$

(3.13)

By utilizing (3.11), conditions ($\mathrm{C}_{1}$)–($\mathrm {C}_{2}$), and the property of f in (3.13), we obtain

$$\begin{aligned} \lim_{n\rightarrow\infty} \Vert x_{n}-y_{n} \Vert =0. \end{aligned}$$

(3.14)

Since $\|x_{n+1}-y_{n}\|\leq\|x_{n+1}-x_{n}\|+\|x_{n}-y_{n}\|$, so from (3.11) and (3.14), we acquire that $\lim_{n\rightarrow\infty}\|x_{n+1}-y_{n}\|=0$.

Step 4. We claim that $\lim_{n\rightarrow\infty}\| W(x_{n})-x_{n}\|=0$, where $W=\frac{1}{2} (J_{\vartheta,\varPhi }^{H_{1}}H_{1}+J_{\vartheta,\varPsi}^{H_{2}}H_{2} )$ and $0<\vartheta<\epsilon$.

$$\begin{aligned} \bigl\Vert W(x_{n})-x_{n} \bigr\Vert \leq\frac{1}{2} \bigl( \bigl\Vert x_{n}-J_{\vartheta ,\varPhi}^{H_{1}}H_{1}(x_{n}) \bigr\Vert + \bigl\Vert x_{n}-J_{\vartheta,\varPsi}^{H_{2}}H_{2}(x_{n}) \bigr\Vert \bigr). \end{aligned}$$

(3.15)

First, we compute $\|x_{n}-J_{\vartheta,\varPhi }^{H_{1}}H_{1}(x_{n}) \|$. From Lemma 3.1 and (3.1), we have

$$\begin{aligned} & \bigl\Vert x_{n}-J_{\vartheta,\varPhi}^{H_{1}}H_{1}(x_{n}) \bigr\Vert \\ &\quad \leq \Vert x_{n}-y_{n} \Vert + \bigl\Vert y_{n}-J_{\vartheta,\varPhi }^{H_{1}}H_{1}(y_{n}) \bigr\Vert + \bigl\Vert J_{\vartheta,\varPhi}^{H_{1}}H_{1}(x_{n})-J_{\vartheta,\varPhi }^{H_{1}}H_{1}(y_{n}) \bigr\Vert \\ &\quad \leq2 \Vert x_{n}-y_{n} \Vert + \kappa_{n} \bigl\Vert x_{n}-J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n}) \bigr\Vert + \bigl\Vert J_{\mu_{n},\varPhi}^{H_{1}}H_{1}(x_{n})-J_{\vartheta,\varPhi }^{H_{1}}H_{1}(y_{n}) \bigr\Vert \\ &\quad = 2 \Vert x_{n}-y_{n} \Vert + \kappa_{n} \bigl\Vert x_{n}-J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n}) \bigr\Vert \\ &\qquad{} + \biggl\Vert J_{\vartheta,\varPhi}^{H_{1}} \biggl( \frac{\vartheta}{\mu _{n}}H_{1}(x_{n}) + \biggl(1- \frac{\vartheta}{\mu_{n}} \biggr)H_{1}J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n}) \biggr) -J_{\vartheta,\varPhi}^{H_{1}}H_{1}(y_{n}) \biggr\Vert \\ &\quad \leq2 \Vert x_{n}-y_{n} \Vert + \kappa_{n} \bigl\Vert x_{n}-J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n}) \bigr\Vert \\ &\qquad{}+\frac{1}{\xi_{H_{1}}} \biggl\{ \bigl\Vert H_{1}(x_{n})-H_{1}(y_{n}) \bigr\Vert + \biggl\vert \frac{\mu_{n}-\vartheta}{\mu_{n}} \biggr\vert \bigl\Vert H_{1}J_{\mu _{n},\varPhi}^{H_{1}}H_{1}(x_{n}) -H_{1}(x_{n}) \bigr\Vert \biggr\} \\ &\quad \leq3 \Vert x_{n}-y_{n} \Vert + \biggl( \frac{\mu_{n}-\vartheta}{\mu _{n}}+\kappa_{n} \biggr) \bigl\Vert J_{\mu_{n},\varPhi}^{H_{1}}H_{1}(x_{n})-x_{n} \bigr\Vert \\ &\quad = \biggl\{ 3+\frac{1}{(1-\kappa_{n})} \biggl(\frac{\mu_{n}-\vartheta }{\mu_{n}}+ \kappa_{n} \biggr) \biggr\} \Vert x_{n}-y_{n} \Vert . \end{aligned}$$

Since $\|x_{n}-y_{n}\|\rightarrow0$ as $n\rightarrow\infty$ (from (3.14)), we acquire that $\lim_{n\rightarrow\infty} \| x_{n}-J_{\vartheta,\varPhi}^{H_{1}}H_{1}(x_{n}) \|=0$.

Next, we compute $\|x_{n}-J_{\vartheta,\varPsi }^{H_{2}}H_{2}(x_{n}) \|$.

$$\begin{aligned} & \bigl\Vert x_{n}-J_{\vartheta,\varPsi}^{H_{2}}H_{2}(x_{n}) \bigr\Vert \\ &\quad \leq \bigl\Vert x_{n}-J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(x_{n}) \bigr\Vert + \bigl\Vert J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(x_{n})-J_{\vartheta,\varPsi }^{H_{2}}H_{2}(x_{n+1}) \bigr\Vert \\ &\qquad{}+ \bigl\Vert J_{\vartheta,\varPsi}^{H_{2}}H_{2}(x_{n+1})-J_{\vartheta ,\varPsi}^{H_{2}}H_{2}(x_{n}) \bigr\Vert \\ &\quad \leq \Vert x_{n+1}-x_{n} \Vert + \bigl\Vert x_{n}-J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(x_{n}) \bigr\Vert \\ &\qquad{}+ \biggl\Vert J_{\vartheta,\varPsi}^{H_{2}} \biggl( \frac{\vartheta}{\nu _{n}}H_{2}(x_{n}) + \biggl(1- \frac{\vartheta}{\nu_{n}} \biggr)H_{2}J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(x_{n}) \biggr) -J_{\vartheta,\varPsi}^{H_{2}}H_{2}(x_{n+1}) \biggr\Vert \\ &\quad \leq2 \Vert x_{n+1}-x_{n} \Vert + \biggl(2- \frac{\vartheta}{\nu_{n}} \biggr) \bigl\Vert x_{n}-J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(x_{n}) \bigr\Vert \\ &\quad \leq2 \Vert x_{n+1}-x_{n} \Vert \\ &\qquad{}+ \biggl(2-\frac{\vartheta}{\nu_{n}} \biggr) \bigl( \bigl\Vert x_{n}-J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) \bigr\Vert + \bigl\Vert J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(x_{n})-J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(y_{n}) \bigr\Vert \bigr) \\ &\quad \leq2 \Vert x_{n+1}-x_{n} \Vert + \biggl(2- \frac{\vartheta}{\nu_{n}} \biggr) \biggl\{ \biggl\Vert x_{n}- \biggl( \frac{x_{n+1}-\rho_{n}l-\sigma _{n}x_{n}}{\tau_{n}} \biggr) \biggr\Vert + \Vert x_{n}-y_{n} \Vert \biggr\} \\ &\quad \leq2 \Vert x_{n+1}-x_{n} \Vert + \biggl(2- \frac{\vartheta}{\nu_{n}} \biggr) \biggl\{ \frac{1}{\tau_{n}} \bigl( \Vert x_{n+1}-x_{n} \Vert +\rho_{n} \Vert x_{n}-l \Vert \bigr)+ \Vert x_{n}-y_{n} \Vert \biggr\} . \end{aligned}$$

Since $\|x_{n+1}-x_{n}\|\rightarrow0$ (from (3.11)), $\| x_{n}-y_{n}\|\rightarrow0$ (from (3.14)), and $\rho _{n}\rightarrow0$ (from ($\mathrm{C}_{2}$)) as $n\rightarrow\infty$, we acquire that $\lim_{n\rightarrow\infty} \| x_{n}-J_{\vartheta,\varPsi}^{H_{2}}H_{2}(x_{n}) \|=0$. Hence it follows from (3.15) that $\lim_{n\rightarrow\infty}\| W(x_{n})-x_{n}\|=0$.

Step 5. Our claim is $\limsup_{n\rightarrow\infty} \langle(I-Q_{\varOmega})l,\mathcal{J}(x_{n}-Q_{\varOmega}l) \rangle \leq0$. Define a sequence $\{x_{t}\}$ by $x_{t}=tl+(1-t)W(x_{t})$, $t\in (0,1)$. Then Theorem 2.4 ensures the strong convergence of $\{ x_{t}\}$ to $Q_{\varOmega}l\in\mathcal{F}(W)=\varOmega$. Now

$$\begin{aligned} & \Vert x_{t}-x_{n} \Vert ^{2} \\ &\quad = \bigl\Vert tl+(1-t)W(x_{t})-x_{n} \bigr\Vert ^{2} \\ &\quad = \bigl\Vert t(l-x_{n})+(1-t) \bigl(W(x_{t})-x_{n} \bigr) \bigr\Vert ^{2} \\ &\quad = \bigl\langle t(l-x_{n})+(1-t) \bigl(W(x_{t})-x_{n} \bigr),\mathcal {J}(x_{t}-x_{n}) \bigr\rangle \\ &\quad =t\bigl\langle l-x_{t},\mathcal{J}(x_{t}-x_{n}) \bigr\rangle +t\bigl\langle x_{t}-x_{n}, \mathcal{J}(x_{t}-x_{n})\bigr\rangle \\ &\qquad{}+(1-t) \bigl\{ \bigl\langle W(x_{t})-W(x_{n}), \mathcal{J}(x_{t}-x_{n})\bigr\rangle +\bigl\langle W(x_{n})-x_{n}, \mathcal{J}(x_{t}-x_{n}) \bigr\rangle \bigr\} \\ &\quad \leq t\bigl\langle l-x_{t},\mathcal{J}(x_{t}-x_{n}) \bigr\rangle +t \Vert x_{t}-x_{n} \Vert ^{2} \\ &\qquad{}+(1-t) \bigl\{ \bigl\Vert W(x_{t})-W(x_{n}) \bigr\Vert \Vert x_{t}-x_{n} \Vert + \bigl\Vert W(x_{n})-x_{n} \bigr\Vert \Vert x_{t}-x_{n} \Vert \bigr\} , \end{aligned}$$

which implies that

$$\begin{aligned} t&\bigl\langle l-x_{t},\mathcal{J}(x_{n}-x_{t}) \bigr\rangle \\ &\leq(1-t) \bigl\{ \bigl\Vert W(x_{t})-W(x_{n}) \bigr\Vert \Vert x_{t}-x_{n} \Vert - \Vert x_{t}-x_{n} \Vert ^{2} + \bigl\Vert W(x_{n})-x_{n} \bigr\Vert \Vert x_{t}-x_{n} \Vert \bigr\} \\ &\leq(1-t) \bigl\{ \Vert x_{t}-x_{n} \Vert ^{2}- \Vert x_{t}-x_{n} \Vert ^{2} + \bigl\Vert W(x_{n})-x_{n} \bigr\Vert \Vert x_{t}-x_{n} \Vert \bigr\} \\ &\leq \bigl\Vert W(x_{n})-x_{n} \bigr\Vert \Vert x_{t}-x_{n} \Vert . \end{aligned}$$

Let $L_{5}=\sup\{\|x_{t}-x_{n}\|:t\in(0,1),n\in\mathbb{N}\}$. Then

$$\begin{aligned} \bigl\langle l-x_{t},\mathcal{J}(x_{n}-x_{t}) \bigr\rangle \leq\frac{L_{5}}{t} \bigl\Vert W(x_{n})-x_{n} \bigr\Vert . \end{aligned}$$

Since $\|W(x_{n})-x_{n}\|\rightarrow0$ as $n\rightarrow\infty$, we acquire

$$\begin{aligned} \limsup_{n\rightarrow\infty}\bigl\langle l-x_{t},\mathcal {J}(x_{n}-x_{t})\bigr\rangle \leq0. \end{aligned}$$

(3.16)

By utilizing the fact that $x_{t}\rightarrow Q_{\varOmega}l$ as $t\rightarrow0^{+}$ and $\mathcal{J}$ is norm-to-weak^∗ uniformly continuous on bounded subsets of $\mathcal{B}$, we acquire

$$\begin{aligned} &\bigl\vert \bigl\langle (I-Q_{\varOmega})l,\mathcal{J}(x_{n}-Q_{\varOmega }l) \bigr\rangle -\bigl\langle l-x_{t},\mathcal{J}(x_{n}-x_{t}) \bigr\rangle \bigr\vert \\ &\quad = \bigl\vert \bigl\langle l-Q_{\varOmega}l,\mathcal{J}(x_{n}-Q_{\varOmega }l)- \mathcal{J}(x_{n}-x_{t}) \bigr\rangle + \bigl\langle x_{t}-Q_{\varOmega}l,\mathcal{J}(x_{n}-x_{t}) \bigr\rangle \bigr\vert \\ &\quad \leq \bigl\vert \bigl\langle l-Q_{\varOmega}l,\mathcal{J}(x_{n}-Q_{\varOmega }l)- \mathcal{J}(x_{n}-x_{t}) \bigr\rangle \bigr\vert +L_{5} \Vert x_{t}-Q_{\varOmega}l \Vert \\ &\quad \longrightarrow0 \quad \mbox{as } h\rightarrow0^{+}. \end{aligned}$$

For $\varepsilon>0$, there is $0<\delta<1$ such that

$$\begin{aligned} \bigl\langle (I-Q_{\varOmega})l,\mathcal{J}(x_{n}-Q_{\varOmega}l) \bigr\rangle < \bigl\langle l-x_{t},\mathcal{J}(x_{n}-x_{t}) \bigr\rangle +\varepsilon ,\quad \forall0< t< \delta. \end{aligned}$$

From (3.16), we acquire

$$\begin{aligned} \limsup_{n\rightarrow\infty} \bigl\langle (I-Q_{\varOmega})l,\mathcal {J}(x_{n}-Q_{\varOmega}l) \bigr\rangle \leq\limsup _{n\rightarrow\infty}\bigl\langle l-x_{t},\mathcal {J}(x_{n}-x_{t})\bigr\rangle +\varepsilon\leq \varepsilon. \end{aligned}$$

Since ε is arbitrary, we acquire that $\limsup_{n\rightarrow\infty} \langle(I-Q_{\varOmega})l,\mathcal {J}(x_{n}-Q_{\varOmega}l) \rangle \leq0$.

Step 6. Finally, our claim is $x_{n}\rightarrow Q_{\varOmega}l$ as $n\rightarrow\infty$. From (3.1), (3.4), Lemmas 2.6 and 2.9, it follows that

$$\begin{aligned} & \Vert x_{n+1}-Q_{\varOmega}l \Vert ^{2} \\ &\quad = \bigl\Vert \rho_{n}l+\sigma_{n}x_{n} +\tau_{n}J_{\nu_{n},\varPhi}^{H_{2}}H_{2}(y_{n})-Q_{\varOmega}l \bigr\Vert ^{2} \\ &\quad \leq \bigl\Vert \sigma_{n}(x_{n}-Q_{\varOmega}l)+ \tau_{n} \bigl(J_{\nu _{n},\varPsi}^{H_{2}}H_{2}(y_{n}) -Q_{\varOmega}l \bigr) \bigr\Vert ^{2} +2\rho_{n} \bigl\langle l-Q_{\varOmega}l,\mathcal{J}(x_{n+1}-Q_{\varOmega }l) \bigr\rangle \\ &\quad \leq(1-\sigma_{n}) \biggl\Vert \frac{\tau_{n}}{(1-\sigma_{n})} \bigl(J_{\nu_{n},\varPsi}^{H_{2}}H_{2}(y_{n}) -Q_{\varOmega}l \bigr) \biggr\Vert ^{2}+\sigma_{n} \Vert x_{n}-Q_{\varOmega}l \Vert ^{2} \\ &\qquad{}+2\rho_{n}\bigl\langle l-Q_{\varOmega}l, \mathcal{J}(x_{n+1}-Q_{\varOmega }l)\bigr\rangle \\ &\quad \leq\frac{\tau_{n}^{2}}{(1-\sigma_{n})} \Vert y_{n}-Q_{\varOmega}l \Vert ^{2}+\sigma_{n} \Vert x_{n} -Q_{\varOmega}l \Vert ^{2} +2\rho_{n}\bigl\langle l-Q_{\varOmega}l,\mathcal{J}(x_{n+1}-Q_{\varOmega }l)\bigr\rangle \\ &\quad \leq \biggl\{ \frac{\tau_{n}^{2}}{(1-\sigma_{n})}+\sigma_{n} \biggr\} \Vert x_{n}-Q_{\varOmega}l \Vert ^{2} +2 \rho_{n}\bigl\langle l-Q_{\varOmega}l,\mathcal{J}(x_{n+1}-Q_{\varOmega }l) \bigr\rangle \\ &\quad = \biggl\{ (1-\rho_{n})+\frac{\rho_{n}^{2}}{(1-\sigma_{n})}-\rho _{n} \biggr\} \Vert x_{n}-Q_{\varOmega}l \Vert ^{2} +2\rho_{n}\bigl\langle l-Q_{\varOmega }l, \mathcal{J}(x_{n+1}-Q_{\varOmega}l)\bigr\rangle \\ &\quad =(1-\rho_{n}) \Vert x_{n}-Q_{\varOmega}l \Vert ^{2} \\ &\qquad{}+\rho_{n} \biggl\{ \biggl(\frac{\rho_{n}}{1-\sigma_{n}}-1 \biggr) \Vert x_{n}-Q_{\varOmega}l \Vert ^{2} +2\bigl\langle l-Q_{\varOmega}l,\mathcal{J}(x_{n+1}-Q_{\varOmega}l) \bigr\rangle \biggr\} \\ &\quad =(1-\rho_{n}) \Vert x_{n}-Q_{\varOmega}l \Vert ^{2}+\eta_{n}. \end{aligned}$$

Evidently, $\sum_{n=1}^{\infty}\rho_{n}=\infty$, $\{\rho_{n}\} \subset(0,1)$ and $\limsup_{n\rightarrow\infty}\frac{\eta _{n}}{\rho_{n}}\leq0$. Hence, by Lemma 2.8, we acquire that $x_{n}\rightarrow Q_{\varOmega}l$ as $n\rightarrow\infty$. Thus, the proof is completed. □

In the next theorem, we prove the strong convergence of the sequence generated by the following Mann type viscosity approximation method:

$$\begin{aligned} \textstyle\begin{cases} u_{1}\in\mathcal{B}, \\ v_{n}=\kappa_{n}u_{n}+(1-\kappa_{n})J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(u_{n}), \\ u_{n+1}=\rho_{n}g(v_{n})+\sigma_{n}u_{n}+\tau_{n}J_{\nu_{n},\varPsi }^{H_{2}}H_{2}(v_{n}), \quad n\in\mathbb{N}. \end{cases}\displaystyle \end{aligned}$$

(3.17)

Theorem 3.3

Let $\mathcal{B}$ be a uniformly convex and uniformly smooth Banach space. Let $H_{1},H_{2}:\mathcal{B}\rightarrow\mathcal{B}$ be single-valued mappings such that $H_{1}$ is strongly accretive and Lipschitz continuous with constant $\xi_{H_{1}}$ and $H_{2}$ is strongly accretive and Lipschitz continuous with constant $\zeta _{H_{2}}$. Let $\varPhi, \varPsi:\mathcal{B}\rightarrow2^{\mathcal{B}}$ be $H_{1}$-accretive and $H_{2}$-accretive mappings, respectively; let $g:\mathcal{B}\rightarrow\mathcal{B}$ be a ϑ-contraction mapping, where $0< \vartheta<1$. Assume that $\varOmega:=\varPhi ^{-1}(0)\cap\varPsi^{-1}(0)\neq\emptyset$. Let the sequences $\{v_{n}\}$ and $\{u_{n}\}$ be generated by (3.17). Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm {C}_{4}$) of Theorem 3.2 are fulfilled. Then the sequence $\{ u_{n}\}$ converges strongly to $\tilde{u}=Q_{\varOmega}g(\tilde{u})\in \varOmega$.

Proof

Assume that ũ is a unique fixed point of $Q_{\varOmega}g$. Then $Q_{\varOmega}g(\tilde{u})=\tilde{u}$. If we put $g(\tilde{u})$ in place of l in (3.1), then Theorem 3.2 ensures the strong convergence of $\{x_{n}\}$ to $Q_{\varOmega}g(\tilde{u})=\tilde {u}$, i.e., $\lim_{n\rightarrow\infty}\|x_{n}-\tilde{u}\|=0$.

First, we demonstrate that $\lim_{n\rightarrow\infty}\|u_{n}-x_{n}\| =0$. We are assuming on the contrary that

$$\begin{aligned} \limsup_{n\rightarrow\infty} \Vert u_{n}-x_{n} \Vert >0. \end{aligned}$$

Then we can pick ε such that $0<\varepsilon<\limsup_{n\rightarrow\infty}\|u_{n}-x_{n}\|$. As $\{x_{n}\}$ is strongly convergent to ũ, so there exists $m^{\prime}\in\mathbb {N}$ such that

$$\begin{aligned} \Vert x_{n}-\tilde{u} \Vert < \biggl(\frac{1-\vartheta}{\vartheta} \biggr)\varepsilon,\quad \forall n\geq m^{\prime}. \end{aligned}$$

Now two possibilities arise.

• (P1) There exists $m\in\mathbb{N}$ with $m\geq m^{\prime}$ and $\|u_{m}-x_{m}\|\leq\varepsilon$;

• (P2) $\|u_{n}-x_{n}\|>\varepsilon$, $\forall n\geq m^{\prime}$.

In possibility (P1),

$$\begin{aligned} & \Vert u_{m+1}-x_{m+1} \Vert \\ &\quad = \bigl\Vert \rho_{m}g(v_{m})+\sigma_{m}u_{m} +\tau_{m}J_{\nu_{m},\varPsi}^{H_{2}}H_{2}(v_{m}) -\rho_{m}g(\tilde{u})-\sigma_{m}x_{m} - \tau_{m}J_{\nu_{m},\varPsi}^{H_{2}}H_{2}(y_{m}) \bigr\Vert \\ &\quad \leq\rho_{m}\vartheta \Vert v_{m}-\tilde{u} \Vert +\sigma_{m} \Vert u_{m}-x_{m} \Vert + \tau_{m} \Vert v_{m}-y_{m} \Vert \\ &\quad =\rho_{m}\vartheta \bigl\Vert \kappa_{m}u_{m}+(1- \kappa_{m})J_{\mu_{m},\varPhi }^{H_{1}}H_{1}(u_{m})- \tilde{u} \bigr\Vert +\sigma_{m} \Vert u_{m}-x_{m} \Vert \\ &\qquad{}+\tau_{m} \bigl\Vert \kappa_{m}u_{m}+(1- \kappa_{m})J_{\mu_{m},\varPhi }^{H_{1}}H_{1}(u_{m}) -\kappa_{m}x_{m}-(1-\kappa_{m})J_{\mu_{m},\varPhi }^{H_{1}}H_{1}(x_{m}) \bigr\Vert \\ &\quad \leq\rho_{m}\vartheta \Vert u_{m}-\tilde{u} \Vert +(\sigma_{m}+\tau_{m}) \Vert u_{m}-x_{m} \Vert \\ &\quad \leq\rho_{m}\vartheta \Vert x_{m}-\tilde{u} \Vert + \bigl(1-\rho _{m}(1-\vartheta) \bigr) \Vert u_{m}-x_{m} \Vert \\ &\quad \leq\rho_{m}(1-\vartheta)\varepsilon+ \bigl(1- \rho_{m}(1-\vartheta ) \bigr)\varepsilon=\varepsilon. \end{aligned}$$

By induction,

$$\begin{aligned} \Vert u_{n+1}-x_{n+1} \Vert \leq\varepsilon,\quad \forall n\geq m, \end{aligned}$$

which is a contradiction to $\varepsilon< \limsup_{n\rightarrow \infty}\|u_{n}-x_{n}\|$.

In possibility (P2), for all $n\geq m^{\prime}$, we acquire

$$\begin{aligned} &\Vert u_{n+1}-x_{n+1} \Vert \\ &\quad \leq\rho_{n}\vartheta \Vert v_{n}-\tilde{u} \Vert +\sigma_{n} \Vert u_{n}-x_{n} \Vert + \tau_{n} \Vert v_{n}-y_{n} \Vert \\ &\quad =\rho_{n}\vartheta \bigl\Vert \kappa_{n}u_{n}+(1- \kappa_{n})J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(u_{n})- \tilde{u} \bigr\Vert +\sigma_{n} \Vert u_{n}-x_{n} \Vert \\ &\qquad{}+\tau_{n} \bigl\Vert \kappa_{n}u_{n}+(1- \kappa_{n})J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(u_{n}) -\kappa_{n}x_{n}-(1-\kappa_{n})J_{\mu_{n},\varPhi }^{H_{1}}H_{1}(x_{n}) \bigr\Vert \\ &\quad \leq\rho_{n}\vartheta \Vert u_{n}-\tilde{u} \Vert +(\sigma_{n}+\tau_{n}) \Vert u_{n}-x_{n} \Vert \\ &\quad \leq \bigl(1-\rho_{n}(1-\vartheta) \bigr) \Vert u_{n}-x_{n} \Vert +\rho _{n}\vartheta \Vert x_{n}-\tilde{u} \Vert . \end{aligned}$$

By Lemma 2.8, we acquire that $\lim_{n\rightarrow\infty}\| u_{n}-x_{n}\|=0$, which is a contradiction. Therefore $\lim_{n\rightarrow\infty}\|u_{n}-x_{n}\|=0$, and hence

$$\begin{aligned} \lim_{n\rightarrow\infty} \Vert u_{n}-\tilde{u} \Vert \leq \lim_{n\rightarrow\infty} \Vert u_{n}-x_{n} \Vert +\lim_{n\rightarrow\infty} \Vert x_{n}-\tilde{u} \Vert =0. \end{aligned}$$

Thus, the proof is completed. □

4 Consequences

In this section, we deduce some consequences from our main results.

Corollary 4.1

Let $\mathcal{B}$ be a uniformly convex and uniformly smooth Banach space. Let $\varPhi,\varPsi:\mathcal{B}\rightarrow2^{\mathcal{B}}$ be m-accretive mappings, and let $g:\mathcal{B}\rightarrow\mathcal {B}$ be a ϑ-contraction mapping, where $0< \vartheta<1$. Assume that $\varOmega:=\varPhi^{-1}(0)\cap\varPsi^{-1}(0)\neq\emptyset$. Let the sequences $\{v_{n}\}$ and $\{u_{n}\}$ be generated by the following iterative scheme:

$$\begin{aligned} \textstyle\begin{cases} u_{1}\in\mathcal{B}, \\ v_{n}=\kappa_{n}u_{n}+(1-\kappa_{n})J_{\mu_{n},\varPhi}(u_{n}), \\ u_{n+1}=\rho_{n}g(v_{n})+\sigma_{n}u_{n}+\tau_{n}J_{\nu_{n},\varPsi }(v_{n}),\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(4.1)

where $J_{\mu_{n},\varPhi}(u_{n})=(I+\mu_{n}\varPhi)^{-1}(u_{n})$, $J_{\nu_{n},\varPsi}(v_{n})=(I+\nu_{n}\varPsi)^{-1}(v_{n})$, sequences $\{ \mu_{n}\}$, $\{\nu_{n}\}$ are in $\mathbb{R}_{+}$ and $\{\kappa _{n}\}$, $\{\rho_{n}\}$, $\{\sigma_{n}\}$, $\{\tau_{n}\}$ are in $[0,1]$ with $\rho_{n}+\sigma_{n}+\tau_{n}=1$, $n\in\mathbb{N}$. Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{4}$) of Theorem 3.2 are fulfilled. Then the sequence $\{u_{n}\}$ converges strongly to $\tilde {u}=Q_{\varOmega}g(\tilde{u})\in\varOmega$.

Proof

If we take $H_{1}\equiv H_{2}\equiv I$ in Theorem 3.3, then the conclusion holds. □

In the framework of Hilbert spaces, we have the following outcomes.

Corollary 4.2

Let $\mathcal{H}$ be a Hilbert space. Let $H_{1},H_{2}:\mathcal {B}\rightarrow\mathcal{B}$ be single-valued mappings such that $H_{1}$ is strongly monotone and Lipschitz continuous with constant $\xi_{H_{1}}$ and $H_{2}$ is strongly monotone and Lipschitz continuous with constant $\zeta_{H_{2}}$. Let $\varPhi,\varPsi:\mathcal {H}\rightarrow2^{\mathcal{H}}$ be $H_{1}$-monotone and $H_{2}$-monotone mappings, respectively, and let $g:\mathcal {H}\rightarrow\mathcal{H}$ be a ϑ-contraction mapping, where $0< \vartheta<1$. Assume that $\varOmega:=\varPhi^{-1}(0)\cap\varPsi ^{-1}(0)\neq\emptyset$. Let the sequences $\{v_{n}\}$ and $\{u_{n}\}$ be generated by the iterative scheme (3.17). Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{4}$) of Theorem 3.2 are fulfilled. Then the sequence $\{u_{n}\}$ converges strongly to $\tilde {u}=P_{\varOmega}g(\tilde{u})\in\varOmega$, where $P_{\varOmega}:\mathcal {H}\rightarrow\varOmega$ is a metric projection from $\mathcal{H}$ onto Ω.

For $H\equiv I$, the H-monotone mapping becomes maximal monotone mapping in Hilbert spaces. Hence we have the following outcome.

Corollary 4.3

Let $\mathcal{H}$ be a Hilbert space. Let $\varPhi,\varPsi:\mathcal {H}\rightarrow2^{\mathcal{H}}$ be maximal monotone mappings, and let $g:\mathcal{H}\rightarrow\mathcal{H}$ be a ϑ-contraction mapping, where $0< \vartheta<1$. Assume that $\varOmega:=\varPhi ^{-1}(0)\cap\varPsi^{-1}(0)\neq\emptyset$. Let the sequences $\{v_{n}\}$ and $\{u_{n}\}$ be generated by the iterative scheme (4.1). Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{4}$) of Theorem 3.2 are fulfilled. Then the sequence $\{u_{n}\}$ converges strongly to $\tilde{u}=P_{\varOmega}g(\tilde{u})\in\varOmega$.

5 Applications

In this section, firstly, we examine a few of applications based on convex minimization problem.

Theorem 5.1

Let $\mathcal{H}$ be a Hilbert space. Let $f_{1},f_{2}:\mathcal {H}\rightarrow(-\infty,+\infty]$ be proper mappings with convexity and lower semi-continuity, and let $g:\mathcal{H}\rightarrow\mathcal {H}$ be a ϑ-contraction mapping, where $0< \vartheta<1$. Assume that $\varOmega:=(\partial f_{1})^{-1}(0)\cap(\partial f_{2})^{-1}(0)\neq\emptyset$. Let the sequences $\{v_{n}\}$, $\{ w_{n}\}$, and $\{u_{n}\}$ be generated by the following iterative scheme:

$$\begin{aligned} \textstyle\begin{cases} u_{1}\in\mathcal{H}, \\ v_{n}=\kappa_{n}u_{n}+(1-\kappa_{n})\operatorname*{argmin}_{y\in\mathcal{H}} \{f_{1}(y)+\frac{1}{2\mu_{n}} \Vert u_{n}-y \Vert ^{2} \}, \\ w_{n}=\operatorname*{argmin}_{y\in\mathcal{H}} \{f_{2}(y)+\frac{1}{2\nu _{n}} \Vert v_{n}-y \Vert ^{2} \}, \\ u_{n+1}=\rho_{n}g(v_{n})+\sigma_{n}u_{n}+\tau_{n}w_{n},\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(5.1)

where sequences $\{\mu_{n}\}$, $\{\nu_{n}\}$ are in $\mathbb{R}_{+}$ and sequences $\{\kappa_{n}\}$, $\{\rho_{n}\}$, $\{\sigma_{n}\}$, $\{ \tau_{n}\}$ are in $[0,1]$ with $\rho_{n}+\sigma_{n}+\tau _{n}=1$, $n\in\mathbb{N}$. Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{4}$) of Theorem 3.2 are fulfilled. Then the sequence $\{u_{n}\}$ converges strongly to $\tilde {u}=P_{\varOmega}g(\tilde{u})\in\varOmega$.

Proof

From (5.1), we can write

$$\begin{aligned} \frac{v_{n}-\kappa_{n}u_{n}}{(1-\kappa_{n})}=\operatorname*{argmin}_{y\in\mathcal {H}} \biggl\{ f_{1}(y)+\frac{1}{2\mu_{n}} \Vert u_{n}-y \Vert ^{2} \biggr\} . \end{aligned}$$

(5.2)

For a proper mapping with convexity and lower semi-continuity, the subdifferential mapping is maximal monotone (see [26]). Thus $\partial f_{1}$ and $\partial f_{2}$ are maximal monotone in $\mathcal {H}$. Hence (5.2) is equivalent to

$$\begin{aligned} u_{n}\in \biggl(\frac{v_{n}-\kappa_{n}u_{n}}{1-\kappa_{n}} \biggr) +\mu_{n} \partial f_{1} \biggl(\frac{v_{n}-\kappa_{n}u_{n}}{1-\kappa _{n}} \biggr), \end{aligned}$$

that is,

$$\begin{aligned} v_{n}=\kappa_{n}u_{n}+(1- \kappa_{n})J_{\mu_{n},\partial f_{1}}(u_{n}),\quad \mbox{with } J_{\mu_{n},\partial f_{1}}(u_{n})=(I+\mu_{n}\partial f_{1})^{-1}(u_{n}), \end{aligned}$$

and

$$\begin{aligned} w_{n}=\operatorname*{argmin}_{y\in\mathcal{H}} \biggl\{ f_{2}(y)+ \frac{1}{2\nu _{n}} \Vert v_{n}-y \Vert ^{2} \biggr\} \end{aligned}$$

is equivalent to

$$\begin{aligned} v_{n}\in w_{n}+\nu_{n}\partial f_{2}(w_{n}),\quad \mbox{i.e.}, w_{n} =J_{\nu_{n},\partial f_{2}}(v_{n}), \mbox{with } J_{\nu_{n},\partial f_{2}}(v_{n})=(I+ \nu_{n}\partial f_{2})^{-1}(v_{n}). \end{aligned}$$

Therefore,

$$\begin{aligned} u_{n+1}=\rho_{n}g(v_{n})+ \sigma_{n}u_{n}+\tau_{n}J_{\nu _{n},\partial f_{2}}(v_{n}). \end{aligned}$$

With the assistance of Corollary 4.3, including $\varPhi=\partial f_{1}$ and $\varPsi=\partial f_{2}$, we get the strong convergence of $\{ u_{n}\}$ to a point $\tilde{u}\in\varOmega$, which is the conclusion. □

Corollary 5.2

Let $\mathcal{H}$ be a Hilbert space. Let $f:\mathcal{H}\rightarrow (-\infty,+\infty]$ be a proper mapping with convexity and lower semi-continuity, and let $g:\mathcal{H}\rightarrow\mathcal{H}$ be a ϑ-contraction mapping, where $0< \vartheta<1$. Assume that $\varOmega:=(\partial f)^{-1}(0)\neq\emptyset$. Let the sequences $\{ v_{n}\}$ and $\{u_{n}\}$ be generated by the following iterative scheme:

$$\begin{aligned} \textstyle\begin{cases} u_{1}\in\mathcal{H}, \\ v_{n}=\kappa_{n}u_{n}+(1-\kappa_{n})\operatorname*{argmin}_{y\in\mathcal{H}} \{f(y)+\frac{1}{2\mu_{n}} \Vert u_{n}-y \Vert ^{2} \}, \\ u_{n+1}=\rho_{n}g(v_{n})+\sigma_{n}u_{n}+\tau_{n}v_{n},\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(5.3)

where $\{\mu_{n}\}\subset\mathbb{R}_{+}$ and sequences $\{\kappa _{n}\}$, $\{\rho_{n}\}$, $\{\sigma_{n}\}$, $\{\tau_{n}\}$ are in $[0,1]$ with $\rho_{n}+\sigma_{n}+\tau_{n}=1$, $n\in\mathbb {N}$. Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{4}$) of Theorem 3.2 are fulfilled. Then the sequence $\{u_{n}\}$ converges strongly to $\tilde{u}=P_{\varOmega}g(\tilde{u})\in\varOmega$.

For a nonempty, convex, and closed subset $\mathcal{C}$ of a Hilbert space $\mathcal{H}$, the indicator function symbolized by $\mathcal {I}_{\mathcal{C}}$ is defined by

$$\begin{aligned} \mathcal{I}_{\mathcal{C}}(y)= \textstyle\begin{cases} 0,&\mbox{if }y\in\mathcal{C}, \\ +\infty,&\mbox{if }y\notin\mathcal{C}, \end{cases}\displaystyle \end{aligned}$$

and the normal cone for $\mathcal{C}$ symbolized by $\mathcal {N}_{\mathcal{C}}$ at $y\in\mathcal{C}$ is defined by

$$\begin{aligned} \mathcal{N}_{\mathcal{C}}(y)=\bigl\{ x\in\mathcal{H}:\langle z-y,x\rangle \leq0, \forall z\in\mathcal{C}\bigr\} . \end{aligned}$$

Theorem 5.3

Let $\mathcal{C}_{1}$ and $\mathcal{C}_{2}$ be nonempty, convex, and closed subsets of a Hilbert space $\mathcal{H}$. Let $g:\mathcal {H}\rightarrow\mathcal{H}$ be a ϑ-contraction mapping, where $0< \vartheta<1$. Let $P_{\mathcal{C}_{1}}:\mathcal {H}\rightarrow\mathcal{C}_{1}$ and $P_{\mathcal{C}_{2}}:\mathcal {H}\rightarrow\mathcal{C}_{2}$ be projections. Assume that $\varOmega :=\mathcal{C}_{1}\cap\mathcal{C}_{2}\neq\emptyset$. Let the sequences $\{v_{n}\}$ and $\{u_{n}\}$ be generated by the following iterative scheme:

$$\begin{aligned} \textstyle\begin{cases} u_{1}\in\mathcal{H}, \\ v_{n}=\kappa_{n}u_{n}+(1-\kappa_{n})P_{\mathcal{C}_{1}}(u_{n}), \\ u_{n+1}=\rho_{n}g(v_{n})+\sigma_{n}u_{n}+\tau_{n}P_{\mathcal {C}_{2}}(v_{n}),\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(5.4)

where sequences $\{\kappa_{n}\}$, $\{\rho_{n}\}$, $\{\sigma_{n}\}$, and $\{\tau_{n}\}$ are in $[0,1]$ with $\rho_{n}+\sigma_{n}+\tau _{n}=1$, $n\in\mathbb{N}$. Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{3}$) of Theorem 3.2 are fulfilled. Then the sequence $\{u_{n}\}$ converges strongly to $\tilde {u}=P_{\varOmega}g(\tilde{u})\in\varOmega$.

Proof

Since indicator functions $\mathcal{I}_{\mathcal{C}_{1}}$ and $\mathcal{I}_{\mathcal{C}_{2}}$ of $\mathcal{C}_{1}$ and $\mathcal {C}_{2}$, respectively, are proper mappings with convexity and lower semi-continuity and $\operatorname*{argmin}\mathcal{I}_{\mathcal{C}_{1}}=\mathcal {C}_{1}$ and $\operatorname*{argmin}\mathcal{I}_{\mathcal{C}_{2}}=\mathcal {C}_{2}$, therefore

$$\begin{aligned} \varOmega=\mathcal{C}_{1}\cap\mathcal{C}_{2}=\operatorname*{argmin}\mathcal {I}_{\mathcal{C}_{1}}\cap \operatorname*{argmin}\mathcal{I}_{\mathcal{C}_{2}}. \end{aligned}$$

With the assistance of Theorem 5.1 including $f_{1}=\mathcal {I}_{\mathcal{C}_{1}}$ and $f_{2}=\mathcal{I}_{\mathcal{C}_{2}}$ and for all convex closed subset $\mathcal{C}$ in $\mathcal{H}$ and for all $\mu\in\mathbb{R}_{+}$, $P_{\mathcal{C}}=(I+\mu\partial \mathcal{I}_{\mathcal{C}})^{-1}=(I+\mu\mathcal{N}_{\mathcal {C}})^{-1}$, we secure the conclusion. □

Next, we evaluate a common solution of the variational inequality problem and convex minimization problem.

For a nonempty, convex, and closed subset $\mathcal{C}$ of a Hilbert space $\mathcal{H}$ and for a single-valued monotone and hemi-continuous mapping $\varPhi: \mathcal{C}\rightarrow\mathcal{H}$, the variational inequality problem is to seek a point $y\in\mathcal {C}$ such that the following inequality is fulfilled:

$$\begin{aligned} \bigl\langle z-y,\varPhi(y)\bigr\rangle \geq0,\quad\forall z\in \mathcal{C}. \end{aligned}$$

(5.5)

$\mathtt{VI}(\mathcal{C},\varPhi)$ stands for the solution set of the variational inequality problem (5.5).

Theorem 5.4

Let $\mathcal{C}$ be a nonempty, convex, and closed subset of a Hilbert space $\mathcal{H}$. Let $f:\mathcal{H}\rightarrow(-\infty ,+\infty]$ be a proper mapping with convexity and lower semi-continuity, and let $\varPhi:\mathcal{C}\rightarrow\mathcal{H}$ be a monotone and hemi-continuous mapping. Assume that $\varOmega :=\partial f^{-1}(0)\cap\mathtt{VI}(\mathcal{C},\varPhi)\neq\emptyset$. Let the sequences $\{v_{n}\}$, $\{w_{n}\}$, and $\{u_{n}\}$ be generated by the following iterative scheme:

$$\begin{aligned} \textstyle\begin{cases} u_{1}\in\mathcal{H}, \\ v_{n}=\kappa_{n}u_{n}+(1-\kappa_{n})\operatorname*{argmin}_{y\in\mathcal{H}} \{f_{1}(y)+\frac{1}{2\mu_{n}} \Vert u_{n}-y \Vert ^{2} \}, \\ w_{n}=\mathtt{VI}(\mathcal{C},\nu_{n}\varPhi+I-v_{n}), \\ u_{n+1}=\rho_{n}g(v_{n})+\sigma_{n}u_{n}+\tau_{n}w_{n},\quad n\in \mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(5.6)

where sequences $\{\mu_{n}\}$, $\{\nu_{n}\}$ are in $\mathbb{R}_{+}$ and sequences $\{\kappa_{n}\}$, $\{\rho_{n}\}$, $\{\sigma_{n}\}$, $\{ \tau_{n}\}$ are in $[0,1]$ with $\rho_{n}+\sigma_{n}+\tau _{n}=1$, $n\in\mathbb{N}$. Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{4}$) of Theorem 3.2 are fulfilled. Then the sequence $\{u_{n}\}$ converges strongly to $\tilde {u}=P_{\varOmega}g(\tilde{u})\in\varOmega$.

Proof

Define a mapping $\mathcal{T}\subset\mathcal{H}\times\mathcal{H}$ by

$$\begin{aligned} \mathcal{T}(y)= \textstyle\begin{cases} \varPhi(y)+\mathcal{N}_{\mathcal{C}}(y),&\mbox{if }y\in\mathcal{C}, \\ \emptyset,&\mbox{if }y\notin\mathcal{C}. \end{cases}\displaystyle \end{aligned}$$

From [27], we know that $\mathcal{T}$ is maximal monotone, and $\mathcal{T}^{-1}(0)=\mathtt{VI}(\mathcal{C},\varPhi)$.

From (5.5) and (5.6), we can easily observe that

$$\begin{aligned} w_{n}&=\mathtt{VI}(\mathcal{C},\nu_{n} \varPhi+I-v_{n})\quad \Leftrightarrow\quad \bigl\langle z-w_{n}, \nu_{n}\varPhi(w_{n})+w_{n}-v_{n} \bigr\rangle \geq0,\quad \forall z\in\mathcal{C}, \end{aligned}$$

which gives

$$\begin{aligned} -\nu_{n}\varPhi(w_{n})-w_{n}+v_{n} \in\nu_{n}\mathcal{N}_{\mathcal {C}}(w_{n}),\quad \mbox{i.e.}, w_{n}=(I+\nu_{n}\mathcal {T})^{-1}(v_{n})=J_{\nu_{n},\mathcal{T}}(v_{n}). \end{aligned}$$

With the assistance of Corollary 4.3 and the proof of Theorem 5.1, we obtain the conclusion. □

Finally, we derive an application to equilibrium problem which is as follows:

Let $\mathcal{C}$ be a nonempty, convex, and closed subset of a Hilbert space $\mathcal{H}$. Let $\varTheta:\mathcal{C}\times\mathcal {C}\rightarrow\mathbb{R}$ be a bi-function. The equilibrium problem is to seek a point $y\in\mathcal{C}$ such that the following inequality is fulfilled:

$$\begin{aligned} \varTheta(y,z)\geq0,\quad\forall z\in\mathcal{C}. \end{aligned}$$

(5.7)

Let the solution set of equilibrium problem be identified by $\mathtt {EP}(\varTheta)$. To study problem (5.7), suppose that the following conditions are fulfilled by Θ:

($\mathrm{E}_{1}$):

For all $z\in\mathcal{C}$, $\varTheta(z,z)=0$;

($\mathrm{E}_{2}$):

Θ is monotone, i.e., for all $y,z\in\mathcal{C}$, $\varTheta(y,z)+\varTheta(z,y)\leq0$;

($\mathrm{E}_{3}$):

$\lim_{t\downarrow0}\varTheta ((1-t)y+tw,z)\leq\varTheta(y,z)$ for each $y,z,w\in\mathcal{C}$;

($\mathrm{E}_{4}$):

For each $y\in\mathcal{C}$, $z\longmapsto\varTheta(y,z)$ is convex and lower semi-continuous.

Lemma 5.5

([32])

Let $\mathcal{C}$ be a nonempty, convex, and closed subset of a Hilbert space $\mathcal{H}$. Let $\varTheta:\mathcal{C}\times\mathcal {C}\rightarrow\mathbb{R}$ be a bi-function which fulfills ($\mathrm{E}_{1}$)–($\mathrm{E}_{4}$). Then a set-valued mapping $A_{\varTheta}:\mathcal{H}\rightarrow2^{\mathcal{H}}$ defined by

$$\begin{aligned} A_{\varTheta}(y)= \textstyle\begin{cases} \{w\in\mathcal{H}:\langle z-y,w\rangle\leq\varTheta(y,z), \forall z\in\mathcal{C}\},& y\in\mathcal{C}, \\ \emptyset,& y\notin\mathcal{C} \end{cases}\displaystyle \end{aligned}$$

is maximal monotone with $\mathtt{dom}(A_{\varTheta})\subset\mathcal {C}$, $\mathtt{EP}(\varTheta)=A_{\varTheta}^{-1}(0)$, and the resolvent $\mathcal{T}_{\mu,A_{\varTheta}}=(I+\mu A_{\varTheta})^{-1}$ affiliated with $A_{\varTheta}$ is defined by

$$\begin{aligned} \mathcal{T}_{\mu,A_{\varTheta}}(y)= \biggl\{ w\in\mathcal{C}:\varTheta (w,z)+ \frac{1}{\mu}\langle z-w,w-y\rangle\geq0, \forall z\in \mathcal{C} \biggr\} ,\quad\forall y\in\mathcal{H}. \end{aligned}$$

Theorem 5.6

Let $\mathcal{C}$ be a nonempty, convex, and closed subset of a Hilbert space $\mathcal{H}$. Let $\varTheta_{1},\varTheta_{2}:\mathcal {C}\times\mathcal{C}\rightarrow\mathbb{R}$ be bi-functions which fulfill ($\mathrm{E}_{1}$)–($\mathrm{E}_{4}$), and let $g:\mathcal {H}\rightarrow\mathcal{H}$ be a ϑ-contraction mapping, where $0< \vartheta<1$. Assume that $\varOmega:=\mathtt{EP}(\varTheta _{1})\cap\mathtt{EP}(\varTheta_{2})\neq\emptyset$. Let the sequences $\{v_{n}\}$ and $\{u_{n}\}$ be generated by the following iterative scheme:

$$\begin{aligned} \textstyle\begin{cases} u_{1}\in\mathcal{H}, \\ v_{n}=\kappa_{n}u_{n}+(1-\kappa_{n})\mathcal{T}_{\mu_{n},A_{\varTheta _{1}}}(u_{n}), \\ u_{n+1}=\rho_{n}g(v_{n})+\sigma_{n}u_{n}+\tau_{n}\mathcal{T}_{\nu _{n},A_{\varTheta_{2}}}(v_{n}),\quad n\in\mathbb{N}, \end{cases}\displaystyle \end{aligned}$$

(5.8)

where sequences $\{\mu_{n}\}$, $\{\nu_{n}\}$ are in $\mathbb{R}_{+}$ and sequences $\{\kappa_{n}\}$, $\{\rho_{n}\}$, $\{\sigma_{n}\}$, $\{ \tau_{n}\}$ are in $[0,1]$ with $\rho_{n}+\sigma_{n}+\tau_{n}=1$, $n\in\mathbb {N}$. Assume that conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{4}$) of Theorem 3.2 are fulfilled. Then the sequence $\{u_{n}\}$ converges strongly to $\tilde{u}=P_{\varOmega}g(\tilde{u})\in\varOmega$.

Proof

With the assistance of Corollary 4.3 and Lemma 5.5, we obtain the conclusion. □

6 Numerical implementation

Firstly, we discuss a numerical example to demonstrate the implementation of iterative schemes (3.1) and (3.17) in Theorem 3.2 and Theorem 3.3, respectively. Matlab R2012a is used for writing all the codes, and it is running on Lenovo Core(TM) i5-2320 CPU @ 3.00 GHz with 4 GB RAM.

Example 6.1

Let $\mathcal{B}=\mathbb{R}$, with the usual norm $|\cdot|$. Let us define $\varPhi,\varPsi:\mathbb{R}\rightarrow2^{\mathbb{R}}$ by $\varPhi (y)=\{3y\}$ and $\varPsi(y)=\{4y\}$, and $H_{1},H_{2}:\mathbb {R}\rightarrow\mathbb{R}$ by $H_{1}(y)=2y$ and $H_{2}(y)=\frac {y}{3}$ for all $y\in\mathbb{R}$. Easily, we can check that $H_{1}$ is strongly accretive and Lipschitz continuous with constant 2; $H_{2}$ is strongly accretive and Lipschitz continuous with constant $\frac {1}{3}$; Φ is $H_{1}$-accretive and Ψ is $H_{2}$-accretive. We observe that $\varOmega=\varPhi^{-1}(0)\cap\varPsi^{-1}(0)=\{0\}$. On setting, for all $n\in\mathbb{N}$, $\kappa_{n}=\frac{3n+2}{6n}$, $\mu _{n}=\frac{2n+3}{n+1}=\nu_{n}$, $\rho_{n}=\frac{1}{n+1}$, $\sigma_{n}=\frac{1}{3}$, $\tau_{n}=\frac{2n-1}{3(n+1)}$, all conditions ($\mathrm{C}_{1}$)–($\mathrm{C}_{4}$) of Theorem 3.2 are fulfilled. Now we consider two cases:

Case I. For the iterative scheme (3.1) of Theorem 3.2, let $l=0.01$. Then the sequence $\{x_{n}\}$ obtained from (3.1) strongly converges to $Q_{\varOmega}(0.01)=0$. For $x_{1}=-0.4$, the convergence of $\{x_{n}\}$ and behavior of error $\|x_{n+1}-x_{n}\|$ are numerically shown in Table 1 and graphically in Figures 1a and 1b, respectively.

Figure 1

Example 6.1, Case I with $x_{1}=-0.4$

Table 1 Numerical outcomes of Example 6.1

Case II. For the iterative scheme (3.17) of Theorem 3.3, let $g(y)=\frac{y}{4}$ for all $y\in\mathbb {R}$. Then Table 1 and Fig. 2a ensures the strong convergence of the sequence $\{ u_{n}\}$ obtained from (3.17) to $\tilde{u}=Q_{\varOmega }(g(\tilde{u}))=0$ for $u_{1}=0.5$. The graphical representation of error $\|u_{n+1}-u_{n}\|$ is displayed in Fig. 2b.

Figure 2

Example 6.1, Case II with $u_{1}=0.5$

Next, we discuss another numerical example for the iterative scheme (5.1) in Theorem 5.1.

Example 6.2

Let $\mathcal{H}=\mathbb{R}^{3}$, with the inner product defined by $\langle y,z \rangle=y_{1}z_{1}+y_{2}z_{2}+y_{3}z_{3}$, $\forall y=(y^{1},y^{2},y^{3}),z=(z^{1},z^{2},z^{3})\in\mathbb{R}^{3}$ and induced Euclidean norm. For $k=1,2$, define $f_{k}:\mathbb {R}^{3}\rightarrow(-\infty,+\infty]$ as follows:

$$\begin{aligned} f_{k}(y)=\langle M_{k}y,y\rangle+ \frac{\langle N_{k},y\rangle }{2}+C_{k},\quad k=1,2, \end{aligned}$$

(6.1)

with

$$\begin{array}{rl}& M_1=\left(\begin{array}{ccc}3& -3& -3\\ -3& 3& 3\\ -3& 3& 3\end{array}\right),N_1=\left(\begin{array}{ccc}12& -12& -12\end{array}\right),\\ & M_2=\left(\begin{array}{ccc}0& 0& 0\\ 0& 3& 3\\ 0& 3& 3\end{array}\right),N_2=\left(\begin{array}{ccc}0& -12& -12\end{array}\right),C_1,C_2\text{ are any constants}.\end{array}$$

It can be easily demonstrated that $f_{1}$ and $f_{2}$ are proper mappings with convexity and continuity. In Theorem 5.1, we seek a point $\tilde{u}\in\varOmega=(\partial f_{1})^{-1}(0)\cap(\partial f_{2})^{-1}(0)$, equivalently, $\tilde{u}\in\varOmega=\operatorname*{argmin}_{y\in \mathbb{R}^{3}}f_{1}(y)\cap \operatorname*{argmin}_{y\in\mathbb{R}^{3}}f_{2}(y)$, where $f_{1},f_{2}:\mathbb{R}^{3}\rightarrow(-\infty,+\infty]$ are proper mappings with convexity and lower semi-continuity. For $f_{k}$, $k=1,2$, as defined in (6.1),

$$\begin{aligned} \varOmega=\bigl\{ (y_{1},y_{2},y_{3})\in\mathbb {R}^{3}:y_{1}=0, y_{2}+y_{3}=1 \bigr\} . \end{aligned}$$

By taking, for all $n\in\mathbb{N}$, $\kappa_{n}=\frac {9n+8}{72n}$, $\mu_{n}=\frac{2n+3}{n+1}=\nu_{n}$, $\rho_{n}=\frac{1}{n+1}$, $\sigma_{n}=\frac{1}{9}$, $\tau_{n}=\frac{8n-1}{9(n+1)}$, it can be easily verified that all conditions ($\mathrm{C}_{1}$)–($\mathrm {C}_{4}$) of Theorem 5.1 are fulfilled. Now two cases may occur:

Case I. If $g(y)=(-0.5,1,0.5)$ for all $y\in\mathbb {R}^{3}$, then the sequence $\{u_{n}\}$ obtained from (5.1) strongly converges to $\tilde{u}= P_{\varOmega }(-0.5,1,0.5)=(0,0.75,0.25)$ for $u_{1}=(-2,1,2)$. The numerical and graphical demonstration of convergence of the sequence $\{u_{n}\}$ and the behavior of error $\|u_{n+1}-u_{n}\|_{2}$ are displayed in Table 2 and Fig. 3, respectively.

Figure 3

Example 6.2, Case I with $u_{1}=(-2,1,2)$

Table 2 Numerical outcomes of Example 6.2

Case II. If $g(y)=\frac{y+1}{16}$ for all $y\in \mathbb{R}^{3}$, then the sequence $\{u_{n}\}$ obtained from (5.1) strongly converges to $\tilde{u}=P_{\varOmega}g(\tilde {u})=(0,0.5,0.5)$ for $u_{1}=(0,1,2)$. The convergence of $\{u_{n}\}$ and the behavior of error $\|u_{n+1}-u_{n}\|_{2}$ are presented numerically in Table 2 and graphically in Fig. 4.

Figure 4

Example 6.2, Case II with $u_{1}=(0,1,2)$

7 Conclusion

In this manuscript, we have introduced two iterative methods for finding the common zeros of two H-accretive mappings in the framework of Banach spaces. These iterative methods are based on Mann and Halpern iterative methods and viscosity approximation method. It is easy to observe that for $\kappa_{n}=0$, $n\in\mathbb{N}$, our proposed iterative methods consist of method of alternating resolvents, and hence our work extends the methods developed by Bauschke et al. [2], Boikanyo et al. [4], and Liu et al. [19]. We have demonstrated the strong convergence results of the sequences generated by our proposed iterations. Further, we have examined some applications which are based on convex minimization problem, variational inequality problem, and equilibrium problem. Finally, we have presented some numerical examples for implementation of our main results and application.