Open Access

Fixed point solutions of generalized mixed equilibrium problems and variational inclusion problems for nonexpansive semigroups

Fixed Point Theory and Applications20142014:57

https://doi.org/10.1186/1687-1812-2014-57

Received: 3 December 2013

Accepted: 25 February 2014

Published: 5 March 2014

Abstract

In this paper, we introduce a composite iterative method for solving a common element of the set of solutions of fixed points for nonexpansive semigroups, the set of solutions of generalized mixed equilibrium problems and the set of solutions of the variational inclusion for a β-inverse strongly monotone mapping in a real Hilbert space. We prove that the sequence converges strongly to a common element of the above sets under some mild conditions. Our results improve and extend the corresponding results of Kumam and Wattanawitoon (Math. Comput. Model. 53:998-1006, 2011), Shehu (Math. Comput. Model. 55:1301-1314, 2012), Plubtieng and Punpaeng (Math. Comput. Model. 48:279-286, 2008), Li et al. (Nonlinear Anal. 70:3065-3071, 2009), Plubtieng and Wangkeeree (Bull. Korean Math. Soc. 45:717-728, 2008) and some authors.

MSC:46C05, 47H09, 47H10.

Keywords

variational inequalityinverse strongly monotone mappinggeneralized mixed equilibrium problemnonexpansive semigroup

1 Introduction

Let H be a real Hilbert space with inner product , and norm . Let C be a nonempty closed convex subset of H. Recall that a mapping T : C C is said to be nonexpansive if
T x T y x y , x , y C .

We denote by F ( T ) the set of fixed points of T. Let P C be the projection of H onto the convex subset C. Moreover, we also denote by the set of all real numbers.

A one-parameter family = { T ( t ) : 0 t < } is said to be a nonexpansive semigroup on C if it satisfies the following conditions:
  1. (1)

    T ( 0 ) x = x for all x C ;

     
  2. (2)

    T ( s + t ) = T ( s ) T ( t ) for all s , t 0 ;

     
  3. (3)

    T ( t ) x T ( t ) y x y for all x , y C and t 0 ;

     
  4. (4)

    for all x C , t T ( t ) x is continuous.

     

We denote by F ( ) the set of all common fixed points of , that is, F ( ) = { x C : T ( t ) x = x , 0 t < } . It is well known that F ( ) is closed and convex.

A mapping A of C into H is called monotone if A x A y , x y 0 for all x , y C . A mapping A is called α-inverse strongly monotone if there exists a positive real number α such that A x A y , x y α A x A y 2 for all x , y C . A mapping A is called α-strongly monotone if there exists a positive real number α such that A x A y , x y α x y 2 for all x , y C . It is obvious that any α-inverse strongly monotone mappings A is a monotone and 1 α -Lipschitz continuous mapping. A linear bounded operator A is called strongly positive if there exists a constant γ ¯ > 0 with the property A x , x γ ¯ x 2 for all x H .

Let B : H H be a single-valued nonlinear mapping and M : H 2 H be a set-valued mapping. The variational inclusion problem is to find x H such that
0 B ( x ) + M ( x ) ,
(1.1)

where 0 is the zero vector in H.

The set of solutions of (1.1) is denoted by I ( B , M ) (see [13] and the reference therein).

A set-valued mapping M : H 2 H is called monotone if for all x , y H , f M ( x ) and g M ( y ) imply x y , f g 0 . A monotone mapping M is maximal if its graph G ( M ) = { ( f , x ) H × H : f M ( x ) } of M is not properly contained in the graph of any other monotone mapping. It is well known that a monotone mapping M is maximal if and only if for ( x , f ) H × H , x y , f g 0 for all ( y , g ) G ( M ) imply f M ( x ) .

Let M : H 2 H be a set-valued maximal monotone mapping. Then the single-valued mapping J M , λ : H H defined by
J M , λ ( x ) = ( I + λ M ) 1 ( x ) , x H ,

is called the resolvent operator associated with M, where λ is any positive number and I is the identity mapping. It is well known that the resolvent operator J M , λ is nonexpansive, 1-inverse strongly monotone and that a solution of problem (1.1) is a fixed point of the operator J M , λ ( I λ B ) for all λ > 0 , where I denotes the identity operator on H (see [4]).

Peng and Yao [5] considered the following generalized mixed equilibrium problem of finding x C such that
θ ( x , y ) + φ ( y ) φ ( x ) + F x , y x 0 , y C ,
(1.2)

where F : C H is a nonlinear mapping, φ : C R is a function and θ : C × C R is a bifunction. The set of solutions of problem (1.2) is denoted by G M E P .

In the case of F = 0 , problem (1.2) reduces to the following mixed equilibrium problem of finding x C such that
θ ( x , y ) + φ ( y ) φ ( x ) 0 , y C ,

which was considered by Ceng and Yao [6]. G M E P is denoted by M E P .

In the case of φ = 0 , problem (1.2) reduces to the following generalized equilibrium problem of finding x C such that
θ ( x , y ) + F x , y x 0 , y C ,

which was studied by Takahashi and Takahashi [7].

In the case of φ = 0 and F = 0 , problem (1.2) reduces to the equilibrium problem of finding x C such that
θ ( x , y ) 0 , y C .
(1.3)

The set of solution of (1.3) is denoted by E P ( θ ) .

In the case θ = 0 and φ = 0 , problem (1.2) reduces to the classical variational inequality of finding x C such that
F x , y x 0 , y C .
(1.4)

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

The problem (1.2) is very general in the sense that it includes, as special cases, optimization problem, variational inequalities, minimax problems, the Nash equilibrium problem in noncooperative games and others (see [6, 810]).

Peng and Yao [5] considered iterative methods for finding a common element of the set of solutions of problem (1.2), the set of solutions of problem (1.4), and the set of fixed points of a nonexpansive mapping.

