Generalized extragradient iterative method for systems of variational inequalities

Abstract

The purpose of this article is to investigate the problem of finding a common element of the solution sets of two different systems of variational inequalities and the set of fixed points a strict pseudocontraction mapping defined in the setting of a real Hilbert space. Based on the well-known extragradient method, viscosity approximation method and Mann iterative method, we propose and analyze a generalized extra-gradient iterative method for computing a common element. Under very mild assumptions, we obtain a strong convergence theorem for three sequences generated by the proposed method. Our proposed method is quite general and flexible and includes the iterative methods considered in the earlier and recent literature as special cases. Our result represents the modification, supplement, extension and improvement of some corresponding results in the references.

Mathematics Subject Classification (2000): Primary 49J40; Secondary 65K05; 47H09.

1. Introduction

Let H be a real Hilbert space with inner product 〈·, ·〉 and norm ║ · ║. Let C be a nonempty closed convex subset of H and S : C → C be a self-mapping on C. We denote by Fix(S) the set of fixed points of S and by P _C the metric projection of H onto C. Moreover, we also denote by R the set of all real numbers. For a given nonlinear mapping A : C → H, consider the following classical variational inequality problem of finding x* ∈ C such that

$$〈A{x}^{*},x-x^{*}〉\ge 0,\forall x\in C.$$

(1.1)

The set of solutions of problem (1.1) is denoted by VI(A, C). It is now well known that the variational inequalities are equivalent to the fixed-point problems, the origin of which can be traced back to Lions and Stampacchia [1]. This alternative formulation has been used to suggest and analyze Picard successive iterative method for solving variational inequalities under the conditions that the involved operator must be strongly monotone and Lipschitz continuous. Related to the variational inequalities, we have the problem of finding fixed points of nonexpansive mappings or strict pseudo-contractions, which is the current interest in functional analysis. Several authors considered some approaches to solve fixed point problems, optimization problems, variational inequality problems and equilibrium problems; see, for example, [2–32] and the references therein.

For finding an element of Fix(S) ∩ VI(A, C) under the assumption that a set C ⊂ H is nonempty, closed and convex, a mapping S : C → C is nonexpansive and a mapping A : C → H is α-inverse strongly monotone, Takahashi and Toyoda [20] introduced the following iterative algorithm:

$$\left\{\begin{array}{c}{x}_0=x\in C\text{chosen}\text{arbitrarily,}\\ {x_n}_{+1}={\alpha }_n{x}_n+\left(1-{\alpha }_n\right)S{P}_C\left(x_n-{\lambda }_{n}A{x}_n\right),\forall n\ge 0,\end{array}\right.$$

where {α _n } is a sequence in (0, 1), and {λ _n } is a sequence in (0, 2α). It was proven in [20] that if $\text{Fix}\left(S\right)\cap VI\left(A,C\right)\ne \varnothing$ then the sequence {x _n } converges weakly to some z ∈ Fix(S) ∩ VI(A, C). Recently, Nadezhkina and Takahashi [19] and Zeng and Yao [32] proposed some so-called extragra-dient method motivated by the idea of Korpelevich [33] for finding a common element of the set of fixed points of a nonexpansive mapping and the set of solutions of a variational inequality. Further, these iterative methods were extended in [27] to develop a general iterative method for finding a element of Fix(S) ∩ VI(A, C).

Let A₁, A₂ : C → H be two mappings. In this article, we consider the following problem of finding (x*, y*) ∈ C × C such that

$$\left\{\begin{array}{c}〈{\lambda }_{\text{1}}{A}_1{y}^{*}+x^{*}-y^{*},x-x^{*}〉\ge 0,\forall x\in C,\\ 〈{\lambda }_{\text{2}}{A}_2{x}^{*}+y^{*}-x^{*},x-y^{*}〉\ge 0,\forall x\in C,\end{array}\right.$$

(1.2)

which is called a general system of variational inequalities, where λ₁ > 0 and λ₂ > 0 are two constants. It was introduced and considered by Ceng et al. [7]. In particular, if A₁ = A₂ = A, then problem (1.2) reduces to the following problem of finding (x*, y*) ∈ C × C such that

$$\left\{\begin{array}{c}〈{\lambda }_{\text{1}}A{y}^{*}+x^{*}-y^{*},x-x^{*}〉\ge 0,\forall x\in C,\\ 〈{\lambda }_{\text{2}}A{x}^{*}+y^{*}-x^{*},x-y^{*}〉\ge 0,\forall x\in C,\end{array}\right.$$

(1.3)

which was defined by Verma [22] (see also [21]) and it is called a new system of variational inequalities. Further, if x* = y* additionally, then problem (1.3) reduces to the classical variational inequality problem (1.1). We remark that in [34], Ceng et al. proposed a hybrid extragradient method for finding a common element of the solution set of a variational inequality problem, the solution set of problem (1.2) and the fixed-point set of a strictly pseudocontractive mapping in a real Hilbert space. Recently, Ceng et al. [7] transformed problem (1.2) into a fixed point problem in the following way:

Lemma 1.1.[7]. For given $\overline{x},\overline{y}\in C,\left(\overline{x},\overline{y}\right)$is a solution of problem (1.2) if and only if $\overline{x}$ is a fixed point of the mapping G: C → C defined by

$$G\left(x\right)=P_C\left[P_C\left(x-{\lambda }_{\text{2}}{A}_{2}x\right)-{\lambda }_{\text{1}}{A}_1{P}_C\left(x-{\lambda }_{\text{2}}{A}_{2}x\right)\right],\forall x\in C,$$

(1.4)

where $ȳ=P_C\left(\bar{x}-{\lambda }_{\text{2}}{A}_2\bar{x}\right)$

In particular, if the mapping A _i : C → H is ${\hat{\alpha }}_i$-inverse strongly monotone for i = 1, 2, then the mapping G is nonexpansive provided ${\lambda }_i\in \left(0,2{\hat{\alpha }}_i\right)$fori = 1, 2.

Utilizing Lemma 1.1, they proposed and analyzed a relaxed extragradient method for solving problem (1.2). Throughout this article, the set of fixed points of the mapping G is denoted by Γ. Based on the extragradient method [33] and viscosity approximation method [23], Yao et al. [26] introduced and studied a relaxed extragradient iterative algorithm for finding a common solution of problem (1.2) and the fixed point problem of a strictly pseudocontraction in a real Hilbert space H.

Theorem 1.1. [[26], Theorem 3.2]. Let C be a nonempty bounded closed convex subset of a real Hilbert space H. Let the mapping A _i : C → H be ${\hat{\alpha }}_i$-inverse strongly monotone for i = 1, 2. Let S : C → C be a k-strict pseudocontraction mapping such that $\Omega :=\text{Fix}\left(S\right)\cap \Gamma \ne \varnothing$. Let Q : C → C be a ρ-contraction mapping with $\rho \in \left[0,\frac{1}{2}\right)$For given x₀ ∈ C arbitrarily, let the sequences {x _n }, {y _n } and {z _n } be generated iteratively by

$$\left\{\begin{array}{c}{z}_n=P_C\left(x_n-{\lambda }_{\text{2}}{A}_2{x}_n\right),\\ y_n={\alpha }_{n}Q{x}_n+\left(1-{\alpha }_n\right)P_C\left(z_n-{\lambda }_1{A}_1{z}_n\right),\\ x_{x+1}={\beta }_n{x}_n+{\gamma }_n{P}_C\left(z_n-{\lambda }_{\text{1}}{A}_1{z}_n\right)+{\delta }_{n}S{y}_n,\forall n\ge 0,\end{array}\right.$$

(1.5)

where ${\lambda }_i\in \left(0,2{\hat{\alpha }}_i\right)$for i = 1, 2, and {α _n }, {β _n }, {γ _n }, {δ _n } are four sequences in [0, 1] such that

(i) β _n + γ _n + δ _n = 1 and (γ _n + δ _n )k ≤ γ _n <(1 - 2ρ)δ _n for all n ≥ 0;

(ii)$\underset{x\to \infty }{\text{lim}}{\alpha }_n=0$ and ${\sum }_{n=1}^{\infty }{\alpha }_n=\infty$

(iii) $0<\underset{n\to \infty }{\text{lim inf}}{\beta }_n\le \underset{n\to \infty }{\text{lim sup}}{\beta }_n<1$ and $\underset{n\to \infty }{\text{lim inf}}{\delta }_n>0$

(iv) $\underset{n\to \infty }{\text{lim}}\left(\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n}{1-{\beta }_n}\right)=0$

Then the sequence {x _n } generated by (1.5) converges strongly to x* = P _Ω Qx* and (x*, y*) is a solution of the general system of variational inequalities (1.2), where y* = P _C (x* - λ₂A₂x*).

Let B₁, B₂ : C → H be two mappings. In this article, we also consider another general system of variational inequalities, that is, finding (x*, y*) ∈ C × C such that

$$\left\{\begin{array}{c}〈{\mu }_1{B}_1{y}^{*}+x^{*}-y^{*},x-x^{*}〉\ge 0,\forall x\in C,\\ 〈{\mu }_2{B}_2{x}^{*}+y^{*}-x^{*},x-y^{*}〉\ge 0,\forall x\in C,\end{array}\right.$$

(1.6)

where μ₁ > 0 and μ₂ > 0 are two constants.

Utilizing Lemma 1.1, we know that for given $\overline{x},\overline{y}\in C,\left(\overline{x},\overline{y}\right)$ is a solution of problem (1.6) if and only if $\overline{x}$ is a fixed point of the mapping F : C → C defined by

$$F\left(x\right)=P_C\left[P_C\left(x-{\mu }_2{B}_{2}x\right)-{\mu }_1{B}_1{P}_C\left(x-{\mu }_2{B}_{2}x\right)\right],\forall x\in C,$$

(1.7)

where $\overline{y}=P_C\left(\overline{x}-{\mu }_2{B}_2\overline{x}\right)$ In particular, if the mapping B _i : C → H is ${\hat{\beta }}_i$-inverse strongly monotone for i = 1, 2, then the mapping F is nonexpansive provided ${\mu }_i\in \left(0,2{\hat{\alpha }}_i\right)$ for i = 1, 2. Throughout this article, the set of fixed points of the mapping F is denoted by Γ₀.

Assume that A _i : C → H is ${\hat{\alpha }}_i$-inverse strongly monotone and and B _i : C → H is ${\hat{\beta }}_i$-inverse strongly monotone for i = 1, 2. Let S : C → C be a k-strict pseudocontraction mapping such that $\Omega :=\text{Fix}\left(S\right)\cap \Gamma \cap {\Gamma }_{\text{0}}\ne \varnothing$. Let Q : C → C be a ρ-contraction mapping with $\rho \in \left[0,\frac{1}{2}\right)$. Motivated and inspired by the research work going on in this area, we propose and analyze the following iterative scheme for computing a common element of the solution set Γ of one general system of variational inequalities (1.2), the solution set Γ₀ of another general system of variational inequalities (1.6), and the fixed point set Fix(S) of the mapping S:

$$\left\{\begin{array}{c}{z}_n=P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right],\\ y_n={\alpha }_{n}Q{x}_n+\left(1-{\alpha }_n\right)P_C\left[P_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)-{\lambda }_{\text{1}}{A}_1{P}_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)\right],\\ x_{n+1}={\beta }_n{x}_n+{\gamma }_n{P}_C\left[P_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)-{\lambda }_{\text{1}}{A}_1{P}_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)\right]+{\delta }_{n}S{y}_n,\forall n\ge 0,\end{array}\right.$$

