# A hybrid iterative method for a common solution of variational inequalities, generalized mixed equilibrium problems, and hierarchical fixed point problems

## Abstract

In this paper, we suggest and analyze an iterative method for finding a common solution of variational inequalities, a generalized mixed equilibrium problem, and a hierarchical fixed point problem in the setting of a real Hilbert space. Under suitable conditions, we prove the strong convergence theorem. Several special cases are also discussed. The results presented in this paper extend and improve some well-known results in the literature.

## Introduction

Let H be a real Hilbert space whose inner product and norm are denoted by $$\langle\cdot,\cdot\rangle$$ and $$\|\cdot\|$$. Let C be a nonempty, closed, and convex subset of H. Let $$F:C\times C\rightarrow R$$ be a bifunction, $$D:C \rightarrow H$$ be a nonlinear mapping, and $$\varphi:C\rightarrow R$$ be a function. Recently, Peng and Yao  considered the generalized mixed equilibrium problem (GMEP) which involves finding $$x\in C$$ such that

\begin{aligned} F(x,y)+\varphi(y)-\varphi(x)+\langle Dx, y-x\rangle\geq0, \quad \forall y\in C. \end{aligned}
(1.1)

The set of solutions of (1.1) is denoted by $$GMEP(F,\varphi,D)$$. The GMEP is very general in the sense that it includes, as special cases, optimization problems, variational inequalities, minimax problems, and Nash equilibrium problems; see, for example, . For instance, we refer to  for a general system generalized equilibrium problems.

If $$D=0$$, then the generalized mixed equilibrium problem (GMEP) (1.1) becomes the following mixed equilibrium problem (MEP): Find $$x\in C$$ such that

\begin{aligned} F(x,y)+\varphi(y)-\varphi(x)\geq0, \quad \forall y\in C. \end{aligned}
(1.2)

Problem (1.2) was studied by Ceng and Yao . The set of solutions of (1.2) is denoted by $$MEP(F,\varphi)$$.

If $$\varphi=0$$, then the generalized mixed equilibrium problem (GMEP) (1.1) becomes the following generalized equilibrium problem (GEP): Find $$x\in C$$ such that

\begin{aligned} F(x,y)+\langle Dx, y-x\rangle\geq0, \quad \forall y\in C. \end{aligned}
(1.3)

Problem (1.3) was studied by Takahashi and Takahashi . The set of solutions of (1.3) is denoted by $$GEP(F,D)$$.

If $$\varphi=0$$ and $$D=0$$, then the generalized mixed equilibrium problem (GMEP) (1.1) becomes the following equilibrium problem (EP): Find $$x\in C$$ such that

\begin{aligned} F(x,y)\geq0, \quad\forall y\in C. \end{aligned}
(1.4)

The solution set of (1.4) is denoted by $$EP(F)$$. Numerous problems in physics, optimization, and economics reduce to finding a solution of (1.4); see [9, 10].

Let $$A: C\rightarrow H$$, and let $$F(x,y)=\langle Ax,y-x\rangle$$, $$\forall x,y\in C$$. Then $$x\in EP(F)$$ if and only if $$\langle Ax,y-x\rangle\geq0$$, $$\forall y\in C$$, which is a classical variational inequality problem (VIP): Find a vector $$u\in C$$ such that

\begin{aligned} \langle v-u,Au\rangle,\quad \forall v\in C. \end{aligned}
(1.5)

The solution set of (1.5) is denoted by $$VI(C,A)$$. It is easy to observe that

\begin{aligned} u^{\ast}\in VI(C,A) \quad\Longleftrightarrow\quad u^{\ast}=P_{C} \bigl[u^{\ast}-\rho A u^{\ast}\bigr], \quad\mbox{where }\rho>0. \end{aligned}

We now have a variety of techniques to suggest and analyze various iterative algorithms for solving variational inequalities and related optimization problems; see . The fixed point theory has played an important role in the development of various algorithms for solving variational inequalities. Using the projection operator technique, one usually establishes an equivalence between variational inequalities and fixed point problems. We introduce the following definitions, which are useful in the following analysis.

### Definition 1.1

The mapping $$T:C\rightarrow H$$ is said to be

1. (a)

monotone if

\begin{aligned} \langle Tx-Ty, x-y\rangle\geq0, \quad\forall x,y\in C; \end{aligned}
2. (b)

strongly monotone if there exists $$\alpha>0$$ such that

\begin{aligned} \langle Tx-Ty, x-y\rangle\geq\alpha\|x-y\|^{2}, \quad\forall x,y\in C; \end{aligned}
3. (c)

α-inverse strongly monotone if there exists $$\alpha>0$$ such that

\begin{aligned} \langle Tx-Ty, x-y\rangle\geq\alpha\|Tx-Ty\|^{2},\quad \forall x,y\in C; \end{aligned}
4. (d)

nonexpansive if

\begin{aligned} \|Tx-Ty\|\leq\|x-y\|, \quad\forall x,y\in C; \end{aligned}
5. (e)

k-Lipschitz continuous if there exists a constant $$k>0$$ such that

\begin{aligned} \|Tx-Ty\|\leq k\|x-y\|,\quad \forall x,y\in C; \end{aligned}
6. (f)

a contraction on C if there exists a constant $$0\leq k\leq1$$ such that

\begin{aligned} \|Tx-Ty\|\leq k\|x-y\|,\quad \forall x,y\in C. \end{aligned}

It is easy to observe that every α-inverse strongly monotone T is monotone and Lipschitz continuous. It is well known that every nonexpansive operator $$T:H\rightarrow H$$ satisfies, for all $$(x,y)\in H\times H$$, the inequality

\begin{aligned} \bigl\langle (x-Tx)-(y-Ty),Ty-Tx \bigr\rangle \leq\frac{1}{2} \bigl\| (Tx-x)-(Ty-y)\bigr\| ^{2}, \end{aligned}
(1.6)

and therefore, we get, for all $$(x,y)\in H\times \operatorname{Fix}(T)$$,

\begin{aligned} \langle x-Tx,y-Tx\rangle\leq\frac{1}{2}\|Tx-x \|^{2}. \end{aligned}
(1.7)

The fixed point problem for the mapping T is to find $$x\in C$$ such that

\begin{aligned} Tx=x. \end{aligned}
(1.8)

We denote by $$F(T)$$ the set of solutions of (1.8). It is well known that $$F(T)$$ is closed and convex, and $$P_{F}(T)$$ is well defined.

Recently, many researchers studied various iterative algorithms for finding an element of $$VI(C,A)\cap F(S)$$. Takahashi and Toyoda  introduced the following iterative scheme:

\begin{aligned} x_{n+1}=\alpha_{n} x_{n}+(1- \alpha_{n})S P_{C}(I-\lambda_{n} B)x_{n},\quad \forall n\geq0. \end{aligned}
(1.9)

They proved that the sequence $$\{x_{n}\}$$ converges weakly to a point $$q\in VI(C,B)\cap F(S)$$. Yao and Yao  introduced the following scheme:

\begin{aligned} \left \{ \begin{array}{@{}l} x_{1}=u\in C,\\ y_{n}=P_{C}(I-\lambda_{n} A)x_{n},\\ x_{n+1}=\alpha_{n} u+\beta_{n} x_{n}+\gamma_{n} S P_{C}(I-\lambda_{n} A)y_{n}, \end{array} \right . \end{aligned}
(1.10)

and obtain some convergence theorems. Later, Chang et al.  introduced the following iterative scheme:

\begin{aligned} \left \{ \begin{array}{@{}l} \phi(u_{n},y)+\frac{1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0,\quad \forall y\in C,\\ x_{n+1}=\alpha_{n} f(x_{n})+\beta_{n} x_{n}+\gamma_{n} W_{n} k_{n},\\ k_{n}=P_{C}(I-\lambda_{n} B)y_{n},\\ y_{n}=P_{C}(I-\lambda_{n} B)u_{n}, \end{array} \right . \end{aligned}
(1.11)

and obtained some convergence theorems. In 2014, Zhou et al.  introduced the following iterative scheme:

\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} F(y_{n},\eta)+\langle Dy_{n},\eta-y_{n}\rangle+\frac{1}{r_{n}}\langle\eta -y_{n},y_{n}-x_{n}\rangle\geq0, \quad\forall\eta\in C,\\ \rho_{n}=\sum_{m=1}^{r}\eta_{n}^{m} P_{C}(I-\mu_{m} B_{m})y_{n},\\ x_{n+1}=\alpha_{n}\gamma f(x_{n})+\beta_{n} x_{n}+((1-\beta_{n})I-\alpha_{n} A) W_{n} \rho_{n}, \end{array} \right . \end{aligned}
(1.12)

where A is a strongly positive bounded linear operator, f is a contraction on H, and $$W_{n}$$ is the W-mapping of C into itself which is generated by a family of nonexpansive mappings $$S_{n}, S_{n-1},\ldots, S_{1}$$, and a sequence of positive numbers in $$[0,1]$$, $$\lambda_{n}, \lambda_{n-1},\ldots, \lambda_{1}$$, then they obtained some strong convergence theorems.

On the other hand, let $$S:C\rightarrow H$$ be a nonexpansive mapping. The following problem is called a hierarchical fixed point problem (in short, HFPP): Find $$x\in F(T)$$ such that

\begin{aligned} \langle x-Sx,y-x\rangle\geq0,\quad \forall y\in F(T). \end{aligned}
(1.13)

It is well known that the hierarchical fixed point problem (1.13) links with some monotone variational inequalities and convex programming problems; see . Various methods have been proposed to solve the hierarchical fixed point problem; see . In 2010, Yao et al.  introduced the following strong convergence iterative algorithm to solve problem (1.13):

\begin{aligned} \left \{ \begin{array}{@{}l} y_{n}=\beta_{n} S x_{n}+(1-\beta_{n})x_{n},\\ x_{n+1}=P_{C}[\alpha_{n} f(x_{n})+(1-\alpha_{n}) T y_{n}], \quad\forall n\geq0, \end{array} \right . \end{aligned}
(1.14)

where $$f:C\rightarrow H$$ is a contraction mapping and $$\{\alpha_{n}\}$$, $$\{ \beta_{n}\}$$ are two sequences in $$(0,1)$$. Under certain restrictions on the parameters, Yao et al. proved that the sequence $$\{x_{n}\}$$ generated by (1.14) converges strongly to $$z\in F(T)$$, which is the unique solution of the following variational inequality:

\begin{aligned} \bigl\langle (I-f)z,y-z \bigr\rangle \geq0,\quad \forall y\in F(T). \end{aligned}
(1.15)

In 2011, Ceng et al.  investigated the following iterative method:

\begin{aligned} x_{n+1}=P_{C} \bigl[\alpha_{n}\rho U(x_{n})+(I-\alpha_{n} \mu F)T(y_{n}) \bigr], \quad \forall n\geq0, \end{aligned}
(1.16)

where U is a Lipschitzian mapping, and F is a Lipschitzian and strongly monotone mapping. They proved that under some assumptions as regards approximations on the operators and parameters, the sequence generated by (1.16) converges strongly to the unique solution of the variational inequality

\begin{aligned} \bigl\langle \rho U(z)-\mu F(z),x-z \bigr\rangle \leq0, \quad\forall x\in F(T). \end{aligned}

Very recently, Ceng et al.  introduced and analyzed hybrid implicit and explicit viscosity iterative algorithms for solving a general system of variational inequalities with a hierarchical fixed point problem constraint for a countable family of nonexpansive mapping in a real Banach space, which can be viewed as an extension and improvement of the recent results in the literature. In 2014, Bnouhachem et al.  introduced the following iterative method:

\begin{aligned} \left \{ \begin{array}{@{}l} F(u_{n},y)+\frac{1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0, \quad\forall y\in C;\\ y_{n}=\beta_{n} S x_{n}+(1-\beta_{n})u_{n};\\ x_{n+1}=P_{C}[\alpha_{n} \rho U(x_{n})+\gamma_{n} x_{n}+((1-\gamma_{n})I-\alpha _{n} \mu F)T(y_{n})], \quad \forall n\geq0, \end{array} \right . \end{aligned}
(1.17)

where U and F are the same as above. They proved that under some assumptions as regards approximations on the operators and parameters, the sequence $$\{x_{n}\}$$ generated by (1.17) converges strongly to the unique solution of the variational inequality

\begin{aligned} \bigl\langle \rho U(z)-\mu F(z),x-z \bigr\rangle \leq0, \quad\forall x\in F(T)\cap EP(F). \end{aligned}

In the same year, Bnouhachem and Chen  introduced the following iterative method:

\begin{aligned} \left \{ \begin{array}{@{}l} F(u_{n},y)+\langle Dx_{n},y-u_{n}\rangle+\varphi(y)-\varphi(u_{n})+\frac {1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0, \quad \forall y\in C;\\ z_{n}=P_{C}[u_{n}-\lambda_{n} Au_{n}];\\ y_{n}=\beta_{n} S x_{n}+(1-\beta_{n})z_{n};\\ x_{n+1}=P_{C}[\alpha_{n} \rho U(x_{n})+\gamma_{n} x_{n}+((1-\gamma_{n})I-\alpha _{n} \mu F)T(y_{n})], \quad\forall n\geq0, \end{array} \right . \end{aligned}
(1.18)

where U and F are the same as above. They proved that under some assumptions as regards approximations on the operators and parameters, the sequence $$\{x_{n}\}$$ generated by (1.18) converges strongly to the unique solution of variational inequality

$$\bigl\langle \rho U(z)-\mu F(z), x-z \bigr\rangle \leq0,\quad \forall x\in VI(C,A) \cap GMEP(F,\varphi,D)\cap F(T).$$

In this paper, motivated by the work of Zhou et al. , Bnouhachem et al. [22, 23] and others, we give an iterative method for finding the approximate element of the common set of solutions of GMEP (1.1), VIP (1.5) and HFPP (1.13) in real Hilbert space. We establish a strong convergence theorem for the sequence generated by the proposed method. The proposed method is quite general and flexible and includes several well-known methods for solving variational inequality problems, mixed equilibrium problems, and hierarchical fixed point problems; see, e.g., [6, 13, 2227] and the references therein.

## Preliminaries

In this section, we list some fundamental lemmas that are useful in the consequent analysis. The first lemma provides some basic properties of the projection onto C.

### Lemma 2.1

Let $$P_{C}$$ denote the projection of H onto C. Then we have the following inequalities:

\begin{aligned}& \bigl\langle z-P_{C}[z],P_{C}[z]-v \bigr\rangle \geq0, \quad\forall z\in H, v\in C; \end{aligned}
(2.1)
\begin{aligned}& \bigl\langle u-v, P_{C}[u]-P_{C}[v] \bigr\rangle \geq \bigl\| P_{C}[u]-P_{C}[v]\bigr\| ^{2},\quad \forall u,v\in H; \end{aligned}
(2.2)
\begin{aligned}& \bigl\| P_{C}[u]-P_{C}[v]\bigr\| \leq\|u-v\|, \quad\forall u,v\in H; \end{aligned}
(2.3)
\begin{aligned}& \bigl\| u-P_{C}[z]\bigr\| ^{2}\leq\|z-u\|^{2}- \bigl\| z-P_{C}[z]\bigr\| ^{2}, \quad\forall z\in H, u\in C. \end{aligned}
(2.4)

### Assumption 2.1



Let $$F:C\times C\rightarrow R$$ be a bifunction and $$\varphi: C\rightarrow R$$ be a function satisfying the following assumptions:

(A1):

$$F(x,x)=0$$, $$\forall x\in C$$;

(A2):

F is monotone, i.e., $$F(x,y)+F(y,x)\leq0$$, $$\forall x,y\in C$$;

(A3):

for each $$x,y,z\in C$$, $$\lim_{t\rightarrow0}F(tz+(1-t)x,y)\leq F(x,y)$$;

(A4):

for each $$x\in C$$, $$y\rightarrow F(x,y)$$ is convex and lower semicontinuous;

(B1):

for each $$x\in H$$ and $$r>0$$, there exists a bounded sunset K of C and $$y_{x}\in C\cap \operatorname{dom}(\varphi)$$ such that

$$F(z,y_{x})+\varphi(y_{x})-\varphi(z)+\frac{1}{r} \langle y_{x}-z,z-x\rangle \leq0, \quad\forall z\in C\setminus K;$$
(B2):

C is a bounded set.

### Lemma 2.2



Let C be a nonempty, closed, and convex subset of H. Let $$F: C\times C\rightarrow R$$ satisfy (A1)-(A4), and let $$\varphi: C\rightarrow R$$ be a proper lower semicontinuous and convex function. Assume that either (B1) or (B2) holds. For $$r>0$$ and $$\forall x\in H$$, define a mapping $$T_{r}: H\rightarrow C$$ as follows:

$$T_{r}(x)= \biggl\{ z\in C: F(z,y)+\varphi(y)+\varphi(z)+ \frac{1}{r}\langle y-z, z-x\rangle\geq0,\forall y\in C \biggr\} .$$

Then the following hold:

1. (i)

$$T_{r}$$ is nonempty and single-valued;

2. (ii)

$$T_{r}$$ is firmly nonexpansive, i.e.,

$$\bigl\| T_{r}(x)-T_{r}(y)\bigr\| ^{2}\leq \bigl\langle T_{r}(x)-T_{r}(y), x-y \bigr\rangle , \quad\forall x,y\in H;$$
3. (iii)

$$F(T_{r}(I-rD))=GMEP(F,\varphi,D)$$;

4. (iv)

$$GMEP(F,\varphi,D)$$ is closed and convex.

### Lemma 2.3

 (Demiclosedness principle)

Let $$T:C\rightarrow C$$ be a nonexpansive mapping with $$\operatorname{Fix}(T)\neq\emptyset$$. If $$\{x_{n}\}$$ is a sequence in C that converges weakly to x and if $$\{(I-T)x_{n}\}$$ converges strongly to y, then $$(I-T)x=y$$; in particular, if $$y=0$$, then $$x\in \operatorname{Fix}(T)$$.

### Lemma 2.4



Let $$U:C\rightarrow H$$ be a τ-Lipschitzian mapping, and let $$F:C\rightarrow H$$ be a κ-Lipschitzian and η-strongly monotone mapping, then for $$0\leq\rho\tau<\mu\eta$$, $$\mu F-\rho U$$ is $$\mu\eta-\rho\tau$$-strongly monotone, i.e.,

$$\bigl\langle (\mu F-\rho U)x-(\mu F-\rho U)y,x-y \bigr\rangle \geq(\mu\eta-\rho \tau )\|x-y\|^{2}, \quad\forall x,y\in C.$$

### Lemma 2.5



Suppose that $$\lambda\in(0,1)$$ and $$\mu>0$$. Let $$F:C\rightarrow H$$ be a κ-Lipschitzian and η-strongly monotone operator. In association with a nonexpansive mapping $$T: C\rightarrow C$$, define the mapping $$T^{\lambda}:C\rightarrow H$$ by

$$T^{\lambda}x=Tx-\lambda\mu F T(x),\quad \forall x\in C.$$

Then $$T^{\lambda}$$ is a contraction provided $$\mu<\frac{2\eta}{\kappa ^{2}}$$, that is,

$$\bigl\| T^{\lambda}x-T^{\lambda}y\bigr\| \leq(1-\lambda\nu)\|x-y\|,\quad \forall x,y \in C,$$

where $$\nu=1-\sqrt{1-\mu(2\eta-\mu\kappa^{2})}$$.

### Lemma 2.6



Let $$\{s_{n}\}$$ be a sequence of non-negative real numbers satisfying

$$s_{n+1}\leq(1-\omega_{n})s_{n}+ \omega_{n}\delta_{n}+\gamma_{n},\quad \forall n \geq0,$$

where $$\{\omega_{n}\}$$, $$\{\delta_{n}\}$$, and $$\{\gamma_{n}\}$$ satisfying the following conditions:

1. (i)

$$\{\omega_{n}\}\subset[0,1]$$ and $$\sum_{n=0}^{\infty}\omega_{n}=\infty$$,

2. (ii)

$$\limsup_{n\rightarrow\infty}\delta_{n}\leq0$$ or $$\sum_{n=0}^{\infty }\omega_{n}|\delta_{n}|<\infty$$,

3. (iii)

$$\gamma_{n}\geq0$$ ($$n\geq0$$), $$\sum_{n=0}^{\infty}\gamma_{n}<\infty$$.

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

### Lemma 2.7



Let C be a closed convex subset of a real Hilbert H. Let $$\{T_{m}:1\leq m\leq r\}$$ be a sequence of nonexpansive mappings on C. Suppose that $$\bigcap_{m=1}^{r} F(T_{m})$$ is nonempty. Let $$\{\lambda_{m}\}$$ be a sequence of positive numbers with $$\sum_{m=1}^{r} \lambda_{m}=1$$. Then a mapping S on C defined by

$$Sx=\sum_{m=1}^{r} \lambda_{m} T_{m} x$$

for all $$x\in C$$ is well defined, nonexpansive, and $$F(S)=\bigcap_{m=1}^{r} F(T_{m})$$ holds.

## Main result

In this section, we suggest and analyze our method for finding common solutions of the generalized mixed equilibrium problem (1.1), the variational problem (1.5), and the hierarchical fixed point problem (1.13).

Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let $$B_{m}:C\rightarrow H$$ be a $$l_{m}$$-inverse strongly monotone mapping for each $$1\leq m\leq r$$, where r is some positive integer. Let $$D: C\rightarrow H$$ be a θ-inverse strongly monotone mapping. Let $$F:C\times C\rightarrow R$$ satisfy (A1)-(A4), and let $$\varphi:C\rightarrow R$$ be a proper lower semicontinuous and convex function. Let $$S, T:C\rightarrow C$$ be nonexpansive mappings and such that $$\mathscr{F}=F(T)\cap VI(C,B_{m})\cap GMEP(F,\varphi,D)\neq \emptyset$$. Let $$F:C\rightarrow H$$ be a κ-Lipschitzian mapping and η-strongly monotone, and let $$U:C\rightarrow H$$ be a τ-Lipschitzian mapping.

### Algorithm 3.1

For an arbitrary given $$x_{0}\in C$$, let the iterative sequences $$\{u_{n}\}$$, $$\{v_{n}\}$$, $$\{x_{n}\}$$, and $$\{y_{n}\}$$ be generated by

\begin{aligned} \left \{ \textstyle\begin{array}{@{}ll} F(u_{n},y)+\langle Dx_{n},y-u_{n}\rangle+\varphi(y)-\varphi(u_{n})+\frac {1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0, \quad \forall y\in C;\\ v_{n}=\delta_{n} u_{n}+(1-\delta_{n})\sum_{m=1}^{r}\eta_{n}^{m}P_{C}(I-\mu_{m} B_{m})u_{n};\\ y_{n}=\beta_{n} S x_{n}+(1-\beta_{n})v_{n};\\ x_{n+1}=P_{C}[\alpha_{n} \rho U(x_{n})+\gamma_{n} x_{n}+((1-\gamma_{n})I-\alpha _{n} \mu F)T(y_{n})], \quad \forall n\geq0, \end{array} \right . \end{aligned}

where $$\mu_{m}\in(0,2l_{m})$$, $$\{r_{n}\}\subset(0,2\theta)$$. Suppose that the parameters satisfy $$0<\mu<\frac{2\eta}{\kappa^{2}}$$, $$0\leq\rho\tau <\upsilon$$, where $$\upsilon=1-\sqrt{1-\mu(2\eta-\mu\kappa^{2})}$$. Also $$\{\alpha_{n}\}$$, $$\{\beta_{n}\}$$, $$\{\gamma_{n}\}$$, and $$\{\delta_{n}\}$$ are sequences in $$(0,1)$$ satisfying the following conditions:

1. (a)

$$\lim_{n\rightarrow\infty}\alpha_{n}=0$$, and $$\sum_{n=1}^{\infty }\alpha_{n}=\infty$$;

2. (b)

$$\lim_{n\rightarrow\infty}(\beta_{n}/\alpha_{n})=0$$;

3. (c)

$$\lim_{n\rightarrow\infty}\gamma_{n}=0$$, and $$\gamma_{n}+\alpha_{n}<1$$;

4. (d)

$$\sum_{n=1}^{\infty}|\alpha_{n}-\alpha_{n-1}|<\infty$$, $$\sum_{n=1}^{\infty}|\beta_{n}-\beta_{n-1}|<\infty$$, $$\sum_{n=1}^{\infty }|\gamma_{n}-\gamma_{n-1}|<\infty$$, and $$\sum_{n=1}^{\infty}|\delta _{n}-\delta_{n-1}|<\infty$$;

5. (e)

$$\liminf_{n\rightarrow\infty}r_{n}>0$$, and $$\sum_{n=1}^{\infty }|r_{n}-r_{n-1}|<\infty$$;

6. (f)

$$\lim_{n\rightarrow\infty}\eta_{n}^{m}=\eta^{m}\in(0,1)$$ for each m, where $$1\leq m\leq r$$;

7. (g)

$$\sum_{m=1}^{r}\eta_{n}^{m}=1$$, $$\forall n\geq1$$.

### Remark 3.1

Our method can be reviewed as an extension and improvement for some well-known results, for example, the following:

1. (i)

The (self-)contraction mapping $$f:H\rightarrow H$$ in , Theorem 10 is extended to the case of a Lipschitzian (possibly nonself-)mapping $$U:C\rightarrow H$$ on a nonempty, closed, and convex subset C of H.

2. (ii)

The strongly positive linear bounded operator A in , Theorem 10 is extended to the case of the κ-Lipschitzian mapping and η-strongly monotone (possibly nonself-)mapping $$F:C\rightarrow H$$.

3. (iii)

The contractive coefficient $$h\in(0,1)$$ in , Theorem 10 is extended to the case where the Lipschitzian constant τ lies in $$[0,\infty)$$.

4. (iv)

The equilibrium problem in , Theorem 10 is extended to the case of the generalized mixed equilibrium problem.

5. (v)

If $$D=\varphi=0$$, $$B_{m}=0$$ for each m, and $$\delta_{n}=0$$, then the proposed method is an extension and improvement of a method studied in .

6. (vi)

If $$\delta_{n}=0$$, $$m=1$$, then we obtain an extension and improvement of a method in .

7. (vii)

If $$\rho=\mu=1$$, $$\beta_{n}=\delta_{n}=0$$, $$\varphi=0$$, $$U=f$$ a contraction mapping, $$F=A$$ a strongly positive linear bounded operator, and $$T=W_{n}$$, where $$W_{n}$$ is the W-mapping of C into itself which is generated by a family of nonexpansive mappings $$S_{n}, S_{n-1},\ldots, S_{1}$$, and a sequence of positive numbers in $$[0,1]$$ $$\lambda_{n}, \lambda _{n-1},\ldots, \lambda_{1}$$, then the proposed method is an extension and improvement of a method studied in .

This shows that Algorithm 3.1 is quite general and unifying.

### Lemma 3.1

Let $$x^{\ast}\in\mathscr{F}=F(T)\cap VI(C,B_{m})\cap GMEP(F,\varphi,D)$$. Then $$\{x_{n}\}$$, $$\{u_{n}\}$$, $$\{v_{n}\}$$, and $$\{y_{n}\}$$ are bounded.

### Proof

First, we show that the mapping $$I-r_{n} D$$ is nonexpansive. For any $$x,y\in C$$,

\begin{aligned} \bigl\| (I-r_{n} D)x-(I-r_{n} D)y\bigr\| ^{2} =& \bigl\| (x-y)-r_{n}(Dx-Dy)\bigr\| ^{2} \\ =&\|x-y\|^{2}-2r_{n}\langle x-y, Dx-Dy \rangle+r_{n}^{2}\|Dx-Dy\|^{2} \\ \leq&\|x-y\|^{2}-r_{n}(2\theta-r_{n})\|Dx-Dy \|^{2} \\ \leq&\|x-y\|^{2}. \end{aligned}

Similarly, we can show that the mapping $$I-\mu_{m} B_{m}$$ is nonexpansive for each $$1\leq m\leq r$$. For each $$1\leq m\leq r$$, put

$$w_{n}^{m}=P_{C}(I-\mu_{m} B_{m})u_{n} \quad\mbox{and}\quad z_{n}=\sum _{m=1}^{r} \bigl(\eta_{n}^{m}w_{n}^{m} \bigr).$$

Then Algorithm 3.1 can be rewritten as

\begin{aligned} \left \{ \begin{array}{@{}l} F(u_{n},y)+\langle Dx_{n},y-u_{n}\rangle+\varphi(y)-\varphi(u_{n})+\frac {1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0, \quad \forall y\in C;\\ v_{n}=\delta_{n} u_{n}+(1-\delta_{n})z_{n};\\ y_{n}=\beta_{n} S x_{n}+(1-\beta_{n})v_{n};\\ x_{n+1}=P_{C}[\alpha_{n} \rho U(x_{n})+\gamma_{n} x_{n}+((1-\gamma_{n})I-\alpha _{n} \mu F)T(y_{n})], \quad \forall n\geq0. \end{array} \right . \end{aligned}
(3.1)

Fixing $$x\in\mathscr{F}$$, we have

\begin{aligned} \bigl\| w_{n}^{m}-x^{\ast}\bigr\| =&\bigl\| P_{C}(I- \mu_{m} B_{m})u_{n}-P_{C}(I- \mu_{m} B_{m})x^{\ast}\bigr\| \\ \leq&\bigl\| u_{n}-x^{\ast}\bigr\| ,\quad 1\leq\forall m\leq r. \end{aligned}

It follows that

\begin{aligned} \bigl\| z_{n}-x^{\ast}\bigr\| =&\Biggl\| \sum_{m=1}^{r} \bigl(\eta_{n}^{m}w_{n}^{m} \bigr)-x^{\ast}\Biggr\| \leq \sum_{m=1}^{r} \eta_{n}^{m}\bigl\| w_{n}^{m}-x^{\ast}\bigr\| \\ \leq&\bigl\| u_{n}-x^{\ast}\bigr\| . \end{aligned}

It follows from Lemma 2.2 that $$u_{n}=T_{r_{n}}(x_{n}-r_{n} D x_{n})$$ and $$x^{\ast }=T_{r_{n}}(x^{\ast}-r_{n} D x^{\ast})$$, we have

\begin{aligned} \bigl\| u_{n}-x^{\ast}\bigr\| ^{2} =&\bigl\| T_{r_{n}}(x_{n}-r_{n} D x_{n})-T_{r_{n}} \bigl(x^{\ast}-r_{n} D x^{\ast} \bigr)\bigr\| ^{2} \\ \leq&\bigl\| (x_{n}-r_{n} D x_{n})- \bigl(x^{\ast}-r_{n} D x^{\ast} \bigr)\bigr\| ^{2} \\ \leq&\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-r_{n}(2 \theta-r_{n})\bigl\| Dx_{n}-Dx^{\ast}\bigr\| ^{2} \\ \leq&\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}. \end{aligned}

From (3.1) and the above inequalities, we have

\begin{aligned} \bigl\| v_{n}-x^{\ast}\bigr\| ^{2} \leq&\delta_{n} \|u_{n}-x^{\ast}\bigl\| ^{2}+(1-\delta_{n})\bigr\| z_{n}-x^{\ast}\|^{2} \\ \leq&\delta_{n}\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}+(1-\delta_{n})\bigl\| u_{n}-x^{\ast}\bigr\| ^{2} \\ \leq&\bigl\| u_{n}-x^{\ast}\bigr\| ^{2} \\ \leq&\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-r_{n}(2 \theta-r_{n})\bigl\| Dx_{n}-Dx^{\ast}\bigr\| ^{2} \\ \leq&\bigl\| x_{n}-x^{\ast}\bigr\| . \end{aligned}

Then we have

\begin{aligned} &\bigl\| z_{n}-x^{\ast}\bigr\| ^{2} \leq \bigl\| u_{n}-x^{\ast}\bigr\| ^{2}\leq\bigl\| x_{n}-x^{\ast} \bigr\| ^{2}-r_{n}(2\theta-r_{n})\bigl\| Dx_{n}-Dx^{\ast} \bigr\| ^{2}\leq\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}, \\ &\bigl\| v_{n}-x^{\ast}\bigr\| ^{2}\leq\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}\leq\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-r_{n}(2 \theta-r_{n})\bigl\| Dx_{n}-Dx^{\ast}\bigr\| ^{2}\leq \bigl\| x_{n}-x^{\ast}\bigr\| ^{2}. \end{aligned}
(3.2)

We define $$V_{n}=\alpha_{n} \rho U(x_{n})+\gamma_{n} x_{n}+((1-\gamma_{n})I-\alpha _{n} \mu F)T(y_{n})$$. Next, we prove that the sequence $$\{x_{n}\}$$ is bounded, and without loss of generality, we can assume that $$\beta _{n}\leq\alpha_{n}$$ for all $$n\geq0$$. From (3.1), we have

\begin{aligned} &\bigl\| x_{n+1}-x^{\ast}\bigr\| \\ &\quad=\bigl\| P_{C}[V_{n}]-P_{C} \bigl[x^{\ast} \bigr]\bigr\| \\ &\quad\leq\bigl\| \alpha_{n} \rho U(x_{n})+\gamma_{n} x_{n}+ \bigl((1-\gamma_{n})I-\alpha_{n} \mu F \bigr)T(y_{n})-x^{\ast}\bigr\| \\ &\quad=\bigl\| \alpha_{n} \bigl(\rho U(x_{n})-\mu F \bigl(x^{\ast} \bigr) \bigr)+\gamma_{n} \bigl(x_{n}-x^{\ast } \bigr)+ \bigl((1-\gamma_{n})I-\alpha_{n} \mu F \bigr)T(y_{n}) \\ &\qquad{}- \bigl((1-\gamma_{n})I-\alpha_{n} \mu F \bigr)T \bigl(x^{\ast} \bigr)\bigr\| \\ &\quad\leq\alpha_{n}\bigl\| \rho U(x_{n})-\mu F \bigl(x^{\ast} \bigr)\bigr\| +\gamma_{n}\bigl\| x_{n}-x^{\ast} \bigr\| \\ &\qquad{}+(1-\gamma_{n})\biggl\| \biggl(I-\frac{\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T(y_{n})- \biggl(I-\frac {\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T \bigl(x^{\ast} \bigr)\biggr\| \\ &\quad=\alpha_{n}\bigl\| \rho U(x_{n})-\rho U \bigl(x^{\ast} \bigr)+(\rho U-\mu F)x^{\ast}\bigr\| + \gamma_{n}\bigl\| x_{n}-x^{\ast} \bigr\| \\ &\qquad{}+(1-\gamma_{n})\biggl\| \biggl(I-\frac{\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T(y_{n})- \biggl(I-\frac {\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T \bigl(x^{\ast} \bigr)\biggr\| \\ &\quad\leq\alpha_{n}\rho\tau\bigl\| x_{n}-x^{\ast}\bigr\| + \alpha_{n}\bigl\| (\rho U-\mu F)x^{\ast }\bigr\| +\gamma_{n} \bigl\| x_{n}-x^{\ast}\bigr\| \\ &\qquad{}+(1-\gamma_{n}) \biggl(1-\frac{\alpha_{n} \upsilon}{1-\gamma_{n}} \biggr) \bigl\| y_{n}-x^{\ast}\bigr\| \\ &\quad\leq\alpha_{n}\rho\tau\bigl\| x_{n}-x^{\ast}\bigr\| + \alpha_{n}\bigl\| (\rho U-\mu F)x^{\ast }\bigr\| +\gamma_{n} \bigl\| x_{n}-x^{\ast}\bigr\| \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n} \upsilon)\bigl\| \beta_{n} S x_{n}+(1-\beta_{n})v_{n}-x^{\ast } \bigr\| \\ &\quad\leq\alpha_{n}\rho\tau\bigl\| x_{n}-x^{\ast}\bigr\| + \alpha_{n}\bigl\| (\rho U-\mu F)x^{\ast }\bigr\| +\gamma_{n} \bigl\| x_{n}-x^{\ast}\bigr\| \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n} \upsilon) \bigl( \beta_{n}\bigl\| S x_{n}-S x^{\ast}\bigr\| +\beta_{n} \bigl\| Sx^{\ast}-x^{\ast}\bigr\| +(1-\beta_{n}) \bigl\| v_{n}-x^{\ast}\bigr\| \bigr) \\ &\quad\leq\alpha_{n}\rho\tau\bigl\| x_{n}-x^{\ast}\bigr\| + \alpha_{n}\bigl\| (\rho U-\mu F)x^{\ast }\bigr\| +\gamma_{n} \bigl\| x_{n}-x^{\ast}\bigr\| \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n} \upsilon) \bigl( \beta_{n}\bigl\| S x_{n}-S x^{\ast}\bigr\| +\beta_{n} \bigl\| Sx^{\ast}-x^{\ast}\bigr\| +(1-\beta_{n}) \bigl\| x_{n}-x^{\ast}\bigr\| \bigr) \\ &\quad\leq\alpha_{n}\rho\tau\bigl\| x_{n}-x^{\ast}\bigr\| + \alpha_{n}\bigl\| (\rho U-\mu F)x^{\ast }\bigr\| +\gamma_{n} \bigl\| x_{n}-x^{\ast}\bigr\| \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n} \upsilon) \bigl( \beta_{n}\bigl\| x_{n}-x^{\ast}\bigr\| +\beta_{n}\bigl\| Sx^{\ast}-x^{\ast}\bigr\| +(1-\beta_{n})\bigl\| x_{n}-x^{\ast} \bigr\| \bigr) \\ &\quad\leq \bigl(1-\alpha_{n}(\upsilon-\rho\tau) \bigr) \bigl\| x_{n}-x^{\ast}\bigr\| +\alpha_{n}\bigl\| (\rho U-\mu F)x^{\ast}\bigr\| \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n} \upsilon) \beta_{n} \bigl\| Sx^{\ast}-x^{\ast}\bigr\| \\ &\quad\leq \bigl(1-\alpha_{n}(\upsilon-\rho\tau) \bigr) \bigl\| x_{n}-x^{\ast}\bigr\| +\alpha_{n}\bigl\| (\rho U-\mu F)x^{\ast}\bigr\| +\beta_{n}\bigl\| Sx^{\ast}-x^{\ast}\bigr\| \\ &\quad\leq \bigl(1-\alpha_{n}(\upsilon-\rho\tau) \bigr) \bigl\| x_{n}-x^{\ast}\bigr\| +\alpha_{n} \bigl(\bigl\| (\rho U-\mu F)x^{\ast}\bigr\| +\bigl\| Sx^{\ast}-x^{\ast}\bigr\| \bigr) \\ &\quad\leq \bigl(1-\alpha_{n}(\upsilon-\rho\tau) \bigr) \bigl\| x_{n}-x^{\ast}\bigr\| +\frac{\alpha _{n}(\upsilon-\rho\tau)}{\upsilon-\rho\tau} \bigl(\bigl\| (\rho U-\mu F)x^{\ast}\bigr\| +\bigl\| Sx^{\ast}-x^{\ast}\bigr\| \bigr) \\ &\quad\leq \max \biggl\{ \bigl\| x_{n}-x^{\ast}\bigr\| ,\frac{1}{\upsilon-\rho\tau} \bigl( \bigl\| (\rho U-\mu F)x^{\ast}\bigr\| +\bigl\| Sx^{\ast}-x^{\ast}\bigr\| \bigr) \biggr\} , \end{aligned}

where the third inequality follows from Lemma 2.5. By induction on n, we obtain $$\|x_{n}-x_{0}\|\leq\max\{\|x_{0}-x^{\ast}\|,\frac{1}{\upsilon-\rho \tau}(\|(\rho U-\mu F)x^{\ast}\|+\|Sx^{\ast}-x^{\ast}\|)\}$$ for $$n\geq0$$ and $$x_{0}\in C$$. Hence $$\{x_{n}\}$$ is bounded, and, consequently, we deduce that $$\{u_{n}\}$$, $$\{v_{n}\}$$, and $$\{y_{n}\}$$ are bounded. □

### Lemma 3.2

Let $$x^{\ast}\in\mathscr{F}=F(T)\cap VI(C,B_{m})\cap GMEP(F,\varphi,D)$$ and $$\{x_{n}\}$$ be generated by Algorithm 3.1. Then we have:

1. (a)

$$\lim_{n\rightarrow\infty}\|x_{n+1}-x_{n}\|=0$$,

2. (b)

the weak w-limit set $$w_{w}(x_{n})\subset F(T)$$ ($$w_{w}(x_{n})=\{ x:x_{n_{i}}\rightharpoonup x\}$$).

### Proof

Note that

\begin{aligned} \bigl\| w_{n}^{m}-w_{n-1}^{m} \bigr\| =&\bigl\| P_{C}(I-\mu_{m} B_{m})u_{n}-P_{C}(I- \mu_{m} B_{m})u_{n-1}\bigr\| \\ \leq&\|u_{n}-u_{n-1}\|,\quad 1\leq\forall m\leq r. \end{aligned}
(3.3)

On the other hand, we have

$$v_{n}-v_{n-1}=\delta_{n}(u_{n}-u_{n-1})+(1- \delta _{n}) (z_{n}-z_{n-1})+( \delta_{n}- \delta_{n-1}) (u_{n-1}-z_{n-1}).$$

It follows from (3.3) that

\begin{aligned} &\|v_{n}-v_{n-1}\| \\ &\quad\leq\delta_{n}\|u_{n}-u_{n-1}\|+(1- \delta_{n})\|z_{n}-z_{n-1}\| +| \delta_{n}-\delta_{n-1}|\|u_{n-1}-z_{n-1}\| \\ &\quad\leq\delta_{n}\|u_{n}-u_{n-1}\|+(1- \delta_{n})\Biggl\| \sum_{m=1}^{r} \bigl( \eta _{n}^{m}w_{n}^{m} \bigr)-\sum _{m=1}^{r} \bigl(\eta_{n-1}^{m}w_{n-1}^{m} \bigr)\Biggr\| +|\delta_{n}-\delta_{n-1}|\|u_{n-1}-z_{n-1} \| \\ &\quad\leq(1-\delta_{n})\Biggl\| \sum_{m=1}^{r} \bigl(\eta_{n}^{m}w_{n}^{m} \bigr)-\sum _{m=1}^{r} \bigl(\eta_{n}^{m}w_{n-1}^{m} \bigr)+\sum_{m=1}^{r} \bigl( \eta_{n}^{m}w_{n-1}^{m} \bigr)-\sum _{m=1}^{r} \bigl(\eta_{n-1}^{m}w_{n-1}^{m} \bigr)\Biggr\| \\ &\qquad{} +\delta_{n}\|u_{n}-u_{n-1}\|+| \delta_{n}-\delta_{n-1}|\| u_{n-1}-z_{n-1}\| \\ &\quad\leq\|u_{n}-u_{n-1}\|+ M\cdot\sum _{m=1}^{r}\bigl|\eta_{n}^{m}-\eta _{n-1}^{m}\bigr| +|\delta_{n}-\delta_{n-1}| \|u_{n-1}-z_{n-1}\|, \end{aligned}
(3.4)

where $$M=\max\{\sup\{\|P_{C}(I-\mu_{m} B_{m})u_{n}\|:n\geq1\}:1\leq m\leq r\}$$. Next we estimate that

\begin{aligned} &\|y_{n}-y_{n-1}\| \\ &\quad \leq\bigl\| \beta_{n} S x_{n}+(1-\beta_{n})v_{n}- \beta_{n-1} S x_{n-1}-(1-\beta _{n-1})v_{n-1} \bigr\| \\ &\quad =\bigl\| \beta_{n}(S x_{n}-S x_{n-1})+(1- \beta_{n}) (v_{n}-v_{n-1})+(\beta_{n}- \beta _{n-1}) (S x_{n-1}-v_{n-1})\bigr\| \\ &\quad \leq\beta_{n}\|x_{n}-x_{n-1}\|+(1- \beta_{n})\|v_{n}-v_{n-1}\|+|\beta _{n}- \beta_{n-1}|\bigl(\|S x_{n-1}\|+\|v_{n-1}\|\bigr). \end{aligned}

It follows from (3.4) and the above inequality that

\begin{aligned}[b] \|y_{n}-y_{n-1}\| \leq{}& \beta_{n}\|x_{n}-x_{n-1}\|+(1- \beta_{n}) \Biggl\{ \|u_{n}-u_{n-1}\|+M\cdot\sum _{m=1}^{r}\bigl|\eta_{n}^{m}- \eta_{n-1}^{m}\bigr|\\ &{} +|\delta_{n}-\delta_{n-1}|\|u_{n-1}-z_{n-1} \| \Biggr\} +|\beta_{n}-\beta _{n-1}|\bigl(\|S x_{n-1}\|+ \|v_{n-1}\|\bigr). \end{aligned}
(3.5)

On the other hand, $$u_{n}=T_{r_{n}}(x_{n}-r_{n} D x_{n})$$ and $$u_{n-1}=T_{r_{n-1}}(x_{n-1}-r_{n-1} D x_{n-1})$$, we have

\begin{aligned} F(u_{n},y)+\varphi(y)-\varphi(u_{n})+ \langle Dx_{n},y-u_{n}\rangle+\frac {1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0,\quad \forall y \in C, \end{aligned}
(3.6)

and

\begin{aligned} &F(u_{n-1},y)+\varphi(y)-\varphi(u_{n-1})+ \langle Dx_{n-1},y-u_{n-1}\rangle+\frac{1}{r_{n-1}}\langle y-u_{n-1},u_{n-1}-x_{n-1}\rangle\geq0, \\ &\quad \forall y\in C, \end{aligned}
(3.7)

Taking $$y=u_{n-1}$$ in (3.6) and $$y=u_{n}$$ in (3.7), we get

\begin{aligned} F(u_{n},u_{n-1})+\varphi(u_{n-1})- \varphi(u_{n})+\langle Dx_{n},u_{n-1}-u_{n} \rangle+\frac{1}{r_{n}}\langle u_{n-1}-u_{n},u_{n}-x_{n} \rangle \geq0 \end{aligned}
(3.8)

and

\begin{aligned} & F(u_{n-1},u_{n})+\varphi(u_{n})- \varphi(u_{n-1})+\langle Dx_{n-1},u_{n}-u_{n-1} \rangle \\ &\quad{} +\frac{1}{r_{n-1}}\langle u_{n}-u_{n-1},u_{n-1}-x_{n-1} \rangle\geq0. \end{aligned}
(3.9)

Adding (3.8) and (3.9) and using the monotonicity of F, we have

$$\langle D x_{n-1}-D x_{n}, u_{n}-u_{n-1} \rangle+ \biggl\langle u_{n}-u_{n-1},\frac {u_{n-1}-x_{n-1}}{r_{n-1}}- \frac{u_{n}-x_{n}}{r_{n}} \biggr\rangle \geq0,$$

which implies that

\begin{aligned} 0 \leq& \biggl\langle u_{n}-u_{n-1}, r_{n}(Dx_{n-1}-D x_{n})+\frac {r_{n}}{r_{n-1}}(u_{n-1}-x_{n-1})-(u_{n}-x_{n}) \biggr\rangle \\ =& \biggl\langle u_{n-1}-u_{n}, u_{n}-u_{n-1}+ \biggl(1-\frac{r_{n}}{r_{n-1}} \biggr)u_{n-1} \\ &{} +(x_{n-1}-r_{n} D x_{n-1})-(x_{n}-r_{n} D x_{n})-x_{n-1}+\frac {r_{n}}{r_{n-1}}x_{n-1} \biggr\rangle \\ =& \biggl\langle u_{n-1}-u_{n}, \biggl(1-\frac{r_{n}}{r_{n-1}} \biggr)u_{n-1}+(x_{n-1}-r_{n} D x_{n-1})-(x_{n}-r_{n} D x_{n})-x_{n-1}+\frac{r_{n}}{r_{n-1}}x_{n-1} \biggr\rangle \\ &{} -\|u_{n}-u_{n-1}\|^{2} \\ =& \biggl\langle u_{n-1}-u_{n}, \biggl(1-\frac {r_{n}}{r_{n-1}} \biggr) (u_{n-1}-x_{n-1})+(x_{n-1}-r_{n} D x_{n-1})-(x_{n}-r_{n} D x_{n}) \biggr\rangle \\ &{} -\|u_{n}-u_{n-1}\|^{2} \\ \leq&\|u_{n}-u_{n-1}\| \biggl\{ \biggl|1-\frac{r_{n}}{r_{n-1}}\biggr| \|u_{n-1}-x_{n-1}\|+\bigl\| (x_{n-1}-r_{n} D x_{n-1})-(x_{n}-r_{n} D x_{n})\bigr\| \biggr\} \\ &{} -\|u_{n}-u_{n-1}\|^{2} \\ =&\|u_{n}-u_{n-1}\| \biggl\{ \biggl|1-\frac{r_{n}}{r_{n-1}}\biggr| \|u_{n-1}-x_{n-1}\|+\| x_{n-1}-x_{n}\| \biggr\} -\|u_{n}-u_{n-1}\|^{2}, \end{aligned}

and then

$$\|u_{n}-u_{n-1}\|\leq\biggl|1-\frac{r_{n}}{r_{n-1}}\biggr| \|u_{n-1}-x_{n-1}\|+\| x_{n-1}-x_{n}\|.$$

Without loss of generality, let us assume that there exists a real number μ such that $$r_{n}>\mu>0$$ for all positive integers n. Then we get

\begin{aligned} \|u_{n-1}-u_{n}\|\leq\|x_{n-1}-x_{n} \|+\frac{1}{\mu}|r_{n-1}-r_{n}|\| u_{n-1}-x_{n-1} \|. \end{aligned}
(3.10)

It follows from (3.5) and (3.10) that

\begin{aligned} &\|y_{n}-y_{n-1}\| \\ &\quad\leq\beta_{n}\|x_{n}-x_{n-1}\|+(1- \beta_{n}) \Biggl\{ \|x_{n}-x_{n-1}\|+ \frac {1}{\mu}|r_{n}-r_{n-1}|\|u_{n-1}-x_{n-1} \| \\ &\qquad{} +M\cdot\sum_{m=1}^{r}\bigl| \eta_{n}^{m}-\eta_{n-1}^{m}\bigr|+|\delta _{n}-\delta_{n-1}|\|u_{n-1}-z_{n-1}\| \Biggr\} +|\beta_{n}-\beta_{n-1}|\bigl(\|S x_{n-1}\|+ \|v_{n-1}\|\bigr) \\ &\quad=\|x_{n}-x_{n-1}\|+(1-\beta_{n}) \Biggl\{ \frac{1}{\mu}|r_{n}-r_{n-1}|\| u_{n-1}-x_{n-1} \|+M\cdot\sum_{m=1}^{r}\bigl| \eta_{n}^{m}- \eta _{n-1}^{m}\bigr| \\ &\qquad{} +|\delta_{n}-\delta_{n-1}|\|u_{n-1}-z_{n-1} \| \Biggr\} +|\beta_{n}-\beta _{n-1}|\bigl(\|S x_{n-1}\|+ \|v_{n-1}\|\bigr) \\ &\quad\leq\|x_{n}-x_{n-1}\|+\frac{1}{\mu}|r_{n}-r_{n-1}| \|u_{n-1}-x_{n-1}\| +M\cdot\sum_{m=1}^{r}\bigl| \eta_{n}^{m}-\eta_{n-1}^{m}\bigr| \\ &\qquad{} +|\delta_{n}-\delta_{n-1}|\|u_{n-1}-z_{n-1} \|+|\beta_{n}-\beta _{n-1}|\bigl(\|S x_{n-1}\|+ \|v_{n-1}\|\bigr). \end{aligned}
(3.11)

Next, we estimate

\begin{aligned} &\|x_{n+1}-x_{n}\| \\ &\quad=\bigl\| P_{C}[V_{n}]-P_{C}[V_{n-1}]\bigr\| \\ &\quad\leq\biggl\| \alpha_{n} \rho \bigl(U(x_{n})-U(x_{n-1}) \bigr)+(\alpha_{n}-\alpha_{n-1})\rho U(x_{n-1}) \\ &\qquad{} +\gamma_{n} (x_{n}-x_{n-1})+( \gamma_{n}-\gamma_{n-1})x_{n-1} \\ &\qquad{} +(1-\gamma_{n}) \biggl[ \biggl(I-\frac{\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T(y_{n})- \biggl(I-\frac {\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T(y_{n-1}) \biggr] \\ &\qquad{} + \bigl((1-\gamma_{n})I-\alpha_{n}\mu F \bigr)T(y_{n-1})- \bigl((1-\gamma_{n-1})I-\alpha _{n-1} \mu F \bigr)T(y_{n-1})\biggr\| \\ &\quad\leq\alpha_{n}\rho\tau\|x_{n}-x_{n-1}\|+ \gamma_{n}\|x_{n}-x_{n-1}\|+(1-\gamma _{n}) \biggl(1-\frac{\alpha_{n}\upsilon}{1-\gamma_{n}} \biggr)\|y_{n}-y_{n-1} \| \\ &\qquad{} +|\gamma_{n}-\gamma_{n-1}| \bigl( \|x_{n-1}\|+ \bigl\| T(y_{n-1})\bigr\| \bigr) \\ &\qquad{} +|\alpha_{n}-\alpha_{n-1}| \bigl(\rho \bigl\| U(x_{n-1}) \bigr\| +\bigl\| \mu F \bigl(T(y_{n-1}) \bigr)\bigr\| \bigr), \end{aligned}
(3.12)

which the second inequality follows from Lemma 2.5. From (3.11) and (3.12), we have

\begin{aligned} &\|x_{n+1}-x_{n}\| \\ &\quad\leq\alpha_{n}\rho\tau\|x_{n}-x_{n-1}\|+ \gamma_{n}\|x_{n}-x_{n-1}\|+(1-\gamma _{n}-\alpha_{n}\upsilon) \\ &\qquad{} \times \Biggl\{ \|x_{n}-x_{n-1}\|+ \frac{1}{\mu}|r_{n}-r_{n-1}| \| u_{n-1}-x_{n-1} \|+M\cdot\sum_{m=1}^{r}\bigl| \eta_{n}^{m}-\eta _{n-1}^{m}\bigr| \\ &\qquad{} +|\delta_{n}-\delta_{n-1}|\|u_{n-1}-z_{n-1} \|+|\beta_{n}-\beta _{n-1}|\bigl(\|S x_{n-1}\|+ \|v_{n-1}\|\bigr) \Biggr\} \\ &\qquad{} +|\gamma_{n}-\gamma_{n-1}| \bigl( \|x_{n-1}\|+ \bigl\| T(y_{n-1})\bigr\| \bigr) +|\alpha_{n}-\alpha_{n-1}| \bigl(\rho \bigl\| U(x_{n-1}) \bigr\| +\bigl\| \mu F \bigl(T(y_{n-1}) \bigr)\bigr\| \bigr) \\ &\quad\leq \bigl(1-(\upsilon-\rho\tau) \bigr)\|x_{n}-x_{n-1} \|+ \frac{1}{\mu }|r_{n}-r_{n-1}|\|u_{n-1}-x_{n-1} \|+M\cdot\sum_{m=1}^{r}\bigl|\eta _{n}^{m}-\eta_{n-1}^{m}\bigr| \\ &\qquad{} +|\delta_{n}-\delta_{n-1}|\|u_{n-1}-z_{n-1} \|+|\beta_{n}-\beta _{n-1}|\bigl(\|S x_{n-1}\|+ \|v_{n-1}\|\bigr) \\ &\qquad{} +|\gamma_{n}-\gamma_{n-1}| \bigl( \|x_{n-1}\|+ \bigl\| T(y_{n-1})\bigr\| \bigr) \\ &\qquad{} +|\alpha_{n}-\alpha_{n-1}| \bigl(\rho \bigl\| U(x_{n-1}) \bigr\| +\bigl\| \mu F \bigl(T(y_{n-1}) \bigr)\bigr\| \bigr) \\ &\quad\leq \bigl(1-(\upsilon-\rho\tau) \bigr)\|x_{n}-x_{n-1} \|+M \cdot\sum_{m=1}^{r}\bigl|\eta _{n}^{m}- \eta_{n-1}^{m}\bigr|+M_{1} \biggl(\frac{1}{\mu}|r_{n}-r_{n-1}| \\ &\qquad{} +|\delta_{n}-\delta_{n-1}|+|\beta_{n}- \beta_{n-1}|+|\gamma_{n}-\gamma _{n-1}|+| \alpha_{n}-\alpha_{n-1}| \biggr), \end{aligned}
(3.13)

where

\begin{aligned} M_{1} =&\max \Bigl\{ \sup_{n\geq1}\|u_{n-1}-x_{n-1} \|,\sup_{n\geq1}\| u_{n-1}-z_{n-1}\|,\sup _{n\geq1}\bigl(\|S x_{n-1}\|+\|v_{n-1}\|\bigr), \\ &{} \sup_{n\geq1} \bigl(\|x_{n-1}\|+ \bigl\| T(y_{n-1}) \bigr\| \bigr), \bigl(\rho\bigl\| U(x_{n-1})\bigr\| +\bigl\| \mu F \bigl(T(y_{n-1}) \bigr) \bigr\| \bigr) \Bigr\} . \end{aligned}

It follows by condition (a)-(e) of Algorithm 3.1 and Lemma 2.6 that

\begin{aligned} \lim_{n\rightarrow\infty}\|x_{n+1}-x_{n}\|=0. \end{aligned}

Next, we show that $$\lim_{n\rightarrow\infty}\|u_{n}-x_{n}\|=0$$. Since $$x^{\ast}\in\mathscr{F}=F(T)\cap VI(C, B_{m})\cap GMEP(F, \varphi,D)$$, by using (3.1) and (3.2), we obtain

\begin{aligned} \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} =& \bigl\langle P_{C}[V_{n}]-x^{\ast},x_{n+1}-x^{\ast} \bigr\rangle \\ =& \bigl\langle P_{C}[V_{n}]-V_{n}, P_{C}[V_{n}]-x^{\ast} \bigr\rangle + \bigl\langle V_{n}-x^{\ast}, x_{n+1}-x^{\ast} \bigr\rangle \\ \leq& \bigl\langle \alpha_{n} \bigl(\rho U(x_{n})-\mu F \bigl(x^{\ast} \bigr) \bigr)+\gamma_{n} \bigl(x_{n}-x^{\ast} \bigr)+ \bigl((1-\gamma_{n})I-\alpha_{n}\mu F \bigr)T(y_{n}) \\ &{} - \bigl((1-\gamma_{n})I-\alpha_{n}\mu F \bigr)T \bigl(x^{\ast} \bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ =& \bigl\langle \alpha_{n}\rho \bigl(U(x_{n})-U \bigl(x^{\ast}\bigr) \bigr),x_{n+1}-x^{\ast}\bigr\rangle + \alpha _{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)- \mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} + \bigl\langle \gamma_{n} \bigl(x_{n}-x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +(1-\gamma_{n}) \biggl\langle \biggl(I-\frac{\alpha_{n}\mu}{1-\gamma _{n}}F \biggr)T(y_{n})- \biggl(I-\frac{\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\biggr\rangle \\ \leq&(\alpha_{n}\rho\tau+\gamma_{n})\bigl\| x_{n}-x^{\ast}\bigr\| \bigl\| x_{n+1}-x^{\ast}\bigr\| +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +(1-\gamma_{n}-\alpha_{n}\upsilon) \bigl\| y_{n}-x^{\ast}\bigr\| \bigl\| x_{n+1}-x^{\ast}\bigr\| \\ \leq&\frac{\gamma_{n}+\alpha_{n}\rho\tau}{2} \bigl(\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}+\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \bigr) \\ &{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{1-\gamma_{n}-\alpha_{n}\upsilon}{2} \bigl(\bigl\| y_{n}-x^{\ast}\bigr\| ^{2}+ \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \bigr) \\ \leq&\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+ \frac {\gamma_{n}+\alpha_{n}\rho\tau}{2}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{1-\gamma_{n}-\alpha_{n}\upsilon}{2} \bigl(\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+(1-\beta_{n})\bigl\| v_{n}-x^{\ast}\bigr\| ^{2} \bigr) \\ \leq&\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+ \frac {\gamma_{n}+\alpha_{n}\rho\tau}{2}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle + \frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{2}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})}{2} \\ &{}\times \bigl\{ \bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-r_{n}(2\theta-r_{n})\bigl\| Dx_{n}-Dx^{\ast}\bigr\| ^{2} \bigr\} , \end{aligned}
(3.14)

which implies that

\begin{aligned} \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \leq&\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha _{n}(\upsilon-\rho\tau)} \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})}{1+\alpha _{n}(\upsilon-\rho\tau)} \bigl\{ \bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-r_{n}(2\theta-r_{n})\bigl\| Dx_{n}-Dx^{\ast}\bigr\| ^{2} \bigr\} \\ \leq&\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau)}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}+\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta _{n}}{1+\alpha_{n}(\upsilon-\rho\tau)}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} -\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})}{1+\alpha _{n}(\upsilon-\rho\tau)} \bigl\{ r_{n}(2\theta-r_{n}) \bigl\| Dx_{n}-Dx^{\ast}\bigr\| ^{2} \bigr\} . \end{aligned}