Let G 1 , G 2 : C × C R be two bifunctions, ϕ , ψ : C R be two functions and B 1 , B 2 : C H be two nonlinear mappings. We consider the generalized mixed equilibria problem of finding ( x ¯ , y ¯ ) C × C such that
{ G 1 ( x ¯ , x ) + ϕ ( x ) ϕ ( x ¯ ) + B 1 y ¯ , x x ¯ + 1 μ 1 x ¯ y ¯ , x x ¯ 0 , x C , G 2 ( y ¯ , y ) + ψ ( y ) ψ ( y ¯ ) + B 2 x ¯ , y y ¯ + 1 μ 2 y ¯ x ¯ , y y ¯ 0 , y C ,
(1.5)

where μ 1 > 0 and μ 2 > 0 are two constants.

In the case ϕ = ψ = 0 , problem (1.5) reduces to the following problem of the general system of generalized equilibria of finding ( x ¯ , y ¯ ) C × C such that
{ G 1 ( x ¯ , x ) + B 1 y ¯ , x x ¯ + 1 μ 1 x ¯ y ¯ , x x ¯ 0 , x C , G 2 ( y ¯ , y ) + B 2 x ¯ , y y ¯ + 1 μ 2 y ¯ x ¯ , y y ¯ 0 , y C ,
(1.6)

which was considered by Ceng and Yao [9].

In the case G 1 = G 2 = 0 , problem (1.6) reduces to the following problem of the general system of variational inequalities of finding ( x ¯ , y ¯ ) C × C such that
{ μ 1 B 1 y ¯ + x ¯ y ¯ , x x ¯ 0 , x C , μ 2 B 2 x ¯ + y ¯ x ¯ , y y ¯ 0 , y C ,
(1.7)

which was considered by Ceng, Wang and Yao [11].

In particular, if B 1 = B 2 = D : C H is a nonlinear mapping, then problem (1.7) reduces to the following problem of the system of variational inequalities of finding ( x ¯ , y ¯ ) C × C such that
{ μ 1 D y ¯ + x ¯ y ¯ , x x ¯ 0 , x C , μ 2 D x ¯ + y ¯ x ¯ , y y ¯ 0 , y C ,
(1.8)

which was studied by Verma [12].

If x ¯ = y ¯ in (1.8), then (1.8) reduces to the classical variational inequality (1.4).

For solving the mixed equilibrium problem, let us give the following assumptions for the bifunction θ, φ and the set C:

(H1) θ ( x , y ) = 0 for all x C ;

(H2) θ is monotone, i.e., θ ( x , y ) + θ ( y , x ) 0 for all x , y C ;

(H3) for each x , y , z C
lim sup t 0 θ ( t z + ( 1 t ) x , y ) θ ( x , y ) ;

(H4) for each x C , y θ ( x , y ) is convex and lower semicontinuous;

(A1) for each x H and r > 0 , there exist a bounded subset D C and y C such that for any z C D
θ ( z , y ) + φ ( y ) φ ( z ) + 1 r y z , z x < 0 ;

(A2) C is a bounded set.

Recently, Shehu [13] studied the problem of finding a common element of the set of common fixed points of a one-parameter nonexpansive semigroup, the set of solutions to a variational inclusion, and the set of solutions to a generalized equilibrium problem. More precisely, the author proved the following theorem.

Theorem 1.1 Let C be a nonempty closed and convex subset of a real Hilbert space H. Let θ be a bifunction from C × C to satisfying (H1)-(H4), ψ a μ-inverse strongly monotone mapping of C into H, B an α-inverse strongly monotone mapping of C into H and M : H 2 H a maximal monotone mapping. Let = { T ( u ) : 0 u < } be a one-parameter nonexpansive semigroup on H such that F = F ( ) I ( B , M ) E P ( θ ) ϕ and suppose f : H H is a contraction mapping with a constant γ ( 0 , 1 ) . Let { t n } ( 0 , ) be a real sequence such that lim n t n = . Suppose { x n } n = 1 and { u n } n = 1 are generated by x 1 H ,
θ ( u n , y ) + ψ x n , y u n + 1 r n y u n , u n x n 0 , y C , x n + 1 = β n x n + ( 1 β n ) ( 1 t n 0 t n T ( u ) [ α n f ( x n ) + ( 1 α n ) J M , λ ( u n λ A u n ) ] d u )
for all n 1 , where { α n } n = 1 and { β n } n = 1 are sequences in ( 0 , 1 ) and { r n } n = 1 ( 0 , ) satisfying:
  1. (i)

    lim n β n = 0 , n = 1 | β n + 1 β n | < ,

     
  2. (ii)

    lim n α n = 0 , n = 1 α n = , n = 1 | α n + 1 α n | < ,

     
  3. (iii)

    λ ( 0 , 2 α ] ,

     
  4. (iv)

    0 < a r n b < 2 μ , n = 1 | r n + 1 r n | < ,

     
  5. (v)

    lim n | t n t n 1 | t n 1 α n ( 1 β n ) = 0 .

     

Then { x n } n = 1 converges strongly to z, where z = P F f ( z ) .

In this paper, motivated by Shehu [13], Kumam and Wattanawitoon [14], Li et al. [15], Plubtieng and Punpaeng [10], Plubtieng and Wangkeeree [16], we introduce the following general iterative scheme for finding a common element of the set of common fixed points of a one-parameter nonexpansive semigroup, the set of solutions of the generalized mixed equilibrium problem (1.2), the set of solutions to a variational inclusion (1.1), and the set of solutions of the generalized mixed equilibria problem (1.5), which solves the variational inequality
( A γ f ) x , x x 0 , x F ,

where F = F ( ) G M E P Ω I ( B , M ) and Ω is the set of solutions of the generalized equilibria problem (1.5).

The results obtained in this paper improve and extend the recent results announced by [10, 1316] and many others.

2 Preliminaries

Let C be a nonempty closed convex subset of a real Hilbert space H. For every point x H there exists a unique nearest point of C, denoted by P C x such that x P C x x y for all y C . Such a 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, i.e.,
x y , P C x P C y P C x P C y 2 , x , y H .
Further, for any x H and z C , z = P C x if and only if
x z , z y 0 , y C .
It is also known that H satisfies Opial’s condition [17], that is, if for each sequence { x n } n = 1 in H which converges weakly to a point x H , we have
lim inf n x n x < lim inf n x n y , y H , y x .

In order to prove our main results in the next section, we need the following lemmas.

Lemma 2.1 ([6])

Let C be a nonempty closed convex subset of H. Let θ : C × C R be a bifunction satisfying conditions (H1)-(H4) and let φ : C R be a lower semicontinuous and convex function. For r > 0 and x H define a mapping
T r ( θ , φ ) ( x ) = { z C : θ ( z , y ) + φ ( y ) φ ( z ) + 1 r y z , z x 0 , y C }

for all x H . Assume that either (A1) or (A2) holds.

Then the following results hold:
  1. (i)

    T r ( θ , φ ) ( x ) ϕ for each x H and T r ( θ , φ ) is single-valued;

     
  2. (ii)
    T r ( θ , φ ) is firmly nonexpansive, i.e., for any x , y H
    T r ( θ , φ ) x T r ( θ , φ ) y 2 T r ( θ , φ ) x T r ( θ , φ ) y , x y ;
     
  3. (iii)

    F ( T r ( θ , φ ) ) = M E P ( θ , φ ) ;

     
  4. (iv)

    M E P ( θ , φ ) is closed and convex.

     

By similar argument as in the proof of Lemma 2.2 in [6], we have the following result.

Lemma 2.2 Let C be a nonempty closed convex subset of H. Let G 1 , G 2 : C × C R be two bifunctions satisfying conditions (H1)-(H4). Let ϕ , ψ : C R be two lower semicontinuous and convex functions with restriction (A1) or (A2) and let the mappings B 1 , B 2 : C H be β 1 -inverse strongly monotone and β 2 -inverse strongly monotone, respectively. Let μ 1 ( 0 , 2 β 1 ) and μ 2 ( 0 , 2 β 2 ) . Then for given x ¯ , y ¯ C , ( x ¯ , y ¯ ) is a solution of problem (1.5) if and only if x ¯ is a fixed point of the mapping Γ : C C defined by
Γ ( x ) = T μ 1 ( G 1 , ϕ ) [ T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) μ 1 B 1 T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) ] , x C ,

where y ¯ = T μ 2 ( G 2 , ψ ) ( x ¯ μ 2 B 2 x ¯ ) .

Remark 2.1 Under the conditions of Lemma 2.2, the set of fixed points of the mapping Γ is denoted by Ω.

Proposition 2.1 ([7])

Let C, H, θ, φ and T r ( θ , φ ) be as in Lemma 2.1. Then the following holds:
T s ( θ , φ ) x T t ( θ , φ ) x 2 s t s T s ( θ , φ ) x T t ( θ , φ ) x , T s ( θ , φ ) x x

for all s , t > 0 and x H .

Lemma 2.3 ([18])

Assume that T is a nonexpansive self-mapping of a nonempty closed convex subset of C of a real Hilbert space H. If T has a fixed point, then I T is demiclosed, that is, when { x n } n = 1 is a sequence in C converging weakly to some x C and the sequence { ( I T ) x n } n = 1 converges strongly to some y, it follows that ( I T ) x = y .

Lemma 2.4 ([4])

Let M : H 2 H be a maximal monotone mapping and let B : H H be a monotone and Lipschitz continuous mapping. Then the mapping M + B : H 2 H is a maximal monotone mapping.

Lemma 2.5 ([19])

Let C be a nonempty bounded closed convex subset of a Hilbert space H and let = { T ( s ) : 0 s < } be a nonexpansive semigroup on C. Then for any h 0 ,
lim t sup x C 1 t 0 t T ( s ) x d s T ( h ) ( 1 t 0 t T ( s ) x d s ) = 0 .

Lemma 2.6 ([12])

Let { a n } n = 1 be a sequence of nonnegative real numbers such that
a n + 1 ( 1 δ n ) a n + b n + σ n , n N ,
where { δ n } n = 1 ( 0 , 1 ) and { b n } n = 1 , { σ n } n = 1 are sequences in such that
  1. (i)

    lim n δ n = 0 , n = 1 δ n = ;

     
  2. (ii)

    lim sup n b n δ n 0 ;

     
  3. (iii)

    σ n 0 , n = 1 σ n < .

     

Then lim n a n = 0 .

Lemma 2.7 ([19])

Assume that A is a strongly positive linear bounded operator on a Hilbert space H with coefficient γ ¯ > 0 and 0 < ρ A 1 . Then I ρ A 1 ρ γ ¯ .

3 Main results

Now we state and prove our main results.

Theorem 3.1 Let C be a nonempty closed convex subset of a real Hilbert space H. Let θ , G 1 , G 2 : C × C R be three bifunctions which satisfy assumptions (H1)-(H4) and φ , ϕ , ψ : C R be three lower semicontinuous and convex functions with restriction (A1) or (A2). Let F , B , B 1 , B 2 : C H be ζ-inverse strongly monotone, β-inverse strongly monotone, β 1 -inverse strongly monotone and β 2 -inverse strongly monotone, respectively and M : H 2 H be a maximal monotone mapping. Let = { T ( u ) : 0 u < } be a one-parameter nonexpansive semigroup on H such that F = F ( ) G M E P Ω I ( B , M ) ϕ . Let { t n } ( 0 , ) be a real sequence such that lim n t n = . Let f be a contraction from C into itself with a constant α ( 0 < α < 1 ) and let A be a strongly positive linear bounded operator with coefficient γ ¯ > 0 such that A 1 . Assume that 0 < γ < γ ¯ α ( 1 α n γ ¯ ) . Let x 1 C and let { x n } be a sequence defined by
{ z n = T δ n ( θ , φ ) ( x n δ n F x n ) , y n = T μ 1 ( G 1 , ϕ 1 ) [ T μ 2 ( G 2 , ψ ) ( z n μ 2 B 2 z n ) μ 1 B 1 T μ 2 ( G 2 , ψ ) ( z n μ 2 B 2 z n ) ] , x n + 1 = α n γ f ( x n ) + β n x n x n + 1 = + ( ( 1 β n ) I α n A ) [ 1 t n 0 t n T ( u ) ( J M , λ ( y n λ B y n ) ) d u ] , n 1 ,
(3.1)

where α n ( 0 , 1 ) , μ 1 ( 0 , 2 β 1 ] , μ 2 ( 0 , 2 β 2 ] , λ ( 0 , 2 β ] , δ n ( 0 , 2 ζ ] satisfy the following conditions:

(C1) lim n α n = 0 , n = 1 α n = and n = 1 | α n + 1 α n | < ;

(C2) n = 1 β n < and n = 1 | β n + 1 β n | < ;

(C3) lim inf n δ n > 0 and n = 1 | δ n + 1 δ n | < ;

(C4) lim n | t n t n 1 | t n 1 α n = 0 .

Then { x n } converges strongly to x = P F ( γ f + ( I A ) ) ( x ) , which solves the following variational inequality:
( A γ f ) x , x x 0 , x F ,

and ( x , y ) is a solution of problem (1.5), where y = T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) .

Proof Since F is a ζ-inverse strongly monotone mapping, we have
( I δ n F ) x ( I δ n F ) y 2 = x y 2 2 δ n x y , F x F y + δ n 2 F x F y 2 x y 2 + δ n ( δ n 2 ζ ) F x F y 2 .
(3.2)
In similar way, we can obtain
( I λ B ) x ( I λ B ) y x y 2 + λ ( λ 2 β ) B x B y 2 , ( I μ 1 B 1 ) x ( I μ 1 B 1 ) y x y 2 + μ 1 ( μ 1 2 β 1 ) B 1 x B 1 y 2 , ( I μ 2 B 2 ) x ( I μ 2 B 2 ) y x y 2 + μ 2 ( μ 2 2 β 2 ) B 2 x B 2 y 2 .
(3.3)
Noticing that lim n α n = 0 = lim n β n , we may assume, with no loss of generality, that α n 1 β n < A 1 for all n 1 . From Lemma 2.7 we know that if 0 ρ A 1 , then I ρ A 1 ρ γ ¯ . Since A is a strongly positive bounded linear operator on H, we have
A = sup { | A x , x | : x H , x = 1 } .
Observe that
( ( 1 β n ) I α n A ) x , x = 1 β n α n A x , x 1 β n α n A 0 .
This shows that ( 1 β n ) I α n A is positive. It follows that
( 1 β n ) I α n A = sup { ( ( 1 β n ) I α n A ) x , x : x H , x = 1 } = sup { 1 β n α n A x , x : x H , x = 1 } 1 β n α n γ ¯ .

We divide the proof into several steps.

Step 1. { x n } is bounded.

Indeed, take p F arbitrarily. Since p = T δ n ( θ , φ ) ( p δ n F p ) , F is ζ-inverse strongly monotone and 0 < δ n 2 ζ , we obtain for any n 1
z n p 2 = T δ n ( θ , φ ) ( x n δ n F x n ) T δ n ( θ , φ ) ( p δ n F p ) 2 ( x n p ) δ n ( F x n F p ) 2 = x n p p 2 δ n x n p , F x n F p + δ n 2 F x n F p 2 x n p 2 + δ n ( δ n 2 ζ ) F x n F p 2 x n p 2 .
(3.4)
Putting u n = T μ 2 ( G 2 , ψ ) ( z n μ 2 B 2 z n ) , w n = J M , λ ( y n λ B y n ) , and u = T μ 2 ( G 2 , ψ ) ( p μ 2 B 2 p ) , we have
u n u 2 = T μ 2 ( G 2 , ψ ) ( z n μ 2 B 2 z n ) T μ 2 ( G 2 , μ ) ( p μ 2 B 2 p ) 2 ( z n p ) μ 2 ( B 2 z n B 2 p ) 2 = z n p 2 2 μ 2 z n p , B 2 z n B 2 p + μ 2 2 B 2 z n B 2 p 2 z n p 2 + μ 2 ( μ 2 2 β 2 ) B 2 z n B 2 p 2 z n p 2
(3.5)
and
w n p 2 = J M , λ ( y n λ B y n ) J M , λ ( p λ B p ) 2 ( y n p ) λ ( B y n B p ) 2 = y n p 2 2 λ y n p , B y n B p + λ 2 B y n B p 2 y n p 2 + λ ( λ 2 β ) B y n B p 2 y n p 2 .
(3.6)
And since
p = T μ 1 ( G 1 , ϕ ) [ T μ 2 ( G 2 , ψ ) ( p μ 2 B 2 p ) μ 1 B 1 T μ 2 ( G 2 , ψ ) ( p μ 2 B 2 p ) ] = T μ 1 ( G 1 , ϕ ) ( u μ 1 B 1 u ) ,
we know that for any n 1
y n p 2 = T μ 1 ( G 1 , ϕ ) ( u n μ 1 B 1 u n ) T μ 1 ( G 1 , ϕ ) ( u μ 1 B 1 u ) 2 ( u n u ) μ 1 ( B 1 u n B 1 u ) 2 = u n u 2 2 μ 1 u n u , B 1 u n B 1 u + μ 1 2 B 1 u n B 1 u 2 u n u 2 + μ 1 ( μ 1 2 β 1 ) B 1 u n B 1 u 2 u n u 2 z n p 2 .
(3.7)
Since A is a strongly positive linear bounded operator with coefficient γ ¯ > 0 , we have
x n + 1 p = α n ( γ f ( x n ) A p ) + β n ( x n p ) + ( ( 1 β n ) I α n A ) 1 t n 0 t n [ T ( u ) w n T ( u ) p ] d u α n γ f ( x n ) A p + β n x n p + ( 1 β n α n γ ¯ ) w n p α n γ f ( x n ) f ( p ) + α n γ f ( p ) A p + β n x n p + ( 1 β n α n γ ¯ ) x n p [ 1 α n ( γ ¯ γ α ) ] x n p + α n γ f ( p ) A p .
By induction, we obtain for all n 1
x n p max { x 1 p , 1 γ ¯ γ α γ f ( p ) A p } .

Hence { x n } n = 1 is bounded. So are { y n } n = 1 , { z n } n = 1 , { w n } n = 1 .

Step 2. We show that lim n x n + 1 x n = 0 .

We estimate y n + 1 y n . From (3.1), we have
y n + 1 y n 2 = T μ 1 ( G 1 , ϕ ) ( u n + 1 μ 1 B 1 u n + 1 ) T μ 1 ( G 1 , ϕ ) ( u n μ 1 B 1 u n ) 2 ( u n + 1 u n ) μ 1 ( B 1 u n + 1 B 1 u n ) 2 u n + 1 u n 2 + μ 1 ( μ 1 2 β 1 ) B 1 u n + 1 B 1 u n 2 u n + 1 u n 2 = T μ 2 ( G 2 , ψ ) ( z n + 1 μ 2 B 2 z n + 1 ) T μ 2 ( G 2 , ψ ) ( z n μ 2 B 2 z n ) 2 ( z n + 1 z n ) μ 2 ( B 2 z n + 1 B 2 z n ) 2 z n + 1 z n 2 + μ 2 ( μ 2 2 β 2 ) B 2 z n + 1 B 2 z n 2 z n + 1 z n 2 , ( x n + 1 δ n + 1 F x n + 1 ) ( x n δ n F x n ) = x n + 1 x n δ n + 1 ( F x n + 1 F x n ) + ( δ n δ n + 1 ) F x n x n + 1 x n δ n + 1 ( F x n + 1 F x n ) + | δ n δ n + 1 | F x n x n + 1 x n + | δ n δ n + 1 | F x n
(3.8)
and
z n + 1 z n = T δ n + 1 ( θ , φ ) ( x n + 1 δ n + 1 F x n + 1 ) T δ n ( θ , φ ) ( x n δ n F x n ) T δ n + 1 ( θ , φ ) ( x n + 1 δ n + 1 F x n + 1 ) T δ n + 1 ( θ , φ ) ( x n δ n F x n ) + T δ n + 1 ( θ , φ ) ( x n δ n F x n ) T δ n ( θ , φ ) ( x n δ n F x n ) ( x n + 1 δ n + 1 F x n + 1 ) ( x n δ n F x n ) + T δ n + 1 ( θ , φ ) ( x n δ n F x n ) T δ n ( θ , φ ) ( x n δ n F x n ) x n + 1 x n + | δ n + 1 δ n | F x n + T δ n + 1 ( θ , φ ) ( x n δ n F x n ) T δ n ( θ , φ ) ( x n δ n F x n ) .
(3.9)
Without loss of generality, let us assume that there exists a real number a such that δ n > a > 0 for all n. Utilizing Proposition 2.1 we have
T δ n + 1 ( θ , φ ) ( x n δ n F x n ) T δ n ( θ , φ ) ( x n δ n F x n ) | δ n + 1 δ n | δ n + 1 T δ n + 1 ( θ , φ ) ( I δ n F ) x n x n | δ n + 1 δ n | a T δ n + 1 ( θ , φ ) ( I δ n F ) x n x n .
(3.10)
It follows from (3.8)-(3.10) that
w n + 1 w n = J M , λ ( y n + 1 λ B u n + 1 ) J M , λ ( y n λ B y n ) ( y n + 1 λ B y n + 1 ) ( y n λ B y n ) y n + 1 y n
(3.11)
and
y n + 1 y n z n + 1 z n x n + 1 x n + | δ n + 1 δ n | F x n + | δ n + 1 δ n | a T δ n + 1 ( θ , φ ) ( I δ n F ) x n x n .
(3.12)
Put h n = 1 t n 0 t n T ( u ) w n d u for all n 1 . We note that
h n h n 1 = 1 t n 0 t n T ( u ) w n d u 1 t n 1 0 t n 1 T ( u ) w n 1 d u 1 t n 0 t n [ T ( u ) w n T ( u ) w n 1 ] d u + | 1 t n 1 t n 1 | 0 t n 1 [ T ( u ) w n 1 T ( u ) p ] d u + 1 t n t n 1 t n [ T ( u ) w n 1 T ( u ) p ] d u y n y n 1 + 2 | t n t n 1 | t n y n 1 p .
(3.13)
Using (3.12) and (3.13) we get
x n + 1 x n = [ α n γ f ( x n ) + β n x n + ( ( 1 β n ) I α n A ) h n ] [ α n 1 γ f ( x n 1 ) + β n 1 x n 1 + ( ( 1 β n 1 ) I α n 1 A ) h n 1 ] α n γ α x n x n 1 + γ | α n α n 1 | f ( x n 1 ) + β n x n x n 1 + | β n β n 1 | x n 1 + ( 1 α n γ ¯ ) h n h n 1 + | α n α n 1 | A h n 1 + | β n β n 1 | h n h n 1 α n γ α x n x n 1 + γ | α n α n 1 | f ( x n 1 ) + β n x n x n 1 + | β n β n 1 | x n 1 + ( 1 α n γ ¯ ) [ y n y n 1 + 2 | t n t n 1 | t n y n 1 p ] + | α n α n 1 | A h n 1 + | β n β n 1 | [ y n y n 1 + 2 | t n t n 1 | t n y n 1 p ] α n γ α x n x n 1 + γ | α n α n 1 | f ( x n 1 ) + β n x n x n 1 + | β n β n 1 | x n 1 + ( 1 α n γ ¯ ) [ x n x n 1 + | δ n δ n 1 | F x n 1 + | δ n δ n 1 | a T δ n ( θ , φ ) ( I δ n 1 F ) x n 1 x n 1 ] + ( 1 α n γ ¯ ) 2 | t n t n 1 | t n y n 1 p + | α n α n 1 | A h n 1 + | β n β n 1 | [ x n x n 1 + | δ n δ n 1 | F x n 1 + | δ n δ n 1 | a T δ n ( θ , φ ) ( I δ n 1 F ) x n 1 x n 1 ] + | β n β n 1 | 2 | t n t n 1 | t n y n 1 p [ 1 ( γ ¯ γ α ) α n ] x n x n 1 + 4 | t n t n 1 | t n y n 1 p + | α n α n 1 | ( γ f ( x n 1 ) + A h n 1 ) + β n [ x n + x n 1 ] + | β n β n 1 | [ x n + 2 x n 1 ] + 2 | δ n δ n 1 | [ F x n 1 + 1 a T δ n ( θ , φ ) ( I δ n 1 F ) x n 1 x n 1 ] = [ 1 ( γ ¯ γ α ) α n ] x n x n 1 + D [ 4 | t n t n 1 | t n + | α n α n 1 | + β n + | β n β n 1 | + 2 | δ n δ n 1 | ] ,

where D = max{ 3 sup n 1 x n , sup n 1 ( γ f ( x n ) + A h n ) , sup n 1 ( F x n + 1 a T δ n ( θ , φ ) ( I δ n F ) x n x n ) , sup n 1 y n p }. From Lemma 2.6, taking δ n = ( γ ¯ γ α ) α n , b n = 4 | t n t n 1 | t n D , σ n = D ( | α n α n 1 | + β n + | β n β n 1 | + 2 | δ n δ n 1 | ) , it follows that lim n x n + 1 x n = 0 .

Step 3. lim n F x n F p = 0 , lim n B 1 u n B 1 u = 0 , lim n B 2 z n B 2 p = 0 and lim n B y n B p = 0 .

Indeed, from (3.1), (3.4), (3.5), and (3.7) we get
x n + 1 p 2 = α n ( γ f ( x n ) A p ) + β n ( x n p ) + ( ( 1 β n ) I α n A ) 1 t n 0 t n [ T ( u ) ( J M , λ ( y n λ B y n ) ) T ( u ) ( J M , λ ( p λ B p ) ) ] d u 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) y n p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) [ u n u 2 + μ 1 ( μ 1 2 β 1 ) B 1 u n B 1 u 2 ] α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) [ z n p 2 + μ 2 ( μ 2 2 β 2 ) B 2 z n B 2 p 2 + μ 1 ( μ 1 2 β 1 ) B 1 u n B 1 u 2 ] α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) [ x n p 2 + δ n ( δ n 2 ζ ) F x n F p 2 + μ 2 ( μ 2 2 β 2 ) B 2 z n B 2 p 2 + μ 1 ( μ 1 2 β 1 ) B 1 u n B 1 u 2 ] .
Therefore
δ n ( 2 ζ δ n ) F x n F p 2 + μ 2 ( 2 β 2 μ 2 ) B 2 z n B 2 p 2 + μ 1 ( 2 β 1 μ 1 ) B 1 u n B 1 u 2 α n γ f ( x n ) A p 2 + x n p 2 x n + 1 p 2 α n γ f ( x n ) A p 2 + ( x n p + x n + 1 p ) x n x n + 1 .
Since α n 0 and x n x n + 1 0 as n , we have lim n F x n F p = 0 , lim n B 2 z n B 2 p = 0 and lim n B 1 u n B 1 u = 0 . Similarly, from (3.4), (3.6), and (3.7) we have
x n + 1 p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) w n p 2 α n γ f ( x n ) A p 2 + ( 1 α n γ ¯ ) x n p 2 + λ ( λ 2 β ) B y n B p 2 ,
which implies that
λ ( 2 β λ ) B y n B p 2 α n γ f ( x n ) A p 2 + ( x n p + x n + 1 p ) x n x n + 1 .