(1.8)

where ${\lambda }_i\in \left(0,2{\hat{\alpha }}_i\right)$ and ${\mu }_i\in \left(0,2{\hat{\beta }}_i\right)$ for i = 1, 2, and {α _n },{β _n }, {γ _n }, {δ _n } ⊂ [0, 1] such that β _n + γ _n + δ _n = 1 for all n ≥ 0. Furthermore, it is proven that the sequences {x _n }, {y _n } and {z _n } generated by (1.8) converge strongly to the same point x* = P _Ω Qx* under very mild conditions, and (x*, y*) and $\left(x^{*},{ȳ}^{*}\right)$ are a solution of general system of variational inequalities (1.2) and a solution of general system of variational inequalities (1.6), respectively, where y* = P _C (x* - λ₂A₂x*) and ${\overline{y}}^{*}=P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)$

Our result represents the modification, supplement, extension and improvement of the above Theorem 1.1 in the following aspects.

• (a) our problem of finding an element of Fix(S) ∩ Γ ∩ Γ₀ is more general and more complex than the problem of finding an element of Fix(S) ∩ Γ in the above Theorem 1.1.

• (b) Algorithm (1.8) for finding an element of Fix(S)∩Γ∩Γ₀ is also more general and more flexible than algorithm (1.5) for finding an element of Fix(S) ∩ Γ in the above Theorem 1.1. Indeed, whenever B₁ = B₂ = 0, we have

  $$z_n=P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right]=x_n,\forall n\ge 0.$$

In this case, algorithm (1.8) reduces essentially to algorithm (1.5).

• (c) Algorithm (1.8) is very different from algorithm (1.5) in the above Theorem YLK because algorithm (1.8) is closely related to the viscosity approximation method with the ρ-contraction Q : C → C and involves the Picard successive iteration for the general system of variational inequalities (1.6).

• (d) The techniques of proving strong convergence in our result are very different from those in the above Theorem 1.1 because our techniques depend on the norm inequality in Lemma 2.2 and the inverse-strong monotonicity of mappings A _i , B _i : C → H for i = 1, 2, the demiclosed-ness principle for strict pseudocontractions, and the transformation of two general systems of variational inequalities (1.2) and (1.6) into the fixed-point problems of the nonexpansive self-mappings G: C → C and F: C → C (see the above Lemma 1.1, respectively.

2. Preliminaries

Let H be a real Hilbert space whose inner product and norm are 〈·, ·〉 and ║ · ║, respectively. Let C be a nonempty closed convex subset of H. We write → to indicate that the sequence {x _n } converges strongly to x and ⇀ to indicate that the sequence {x _n } converges weakly to x. Moreover, we use ω _w (x _n ) to denote the weak ω-limit set of the sequence {x _n }, that is,

$${\omega }_w\left(x_n\right):=\left\{x:x_{n_i}\rightharpoonup x\text{for}\text{some}\text{subsequence}\left\{x_{n_i}\right\}\text{of}\left\{x_n\right\}\right\}.$$

Recall that a mapping A : C → H is called α-inverse strongly monotone if there exists a constant α > 0 such that

$$〈Ax-Ay,x-y〉\ge \alpha {∥Ax-Ay∥}^2,\forall x,y\in C.$$

It is obvious that any α-inverse strongly monotone mapping is Lipschitz continuous. A mapping S : C → C is called a strict pseudocontraction [35] if there exists a constant 0 ≤ k < 1 such that

$${∥Sx-Sy∥}^2\le {∥x+y∥}^2+k{∥\left(I-S\right)x-\left(I-S\right)y∥}^2,\forall x,y\in C.$$

(2.1)

In this case, we also say that S is a k-strict pseudocontraction. Meantime, observe that (2.1) is equivalent to the following

$$〈Sx-Sy,x-y〉\le {∥x-y∥}^2-\frac{1-k}{2}{∥\left(I-S\right)x-\left(I-S\right)y∥}^2,\forall x,y\in C.$$

(2.2)

It is easy to see that if S is a k-strictly pseudocontractive mapping, then I - S is $\frac{1-k}{2}$-inverse strongly monotone and hence $\frac{2}{1-k}$-Lipschitz continuous; for further detail, we refer to [30] and the references therein. It is clear that the class of strict pseudocontractions strictly includes the one of nonexpansive mappings which are mappings S : C → C such that ║Sx - Sy║ ≤ ║x - y║ for all x, y ∈ C.

For every point x ∈ H, there exists a unique nearest point in C, denoted by P _C x such that

$$∥x-P_{C}x∥\le ∥x-y∥,\forall x\in C.$$

The mapping P _C is called the metric projection of H onto C. We know that P _C is a firmly nonexpansive mapping of H onto C; that is, there holds the following relation

$$〈P_{C}x-P_{C}y,x-y〉\ge {∥P_{C}x-P_{C}y∥}^2,\forall x,y\in H.$$

Consequently, P _C is nonexpansive and monotone. It is also known that P _C is characterized by the following properties: P _C x ∈ C and

$$〈x-P_{C}x,P_{C}x-y〉\ge 0,$$

(2.3)

$${∥x-y∥}^2\ge {∥x-P_{C}x∥}^2+{∥y-P_{C}x∥}^2,\forall x\in H,y\in C.$$

(2.4)

See [36] for more details.

In order to prove our main result in the next section, we need the following lemmas. The following lemma is an immediate consequence of an inner product.

Lemma 2.1. In a real Hilbert space H, there holds the inequality

$${∥x+y∥}^2\le {∥x∥}^2+2〈y,x+y〉,\forall x,y\in H.$$

(2.5)

Recall that S : C → C is called a quasi-strict pseudocontraction if the fixed point set of S, Fix(S), is nonempty and if there exists a constant 0 ≤ k < 1 such that

$${∥Sx-p∥}^2\le {∥x-p∥}^2+k{∥x-Sx∥}^2\text{for}\text{all}x\in C\text{and}p\in \text{Fix}\left(S\right).$$

(2.6)

We also say that S is a k-quasi-strict pseudocontraction if condition (2.6) holds.

The following lemma was proved by Suzuki [37].

Lemma 2.2.[37]Let {x _n } and {y _n } be bounded sequences in a Banach space X and let {β _n } be a sequence in [0, 1] with $0<\underset{n\to \infty }{\text{lim}\text{inf}}{\beta }_n\le \underset{n\to \infty }{\text{lim}\text{sup}}{\beta }_n<1$. Suppose x _{n+ 1} = (1 - β _n )y _n + β _n x _n for all integers n ≥ 0 and $\underset{n\to \infty }{\text{lim}\text{sup}}\left(∥y_{n+1}-y_n∥-∥x_{n+1}-x_n∥\right)\le 0$. Then, $\underset{n\to \infty }{\text{lim}}∥y_n-x_n∥=0$.

Lemma 2.3. [[17], Proposition 2.1] Assume C is a nonempty closed convex subset of a real Hilbert space H and let S: C → C be a self-mapping on C.

(a) If S is a k-strict pseudocontraction, then S satisfies the Lipschitz condition

$$∥Sx-Sy∥\le \frac{1+k}{1-k}∥x-y∥,\forall x,y\in C.$$

(2.7)

(b) if S is a k-strict pseudocontraction, then the mapping I - S is demiclosed (at 0). That is, if {x _n } is a sequence in C such that $x_n\rightharpoonup \tilde{x}$and (I - S)x _n → 0, then $\left(I-S\right)\tilde{x}=0$, i.e., $\tilde{x}\in \text{Fix}\left(S\right)$

(c) if S is a k-quasi-strict pseudocontraction, then the fixed point set Fix(S) of S is closed and convex so that the projection P_Fix(S)is well defined.

Lemma 2.4.[24]Let {a _n } be a sequence of nonnegative numbers satisfying the condition

$$a_{n+1}\le \left(1-{\delta }_n\right)a_n+{\delta }_n{\sigma }_n,\forall n\ge 0,$$

where {δ _n }, {σ _n } are sequences of real numbers such that

(i) {δ _n } ⊂ [0, 1] and ${\sum }_{n=0}^{\infty }{\delta }_n=\infty$, or equivalently,

$$\prod _{n=0}^{\infty }\left(1-{\delta }_n\right):=\underset{n\to \infty }{\text{lim}}\prod _{j=0}^n\left(1-{\delta }_j\right)=0;$$

(ii) $\underset{n\to \infty }{\text{lim}\text{sup}}{\sigma }_n\le 0$ or

(ii) ${\sum }_{n=0}^{\infty }{\delta }_n{\sigma }_n$is convergent.

Then $\underset{n\to \infty }{\text{lim}}{a}_n=0$.

3. Strong convergence theorems

We are now in a position to state and prove our main result.

Lemma 3.1. [[26], Lemma 3.1] Let C be a nonempty closed convex subset of a real Hilbert space H. Let S: C → C be a k-strict pseudocontraction mapping. Let γ and δ be two nonnegative real numbers. Assume (γ + δ)k ≤ γ. Then

$$∥\gamma \left(x-y\right)+\delta \left(Sx-Sy\right)∥\le \left(\gamma +\delta \right)∥x-y∥,\forall x,y\in C.$$

(3.1)

Theorem 3.1. Let C be a nonempty bounded closed convex subset of a real Hilbert space H. Assume that for i = 1, 2, the mappings A _i , B _i : C → H are ${\hat{\alpha }}_i$ -inverse strongly monotone and ${\hat{\beta }}_i$ -inverse strongly monotone, respectively. Let S : C → C be a k-strict pseudocontraction mapping such that $\Omega :=\text{Fix}\left(S\right)\cap \Gamma \cap {\Gamma }_{\text{0}}\ne \varnothing$. Let Q : C → C be a ρ-contraction mapping with $\rho \in \left[0,\frac{1}{2}\right)$For given x₀ ∈ C arbitrarily, let the sequences {x _n }, {y _n } and {z _n } be generated iteratively by

$$\left\{\begin{array}{c}{z}_n=P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right],\\ y_n={\alpha }_{n}Q{x}_n+\left(1-{\alpha }_n\right)P_C\left[P_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)-{\lambda }_{\text{1}}{A}_1{P}_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)\right],\\ x_{n+1}={\beta }_n{x}_n+{\gamma }_n{P}_C\left[P_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)-{\lambda }_{\text{1}}{A}_1{P}_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)\right]+{\delta }_{n}S{y}_n,\forall n\ge 0,\end{array}\right.$$

