Skip to content

Advertisement

  • Research
  • Open Access

Strong convergence theorems for fixed point problems of infinite family of asymptotically quasi-ϕ-nonexpansive mappings and a system of equilibrium problems

Fixed Point Theory and Applications20132013:221

https://doi.org/10.1186/1687-1812-2013-221

  • Received: 28 December 2012
  • Accepted: 1 August 2013
  • Published:

Abstract

In this paper, we introduce a general iterative algorithm for finding a common element of the set of common fixed points of infinite family of asymptotically quasi-ϕ-nonexpansive mappings and of the set of solutions for finite equilibrium problems in a real Banach space. Our results are the generalization of the results (Shehu in Comput. Math. Appl. 63:1089-1103, 2012; Kim in Fixed Point Theory Appl., 2011, doi:10.1186/1687-1812-2011-10) and (Kim and Buong in Fixed Point Theory Appl., 2011, doi:10.1155/2011/780764), and improvement of the result (Yang et al. in Appl. Math. Comput. 218:6072-6082, 2012).

MSC:47H09, 47H10, 47H17.

Keywords

  • common fixed point
  • asymptotically quasi-ϕ-nonexpansive mappings
  • equilibrium problems
  • generalized f-projection operator

1 Introduction

Let C be a nonempty, closed and convex subset of a real Banach space E. A mapping T : C C is called to be nonexpansive if
T x T y x y , x , y C .
(1.1)
A mapping T : C C is called to be quasi-nonexpansive if
T x x x x , x C , x F ( T ) .
Let F be a bifunction of C × C into . The equilibrium problem is to find x C such that
F ( x , y ) 0 , y C .
(1.2)
The set of solutions to equilibrium problem (1.2) is denoted by EP ( F ) . That is,
EP ( F ) : = { x C : F ( x , y ) 0 , y C } .

Recently, Yang et al. [1] proved strong convergence theorems for approximation of common fixed points of countably infinite family of asymptotically quasi-ϕ-nonexpansive mappings in a uniformly smooth and strictly convex real Banach space, which has the Kadec-Klee property. More precisely, they proved the following theorem.