We also have lim n B y n B p = 0 .

Step 4. We claim that lim n x n y n = 0 , lim n x n z n = 0 and lim n w n y n = 0 .

Indeed, from Lemma 2.1, (3.4), (3.5), and (3.7) we have
u n u 2 = T μ 2 ( G 2 , ψ ) ( z n μ 2 B 2 z n ) T μ 2 ( G 2 , ψ ) ( p μ 2 B 2 p ) 2 ( z n μ 2 B 2 z n ) ( p μ 2 B 2 p ) , u n u = 1 2 [ ( z n μ 2 B 2 z n ) ( p μ 2 B 2 p ) 2 + u n u 2 ( z n μ 2 B 2 z n ) ( p μ 2 B 2 z n ) ( u n u ) 2 ] 1 2 [ x n p 2 + u n u 2 ( z n u n ) ( p u ) 2 + 2 μ 2 ( z n u n ) ( p u ) , B 2 z n B 2 p μ 2 2 B 2 z n B 2 p 2 ]
and
y n p 2 = T μ 1 ( G 1 , ϕ ) ( u n μ 1 B 1 u n ) T μ 1 ( G 1 , ϕ ) ( u μ 1 B 1 u ) ( u n μ B 1 u n ) ( u μ 1 B 1 u ) , y n p = 1 2 [ ( u n μ 1 B 1 u n ) ( u μ 1 B 1 u ) 2 + y n p 2 ( u n μ 1 B 1 u n ) ( u μ 1 B 1 u ) ( y n p ) 2 ] 1 2 [ u n u 2 + y n p 2 ( u n y n ) + ( p u ) 2 + 2 μ 1 B 1 u n B 1 u , ( u n y n ) + ( p u ) μ 1 2 B 1 u n B 1 u 2 ] 1 2 [ x n p 2 + y n p 2 ( u n y n ) + ( p u ) 2 + 2 μ 1 B 1 u n B 1 u , ( u n y n ) + ( p u ) ] ,
which imply that
u n u 2 x n p 2 ( z n u n ) ( p u ) 2 + 2 μ 2 ( z n u n ) ( p u ) , B 2 z n B 2 p μ 1 2 B 2 z n B 2 p 2
(3.14)
and
y n p 2 x n p 2 ( u n y n ) + ( p u ) 2 + 2 μ 1 B 1 u n B 1 u ( u n y n ) + ( p u ) .
(3.15)
It follows from (3.15) that
x n + 1 p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) y n p 2 α n γ f ( x n ) A p 2 + ( 1 α n γ ¯ ) x n p 2 ( 1 β n α n γ ¯ ) ( u n y n ) + ( p u ) 2 + 2 μ 1 ( 1 β n α n γ ¯ ) B 1 u n B 1 u ( u n y n ) + ( p u ) ,
which gives
( 1 β n α n γ ¯ ) ( u n y n ) + ( p u ) 2 α n γ f ( x n ) A p 2 + ( x n p + x n + 1 p ) x n x n + 1 + 2 μ 1 ( 1 β n α n γ ¯ ) B 1 u n B 1 u ( u n y n ) + ( p u ) .
Since α n 0 , x n + 1 x n 0 and B 1 u n B 1 u 0 as n , we have
lim n ( u n y n ) + ( p u ) = 0 .
(3.16)
Also, from (3.14) we have
x n + 1 p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) y n p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) u n u 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) [ x n p 2 ( z n u n ) ( p u ) 2 + 2 μ 2 ( z n u n ) ( p u ) , B 2 z n B 2 p ] .
So, we have
( 1 β n α n γ ¯ ) ( z n u n ) ( p u ) 2 α n γ f ( x n ) A p 2 + ( x n p + x n + 1 p ) x n x n + 1 + 2 μ 2 ( z n u n ) ( p u ) B 2 z n B 2 p .
Note that B 2 z n B 2 p 0 as n . Then we have
lim n ( z n u n ) ( p u ) = 0 .
(3.17)
In addition, from the firm nonexpansivity of T δ n ( θ , φ ) , we obtain
z n p 2 = T δ n ( θ , φ ) ( x n δ n F x n ) T δ n ( θ , φ ) ( p δ n F p ) 2 ( x n δ n F x n ) ( p δ n F p ) , z n p = 1 2 [ ( x n δ n F x n ) ( p δ n F p ) 2 + z n p 2 ( x n δ n F x n ) ( p δ n F p ) ( z n p ) 2 ] 1 2 [ x n p 2 + z n p 2 x n z n δ n ( F x n F p ) 2 ] = 1 2 [ x n p 2 + z n p 2 x n z n 2 + 2 δ n F x n F p , x n z n δ n 2 F x n F p 2 ] ,
which implies that
z n p 2 x n p 2 x n z n 2 + 2 δ n F x n F p , x n z n x n p 2 x n z n 2 + 2 δ n F x n F p x n z n .
(3.18)
From (3.7) and (3.18), we have
x n + 1 p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) y n p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) z n p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) [ x n p 2 x n z n 2 + 2 δ n F x n F p x n z n ] .
It follows that
( 1 β n α n γ ¯ ) x n z n 2 α n γ f ( x n ) A p 2 + ( x n p + x n + 1 p ) x n x n + 1 + 2 ( 1 β n α n γ ¯ ) δ n F x n F p x n z n .
Since F x n F p 0 as n , we obtain
lim n x n z n = 0 .
(3.19)
Thus, from (3.16), (3.17), and (3.19) we obtain
lim n z n y n = lim n ( z n u n ) ( p u ) + ( u n y n ) + ( p u ) lim n ( z n u n ) ( p u ) + lim n ( u n y n ) + ( p u ) = 0
and
lim n x n y n lim n x n z n + lim n z n y n = 0 .
Since J M , λ is 1-inverse strongly monotone, we have
w n p 2 = J M , λ ( y n λ B y n ) J M , λ ( p λ B p ) 2 ( y n λ B y n ) ( p λ B p ) , w n p = 1 2 [ ( y n λ B y n ) ( p λ B p ) 2 + w n p 2 ( y n λ B y n ) ( p λ B p ) ( w n p ) 2 ] 1 2 ( y n p 2 + w n p 2 ( y n w n ) λ ( B y n B p ) 2 ) 1 2 ( y n p 2 + w n p 2 y n w n 2 + 2 λ y n w n , B y n B p λ 2 B y n B p 2 ) ,
which implies that
w n p 2 y n p 2 y n w n 2 + 2 λ y n w n B y n B p .
(3.20)
Substituting (3.15) into (3.20), we have
w n p 2 x n p 2 ( u n y n ) + ( p u ) 2 + 2 μ 1 B 1 u n B 1 u ( u n y n ) + ( p u ) y n w n 2 + 2 λ y n w n B y n B p .
(3.21)
It follows from (3.21) that
x n + 1 p 2 α n γ f ( x n ) A p 2 + β n x n p 2 + ( 1 β n α n γ ¯ ) w n p 2 α n γ f ( x n ) A p 2 + ( 1 α n γ ¯ ) x n p 2 ( 1 β n α n γ ¯ ) ( u n y n ) + ( p u ) 2 + 2 μ 1 ( 1 β n α n γ ¯ ) B 1 u n B 1 u ( u n y n ) + ( p u ) ( 1 β n α n γ ¯ ) y n w n 2 + 2 λ ( 1 β n α n γ ¯ ) y n w n B y n B p ,
which gives
( 1 β n α n γ ¯ ) y n w n 2 α n γ f ( x n ) A p 2 + x n x n + 1 ( x n p + x n + 1 p ) ( 1 β n α n γ ¯ ) ( u n y n ) + ( p u ) 2 + 2 μ 1 ( 1 β n α n γ ¯ ) B 1 u n B 1 u ( u n y n ) + ( p u ) + 2 λ ( 1 β n α n γ ¯ ) y n w n B y n B p .