(3.2)

where ${\lambda }_i\in \left(0,2{\hat{\alpha }}_i\right)$and ${\mu }_i\in \left(0,2{\hat{\beta }}_i\right)$for i = 1, 2, and {α _n }, {β _n }, {γ _n }, {δ _n } are four sequences in [0, 1] such that:

(i) β _n + γ _n + δ _n = 1 and (γ _n + δ _n )k ≤ γ _n <(1 - 2ρ)δ _n for all n ≥ 0;

(ii) $\underset{x\to \infty }{\text{lim}}{\alpha }_n=0$ and ${\sum }_{n=0}^{\infty }{\alpha }_n=\infty$

(iii) $0<\underset{n\to \infty }{\text{lim}\text{inf}}{\beta }_n\le \underset{n\to \infty }{\text{lim}\text{sup}}{\beta }_n<1$ and $\underset{n\to \infty }{\text{lim}\text{inf}}{\delta }_n>0$

(iv) $\underset{n\to \infty }{\text{lim}}\left(\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n}{1-{\beta }_n}\right)=0$

Then, the sequences {x _n }, {y _n }, {z _n } generated by (3.2) converge strongly to the same point x* = P _Ω Qx*, and (x*, y*) and $\left(x^{*},{ȳ}^{*}\right)$are a solution of general system of variational inequalities (1.2) and a solution of general system of variational inequalities (1.6), respectively, where y* = P _C (x* - λ₂A₂x*) and ${\overline{y}}^{*}=P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)$.

Proof. Let us show that the mappings I - λ _i A _i and I - μ _i Bi are nonexpansive for i = 1, 2. Indeed, since for i = 1, 2, A _i , B _i are ${\hat{\alpha }}_i$-inverse strongly monotone and ${\hat{\beta }}_i$-inverse strongly monotone, respectively, we have for all x, y ∈ C

$$\begin{array}{ll}\hfill {∥\left(I-{\lambda }_i{A}_i\right)x-\left(I-{\lambda }_i{A}_i\right)y∥}^2& ={∥\left(x-y\right)-{\lambda }_i\left(A_{i}x-A_{i}y\right)∥}^2\\ ={∥x-y∥}^2-2{\lambda }_i〈A_{i}x-A_{i}y,x-y〉+{\lambda }_i^2{∥A_{i}x-A_{i}y∥}^2\\ \le {∥x-y∥}^2-2{\lambda }_i{\hat{\alpha }}_i{∥A_{i}x-A_{i}y∥}^2+{\lambda }_{{}_i}^2{∥A_{i}x-A_{i}y∥}^2\\ ={∥x-y∥}^2-{\lambda }_i\left(2{\hat{\alpha }}_i-{\lambda }_i\right){∥A_{i}x-A_{i}y∥}^2\\ \le {∥x-y∥}^2,\end{array}$$

and

$$\begin{array}{ll}\hfill {∥\left(I-{\mu }_i{B}_i\right)x-\left(I-{\mu }_i{B}_i\right)y∥}^2& ={∥\left(x-y\right)-{\mu }_i\left(B_{i}x-B_{i}y\right)∥}^2\\ \le {∥x-y∥}^2-{\mu }_i\left(2{\hat{\beta }}_i-{\mu }_i\right){∥B_{i}x-B_{i}y∥}^2\\ \le {∥x-y∥}^2.\end{array}$$

This shows that both I - λ _i A _i and I - μ _i Bi are nonexpansive for i = 1, 2.

We divide the rest of the proof into several steps.

Step 1. $\underset{x\to \infty }{\text{lim}}∥x_{n+1}-x_n∥=0$.

Indeed, first, we can write (3.2) as x _{n+ 1} = β _n x _n + (1 - β _n )u _n , ∀n ≥ 0, where $u_n=\frac{x_{n+1}-{\beta }_n{x}_n}{1-{\beta }_n}$. Set ${\tilde{z}}_n=P_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right),\forall n\ge 0$. It follows that

$$\begin{array}{ll}\hfill u_{n+1}-u_n& =\frac{x_{n+2}-{\beta }_{n+1}{x}_{n+1}}{1-{\beta }_{n+1}}-\frac{x_{n+1}-{\beta }_n{x}_n}{1-{\beta }_n}\\ =\frac{{\gamma }_{n+1}{P}_C\left({\tilde{z}}_{n+1}-{\lambda }_1{A}_1{\tilde{z}}_{n+1}\right)+{\delta }_{n+1}S{y}_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n{P}_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)+{\delta }_{n}S{y}_n}{1-{\beta }_n}\\ =\frac{{\gamma }_{n+1}\left[P_C\left({\tilde{z}}_{n+1}-{\lambda }_1{A}_1{\tilde{z}}_{n+1}\right)-P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)\right]+{\delta }_{n+1}\left(S{y}_{n+1}-S{y}_n\right)}{1-{\beta }_{n+1}}\\ +\left(\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n}{1-{\beta }_n}\right)P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)+\left(\frac{{\delta }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\delta }_n}{1-{\beta }_n}\right)S{y}_n.\end{array}$$

(3.3)

From Lemma 3.1 and (3.2), we get

$$\begin{array}{l}∥{\gamma }_{n+1}\left[P_C\left({\tilde{z}}_{n+1}-{\lambda }_1{A}_1{\tilde{z}}_{n+1}\right)-P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)\right]+{\delta }_{n+1}\left(S{y}_{n+1}-S{y}_n\right)∥\\ \le ∥{\gamma }_{n+1}\left(y_{n+1}-y_n\right)+{\delta }_{n+1}\left(S{y}_{n+1}-S{y}_n\right)∥+{\gamma }_{n+1}∥\left[P_C\left({\tilde{z}}_{n+1}-{\lambda }_1{A}_1{\tilde{z}}_{n+1}\right)-y_{n+1}\right]\\ +\left[y_n-P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)\right]∥\\ \le \left({\gamma }_{n+1}+{\delta }_{n+1}\right)∥y_{n+1}-y_n∥+{\gamma }_{n+1}{\alpha }_{n+1}∥Q{x}_{n+1}-P_C\left({\tilde{z}}_{n+1}-{\lambda }_1{A}_1{\tilde{z}}_{n+1}\right)∥\\ +{\gamma }_{n+1}{\alpha }_n∥Q{x}_n-P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)∥.\end{array}$$

(3.4)

Note that

$$\begin{array}{ll}\hfill ∥P_C\left({\tilde{z}}_{n+1}-{\lambda }_1{A}_1{\tilde{z}}_{n+1}\right)-P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)∥& \le ∥\left({\tilde{z}}_{n+1}-{\lambda }_1{A}_1{\tilde{z}}_{n+1}\right)-\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)∥\\ \le ∥{\tilde{z}}_{n+1}-{\tilde{z}}_n∥\\ =∥P_C\left(z_{n+1}-{\lambda }_2{A}_2{z}_{n+1}\right)-P_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)∥\\ \le ∥\left(z_{n+1}-{\lambda }_2{A}_2{z}_{n+1}\right)-\left(z_n-{\lambda }_2{A}_2{z}_n\right)∥\\ \le ∥z_{n+1}-z_n∥,\end{array}$$

(3.5)

and

$$\begin{array}{ll}\hfill ∥z_{n+1}-z_n∥& =∥P_C\left[P_C\left(x_{n+1}-{\mu }_2{B}_2{x}_{n+1}\right)-{\mu }_1{B}_1{P}_C\left(x_{n+1}-{\mu }_2{B}_2{x}_{n+1}\right)\right]\\ -P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right]∥\\ \le ∥\left[P_C\left(x_{n+1}-{\mu }_2{B}_2{x}_{n+1}\right)-{\mu }_1{B}_1{P}_C\left(x_{n+1}-{\mu }_2{B}_2{x}_{n+1}\right)\right]\\ -\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right]∥\\ \le ∥P_C\left(x_{n+1}-{\mu }_2{B}_2{x}_{n+1}\right)-P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)∥\\ \le ∥\left(x_{n+1}-{\mu }_2{B}_2{x}_{n+1}\right)-\left(x_n-{\mu }_2{B}_2{x}_n\right)∥\\ \le ∥x_{n+1}-x_n∥.\end{array}$$

(3.6)

Then it follows from (3.5) and (3.6) that

$$\begin{array}{l}∥y_{n+1}-y_n∥\\ \le ∥P_C\left({\tilde{z}}_{n+1}-{\lambda }_1{A}_1{\tilde{z}}_{n+1}\right)-P_C\left({\tilde{z}}_n-{\lambda }_{\text{1}}{A}_1\tilde{z}\right)∥+{\alpha }_{n+1}∥Q{x}_{n+1}{P}_C\left({\tilde{z}}_{n+1}-{\lambda }_{\text{1}}{A}_1{\tilde{z}}_{n+1}\right)∥\\ +{\alpha }_n∥Q{x}_n-P_C\left({\tilde{z}}_n-{\lambda }_{\text{1}}{A}_1{\tilde{z}}_n\right)∥\\ \le ∥x_{n+1}-x_n∥+{\alpha }_n∥Q{x}_n-P_C\left({\tilde{z}}_n-{\lambda }_{\text{1}}{A}_1{\tilde{z}}_n\right)∥+{\alpha }_{n+1}∥Q{x}_{n+1}-P_C\left({\tilde{z}}_{n+1}-{\lambda }_{\text{1}}{A}_1{\tilde{z}}_{n+1}\right)∥.\end{array}$$

(3.7)

Therefore, from (3.3), (3.4) and (3.7), we have