Then from the above inequality, we get

\begin{aligned} &\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})}{1+\alpha_{n}(\upsilon -\rho\tau)} \bigl\{ r_{n}(2\theta-r_{n}) \bigl\| Dx_{n}-Dx^{\ast}\bigr\| ^{2} \bigr\} \\ &\quad \leq\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau )}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} + \frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau )} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+ \bigl\| x_{n}-x^{\ast}\bigr\| ^{2}- \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \\ &\quad \leq\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau )}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} + \frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau )} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+ \bigl(\bigl\| x_{n}-x^{\ast}\bigr\| + \bigl\| x_{n+1}-x^{\ast}\bigr\| \bigr)\| x_{n+1}-x_{n} \|. \end{aligned}

Since $$\{r_{n}\}\subset(0,2\theta)$$, $$\lim_{n\rightarrow\infty}\| x_{n+1}-x_{n}\|=0$$, $$\gamma_{n}\rightarrow0$$, $$\alpha_{n}\rightarrow0$$, and $$\beta_{n}\rightarrow0$$, we obtain $$\lim_{n\rightarrow\infty}\| Dx_{n}-Dx^{\ast}\|=0$$.

Since $$T_{r_{n}}$$ is firmly nonexpansive, we have

\begin{aligned} \bigl\| u_{n}-x^{\ast}\bigr\| ^{2} =&\bigl\| T_{r_{n}}(x_{n}-r_{n} D x_{n})-T_{r_{n}} \bigl(x^{\ast}-r_{n} D x^{\ast}\bigr)\bigr\| ^{2} \\ \leq& \bigl\langle u_{n}-x^{\ast},(x_{n}-r_{n} D x_{n})- \bigl(x^{\ast}-r_{n} D x^{\ast}\bigr) \bigr\rangle \\ =&\frac{1}{2} \bigl\{ \bigl\| u_{n}-x^{\ast}\bigr\| ^{2}+ \bigl\| (x_{n}-r_{n} D x_{n})- \bigl(x^{\ast}-r_{n} D x^{\ast}\bigr)\bigr\| ^{2} \\ &{} -\bigl\| u_{n}-x^{\ast}- \bigl[(x_{n}-r_{n} D x_{n})- \bigl(x^{\ast}-r_{n} D x^{\ast}\bigr) \bigr]\bigr\| ^{2} \bigr\} . \end{aligned}