Since α n 0 , x n + 1 x n 0 , ( u n y n ) + ( p u ) 0 , B y n B p 0 as n , we have lim n y n w n = 0 .

Step 5. We show lim n T ( u ) y n y n = 0 .

Denote h n = 1 t n 0 t n T ( u ) w n d u . From (3.1), lim n α n = 0 , and lim n β n = 0 we have
x n + 1 h n = α n γ f ( x n ) + β n x n + ( ( 1 β n ) I α n A ) h n h n α n γ f ( x n ) A h n + β n x n h n 0 as  n .
(3.22)
Let K = { w C : w p 1 γ ¯ γ α γ f ( p ) A p } . Then K is a nonempty bounded closed convex subset of C which is T ( u ) -invariant for each u [ 0 , ) and contains { x n } . It follows from Lemma 2.5 that
lim n h n T ( u ) h n = 0 , u 0
(3.23)
and from (3.22) and (3.23), we have
x n + 1 T ( u ) x n + 1 x n + 1 h n + h n T ( u ) h n + T ( u ) h n T ( u ) x n + 1 2 x n + 1 h n + h n T ( u ) h n 0 as  n .
Hence
lim n x n T ( u ) x n = 0 .
(3.24)
Furthermore, from Step 4 we have for every u [ 0 , ) that
T ( u ) y n T ( u ) x n y n x n 0 as  n 0 .
(3.25)
So, we obtain from (3.24)
T ( u ) y n x n T ( u ) y n T ( u ) x n + T ( u ) x n x n 0 as  n .
(3.26)
Hence, we have for every u [ 0 , ) that
T ( u ) y n y n T ( u ) y n x n + x n y n 0 as  n .