$$\begin{array}{c}\Vert u_{n+1}-u_n\Vert \le \Vert x_{n+1}-x_n\Vert +\left(1+\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}\right){\alpha }_n\Vert Q{x}_n-P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)\Vert \\ +\left(1+\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}\right){\alpha }_{n+1}\Vert Q{x}_{n+1}-P_C\left({\tilde{z}}_{n+1}-{\lambda }_{\text{1}}{A}_1{\tilde{z}}_{n+1}\right)\Vert \\ +\left|\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n}{1-{\beta }_n}\right|\left(\Vert P_C({\tilde{z}}_n-{\lambda }_{\text{1}}{A}_1{\tilde{z}}_n\Vert +\Vert S{y}_n\Vert \right).\end{array}$$

This implies that

$$\underset{n\to \infty }{\text{lim}\text{sup}}\left(∥u_{n+1}-u_n∥-∥x_{n+1}-x_n∥\right)\le 0.$$

Hence by Lemma 2.2 we get lim_{n → ∞}‖u _n - x _n ‖ = 0. Consequently,

$$\underset{n\to \infty }{\text{lim}}∥x_{n+1}-x_n∥=\underset{n\to \infty }{\text{lim}}\left(1-{\beta }_n\right)∥u_n-x_n∥=0.$$

(3.8)

Step 2. $\underset{n\to \infty }{\text{lim}}∥A_1{\tilde{z}}_n-A_1{y}^{*}∥=\underset{n\to \infty }{\text{lim}}∥A_2{z}_n-A_2{x}^{*}∥=\underset{n\to \infty }{\text{lim}}∥B_1{\tilde{x}}_n-B_1{ỹ}^{*}∥=\underset{n\to \infty }{\text{lim}}∥B_2{x}_n-B_2{x}^{*}∥=0$.

Indeed, let x* ∈ Ω. Utilizing Lemma 1.1 we have x* = Sx*, x* = P _C [P _C (x* - λ₂A₂x*) - λ₁A₁P _C (x* - λ₂A₂x*)] and

$$x^{*}=P_C\left[P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)-{\mu }_1{B}_1{P}_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)\right].$$

Put y* = P _C (x* - λ₂A₂x*) and $\left.{\overline{y}}^{*}=P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)\right|$. Then x* = P _C (y* - λ₁A₁y*) and $x^{*}=P_C\left({\overline{y}}^{*}-{\mu }_1{B}_1{\overline{y}}^{*}\right)$. Thus it follows that

$$\begin{array}{l}{∥P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-P_C\left(y^{*}-{\lambda }_{\text{1}}{A}_1{y}^{*}\right)∥}^2\\ \le {∥\left({\tilde{z}}_n-{\lambda }_{\text{1}}{A}_1{\tilde{z}}_n\right)-\left(y^{*}-{\lambda }_{\text{1}}{A}_1{y}^{*}\right)∥}^2\\ \le {∥{\tilde{z}}_n-y^{*}∥}^2-{\lambda }_{\text{1}}\left(2{\stackrel{⌢}{\alpha }}_1-{\lambda }_{\text{1}}\right){∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2\\ ={∥P_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)-P_C\left(x^{*}-{\lambda }_{\text{2}}A2x^{*}\right)∥}^2-{\lambda }_{\text{1}}\left(2{\stackrel{⌢}{\alpha }}_1-{\lambda }_{\text{1}}\right){∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2\\ \le {∥\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)-\left(x^{*}-{\lambda }_{\text{2}}{A}_2{x}^{*}\right)∥}^2-{\lambda }_{\text{1}}\left(2{\stackrel{⌢}{\alpha }}_1-{\lambda }_{\text{1}}\right){∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2\\ \le {∥z_n-x^{*}∥}^2-{\lambda }_{\text{2}}\left({\stackrel{⌢}{\alpha }}_2-{\lambda }_2\right){∥A_2{z}_n-A_2{x}^{*}∥}^2-{\lambda }_{\text{1}}\left(2{\stackrel{⌢}{\alpha }}_1-{\lambda }_{\text{1}}\right){∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2,\end{array}$$

(3.9)

and

$$\begin{array}{ll}\hfill {∥z_n-x^{*}∥}^2& ={∥P_C\left({\tilde{x}}_n-{\mu }_1{B}_1{\tilde{x}}_n\right)-P_C\left({\overline{y}}^{*}-{\mu }_1{B}_1{y}^{*}\right)∥}^2\\ \le {∥\left({\tilde{x}}_n-{\mu }_1{B}_1{\tilde{x}}_n\right)-\left({\overline{y}}^{*}-{\mu }_1{B}_1{\overline{y}}^{*}\right)∥}^2\\ \le {∥{\tilde{x}}_n-y^{*}∥}^2-{\mu }_1\left(2{\stackrel{⌢}{\beta }}_1-{\mu }_1\right){∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥}^2\\ ={∥P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)∥}^2-{\mu }_1\left(2{\stackrel{⌢}{\beta }}_1-{\mu }_1\right){∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥}^2\\ \le {∥x_n-x^{*}∥}^2-{\mu }_2\left({\stackrel{⌢}{\beta }}_2-{\mu }_2\right){∥B_2{x}_n-B_{2}x∥}^2-{\mu }_1\left(2{\stackrel{⌢}{\beta }}_1-{\mu }_1\right){∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥}^2\end{array}$$

(3.10)

It follows from (3.2), (3.9) and (3.10) that

$$\begin{array}{ll}\hfill {∥y_n-x^{*}∥}^2& \le {\alpha }_n{∥Q{x}_n-x^{*}∥}^2+\left(1-{\alpha }_n\right){∥P_C\left({\tilde{z}}_n-{\lambda }_{\text{1}}{A}_1{\tilde{z}}_n\right)-P_C\left(y^{*}-{\lambda }_1{A}_1{y}^{*}\right)∥}^2\\ \le {\alpha }_n{∥Q{x}_n-x^{*}∥}^2+{∥P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-P_C\left(y^{*}-{\lambda }_1{A}_1{y}^{*}\right)∥}^2\\ \le {\alpha }_n{∥Q{x}_n-x^{*}∥}^2+{∥z_n-x^{*}∥}^2-{\lambda }_2\left({\stackrel{⌢}{\alpha }}_2-{\lambda }_2\right){∥A_2{z}_n-A_2{x}^{*}∥}^2\\ -{\lambda }_1\left(2{\stackrel{⌢}{\alpha }}_1-{\lambda }_1\right){∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2\\ \le {\alpha }_n{∥Q{x}_n-x^{*}∥}^2+{∥x_n-x^{*}∥}^2-{\mu }_2\left({\stackrel{⌢}{\beta }}_2-{\mu }_2\right){∥B_2{x}_n-B_2{x}^{*}∥}^2\\ -{\mu }_1\left(2{\stackrel{⌢}{\beta }}_1-\mu \right){∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥}^2-{\lambda }_2\left({\stackrel{⌢}{\alpha }}_2-{\lambda }_2\right){∥A_2{z}_n-A_2{x}^{*}∥}^2\\ -{\lambda }_1\left(2{\stackrel{⌢}{\alpha }}_1-{\lambda }_1\right){∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2.\end{array}$$

(3.11)

Utilizing the convexity of ║ · ║², we have

$$\begin{array}{c}{\Vert x_{n+1}-x^{*}\Vert }^2={\Vert {\beta }_n\left(x_n-x^{*}\right)+\left(1-{\beta }_n\right)\frac{1}{1-{\beta }_n}\left[P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-x^{*})+{\delta }_n\left(S{y}_n-x^{*}\right)\right]\Vert }^2\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right){\Vert \frac{{\gamma }_n}{1-{\beta }_n}\left(P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-x^{*}\right)+\frac{{\delta }_n}{1-{\beta }_n}\left(S{y}_n-x^{*}\right)\Vert }^2\\ ={\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right){\Vert \frac{{\gamma }_n\left(y_n-x^{*}\right)+{\delta }_n\left(S{y}_n-x^{*}\right)}{1-{\beta }_n}+\frac{{\alpha }_n{\gamma }_n}{1-{\beta }_n}\left(P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-Q{x}_n\right)\Vert }^2\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right){\Vert \frac{{\gamma }_n\left(y_n-x^{*}\right)+{\delta }_n\left(S{y}_n-x^{*}\right)}{1-{\beta }^{*}}\Vert }^2+M{\alpha }_n\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right){\Vert y_n-x^{*}\Vert }^2+M{\alpha }_n,\end{array}$$

(3.12)

where M > 0 is some appropriate constant. So, from (3.11) and (3.12) we have

$$\begin{array}{ll}\hfill {∥x_{n+1}-x^{*}∥}^2& \le {∥x_n-x^{*}∥}^2-{\mu }_2\left({\stackrel{⌢}{\beta }}_2-{\mu }_2\right)\left(1-{\beta }_n\right){∥B_2{x}_n-B_2{x}^{*}∥}^2\\ -{\mu }_1\left(2{\stackrel{⌢}{\beta }}_1-{\mu }_1\right)\left(1-{\beta }_n\right){∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥}^2-{\lambda }_2\left({\stackrel{⌢}{\alpha }}_2-{\lambda }_2\right)\left(1-{\beta }_n\right){∥A_2{z}_n-A_2{x}^{*}∥}^2\\ -{\lambda }_1\left(2{\stackrel{⌢}{\alpha }}_1-{\lambda }_1\right)\left(1-{\beta }_n\right){∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2+\left(M+{∥Q{x}_n-x^{*}∥}^2\right){\alpha }_n.\end{array}$$

Therefore,

$$\begin{array}{l}{\lambda }_1\left(2{\stackrel{⌢}{\alpha }}_1-{\lambda }_1\right)\left(1-{\beta }_n\right){∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2+{\lambda }_2\left({\stackrel{⌢}{\alpha }}_2-{\lambda }_2\right)\left(1-{\beta }_n\right){∥A_2{z}_n-A_2{x}^{*}∥}^2\\ +{\mu }_1\left(2{\stackrel{⌢}{\beta }}_1-{\mu }_1\right)\left(1-{\beta }_n\right){∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥}^2+{\mu }_2\left({\stackrel{⌢}{\beta }}_2-{\mu }_2\right)\left(1-{\beta }_n\right){∥B_2{x}_n-B_2{x}^{*}∥}^2\\ \le {∥x_n-x^{*}∥}^2-{∥x_{n+1}-x^{*}∥}^2+\left(M+{∥Q{x}_n-x^{*}∥}^2\right){\alpha }_n\\ \le \left(∥x_n-x^{*}∥+∥x_{n+1}-x^{*}∥\right)∥x_n-x_{n+1}∥+\left(M+{∥Q{x}_n-x^{*}∥}^2\right){\alpha }_n.\end{array}$$

Since $\text{lim}\underset{n\to \infty }{\text{inf}}{\lambda }_1\left(2{\hat{\alpha }}_1-{\lambda }_1\right)\left(1-{\beta }_n\right)>0,\text{lim}\underset{n\to \infty }{\text{inf}}{\lambda }_2\left(2{\hat{\alpha }}_2-{\lambda }_2\right)\left(1-{\beta }_n\right)>0,\text{lim}\underset{n\to \infty }{\text{inf}}{\mu }_1\left(2{\hat{\beta }}_1-{\mu }_1\right)\left(1-{\beta }_n\right)>0,\text{lim}\underset{n\to \infty }{\text{inf}}{\mu }_2\left({\hat{\beta }}_2-{\mu }_2\right)\left(1-{\beta }_n\right)>0$, ║x _n - x _n+1 ║ → 0 and α _n → 0, we have

$$\underset{n\to \infty }{\text{lim}}∥A_1{\tilde{z}}_n-A_1{y}^{*}∥=\underset{n\to \infty }{\text{lim}}∥A_2{z}_n-A_2{x}^{*}∥=\underset{n\to \infty }{\text{lim}}∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥=\underset{n\to \infty }{\text{lim}}∥B_2{x}_n-B_2{x}^{*}∥=0.$$

Step 3. lim_{n → ∞}║z _n - y _n ║ = lim_{n → ∞}║x _n - z _n ║ = lim_{n → ∞}║Sy _n - y _n ║ = 0.

Indeed, set $v_n=P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)$. Noting that P _C is firmly nonexpansive, we have

$$\begin{array}{ll}\hfill {∥{\tilde{z}}_n-y^{*}∥}^2& ={∥P_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)-P_C\left(x^{*}-{\lambda }_2{A}_2{x}^{*}\right)∥}^2\\ \le 〈\left(z_n-{\lambda }_2{A}_2{z}_n\right)-\left(x^{*}-{\lambda }_2{A}_2{x}^{*}\right),{\tilde{z}}_n-y^{*}〉\\ =\frac{1}{2}\left({∥z_n-x^{*}-{\lambda }_2\left(A_2{z}_n-A_2{x}^{*}\right)∥}^2+{∥{\tilde{z}}_n-y^{*}∥}^2\right.\\ \left.-{∥\left(z_n-x^{*}\right)-{\lambda }_2\left(A_2{z}_n-A_2{x}^{*}\right)-\left({\tilde{z}}_n-y^{*}\right)∥}^2\right)\\ \le \frac{1}{2}\left({∥z_n-x^{*}∥}^2+{∥{\tilde{z}}_n-y^{*}∥}^2-{∥\left(z_n-{\tilde{z}}_n\right)-{\lambda }_2\left(A_2{z}_n-A_2{x}^{*}\right)-\left(x^{*}-y^{*}\right)∥}^2\right)\\ =\frac{1}{2}\left({∥z_n-x^{*}∥}^2+{∥{\tilde{z}}_n-y^{*}∥}^2-{∥z_n-\tilde{z}-\left(x^{*}-y^{*}\right)∥}^2\right)\\ \left.+2{\lambda }_2〈z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right),A_2{z}_n-A_2{x}^{*}〉-{\lambda }_2^2{∥A_2{z}_n-A_2{x}^{*}∥}^2\right),\end{array}$$