Hence, we get

\begin{aligned} \bigl\| u_{n}-x^{\ast}\bigr\| ^{2} \leq&\bigl\| (x_{n}-r_{n} D x_{n})- \bigl(x^{\ast}-r_{n} D x^{\ast}\bigr)\bigr\| ^{2}-\bigl\| u_{n}-x_{n}+r_{n} \bigl(Dx_{n}-Dx^{\ast}\bigr)\bigr\| ^{2} \\ \leq&\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-\bigl\| u_{n}-x_{n}+r_{n} \bigl(Dx_{n}-Dx^{\ast}\bigr)\bigr\| ^{2} \\ \le&\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-\|u_{n}-x_{n} \|^{2}+2r_{n}\|u_{n}-x_{n}\| \bigl\| Dx_{n}-Dx^{\ast}\bigr\| . \end{aligned}

From (3.14), (3.2), and the above inequality, we have

\begin{aligned} \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \leq&\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+\frac{\gamma_{n}+\alpha_{n}\rho\tau}{2} \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{1-\gamma_{n}-\alpha_{n}\upsilon}{2} \bigl(\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+(1-\beta_{n})\bigl\| v_{n}-x^{\ast}\bigr\| ^{2} \bigr) \\ \leq&\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+ \frac {\gamma_{n}+\alpha_{n}\rho\tau}{2}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{1-\gamma_{n}-\alpha_{n}\upsilon}{2} \bigl(\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+(1-\beta_{n})\bigl\| u_{n}-x^{\ast}\bigr\| ^{2} \bigr) \\ \leq&\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+ \frac {\gamma_{n}+\alpha_{n}\rho\tau}{2}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{1-\gamma_{n}-\alpha_{n}\upsilon}{2} \bigl\{ \beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+(1-\beta_{n}) \bigl(\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-\|u_{n}-x_{n}\|^{2} \\ &{} +2r_{n}\|u_{n}-x_{n}\| \bigl\| Dx_{n}-Dx^{\ast}\bigr\| \bigr) \bigr\} , \end{aligned}

