A general composite iterative method for generalized mixed equilibrium problems, variational inequality problems and optimization problems

Abstract

In this article, we introduce a new general composite iterative scheme for finding a common element of the set of solutions of a generalized mixed equilibrium problem, the set of fixed points of an infinite family of nonexpansive mappings and the set of solutions of a variational inequality problem for an inverse-strongly monotone mapping in Hilbert spaces. It is shown that the sequence generated by the proposed iterative scheme converges strongly to a common element of the above three sets under suitable control conditions, which solves a certain optimization problem. The results of this article substantially improve, develop, and complement the previous well-known results in this area.

2010 Mathematics Subject Classifications: 49J30; 49J40; 47H09; 47H10; 47J20; 47J25; 47J05; 49M05.

1 Introduction

Let H be a real Hilbert space with inner product 〈·, ·〉 and induced norm || · ||. Let C be a nonempty closed convex subset of H and S : C → C be a self-mapping on C. Let us denote by F(S) the set of fixed points of S and by P _C the metric projection of H onto C.

Let B : C → H be a nonlinear mapping and φ : C → ℝ be a function, and Θ be a bifunction of C × C into ℝ, where ℝ is the set of real numbers.

Then, we consider the following generalized mixed equilibrium problem of finding x ∈ C such that

$$\Theta \left(x,y\right)+⟨Bx,y-x⟩+\phi \left(y\right)-\phi \left(x\right)\ge 0,\forall y\in C,$$

(1.1)

which was recently introduced by Peng and Yao [1]. The set of solutions of the problem (1.1) is denoted by GMEP(Θ, φ, B). Here, some special cases of the problem (1.1) are stated as follows:

If B = 0, then the problem (1.1) reduces the following mixed equilibrium problem of finding x ∈ C such that

$$\Theta \left(x,y\right)+\phi \left(y\right)-\phi \left(x\right)\ge 0,\forall y\in C,$$

(1.2)

which was studied by Ceng and Yao [2] (see also [3]). The set of solutions of the problem (1.2) is denoted by MEP (Θ,φ).

If φ = 0 and B = 0, then the problem (1.1) reduces the following equilibrium problem of finding x ∈ C such that

$$\Theta \left(x,y\right)\ge 0,\forall y\in C.$$

(1.3)

The set of solutions of the problem (1.3) is denoted by EP(Θ).

If φ = 0 and Θ(x, y) = 0 for all x, y ∈ C, then the problem (1.1) reduces the following variational inequality problem of finding x ∈ C such that

$$⟨Bx,y-x⟩\ge 0,\forall y\in C.$$

(1.4)

The set of solutions of the problem (1.4) is denoted by V I(C, B).

The problem (1.1) is very general in the sense that it includes, as special cases, fixed point problems, optimization problems, variational inequality problems, minmax problems, Nash equilibrium problems in noncooperative games, and others; see [2, 4–6].

Recently, in order to study the problem (1.3) coupled with the fixed point problem, many authors have introduced some iterative schemes for finding a common element of the set of the solutions of the problem (1.3) and the set of fixed points of a countable family of nonexpansive mappings; see [7–16] and the references therein.

In 2008, Su et al. [17] gave an iterative scheme for the problem (1.3), the problem (1.4) for an inverse-strongly monotone mapping, and fixed point problems of non-expansive mappings. In 2009, Yao et al. [18] considered an iterative scheme for the problem (1.2), the problem (1.4) for a Lipschitz and relaxed-cocoercive mapping and fixed point problems of nonexpansive mappings, and in 2008, Peng and Yao [1] studied an iterative scheme for the problem (1.1), the problem (1.4) for a monotone, and Lipschitz continuous mapping and fixed point problems of nonexpansive mappings.

In particular, in 2010, Jung [9] introduced the following new composite iterative scheme for finding a common element of the set of solutions of the problem (1.3) and the set of fixed points of a nonexpansive mapping: x₁ ∈ C and