and

$$\begin{array}{ll}\hfill {∥v_n-x^{*}∥}^2& ={∥P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-P_C\left(y^{*}-{\lambda }_1{A}_1{y}^{*}\right)∥}^2\\ \le 〈{\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n-\left(y^{*}-{\lambda }_1{A}_1{y}^{*}\right),v_n-x^{*}〉\\ =\frac{1}{2}\left({∥{\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n-\left(y^{*}-{\lambda }_1{A}_1{y}^{*}\right)∥}^2+{∥v_n-x^{*}∥}^2\right.\\ -{∥{\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n-\left(y^{*}-{\lambda }_1{A}_1{y}^{*}\right)-\left(v_n-x^{*}\right)∥}^2\\ \le \frac{1}{2}\left({∥{\tilde{z}}_n-y^{*}∥}^2+{∥v_n-x^{*}∥}^2-{∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥}^2\right.\\ \left.+2{\lambda }_1〈A_1{\tilde{z}}_n-A_1{y}^{*},{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)〉-{\lambda }_1^2{∥A_1{\tilde{z}}_n-A_1{y}^{*}∥}^2\right)\\ \le \frac{1}{2}\left({∥z_n-x^{*}∥}^2+{∥v_n-x^{*}∥}^2-{∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥}^2\right.\\ \left.+2{\lambda }_1〈A_1{\tilde{z}}_n-A_1{y}^{*},{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)〉\right)\end{array}$$

due to (3.9). Thus, we have

$${∥{\tilde{z}}_n-y^{*}∥}^2\le {∥z_n-z^{*}∥}^2-{∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥}^2+2{\lambda }_2〈z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right),A_2{z}_n-A_2{x}^{*}〉-{\lambda }_2^2{∥A_2{z}_n-A_2{x}^{*}∥}^2,$$

(3.13)

and

$${∥v_n-x^{*}∥}^2\le {∥z_n-x^{*}∥}^2-{∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥}^2+2{\lambda }_1∥A_1{\tilde{z}}_n-A_1{y}^{*}∥∥∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥.$$

It follows that

$$\begin{array}{ll}\hfill ∥y_n-x^{*}∥& \le {\alpha }_n{∥Q{x}_n-x^{*}∥}^2+\left(1-{\alpha }_n\right){∥v_n-x^{*}∥}^2\\ \le {\alpha }_n{∥Q{x}_n-x^{*}∥}^2+{∥v_n-x^{*}∥}^2\\ \le {\alpha }_n{∥Q{x}_n-x^{*}∥}^2+{∥z_n-x^{*}∥}^2-{∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥}^2\\ +2{\lambda }_1∥A_1{\tilde{z}}_n-A_1{y}^{*}∥∥{∥\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥.\end{array}$$

(3.14)

Utilizing (3.2), (3.10), (3.12) and (3.13), we have

$$\begin{array}{l}{∥x_{n+1}-x^{*}∥}^2\le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right){∥y_n-x^{*}∥}^2+M{\alpha }_n\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[{\alpha }_n{∥Q{x}_n-x^{*}∥}^2\right.\\ \left.+\left(1-{\alpha }_n\right){∥P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-P_C\left(y^{*}-{\lambda }_1{A}_1{y}^{*}\right)∥}^2\right]+M{\alpha }_n\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right){\left[{\alpha }_n{∥Q{x}_n-x^{*}∥}^2+\left(1-{\alpha }_n\right){∥\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-\left(y^{*}-{\lambda }_1{A}_1{y}^{*}\right)∥}^2\right]}^2+M{\alpha }_n\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[{\alpha }_n{∥Q{x}_n-x^{*}∥}^2+\left(1-{\alpha }_n\right){∥{\tilde{z}}_n-y^{*}∥}^2\right]+M{\alpha }_n\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[{\alpha }_n{∥Q{x}_n-x^{*}∥}^2+\left(1-{\beta }_n\right){∥\left({\tilde{z}}_n-y^{*}\right)∥}^2\right]+M{\alpha }_n\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right){\alpha }_n{∥Q{x}_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[{∥{\tilde{z}}_n-x^{*}∥}^2-{∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥}^2\right.\\ \left.+2{\lambda }_2〈z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right),A_2{z}_n-A_2{x}^{*}〉\right]+M{\alpha }_n\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right){\alpha }_n{∥Q{x}_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[{∥x_n-x^{*}∥}^2-{∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥}^2\right.\\ \left.+2{\lambda }_2∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥∥A_2{z}_n-A_2{x}^{*}∥\right]+M{\alpha }_n\\ ={∥x_n-x^{*}∥}^2-\left(1-{\beta }_n\right){∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥}^2\\ +2\left(1-{\beta }_n\right){\lambda }_2∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥∥A_2{z}_n-A_2{x}^{*}∥+\left[M+\left(1-{\beta }_n\right){∥Q{x}_n-x^{*}∥}^2\right]{\alpha }_n.\end{array}$$

It follows that

$$\begin{array}{ll}\hfill \left(1-{\beta }_n\right){∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥}^2& \le \left(∥x_n-x^{*}∥∥x_{n+1}-x^{*}∥\right)∥x_{n+1}-x_n∥+\left(M+{∥Q{x}_n-x^{*}∥}^2\right){\alpha }_n\\ +2\left(1-{\beta }_n\right){\lambda }_2∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥∥A_2{z}_n-A_2{x}^{*}∥.\end{array}$$

Note that ║x _{n+ 1} - x _n ║ → 0, α _n → 0 and ║A₂z _n - A₂x*║ → 0. Then we immediately deduce that

$$\underset{n\to \infty }{\text{lim}}∥z_n-{\tilde{z}}_n-\left(x^{*}-y^{*}\right)∥=0.$$

(3.15)

In the meantime, utilizing (3.10), (3.12) and (3.14) we have

$$\begin{array}{ll}\hfill {∥x_{n+1}-x^{*}∥}^2& \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[{\alpha }_n{∥Q{x}_n-x^{*}∥}^2+{∥z_n-x^{*}∥}^2\right.\\ -\left.{∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥}^2+2{\lambda }_1∥A_1{\tilde{z}}_n-A_1{y}^{*}∥∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥\right]+M{\alpha }_n\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[{\alpha }_n{∥Q{x}_n-x^{*}∥}^2+{∥x_n-x^{*}∥}^2\right.\\ -\left.{∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥}^2+2{\lambda }_1∥A_1{\tilde{z}}_n-A_1{y}^{*}∥∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥\right]+M{\alpha }_n\\ \le {∥x_n-x^{*}∥}^2-\left(1-{\beta }_n\right){∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥}^2\\ +2{\lambda }_1\left(1-{\beta }_n\right)∥A_1{\tilde{z}}_n-A_1{y}^{*}∥∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥+\left(M+{∥Q{x}_n-x^{*}∥}^2\right){\alpha }_n.\end{array}$$

So, we obtain

$$\begin{array}{ll}\hfill \left(1-{\beta }_n\right){∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥}^2& \le {∥x_n-x^{*}∥}^2-{∥x_{n+1}-x^{*}∥}^2+2{\lambda }_1\left(1-{\beta }_n\right)∥A_1{\tilde{z}}_n-A_1{y}^{*}∥\\ \times ∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥+\left(M+{∥Q{x}_n-x^{*}∥}^2\right){\alpha }_n.\end{array}$$

Hence,

$$\underset{n\to \infty }{\text{lim}}∥{\tilde{z}}_n-v_n+\left(x^{*}-y^{*}\right)∥=0.$$

This together with ║y _n - υ _n ║ ≤ α _n ║Qx _n - υ _n ║ → 0, implies that

$$\underset{n\to \infty }{\text{lim}}∥{\tilde{z}}_n-y_n+\left(x^{*}-y^{*}\right)∥=0.$$

(3.16)

Thus, from (3.15) and (3.16) we conclude that

$$\underset{n\to \infty }{\text{lim}}∥z_n-y_n∥=0.$$

On the other hand, by firm nonexpansiveness of P _C , we have

$$\begin{array}{l}{∥{\tilde{x}}_n-{\overline{y}}^{*}∥}^2={∥P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)∥}^2\\ \le 〈\left(x_n-{\mu }_2{B}_2{x}_n\right)-\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right),{\tilde{x}}_n-{\overline{y}}^{*}〉\\ =\frac{1}{2}\left({∥x_n-x^{*}-{\mu }_2\left(B_2{x}_n-B_2{x}^{*}\right)∥}^2+{∥{\tilde{x}}_n-{\overline{y}}^{*}∥}^2-{∥\left(x_n-x^{*}\right)-{\mu }_2\left(B_2{x}_n-B_2{x}^{*}\right)-\left({\tilde{x}}_n-{\overline{y}}^{*}\right)∥}^2\right)\\ \le \frac{1}{2}\left({∥x_n-x^{*}∥}^2+{∥{\tilde{x}}_n-{\overline{y}}^{*}∥}^2-{∥\left(x_n-{\tilde{x}}_n\right)-{\mu }_2\left(B_2{x}_n-B_2{x}^{*}\right)-\left(x^{*}-{\overline{y}}^{*}\right)∥}^2\right)\\ =\frac{1}{2}\left({∥x_n-x^{*}∥}^2+{∥{\tilde{x}}_n-{\overline{y}}^{*}∥}^2-{∥x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right)∥}^2\right.\\ \left.+2{\mu }_2〈x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right),B_2{x}_n-B_2{x}^{*}〉-{\mu }_2^2{∥B_2{x}_n-B_2{x}^{*}∥}^2\right),\end{array}$$