which implies

\begin{aligned} \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \leq&\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha _{n}(\upsilon-\rho\tau)} \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{}+ \frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ & +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})}{1+\alpha _{n}(\upsilon-\rho\tau)} \bigl\{ \bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-\|u_{n}-x_{n}\|^{2} \\ &{} +2r_{n}\|u_{n}-x_{n}\|\bigl\| D x_{n}-D x^{\ast}\bigr\| \bigr\} \\ \leq&\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{}+ \frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}+\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta _{n})}{1+\alpha_{n}(\upsilon-\rho\tau)} \\ &{} \times \bigl\{ -\|u_{n}-x_{n}\|^{2}+2r_{n} \|u_{n}-x_{n}\|\bigl\| D x_{n}-D x^{\ast}\bigr\| \bigr\} . \end{aligned}

Hence

\begin{aligned} &\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})}{1+\alpha_{n}(\upsilon -\rho\tau)}\|u_{n}-x_{n}\|^{2} \\ &\quad \leq\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau )}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}+ \frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau )} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} +\frac{2(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})r_{n}}{1+\alpha _{n}(\upsilon-\rho\tau)}\|u_{n}-x_{n}\|\bigl\| D x_{n}-D x^{\ast}\bigr\| +\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \\ &\quad \leq\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau )}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}+ \frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau )} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} +\frac{2(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})r_{n}}{1+\alpha _{n}(\upsilon-\rho\tau)}\|u_{n}-x_{n}\|\bigl\| D x_{n}-D x^{\ast}\bigr\| \\ &\qquad{} + \bigl(\bigl\| x_{n}-x^{\ast}\bigr\| +\bigl\| x_{n+1}-x^{\ast}\bigr\| \bigr) \bigl(\|x_{n+1}-x_{n}\|\bigr). \end{aligned}

Since $$\lim_{n\rightarrow\infty}\|x_{n+1}-x_{n}\|=0$$, $$\gamma _{n}\rightarrow0$$, $$\alpha_{n}\rightarrow0$$, $$\beta_{n}\rightarrow0$$, and $$\lim_{n\rightarrow\infty}\|D x_{n}-D x^{\ast}\|=0$$, we obtain

\begin{aligned} \lim_{n\rightarrow\infty}\|u_{n}-x_{n} \|=0. \end{aligned}
(3.15)

Consider

\begin{aligned}[b] \bigl\| w_{n}^{m}-x^{\ast}\bigr\| ^{2}&= \bigl\| P_{C}(I-\mu_{m} B_{m})u_{n}-P_{C}(I- \mu_{m} B_{m}) x^{\ast}\bigr\| ^{2} \\ &\leq\bigl\| \bigl(u_{n}-x^{\ast}\bigr)-\mu_{m} \bigl( B_{m} u_{n}-B_{m} x^{\ast}\bigr) \bigr\| ^{2} \\ &=\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}+\mu_{m}^{2} \bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2}-2\mu_{m} \bigl\langle u_{n}-x^{\ast},B_{m} u_{n}-B_{m} x^{\ast}\bigr\rangle \\ &\leq\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}+\mu_{m}^{2} \bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2}-2\mu_{m} l_{m}\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2} \\ &\leq\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}-\mu_{m}(2l_{m}- \mu_{m})\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2},\quad 1\leq\forall m\leq r. \end{aligned}

It follows that

\begin{aligned} \bigl\| z_{n}-x^{\ast}\bigr\| ^{2} =&\Biggl\| \sum _{m=1}^{r} \bigl(\eta_{n}^{m} w_{n}^{m} \bigr)-x^{\ast}\Biggr\| ^{2}\leq \sum _{m=1}^{r}\eta_{n}^{m} \bigl\| w_{n}^{m}-x^{\ast}\bigr\| ^{2} \\ \leq&\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}-\sum _{m=1}^{r}\eta_{n}^{m} \mu_{m}(2l_{m}-\mu_{m})\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2}. \end{aligned}

Then we have

\begin{aligned} \bigl\| v_{n}-x^{\ast}\bigr\| ^{2} =&\bigl\| \delta_{n} \bigl(u_{n}-x^{\ast}\bigr)+(1-\delta_{n}) \bigl(z_{n}-x^{\ast}\bigr)\bigr\| ^{2} \\ \leq&\delta_{n}\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}+(1-\delta_{n})\bigl\| z_{n}-x^{\ast}\bigr\| ^{2} \\ =&\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}-(1-\delta_{n}) \sum_{m=1}^{r}\eta_{n}^{m} \mu_{m}(2l_{m}-\mu_{m})\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2} \\ \leq&\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-(1- \delta_{n})\sum_{m=1}^{r} \eta_{n}^{m}\mu_{m}(2l_{m}-\mu _{m})\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2}. \end{aligned}

From (3.14) and the above inequality, we have

\begin{aligned} \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \leq&\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+\frac{\gamma_{n}+\alpha_{n}\rho\tau}{2} \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{1-\gamma_{n}-\alpha_{n}\upsilon}{2} \bigl(\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+(1-\beta_{n})\bigl\| v_{n}-x^{\ast}\bigr\| ^{2} \bigr) \\ \leq&\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+ \frac {\gamma_{n}+\alpha_{n}\rho\tau}{2}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)}{2} \Biggl\{ \beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+(1-\beta_{n}) \Biggl(\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} -(1-\delta_{n})\sum_{m=1}^{r} \eta_{n}^{m}\mu_{m}(2l_{m}- \mu_{m})\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2} \Biggr) \Biggr\} , \end{aligned}

which implies

\begin{aligned} \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \leq&\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha _{n}(\upsilon-\rho\tau)} \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} +\frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+ \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &{} -\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})(1-\delta _{n})}{1+\alpha_{n}(\upsilon-\rho\tau)}\sum_{m=1}^{r} \eta_{n}^{m}\mu_{m}(2l_{m}-\mu _{m})\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2}. \end{aligned}

Then from the above inequality, we have

\begin{aligned} &\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})(1-\delta_{n})}{1+\alpha _{n}(\upsilon-\rho\tau)}\sum_{m=1}^{r} \eta_{n}^{m}\mu_{m}(2l_{m}- \mu_{m})\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| ^{2} \\ &\quad \leq\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau )}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}+ \frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau )} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+ \bigl\| x_{n}-x^{\ast}\bigr\| ^{2}- \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \\ &\quad\leq\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau )}\bigl\| x_{n}-x^{\ast}\bigr\| + \frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+ \bigl(\bigl\| x_{n}-x^{\ast}\bigr\| + \bigl\| x_{n+1}-x^{\ast}\bigr\| \bigr) \bigl(\| x_{n+1}-x_{n} \|\bigr). \end{aligned}

Since $$\mu_{n}\in(0,2 l_{m})$$, $$\lim_{n\rightarrow\infty}\|x_{n+1}-x_{n}\| =0$$, $$\gamma_{n}\rightarrow0$$, $$\alpha_{n}\rightarrow0$$, and $$\beta _{n}\rightarrow0$$, we obtain

$$\lim_{n\rightarrow\infty}\bigl\| B_{m} u_{n}-B_{m} x^{\ast}\bigr\| =0,\quad 1\leq\forall m\leq r.$$

On the other hand, we have

\begin{aligned} &\bigl\| w_{n}^{m}-x^{\ast}\bigr\| ^{2} \\ &\quad=\bigl\| P_{C}(I-\mu_{m} B_{m})u_{n}-P_{C}(I- \mu_{m} B_{m})x^{\ast}\bigr\| ^{2} \\ &\quad\leq \bigl\langle (I-\mu_{m} B_{m})u_{n}-(I- \mu_{m} B_{m})x^{\ast}, w_{n}^{m}-x^{\ast}\bigr\rangle \\ &\quad=\frac{1}{2} \bigl\{ \bigl\| (I-\mu_{m} B_{m})u_{n}-(I- \mu_{m} B_{m})x^{\ast}\bigr\| ^{2}+\bigl\| w_{n}^{m}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} -\bigl\| (I-\mu_{m} B_{m})u_{n}-(I- \mu_{m} B_{m})x^{\ast}- \bigl(w_{n}^{m}-x^{\ast}\bigr)\bigr\| ^{2} \bigr\} \\ &\quad\leq\frac{1}{2} \bigl\{ \bigl\| u_{n}-x^{\ast}\bigr\| ^{2}+\bigl\| w_{n}^{m}-x^{\ast}\bigr\| ^{2}-\bigl\| u_{n}-w_{n}^{m}-\mu _{m} \bigl(B_{m} u_{n}-B_{m}x^{\ast}\bigr)\bigr\| ^{2} \bigr\} \\ &\quad=\frac{1}{2} \bigl\{ \bigl\| u_{n}-x^{\ast}\bigr\| ^{2}+ \bigl\| w_{n}^{m}-x^{\ast}\bigr\| ^{2}- \bigl\| u_{n}-w_{n}^{m} \bigr\| ^{2} \\ &\qquad{} +2\mu_{m} \bigl\langle B_{m} u_{n}-B_{m}x^{\ast}, u_{n}-w_{n}^{m} \bigr\rangle - \mu_{m}^{2} \bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| ^{2} \bigr\} ,\quad 1\leq\forall m\leq r. \end{aligned}

It follows that

\begin{aligned} \bigl\| w_{n}^{m}-x^{\ast}\bigr\| ^{2} \leq&\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}- \bigl\| u_{n}-w_{n}^{m} \bigr\| ^{2}+Q^{m} \bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| ,\quad 1\leq \forall m\leq r, \end{aligned}
(3.16)

