Skip to content

Advertisement

Open Access

Iterative methods for mixed equilibrium problems and strictly pseudocontractive mappings

Fixed Point Theory and Applications20122012:184

https://doi.org/10.1186/1687-1812-2012-184

Received: 25 May 2012

Accepted: 4 October 2012

Published: 17 October 2012

Abstract

In this paper, we introduce new implicit and explicit iterative schemes for finding a common element of the set of solutions of the mixed equilibrium problem and the set of fixed points of a k-strictly pseudocontractive non-self mapping in Hilbert spaces. We establish results of the strong convergence of the sequences generated by the proposed schemes to a common point of two sets, which is a solution of a certain variational inequality. Our results extend and improve the corresponding results given by many authors recently in this area.

MSC:47H05, 47H06, 47H09, 47H10, 47J25, 47J05, 49M05.

Keywords

mixed equilibrium problemk-strictly pseudocontractive mappingnonexpansive mappingfixed pointsρ-Lipschitzian and η-strongly monotone operatorvariational inequality

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. We denote by F ( S ) the set of fixed points of S, that is, F ( S ) : = { x C : S x = x } .

Let Θ be a bifunction of C × C into and φ : C R be a function, where is the set of real numbers. Then we consider the following mixed equilibrium problem (for short, MEP): finding x C such that
Θ ( x , y ) + φ ( y ) φ ( x ) 0 , y C ,
(1.1)

which was studied by Ceng and Yao [1] (see also [2]). The set of solutions of the MEP (1.1) is denoted by MEP ( Θ , φ ) . We see that x being a solution of the problem (1.1) implies that x dom φ = { φ ( x ) < } .

If φ = 0 , then the MEP (1.1) becomes the following equilibrium problem (for short, EP): finding x C such that
Θ ( x , y ) 0 , y C .
(1.2)

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