and

$$\begin{array}{l}{∥z_n-x^{*}∥}^2={∥P_C\left({\tilde{x}}_n-{\mu }_1{B}_1{\tilde{x}}_n\right)-P_C\left({\overline{y}}^{*}-{\mu }_1{B}_1{\overline{y}}^{*}\right)∥}^2\\ \le 〈{\tilde{x}}_n-{\mu }_1{B}_1{\tilde{x}}_n-\left({\overline{y}}^{*}-{\mu }_1{B}_1{\overline{y}}^{*}\right),z_n-x^{*}〉\\ =\frac{1}{2}\left({∥{\tilde{x}}_n-{\mu }_1{B}_1{\tilde{x}}_n-\left({\overline{y}}^{*}-{\mu }_1{B}_1{\overline{y}}^{*}\right)∥}^2+{∥z_n-x^{*}∥}^2\right.\\ \left.-{∥{\tilde{x}}_n-{\mu }_1{B}_1{\tilde{x}}_n-\left({\overline{y}}^{*}-{\mu }_1{B}_1{\overline{y}}^{*}\right)-\left(z_n-x^{*}\right)∥}^2\right)\\ \le \frac{1}{2}{\left(∥{\tilde{x}}_n-{\overline{y}}^{*}∥\right.}^2+{∥z_n-x^{*}∥}^2-{∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥}^2\\ +2{\mu }_1〈B_1{\tilde{x}}_n-B_1{\overline{y}}^{*},{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)〉-{\mu }_1^2{∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥}^2\\ \le \frac{1}{2}\left({∥x_n-x^{*}∥}^2+{∥z_n-x^{*}∥}^2-{∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥}^2+2{\mu }_1〈B_1{\tilde{x}}_n-B_1{\overline{y}}^{*},{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)〉\right).\end{array}$$

Thus, we have

$${∥{\tilde{x}}_n-{\overline{y}}^{*}∥}^2\le {∥x_n-x^{*}∥}^2-{∥x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right)∥}^2+2{\mu }_2〈x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right),B_2{x}_n-B_2{x}^{*}〉-{\mu }_2^2{∥B_2{x}_n-B_2{x}^{*}∥}^2,$$

(3.17)

and

$${∥z_n-x^{*}∥}^2\le {∥x_n-x^{*}∥}^2-{∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥}^2+2{\mu }_1∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥.$$

(3.18)

Consequently, from (3.10), (3.11), (3.12) and (3.17) we have

$$\begin{array}{l}{\Vert x_{n+1}-x^{*}\Vert }^2\le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right){\Vert y_n-x^{*}\Vert }^2+M{\alpha }_n\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right)\left({\alpha }_n{\Vert Q{x}_n-x^{*}\Vert }^2+{\Vert z_n-x^{*}\Vert }^2\right)+M{\alpha }_n\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right)({\alpha }_n{\Vert Q{x}_n-x^{*}\Vert }^2+{\Vert {\tilde{x}}_n-{\overline{y}}^{*}\Vert }^2)+M{\alpha }_n\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right){[{\alpha }_n{\Vert Q{x}_n-x^{*}\Vert }^2+{\Vert x_n-x^{*}\Vert }^2-\Vert x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right)\Vert }^2\\ +2{\mu }_2〈x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right),B_2{x}_n-B_2{x}^{*}〉]+M{\alpha }_n\\ \le {\Vert x_n-x^{*}\Vert }^2-\left(1-{\beta }_n\right){\Vert x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right)\Vert }^2\\ +2\left(1-{\beta }_n\right){\mu }_n\Vert x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right)\Vert \Vert B_2{x}_n-B_2{x}^{*}\Vert +\left(M+{\Vert Q{x}_n-x^{*}\Vert }^2\right){\alpha }_n.\end{array}$$

It follows that

$$\begin{array}{ll}\hfill \left(1-{\beta }_n\right){∥x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right)∥}^2& \le \left(∥x_n-x^{*}∥+∥x_{n+1}-x^{*}∥\right)∥x_{n+1}-x_n∥+\left(M+{∥Q{x}_n-x^{*}∥}^2\right){\alpha }_n\\ +2\left(1-{\beta }_n\right){\mu }_2∥x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right)∥∥B_2{x}_n-B_2{x}^{*}∥.\end{array}$$

Note that ║x _{n +1} - x _n ║ → 0, α _n → 0 and ║B₂x _n - B₂x*║ → 0. Then we immediately deduce that

$$\underset{n\to \infty }{\text{lim}}∥x_n-{\tilde{x}}_n-\left(x^{*}-{\overline{y}}^{*}\right)∥=0.$$

(3.19)

Furthermore, utilizing (3.11), (3.12) and (3.18) we have

$$\begin{array}{l}{\Vert x_{n+1}-x^{*}\Vert }^2\le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right){\Vert y_n-x^{*}\Vert }^2+M{\alpha }_n\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right)\left({\alpha }_n{\Vert Q{x}_n-x^{*}\Vert }^2+{\Vert z_n-x^{*}\Vert }^2\right)+M{\alpha }_n\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right)[{\alpha }_n{\Vert Q{x}_n-x^{*}\Vert }^2+{\Vert x_n-x^{*}\Vert }^2\\ -{\Vert {\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)\Vert }^2+2{\mu }_1\Vert B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}\Vert \Vert {\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)\Vert ]+M{\alpha }_n\\ \le {\Vert x_n-x^{*}\Vert }^2-\left(1-{\beta }_n\right){\Vert {\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)\Vert }^2\\ +2{\mu }_1\left(1-{\beta }_n\right)\Vert B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}\Vert \Vert {\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)\Vert +\left(M+{\Vert Q{x}_n-x^{*}\Vert }^2\right){\alpha }_n.\end{array}$$

So, we get

$$\begin{array}{ll}\hfill \left(1-{\beta }_n\right){∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥}^2& \le {∥x_n-x^{*}∥}^2-{∥x_{n+1}-x^{*}∥}^2+2{\mu }_1\left(1-{\beta }_n\right)∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥\\ \times ∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥+\left(M+{∥Q{x}_n-x^{*}∥}^2\right){\alpha }_n.\end{array}$$

Hence,

$$\underset{n\to \infty }{\text{lim}}∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥=0.$$

(3.20)

Thus, from (3.19) and (3.20) we conclude that

$$\underset{n\to \infty }{\text{lim}}∥x_n-z_n∥=0.$$

Since

$$\begin{array}{ll}\hfill ∥{\delta }_n\left(S{y}_n-x_n\right)∥& \le ∥x_{n+1}-x_n∥+{\gamma }_n∥P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-x_n∥\\ \le ∥x_{n+1}-x_n∥+{\gamma }_n∥y_n-x_n∥+{\gamma }_n{\alpha }_n∥Q{x}_n-P_C\left({\tilde{z}}_n-{\lambda }_1{A}_n{\tilde{z}}_n\right)∥,\end{array}$$

so we obtain that

$$\underset{n\to \infty }{\text{lim}}∥S{y}_n-x_n∥=0\text{and}\underset{n\to \infty }{\text{lim}}∥S{y}_n-y_n∥=0.$$

Step 4. lim sup _{n→ ∞} 〈Qx* - x*, x _n - x*〉 ≤ 0 where x* = P _Ω Qx*.

Indeed, as H is reflexive and {x _n } is bounded, we may assume, without loss of generality, that there exists a subsequence $\left\{x_{n_i}\right\}$ of {x _n } such that $x_{n_i}\rightharpoonup v$ and

$$\underset{n\to \infty }{\text{lim}\text{sup}}〈Q{x}^{*}-x^{*},x_n-x^{*}〉=\underset{i\to \infty }{\text{lim}\text{sup}}〈Q{x}^{*}-x^{*},x_{n_i}-x〉.$$

From Step 3 it is known that ║x _n - y _n ║ → 0 as n → ∞. This together with $x_{n_i}\rightharpoonup v$, implies that $y_{n_i}\rightharpoonup v$. Again from Step 3 it is known that ║y _n - Sy _n ║ → 0 as n → ∞. Thus it is clear from

Lemma 2.3 (ii) that υ ∈ Fix(S). Next, we prove that υ ∈ Γ ∩ Γ ₀ . As a matter of fact, observe that

$$\begin{array}{l}∥y_n-G\left(y_n\right)∥\\ \le {\alpha }_n∥Q{x}_n-G\left(y_n\right)∥+\left(1-{\alpha }_n\right)∥P_C\left[P_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)-{\lambda }_1{A}_1{P}_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)\right.-G\left(y_n\right)∥\\ ={\alpha }_n∥Q{x}_n-G\left(y_n\right)∥+\left(1-{\alpha }_n\right)∥G\left(y_n\right)∥\\ \le {\alpha }_n∥Q{x}_n-G\left(y_n\right)∥+\left(1-{\alpha }_n\right)∥z_n-y_n∥\\ \to 0,\end{array}$$

and

$$\begin{array}{l}∥z_n-F\left(z_n\right)∥\\ \le {\alpha }_n∥Q{x}_n-F\left(z_n\right)∥+\left(1-{\alpha }_n\right)∥P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right.-F\left(z_n\right)∥\\ ={\alpha }_n∥Q{x}_n-F\left(z_n\right)∥+\left(1-{\alpha }_n\right)∥F\left(x_n\right)-F\left(z_n\right)∥\\ \le {\alpha }_n∥Q{x}_n-F\left(z_n\right)∥+\left(1-{\alpha }_n\right)∥x_n-z_n∥\\ \to 0,\end{array}$$

where G and F are given in (1.4) and (1.7), respectively. According to Lemma 2.3 (ii) we obtain υ ∈ Γ ∩ Γ ₀ . Therefore, υ ∈ Ω. Hence, it follows from (2.3) that