Step 6. We show that lim sup n γ f ( x ) A x , x n x 0 and lim sup n γ f ( x ) A x , 1 t n 0 t n T ( u ) w n d u x 0 , where x = P F ( γ f ( x ) + ( I A ) ( x ) ) .

Indeed, take a subsequence { x n i } of { x n } such that
lim sup n γ f ( x ) A x , x n x = lim i γ f ( x ) A x , x n i x .
(3.27)

Since { y n i } is bounded, we can assume that y n i w . First, we prove that w F ( ) .

Assume the contrary that w T ( u ) w for some u [ 0 , ) . Then by Opial’s condition, we obtain from Step 5 that
lim inf j y n j w < lim inf j y n j T ( u ) w lim inf j ( y n j T ( u ) y n j + T ( u ) y n j T ( u ) w ) lim inf j y n j w .

This is a contraction. Hence, w F ( ) .

Next, let us show that w G M E P .

From z n = T δ n ( θ , φ ) ( x n δ n F x n ) , we obtain
θ ( z n , y ) + φ ( y ) φ ( z n ) + 1 δ n y z n , z n ( x n δ n F x n ) 0 , y C .
It follows from (H2) that
φ ( y ) φ ( z n ) + 1 δ n y z n , z n ( x n δ n F x n ) θ ( y , z n ) , y C .
Replacing n by n i , we have
φ ( y ) φ ( z n i ) + y z n i , F x n i + y z n i , z n i x n i δ n i θ ( y , z n i ) , y C .
(3.28)
Let z t = t y + ( 1 t ) w for all t [ 0 , 1 ] and y C . Then we have z t C . It follows from (3.28) that
z t z n i , F z t z t z n i , F z t φ ( z t ) + φ ( z n i ) z t z n i , F x n i z t z n i , z n i x n i δ n i + θ ( z t , z n i ) z t z n i , F z t F z n i + z t z n i , F z n i F x n i φ ( z t ) + φ ( z n i ) z t z n i , z n i x n i δ n i + θ ( z t , z n i ) .
Since z n i x n i 0 , we have F z n i F x n i 0 as n i . From the monotonity of F, we have
F z t F z n i , z t z n i 0 .
From (H4), z n i x n i δ n i 0 and z n i w , we have
z t w , F z t φ ( z t ) + φ ( w ) + θ ( z t , w )
(3.29)
as n i . By (H1), (H4), and (3.29), we obtain
0 = θ ( z t , z t ) + φ ( z t ) φ ( z t ) t θ ( z t , y ) + ( 1 t ) θ ( z t , w ) + t φ ( y ) + ( 1 t ) φ ( w ) φ ( z t ) t [ θ ( z t , y ) + φ ( y ) φ ( z t ) ] + ( 1 t ) z t w , F z t = t [ θ ( z t , y ) + φ ( y ) φ ( z t ) ] + ( 1 t ) t y w , F z t .
Hence we obtain
0 θ ( z t , y ) + φ ( y ) φ ( z t ) + ( 1 t ) y w , F z t .
Putting t 0 , we have
0 θ ( w , y ) + φ ( y ) φ ( w ) + y w , F w , y C .