The MEP (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, e.g., [1, 35].

The class of pseudocontractive mappings is one of the most important classes of mappings among nonlinear mappings. Recently, many authors have devoted their studies to the problems of finding fixed points for pseudocontractive mappings; see, for example, [69] and the references therein. We recall that a mapping S : C H is said to be k-strictly pseudocontractive if there exists a constant k [ 0 , 1 ) such that
S x S y 2 x y 2 + k ( I S ) x ( I S ) y 2 , x , y C .

Note that the class of k-strictly pseudocontractive mappings includes the class of nonexpansive mappings as a subclass. That is, S is nonexpansive (i.e., S x S y x y , x , y C ) if and only if S is 0-strictly pseudocontractive. The mapping S is also said to be pseudocontractive if k = 1 , and S is said to be strongly pseudocontractive if there exists a constant λ ( 0 , 1 ) such that S λ I is pseudocontractive. Clearly, the class of k-strictly pseudocontractive mappings falls into the one between classes of nonexpansive mappings and pseudocontractive mappings. Also, we remark that the class of strongly pseudocontractive mappings is independent of the class of k-strictly pseudocontractive mappings (see [10, 11]).

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

On the other hand, in 2001 Yamada [15] introduced the hybrid iterative method for the nonexpansive mapping to solve a variational inequality related to a Lipschitzian and strongly monotone operator. Since then, by using the ideas of Marino and Xu [16], Tien [17, 18] and Ceng et al. [19] provided the general iterative schemes for finding a fixed point of the nonexpansive mapping, which is a solution of a certain variational inequality related to a Lipschitzian and strongly monotone operator. Cho et al. [7] and Jung [8, 20] gave the general iterative schemes for finding a fixed point of the k-strictly pseudocontractive mapping, which is a solution of a certain variational inequality.

Inspired and motivated by the above mentioned recent works, in this paper, we introduce new implicit and explicit iterative schemes for finding a common element of the set of the solutions of the MEP (1.1) and the set of fixed points of a k-strictly pseudocontractive mapping. Then we establish results of the strong convergence of the sequences generated by the proposed schemes to a common point of two sets, which is a solution of a certain variational inequality. Our results extend and improve the recent well-known results in this area.

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.

Recall that the mapping V : H H is said to be l-Lipschitzian if
V x V y l x y , x , y H ,
and that the nonlinear operator F : H H is said to be ρ-Lipschitzian and η-strongly monotone, where ρ > 0 and η > 0 are constants, if
F x F y ρ x y
and
F x F y , x y η x y 2 , x , y H .
In a real Hilbert space H, we have
x y 2 = x 2 + y 2 2 x , y ,
(2.1)
for all x , y H and λ R . For every point x H , there exists a unique nearest point in C, denoted by P C x , such that
x P C x x y
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 is characterized by the property
u = P C x x u , u y 0 , x H , y C .
(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
lim inf n x n x < lim inf n x n y

holds for every y H with y x .

For solving the equilibrium problem for a bifunction Θ : C × C R , 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 ,
lim t 0 Θ ( t z + ( 1 t ) x , y ) Θ ( x , y ) ;

(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 exist a bounded subset D x C and y x C such that for any z C D x ,
Θ ( z , y x ) + φ ( y x ) φ ( z ) + 1 r y x z , z x < 0 ;

(B2) C is a bounded set.

The following lemmas were given in [3, 21].

Lemma 2.1 [3]

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
Θ ( z , y ) + 1 r y z , z x 0 , y C .

Lemma 2.2 [21]

Let C be a nonempty closed convex subset of H. Let Θ be a bifunction from C × C to satisfying (A1)-(A5) and φ : C R be a proper lower semicontinuous and convex function. For r > 0 and x H , define a mapping T r : H C as follows:
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 (B1) or (B2) holds. Then the following hold:
  1. (1)

    for each x H , T r x ;

     
  2. (2)

    T r is single-valued;

     
  3. (3)
    T r is firmly nonexpansive; that is, for any x , y H ,
    T r x T r y 2 T r x T r y , x y ;
     
  4. (4)

    F ( T r ) = MEP ( Θ , φ ) ;

     
  5. (5)

    MEP ( Θ , φ ) is closed and convex.

     

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

Lemma 2.3 [22]

Let H be a Hilbert space, C be a closed convex subset of H. If S is a k-strictly pseudocontractive mapping on C, then the fixed point set F ( S ) is closed convex, so that the projection P F ( S ) is well defined.

Lemma 2.4 [22]

Let H be a real Hilbert space and C be a closed convex subset of H. Let S : C H be a k-strictly pseudocontractive mapping with F ( S ) . Then F ( P C S ) = F ( S ) .

Lemma 2.5 [22]

Let H be a real Hilbert space, C be a closed convex subset of H, and S : C H be a k-strictly pseudocontractive mapping. Define a mapping T : C H by T x = λ x + ( 1 λ ) S x for all x C . Then as λ [ k , 1 ) , T is a nonexpansive mapping such that F ( T ) = F ( S ) .

Lemma 2.6 [23]

Let { s n } be a sequence of non-negative real numbers satisfying
s n + 1 ( 1 ξ n ) s n + ξ n δ n , n 1 ,
where { ξ n } and { δ n } satisfy the following conditions:
  1. (i)

    { ξ n } [ 0 , 1 ] and n = 1 ξ n = ,

     
  2. (ii)

    lim sup n δ n 0 or n = 1 ξ n δ n < .

     

Then lim n s n = 0 .

Lemma 2.7 [24]

Let { x n } and { z n } be bounded sequences in a real Banach space E and { γ n } be a sequence in [ 0 , 1 ] which satisfies the following condition:
0 < lim inf n γ n lim sup n γ n < 1 .
Suppose that x n + 1 = γ n x n + ( 1 γ n ) z n for all n 1 and
lim sup n ( z n + 1 z n x n + 1 x n ) 0 .

Then lim n z n x n = 0 .

Lemma 2.8 In a real Hilbert space H, the following inequality holds:
x + y 2 x 2 + 2 y , x + y , x , y H .

The following lemma can be easily proven, and therefore, we omit the proof.

Lemma 2.9 Let V : H H be an l-Lipschitzian mapping with a constant l 0 , and F : H H be a ρ-Lipschitzian and η-strongly monotone operator with constants ρ , η > 0 . Then for 0 γ l < μ η ,
( μ F γ V ) x ( μ F γ V ) y , x y ( μ η γ l ) x y 2 , x , y C .

That is, μ F γ V is strongly monotone with a constant μ η γ l .

Finally, the following lemma is an improvement of Lemma 2.9 in [20] (see also [15]).

Lemma 2.10 Let H be a real Hilbert space H. Let F : H H be a ρ-Lipschizian and η-strongly monotone operator with 0 < η ρ . Let 0 < μ < 2 η ρ 2 and 0 < t < ς 1 . Then S : = ς I t μ F : H H is a contraction with a contractive constant ς t τ , where τ = 1 1 μ ( 2 η μ ρ 2 ) .

Proof First, we show that I μ F is strictly contractive. In fact, by applying the ρ-Lipschitz continuity and η-strongly monotonicity of F, we obtain for x , y H ,
( I μ F ) x ( I μ F ) y 2 = ( x y ) μ ( F x F y ) 2 = x y 2 2 μ F x F y , x y + μ 2 F x F y 2 x y 2 2 μ η x y 2 + μ 2 ρ 2 x y 2 = ( 1 μ ( 2 η μ ρ 2 ) ) x y 2 ,
and so
( I μ F ) x ( I μ F ) y 1 μ ( 2 η μ ρ 2 ) x y .
(2.3)
Now, noting that S : = ς I t μ F = ( ς t ) I t ( μ F I ) , by (2.3) we have for x , y H ,
S x S y = ( ς t ) ( x y ) t ( ( μ F I ) x ( μ F I ) y ) ( ς t ) x y + t ( μ F I ) x ( μ F I ) y ( ς t ) x y + t 1 μ ( 2 η μ ρ 2 ) x y = ( ς t ( 1 1 μ ( 2 η μ ρ 2 ) ) ) x y = ( ς t τ ) x y .

Hence, S is a contraction with a contractive constant ς t τ . □

3 Main results

Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let V : H H be an l-Lipschitzian mapping with a constant l > 0 , and F : H H be a ρ-Lipschitzian and η-strongly monotone operator with 0 < η ρ . Let 0 < μ < 2 η ρ 2 and 0 < γ l < τ , where τ = 1 1 μ ( 2 η μ ρ 2 ) . Let { T r n } be a sequence of mappings defined as in Lemma 2.2 and S : C H be a k-strictly pseudocontractive mapping. Define a mapping S n : C H by S n x = β n x + ( 1 β n ) S x , x C , where β n [ k , 1 ) . Then, by Lemma 2.5, S n is nonexpansive.

Consider the following mapping Q n on H defined by
Q n x = α n γ V x + ( I α n μ F ) S n T r n x , x H , n 1 ,
where α n ( 0 , 1 ) . By Lemmas 2.2 and 2.10, we have
Q n x Q n y α n γ V x V y + ( I α n μ F ) S n T r n x ( I α n μ F ) S n T r n y α n γ l x y + ( 1 α n τ ) x y = ( 1 α n ( τ γ l ) ) x y .
Since 0 < 1 α n ( τ γ l ) < 1 , Q n is a contraction. Therefore, by the Banach contraction principle, Q n has a unique fixed point x n H , which uniquely solves the fixed point equation
x n = α n γ V x n + ( I α n μ F ) S n T r n x n .
Now, we prove the convergence of the sequence { x n } and show the existence of the q MEP ( Θ , φ ) F ( S ) , which solves the variational inequality
( μ F γ V ) q , p q 0 , p MEP ( Θ , φ ) F ( S ) .
(3.1)

Equivalently, q = P MEP ( Θ , φ ) F ( S ) ( I μ F + γ V ) q .

Theorem 3.1 Let C be a nonempty closed convex subset of a real Hilbert space H and Θ be a bifunction from C × C R satisfying (A1)-(A5). Let S : C H be a k-strictly pseudocontractive non-self mapping such that F ( S ) MEP ( Θ , φ ) . Let F : H H be a ρ-Lipschitzian and η-strongly monotone operator with 0 < η ρ . Let V : H H be an l-Lipschitzian mapping with a constant l > 0 . Let 0 < μ < 2 η ρ 2 and 0 < γ l < τ , where τ = 1 1 μ ( 2 η μ ρ 2 ) . Assume that either (B1) or (B2) holds. Let { x n } be a sequence generated by
{ Θ ( u n , y ) + φ ( y ) φ ( u n ) + 1 r n y u n , u n x n 0 , y C , y n = β n u n + ( 1 β n ) S u n , x n = α n γ V x n + ( I α n μ F ) y n , n 1 ,
(3.2)
where u n = T r n x n , y n = S n u n , and { r n } ( 0 , ) satisfying lim inf n r n > 0 . If { α n } and { β n } satisfy the following conditions:
  1. (i)

    { α n } ( 0 , 1 ) , lim n α n = 0 ;

     
  2. (ii)

    0 k β n λ < 1 and lim n β n = λ ,

     

then { x n } converges strongly to a point q F ( S ) MEP ( Θ , φ ) , which solves the variational inequality (3.1).

Proof Note that from the condition (i), without loss of generality, we assume that α n τ < 1 for n 1 .

First, we can show easily the uniqueness of a solution of the variational inequality (3.1). In fact, noting that 0 γ l < τ and μ η τ ρ η , it follows from Lemma 2.9 that
( μ F γ V ) x ( μ F γ V ) y , x y ( μ η γ l ) x y 2 .

That is, μ F γ V is strongly monotone for 0 γ l < τ μ η . So, the variational inequality (3.1) has only one solution. In what follows, we use q F ( S ) MEP ( Θ , φ ) to denote the unique solution of the variational inequality (3.1).

Now, take p F ( S ) MEP ( Θ , φ ) . Since u n = T r n x n and p = T r n p , from Lemma 2.2, we know that
u n p x n p , n 1 .
Moreover, from S n p = p , it follows that
y n p = S n u n S n p u n p x n p .
(3.3)
Thus, we have
x n p = α n ( γ V x n μ F p ) + ( I α n μ F ) y n ( I α n μ F ) p ( 1 α n τ ) y n p + α n ( γ l x n p + γ V p μ F p ) ( 1 α n ( τ γ l ) ) x n p + α n γ V p μ F p .
This implies that x n p γ V p μ F p τ γ l . Hence, { x n } is bounded, and we also obtain that { u n } , { y n } and { V x n } are bounded. We note that
u n y n u n x n + x n y n = u n x n + α n γ V x n μ F y n .
(3.4)
Using Lemma 2.2, we obtain
u n p 2 = T r n x n T r n p 2 x n p , u n p = 1 2 ( x n p 2 + u n p 2 x n u n 2 ) ,
and so
u n p 2 x n p 2 x n u n 2 .
(3.5)
Then, from Lemma 2.8, (3.3) and (3.5), we have
x n p 2 = α n ( γ V x n μ F p ) + ( I α n μ F ) y n ( I α n μ F ) p 2 ( 1 α n τ ) 2 y n p 2 + 2 α n γ V x n μ F p , x n p ( 1 α n τ ) 2 u n p 2 + 2 α n γ V x n V p , x n p + 2 α n γ V p μ F p x n p ( 1 α n τ ) 2 ( x n p 2 x n u n 2 ) + 2 α n γ l x n p 2 + 2 α n γ V p μ F p x n p = ( 1 2 α n ( τ γ l ) + ( α n τ ) 2 ) x n p 2 ( 1 α n τ ) 2 x n u n 2 + 2 α n γ V p μ F p x n p x n p 2 + α n 2 τ 2 x n p 2 ( 1 α n τ ) 2 x n u n 2 + 2 α n γ V p μ F p x n p ,
and hence
( 1 α n τ ) 2 x n u n 2 α n 2 τ 2 x n p 2 + 2 α n γ V p μ F p x n p .
Since α n 0 , it follows that
lim n x n u n = 0 .
From (3.4), we know that
lim n u n y n = 0 .
(3.6)
Define T : C H by T x = λ x + ( 1 λ ) S x . Then by Lemma 2.5, T is nonexpansive with F ( T ) = F ( S ) . Notice that
T u n u n T u n y n + y n u n | λ β n | u n S u n + y n u n .
By (3.6) and β n λ , we obtain
lim n T u n u n = 0 .

Consider a subsequence { u n i } of { u n } . Since { u n } is bounded, there exists a subsequence { u n i j } of { u n i } which converges weakly to q.

Next, we show that q F ( S ) MEP ( Θ , φ ) . Without loss of generality, we can assume that u n i q . Since C is closed and convex, C is weakly closed. So, we have q C . Let us show q F ( T ) . Assume that q F ( T ) . Since u n i q and q T q , it follows from the Opial condition that
lim inf i u n i q < lim inf i u n i T q lim inf i ( u n i T u n i + T u n i T q ) lim inf i u n i q ,

which is a contradiction. So, we get q F ( T ) , and hence q F ( S ) .

We shall show that q MEP ( Θ , φ ) . Since u n = T r n x n , for any y C , we have
Θ ( u n , y ) + φ ( y ) φ ( u n ) + 1 r n y u n , u n x n 0 .
It follows from (A2) that
φ ( y ) φ ( u n ) + 1 r n y u n , u n x n Θ ( y , u n ) .
Replacing n by n i , we have
φ ( y ) φ ( u n i ) + 1 r n i y u n i , u n i x n i Θ ( y , u n i ) .
Since u n i x n i r n i 0 and u n i q , it follows from (A4) that
0 φ ( y ) + φ ( q ) + Θ ( y , q ) , y C .
Put z t = t y + ( 1 t ) q for all t ( 0 , 1 ] and y C . Then we have z t C and
φ ( z t ) + φ ( q ) + Θ ( z t , q ) 0 .
(3.7)
By (A1), (A4) and (3.7), we have
0 = Θ ( z t , z t ) + φ ( z t ) φ ( z t ) t Θ ( z t , y ) + ( 1 t ) Θ ( z t , q ) + t φ ( y ) + ( 1 t ) φ ( q ) φ ( z t ) t ( Θ ( z t , y ) + φ ( y ) φ ( z t ) ) + ( 1 t ) ( Θ ( z t , q ) + φ ( q ) φ ( z t ) ) t ( Θ ( z t , y ) + φ ( y ) φ ( z t ) ) ,
and hence
0 Θ ( z t , y ) + φ ( y ) φ ( z t ) .
(3.8)
Letting t 0 , by (A3) we have for each y C ,
0 Θ ( q , y ) + φ ( y ) φ ( q ) .

This implies that q MEP ( Θ , φ ) . Therefore, q F ( S ) MEP ( Θ , φ ) .

On the other hand, we note that
x n q = α n ( γ V x n μ F q ) + ( I α n μ F ) y n ( I α n μ F ) q .
It follows that
x n q 2 = α n γ V x n μ F q , x n q + ( I α n μ F ) y n ( I α n μ F ) q , x n q α n γ V x n μ F q , x n q + ( I α n μ F ) y n ( I α n μ F ) q x n q α n γ V x n μ F q , x n q + ( 1 α n τ ) y n q x n q α n γ V x n μ F q , x n q + ( 1 α n τ ) x n q 2 .
Hence, we obtain
x n q 2 1 τ γ V x n μ F q , x n q = 1 τ ( γ V x n V q , x n q + γ V q μ F q , x n q ) 1 τ ( γ l x n q 2 + γ V q μ F q , x n q ) .
This implies that
x n q 2 γ V q μ F q , x n q τ γ l .
In particular, we have
x n i q 2 γ V q μ F q , x n i q τ γ l .
(3.9)

Since x n i q , it follows that x n i q as i .

Now, we show that q solves the variational inequality (3.1). Since x n = α n γ V x n + ( I α n μ F ) S n T r n x n , we have
( μ F γ V ) x n = 1 α n ( ( I α n μ F ) x n ( I α n μ F ) S n T r n x n ) .
It follows that for p F ( S ) MEP ( Θ , φ ) ,
( μ F γ V ) x n , x n p = 1 α n ( I α n μ F ) x n ( I α n μ F ) S n T r n x n , x n p = 1 α n ( I S n T r n ) x n ( I S n T r n ) p , x n p + μ F x n μ F S n T r n x n , x n p μ F x n μ F S n T r n x n , x n p
(3.10)
since I S n T r n is monotone (i.e., x y , ( I S n T r n ) x ( I S n T r n ) y 0 for all x , y H . This is due to the nonexpansivity of S n T r n ). Since x n y n = α n γ V x n μ F y n 0 as n , by replacing n in (3.10) with n i and letting i , we obtain
( μ F γ V ) q , q p = lim i ( μ F γ V ) x n i , x n i p lim i μ F x n i μ F y n i , x n i p = 0 .
(3.11)

That is, q F ( S ) MEP ( Θ , φ ) is a solution of the variational inequality (3.1).

Finally, we show that the sequence { x n } converges strongly to q. To this end, let { x n k } be another subsequence of { x n } and assume x n k q ˆ . By the same proof as the one above, we have q ˆ F ( S ) MEP ( Θ , φ ) . Moreover, it follows from (3.10) that
( μ F γ V ) q , q q ˆ 0 .
(3.12)
Interchanging q and q ˆ , we obtain
( μ F γ V ) q ˆ , q ˆ q 0 .
(3.13)
Lemma 2.9 and adding these two inequalities (3.12) and (3.13) yield
( μ η γ l ) q q ˆ 2 ( μ F γ V ) q ( μ F γ V ) q ˆ , q q ˆ 0 .

Hence, q = q ˆ . Therefore, we conclude that x n q as n .

The variational inequality (3.1) can be rewritten as
( I μ F + γ V ) q q , q p 0 , p F ( S ) MEP ( Θ , φ ) .
By (2.2), this is equivalent to the fixed point equation
P F ( S ) MEP ( Θ , φ ) ( I μ F + γ V ) q = q .

 □

Now, we establish the strong convergence of an explicit iterative scheme for finding a common element of the set of solutions of a mixed equilibrium problem and the set of fixed points of a k-strictly pseudocontractive non-self mapping.

Theorem 3.2 Let C be a nonempty closed convex subset of a real Hilbert space H and Θ be a bifunction from C × C R satisfying (A1)-(A5). Let S : C H be a k-strictly pseudocontractive non-self mapping such that F ( S ) MEP ( Θ , φ ) . Let F : H H be a ρ-Lipschitzian and η-strongly monotone operator with 0 < η ρ . Let V : H H be an l-Lipschitzian mapping with a constant l > 0 . Let 0 < μ < 2 η ρ 2 and 0 < γ l < τ , where τ = 1 1 μ ( 2 η μ ρ 2 ) . Assume that either (B1) or (B2) holds. Let { x n } and { u n } be sequences generated by
{ Θ ( u n , y ) + φ ( y ) φ ( u n ) + 1 r n y u n , u n x n 0 , y C , y n = β n u n + ( 1 β n ) S u n , x n + 1 = α n γ V x n + λ n x n + ( ( 1 λ n ) I α n μ F ) y n , n 1 ,
(3.14)
where u n = T r n x n and y n = S n u n . If { α n } , { β n } , { r n } and { λ n } satisfy the following conditions:
  1. (i)

    { α n } ( 0 , 1 ) , lim n α n = 0 , n = 1 α n = ;

     
  2. (ii)

    0 k β n λ < 1 and lim n β n = λ , lim n | β n + 1 β n | = 0 ;

     
  3. (iii)

    { r n } ( 0 , ) , lim inf n r n > 0 , lim n | r n + 1 r n | = 0 ;

     
  4. (iv)

    { λ n } ( 0 , 1 ) and 0 < lim inf n λ n lim sup n λ n < 1 ,

     

then { x n } and { u n } converge strongly to a point q F ( S ) MEP ( Θ , φ ) , which solves the variational inequality (3.1).

Proof First, from the condition (i), without loss of generality, we assume that α n τ < 1 , 2 α n ( τ γ l ) 1 α n γ l < 1 and α n ( 1 λ n ) < 1 for n 1 .

We divide the proof into several steps as follows.

Step 1. We show that x n p max { x 0 p , γ V p μ F p τ γ l } for all n 0 and all p F ( S ) MEP ( Θ , φ ) . Indeed, let p F ( S ) MEP ( Θ , φ ) . Then from Lemma 2.10, we have
From induction, we have
x n p max { x 1 p , γ V p μ F p τ γ l } , n 1 .

Hence, { x n } is bounded. From (3.3), { u n } , { y n } , { V x n } , { S u n } and { F y n } are also bounded.

Step 2. We show that lim n x n + 1 x n = 0 and lim n u n + 1 u n = 0 . To show this, define
x n + 1 = λ n x n + ( 1 λ n ) z n , n 1 .
Observe that from the definition of z n ,
z n + 1 z n = x n + 2 λ n + 1 x n + 1 1 λ n + 1 x n + 1 λ n x n 1 λ n = α n + 1 γ V x n + 1 + ( ( 1 λ n + 1 ) I α n + 1 μ F ) y n + 1 1 λ n + 1 α n γ V x n + ( ( 1 λ n ) I α n μ F ) y n 1 λ n = α n + 1 1 λ n + 1 γ V x n + 1 α n 1 λ n γ V x n + y n + 1 y n + α n 1 λ n μ F y n α n + 1 1 λ n + 1 μ F y n + 1 = α n + 1 1 λ n + 1 ( γ V x n + 1 μ F y n + 1 ) + α n 1 λ n ( μ F y n γ V x n ) + y n + 1 y n .
Thus, it follows that
z n + 1 z n α n + 1 1 λ n + 1 ( γ V x n + 1 + μ F y n + 1 ) + α n 1 λ n ( μ F y n + γ V x n ) + y n + 1 y n .
(3.15)
On the one hand, we note that
y n + 1 y n = S n + 1 u n + 1 S n u n S n + 1 u n + 1 S n + 1 u n + S n + 1 u n S n u n u n + 1 u n + S n + 1 u n S n u n .
(3.16)
Noticing that
s n + 1 u n S n u n = β n + 1 u n + ( 1 β n + 1 ) S u n ( β n u n + ( 1 β n ) S u n ) | β n + 1 β n | u n S u n ,
from (3.16) we have
y n + 1 y n u n + 1 u n + | β n + 1 β n | u n S u n .
(3.17)
On the other hand, from u n + 1 = T r n + 1 x n + 1 and u n = T r n x n , we have
Θ ( u n + 1 , y ) + φ ( y ) φ ( u n + 1 ) + 1 r n + 1 y u n + 1 , u n + 1 x n + 1 0 , y C
(3.18)
and
Θ ( u n , y ) + φ ( y ) φ ( u n ) + 1 r n y u n , u n x n 0 , y C .
(3.19)
Putting y = u n in (3.18) and y = u n + 1 in (3.19), we obtain
Θ ( u n + 1 , u n ) + φ ( u n ) φ ( u n + 1 ) + 1 r n + 1 u n u n + 1 , u n + 1 x n + 1 0
and
Θ ( u n , u n + 1 ) + φ ( u n + 1 ) φ ( u n ) + 1 r n u n + 1 u n , u n x n 0 .
By (A2), we have
u n + 1 u n , u n x n r n u n + 1 x n + 1 r n + 1 0 ,
and hence
u n + 1 u n , u n u n + 1 + u n + 1 x n r n r n + 1 ( u n + 1 x n + 1 ) 0 .
Since lim inf n r n > 0 , we assume that there exists a real number c such that r n > c > 0 for all n 1 . Thus, we have
u n + 1 u n 2 u n + 1 u n , x n + 1 x n + ( 1 r n r n + 1 ) ( u n + 1 x n + 1 ) u n + 1 u n { x n + 1 x n + | 1 r n r n + 1 | u n + 1 x n + 1 } ,
and hence
u n + 1 u n x n + 1 x n + 1 r n + 1 | r n + 1 r n | u n + 1 x n + 1 x n + 1 x n + 1 c | r n + 1 r n | L ,
(3.20)
where L = sup { u n x n : n 1 } . Therefore, from (3.15), (3.17) and (3.20), we obtain
z n + 1 z n x n + 1 x n α n + 1 1 λ n + 1 ( γ V x n + 1 + μ F y n + 1 ) + α n 1 λ n ( μ F y n + γ V x n ) + | β n + 1 β n | u n S u n + 1 c | r n + 1 r n | L α n + 1 1 λ n + 1 ( γ V x n + 1 + μ F y n + 1 ) + α n 1 λ n ( μ F y n + γ V x n ) + ( | β n + 1 β n | + | r n + 1 r n | ) M 1 ,
where M 1 is an appropriate constant such that M 1 = L c + sup { u n S u n : n 1 } . Thus, from conditions (i)-(iv), it follows that
lim sup n ( z n + 1 z n x n + 1 x n ) 0 .
Hence, by Lemma 2.7, we have
lim n z n x n = 0 .
Consequently,
lim n x n + 1 x n = lim n ( 1 λ n ) z n x n = 0 ,
and by (3.17) and (3.20),
lim n u n + 1 u n = 0 , and lim n y n + 1 y n = 0 .
Step 3. We show that lim n x n y n = 0 . Indeed, since
x n + 1 = α n γ V x n + λ n x n + ( ( 1 λ n ) I α n μ F ) y n ,
we have
x n y n x n x n + 1 + x n + 1 y n x n x n + 1 + α n γ V x n μ F y n + λ n x n y n ,
that is,
x n y n 1 1 λ n x n x n + 1 + α n 1 λ n ( γ V x n + μ F y n ) .
So, from the conditions α n 0 and (iv) and Step 2, it follows that
lim n x n y n = 0 .
Step 4. We show that lim n x n u n = 0 and lim n u n y n = 0 . Indeed, since T r n is firmly nonexpansive, for p F ( S ) MEP ( Θ , φ ) , we have
u n p 2 = T r n x n T r n p 2 x n p , u n p = 1 2 ( x n p 2 + u n p 2 x n u n 2 ) ,
and hence
u n p 2 x n p 2 x n u n 2 .
(3.21)
Then, by using the convexity of 2 , we have from (3.14) and (3.21),
(3.22)
where
M n = λ n x n y n [ 2 α n ( γ V x n + μ F y n + ( 2 α n ) y n p ) + λ n x n y n ] .
By Step 3, we know that lim n M n = 0 . Then from (3.22), we have
( 1 α n ) x n u n 2 α n γ V x n + ( I μ F ) y n p 2 + x n p 2 x n + 1 p 2 + M n α n ( γ V x n + μ F y n + y n p ) 2 + x n x n + 1 ( x n p + x n + 1 p ) + M n .
Since α n 0 and x n x n + 1 0 , we obtain
lim n x n u n = 0 .
(3.23)
From Step 3, we also have
u n y n u n x n + x n y n 0 , as  n .
(3.24)
Step 5. We show that lim n T u n u n = 0 , where T : C H is defined by T x = λ x + ( 1 λ ) S x . We know that T is nonexpansive with F ( T ) = F ( S ) by Lemma 2.5. Notice that
T u n u n T u n y n + y n u n | λ β n | u n S u n + y n u n .
By (3.24) and β n λ , we obtain
lim n T u n u n = 0 .
Step 6. We show that
lim sup n ( μ F γ V ) q , q x n 0 ,
where q = P F ( S ) MEP ( Θ , φ ) ( I μ F + γ V ) q is a unique solution of the variational inequality (3.1). To show this inequality, we choose a subsequence { x n i } of { x n } such that
lim i ( μ F γ V ) q , q x n i = lim sup n ( μ F γ V ) q , q x n .
Since { u n i } is bounded, there exists a subsequence { u n i j } which converges weakly to w. Without loss of generality, we can assume that u n i w . From Step 4 and Step 5, we obtain x n i w and T u n i w . By the same argument as in the proof of Theorem 3.1, we have w F ( S ) MEP ( Θ , φ ) . Since q = P F ( S ) MEP ( Θ , φ ) ( I μ F + γ V ) q , it follows that
lim sup n ( μ F γ V ) q , q x n = lim i ( μ F γ V ) q , q x n i = ( μ F γ V ) q , q w 0 .
Step 7. We show that lim n x n q = 0 , where q = P F ( S ) MEP ( Θ , φ ) ( I μ F + γ V ) q is a unique solution of the variational inequality (3.1). From (3.14), we know that
x n + 1 q = α n ( γ V x n μ F q ) + λ n ( y n q ) + ( ( 1 λ n ) I α n μ F ) y n ( ( 1 λ n ) I α n μ F ) q .
Applying Lemma 2.8 and Lemma 2.10, we have
x n + 1 q 2 λ n ( x n q ) + ( ( 1 λ n ) I α n μ F ) y n ( ( 1 λ n ) I α n μ F ) q 2 + 2 α n γ V x n μ F q , x n + 1 q ( ( 1 λ n α n τ ) y n q + λ n x n q ) 2 + 2 α n γ V x n V q , x n + 1 q + 2 α n γ V q μ F q , x n + 1 q ( 1 τ α n ) 2 x n q 2 + 2 α n γ l x n q x n + 1 q + 2 α n γ V q μ F q , x n + 1 q ( 1 τ α n ) 2 x n q 2 + α n γ l ( x n q 2 + x n + 1 q 2 ) + 2 α n γ V q μ F q , x n + 1 q .
This implies that
x n + 1 q 2 1 2 τ α n + τ 2 α n 2 + α n γ l 1 α n γ l x n q 2 + 2 α n 1 α n γ l γ V q μ F q , x n + 1 q = ( 1 2 ( τ γ l ) α n 1 α n γ l ) x n q 2 + τ 2 α n 2 1 α n γ α x n q 2 + 2 α n 1 α n γ l γ V q μ F q , x n + 1 q ( 1 2 ( τ γ l ) 1 α n γ l α n ) x n q 2 + 2 ( τ γ l ) α n 1 α n γ l ( τ 2 α n 2 ( τ γ l ) M 2 + 1 τ γ l μ F q γ V q , q x n + 1 ) = ( 1 ξ n ) x n q 2 + ξ n δ n ,
where M 2 = sup { x n q 2 : n 1 } , ξ n = 2 ( τ γ l ) 1 α n γ l α n and
δ n = τ 2 α n 2 ( τ γ l ) M 2 + 1 τ γ l μ F q γ V q , q x n + 1 .

From the condition (i) and Step 6, it is easy to see that ξ n 0 , n = 0 ξ n = and lim sup n δ n 0 . Hence, by Lemma 2.6, we conclude x n q as n . This completes the proof. □

Remark 3.1
  1. (1)

    Theorem 3.1 and Theorem 3.2 extend and develop Theorem 3.1 and Theorem 3.2 of Liu [12], respectively, in the following ways:

     
  2. (a)

    The EP (1.2) in Theorem 3.1 and Theorem 3.2 of [12] is extended to the case of the MEP (1.1).

     
  3. (b)

    The strongly positive bounded linear operator A in Theorem 3.1 and Theorem 3.2 of [12] is extended to the case of the ρ-Lipschitzian and η-strongly monotone operator F. In fact, from the definitions, a strongly positive bounded linear operator A with a constant γ ¯ > 0 is a A -Lipschitzian and γ ¯ -strongly monotone operator.

     
  4. (c)

    The contractive mapping f : H H with contractive coefficient α ( 0 , 1 ) in Theorem 3.1 and Theorem 3.2 of [12] is extended to the case of a Lipschitzian mapping V : H H with a constant l [ 0 , ) .

     
  5. (d)

    The condition n = 1 | α n + 1 α n | < in Theorem 3.2 of [12] is removed.

     
  6. (e)

    The conditions n = 1 | β n + 1 β n | < and n = 1 | r n + 1 r n | < in Theorem 3.2 of [12] are also relaxed by the conditions lim n | β n + 1 β n | = 0 and lim n | r n + 1 r n | = 0 , respectively.

     
  7. (2)

    Even if C = H , S is nonexpansive, { β n } = { 0 } , r n = 1 , u n = x n , Θ ( x , y ) = 0 and φ ( x ) = 0 , x , y C , Theorem 3.1 and Theorem 3.2 improve Theorem 3.1 and Theorem 3.2 of Tian [18] and Theorem 3.1 and Theorem 3.2 of Ceng et al. [19] from the class of nonexpansive mappings to the class of k-strictly pseudocontractive mappings. In particular, Theorem 3.2 develops Theorem 3.2 of Tian [18] and Theorem 3.2 of Ceng et al. [19] by removing the condition either n = 1 | α n + 1 α n | < or lim n α n / α n + 1 = 1 .

     
  8. (3)

    Theorem 3.1 also contains Theorem 3.1 of Plubtieng and Pungaeng [13] as a special case with the nonexpansive mapping S, and { β n } = { 0 } , and φ 0 .

     
  9. (4)

    Theorem 3.2 also includes and improves Theorem 3.3 of Plubtieng and Punpaeng [13], Theorem 3.2 of Takahashi and Takahashi [14] as well as Theorem 3.2 of Tian [17], Theorem 2.1 of Jung [8], Theorem 3.1 of Jung [20] Theorem 2.1 of Cho et al. [7] and Theorem 3.4 of Marino and Xu [16] as some special cases.

     

Declarations

Acknowledgements

The author would like to thank the anonymous referees for their valuable comments and suggestions, which improved the presentation of this manuscript. This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2012000895).

Authors’ Affiliations

(1)
Department of Mathematics, Dong-A University, Busan, Korea

References

  1. Ceng L-C, Yao J-C: A hybrid iterative scheme for mixed equilibrium problems and fixed point problems. J. Comput. Appl. Math. 2008, 214: 186–201. 10.1016/j.cam.2007.02.022MathSciNetView ArticleMATHGoogle Scholar
  2. Yao YH, Aslam Noor M, Zainab S, Liou Y-C: Mixed equilibrium problems and optimization problems. J. Math. Anal. Appl. 2009, 354: 319–329. 10.1016/j.jmaa.2008.12.055MathSciNetView ArticleMATHGoogle Scholar
  3. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.MathSciNetMATHGoogle Scholar
  4. Combettes PI, Hirstoaga SA: Equilibrium programming in Hilbert spaces. J. Nonlinear Convex Anal. 2005, 6: 117–136.MathSciNetMATHGoogle Scholar
  5. Flam SD, Antipin AS: Equilibrium programming using proximal-like algorithm. Math. Program. 1997, 78: 29–41.MathSciNetView ArticleGoogle Scholar
  6. Acedo GL, Xu HK: Iterative methods for strictly pseudo-contractions in Hilbert space. Nonlinear Anal. 2007, 67: 2258–2271. 10.1016/j.na.2006.08.036MathSciNetView ArticleMATHGoogle Scholar
  7. Cho YJ, Kang SM, Qin X: Some results on k -strictly pseudo-contractive mappings in Hilbert spaces. Nonlinear Anal. 2009, 70: 1956–1964. 10.1016/j.na.2008.02.094MathSciNetView ArticleMATHGoogle Scholar
  8. Jung JS: Strong convergence of iterative methods for k -strictly pseudo-contractive mappings in Hilbert spaces. Appl. Math. Comput. 2010, 215: 3746–3753. 10.1016/j.amc.2009.11.015MathSciNetView ArticleMATHGoogle Scholar
  9. Morales CH, Jung JS: Convergence of paths for pseudo-contractive mappings in Banach spaces. Proc. Am. Math. Soc. 2000, 128: 3411–3419. 10.1090/S0002-9939-00-05573-8MathSciNetView ArticleMATHGoogle Scholar
  10. Browder FE: Fixed point theorems for noncompact mappings. Proc. Natl. Acad. Sci. USA 1965, 53: 1272–1276. 10.1073/pnas.53.6.1272MathSciNetView ArticleMATHGoogle Scholar
  11. Browder FE, Petryshn WV: Construction of fixed points of nonlinear mappings Hilbert space. J. Math. Anal. Appl. 1967, 20: 197–228. 10.1016/0022-247X(67)90085-6MathSciNetView ArticleGoogle Scholar
  12. Liu Y: A general iterative method for equilibrium problems and strict pseudo-contractions in Hilbert spaces. Nonlinear Anal. 2009, 71: 4852–4861. 10.1016/j.na.2009.03.060MathSciNetView ArticleMATHGoogle Scholar
  13. Plubtieng S, Punpaeng R: A general iterative method for equilibrium problems and fixed point problems in Hilbert spaces. J. Math. Anal. Appl. 2007, 336: 445–468.MathSciNetView ArticleMATHGoogle Scholar
  14. Takahashi A, Takahashi W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces. J. Math. Anal. Appl. 2007, 331: 506–515. 10.1016/j.jmaa.2006.08.036MathSciNetView ArticleMATHGoogle Scholar
  15. Yamada I: The hybrid steepest descent for the variational inequality problems over the intersection of fixed points sets of nonexpansive mappings. In Inherently Parallel Algorithms in Feasibility and Optimization and Their Applications. Edited by: Butnariu D, Censor Y, Reich S. Elsevier, New York; 2001:473–504.View ArticleGoogle Scholar
  16. Marino G, Xu HX: A general iterative method for nonexpansive mappings in Hilbert spaces. J. Math. Anal. Appl. 2006, 318: 43–52. 10.1016/j.jmaa.2005.05.028MathSciNetView ArticleMATHGoogle Scholar
  17. Tian M: A general iterative algorithm for nonexpansive mappings in Hilbert spaces. Nonlinear Anal. 2010, 73: 689–694. 10.1016/j.na.2010.03.058MathSciNetView ArticleMATHGoogle Scholar
  18. Tian M: A general iterative method based on the hybrid steepest descent scheme for nonexpansive mappings in Hilbert spaces. 2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010 2010. art. no. 5677064Google Scholar
  19. Ceng L-C, Ansari QH, Yao J-C: Some iterative methods for finding fixed points and for solving constrained convex minimization problems. Nonlinear Anal. 2011, 74: 5286–5302. 10.1016/j.na.2011.05.005MathSciNetView ArticleMATHGoogle Scholar
  20. Jung JS: Some results on a general iterative method for k -strictly pseudo-contractive mappings. Fixed Point Theory Appl. 2011, 2011: 24. doi:10.1186/1687–1812–2011–24 10.1186/1687-1812-2011-24View ArticleMathSciNetMATHGoogle Scholar
  21. Peng J-W, Yao J-C: A new hybrid-extragradient method for generalized mixed equilibrium problems, fixed point problems and variational inequality problems. Taiwan. J. Math. 2008, 12: 1401–1432.MathSciNetMATHGoogle Scholar
  22. Zhou H: Convergence theorems of fixed points for k -strict pseudo-contractions in Hilbert spaces. Nonlinear Anal. 2008, 69: 456–462. 10.1016/j.na.2007.05.032MathSciNetView ArticleMATHGoogle Scholar
  23. Xu HK: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 2002, 66: 240–256. 10.1112/S0024610702003332View ArticleMathSciNetMATHGoogle Scholar
  24. Suzuki T: Strong convergence of Krasnoselskii and Mann’s type sequences for one parameter nonexpansive semigroups without Bochner integral. J. Math. Anal. Appl. 2005, 305: 227–239. 10.1016/j.jmaa.2004.11.017MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Jung; licensee Springer 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Advertisement