$$\begin{array}{ll}\hfill \underset{n\to \infty }{\text{lim}\text{sup}}〈Q{x}^{*}-x^{*},x_n-x^{*}〉& =\underset{i\to \infty }{\text{lim}}〈Q{x}^{*}-x^{*},x_{n_i}-x^{*}〉\\ =〈Q{x}^{*}-x^{*},\upsilon -x^{*}〉\\ \le 0.\end{array}$$

Step 5. lim _n→∞ x _n = x*.

Indeed, from (3.2) and the convexity of || · ||², we have

$$\begin{array}{l}{\Vert x_{n+1}-x^{*}\Vert }^2={\beta }_n\left(x_n-x^{*}\right)+{\gamma }_n\left(y_n-x^{*}\right)+{\delta }_n\left(S{y}_n-x^{*}\right)+{\gamma }_n{\alpha }_n\left(P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-Q{x}_n\right)=\Vert {}^2\\ \le {\Vert {\beta }_n\left(x_n-x^{*}\right)+{\gamma }_n\left(y_n-x^{*}\right)+{\delta }_n\left(S{y}_n-x^{*}\right)\Vert }^2+2{\gamma }_n{\alpha }_n〈P_C\left({\tilde{z}}_n-|{\lambda }_1{A}_1{\tilde{z}}_n\right)-Q{x}_n,x_{n+1}-x^{*}〉\\ \le {\beta }_n{\Vert x_n-x^{*}\Vert }^2+\left(1-{\beta }_n\right)\underset{1-{\beta }_n}{\overset{1}{-}}\left[{\gamma }_n\left(y_n-x^{*}\right)+{\delta }_n\left(S{y}_n-x^{*}\right)\right]\Vert {}^2\\ +2{\gamma }_n{\alpha }_n〈P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-x^{*},x_{n+1}-x^{*}〉+2{\gamma }_n{\alpha }_n〈x^{*}-Q{x}_n,x_{n+1}-x^{*}〉.\end{array}$$

(3.21)

By Lemma 3.1 and (3.21), we have

$$\begin{array}{l}{∥x_{n+1}-x^{*}∥}^2\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right){∥y_n-x^{*}∥}^2+2{\gamma }_n{\alpha }_n∥P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-x^{*}∥∥x_{n+1}-x^{*}∥\\ +2{\gamma }_n{\alpha }_n〈x^{*}-Q{x}_n,x_{n+1}-x^{*}〉\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[\left(1-{\alpha }_n\right){∥P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-x^{*}∥}^2+2{\alpha }_n〈Q{x}_n-x^{*},y_n-x^{*}〉\right]\\ +2{\gamma }_n{\alpha }_n∥P_C\left({\tilde{z}}_n-{\lambda }_1{A}_1{\tilde{z}}_n\right)-x^{*}∥∥x_{n+1}-x^{*}∥+2{\gamma }_n{\alpha }_n〈x^{*}-Q{x}_n,x_{n+1}-x^{*}〉\\ ={\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[\left(1-{\alpha }_n\right){∥G\left(z_n\right)-G\left(x^{*}\right)∥}^2+2{\alpha }_n〈Q{x}_n-x^{*},y_n-x^{*}〉\right]\\ +2{\gamma }_n{\alpha }_n∥G\left(z_n\right)-G\left(x^{*}\right)∥∥x_{n+1}-x^{*}∥+2{\gamma }_n{\alpha }_n〈x^{*}-Q{x}_n,x_{n+1}-x^{*}〉\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left[\left(1-{\alpha }_n\right){∥z_n-x^{*}∥}^2+2{\alpha }_n〈Q{x}_n-x^{*},y_n-x^{*}〉\right]\\ +2{\gamma }_n{\alpha }_n∥z_n-x^{*}∥∥x_{n+1}-x*∥+2{\gamma }_n{\alpha }_n〈x^{*}-Q{x}_n,x_{n+1}-x^{*}〉.\end{array}$$

From (3.10), we note that ║z _n - x*║ ≤ ║x _n - x*║. Hence, according to 1 - β _n = γ _n + δ _n we have

$$\begin{array}{l}{∥x_{n+1}-x^{*}∥}^2\\ \le {\beta }_n{∥x_n-x^{*}∥}^2+\left(1-{\beta }_n\right)\left(1-{\alpha }_n\right){∥x_n-x^{*}∥}^2+2{\alpha }_n\left(1-{\beta }_n\right)〈Q{x}_n-x^{*},y_n-x^{*}〉\\ +2{\gamma }_n{\alpha }_n∥x_n-x^{*}∥∥x_{n+1}-x^{*}∥+2{\gamma }_n{\alpha }_n〈x^{*}-Q{x}_n,x_{n+1}-x^{*}〉\\ =\left[1-\left(1-{\beta }_n\right){\alpha }_n\right]{∥x_n-x^{*}∥}^2+2{\alpha }_n{\gamma }_n〈Q{x}_n-x^{*},y_n-x_{n+1}〉\\ +2{\alpha }_n{\delta }_n〈Q{x}_n-x^{*},y_n-x^{*}〉+2{\alpha }_n{\gamma }_n∥x_n-x^{*}∥∥x_{n+1}-x^{*}∥\\ \le \left[1-\left(1-{\beta }_n\right){\alpha }_n\right]{∥x_n-x^{*}∥}^2+2{\alpha }_n{\gamma }_n∥Q{x}_n-x^{*}∥∥y_n-x_{n+1}∥\\ +2{\alpha }_n{\delta }_n〈Q{x}_n-x^{*},x_n-x^{*}〉+2{\alpha }_n{\delta }_n〈Q{x}_n-x^{*},y_n-x_n〉+2{\alpha }_n{\gamma }_n∥x_n-x^{*}∥∥x_{n+1}-x^{*}∥\\ \le \left[1-\left(1-{\beta }_n\right){\alpha }_n\right]{∥x_n-x^{*}∥}^2+2{\alpha }_n{\gamma }_n∥Q{x}_n-x^{*}∥∥y_n-x_{n+1}∥\\ +2{\alpha }_n{\delta }_n\rho {∥x_n-x^{*}∥}^2+2{\alpha }_n{\delta }_n〈Q{x}^{*}-x^{*},x_n-x^{*}〉\\ +2{\alpha }_n{\delta }_n∥Q{x}_n-x^{*}∥∥y_n-x_n∥+2{\alpha }_n{\gamma }_n∥x_n-x^{*}∥∥x_{n+1}-x^{*}∥\\ \le \left[1-\left(1-{\beta }_n\right){\alpha }_n\right]{∥x_n-x^{*}∥}^2+2{\alpha }_n{\gamma }_n∥Q{x}_n-x^{*}∥∥y_n-x_{n+1}∥\\ +2{\alpha }_n{\delta }_n\rho {∥x_n-x^{*}∥}^2+2{\alpha }_n{\delta }_n〈Q{x}^{*}-x^{*},x_n-x^{*}〉\\ +2{\alpha }_n{\delta }_n∥Q{x}_n-x^{*}∥∥y_n-x_n∥+{\alpha }_n{\gamma }_n\left({∥x_n-x^{*}∥}^2+{∥x_{n+1}-x^{*}∥}^2\right),\end{array}$$

that is,

$$\begin{array}{ll}\hfill {∥x_{n+1}-x^{*}∥}^2& \le \left[1-\frac{\left(1-2\rho \right){\delta }_n-{\gamma }_n}{1-{\alpha }_n{\gamma }_n}{\alpha }_n\right]{∥x_n-x^{*}∥}^2+\frac{\left[\left(1-2\rho \right){\delta }_n-{\gamma }_n\right]{\alpha }_n}{1-{\alpha }_n{\gamma }_n}\\ \times \left\{\frac{2{\gamma }_n}{\left(1-2\rho \right){\delta }_n-{\gamma }_n}∥Q{x}_n-x^{*}∥∥y_n-x_{n+1}∥\right.\\ \left.+\frac{2{\delta }_n}{\left(1-2\rho \right){\delta }_n-{\gamma }_n}∥Q{x}_n-x^{*}∥∥y_n-x_n∥+\frac{2{\delta }_n}{\left(1-2\rho \right){\delta }_n-{\gamma }_n}〈Q{x}^{*}-x^{*},x_n-x^{*}〉\right\}.\end{array}$$

Note that $\text{lim}\text{ in}{\text{f}}_{n\to \infty }\frac{\left(1-2\rho \right){\delta }_n-{\gamma }_n}{1-{\alpha }_n{\gamma }_n}>0$. It follows that ${\sum }_{n=0}^{\infty }\frac{\left(1-2\rho \right){\delta }_n-{\gamma }_n}{1-{\alpha }_n{\gamma }_n}{\alpha }_n=\infty$. It is obvious that

$$\begin{array}{l}\underset{x\to \infty }{\text{lim}\text{ sup}}\left\{\frac{2{\gamma }_n}{\left(1-2\rho \right){\delta }_n-{\gamma }_n}∥Q{x}_n-x^{*}∥∥y_n-x_{n+1}∥+\frac{2{\delta }_n}{\left(1-2\rho \right){\delta }_n-{\gamma }_n}∥Q{x}_n-x^{*}∥∥y_n-x_n∥\right.\\ \left.+\frac{2{\delta }_n}{\left(1-2\rho \right){\delta }_n-{\gamma }_n}〈Q{x}^{*}-x^{*},x_n-x^{*}〉\right\}\le 0.\end{array}$$

Therefore, all conditions of Lemma 2.4 are satisfied. Consequently, in terms of Lemma 2.4 we immediately deduce that x _n → x*. This completes the proof. □

Next we present some applications of Theorem 3.1 in several special cases.

Corollary 3.1. Let C be a nonempty bounded closed convex subset of a real Hilbert space H. Let the mapping A _i : C → H be ${\hat{\alpha }}_i$-inverse strongly monotone for i = 1, 2. Let S : C → C be a k-strict pseudocontraction such that $\Omega :=\text{Fix}\left(S\right)\cap \Gamma \ne \varnothing$. Let Q : C → C be a ρ-contraction with $\rho \in \left[0,\frac{1}{2}\right)$. For given x₀ ∈ C arbitrarily, let the sequences {x _n }, {y _n } be generated iteratively by

$$\left\{\begin{array}{c}{y}_n={\alpha }_{n}Q{x}_n+\left(1-{\alpha }_n\right)P_C\left[P_C\left(x_n-{\lambda }_2{A}_2{x}_n\right)-{\lambda }_1{A}_1{P}_C\left(x_n-{\lambda }_2{A}_2{x}_n\right)\right],\\ x_{n+1}={\beta }_n{x}_n+{\gamma }_n{P}_C\left[P_C\left(x_n-{\lambda }_2{A}_2{x}_n\right)-{\lambda }_1{A}_1{P}_C\left(x_n-{\lambda }_2{A}_2{x}_n\right)\right]+{\delta }_{n}S{y}_n,\forall n\ge 0,\end{array}\right.$$

where ${\lambda }_i\in \left(0,2{\hat{\alpha }}_i\right)$ for i= 1, 2, and {α _n }, {β _n }, {γ _n }, {δ _n } are four sequences in [0, 1] such that:

(i) β _n + γ _n + δ _n = 1 and (γ _n + δ _n )k ≤ γ _n <(1 - 2ρ)δ _n for all n ≥ 0;

(ii) lim_n→∞α _n = 0 and ${\sum }_{n=0}^{\infty }{\alpha }_n=\infty$;

(iii) 0 < lim inf_n→∞β _n ≤ lim sup_n→∞β _n < 1 and lim inf_n→∞δ _n > 0;

(iv) $\underset{n\to \infty }{\text{lim}}\left(\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n}{1-{\beta }_n}\right)=0$.

Then the sequences {x _n }, {y _n } converge strongly to the same point x* = P _Ω Qx*, and (x*, y*) is a solution of general system (1.2) of variational inequalities, where y* = P _C (x* - λ₂A₂x*).

Proof. It is easy to see that if B _i = 0 for i = 1, 2, then for any given ${\hat{\beta }}_i\in \left(0,\infty \right)$, B _i is ${\hat{\beta }}_i$-inverse strongly monotone. In Theorem 3.1, putting B _i = 0 and taking ${\mu }_i\in \left(0,2{\hat{\beta }}_i\right)$ for i = 1, 2 we have Ω := Fix(S) ∩ Γ n Γ ₀ = Fix(S) ∩ Γ and

$$z_n=P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right]=x_n,\forall n\ge 0.$$