This implies that w G M E P .

Next, we prove that w Ω .

Utilizing Lemma 2.1, we have for all x , y C
Γ ( x ) Γ ( y ) 2 = T μ 1 ( G 1 , ϕ ) [ T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) μ 1 B 1 T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) ] T μ 1 ( G 1 , ϕ ) [ T μ 2 ( G 2 , ψ ) ( y μ 2 B 2 y ) μ 1 B 1 T μ 2 ( G 2 , ψ ) ( y μ 2 B 2 y ) ] 2 T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) T μ 2 ( G 2 , ψ ) ( y μ 2 B 2 y ) μ 1 ( B 1 T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) B 1 T μ 2 ( G 2 , ψ ) ( y μ 2 B 2 y ) ) 2 T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) T μ 2 ( G 2 , ψ ) ( y μ 2 B 2 y ) 2 + μ 1 ( μ 1 2 β 1 ) B 1 T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) B 1 T μ 2 ( G 2 , ψ ) ( y μ 2 B 2 y ) 2 T μ 2 ( G 2 , ψ ) ( x μ 2 B 2 x ) T μ 2 ( G 2 , ψ ) ( y μ 2 B 2 y ) 2 x y μ 2 ( B 2 x B 2 y ) 2 x y 2 + μ 2 ( μ 2 2 β 2 ) B 2 x B 2 y 2 x y 2 .
This shows that Γ : C C is nonexpansive. Note that
y n Γ ( y n ) = Γ ( z n ) Γ ( y n ) z n y n 0 as  n .