where $$Q^{m}$$ is an approximate constant such that

$$Q^{m}=\max \bigl\{ 2\mu_{m}\bigl\| u_{n}-w_{n}^{m} \bigr\| :\forall n\geq1 \bigr\} ,\quad 1\leq\forall m\leq r.$$

On the other hand, we have

$$\|z_{n}-u_{n}\|^{2}\leq\sum _{m=1}^{r} \bigl(\eta_{n}^{m} \bigl\| w_{n}^{m}-u_{n}\bigr\| ^{2} \bigr),$$

which combined with (3.16) gives

\begin{aligned} \bigl\| z_{n}-x^{\ast}\bigr\| ^{2} \leq&\sum _{m=1}^{r} \bigl(\eta_{n}^{m} \bigl\| w_{n}^{m}-x^{\ast}\bigr\| ^{2} \bigr) \\ \leq&\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}-\|z_{n}-u_{n} \|^{2}+\sum_{m=1}^{r} \bigl(Q^{m}\bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| \bigr). \end{aligned}

Hence we have

\begin{aligned} \bigl\| v_{n}-x^{\ast}\bigr\| ^{2} \leq&\delta_{n} \bigl\| u_{n}-x^{\ast}\bigr\| ^{2}+(1-\delta_{n}) \bigl\| z_{n}-x^{\ast}\bigr\| ^{2} \\ \leq&\bigl\| u_{n}-x^{\ast}\bigr\| ^{2}-\|z_{n}-u_{n} \|^{2}+\sum_{m=1}^{r} \bigl(Q^{m}\bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| \bigr) \\ \leq&\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-\|z_{n}-u_{n} \|^{2}+\sum_{m=1}^{r} \bigl(Q^{m}\bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| \bigr). \end{aligned}

In view of (3.14) and the above inequality, we have

\begin{aligned} &\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \\ &\quad\leq\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+ \frac {\gamma_{n}+\alpha_{n}\rho\tau}{2}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\frac{1-\gamma_{n}-\alpha_{n}\upsilon}{2} \bigl(\beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+(1-\beta_{n})\bigl\| v_{n}-x^{\ast}\bigr\| ^{2} \bigr) \\ &\quad\leq\frac{1-\alpha_{n}(\upsilon-\rho\tau)}{2}\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2}+ \frac {\gamma_{n}+\alpha_{n}\rho\tau}{2}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} +\alpha_{n} \bigl\langle \rho U \bigl(x^{\ast}\bigr)-\mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle + \frac{1-\gamma_{n}-\alpha_{n}\upsilon}{2} \Biggl\{ \beta_{n}\bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} +(1-\beta_{n}) \Biggl(\bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-\|z_{n}-u_{n}\|^{2}+\sum _{m=1}^{r} \bigl(Q^{m}\bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| \bigr)\Biggr) \Biggr\} , \end{aligned}
(3.17)

which implies that

\begin{aligned} &\bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \\ &\quad\leq\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} +\frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)- \mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)} \bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})}{1+\alpha _{n}(\upsilon-\rho\tau)} \Biggl\{ \bigl\| x_{n}-x^{\ast}\bigr\| ^{2}-\|z_{n}-u_{n}\|^{2}+\sum _{m=1}^{r} \bigl(Q^{m}\bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| \bigr) \Biggr\} . \end{aligned}

Hence

\begin{aligned} &\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)(1-\beta_{n})}{1+\alpha_{n}(\upsilon -\rho\tau)}\|z_{n}-u_{n}\|^{2} \\ &\quad \leq\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau )}\bigl\| x_{n}-x^{\ast}\bigr\| ^{2} +\frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)- \mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)} \bigl\| S x_{n}-x^{\ast}\bigr\| ^{2}+ \bigl\| x_{n}-x^{\ast}\bigr\| ^{2}- \bigl\| x_{n+1}-x^{\ast}\bigr\| ^{2} \\ &\qquad{} +\sum_{m=1}^{r} \bigl(Q^{m} \bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| \bigr) \\ &\quad =\frac{\gamma_{n}+\alpha_{n}\rho\tau}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\| x_{n}-x^{\ast}\bigr\| ^{2} +\frac{2\alpha_{n}}{1+\alpha_{n}(\upsilon-\rho\tau)} \bigl\langle \rho U \bigl(x^{\ast}\bigr)- \mu F \bigl(x^{\ast}\bigr),x_{n+1}-x^{\ast}\bigr\rangle \\ &\qquad{} +\frac{(1-\gamma_{n}-\alpha_{n}\upsilon)\beta_{n}}{1+\alpha_{n}(\upsilon -\rho\tau)} \bigl\| S x_{n}-x^{\ast}\bigr\| ^{2} + \bigl(\bigl\| x_{n}-x^{\ast}\bigr\| +\bigl\| x_{n+1}-x^{\ast}\bigr\| \bigr)\bigl(\|x_{n+1}-x_{n}\|\bigr) \\ &\qquad{} +\sum_{m=1}^{r} \bigl(Q^{m} \bigl\| B_{m} u_{n}-B_{m}x^{\ast}\bigr\| \bigr). \end{aligned}

Since $$\lim_{n\rightarrow\infty}\|x_{n+1}-x_{n}\|=0$$, $$\gamma _{n}\rightarrow0$$, $$\alpha_{n}\rightarrow0$$, $$\beta_{n}\rightarrow0$$, and $$\lim_{n\rightarrow\infty}\|B_{m} u_{n}-B_{m} x^{\ast}\|=0$$, we get

\begin{aligned} \lim_{n\rightarrow\infty}\|z_{n}-u_{n} \|=0. \end{aligned}
(3.18)

It follows from (3.15) and (3.18) that

\begin{aligned} \lim_{n\rightarrow\infty}\|z_{n} -x_{n} \|=0. \end{aligned}
(3.19)

From Algorithm 3.1, we have

\begin{aligned} \|v_{n}-x_{n}\| \leq&\delta_{n} \|u_{n}-x_{n}\|+(1-\delta_{n}) \|z_{n}-x_{n}\|, \end{aligned}

which implies

\begin{aligned}& \lim_{n\rightarrow\infty}\|x_{n}-v_{n} \|=0, \\& \begin{aligned}[b] \bigl\| x_{n}-T(y_{n})\bigr\| &\leq \|x_{n}-x_{n+1} \|+\bigl\| x_{n+1}-T(y_{n})\bigr\| \\ &=\|x_{n}-x_{n+1}\|+\bigl\| P_{C}[V_{n}]-P_{C} \bigl[T(y_{n}) \bigr]\bigr\| \\ &\leq\|x_{n}-x_{n+1}\|+\bigl\| \alpha_{n} \bigl(\rho U(x_{n})-\mu F \bigl(T(y_{n}) \bigr) \bigr)+\gamma _{n} \bigl(x_{n}-T(y_{n}) \bigr)\bigr\| \\ &\leq\|x_{n}-x_{n+1}\|+\alpha_{n}\bigl\| \rho U(x_{n})-\mu F \bigl(T(y_{n}) \bigr)\bigr\| + \gamma_{n} \bigl\| x_{n}-T(y_{n})\bigr\| , \end{aligned} \end{aligned}
(3.20)

and therefore

\begin{aligned} \bigl\| x_{n}-T(y_{n})\bigr\| \leq\frac{1}{1-\gamma_{n}} \|x_{n}-x_{n+1}\|+\frac{\alpha _{n}}{1-\gamma_{n}}\bigl\| \rho U(x_{n})-\mu F \bigl(T(y_{n}) \bigr)\bigr\| . \end{aligned}

Since $$\lim_{n\rightarrow\infty}\|x_{n+1}-x_{n}\|=0$$, $$\alpha _{n}\rightarrow0$$, we obtain

\begin{aligned} \lim_{n\rightarrow\infty}\bigl\| x_{n}-T(y_{n})\bigr\| =0. \end{aligned}

Since $$T(x_{n})\in C$$, we have

\begin{aligned} \bigl\| x_{n}-T(x_{n})\bigr\| \leq&\|x_{n}-x_{n+1} \|+\bigl\| x_{n+1}-T(x_{n})\bigr\| \\ =&\|x_{n}-x_{n+1}\|+\bigl\| P_{C}[V_{n}]-P_{C} \bigl[T(x_{n}) \bigr]\bigr\| \\ \leq&\|x_{n}-x_{n+1}\|+\bigl\| \alpha_{n} \bigl(\rho U(x_{n})-\mu F \bigl(T(y_{n}) \bigr) \bigr) \\ &{} +\gamma_{n} \bigl(x_{n}-T(y_{n}) \bigr)+T(y_{n})-T(x_{n})\bigr\| \\ \leq&\|x_{n}-x_{n+1}\|+\alpha_{n}\bigl\| \rho U(x_{n})-\mu F \bigl(T(y_{n}) \bigr)\bigr\| + \gamma_{n} \bigl\| x_{n}-T(y_{n})\bigr\| + \|y_{n}-x_{n}\| \\ \leq&\|x_{n}-x_{n+1}\|+\alpha_{n}\bigl\| \rho U(x_{n})-\mu F \bigl(T(y_{n}) \bigr)\bigr\| + \gamma_{n} \bigl\| x_{n}-T(y_{n})\bigr\| \\ &{} +\bigl\| \beta_{n} S x_{n}+(1-\beta_{n})v_{n}-x_{n} \bigr\| \\ \leq&\|x_{n}-x_{n+1}\|+\alpha_{n}\bigl\| \rho U(x_{n})-\mu F \bigl(T(y_{n}) \bigr)\bigr\| + \gamma_{n} \bigl\| x_{n}-T(y_{n})\bigr\| \\ &{} +\beta_{n}\|S x_{n}-x_{n}\|+(1- \beta_{n})\|v_{n}-x_{n}\|. \end{aligned}

Since $$\lim_{n\rightarrow\infty}\|x_{n+1}-x_{n}\|=0$$, $$\gamma _{n}\rightarrow0$$, $$\alpha_{n}\rightarrow0$$, $$\beta_{n}\rightarrow0$$, $$\lim_{n\rightarrow\infty}\|x_{n}-T(y_{n})\|=0$$, $$\|\rho U(x_{n})-\mu F(T(y_{n}))\|$$, and $$\|S x_{n}-x_{n}\|$$ are bounded and $$\lim_{n\rightarrow\infty}\| x_{n}-v_{n}\|=0$$, we obtain

\begin{aligned} \lim_{n\rightarrow\infty}\bigl\| x_{n}-T(x_{n})\bigr\| =0. \end{aligned}

Since $$\{x_{n}\}$$ is bounded, without loss of generality we can assume that $$x_{n}\rightharpoonup x^{\ast}\in C$$. It follows from Lemma 2.3 that $$x^{\ast}\in F(T)$$. Therefore $$\omega_{\omega}(x_{n})\subset F(T)$$. □

### Theorem 3.1

The sequence $$\{x_{n}\}$$ generated by Algorithm 3.1 converges strongly to z, which is the unique solution of the variational inequality

\begin{aligned} \bigl\langle \rho U(z)-\mu F(z), x-z \bigr\rangle \leq0,\quad \forall x \in \mathscr {F}=F(T)\cap VI(C, B_{m})\cap GMEP(F,\varphi,D). \end{aligned}
(3.21)

### Proof

Since $$\{x_{n}\}$$ is bounded, $$x_{n}\rightharpoonup w$$, and from Lemma 3.2, we have $$w\in F(T)$$. Next, we show that $$w\in GMEP(F,\varphi ,D)$$. Since $$u_{n}=T_{r_{n}}(x_{n}-r_{n} Dx_{n})$$, we have