In this case, algorithm (3.2) reduces to the following algorithm

$$\left\{\begin{array}{c}{y}_n={\alpha }_{n}Q{x}_n+\left(1-{\alpha }_n\right)P_C\left[P_C\left(x_n-{\lambda }_2{A}_2{x}_n\right)-{\lambda }_1{A}_1{P}_C\left(x_n-{\lambda }_2{A}_2{x}_n\right)\right],\\ x_{n+1}={\beta }_n{x}_n+{\gamma }_n{P}_C\left[P_C\left(x_n-{\lambda }_2{A}_2{x}_n\right)-{\lambda }_1{A}_1{P}_C\left(x_n-{\lambda }_2{A}_2{x}_n\right)\right]+{\delta }_{n}S{y}_n,\forall n\ge 0,\end{array}\right.$$

Therefore, in terms of Theorem 3.1 we immediately obtain the desired result. □

Remark 3.1. Compared with Theorem YLK (i.e., [[26], Theorem 3.2]), Corollary 3.1 coincides essentially with Theorem YLK. Therefore, Theorem 3.1 includes Theorem YLK as a special case.

Corollary 3.2. Let C be a nonempty bounded closed convex subset of a real Hilbert space H. Assume that for i = 1, 2, the mappings A _i , B _i : C → H are ${\hat{\alpha }}_i$-inverse strongly monotone and ${\hat{\beta }}_i$-inverse strongly monotone, respectively. Let S : C → C be a k-strict pseudocontraction such that $\Omega :=\text{Fix}\left(S\right)\cap \Gamma \cap {\Gamma }_{\text{0}}\ne \varnothing$. For fixed u ∈ C and given x₀ ∈ C arbitrarily, let the sequences {x _n }, {y _n } and {z _n } be generated iteratively by

$$\left\{\begin{array}{c}{z}_n=P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right],\\ y_n={\alpha }_{n}u+\left(1-{\alpha }_n\right)P_C\left[P_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)-{\lambda }_1{A}_1{P}_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)\right],\\ x_{n+1}={\beta }_n{x}_n+{\gamma }_n{P}_C\left[P_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)-{\lambda }_1{A}_1{P}_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)\right]+{\delta }_{n}S{y}_n,\forall n\ge 0,\end{array}\right.$$

where ${∥z_n-x^{*}∥}^2\le {∥x_n-x^{*}∥}^2-{∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥}^2+2{\mu }_1∥B_1{\tilde{x}}_n-B_1{\overline{y}}^{*}∥∥{\tilde{x}}_n-z_n+\left(x^{*}-{\overline{y}}^{*}\right)∥.$and ${\mu }_i\in \left(0,2{\hat{\beta }}_i\right)$and {α _n }, {β _n }, {γ _n }, {δ _n } are four sequences in [0, 1] such that:

(i) β _n + γ _n + δ _n = 1 and (γ _n + δ _n )k ≤ γ _n < δ _n for all n ≥ 0;

(ii) lim_n→∞α _n = 0 and ${\sum }_{n=0}^{\infty }{\alpha }_n=\infty$;

(iii) 0 < lim inf_n→∞β _n ≤ lim sup_n→∞β _n < 1 and lim inf_n→∞δ _n > 0;

(iv) $\underset{n\to \infty }{\text{lim}}\left(\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n}{1-{\beta }_n}\right)=0$.

Then the sequences {x _n }, {y _n }, {z _n } converge strongly to the same point x* = P _Ω u, and (x*, y*) and $\left(x^{*},{ȳ}^{*}\right)$are a solution of general system (1.2) of variational inequalities and a solution of general system (1.6) of variational inequalities, respectively, where y* = P _C (x* - λ₂A₂x*) and ${\overline{y}}^{*}=P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)$.

Corollary 3.3. Let C be a nonempty bounded closed convex subset of a real Hilbert space H. Assume that for i = 1, 2, the mappings A _i , B _i : C → H are ${\hat{\alpha }}_i$-inverse strongly monotone and ${\hat{\beta }}_i$-inverse strongly monotone, respectively. Let S : C → C be a nonexpansive mapping such that $\Omega :=\text{Fix}\left(S\right)\cap \Gamma \cap {\Gamma }_{\text{0}}\ne \varnothing$. Let Q : C → C be a ρ-contraction with $\rho \in \left[0,\frac{1}{2}\right)$. For given x₀ ∈ C arbitrarily, let the sequences {x _n }, {y _n } and {z _n } be generated iteratively by

$$\left\{\begin{array}{c}{z}_n=P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right],\\ y_n={\alpha }_{n}Q{x}_n+\left(1-{\alpha }_n\right)P_C\left[P_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)-{\lambda }_{\text{1}}{A}_1{P}_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)\right],\\ x_{n+1}={\beta }_n{x}_n+{\gamma }_n{P}_C\left[P_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)-{\lambda }_{\text{1}}{A}_1{P}_C\left(z_n-{\lambda }_{\text{2}}{A}_2{z}_n\right)\right]+{\delta }_{n}S{y}_n,\forall n\ge 0,\end{array}\right.$$

where ${\lambda }_i\in \left(0,2{\hat{\alpha }}_i\right)$and ${\mu }_i\in \left(0,2{\hat{\beta }}_i\right)$for i = 1, 2, and {α _n }, {β _n }, {γ _n }, {δ _n } are four sequences in [0, 1] such that:

(i) β _n + γ _n + δ _n = 1 and γ _n <(1 - 2ρ)δ _n for all n ≥ 0;

(ii) lim_n→∞α _n = 0 and ${\sum }_{n=0}^{\infty }{\alpha }_n=\infty$;

(iii) 0 < lim inf_n→∞β _n ≤ lim sup_n→∞β _n < 1 and lim inf_n→∞γ _n > 0;

(iv) $\underset{n\to \infty }{\text{lim}}\left(\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n}{1-{\beta }_n}\right)=0$.

Then the sequences {x _n }, {y _n }, {z _n } converge strongly to the same point x* = P _Ω Qx*, and (x*, y*) and $\left(x^{*},{ȳ}^{*}\right)$are a solution of general system (1.2) of variational inequalities and a solution of general system (1.6) of variational inequalities, respectively, where y* = P _C (x* - λ₂A₂x*) and ${\overline{y}}^{*}=P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)$.

Corollary 3.4. Let C be a nonempty bounded closed convex subset of a real Hilbert space H. Assume that for i = 1, 2, the mappings A _i , B _i : C → H are ${\hat{\alpha }}_i$-inverse strongly monotone and ${\hat{\beta }}_i$-inverse strongly monotone, respectively. Let S : C → C be a nonexpansive mapping such that $\Omega :=\text{Fix}\left(S\right)\cap \Gamma \cap {\Gamma }_{\text{0}}\ne \varnothing$. For fixed u ∈ C and given x₀ ∈ C arbitrarily, let the sequences {x _n }, {y _n } and {z _n } be generated iteratively by

$$\left\{\begin{array}{c}{z}_n=P_C\left[P_C\left(x_n-{\mu }_2{B}_2{x}_n\right)-{\mu }_1{B}_1{P}_C\left(x_n-{\mu }_2{B}_2{x}_n\right)\right],\\ y_n={\alpha }_{n}u+\left(1-{\alpha }_n\right)P_C\left[P_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)-{\lambda }_1{A}_1{P}_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)\right],\\ x_{n+1}={\beta }_n{x}_n+{\gamma }_n{P}_C\left[P_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)-{\lambda }_1{A}_1{P}_C\left(z_n-{\lambda }_2{A}_2{z}_n\right)\right]+{\delta }_{n}S{y}_n,\forall n\ge 0,\end{array}\right.$$

where ${\lambda }_i\in \left(0,2{\hat{\alpha }}_i\right)$and ${\mu }_i\in \left(0,2{\hat{\beta }}_i\right)$for i = 1, 2, and {α _n }, {β _n }, {γ _n }, {δ _n } are four sequences in [0, 1] such that:

(i) β _n + γ _n + δ _n = 1 and γ _n < δ _n for all n ≥ 0;

(ii) lim_n→∞α _n = 0 and ${\sum }_{n=0}^{\infty }{\alpha }_n=\infty$;

(iii) 0 < lim inf_n→∞β _n ≤ lim sup_n→∞β _n < 1 and lim inf_n→∞γ _n > 0;

(iv) $\underset{n\to \infty }{\text{lim}}\left(\frac{{\gamma }_{n+1}}{1-{\beta }_{n+1}}-\frac{{\gamma }_n}{1-{\beta }_n}\right)=0$.

Then the sequences {x _n }, {y _n }, {z _n } converge strongly to the same point x* = P _Ω u, and (x*, y*) and $\left(x^{*},{ȳ}^{*}\right)$ are a solution of general system(1.2) of variational inequalities and a solution of general system (1.6) of variational inequalities, respectively, where y* = P _C (x* - λ₂A₂x*) and ${\overline{y}}^{*}=P_C\left(x^{*}-{\mu }_2{B}_2{x}^{*}\right)$.