According to Lemma 2.2 and Lemma 2.3, we obtain w Ω .

Lastly, we show that w I ( B , M ) .

In fact, since B is a β-inverse strongly monotone, B is monotone and Lipschitz continuous mapping. It follows from Lemma 2.4 that M + B is a maximal monotone mapping. Let ( v , g ) G ( M + B ) . Then g B ( v ) M ( v ) . Since w n i = J M , λ ( y n i λ B y n i ) , we have y n i λ B y n i ( I + λ M ) ( w n i ) , i.e., 1 λ ( y n i w n i λ A y n i ) M ( w n i ) . By virtue of the maximal monotonicity of M + B , we have
v w n i , g B ( v ) 1 λ ( y n i w n i λ B y n i ) 0
and hence
v w n i , g v w n i , B ( v ) + 1 λ ( y n i w n i λ B y n i ) = v w n i , B v B w n i + v w n i , B w n i B y n i + v w n i , 1 λ ( y n i w n i ) .
It follows from lim n w n y n = 0 that we have
lim n B w n B y n = 0
and
w n i w , lim sup n v w n i , g = v w , g 0 .

It follows from the maximal monotonicity of M + B that θ ( M + B ) ( w ) , that is, w I ( B , M ) . Therefore ω F = F ( ) G M E P Ω I ( B , M ) .