$$F(u_{n},y)+\varphi(y)-\varphi(u_{n})+\langle Dx_{n},y-u_{n}\rangle+\frac {1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0,\quad \forall y \in C.$$

It follows from the monotonicity of F that

$$\varphi(y)-\varphi(u_{n})+\langle Dx_{n},y-u_{n} \rangle+\frac{1}{r_{n}}\langle y-u_{n},u_{n}-x_{n} \rangle\geq F(y, u_{n}),\quad \forall y\in C,$$

and

\begin{aligned} \varphi(y)-\varphi(u_{n_{k}})+\langle Dx_{n_{k}},y-u_{n_{k}} \rangle+ \biggl\langle y-u_{n_{k}},\frac{u_{n_{k}}-x_{n_{k}}}{r_{n_{k}}} \biggr\rangle \geq F(y, u_{n_{k}}),\quad \forall y\in C. \end{aligned}
(3.22)

Since $$\lim_{n\rightarrow\infty}\|u_{n}-x_{n}\|=0$$ and $$x_{n}\rightharpoonup w$$, it is easy to observe that $$u_{n_{k}}\rightarrow w$$. For any $$0< t\leq 1$$ and $$y\in C$$, let $$y_{t}=ty+(1-t)w$$, and we have $$y_{t}\in C$$. Then from (3.22), we obtain

\begin{aligned} \langle Dy_{t},y_{t}-u_{n_{k}} \rangle\geq{}&\varphi(u_{n_{k}})-\varphi (y_{t})+\langle Dy_{t},y_{t}-u_{n_{k}}\rangle \\ &{}-\langle Dx_{n_{k}},y_{t}-u_{n_{k}}\rangle- \biggl\langle y_{t}-u_{n_{k}},\frac {u_{n_{k}}-x_{n_{k}}}{r_{n_{k}}} \biggr\rangle +F(y_{t},u_{n_{k}}) \\ ={}& \varphi(u_{n_{k}})-\varphi(y_{t})+\langle Dy_{t}-Du_{n_{k}},y_{t}-u_{n_{k}}\rangle+ \langle Du_{n_{k}}-Dx_{n_{k}},y_{t}-u_{n_{k}} \rangle \\ &{}- \biggl\langle y_{t}-u_{n_{k}},\frac{u_{n_{k}}-x_{n_{k}}}{r_{n_{k}}} \biggr\rangle +F(y_{t},u_{n_{k}}). \end{aligned}
(3.23)

Since D is Lipschitz continuous and $$\lim_{n\rightarrow\infty}\| u_{n}-x_{n}\|=0$$, we obtain $$\lim_{n\rightarrow\infty}\|Du_{n_{k}}-Dx_{n_{k}}\| =0$$. From the monotonicity of D, the weakly lower semicontinuity of φ, and $$u_{n_{k}}\rightarrow w$$, it follows from (3.23) that

\begin{aligned} \langle Dy_{t},y_{t}-w\rangle\geq \varphi(w)- \varphi(y_{t})+F(y_{t},w). \end{aligned}
(3.24)

Hence, from assumptions (A1)-(A4) and (3.24), we have

\begin{aligned} 0 =& F(y_{t},y_{t})+\varphi(y_{t})- \varphi(y_{t})\leq t F(y_{t},y)+(1-t) F(y_{t},w)+t \varphi(y)+(1-t)\varphi(w)-\varphi(y_{t}) \\ =& t \bigl[F(y_{t},y)+\varphi(y)-\varphi(y_{t}) \bigr]+(1-t) \bigl[F(y_{t},w)+\varphi (w)-\varphi(y_{t}) \bigr] \\ \leq& t \bigl[F(y_{t},y)+\varphi(y)-\varphi(y_{t}) \bigr]+(1-t)t\langle Dy_{t},y-w\rangle, \end{aligned}
(3.25)

which implies that $$F(y_{t},y)+\varphi(y)-\varphi(y_{t})+(1-t)\langle Dy_{t},y-w\rangle\geq0$$. Letting $$t\rightarrow0_{+}$$, we have

$$F(w,y)+\varphi(y)-\varphi(w)+\langle Dw,y-w\rangle\geq0, \quad\forall y\in C,$$

which implies that $$w\in GMEP(F,\varphi,D)$$. Furthermore, we show that $$w\in VI(C,B_{m})$$. Define a mapping $$J:C\rightarrow C$$ by

$$Jx=\sum_{m=1}^{r}\eta^{m} P_{C}(I-\mu_{m} B_{m})x, \quad\forall x\in C,$$

where $$\eta^{m}=\lim_{n\rightarrow\infty}\eta_{n}^{m}$$. From Lemma 2.7, we see that J is nonexpansive such that

$$F(J)=\bigcap_{m=1}^{r}F \bigl(P_{C}(I-\mu_{m} B_{m}) \bigr)=\bigcap _{m=1}^{r} VI(C,B_{m}).$$

Note that

\begin{aligned} \|u_{n}-J u_{n}\| \leq&\|u_{n}-z_{n} \|+\|z_{n}-J u_{n}\| \\ \leq&\|u_{n}-z_{n}\|+\Biggl\| \sum_{m=1}^{r} \eta_{n}^{m} P_{C}(I-\mu_{m} B_{m})u_{n}-\sum_{m=1}^{r} \eta^{m} P_{C}(I-\mu_{m} B_{m})u_{n} \Biggr\| \\ \leq&\|u_{n}-z_{n}\|+M\cdot\sum _{m=1}^{r}\bigl|\eta_{n}^{m}- \eta^{m}\bigr|. \end{aligned}

In view of restriction (f), we find from (3.18) that

$$\lim_{n\rightarrow\infty}\|u_{n}-J u_{n}\|=0.$$

It follows from Lemma 2.3 that $$w\in F(J)=\bigcap_{m=1}^{r} VI(C,B_{m})$$. Thus, we have $$w\in\mathscr{F}=F(T)\cap VI(C, B_{m})\cap GMEP(F,\varphi,D)$$.

Observe that the constants satisfy $$0<\rho\tau<\nu$$ and

\begin{aligned} \kappa\geq\eta \quad \Leftrightarrow&\quad \kappa^{2}\geq \eta^{2} \\ \quad \Leftrightarrow&\quad 1-2\mu\eta+\mu^{2}\kappa^{2} \geq1-2\mu \eta+\mu^{2}\eta^{2} \\ \quad \Leftrightarrow&\quad \sqrt{1-\mu \bigl(2\eta-\mu\kappa^{2} \bigr)}\geq1-\mu \eta \\ \quad \Leftrightarrow&\quad \mu\eta\geq1-\sqrt{1-\mu \bigl(2\eta-\mu \kappa^{2} \bigr)} \\ \quad \Leftrightarrow&\quad \mu\eta\geq\nu, \end{aligned}

therefore, from Lemma 2.4, the operator $$\mu F-\rho U$$ is $$\mu\eta-\rho \tau$$-strongly monotone, and we get the uniqueness of the solution of the variation inequality (3.21) and denote it by $$z\in\mathscr {F}=F(T)\cap VI(C, B_{m})\cap GMEP(F,\varphi,D)$$.

Next, we claim that $$\limsup_{n\rightarrow\infty}\langle\rho U(z)-\mu F(z),x_{n}-z\rangle\leq0$$. Since $$\{x_{n}\}$$ is bounded, there exists a subsequence $$\{x_{n_{k}}\}$$ of $$\{x_{n}\}$$ such that

\begin{aligned} \limsup_{n\rightarrow\infty} \bigl\langle \rho U(z)-\mu F(z),x_{n}-z \bigr\rangle =&\limsup_{n\rightarrow\infty} \bigl\langle \rho U(z)-\mu F(z),x_{n_{k}}-z \bigr\rangle \\ =& \bigl\langle \rho U(z)-\mu F(z),w-z \bigr\rangle \leq0. \end{aligned}

Next, we show that $$x_{n}\rightarrow z$$. We have

\begin{aligned} & \|x_{n+1}-z\|^{2} \\ &\quad= \bigl\langle P_{C}[V_{n}]-z,x_{n+1}-z \bigr\rangle \\ &\quad= \bigl\langle P_{C}[V_{n}]-V_{n},P_{C}[V_{n}]-z \bigr\rangle +\langle V_{n}-z,x_{n+1}-z\rangle \\ &\quad\leq \biggl\langle \alpha_{n} \bigl(\rho U(x_{n})-\mu F(z) \bigr)+\gamma_{n}(x_{n}-z) \\ &\qquad{}+(1-\gamma_{n}) \biggl[ \biggl(I-\frac{\alpha_{n} \mu}{1-\gamma_{n}}F \biggr)T(y_{n})- \biggl(I-\frac {\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T(z) \biggr],x_{n+1}-z \biggr\rangle \\ &\quad= \bigl\langle \alpha_{n}\rho \bigl(U(x_{n})-U(z) \bigr),x_{n+1}-z \bigr\rangle +\alpha_{n} \bigl\langle \rho U(z)- \mu F(z),x_{n+1}-z \bigr\rangle \\ &\qquad{}+\gamma_{n}\langle x_{n}-z,x_{n+1}-z \rangle \\ &\qquad{}+(1-\gamma_{n}) \biggl\langle \biggl(I-\frac{\alpha_{n} \mu}{1-\gamma _{n}}F \biggr)T(y_{n})- \biggl(I-\frac{\alpha_{n}\mu}{1-\gamma_{n}}F \biggr)T(z), x_{n+1}-z \biggr\rangle \\ &\quad\leq(\gamma_{n}+\alpha_{n}\rho\tau) \|x_{n}-z \|\|x_{n+1}-z\|+\alpha _{n} \bigl\langle \rho U(z)-\mu F(z), x_{n+1}-z \bigr\rangle \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n}\nu)\|y_{n}-z \| \|x_{n+1}-z\| \\ &\quad\leq(\gamma_{n}+\alpha_{n}\rho\tau) \|x_{n}-z \|\|x_{n+1}-z\|+\alpha _{n} \bigl\langle \rho U(z)-\mu F(z), x_{n+1}-z \bigr\rangle \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n}\nu) \bigl\{ \beta_{n} \|S x_{n}-Sz\|+\beta_{n}\|S z-z\| +(1- \beta_{n}) \|v_{n}-z\| \bigr\} \\ &\qquad{}\times\|x_{n+1}-z\| \\ &\quad\leq(\gamma_{n}+\alpha_{n}\rho\tau) \|x_{n}-z \|\|x_{n+1}-z\|+\alpha _{n} \bigl\langle \rho U(z)-\mu F(z), x_{n+1}-z \bigr\rangle \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n}\nu) \bigl\{ \beta_{n} \|x_{n}-z\|+\beta_{n}\|S z-z\|+(1-\beta _{n}) \|x_{n}-z\| \bigr\} \|x_{n+1}-z\| \\ &\quad= \bigl(1-\alpha_{n}(\nu-\rho\tau) \bigr)\|x_{n}-z\| \|x_{n+1}-z\|+\alpha_{n} \bigl\langle \rho U(z)-\mu F(z),x_{n+1}-z \bigr\rangle \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n}\nu)\beta_{n} \|S z-z \|\|x_{n+1}-z\| \\ &\quad\leq\frac{1-\alpha_{n}(\nu-\rho\tau)}{2} \bigl(\|x_{n}-z\|^{2}+ \|x_{n+1}-z\| ^{2} \bigr)+\alpha_{n} \bigl\langle \rho U(z)-\mu F(z),x_{n+1}-z \bigr\rangle \\ &\qquad{}+(1-\gamma_{n}-\alpha_{n}\nu)\beta_{n} \|S z-z \|\|x_{n+1}-z\|, \end{aligned}

which implies that

\begin{aligned} & \|x_{n+1}-z\|^{2} \\ &\quad\leq\frac{1-\alpha_{n}(\nu-\rho\tau)}{1+\alpha_{n}(\nu-\rho\tau)}\| x_{n}-z\|^{2}+ \frac{2\alpha_{n}}{1+\alpha_{n}(\nu-\rho\tau)} \bigl\langle \rho U(z)-\mu F(z),x_{n+1}-z \bigr\rangle \\ &\qquad{}+\frac{2(1-\gamma_{n}-\alpha_{n}\nu)\beta_{n}}{1+\alpha_{n}(\nu-\rho\tau)}\| S z-z\|\|x_{n+1}-z\| \\ &\quad\leq \bigl(1-\alpha_{n}(\nu-\rho\tau) \bigr) \|x_{n}-z \|^{2}+\frac{2\alpha_{n}(\nu-\rho \tau)}{1+\alpha_{n}(\nu-\rho\tau)} \\ &\qquad{}\times \biggl\{ \frac{1}{\nu-\rho\tau} \bigl\langle \rho U(z)-\mu F(z),x_{n+1}-z \bigr\rangle +\frac{(1-\gamma_{n}-\alpha_{n}\nu)\beta_{n}}{\alpha _{n}(\nu-\rho\tau)}\|S z-z\| \|x_{n+1}-z\| \biggr\} . \end{aligned}

It follows from Lemma 2.6 that $$x_{n}\rightarrow z$$. This completes the proof. □

## Applications

In this section, we obtain the following results by using a special case of the proposed method for example.

Putting $$D=\varphi=0$$, $$B_{m}=0$$ for each m, and $$\delta_{n}=0$$ in Algorithm 3.1, we obtain the following result, which can be viewed as an extension and improvement of the method of Bnouhachem et al.  for finding the approximate element of the common set of solutions of equilibrium problem and a hierarchical fixed point problem.

### Theorem 4.1

Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let $$F:C\times C\rightarrow R$$ be a bifunction that satisfy condition (A1)-(A4), and let $$S,T:C\rightarrow C$$ be nonexpansive mappings such that $$F(T)\cap EP(F)\neq\emptyset$$. Let $$F:C\rightarrow C$$ be a κ-Lipschitzian mapping and η-strongly monotone, and let $$U:C\rightarrow C$$ be a τ-Lipschitzian mapping. For an arbitrarily given $$x_{0}\in C$$, let the iterative sequences $$\{u_{n}\}$$, $$\{x_{n}\}$$, and $$\{y_{n}\}$$ be generated by