Theorem 1.1 Let E be a uniformly smooth and strictly convex Banach space, which has the Kadec-Klee property, and let C be a nonempty closed convex subset of E. Let G be a bifunction from C × C to satisfying (A1)-(A4), and let T i : C C , i N be an infinite family of closed and asymptotically quasi-ϕ-nonexpansive mapping with { k n i } [ 1 , ) , k n i 1 as n , where T 0 = I . Assume that T i , i N is asymptotically regular on C and = i = 0 F ( T i ) EP ( G ) is nonempty and bounded. Let { x n } be a sequence, generated by
{ x 0 E chosen arbitrarily, C 1 = C , x 1 = Π C 1 x 0 , y n = J 1 { i = 0 α n i J T i n x n } , u n C  such that  G ( u n , y ) + 1 r n y u n , J u n J y n 0 , y C , C n + 1 = { z C n : ϕ ( z , u n ) ϕ ( z , x n ) + ( k n 1 ) M n } , x n + 1 = Π C n + 1 x 0 ,

where J is the duality mapping on E, M n = sup { ϕ ( z , x n ) : z } for each n 1 , k n = sup i 0 { k n i } , { r n } is real sequence in [ a , ) , where a is some positive real number, { α n i } is a real sequence in [ 0 , 1 ] satisfying the following conditions: (a) i = 0 α n i = 1 , n 1 , (b)  lim inf n α n 0 α n i > 0 , i N . Then the sequence { x n } converges strongly to Π x 0 .

In [2], Shehu introduced the following hybrid iterative scheme for approximating a common element of the set of fixed points of relatively quasi-nonexpansive mappings and the set of solutions to an equilibrium problem in a uniformly smooth and uniformly convex real Banach space: x 0 C , C 1 = C , x 1 = Π C 1 f x 0 ,
{ y n = J 1 ( α n J x n + ( 1 α n ) J T n x n ) , n 1 , u n = T r m , n F m T r m 1 , n F m 1 T r 2 , n F 2 T r 1 , n F 1 y n , C n + 1 = { w C n : G ( w , J u n ) G ( w , J x n ) } , n 1 , x n + 1 = Π C n + 1 f x 0 , n 1 .

Motivated by the facts above, the purpose of this paper is to prove a strong convergence theorem for finding a common element of the set of fixed points of asymptotically quasi-ϕ-nonexpansive mappings and the set of solutions to a system of equilibrium problems in a uniformly smooth and uniformly convex real Banach space, which has the Kadec-Klee property.

2 Preliminaries

Let E be a real Banach space, and let E be the dual space of E. The duality mapping J : E 2 E is defined by
J ( x ) = { f E : x , f = x 2 = f 2 } .
(2.1)

By Hahn-Banach theorem, J ( x ) is nonempty.

The modulus of smoothness of E is the function ρ E : [ 0 , ) [ 0 , ) defined by
ρ E ( τ ) : = sup { 1 2 ( x + y + x y ) 1 : x 1 , y τ } .
(2.2)

E is said to be uniformly smooth if lim τ 0 ρ E ( τ ) τ = 0 .

Let dim E 2 . The modulus of convexity of E is the function δ E : ( 0 , 2 ] [ 0 , 1 ] defined by
δ E ( ϵ ) : = inf { 1 x y 2 : x = y = 1 ; ϵ = x y } .
(2.3)

E is said to be uniformly convex if ϵ ( 0 , 2 ] , there exists a δ = δ ( ϵ ) > 0 such that for x , y E with x 1 , y 1 and x y ϵ , then x + y 2 1 δ . Equivalently, E is uniformly convex if and only if δ E ( ϵ ) > 0 , ϵ ( 0 , 2 ] . E is strictly convex if for all x , y E , x y , x = y = 1 , we have λ x + ( 1 λ ) y < 1 , λ ( 0 , 1 ) .

It is well known that if E is uniformly smooth, then J is norm-to-norm uniformly continuous on each bounded subset of E. If E is smooth, then J is single-valued.

Recall that a Banach space E has the Kadec-Klee property if for any sequence { x n } E and x E with x n x and x n x , then x n x 0 , as n . It is well known that if E is a uniformly convex Banach space, then E has the Kadec-Klee property.

We denoted by ϕ the Lyapunov function from E × E to defined by
ϕ ( x , y ) : = x 2 2 x , J y + y 2 , x , y E .
(2.4)
It follows from the definition of ϕ that
( x y ) 2 ϕ ( x , y ) ( x + y ) 2 , x , y E .
(2.5)

Let E be a reflexive strictly convex and smooth Banach space. Then for x , y E , ϕ ( x , y ) = 0 if and only if x = y (see [3, 4]).

Definition 2.1 Let C be a nonempty closed convex subset of E, and let T be a mapping from C into itself. A point p C is said to be an asymptotic fixed point of T if C contains a sequence { x n } , which converges weakly to p and lim n x n T x n = 0 . The set of asymptotic fixed points of T is denoted by F ˜ ( T ) .

We say that T is a relatively nonexpansive mapping [58] if the following conditions are satisfied:
  1. (R1)

    F ( T ) ;

     
  2. (R2)

    ϕ ( p , T x ) ϕ ( p , x ) , x C , p F ( T ) ;

     
  3. (R3)

    F ( T ) = F ˜ ( T ) .

     

If T satisfies (R1) and (R2), then T is said to be relatively quasi-nonexpansive [911].

Definition 2.2 We say that T is an asymptotically ϕ-nonexpansive mapping if there exists a sequence { k n } [ 1 , ) with k n 1 as n such that ϕ ( T n x , T n y ) k n ϕ ( x , y ) , x , y C . We say that T is an asymptotically quasi-ϕ-nonexpansive [11, 12] mapping if F ( T ) and there exists a sequence { k n } [ 1 , ) as n such that ϕ ( p , T n x ) k n ϕ ( p , x ) , x C , p F ( T ) .

It is easy to see that the class of relatively quasi-nonexpansive mappings and asymptotically quasi-ϕ-nonexpansive mappings contains the class of relatively nonexpansive mappings. The class of asymptotically quasi-ϕ-nonexpansive mappings is more general than the class of relatively quasi-nonexpansive mappings.

Following Alber [13], the generalized projection Π C : E C is defined by
Π C ( x ) = { u C : ϕ ( u , x ) = min y C ϕ ( y , x ) } , x E .

The existence and uniqueness of the operator Π C follows from the properties of the function ϕ ( y , x ) and strict monotonicity of mapping J (see, for example, [3, 4, 13, 14]). If E is a Hilbert space, then ϕ ( y , x ) = y x 2 , x , y E and Π C is the metric projection P C of E onto C.

Next, we recall the concept and properties of generalized f-projector operator. Let G : C × E R { + } be a function defined as follows:
G ( ξ , φ ) = ξ 2 2 ξ , φ + φ 2 + 2 ρ f ( ξ ) ,
where ξ C , φ E , ρ is a positive number, and f : C R { + } is proper, convex and lower semi-continuous. From the definitions of G and f, it is easy to see that the following properties hold:
  1. (i)

    G ( ξ , φ ) is convex and continuous with respect to φ when ξ is fixed;

     
  2. (ii)

    G ( ξ , φ ) is convex and lower semi-continuous with respect to ξ when φ is fixed.

     

Definition 2.3 [15]

Let E be a real Banach space with its dual E . Let C be a nonempty closed convex subset of E. We say that Π C f : E 2 C is a generalized f-projection operator if
Π C f φ = { u C : G ( u , φ ) = inf ξ C G ( ξ , φ ) } , φ E .

Lemma 2.4 [15]

Let E be a reflexive Banach space with its dual E . Let C be a nonempty closed convex subset of E. Then the following statements hold:
  1. (i)

    Π C f φ is a nonempty closed convex subset of C for all φ E ;

     
  2. (ii)
    If E is smooth, then for all φ E , x Π C f φ if and only if
    x y , φ J x + ρ f ( y ) ρ f ( x ) 0 , y C ;
     
  3. (iii)

    [16]If E is strictly convex, then Π C f is a single-valued mapping.

     
Recall that J is a single-valued mapping when E is a smooth Banach space. There exists a unique element φ E such that φ = J x for each x E . This substitution in (2.3) gives
G ( ξ , J x ) = ξ 2 2 ξ , J x + x 2 + 2 ρ f ( ξ ) .

Now, we consider the second generalized f-projection operator in Banach space.

Definition 2.5 Let E be a real Banach space and C be a nonempty closed convex subset of E. We say that Π C f : E 2 C is a generalized f-projection operator if
Π C f x = { u C : G ( u , J x ) = inf ξ C G ( ξ , J x ) } , x E .

Obviously, the definition of relatively quasi-nonexpansive mapping T is equivalent to

  • (R′1) F ( T ) ;

  • (R′2) G ( p , J T x ) G ( p , J x ) , x C , p F ( T ) .

Lemma 2.6 [17]

Let C be a nonempty, closed and convex subset of a smooth and reflexive Banach space E. Then the following statements hold:
  1. (i)

    Π C f x is a nonempty closed convex subset of C for all x E ;

     
  2. (ii)
    For all x E , x ˆ Π C f x if and only if
    x ˆ y , J x J x ˆ + ρ f ( y ) ρ f ( x ˆ ) 0 , y C ;
     
  3. (iii)

    [16]If E is strictly convex, then Π C f x is a single-valued mapping.

     

Lemma 2.7 [18]

Let E be a Banach space, and f : E R { + } is convex and lower semi-continuous. Then there exists x E and α R such that
f ( x ) x , x + α , x E .

Lemma 2.8 [17]

Let C be a nonempty closed convex subset of a smooth and reflexive Banach space E. Let x E and x ˆ Π C f x . Then
ϕ ( y , x ˆ ) + G ( x ˆ , J x ) G ( y , J x ) , y C .

Lemma 2.9 [1, 19]

Let E be a uniformly smooth and strictly convex Banach space, which has the Kadec-Klee property, and let C be a nonempty closed convex subset of E. Let T be a closed and asymptotically quasi-ϕ-nonexpansive mapping. Then F ( T ) is a closed and convex subset of C.

Lemma 2.10 [1]

Let E be a uniformly convex real Banach space. For arbitrary r > 0 , let B r ( 0 ) : = { x E : x r } . Then, for any given sequence { x n } n = 1 B r ( 0 ) and for any given sequence { λ n } n = 1 of positive numbers such that i = 1 λ i = 1 , there exists a continuous strictly increasing convex function g : [ 0 , 2 r ] R , g ( 0 ) = 0 such that for any positive integers i, j with i < j , the following inequality holds
n = 1 λ n x n 2 n = 1 λ n x n 2 λ i λ j g ( x i x j ) .

Lemma 2.11 [17]

Let E be a Banach space and y E . Let f : E R { + } be a proper, convex and lower semi-continuous mapping with convex domain D ( f ) . If { x n } is a sequence in D ( f ) such that x n x int ( D ( f ) ) and lim n G ( x n , J y ) = G ( x , J y ) , then lim n x n = x .

For solving the equilibrium problem for a bifunction F : C × C R , let us assume that F satisfies the following conditions:
  1. (A1)

    F ( x , x ) = 0 for all x C ;

     
  2. (A2)

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

     
  3. (A3)

    for each x , y , z C , lim t 0 F ( t z + ( 1 t ) x , y ) F ( x , y ) ;

     
  4. (A4)

    for each x C , y F ( x , y ) is convex and lower semicontinuous.

     

Lemma 2.12 [20]

Let C be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space E, and let F be a bifunction of C × C into satisfying (A1)-(A4). Let r > 0 and x E . Then, there exists z C such that
F ( z , y ) + 1 r y z , J z J x 0 , y C .

Lemma 2.13 [9, 21]

Let C be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space E, and let F be a bifunction of C × C into satisfying (A1)-(A4). Let r > 0 and x E . Define a mapping T r F : E C as follows:
T r F ( x ) = { z C : F ( z , y ) + 1 r y z , J z J x 0 , y C }
for all z E . Then, the following hold:
  1. 1.

    T r F is single-valued;

     
  2. 2.
    T r F is firmly nonexpansive mapping, i.e., for any x , y E ,
    T r F x T r F y , J T r F x J T r F y T r F x T r F y , J x J y ;
     
  3. 3.

    F ( T r F ) = EP ( F ) ;

     
  4. 4.

    T r F x is relatively quasi-nonexpansive;

     
  5. 5.

    EP ( F ) is closed and convex.

     

Lemma 2.14 [21]

Let C be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space E, and let F be a bifunction of C × C into satisfying (A1)-(A4). Let r > 0 . Then for each x E and q F ( T r F ) ,
ϕ ( q , T r F x ) + ϕ ( T r F x , x ) ϕ ( q , x ) .

An operator T in a Banach space E is said to be closed if x n x and T x n y , then T x = y .

3 Main result

Theorem 3.1 Let E be a uniformly smooth and strictly convex Banach space, which has the Kadec-Klee property, and let C be a nonempty closed convex subset of E. For each k = 1 , 2 , , m , let F k be a bifunction from C × C satisfying (A1)-(A4), and let { T i } i = 0 : C C , i N be an infinite family of closed and asymptotically quasi-ϕ-nonexpansive mappings with sequence { k n i } [ 1 , ) , k n i 1 as n , where T 0 = I . Assume that T i , i N is asymptotically regular on C and Ω = ( i = 0 F ( T i ) ) ( k = 1 m EP ( F k ) ) is nonempty and bounded. Let f : E R be a convex and lower semicontinuous mapping with C int ( D ( f ) ) , and suppose that { x n } n = 0 is a sequence generated by x 0 C , C 1 = C , x 1 = Π C 1 f x 0 ,
{ y n = J 1 { i = 0 α n i J T i n x n } , u n = T r m , n F m T r m 1 , n F m 1 T r 2 , n F 2 T r 1 , n F 1 y n , C n + 1 = { z C n : G ( z , J u n ) G ( z , J x n ) + ( k n 1 ) M n } , x n + 1 = Π C n + 1 f x 0 ,
(3.1)
where J is the duality mapping on E, M n = sup { ϕ ( z , x n ) : z Ω } for each n 1 , k n = sup i 0 { k n i } , { α n i } is a real sequence in [0,1] and { r k , n } n = 1 ( 0 , ) , k = 1 , 2 , , m , satisfying the following conditions:
(a) i = 0 α n i = 1 , n 1 ; (b) lim inf n α n 0 α n i > 0 , i N ; (c) lim inf n r k , n > 0 .

Then the sequence { x n } converges strongly to Π Ω f x 0 .

Proof Step 1. We first show that C n , n 1 is nonempty, closed and convex.

Now, we show that C n , n 1 is closed and convex. It is obvious that C 1 = C is closed and convex. Suppose that C n is closed convex for some n > 1 . From the definition of C n + 1 , we have z C n + 1 , which implies that G ( z , J u n ) G ( z , J x n ) + ( k n 1 ) M n . This is equivalent to
2 ( z , J x n z , J u n ) x n 2 u n 2 + ( k n 1 ) M n .

This implies that C n + 1 is closed convex for the same n > 1 . Hence, C n is closed and convex n 1 .

By taking θ n k = T r k , n F k T r k 1 , n F k 1 T r 2 , n F 2 T r 1 , n F 1 , k = 1 , 2 , , m and θ n 0 = I for all n 1 , we obtain u n = θ n m y n .

We next show that Ω C n , n 1 . From Lemma 2.13, we have that T r k , n F k , k = 1 , 2 , , m is relatively nonexpansive mapping. For n = 1 , we have Ω C 1 = C . Now, assume that Ω C n for some n > 1 . For each x Ω , we obtain
G ( x , J u n ) = G ( x , J θ n m y n ) G ( x , J y n ) = x 2 2 x , J y n + y n 2 + 2 ρ f ( x ) x 2 2 i = 0 α n i x , J T i n x n + i = 0 α n i T i n x n 2 + 2 ρ f ( x ) = i = 0 α n i ϕ ( x , T i n x n ) + 2 ρ f ( x ) i = 0 α n i k n i ϕ ( x , x n ) + 2 ρ f ( x ) = i = 0 α n i ( 1 + ( k n i 1 ) ) ϕ ( x , x n ) + 2 ρ f ( x ) = G ( x , J x n ) + i = 0 α n i ( k n i 1 ) ϕ ( x , x n ) G ( x , J x n ) + ( k n 1 ) M n .
(3.2)

So, x C n + 1 . It implies that Ω C n , n 1 , and the sequence { x n } n = 0 generated by (3.1) is well defined.

Step 2. We show that lim n G ( x n , J x 0 ) exists.

Since f : E R is a convex and lower semi-continuous, applying Lemma 2.7, we see that there exist u E and α R such that
f ( y ) y , u + α , y E .
It follows that
G ( x n , J x 0 ) = x n 2 2 x n , J x 0 + x 0 2 + 2 ρ f ( x n ) x n 2 2 x n , J x 0 + x 0 2 + 2 ρ x n , u + 2 ρ α = x n 2 2 x n , J x 0 ρ u + x 0 2 + 2 ρ α x n 2 2 x n J x 0 ρ u + x 0 2 + 2 ρ α = ( x n J x 0 ρ u ) 2 + x 0 2 J x 0 ρ u 2 + 2 ρ α .
(3.3)
Since x n = Π C n f x 0 , it follows from (3.3) that
G ( x , J x 0 ) G ( x n , J x 0 ) ( x n J x 0 ρ u ) 2 + x 0 2 J x 0 ρ u 2 + 2 ρ α
for each x F ( T ) . This implies that { x n } n = 0 is bounded and so is { G ( x n , J x 0 ) } n = 0 . By the construction of C n , we have that C n + 1 C n and x n + 1 = Π C n + 1 f x 0 C n . It follows from Lemma 2.8 that
ϕ ( x n + 1 , x n ) + G ( x n , J x 0 ) G ( x n + 1 , J x 0 ) .
(3.4)
It is obvious that
ϕ ( x n + 1 , x n ) ( x n + 1 x n ) 2 0 ,

and so, { G ( x n , J x 0 ) } n = 0 is nondecreasing. It follows that the limit of { G ( x n , J x 0 ) } n = 0 exists.

Step 3. We prove that lim n J x n J T j n x n = 0 , j N .

Now, since { x n } n = 0 is bounded in C, and E is reflexive, we may assume that x n p , and since C n is closed and convex for each n 1 , it is easy to see that p C n for each n 1 . Again, since x n = Π C n f x 0 , we obtain
G ( x n , J x 0 ) G ( p , J x 0 ) , n 0 .
Since
lim inf n G ( x n , J x 0 ) = lim inf n { x n 2 2 x n , J x 0 + x 0 2 + 2 ρ f ( x n ) } p 2 2 p , J x 0 + x 0 2 + 2 ρ f ( p ) = G ( p , J x 0 ) .
Then, we obtain
G ( p , J x 0 ) lim inf n G ( x n , J x 0 ) lim sup n G ( x n , J x 0 ) G ( p , J x 0 ) .
This implies that
lim n G ( x n , J x 0 ) = G ( p , J x 0 ) .

By Lemma 2.11, we obtain that lim n x n = p . In view of Kadec-Klee property of E, we have that lim n x n = p .

By the construction of C n , we have that C n + 1 C n and x n + 1 = Π C n + 1 f x 0 C n + 1 . It follows that
ϕ ( x n + 1 , u n ) ϕ ( x n + 1 , x n ) + ( k n 1 ) M n .
Now, (3.4) implies that
ϕ ( x n + 1 , u n ) ϕ ( x n + 1 , x n ) + ( k n 1 ) M n G ( x n + 1 , J x 0 ) G ( x n , J x 0 ) + ( k n 1 ) M n .
(3.5)
Taking the limit as n in (3.5), we obtain
lim n ϕ ( x n + 1 , x n ) = 0 .
Therefore,
lim n ϕ ( x n + 1 , u n ) = 0 .
It then yields that lim n ( x n + 1 u n ) = 0 . Since lim n x n + 1 = p , we have
lim n u n = p .
(3.6)
Hence,
lim n J u n = J p .
This implies that { J u n } n = 0 is bounded in E . Since E is reflexive, and so E is reflexive, we can then assume that J u n f 0 E . In view of reflexivity of E, we see that J ( E ) = E . Hence, there exists x E such that J x = f 0 . Since
ϕ ( x n + 1 , u n ) = x n + 1 2 2 x n + 1 , J u n + u n 2 = x n + 1 2 2 x n + 1 , J u n + J u n 2 .
Taking lim inf n for both sides of the equality above, yields that
0 p 2 2 p , f 0 + f 0 2 = p 2 2 p , J x + J x 2 = p 2 2 p , J x + x 2 = ϕ ( p , x ) .
That is, p = x . This implies that f 0 = J p , and so, J u n J p . It follows from lim n J u n = J p and Kadec-Klee property of E (this is because E is uniformly convex) that
J u n J p .
Note that J 1 : E E is hemi-continuous (this is because E is a uniformly smooth and strictly convex Banach space with a strictly convex dual E ), it follows that u n p . Since (3.6) and E have the Kadec-Klee property, we obtain that
lim n u n = p .
(3.7)
It follows that
lim n x n u n = 0 .
(3.8)
Since J is uniformly norm-to-norm continuous on any bounded sets, we have
lim n J x n J u n = 0 .
(3.9)
Let r : = sup n , i 0 { T i n x n } . Since E is uniformly smooth, we know that E is uniformly convex. Then from Lemma 2.10, we have
G ( x , J u n ) = G ( x , J θ n m y n ) G ( x , J y n ) = x 2 2 x , i = 0 α n i J T i n x n + i = 0 α n i J T i n x n 2 + 2 ρ f ( x ) x 2 2 i = 0 α n i x , J T i n x n + i = 0 α n i J T i n x n 2 α n k α n j g ( J T k n x n J T j n x n ) + 2 ρ f ( x ) = i = 0 α n i ϕ ( x , T i n x n ) + 2 ρ f ( x ) α n k α n j g ( J T k n x n J T j n x n ) i = 0 α n i k n i ϕ ( x , x n ) + 2 ρ f ( x ) α n k α n j g ( J T k n x n J T j n x n ) G ( x , J x n ) + ( k n 1 ) M n α n k α n j g ( J T k n x n J T j n x n ) .
(3.10)
Taking k = 0 and for any j in (3.10), we have
α n 0 α n j g ( J x n J T j n x n ) G ( x , J x n ) G ( x , J u n ) + ( k n 1 ) M n 0 .
It follows from the property of g that
lim n J x n J T j n x n = 0 .
(3.11)

Step 4. Now we prove that p Ω .

(a) First, we prove that p i = 0 F ( T i ) .

Since x n p and J is uniformly norm-to-norm continuous on bounded sets, we see that
lim n J x n J p = 0 .
(3.12)
We observe from (3.11) and (3.12) that
J T j n x n J p J x n J T j n x n + J x n J p 0 , n .
Since J 1 is hemi-continuous, it follows that T j n x n p . On the other hand, since
| T j n x n p | = | J T j n x n J p | J T j n x n J p ,
and this implies that T j n x n p as n . Since E enjoys the Kadec-Klee property, we obtain that
lim n T j n x n p = 0 .
Note that
T j n + 1 x n p T j n + 1 x n T j n x n + T j n x n p .
(3.13)
It follows from the asymptotic regularity of T and (3.13) that
lim n T j n + 1 x n p = 0 .

That is, T j T j n x n p 0 as n . It follows from the closeness of T j that T j p = p , j N , i.e., p i = 0 F ( T i ) .

(b) Next, we prove that p k = 1 m EP ( F k ) .

From (3.2), we obtain
ϕ ( x , u n ) = ϕ ( x , θ n m y n ) = ϕ ( x , T r m , n F m θ n m 1 y n ) ϕ ( x , θ n m 1 y n ) ϕ ( x , y n ) ϕ ( x , x n ) + ( k n 1 ) M n .

Next, we show that θ n k y n p as n , for each k { 0 , 1 , , m } .

We have proved that k = m , θ n k y n = u n p .

Suppose that θ n k y n p as n for some k. Since x k = 1 m EP ( F k ) = k = 1 m F ( T r k , n F k ) for all n 1 , it follows from Lemma 2.14 that
ϕ ( θ n k y n , θ n k 1 y n ) = ϕ ( T r k , n F k θ n k 1 y n , θ n k 1 y n ) ϕ ( x , θ n k 1 y n ) ϕ ( x , θ n k y n ) ϕ ( x , x n ) ϕ ( x , θ n k y n ) + ( k n 1 ) M n .
Hence, we have
lim n ϕ ( θ n k y n , θ n k 1 y n ) = 0 .
From (2.5), we see that θ n k y n θ n k 1 y n 0 as n . From assumption, we have θ n k y n p as n , so
θ n k 1 y n p as  n .
It follows that
J θ n k 1 y n J p as  n .
(3.14)
This implies that { J θ n k 1 y n } n = 0 is bounded in E . Since E is reflexive, and so E is reflexive, we can then assume that J θ n k 1 y n f k 1 E . In view of reflexivity of E, we see that J ( E ) = E . Hence, there exists x k 1 E such that J x k 1 = f k 1 . Since
ϕ ( θ n k y n , θ n k 1 y n ) = θ n k y n 2 2 θ n k y n , J θ n k 1 y n + θ n k 1 y n 2 = θ n k y n 2 2 θ n k y n , J θ n k 1 y n + J θ n k 1 y n 2 .
Taking lim inf n for both sides of the equality above, yields that
0 p 2 2 p , f k 1 + f k 1 2 = p 2 2 p , J x k 1 + J x k 1 2 = p 2 2 p , J x k 1 + x k 1 2 = ϕ ( p , x k 1 ) .
That is, p = x k 1 . This implies that f k 1 = J p and so J θ n k 1 y n J p . It follows from lim n J θ n k 1 y n = J p and Kadec-Klee property of E (this is because E is uniformly convex) that
J θ n k 1 y n J p .
Note that J 1 : E E is hemi-continuous (this is because E is a uniformly smooth and strictly convex Banach space with a strictly convex dual E ), it follows that θ n k 1 y n p . Since (3.14) and E have the Kadec-Klee property, we obtain that
lim n θ n k 1 y n = p .
Hence, lim n θ n k y n = p and lim n J θ n k y n = J p , for each k { 0 , 1 , , m } . That is,
lim n θ n k y n θ n k 1 y n = 0 , k = 1 , 2 , , m
and
lim n J θ n k y n J θ n k 1 y n = 0 , k = 1 , 2 , , m .
Since lim inf n r k , n > 0 , k = 1 , 2 , , m ,
lim n J θ n k y n J θ n k 1 y n r k , n = 0 .
(3.15)
By Lemma 2.13, we have that for each k = 1 , 2 , , m ,
F k ( θ n k y n , y ) + 1 r k , n y θ n k y n , J θ n k y n J θ n k 1 y n 0 , y C .
Furthermore, using (A2), we obtain
1 r k , n y θ n k y n , J θ n k y n J θ n k 1 y n F k ( y , θ n k y n ) .
By (A4), (3.15) and θ n k y n p , we have for each k = 1 , 2 , , m ,
F k ( y , p ) 0 , y C .
For fixed y C , let z t = t y + ( 1 t ) p for all t ( 0 , 1 ] . This implies that z t C . This yields that F k ( z t , p ) 0 . It follows from (A1) and (A4) that
0 = F k ( z t , z t ) t F k ( z t , y ) + ( 1 t ) F k ( z t , p ) t F k ( z t , y ) ,
and hence
0 F k ( z t , y ) .
From condition (A3), we obtain
F k ( p , y ) 0 , y C .

This implies that p EP ( F k ) , k = 1 , 2 , , m . Thus, p k = 1 m EP ( F m ) .

Hence, we have p Ω = ( k = 1 m EP ( F m ) ) ( i = 0 F ( T i ) ) .

Step 5. Finally, we prove that p = Π Ω f x 0 .

Since Ω = ( k = 1 m EP ( F m ) ) ( i = 0 F ( T i ) ) is a closed and convex set, from Lemma 2.6, we know that Π Ω f x 0 is single-valued and denoted ω = Π Ω f x 0 . Since x n = Π C n f x 0 and ω Ω C n , we have
G ( x n , J x 0 ) G ( ω , J x 0 ) , n 0 .
We know that G ( ξ , ϕ ) is convex and lower semi-continuous with respect to ξ when ϕ is fixed. This implies that
G ( p , J x 0 ) lim inf n G ( x n , J x 0 ) lim sup n G ( x n , J x 0 ) G ( ω , J x 0 ) .

From the definition of Π Ω f x 0 and p Ω , we see that p = ω . This completes the proof. □

Corollary 3.2 Let E be a uniformly smooth and strictly convex Banach space, which has the Kadec-Klee property, and let C be a nonempty closed convex subset of E. For each k = 1 , 2 , , m , let F k be a bifunction from C × C satisfying (A1)-(A4), and let { T i } i = 0 : C C , i N be an infinite family of closed and asymptotically quasi-ϕ-nonexpansive mappings with sequence { k n i } [ 1 , ) , k n i 1 as n , where T 0 = I . Assume that T i , i N is asymptotically regular on C, and Ω = ( i = 0 F ( T i ) ) ( k = 1 m EP ( F k ) ) is nonempty and bounded. Suppose that { x n } n = 0 is generated by x 0 C , C 1 = C , x 1 = Π C 1 f x 0 ,
{ y n = J 1 { i = 0 α n i J T i n x } , u n = T r m , n F m T r m 1 , n F m 1 T r 2 , n F 2 T r 1 , n F 1 y n , C n + 1 = { z C n : ϕ ( z , J u n ) ϕ ( z , J x n ) + ( k n 1 ) M n } , x n + 1 = Π C n + 1 x 0 ,
where J is the duality mapping on E, M n = sup { ϕ ( z , x n ) : z Ω } for each n 1 , k n = sup i 0 { k n i } , { α n i } is a real sequence in [ 0 , 1 ] and { r k , n } n = 1 ( 0 , ) , k = 1 , 2 , , m , satisfying the following conditions:
(a) i = 0 α n i = 1 , n 1 ; (b) lim inf n α n 0 α n i > 0 , i N ; (c) lim inf n r k , n > 0 .

Then the sequence { x n } converges strongly to Π Ω x 0 .

Declarations

Acknowledgements

The authors would like to express their sincere thanks to the anonymous referee and the editor for their valuable suggestions and comments, which greatly improved the original version of the manuscript.

Authors’ Affiliations

(1)
School of Mathematics and Statistics, Hubei Normal University, Huangshi, 435002, China

References

  1. Yang L, Zhao FH, Kim JK: Hybrid projection method for generalized mixed equilibrium problem and fixed point problem of infinite family of asymptotically quasi- ϕ -nonexpansive mappings in Banach spaces. Appl. Math. Comput. 2012, 218: 6072–6082. 10.1016/j.amc.2011.11.091MathSciNetView ArticleGoogle Scholar
  2. Shehu Y: Hybrid iterative scheme for fixed point problem, infinite systems of equilibrium and variational inequality problems. Comput. Math. Appl. 2012, 63: 1089–1103. 10.1016/j.camwa.2011.12.014MathSciNetView ArticleGoogle Scholar
  3. Takahashi W: Nonlinear Functional Analysis. Yokohama Publishers, Yokohama; 2000.MATHGoogle Scholar
  4. Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.View ArticleMATHGoogle Scholar
  5. Reich S: A weak convergence theorem for the alternating method with Bregman distance. In Theory and Applications of Nonlinear Operator of Accretive and Monotone Type. Edited by: Kartsatos AG. Dekker, New York; 1996.Google Scholar
  6. Butnariu D, Reich S, Zaslavski AJ: Asymptotic behavior of relatively nonexpansive operators in Banach spaces. J. Appl. Anal. 2001, 7: 151–174.MathSciNetGoogle Scholar
  7. Butnariu D, Reich S, Zaslavski AJ: Weak convergence of orbits of nonlinear operators in reflexive Banach spaces. Numer. Funct. Anal. Optim. 2003, 24: 489–508. 10.1081/NFA-120023869MathSciNetView ArticleGoogle Scholar
  8. Censor Y, Reich S: Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization. Optimization 1996, 37: 323–339. 10.1080/02331939608844225MathSciNetView ArticleGoogle Scholar
  9. Qin XL, Cho YJ, Kang SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces. J. Comput. Appl. Math. 2009, 225: 20–30. 10.1016/j.cam.2008.06.011MathSciNetView ArticleGoogle Scholar
  10. Qin XL, Cho YJ, Kang SM, Zhou H: Convergence of a modified Halpern-type iteration algorithm for quasi- ϕ -nonexpansive mappings. Appl. Math. Lett. 2009, 22: 1051–1055. 10.1016/j.aml.2009.01.015MathSciNetView ArticleGoogle Scholar
  11. Zhou HY, Gao GL, Tan B: Convergence theorems of a modified hybrid algorithm for a family of quasi- ϕ -asymptotically nonexpansive mappings. J. Appl. Math. Comput. 2010, 32: 453–464. 10.1007/s12190-009-0263-4MathSciNetView ArticleGoogle Scholar
  12. Chen YQ, Kim JK: Existence results for systems of vector equilibrium problems. J. Glob. Optim. 2006, 35(1):71–83. 10.1007/s10898-005-1654-1View ArticleGoogle Scholar
  13. Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. In Theory and Applications of Nonlinear Operator of Accretive and Monotone Type. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.Google Scholar
  14. Alber YI, Reich S: An iterative method for solving a class of nonlinear operator equations in Banach spaces. Panam. Math. J. 1994, 4: 39–54.MathSciNetGoogle Scholar
  15. Wu KQ, Huang NJ: The generalized f -projection operator with application. Bull. Aust. Math. Soc. 2006, 73: 307–317. 10.1017/S0004972700038892View ArticleGoogle Scholar
  16. Fan JH, Liu X, Li JL: Iterative schemes for approximating solutions of generalized variational inequalities in Banach space. Nonlinear Anal. 2009, 70: 3997–4007. 10.1016/j.na.2008.08.008MathSciNetView ArticleGoogle Scholar
  17. Li X, Huang N, O’Regan D: Strong convergence theorems for relatively nonexpansive mappings in Banach spaces with applications. Comput. Math. Appl. 2010, 60: 1322–1331. 10.1016/j.camwa.2010.06.013MathSciNetView ArticleGoogle Scholar
  18. Deimling K: Nonlinear Function Analysis. Springer, Berlin; 1985.View ArticleMATHGoogle Scholar
  19. Kim JK: Strong convergence theorems by hybrid projection methods for equilibrium problems and fixed point problems of the asymptotically quasi- ϕ -nonexpansive mappings. Fixed Point Theory Appl. 2011. 10.1186/1687-1812-2011-10Google Scholar
  20. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.MathSciNetGoogle Scholar
  21. Takahashi W, Zembayashi K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal. 2009, 70: 45–47. 10.1016/j.na.2007.11.031MathSciNetView ArticleGoogle Scholar

Copyright

Advertisement