$$\left\{\begin{array}{c}\Theta \left(u_n,y\right)+\frac{1}{r_n}⟨y-u_n,u_n-x_n⟩\ge 0,\forall y\in C,\\ y_n={\alpha }_{n}f\left(x_n\right)+\left(1-{\alpha }_n\right)T{u}_n,\\ x_{n+1}=\left(1-{\beta }_n\right)y_n+{\beta }_{n}T{y}_n,n\ge 1,\end{array}\right.$$

(1.5)

where T is a nonexpansive mapping, f is a contraction with constant k ∈ (0, 1), {α _n }, {β _n }⊂ [0, 1], and {r _n } ⊂ (0, ∞). He showed that the sequences {x _n } and {u _n } generated by (1.5) converge strongly to a point in F(T ) ∩ EP (Θ) under suitable conditions.

On the other hand, the following optimization problem has been studied extensively by many authors:

$$\underset{x\in \Omega }{min}\frac{\mu }{2}⟨Ax,x⟩+\frac{1}{2}{∥x-u∥}^2-h\left(x\right),$$

where $\Omega ={\bigcap }_{n=1}^{\infty }{C}_n,C_1,C_2,\cdots$ are infinitely many closed convex subsets of H such that ${\bigcap }_{n=1}^{\infty }{C}_n\ne \varnothing ,$u ∈ H, μ ≥ 0 is a real number, A is a strongly positive bounded linear operator on H (i.e., there is a constant $\bar{\gamma }>0$ such that $⟨Ax,x⟩\ge \bar{\gamma }{∥x∥}^2$, ∀x ∈ H) and h is a potential function for γ f (i.e., h'(x) = γ f(x) for all x ∈ H). For this kind of optimization problems, see, for example, Bauschke and Borwein [19], Combettes [20], Deutsch and Yamada [21], Jung [22], and Xu [23] when $\Omega ={\bigcap }_{i=1}^N{C}_i$; and h(x) = 〈x, b〉 for a given point b in H.

In 2009, Yao et al. [3] considered the following iterative scheme for the problem (1.2) and optimization problems:

$$\left\{\begin{array}{c}\Theta \left(y_n,y\right)+\phi \left(y\right)-\phi \left(y_n\right)+\frac{1}{r}⟨K^{\prime }\left(y_n\right)-K^{\prime }\left(x_n\right),y-y_n⟩\ge 0,\forall y\in H,\\ x_{n+1}={\alpha }_n\left(u+\gamma f\left(x_n\right)\right)+{\beta }_n{x}_n+\left(\left(1-{\beta }_n\right)I-{\alpha }_n\left(I+\mu A\right)\right)W_n{y}_n,n\ge 1,\end{array}\right.$$

(1.6)

where u ∈ H; {α _n } and {β _n } are two sequences in (0,1), μ > 0, r > 0, γ > 0; K'(x) is the Fréchet derivative of a functional K : H → ℝ at x; and W _n is the so-called W-mapping related to a sequence {T _n } of nonexpansive mappings. They showed that under appropriate conditions, the sequences {x _n } and {y _n } generated by (1.6) converge strongly to a solution of the optimization problem:

$$\underset{x\in {\bigcap }_{n=1}^{\infty }F\left(T_n\right)\cap MEP\left(\Theta ,\phi \right)}{min}\frac{\mu }{2}⟨Ax,x⟩+\frac{1}{2}\left|\right|x-u|{|}^2-h\left(x\right).$$

In 2010, using the method of Yao et al. [3], Jaiboon and Kumam [24] also introduced a general iterative method for finding a common element of the set of solutions of the problem (1.2), the set of fixed points of a sequence {T _n } of nonexpansive mappings, and the set of solutions of the problem (1.4) for a α-inverse-strongly monotone mapping. We point out that in the main results of [3, 24], the condition of the sequentially continuity from the weak topology to the strong topology for the derivative K' of the function K : C → ℝ is very strong. Even if $K\left(x\right)=\frac{{∥x∥}^2}{2}$, then K' (x) = x is not sequentially continuous from the weak topology to the strong topology.

In this article, inspired and motivated by above mentioned results, we introduce a new iterative method for finding a common element of the set of solutions of a generalized mixed equilibrium problem (1.1), the set of fixed points of a countable family of nonexpansive mappings, and the set of solutions of the variational inequality problem (1.4) for an inverse-strongly monotone mapping in a Hilbert space. We show that under suitable conditions, the sequence generated by the proposed iterative scheme converges strongly to a common element of the above three sets, which is a solution of a certain optimization problem. The results of this article can be viewed as an improvement and complement of the recent results in this direction.

2 Preliminaries and lemmas

Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. In the following, we write x _n ⇀ x to indicate that the sequence {x _n } converges weakly to x. x _n → x implies that {x _n } converges strongly to x.

First, we know that a mapping f : C → C is a contraction on C if there exists a constant k ∈ (0, 1) such that ||f(x) - f(y)|| ≤ k||x - y||, x, y ∈ C. A mapping T : C → C is called nonexpansive if ||Tx - Ty|| ≤ ||x - y||, x, y ∈ C.

In a real Hilbert space H, we have

$${∥\lambda x+\left(1-\lambda \right)y∥}^2=\lambda {∥x∥}^2+\left(1-\lambda \right){∥y∥}^2-\lambda \left(1-\lambda \right){∥x-y∥}^2$$

for all x, y ∈ H and λ ∈ ℝ. For every point x ∈ H, there exists the unique nearest point in C, denoted by P _C (x), such that

$$\left|\right|x-P_C\left(x\right)\left|\right|\le \left|\right|x-y\left|\right|$$

for all y ∈ C. P _C is called the metric projection of H onto C. It is well known that P _C is nonexpansive and P _C satisfies

$$⟨x-y,P_C\left(x\right)-P_C\left(y\right)⟩\ge {∥P_C\left(x\right)-P_C\left(y\right)∥}^2$$

(2.1)

for every x, y ∈ H. Moreover, P _C (x) is characterized by the properties:

$${∥x-y∥}^2\ge {∥x-P_C\left(x\right)∥}^2+{∥y-P_C\left(x\right)∥}^2$$

and

$$u=P_C\left(x\right)\iff ⟨x-u,u-y⟩\ge 0forallx\in H,y\in C.$$

In the context of the variational inequality problem for a nonlinear mapping F, this implies that

$$u\in VI\left(C,F\right)\iff u=P_C\left(u-\lambda Fu\right),forany\lambda >0.$$

(2.2)

It is also well known that H satisfies the Opial condition, that is, for any sequence {x _n } with x _n ⇀ x, the inequality

$$\underset{n\to \infty }{liminf}∥x_n-x∥<\underset{n\to \infty }{liminf}∥x_n-y∥$$

holds for every y ∈ H with y ≠ x.

A mapping F of C into H is called α-inverse-strongly monotone if there exists a constant α > 0 such that

$$⟨x-y,Fx-Fy⟩\ge \alpha {∥Fx-Fy∥}^2,\forall x,y\in C.$$

We know that if F = I - T, where T is a nonexpansive mapping of C into itself and I is the identity mapping of H, then F is $\frac{1}{2}$-inverse-strongly monotone and V I (C, F ) = F(T ). A mapping F of C into H is called strongly monotone if there exists a positive real number η such that

$$⟨x-y,Fx-Fy⟩\ge \eta {∥x-y∥}^2,\forall x,y\in C.$$

In such a case, we say F is η-strongly monotone. If F is η-strongly monotone and κ-Lipschitz continuous, that is, ||Fx - Fy|| ≤ κ||x - y|| for all x, y ∈ C, then F is $\frac{\eta }{{\kappa }^2}$-inverse-strongly monotone. If F is an α-inverse-strongly monotone mapping of C into H, then it is obvious that F is $\frac{1}{\alpha }$-Lipschitz continuous. We also have that for all x, y ∈ C and λ > 0,

$$\begin{array}{lll}\hfill {∥\left(I-\lambda F\right)x-\left(I-\lambda F\right)y∥}^2& ={∥\left(x-y\right)-\lambda \left(Fx-Fy\right)∥}^2& \hfill \text{(1) }\\ ={∥x-y∥}^2-2\lambda ⟨x-y,Fx-Fy⟩+{\lambda }^2{∥Fx-Fy∥}^2& \hfill \text{(2) }\\ \le {∥x-y∥}^2+\lambda \left(\lambda -2\alpha \right){∥Fx-Fy∥}^2.& \hfill \text{(3) }\\ \hfill \text{(4) }\end{array}$$

Hence, if λ ≤ 2α, then I - λF is a nonexpansive mapping of C into H. The following result for the existence of solutions of the variational inequality problem for inverse-strongly monotone mappings was given in Takahashi and Toyoda [25].

Proposition Let C be a bounded closed convex subset of a real Hilbert space, and F be an α-inverse-strongly monotone mapping of C into H. Then, V I(C, F) is nonempty.

A set-valued mapping Q : H → 2 ^H is called monotone if for all x, y ∈ H, f ∈ Qx and g ∈ Qy imply 〈x - y, f - g 〉 ≥ 0. A monotone mapping Q : H → 2 ^H is maximal if the graph G(Q) of Q is not properly contained in the graph of any other monotone mapping. It is known that a monotone mapping Q is maximal if and only if for (x, f ) ∈ H × H, 〈x - y, f - g〉 ≥ 0 for every (y, g) ∈ G(Q) implies f ∈ Qx. Let F be an inverse-strongly monotone mapping of C into H, and let N _C v be the normal cone to C at v, that is, N _C v = {w ∈ H : 〈v - u, w〉 ≥ 0, for all u ∈ C}, and define

$$Qv=\left\{\begin{array}{cc}\hfill Fv+N_{C}v,\hfill & \hfill v\in C\hfill \\ \hfill \varnothing \hfill & \hfill v\notin C.\hfill \end{array}\right.$$

Then, Q is maximal monotone and 0 ∈ Qv if and only if v ∈ V I(C, F ); see [26, 27].

For solving the equilibrium problem for a bifunction Θ : C × C → ℝ, let us assume that Θ and φ satisfy the following conditions:

(A1) Θ(x, x) = 0 for all x ∈ C;

(A2) Θ is monotone, that is, Θ(x, y) + Θ (y, x) ≤ 0 for all x, y ∈ C;

(A3) for each x, y, z ∈ C,

$$\underset{t\downarrow 0}{lim}\Theta \left(tz+\left(1-t\right)x,y\right)\le \Theta \left(x,y\right);$$

(A4) for each x ∈ C, y α Θ (x, y) is convex and lower semicontinuous;

(A5) For each y ∈ C, x α Θ (x, y) is weakly upper semicontinuous;

(B1) For each x ∈ H and r > 0, there exists a bounded subset D _x ⊆ C and y _x ∈ C such that for any z ∈ C \D _x ,

$$\Theta \left(z,y_x\right)+\phi \left(y_x\right)-\phi \left(z\right)+\frac{1}{r}⟨y_x-z,z-x⟩<0;$$

(B2) C is a bounded set;

The following lemmas were given in [1, 4].

Lemma 2.1 ([4]) Let C be a nonempty closed convex subset of H, and Θ be a bifunction of C × C into ℝ satisfying (A1)-(A4). Let r > 0 and x ∈ H. Then, there exists z ∈ C such that

$$\Theta \left(z,y\right)+\frac{1}{r}⟨y-z,z-x⟩\ge 0\forall y\in C.$$

Lemma 2.2 ([1]) Let C be a nonempty closed convex subset of H. Let Θ be a bifunction form C × C to ℝ satisfying (A1)-(A5) and φ : C → ℝ be a proper lower semicontinuous and convex function. For r > 0 and x ∈ H, define a mapping S _r : H → C as follows:

$$S_r\left(x\right)=\left\{z\in C:\Theta \left(z,y\right)+\phi \left(y\right)-\phi \left(z\right)+\frac{1}{r}⟨y-z,z-x⟩\ge 0,\forall y\in C\right\}$$

for all z ∈ H. Assume that either (B1) or (B2) holds. Then, the following hold:

• (1) For each x ∈ H, S _r (x) ≠ ∅;

• (2) S _r is single-valued;

• (3) S _r is firmly nonexpansive, that is, for any x, y ∈ H,

  $$\left|\right|S_{r}x-S_{r}y|{|}^2\le ⟨S_{r}x-S_{r}y,x-y⟩;$$

• (4) F(S _r ) = MEP (Θ, φ);

• (5) MEP (Θ, φ) is closed and convex.

We also need the following lemmas for the proof of our main results.

Lemma 2.3 ([23]) Let {s _n } be a sequence of non-negative real numbers satisfying

$$s_{n+1}\le \left(1-{\lambda }_n\right)s_n+{\beta }_n,n\ge 1,$$

where {λ _n } and {β _n } satisfy the following conditions:

• (i) {λ _n } ⊂ [0, 1] and ${\sum }_{n=1}^{\infty }{\lambda }_n=\infty$ or, equivalently, ${\prod }_{n=1}^{\infty }\left(1-{\lambda }_n\right)=0$,

• (ii) $lim\underset{n\to \infty }{sup}\frac{{\beta }_n}{{\lambda }_n}\le 0$ or ${\sum }_{n=1}^{\infty }\left|{\beta }_n\right|<\infty$,

Then, lim_n→∞s _n = 0.

Lemma 2.4 In a Hilbert space, there holds the inequality

$$\left|\right|x+y|{|}^2\le |\left|x\right|{|}^2+2⟨y,x+y⟩,\forall x,y\in H.$$

Lemma 2.5 (Aoyama et al. [28]) Let C be a nonempty closed convex subset of H and {T _n } be a sequence of nonexpansive mappings of C into itself. Suppose that

$$\sum _{n=1}^{\infty }sup\left\{\left|\right|T_{n+1}z-T_{n}z\left|\right|:z\in C\right\}<\infty .$$

Then, for each y ∈ C, {T _n y} converges strongly to some point of C. Moreover, let T be a mapping of C into itself defined by Ty = lim_n→∞T _n y for all y ∈ C. Then, lim_n→∞sup{||Tz - T _n z|| : z ∈ C} = 0.

The following lemma can be found in [3](see also Lemma 2.1 in [22]).

Lemma 2.6 Let C be a nonempty closed convex subset of a real Hilbert space H and g : C → ℝ ∪{∞} be a proper lower semicontinuous differentiable convex function. If x* is a solution to the minimization problem

$$g\left(x^{*}\right)=\underset{x\in C}{inf}g\left(x\right),$$

then

$$⟨g^{\prime }\left(x\right),x-x^{*}⟩\ge 0,x\in C.$$

In particular, if x* solves the optimization problem

$$\underset{x\in C}{min}\frac{\mu }{2}⟨Ax,x⟩+\frac{1}{2}\left|\right|x-u|{|}^2-h\left(x\right),$$

then

$$⟨u+\left(\gamma f-\left(I+\mu A\right)\right)x^{*},x-x^{*}⟩\le 0,x\in C,$$

where h is a potential function for γ f.

3 Main results

In this section, we introduce a new composite iterative scheme for finding a common point of the set of solutions of the problem (1.1), the set of fixed points of a countable family of nonexpansive mappings, and the set of solutions of the problem (1.4) for an inverse-strongly monotone mapping.

Theorem 3.1 Let C be a nonempty closed convex subset of a real Hilbert space H such that C ± C ⊂ C. Let Θ be a bifunction from C × C to ℝ satisfying (A1)-(A5) and φ : C → ℝ be a lower semicontinuous and convex function. Let F, B be two α, β-inverse-strongly monotone mappings of C into H, respectively. Let {T _n } be a sequence of nonexpansive mappings of C into itself such that${\Omega }_1:={\bigcap }_{n=1}^{\infty }F\left(T_n\right)\cap VI\left(C,F\right)\cap GMEP\left(\Theta ,\phi ,B\right)\ne \varnothing$. Let μ > 0 and γ > 0 be real numbers. Let f be a contraction of C into itself with constant k ∈ (0, 1) and A be a strongly positive bounded linear operator on C with constant$\bar{\gamma }\in \left(0,1\right)$ such that $0<\gamma <\frac{\left(1+\mu \right)\bar{\gamma }}{k}$. Assume that either (B1) or (B2) holds. Let u ∈ C, and let {x _n },{y _n }, and {u _n } be sequences generated by x₁ ∈ C and

$$\left\{\begin{array}{c}\Theta \left(u_n,y\right)+⟨B{x}_n,y-u_n⟩+\phi \left(y\right)-\phi \left(u_n\right)+\frac{1}{r_n}⟨y-u_n,u_n-x_n⟩\ge 0,\forall y\in C,\\ y_n={\alpha }_n\left(u+\gamma f\left(x_n\right)\right)+\left(I-{\alpha }_n\left(I+\mu A\right)\right)T_n{P}_C\left(u_n-{\lambda }_{n}F{u}_n\right),\\ x_{n+1}=\left(1-{\beta }_n\right)y_n+{\beta }_n{T}_n{P}_C\left(y_n-{\lambda }_{n}F{y}_n\right),n\ge 1,\end{array}\right.\left(\mathsf{\text{IS}}\right)$$

where {α _n }, {β _n } ⊂ [0, 1], λ _n ∈ [a, b] ⊂ (0, 2α) and r _n ∈ [c, d] ⊂ (0, 2β). Let {α _n }, {λ _n } and {β _n } satisfy the following conditions:

(C1) α _n → 0 (n → ∞);${\sum }_{n=1}^{\infty }{\alpha }_n=\infty$;

(C2) β _n ⊂ [0, a) for all n ≥ 0 and for some a ∈ (0, 1);

(C3) ${\sum }_{n=1}^{\infty }|{\alpha }_{n+1}-{\alpha }_n|<\infty$, ${\sum }_{n=1}^{\infty }|{\beta }_{n+1}-{\beta }_n|<\infty$, ${\sum }_{n=1}^{\infty }|{\lambda }_{n+1}-{\lambda }_n|<\infty$, ${\sum }_{n=1}^{\infty }|r_{n+1}-r_n|<\infty$.

Suppose that ${\sum }_{n=1}^{\infty }sup\left\{\left|\right|T_{n+1}z-T_{n}z\left|\right|:z\in D\right\}<\infty$ for any bounded subset D of C. Let T be a mapping of C into itself defined by Tz = lim_n→∞T _n z for all z ∈ C and suppose that$F\left(T\right)={\bigcap }_{n=1}^{\infty }F\left(T_n\right)$. Then {x _n } and {u _n } converge strongly to q ∈ Ω₁, which is a solution of the optimization problem:

$$\underset{x\in {\Omega }_1}{min}\frac{\mu }{2}⟨Ax,x⟩+\frac{1}{2}\left|\right|x-u|{|}^2-h\left(x\right),\left(OP1\right)$$

where h is a potential function for γ f.

Proof First, from α _n → 0 (n → ∞) in the condition (C1), we assume, without loss of generality, that α _n ≤ (1 + μ||A||)^-1 and $2\left(\left(1+\mu \right)\bar{\gamma }-\gamma k\right){\alpha }_n<1$ for n ≥ 1. We know that if A is bounded linear self-adjoint operator on H, then

$$\left|\right|A\left|\right|=sup\left\{\left|⟨Au,u⟩\right|:u\in H,\left|\right|u\left|\right|=1\right\}.$$

Observe that

$$\begin{array}{lll}\hfill ⟨\left(I-{\alpha }_n\left(I+\mu A\right)\right)u,u⟩& =1-{\alpha }_n-{\alpha }_n\mu ⟨Au,u⟩& \hfill \text{(1)}\\ \ge 1-{\alpha }_n-{\alpha }_n\mu \left|\right|A\left|\right|& \hfill \text{(2)}\\ \ge 0,& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$$

which is to say I - α _n (I + μA) is positive. It follows that

$$\begin{array}{lll}\hfill \left|\right|I-{\alpha }_n\left(I+\mu A\right)\left|\right|& =sup\left\{⟨\left(I-{\alpha }_n\left(I+\mu A\right)\right)u,u⟩:u\in H,\left|\right|u\left|\right|=1\right\}& \hfill \text{(1)}\\ =sup\left\{1-{\alpha }_n-{\alpha }_n\mu ⟨Au,u⟩:u\in H,\left|\right|u\left|\right|=1\right\}& \hfill \text{(2)}\\ \le 1-{\alpha }_n\left(1+\mu \bar{\gamma }\right)& \hfill \text{(3)}\\ <1-{\alpha }_n\left(1+\mu \right)\bar{\gamma }.& \hfill \text{(4)}\\ \hfill \text{(5)}\end{array}$$

Let us divide the proof into several steps. From now on, we put z _n = P _C (u _n -λ _n Fu _n ) and w _n = P _C (y _n - λ _n Fy _n ).

Step 1: We show that {x _n } is bounded. To this end, let $p\in {\Omega }_1:={\bigcap }_{n=1}^{\infty }F\left(T_n\right)\cap VI\left(C,F\right)\cap GMEP\left(\Theta ,\phi ,B\right)$ and $\left\{S_{r_n}\right\}$ be a sequence of mappings defined as in Lemma 2.2. Then $p=T_{n}p=S_{r_n}\left(p-r_{n}Bp\right)$ and p = P _C (p - λ _n Fp) from (2.2). From z _n = P _C (u _n - λ _n Fu _n ) and the fact that P _C and I - λ _n F are nonexpansive, it follows that

$$\left|\right|z_n-p\left|\right|\le \left|\right|\left(I-{\lambda }_{n}F\right)u_n-\left(I-{\lambda }_{n}F\right)p\left|\right|\le \left|\right|u_n-p\left|\right|.$$

Also, by $u_n=S_{r_n}\left(x_n-r_{n}B{x}_n\right)\in C$ and the β-inverse-strongly monotonicity of B, we have with r _n ∈ (0, 2β),

$$\begin{array}{lll}\hfill \left|\right|u_n-p|{|}^2& \le \left|\right|x_n-r_{n}B{x}_n-\left(p-r_{n}Bp\right)|{|}^2& \hfill \text{(1)}\\ \le \left|\right|x_n-p|{|}^2-2r_n⟨x_n-p,B{x}_n-Bp⟩+r_n^2||B{x}_n-Bp|{|}^2& \hfill \text{(2)}\\ \le \left|\right|x_n-p|{|}^2+r_n\left(r_n-2\beta \right)\beta ||B{x}_n-Bp|{|}^2& \hfill \text{(3)}\\ \le \left|\right|x_n-p|{|}^2,& \hfill \text{(4)}\\ \hfill \text{(5)}\end{array}$$

that is, ||u _n - p|| ≤ ||x _n - p||, and so

$$\left|\right|z_n-p\left|\right|\le \left|\right|x_n-p\left|\right|.$$

(3.1)

Similarly, we have

$$\left|\right|w_n-p\left|\right|\le \left|\right|y_n-p\left|\right|.$$

(3.2)

Now, set $Ā=\left(I+\mu A\right)$. Then, from (IS) and (3.1), we obtain

$$\begin{array}{c}\left|\right|y_n-p\left|\right|\\ \le \left(1-\left(1+\mu \bar{\gamma }\right){\alpha }_n\right)\left|\right|z_n-p\left|\right|+{\alpha }_n\left|\right|u\left|\right|\\ +{\alpha }_n\gamma \left|\right|f\left(x_n\right)-f\left(p\right)\left|\right|+{\alpha }_n\left|\right|\gamma f\left(p\right)-Āp\left|\right|\\ \le \left(1-\left(1+\mu \bar{\gamma }\right){\alpha }_n\right)\left|\right|z_n-p\left|\right|+{\alpha }_n\left|\right|u\left|\right|+{\alpha }_n\gamma k\left|\right|x_n-p\left|\right|+{\alpha }_n\left|\right|\gamma f\left(p\right)-Āp\left|\right|\\ \le \left(1-\left(\left(1+\mu \right)\bar{\gamma }-\gamma k\right){\alpha }_n\right)\left|\right|x_n-p\left|\right|+{\alpha }_n\left(\left|\right|\gamma f\left(p\right)-Āp\left|\right|+\left|\right|u\left|\right|\right)\\ =\left(1-\left(\left(1+\mu \right)\bar{\gamma }-\gamma k\right){\alpha }_n\right)\left|\right|x_n-p\left|\right|+\left(\left(1+\mu \right)\bar{\gamma }-\gamma k\right){\alpha }_n\frac{\left|\right|\gamma f\left(p\right)-Āp\left|\right|+\left|\right|u\left|\right|}{\left(1+\mu \right)\bar{\gamma }-\gamma k}.\end{array}$$

(3.3)

From (3.2) and (3.3), it follows that

$$\begin{array}{lll}\hfill \left|\right|x_{n+1}-p\left|\right|& \le \left(1-{\beta }_n\right)\left|\right|y_n-p\left|\right|+{\beta }_n\left|\right|w_n-p\left|\right|& \hfill \text{(1)}\\ \le \left(1-{\beta }_n\right)\left|\right|y_n-p\left|\right|+{\beta }_n\left|\right|y_n-p\left|\right|& \hfill \text{(2)}\\ =\left|\right|y_n-p\left|\right|& \hfill \text{(3)}\\ \le max\left\{\left|\right|x_n-p\left|\right|,\frac{\left|\right|\gamma f\left(p\right)-Āp\left|\right|+\left|\right|u\left|\right|}{\left(1+\mu \right)\bar{\gamma }-\gamma k}\right\}.& \hfill \text{(4)}\\ \hfill \text{(5)}\end{array}$$

(3.4)

By induction, it follows from (3.4) that

$$\left|\right|x_n-p\left|\right|\le max\left\{\left|\right|x_1-p\left|\right|,\frac{\left|\right|\gamma f\left(p\right)-Āp\left|\right|+\left|\right|u\left|\right|}{\left(1+\mu \right)\bar{\gamma }-\gamma k}\right\},n\ge 1.$$

Therefore, {x _n } is bounded. Hence {u _n }, {y _n }, {z _n }, {w _n }, {f(x _n )}, {Fu _n }, {Fy _n }, and $\left\{ĀT_n{z}_n\right\}$ are bounded. Moreover, since ||T _n z _n - p|| ≤ ||x _n - p|| and ||T _n w _n - p|| ≤ ||y _n - p||, {T _n z _n } and {T _n w _n } are also bounded, and since α _n → 0 in the condition (C1), we have

$$\left|\right|y_n-T_n{z}_n\left|\right|={\alpha }_n\left|\right|\left(u+\gamma f\left(x_n\right)\right)-ĀT_n{z}_n\left|\right|\to 0\left(asn\to \infty \right).$$

(3.5)

Step 2: We show that lim_n→∞||x_n+1- x _n || = 0. Indeed, since I - λ _n F and P _C are nonexpansive, we have

$$\begin{array}{lll}\hfill \left|\right|z_n-z_{n-1}\left|\right|& =\left|\right|P_C\left(u_n-{\lambda }_{n}F{u}_n\right)-P_C\left(u_{n-1}-{\lambda }_{n-1}F{u}_{n-1}\right)\left|\right|& \hfill \text{(1)}\\ \le \left|\right|\left(I-{\lambda }_{n}F\right)u_n-\left(I-{\lambda }_{n}F\right)u_{n-1}+\left({\lambda }_n-{\lambda }_{n-1}\right)F{u}_{n-1}\left|\right|& \hfill \text{(2)}\\ \le \left|\right|u_n-u_{n-1}\left|\right|+|{\lambda }_n-{\lambda }_{n-1}|\left|\right|F{u}_{n-1}\left|\right|.& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$$

(3.6)

Similarly, we get

$$\left|\right|w_n-w_{n-1}\left|\right|\le \left|\right|y_n-y_{n-1}\left|\right|+|{\lambda }_n-{\lambda }_{n-1}|\left|\right|F{y}_{n-1}\left|\right|.$$

(3.7)

On the other hand, from $u_{n-1}=S_{r_{n-1}}\left(x_{n-1}-r_{n}B{x}_{n-1}\right)$ and $u_n=S_{r_n}\left(x_n-r_{n}B{x}_n\right)$, it follows that

$$\begin{array}{lll}\hfill \Theta \left(u_{n-1},y\right)& +⟨B{x}_{n-1},y-u_{n-1}⟩& \hfill \text{(1) }\\ +\phi \left(y\right)-\phi \left(u_{n-1}\right)+\frac{1}{r_{n-1}}⟨y-u_{n-1},u_{n-1}-x_{n-1}⟩\ge 0,\forall y\in C,& \hfill \text{(2) }\\ \hfill \text{(3) }\end{array}$$

(3.8)

and

$$\begin{array}{lll}\hfill \Theta \left(u_n,y\right)& +⟨B{x}_n,y-u_n⟩& \hfill \text{(1)}\\ +\phi \left(y\right)-\phi \left(u_n\right)+\frac{1}{r_n}⟨y-u_n,u_n-x_n⟩\ge 0,\forall y\in C.& \hfill \text{(2)}\\ \hfill \text{(3)}\end{array}$$

(3.9)

Substituting y = u _n into (3.8) and y = u_{n - 1}into (3.9), we obtain

$$\Theta \left(u_{n-1},u_n\right)+⟨B{x}_{n-1},u_n-u_{n-1}⟩+\phi \left(u_n\right)-\phi \left(u_{n-1}\right)+\frac{1}{r_{n-1}}⟨u_n-u_{n-1},u_{n-1}-x_{n-1}⟩\ge 0$$

and

$$\Theta \left(u_n,u_{n-1}\right)+⟨B{x}_n,u_{n-1}-u_n⟩+\phi \left(u_{n-1}\right)-\phi \left(u_n\right)+\frac{1}{r_n}⟨u_{n-1}-u_n,u_n-x_n⟩\ge 0.$$

From (A2), we have

$$⟨u_n-u_{n-1},B{x}_{n-1}-B{x}_n+\frac{u_{n-1}-x_{n-1}}{r_{n-1}}-\frac{u_n-x_n}{r_n}⟩\ge 0,$$

and then

$$⟨u_n-u_{n-1},r_{n-1}\left(B{x}_{n-1}-B{x}_n\right)+u_{n-1}-x_{n-1}-\frac{r_{n-1}}{r_n}\left(u_n-x_n\right)⟩\ge 0.$$

Hence, it follows that

$$\begin{array}{c}〈u_n-u_{n-1},(I-r_{n-l}B)x_n-(I-r_{n-1}B)x_{n-1}\\ +u_{n-1}-u_n+u_n-x_n-\frac{r_{n-1}}{r_n}(u_n-x_n)〉\ge 0.\end{array}$$

(3.10)

Without loss of generality, let us assume that there exists a real number c such that r _n > c > 0 for all n ≥ 1. Then, by (3.10) and the fact that (I - r_n-1B) is nonexpansive, we have

$$\begin{array}{c}\left|\right|u_n-u_{n-1}|{|}^2\\ \le ⟨u_n-u_{n-1},\left(I-r_{n-1}B\right)x_n-\left(I-r_{n-1}B\right)x_{n-1}+\left(1-\frac{r_{n-1}}{r_n}\right)\left(u_n-x_n\right)⟩\\ \le \left|\right|u_n-u_{n-1}\left|\right|\left\{\left|\right|\left(I-r_{n-1}B\right)x_n-\left(I-r_{n-1}B\right)x_{n-1}\left|\right|+\left|1-\frac{r_{n-1}}{r_n}\right|\left|\right|u_n-x_n\left|\right|\right\}\\ \le \left|\right|u_n-u_{n-1}\left|\right|\left\{\left|\right|x_n-x_{n-1}\left|\right|+\left|1-\frac{r_{n-1}}{r_n}\right|\left|\right|u_n-x_n\left|\right|\right\},\end{array}$$

which implies that

$$\begin{array}{lll}\hfill \left|\right|u_n-u_{n-1}\left|\right|& \le \left|\right|x_n-x_{n-1}\left|\right|+\frac{1}{r_n}|r_n-r_{n-1}|\left|\right|u_n-x_n\left|\right|& \hfill \text{(1)}\\ \le \left|\right|x_n-x_{n-1}\left|\right|+\frac{M_1}{c}|r_n-r_{n-1}|,& \hfill \text{(2)}\\ \hfill \text{(3)}\end{array}$$

(3.11)

where M₁ = sup {||u _n - x _n || : n ≥ 1}. Substituting (3.11) into (3.6), we have

$$\left|\right|z_n-z_{n-1}\left|\right|\le \left|\right|x_n-x_{n-1}\left|\right|+\frac{M_1}{c}|r_n-r_{n-1}|+|{\lambda }_n-{\lambda }_{n-1}|\left|\right|F{u}_{n-1}\left|\right|.$$

(3.12)

Simple calculations show that

$$\begin{array}{lll}\hfill y_n-y_{n-1}& =\left({\alpha }_n-{\alpha }_{n-1}\right)\left(u+\gamma f\left(x_{n-1}\right)-ĀT_{n-1}{z}_{n-1}\right)+{\alpha }_n\gamma \left(f\left(x_n\right)-f\left(x_{n-1}\right)\right)& \hfill \text{(1)}\\ +\left(I-{\alpha }_nĀ\right)\left(T_n{z}_n-T_n{z}_{n-1}\right)+\left(I-{\alpha }_nĀ\right)\left(T_n{z}_{n-1}-T_{n-1}{z}_{n-1}\right).& \hfill \text{(2)}\\ \hfill \text{(3) }\end{array}$$

Hence, by (3.11) and (3.12), we obtain

$$\begin{array}{lll}\hfill \left|\right|y_n-y_{n-1}\left|\right|& \le |{\alpha }_n-{\alpha }_{n-1}|\left(\left|\right|u\left|\right|+\gamma \left|\right|f\left(x_{n-1}\right)\left|\right|+\left|\right|Ā\left|\right|\left|\right|T_{n-1}{z}_{n-1}\left|\right|\right)& \hfill \text{(1)}\\ +{\alpha }_n\gamma k\left|\right|x_n-x_{n-1}\left|\right|+\left(1-\left(1+\mu \right)\bar{\gamma }{\alpha }_n\right)\left|\right|z_n-z_{n-1}\left|\right|& \hfill \text{(2)}\\ +\left(1-\left(1+\mu \right)\bar{\gamma }{\alpha }_n\right)\left|\right|T_n{z}_{n-1}-T_{n-1}{z}_{n-1}\left|\right|& \hfill \text{(3)}\\ \le |{\alpha }_n-{\alpha }_{n-1}|\left(\left|\right|u\left|\right|+\gamma \left|\right|f\left(x_{n-1}\right)\left|\right|+\left|\right|Ā\left|\right|\left|\right|T_{n-1}{z}_{n-1}\left|\right|\right)& \hfill \text{(4)}\\ +{\alpha }_n\gamma k\left|\right|x_n-x_{n-1}\left|\right|+\left(1-\left(1+\mu \right)\bar{\gamma }{\alpha }_n\right)\left|\right|x_n-x_{n-1}\left|\right|& \hfill \text{(5)}\\ +\frac{M_1}{c}|r_n-r_{n-1}|+|{\lambda }_n-{\lambda }_{n-1}|\left|\right|F{u}_{n-1}\left|\right|+\underset{z\in D_1}{sup}\left|\right|T_{n}z-T_{n-1}z\left|\right|,& \hfill \text{(6)}\\ \hfill \text{(7) }\end{array}$$

(3.13)

where D₁ is a bounded subset of C containing {z _n }. Also observe that

$$\begin{array}{lll}\hfill x_{n+1}-x_n& =\left(1-{\beta }_n\right)\left(y_n-y_{n-1}\right)+\left({\beta }_n-{\beta }_{n-1}\right)\left(T_{n-1}{w}_{n-1}-y_{n-1}\right)& \hfill \text{(1)}\\ +{\beta }_n\left(T_n{w}_n-T_n{w}_{n-1}\right)+{\beta }_n\left(T_n{w}_{n-1}-T_{n-1}{w}_{n-1}\right).& \hfill \text{(2)}\\ \hfill \text{(3)}\end{array}$$

(3.14)

By (3.7), (3.13) and (3.14), we have

$$\begin{array}{l}\left|\right|x_{n+1}-x_n\left|\right|\\ \le (1-{\beta }_n)\left|\right|y_n-y_{n-1}\left|\right|+|{\beta }_n-{\beta }_{n-1}|(|\left|T_{n-1}{x}_{n-1}\right||+|\left|y_{n-1}\right||)\\ +{\beta }_n\left|\right|w_n-w_{n-1}\left|\right|+{\beta }_n\left|\right|T_n{w}_{n-1}-T_{n-1}{w}_{n-1}\left|\right|\\ \le (1-{\beta }_n)\left|\right|y_n-y_{n-1}\left|\right|+{\beta }_n\left|\right|y_n-y_{n-1}\left|\right|+{\beta }_n|{\lambda }_n-{\lambda }_{n-1}|\left|\right|F{y}_{n-1}\left|\right|\\ +|{\beta }_n-{\beta }_{n-1}|(|\left|T_{n-1}{w}_{n-1}\right||+|\left|y_{n-1}\right||)+{\beta }_n\left|\right|T_n{w}_{n-1}-T_{n-1}{w}_{n-1}\left|\right|\\ \le \left|\right|y_n-y_{n-1}\left|\right|+|{\lambda }_n-{\lambda }_{n-1}|\left|\right|F{y}_{n-1}\left|\right|\\ +|{\beta }_n-{\beta }_{n-1}|(|\left|T_{n-1}{w}_{n-1}\right||+|\left|y_{n-1}\right||)+\left|\right|T_n{w}_{n-1}-T_{n-1}{w}_{n-1}\left|\right|\\ \le (1-((1+\mu )\overline{\gamma }-\gamma k){\alpha }_n)\left|\right|x_n-x_{n-1}\left|\right|\\ +|({\alpha }_n-{\alpha }_{n-1}|(\left|\right|u\left|\right|+\gamma \left|\right|f(x_{n-1})\left|\right|+\left|\right|\overline{A}\left|\right|\left|\right|T_{n-1}{z}_{n-1}\left|\right|)\\ +|{\lambda }_n-{\lambda }_{n-1}|(|\left|F{y}_{n-1}\right||+|\left|F{u}_{n-1}\right||)+\frac{M_1}{c}|r_n-r_{n-1}|\\ +|{\beta }_n-{\beta }_{n-1}|(|\left|T_{n-1}{w}_{n-1}\right||+|\left|y_{n-1}\right||)+2\underset{z\in D_2}{\sup }\left\{\right||T_{n}z-T_{n-1}z||\\ \le (1-((1+\mu )\overline{\gamma }-\gamma k){\alpha }_n)\left|\right|x_n-x_{n-1}\left|\right|+\frac{M_1}{c}|r_n-r_{n-1}|\\ +M_2|{\alpha }_n-{\alpha }_{n-1}|+M_3|{\lambda }_n-{\lambda }_{n-1}|+M_4|{\beta }_n-{\beta }_{n-1}|\\ +2\underset{z\in D_2}{\sup }\left|\right|T_{n}z-T_{n-1}z\left|\right|,\end{array}$$

(3.15)

where D₂ is a bounded subset of C containing {z _n } and {w _n }, $M_2=sup\left\{\left|\right|u\left|\right|+\gamma \left|\right|f\left(x_n\right)\left|\right|+\left|\right|Ā\left|\right|\left|\right|T_n{z}_n\left|\right|:n\ge 1\right\}$, M₃ = sup{||Fy _n || + ||Fu _n || : n ≥ 1}, and M₄ = sup{||T _n w _n || + ||y _n || : n ≥ 1}. From the conditions (C1) and (C3) and the condition ${\sum }_{n=1}^{\infty }sup\left\{\left|\right|T_{n+1}z-T_z\left|\right|:z\in D\right\}<\infty$ for any bounded subset D of C, it is easy to see that

$$\underset{n\to \infty }{lim}\left(\left(1+\mu \right)\bar{\gamma }-\gamma k\right){\alpha }_n=0,\sum _{n=1}^{\infty }\left(\left(1+\mu \right)\bar{\gamma }-\gamma k\right){\alpha }_n=\infty ,$$

and

$$\begin{array}{c}\sum _{n=2}^{\infty }\left(\frac{M_1}{c}|r_n-r_{n-1}|\right.+M_2|{\alpha }_n-{\alpha }_{n-1}|+M_3|{\lambda }_n-{\lambda }_{n-1}|\\ \left.+M_4|{\beta }_n-{\beta }_{n-1}|+2\underset{z\in D_2}{sup}\left|\right|T_{n}z-T_{n-1}z\left|\right|\right)<\infty .\end{array}$$

Applying Lemma 2.3 to (3.15), we obtain

$$\underset{n\to \infty }{lim}\left|\right|x_{n+1}-x_n\left|\right|=0.$$

Moreover, from (3.11), it follows that

$$\underset{n\to \infty }{lim}\left|\right|u_{n+1}-u_n\left|\right|=0.$$

From (3.12) and (3.13), we also have

$$\underset{n\to \infty }{lim}\left|\right|z_{n+1}-z_n\left|\right|=0and\underset{n\to \infty }{lim}\left|\right|y_{n+1}-y_n\left|\right|=0.$$

Step 3: We show that lim_n-∞||x _n - u _n || = 0. To this end, let p ∈ Ω₁. Since $S_{r_n}$ is firmly nonexpansive and $u_n=S_{r_n}\left(x_n-r_{n}B{x}_n\right)$, we have

$$\begin{array}{c}\left|\right|u_n-p|{|}^2\le 〈S_{r_n}(x_n-r_{n}B{x}_n)-S_{r_n}(p-r_{n}Bp),x_n-r_{n}B{x}_n-(p-r_{n}Bp)〉\\ =\frac{1}{2}\left\{\right||u_n-p|{|}^2+\left|\right|x_n-r_{n}B{x}_n-(p-r_{n}Bp)\left|{|}^2\right\}\\ -\frac{1}{2}\left\{\right||x_n-r_{n}B{x}_n-(p-r_{n}Bp)-(u_n-p)|{|}^2\}\\ \le \frac{1}{2}\left\{\right||u_n-p|{|}^2+\left|\right|x_n-p|{|}^2-||x_n-u_n-r_n(B{x}_n-Bp)|{|}^2\}\\ \le \frac{1}{2}\left\{\right||u_n-p|{|}^2+\left|\right|x_n-p|{|}^2-||x_n-u_n|{|}^2\\ +2r_n〈B{x}_n-Bp,x_n-u_n〉-r_n^2\left|\right|B{x}_n-Bp\left|{|}^2\right\}.\end{array}$$

Hence,

$$\begin{array}{c}\left|\right|u_n-p|{|}^2\\ \le \left|\right|x_n-p|{|}^2-||x_n-u_n|{|}^2+2r_n⟨B{x}_n-Bp,x_n-u_n⟩-r_n^2\left|\right|B{x}_n-Bp|{|}^2\\ \le \left|\right|x_n-p|{|}^2-||x_n-u_n|{|}^2+2r_n⟨B{x}_n-Bp,x_n-u_n⟩\\ \le \left|\right|x_n-p|{|}^2-||x_n-u_n|{|}^2+2r_n\left|\right|B{x}_n-Bp\left|\right|\left|\right|x_n-u_n\left|\right|.\end{array}$$

(3.16)

On the other hand, since z _n = P _C (u _n - λ _n Fu _n ), we get

$$\begin{array}{lll}\hfill \left|\right|z_n-p|{|}^2& \le \left|\right|\left(I-{\lambda }_{n}F\right)u_n-\left(I-{\lambda }_{n}F\right)p|{|}^2& \hfill \text{(1)}\\ \le \left|\right|u_n-p|{|}^2.& \hfill \text{(2)}\\ \hfill \text{(3)}\end{array}$$

(3.17)

From (3.16), (3.17), and the convexity of || ||², we obtain

$$\begin{array}{lll}\hfill \left|\right|y_n-p|{|}^2& \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+\left(1-{\alpha }_n\right)||T_n{z}_n-p|{|}^2& \hfill \text{(1) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+\left(1-{\alpha }_n\right)||z_n-p|{|}^2& \hfill \text{(2) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+\left(1-{\alpha }_n\right)||u_n-p|{|}^2& \hfill \text{(3) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(4) }\\ +\left(1-{\alpha }_n\right)\left\{\left|\right|x_n-p|{|}^2-||x_n-u_n|{|}^2+2r_n\left|\right|x_n-u_n\left|\right|\left|\right|B{x}_n-Bp\left|\right|\right\}& \hfill \text{(5) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+||x_n-p|{|}^2& \hfill \text{(6) }\\ -\left(1-{\alpha }_n\right)\left|\right|x_n-u_n|{|}^2+2\left(1-{\alpha }_n\right)r_n||x_n-u_n|\left|\right||B{x}_n-Bp||.& \hfill \text{(7) }\\ \hfill \text{(8) }\end{array}$$

(3.18)

On the another hand, we note that

$$\begin{array}{lll}\hfill \left|\right|u_n-p|{|}^2& \le \left|\right|\left(x_n-r_{n}B{x}_n\right)-\left(p-r_{n}Bp\right)|{|}^2& \hfill \text{(1)}\\ \le \left|\right|x_n-p|{|}^2-2r_n⟨x_n-p,B{x}_n-Bp⟩+r_n^2||B{x}_n-Bp|{|}^2& \hfill \text{(2)}\\ \le \left|\right|x_n-p|{|}^2-2r_n\beta ||B{x}_n-Bp|{|}^2+r_n^2\left|\right|B{x}_n-Bp|{|}^2.& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$$

(3.19)

Using the convexity of || ||², (3.2), (3.18), and (3.19), we have

$$\begin{array}{lll}\hfill \left|\right|x_{n+1}-p|{|}^2& \le \left|\right|y_n-p|{|}^2& \hfill \text{(1) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+\left(1-{\alpha }_n\right)||u_n-p|{|}^2& \hfill \text{(2) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(3) }\\ +\left(1-{\alpha }_n\right)\left\{\left|\right|x_n-p|{|}^2-2r_n\beta ||B{x}_n-Bp|{|}^2+r_n^2\left|\right|B{x}_n-Bp|{|}^2\right\}& \hfill \text{(4) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+||x_n-p|{|}^2& \hfill \text{(5) }\\ +\left(1-{\alpha }_n\right)r_n\left(r_n-2\beta \right)\left|\right|B{x}_n-Bp|{|}^2.& \hfill \text{(6) }\\ \hfill \text{(7) }\end{array}$$

(3.20)

Hence, we have

$$\begin{array}{c}\left(1-{\alpha }_n\right)c\left(2\beta -d\right)\left|\right|B{x}_n-Bp|{|}^2\\ \le \left(1-{\alpha }_n\right)r_n\left(2\beta -r_n\right)\left|\right|B{x}_n-Bp|{|}^2\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+\left(\left|\right|x_n-p|{|}^2-||x_{n+1}-p|{|}^2\right)\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+||x_n-x_{n+1}||\left(\left|\right|x_n-p\left|\right|+\left|\right|x_{n+1}-p\left|\right|\right).\end{array}$$

From the condition (C1), {r _n } ⊂ [c, d] ⊂ (0, 2β) and Step 2, it follows that

$$\underset{n\to \infty }{lim}\left|\right|B{x}_n-Bp|{|}^2=0.$$

(3.21)

Also, by (3.16) and (3.20), we have

$$\begin{array}{lll}\hfill \left|\right|x_{n+1}-p|{|}^2& \le \left|\right|y_n-p|{|}^2& \hfill \text{(1) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+\left(1-{\alpha }_n\right)||u_n-p|{|}^2& \hfill \text{(2) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(3) }\\ +\left(1-{\alpha }_n\right)\left\{\left|\right|x_n-p|{|}^2-||x_n-u_n|{|}^2+2r_n\left|\right|x_n-u_n\left|\right|\left|\right|B{x}_n-Bp\left|\right|\right\}& \hfill \text{(4) }\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+||x_n-p|{|}^2& \hfill \text{(5) }\\ -\left(1-{\alpha }_n\right)\left|\right|x_n-u_n|{|}^2+2r_n\left(1-{\alpha }_n\right)||x_n-u_n|\left|\right||B{x}_n-Bp||,& \hfill \text{(6) }\\ \hfill \text{(7) }\end{array}$$

and so

$$\begin{array}{lll}\hfill \left(1-{\alpha }_n\right)\left|\right|x_n-u_n|{|}^2& \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+||x_n-p|{|}^2& \hfill \text{(1) }\\ -\left|\right|x_{n+1}-p|{|}^2+2r_n\left(1-{\alpha }_n\right)||x_n-u_n|\left|\right||B{x}_n-Bp||& \hfill \text{(2) }\\ \le {\alpha }_n{M}_5+\left|\right|x_n-x_{n+1}\left|\right|\left(\left|\right|x_n-p\left|\right|+\left|\right|x_{n+1}-p\left|\right|\right)& \hfill \text{(3) }\\ +2r_n\left(1-{\alpha }_n\right)\left|\right|x_n-u_n\left|\right|\left|\right|B{x}_n-Bp\left|\right|,& \hfill \text{(4) }\\ \hfill \text{(5) }\end{array}$$

where $M_5=sup\left\{\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2:n\ge 1\right\}$. Since ||x_n+1- x _n || → 0, α _n → 0, and ||Bx _n - Bp|| → 0 as n → ∞, we obtain

$$\underset{n\to \infty }{lim}\left|\right|x_n-u_n\left|\right|=0.$$

(3.22)

Moreover, since lim inf_n→∞r _n > 0, we also have

$$\underset{n\to \infty }{lim}\frac{\left|\right|x_n-u_n\left|\right|}{r_n}=\underset{n\to \infty }{lim}\frac{1}{r_n}\left|\right|x_n-u_n\left|\right|=0.$$

(3.23)

Step 4: We show that lim_n→∞||x _n - T _n z _n || = 0 and lim_n-∞||x _n - y _n || = 0. Indeed, since z _n = P _C (u _n - λ _n Fu _n ) and w _n = P _C (y _n - λ _n Fy _n ), we obtain with the condition (C2)

$$\begin{array}{lll}\hfill \left|\right|x_{n+1}-y_n\left|\right|& \le {\beta }_n\left(\left|\right|T_n{z}_n-T_n{w}_n\left|\right|+\left|\right|y_n-T_n{z}_n\left|\right|\right)& \hfill \text{(1) }\\ \le a\left(\left|\right|z_n-w_n\left|\right|+\left|\right|y_n-T_n{z}_n\left|\right|\right)& \hfill \text{(2) }\\ \le a\left(\left|\right|u_n-y_n\left|\right|+\left|\right|y_n-T_n{z}_n\left|\right|\right)& \hfill \text{(3) }\\ \le a\left(\left|\right|u_n-x_n\left|\right|+\left|\right|x_n-x_{n+1}\left|\right|+\left|\right|x_{n+1}-y_n\left|\right|+\left|\right|y_n-T_n{z}_n\left|\right|\right),& \hfill \text{(4) }\\ \hfill \text{(5) }\end{array}$$

which implies that

$$\left|\right|x_{n+1}-y_n\left|\right|\le \frac{a}{1-a}\left(\left|\right|u_n-x_n\left|\right|+\left|\right|x_n-x_{n+1}\left|\right|+\left|\right|y_n-T_n{z}_n\left|\right|\right).$$

Thus, from (3.5), Step 2, and Step 3, we have

$$\left|\right|x_{n+1}-y_n\left|\right|\to 0asn\to \infty .$$

Also we have

$$\left|\right|x_n-y_n\left|\right|\le \left|\right|x_n-x_{n+1}\left|\right|+\left|\right|x_{n+1}-y_n\left|\right|\to 0asn\to \infty .$$

Since lim_n→∞||y _n - T _n z _n || = 0 by (3.5) in Step 1, we obtain

$$\left|\right|x_n-T_n{z}_n\left|\right|\le \left|\right|x_n-y_n\left|\right|+\left|\right|y_n-T_n{z}_n\left|\right|\to 0asn\to \infty .$$

Step 5: We show that lim_n→∞||T _n z _n - z _n || = 0. Let p ∈ Ω₁. Using the convexity of || ||², we compute

$$\begin{array}{lll}\hfill \left|\right|y_n-p|{|}^2& \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+\left(1-{\alpha }_n\right)||T_n{z}_n-p|{|}^2& \hfill \text{(1)}\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+\left(1-{\alpha }_n\right)||z_n-p|{|}^2& \hfill \text{(2)}\\ ={\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(3)}\\ +\left(1-{\alpha }_n\right)\left|\right|P_C\left(u_n-{\lambda }_{n}F{u}_n\right)-P_C\left(p-{\lambda }_{n}Fp\right)|{|}^2& \hfill \text{(4)}\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(5)}\\ +\left(1-{\alpha }_n\right)\left|\right|\left(u_n-p\right)-{\lambda }_n\left(F{u}_n-Fp\right)|{|}^2& \hfill \text{(6)}\\ ={\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(7)}\\ +\left(1-{\alpha }_n\right)\left\{\left|\right|u_n-p|{|}^2-2{\lambda }_n⟨u_n-p,F{u}_n-Fp⟩+{\lambda }_n^2||F{u}_n-Fp|{|}^2\right\}& \hfill \text{(8)}\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(9)}\\ +\left(1-{\alpha }_n\right)\left\{\left|\right|u_n-p|{|}^2-2{\lambda }_n\alpha ||F{u}_n-Fp|{|}^2+{\lambda }_n^2\left|\right|F{u}_n-Fp|{|}^2\right\}& \hfill \text{(10)}\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(11)}\\ +\left|\right|x_n-p|{|}^2+\left(1-{\alpha }_n\right){\lambda }_n\left({\lambda }_n-2\alpha \right)||F{u}_n-Fp|{|}^2.& \hfill \text{(12)}\\ \hfill \text{(13) }\end{array}$$

(3.24)

Using (3.24), we obtain

$$\begin{array}{lll}\hfill \left|\right|x_{n+1}-p|{|}^2& \le \left|\right|y_n-p|{|}^2& \hfill \text{(1)}\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2& \hfill \text{(2)}\\ +\left|\right|x_n-p|{|}^2+\left(1-{\alpha }_n\right){\lambda }_n\left({\lambda }_n-2\alpha \right)||F{u}_n-Fp|{|}^2.& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$$

Hence, we have

$$\begin{array}{c}\left(1-{\alpha }_n\right)a\left(2\alpha -b\right)\left|\right|F{u}_n-Fp|{|}^2\\ \le \left(1-{\alpha }_n\right){\lambda }_n\left(2\alpha -{\lambda }_n\right)\left|\right|F{u}_n-Fp|{|}^2\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2\\ +\left(\left|\right|x_n-p\left|\right|-\left|\right|x_{n+1}-p\left|\right|\right)\left(\left|\right|x_n-p\left|\right|+\left|\right|x_{n+1}-p\left|\right|\right)\\ \le {\alpha }_n{M}_5+\left|\right|x_n-x_{n+1}\left|\right|\left(\left|\right|x_n-p\left|\right|+\left|\right|x_{n+1}-p\left|\right|\right).\end{array}$$

where $M_5=sup\left\{\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2:n\ge 1\right\}$. From the condition (C1), λ _n ∈ [a, b] ⊂ (0, 2α), and Step 2, it follows that

$$\underset{n\to \infty }{lim}\left|\right|F{u}_n-Fp\left|\right|=0.$$

(3.25)

On the other hand, using z _n = P _C (u _n - λ _n Fu _n ) and (2.1), we observe that

$$\begin{array}{c}\left|\right|z_n-p|{|}^2\le 〈(u_n-{\lambda }_{n}F{u}_n)-(p-{\lambda }_{n}Fp),z_n-p〉\\ \le \frac{1}{2}\left\{\right||u_n-p|{|}^2+\left|\right|z_n-p|{|}^2-||(u_n-z_n)-{\lambda }_n(F{u}_n-Fp)|{|}^2\}\\ \le \frac{1}{2}\left\{\right||x_n-p|{|}^2+\left|\right|z_n-p|{|}^2-||u_n-z_n|{|}^2\\ +2{\lambda }_n〈u_n-z_n,F{u}_n-Fp〉-{\lambda }_n^2\left|\right|F{u}_n-Fp\left|{|}^2\right\},\end{array}$$

and so

$$\begin{array}{lll}\hfill \left|\right|z_n-p|{|}^2& \le \left|\right|x_n-p|{|}^2-||u_n-z_n|{|}^2& \hfill \text{(1)}\\ +2{\lambda }_n⟨u_n-z_n,F{u}_n-Fp⟩-{\lambda }_n^2\left|\right|F{u}_n-Fp|{|}^2& \hfill \text{(2)}\\ \hfill \text{(3)}\end{array}$$

(3.26)

Thus, from (3.26), we have

$$\begin{array}{c}\left|\right|y_n-p|{|}^2\le {\alpha }_n||u+\gamma f(x_n)+(I-\overline{A})T_n{z}_n-p|{|}^2+(1-{\alpha }_n)\left|\right|T_n{z}_n-p|{|}^2\\ \le {\alpha }_n\left|\right|u+\gamma f(x_n)+(I-\overline{A})T_n{z}_n-p|{|}^2+(1-{\alpha }_n)||z_n-p|{|}^2\\ \le {\alpha }_n\left|\right|u+\gamma f(x_n)+(I-\overline{A})T_n{z}_n-p|{|}^2\\ +(1-{\alpha }_n)\left\{\right||x_n-p|{|}^2-\left|\right|u_n-z_n|{|}^2\\ +2{\lambda }_n〈u_n-z_n,F{u}_n-Fp〉-{\lambda }_n^2\left|\right|F{u}_n-Fp\left|{|}^2\right\}\\ \le {\alpha }_n\left|\right|u+\gamma f(x_n)+(I-\overline{A})T_n{z}_n-p|{|}^2+||x_n-p|{|}^2\\ -(1-{\alpha }_n)\left|\right|u_n-z_n|{|}^2+2{\lambda }_n(1-{\alpha }_n)〈u_n-z_n,F{u}_n-Fp〉\\ -{\lambda }_n^2\left|\right|F{u}_n-Fp|{|}^2.\end{array}$$

Hence, we obtain

$$\begin{array}{lll}\hfill \left|\right|x_{n+1}-p|{|}^2& \le \left|\right|y_n-p|{|}^2& \hfill \text{(1)}\\ \le {\alpha }_n\left|\right|u+\gamma f\left(x_n\right)+\left(I-Ā\right)T_n{z}_n-p|{|}^2+||x_n-p|{|}^2& \hfill \text{(2)}\\ -\left(1-{\alpha }_n\right)\left|\right|u_n-z_n|{|}^2+2{\lambda }_n\left(1-{\alpha }_n\right)⟨u_n-z_n,F{u}_n-Fp⟩& \hfill \text{(3)}\\ -{\lambda }_n^2\left|\right|F{u}_n-Fp|{|}^2,& \hfill \text{(4)}\\ \hfill \text{(5)}\end{array}$$

(3.27)

which implies that

$$\begin{array}{c}\end{array}$$