\begin{aligned} \left \{ \begin{array}{@{}l} F(u_{n},y)+\frac{1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0, \quad \forall y\in C;\\ y_{n}=\beta_{n} S x_{n}+(1-\beta_{n})u_{n};\\ x_{n+1}=P_{C}[\alpha_{n} \rho U(x_{n})+\gamma_{n} x_{n}+((1-\gamma_{n})I-\alpha _{n} \mu F)T(y_{n})], \quad \forall n\geq0. \end{array} \right . \end{aligned}

Suppose that the parameters satisfy $$0<\mu<\frac{2\eta}{\kappa^{2}}$$, $$0\leq \rho\tau<\upsilon$$, where $$\upsilon=1-\sqrt{1-\mu(2\eta-\mu\kappa^{2})}$$. Also $$\{\gamma_{n}\}$$, $$\{\alpha_{n}\}$$, $$\{\beta_{n}\}$$, and $$\{r_{n}\}$$ are sequences in $$(0,1)$$ satisfying the following conditions:

1. (a)

$$\lim_{n\rightarrow\infty}\gamma_{n}=0$$, $$\gamma_{n}+\alpha_{n}<1$$;

2. (b)

$$\lim_{n\rightarrow\infty}\alpha_{n}=0$$, and $$\sum_{n=1}^{\infty }\alpha_{n}=\infty$$;

3. (c)

$$\lim_{n\rightarrow\infty}(\beta_{n}/\alpha_{n})=0$$;

4. (d)

$$\sum_{n=1}^{\infty}|\alpha_{n}-\alpha_{n-1}|<\infty$$, $$\sum_{n=1}^{\infty}|\gamma_{n}-\gamma_{n-1}|<\infty$$, and $$\sum_{n=1}^{\infty }|\beta_{n}-\beta_{n-1}|<\infty$$;

5. (e)

$$\liminf_{n\rightarrow\infty}r_{n}>0$$, and $$\sum_{n=1}^{\infty }|r_{n}-r_{n-1}|<\infty$$.

Then the sequence $$\{x_{n}\}$$ converges strongly to z, which is the unique solution of the variational inequality:

$$\bigl\langle \rho U(z)-\mu F(z), x-z \bigr\rangle \leq0,\quad \forall x\in F(T) \cap EP(F).$$

Putting $$\delta_{n}=0$$, $$m=1$$ in Algorithm 3.1, we obtain the following result which can be viewed as an extension and improvement of the method of Bnouhachem and Chen  for finding the approximate element of the common set of solutions of variational inequalities, a generalized mixed equilibrium problem, and a hierarchical fixed point problem.

### Theorem 4.2

Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let $$D,A:C\rightarrow H$$ be $$\theta,\alpha$$-inverse strongly monotone mapping, respectively. Let $$F:C\times C\rightarrow R$$ satisfy (A1)-(A4), and let $$\varphi:C\rightarrow R$$ be a proper lower semicontinuous and convex function. Let $$S,T:C\rightarrow C$$ be nonexpansive mappings such that $$F(T)\cap VI(C,A)\cap GMEP(F,\varphi,D)\neq\emptyset$$. Let $$F:C\rightarrow C$$ be a κ-Lipschitzian mapping and be η-strongly monotone, and let $$U:C\rightarrow C$$ be a τ-Lipschitzian mapping. For an arbitrarily given $$x_{0}\in C$$, let the iterative sequences $$\{u_{n}\}$$, $$\{ x_{n}\}$$, $$\{y_{n}\}$$, and $$\{z_{n}\}$$ be generated by

\begin{aligned} \left \{ \begin{array}{@{}l} F(u_{n},y)+\langle Dx_{n},y-u_{n}\rangle+\varphi(y)-\varphi(u_{n})+\frac {1}{r_{n}}\langle y-u_{n},u_{n}-x_{n}\rangle\geq0, \quad \forall y\in C;\\ z_{n}=P_{C}[u_{n}-\lambda_{n} A u_{n}];\\ y_{n}=\beta_{n} S x_{n}+(1-\beta_{n})z_{n};\\ x_{n+1}=P_{C}[\alpha_{n} \rho U(x_{n})+\gamma_{n} x_{n}+((1-\gamma_{n})I-\alpha _{n} \mu F)T(y_{n})], \quad\forall n\geq0, \end{array} \right . \end{aligned}

where $$\lambda_{n}\in(0,2\alpha)$$, $$\{r_{n}\}\subset(2,2\theta)$$. Suppose that the parameters satisfy $$0<\mu<\frac{2\eta}{\kappa^{2}}$$, $$0\leq\rho\tau <\upsilon$$, where $$\upsilon=1-\sqrt{1-\mu(2\eta-\mu\kappa^{2})}$$. Also $$\{\alpha_{n}\}$$, $$\{\beta_{n}\}$$, and $$\{\gamma_{n}\}$$ are sequences in $$(0,1)$$ satisfying the following conditions:

1. (a)

$$\lim_{n\rightarrow\infty}\gamma_{n}=0$$, $$\gamma_{n}+\alpha_{n}<1$$;

2. (b)

$$\lim_{n\rightarrow\infty}\alpha_{n}=0$$, and $$\sum_{n=1}^{\infty }\alpha_{n}=\infty$$;

3. (c)

$$\lim_{n\rightarrow\infty}(\beta_{n}/\alpha_{n})=0$$;

4. (d)

$$\sum_{n=1}^{\infty}|\alpha_{n}-\alpha_{n-1}|<\infty$$, $$\sum_{n=1}^{\infty}|\gamma_{n}-\gamma_{n-1}|<\infty$$, and $$\sum_{n=1}^{\infty }|\beta_{n}-\beta_{n-1}|<\infty$$;

5. (e)

$$\liminf_{n\rightarrow\infty}r_{n}>0$$, and $$\sum_{n=1}^{\infty }|r_{n}-r_{n-1}|<\infty$$;

6. (f)

$$\liminf_{n\rightarrow\infty}\lambda_{n}<\limsup_{n\rightarrow\infty }\lambda_{n}<2\alpha$$ and $$\sum_{n=1}^{\infty}|\lambda_{n}-\lambda _{n-1}|<\infty$$.

Then the sequence $$\{x_{n}\}$$ converges strongly to z, which is the unique solution of the variational inequality:

$$\bigl\langle \rho U(z)-\mu F(z), x-z \bigr\rangle \leq0, \quad\forall x\in VI(C, A) \cap GMEP(F,\varphi,D)\cap F(T).$$

Putting $$\rho=\mu=1$$, $$\beta_{n}=\delta_{n}=0$$, $$\varphi=0$$, $$U=f$$ a contraction mapping, and $$F=A$$ a strongly positive linear bounded operator, we obtain the following theorem.

### Theorem 4.3

Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let $$B_{m}:C\rightarrow H$$ be $$l_{m}$$-inverse strongly monotone mapping for each $$1\leq m\leq r$$, where r is some positive integer. Let $$D:C\rightarrow H$$ be a α-inverse strongly monotone mapping. Let $$F:C\times C\rightarrow R$$ satisfy (A1)-(A4). Let $$T:C\rightarrow C$$ be nonexpansive mappings such that $$\mathscr{F}=F(T)\cap VI(C,A)\cap EP\neq\emptyset$$. Let A be a strongly positive linear bounded operator with coefficient $$\overline {\gamma}$$ and let $$f:H\rightarrow H$$ be a contraction with contraction constant h ($$0< h<1$$) and $$0<\gamma<(\overline{\gamma}/h)$$. Let $$\{x_{n}\}$$, $$\{y_{n}\}$$, $$\{\rho_{n}\}$$ be sequences generated by $$x_{1}\in H$$ and

\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} F(y_{n},\eta)+\langle Dy_{n},\eta-y_{n}\rangle+\frac{1}{r_{n}}\langle\eta -y_{n},y_{n}-x_{n}\rangle\geq0, \quad\forall\eta\in C;\\ \rho_{n}=\sum_{m=1}^{r}\eta_{n}^{m}P_{C}(I-\mu_{m} B_{m})y_{n};\\ x_{n+1}=\alpha_{n} \gamma f(x_{n})+\beta_{n} x_{n}+((1-\beta_{n})I-\alpha_{n} A)T(\rho_{n}); \end{array} \right . \end{aligned}

where $$\mu_{m}\in(0,2l_{m})$$, $$\{\alpha\},\{\beta\}\subset[0,1]$$, and $$\{r_{n}\} \subset[0,\infty]$$. If the following conditions are satisfied:

1. (a)

$$\lim_{n\rightarrow\infty}\alpha_{n}=0$$, and $$\sum_{n=1}^{\infty }\alpha_{n}=\infty$$;

2. (b)

$$\lim_{n\rightarrow\infty}\eta_{n}^{m}=\eta^{m}\in(0,1)$$;

3. (c)

$$\sum_{n=1}^{\infty}|r_{n+1}-r_{n}|<\infty$$;

4. (d)

$$\liminf_{n\rightarrow\infty}r_{n}>0$$, $$0<\liminf_{n\rightarrow\infty }\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1$$;

5. (e)

$$\sum_{m=1}^{r}\eta_{n}^{m}=1$$, $$\forall n\geq1$$;

then $$\{x_{n}\}$$ converges strongly to $$q\in\mathscr{F}$$, where $$q=P_{\mathscr{F}}(\gamma f+(I-A))q$$.

### Remark

If $$T=W_{n}$$ in Theorem 4.3, where $$W_{n}$$ is the W-mapping of C into itself which is generated by a family of nonexpansive mappings $$S_{n}, S_{n-1},\ldots, S_{1}$$, and a sequence of positive numbers in $$[0,1]$$ $$\lambda_{n}, \lambda_{n-1},\ldots, \lambda_{1}$$, we can easily get Theorem 10 in Zhou et al. . It is worth to mention two points as follows:

1. (1)

Since we all know that $$W_{n}$$ mapping is nonexpansive, if $$T=W_{n}$$ in Theorem 4.3, then we can easily get Theorem 10 in Zhou et al. .

2. (2)

A family of infinite $$k_{n}$$-strict pseudocontractive mappings in Theorem 10 in Zhou et al.  did not work, so we should omit them. Theorem 10 in Zhou et al.  should be corrected as follows:

### Theorem 4.4

Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let $$B_{m}:C\rightarrow H$$ be $$l_{m}$$-inverse strongly monotone mapping for each $$1\leq m\leq r$$, where r is some positive integer. Let $$D:C\rightarrow H$$ be a α-inverse strongly monotone mapping. Let $$F:C\times C\rightarrow R$$ satisfy (A1)-(A4). Let $$\{\lambda_{n}\}_{n=1}^{\infty}$$ be a sequence of positive numbers in $$[0,b]$$ for some $$b\in(0,1)$$, and let $$\{S_{n}\} _{n=1}^{\infty}:C\rightarrow C$$ be a family of infinitely nonexpansive mappings such that $$\mathscr{F}=F(T)\cap VI(C,A)\cap EP\neq\emptyset$$. Let A be a strongly positive linear bounded operator with coefficient $$\overline{\gamma}$$ and let $$f:H\rightarrow H$$ be a contraction with contraction constant h ($$0< h<1$$) and $$0<\gamma<(\overline{\gamma}/h)$$. Let $$\{x_{n}\}$$, $$\{y_{n}\}$$, $$\{\rho_{n}\}$$ be sequences generated by $$x_{1}\in H$$ and

\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} F(y_{n},\eta)+\langle Dy_{n},\eta-y_{n}\rangle+\frac{1}{r_{n}}\langle\eta -y_{n},y_{n}-x_{n}\rangle\geq0, \quad\forall\eta\in C;\\ \rho_{n}=\sum_{m=1}^{r}\eta_{n}^{m}P_{C}(I-\mu_{m} B_{m})y_{n};\\ x_{n+1}=\alpha_{n} \gamma f(x_{n})+\beta_{n} x_{n}+((1-\beta_{n})I-\alpha_{n} A)W_{n}\rho_{n}; \end{array} \right . \end{aligned}

where $$\mu_{m}\in(0,2l_{m})$$, $$\{\alpha\},\{\beta\}\subset[0,1]$$, and $$\{r_{n}\} \subset[0,\infty]$$. If the following conditions are satisfied:

1. (a)

$$\lim_{n\rightarrow\infty}\alpha_{n}=0$$, and $$\sum_{n=1}^{\infty }\alpha_{n}=\infty$$;

2. (b)

$$\lim_{n\rightarrow\infty}\eta_{n}^{m}=\eta^{m}\in(0,1)$$;

3. (c)

$$\sum_{n=1}^{\infty}|r_{n+1}-r_{n}|<\infty$$;

4. (d)

$$\liminf_{n\rightarrow\infty}r_{n}>0$$, $$0<\liminf_{n\rightarrow\infty }\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1$$;

5. (e)

$$\sum_{m=1}^{r}\eta_{n}^{m}=1$$, $$\forall n\geq1$$;

then $$\{x_{n}\}$$ converges strongly to $$q\in\mathscr{F}$$, where $$q=P_{\mathscr{F}}(\gamma f+(I-A))q$$.

## References

1. Peng, JW, Yao, JC: A new hybrid-extragradient method for generalized mixed equilibrium problems and fixed point problems and variational inequality problems. Taiwan. J. Math. 12(6), 1401-1432 (2008)

2. Al-Mazrooei, AE, Latif, A, Yao, JC: Solving generalized mixed equilibria, variational inequalities, and constrained convex minimization. Abstr. Appl. Anal. 2014, Article ID 587865 (2014)

3. Anasari, QH, Schaible, S, Yao, JC: The system of generalized vector equilibrium problems with applications. J. Glob. Optim. 22, 3-16 (2002)

4. Ceng, LC, Hu, HY, Wong, MM: Strong and weak convergence theorems for generalized mixed equilibrium problem with perturbation and fixed pointed problem of infinitely many nonexpansive mappings. Taiwan. J. Math. 15(3), 1341-1367 (2011)

5. Ceng, LC, Guu, SM, Yao, JC: Hybrid iterative method for finding common solutions of generalized mixed equilibrium and fixed point problems. Fixed Point Theory Appl. 2012, Article ID 92 (2012)

6. Ceng, LC, Ansari, QH, Schaible, S, Yao, JC: Iterative methods for generalized equilibrium problems, systems of generalized equilibrium problems and fixed point problems for nonexpansive mapping in Hilbert spaces. Fixed Point Theory 12(2), 293-308 (2011)

7. Ceng, LC, Yao, JC: A hybrid iterative scheme for mixed equilibrium problems and fixed point problems. J. Comput. Appl. Math. 214, 186-201 (2008)

8. Takahashi, S, Takahashi, W: Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert spaces. Nonlinear Anal. 69, 1025-1033 (2008)

9. Chang, SS, Joseph Lee, HW, Chan, CK: A new method for solving equilibrium problem fixed point problem and variational inequality problem with application to optimization. Nonlinear Anal. 70, 3307-3319 (2009)

10. Qin, X, Shang, M, Su, Y: A general iterative method for equilibrium problem and fixed point problem in Hilbert space. Nonlinear Anal. 69, 3897-3909 (2008)

11. Takahashi, W, Toyoda, M: Weak convergence theorems for nonexpansive mappings and monotone mapping. J. Optim. Theory Appl. 118(2), 417-428 (2003)

12. Yao, Y, Yao, JC: On modified iterative method for nonexpansive mappings and monotone mapping. Appl. Math. Comput. 186(2), 1551-1558 (2007)

13. Zhou, YY, Cao, JT, Wang, YL: Convergence theorem for equilibrium and variational inequality problems and a family of infinitely nonexpansive mappings in Hilbert space. J. Appl. Math. 2014, Article ID 232541 (2014)

14. Yao, Y, Cho, YJ, Liou, YC: Iterative algorithms for hierarchical fixed points problems and variational inequalities. Math. Comput. Model. 52(9-10), 1697-1705 (2010)

15. Mainge, PE, Moudafi, A: Strong convergence of an iterative method for hierarchical fixed-point problems. Pac. J. Optim. 3(3), 529-538 (2007)

16. Moudafi, A: Krasnoselski-Mann iteration for hierarchical fixed-point problems. Inverse Probl. 23(4), 1635-1640 (2007)

17. Cianciaruso, F, Marino, G, Muglia, L, Yao, Y: On a two-step algorithm for hierarchical fixed point problems and variational inequalities. J. Inequal. Appl. 2009, Article ID 208692 (2009)

18. Gu, G, Wang, S, Cho, YJ: Strong convergence algorithms for hierarchical fixed points problems and variational inequalities. J. Appl. Math. 2011, Article ID 164978 (2011)

19. Marino, G, Xu, HK: Explicit hierarchical fixed point approach to variational inequalities. J. Optim. Theory Appl. 149(1), 61-78 (2011)

20. Ceng, LC, Ansari, QH, Yao, JC: Some iterative methods for finding fixed points and for solving constrained convex minimization problems. Nonlinear Anal. 74, 5286-5302 (2011)

21. Ceng, LC, Al-Mezel, SA, Latif, A: Hybrid viscosity approaches to general systems of variational inequalities with hierarchical fixed point problem constrains in Banach space. Abstr. Appl. Anal. 2014, Article ID 945985 (2014)

22. Bnouhachem, A, Al-Homidan, S, Ansari, QH: An iterative method for common solutions of equilibrium problems and hierarchical fixed point problems. Fixed Point Theory Appl. 2014, Article ID 194 (2014)

23. Bnouhachem, A, Chen, Y: An iterative method for a common solution of generalized mixed equilibrium problems, variational inequalities, and hierarchical fixed point problems. Fixed Point Theory Appl. 2014, Article ID 155 (2014)

24. Latif, A, Ceng, LC, Ansari, QH: Multi-step hybrid viscosity method for systems of variational inequalities defined over sets of solutions of an equilibrium problem and fixed point problems. Fixed Point Theory Appl. 2012, Article ID 186 (2012)

25. Ceng, LC, Ansari, QH, Schaible, S: Hybrid extragradient-like methods for generalized mixed equilibrium problems, systems of generalized equilibrium problems and optimization problems. J. Glob. Optim. 53(1), 69-96 (2012)

26. Zeng, LC, Ansari, QH, Al-Homidan, S: Hybrid proximal-type algorithms for generalized equilibrium problems, maximal monotone operators, and relatively nonexpansive mapping. Fixed Point Theory Appl. 2011, Article ID 973028 (2011)

27. Ceng, LC, Ansari, QH, Yao, JC: Hybrid pseudoviscosity approximation schemes for equilibrium problems and fixed point problems of infinitely many nonexpansive mappings. Nonlinear Anal. Hybrid Syst. 4(4), 743-754 (2010)

28. Geobel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Stud. Adv. Math., vol. 28. Cambridge University Press, Cambridge (1990)

29. Suzuki, N: Moudafi’s viscosity approximations with Meir-Keeler contractions. J. Math. Anal. Appl. 325, 342-352 (2007)

30. Liu, LS: Iterative process with errors for nonlinear strongly accretive mapping in Banach spaces. J. Math. Anal. Appl. 194, 114-125 (1995)

31. Cho, SY, Kang, SM: Approximation of common solutions of variational inequalities via strict pseudocontractions. Acta Math. Sci. 32(4), 1601-1618 (2012)

## Acknowledgements

All the authors were partially supported by the National Science Foundation of China (11071169) and Ph.D. Program Foundation of the Ministry of Education of China (20123127110002).

## Author information

Authors

### Corresponding author

Correspondence to Lu-Chuan Ceng.

### Competing interests

The authors declare that they have no competing interest.

### Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

## Rights and permissions 