By x = P F ( γ f + ( I A ) ) ( x ) , we obtain
lim sup n ( γ f A ) x , x n x = lim i ( γ f A ) x , x n i x = ( γ f A ) x , w x 0
and
lim sup n ( γ f A ) x , 1 t n 0 t n T ( u ) w n d u x = lim i ( γ f A ) x , 1 t n i 0 t n i T ( u ) w n i d u x = ( γ f A ) x , w x 0 ,

as required.

Step 7. We prove x n x as n .

By using (3.1), we have
x n + 1 x 2 = α n ( γ f ( x n ) A x ) + β n ( x n x ) + ( ( 1 β n ) I α n A ) ( 1 t n 0 t n T ( u ) w n d u x ) 2 α n 2 γ f ( x n ) A x 2 + β n ( x n x ) + ( ( 1 β n ) I α n A ) ( 1 t n 0 t n T ( u ) w n d u x ) 2 + 2 α n γ f ( x n ) A x , β n ( x n x ) + ( ( 1 β n ) I α n A ) ( 1 t n 0 t n T ( u ) w n d u x ) α n 2 γ f ( x n ) A x 2 + β n 2 x n x 2 + ( 1 β n α n γ ¯ ) 2 w n x 2 + 2 β n x n x , ( ( 1 β n ) I α n A ) ( 1 t n 0 t n T ( u ) w n d u x )