Open Access

Strong convergence theorems on a viscosity approximation method for a finite family of pseudo-contractive mappings in Banach spaces

Journal of Inequalities and Applications20142014:124

https://doi.org/10.1186/1029-242X-2014-124

Received: 25 June 2013

Accepted: 13 March 2014

Published: 28 March 2014

Abstract

In this paper, a new viscosity iterative process, which converges strongly to a common element of the set of fixed points of a finite family of pseudo-contractive mappings more general than non-expansive mappings, is introduced in Banach spaces. Strong convergence theorems are obtained under milder conditions. The results presented in this paper extend and unify most of the results that have been proposed for this class of nonlinear mappings.

MSC: 47H09, 47H10, 47L25.

Keywords

pseudo-contractive mappings fixed point viscosity approximation strong convergence

1 Introduction

Let E be a real Banach space with dual E . A normalized duality mapping J : E 2 E is defined by
J x = { f E : x , f = x 2 = f 2 } ,
(1.1)

where , denotes the generalized duality pairing. It is well known that E is smooth if and only if J is single-valued, and if E is uniformly smooth, then J is uniformly continuous on bounded subsets of E.

Let C be a closed convex subset of the Banach space E. A mapping T : C C is called non-expansive if
T x T y x y , x , y C .
(1.2)
A mapping T is said to be pseudo-contractive if for any x , y D ( T ) , there exists j ( x y ) J ( x y ) such that
T x T y , j ( x y ) x y 2 .
(1.3)
A mapping T is said to be κ-strictly pseudo-contractive if for any x , y D ( T ) , there exist j ( x y ) J ( x y ) and a constant 0 κ 1 such that
x y ( T x T y ) , j ( x y ) κ ( I T ) x ( I T ) y 2 .
(1.4)

Clearly, the class of pseudo-contractive mappings includes the class of strict pseudo-contractive mappings and non-expansive mappings. We denote by F ( T ) the set of fixed points of T, that is, F ( T ) = { x C : T x = x } .

An operator A : C E is called accretive if there exists j ( x y ) J ( x y ) such that
A x A y , j ( x y ) 0 , x , y C .
(1.5)
We observe that A is accretive if and only if T : = I A is pseudo-contractive, where I is the identity mapping on C, and thus a zero of A, N ( A ) : = { x D ( A ) : A x = 0 } , is a fixed point of T. It is now well known that if A is accretive, then the solutions of the equation A x = 0 correspond to the equilibrium points of some evolution systems. Consequently, considerable research efforts have been devoted to iterative methods for approximating fixed points of T when T is pseudo-contractive (see, e.g., [13] and the references contained therein). A mapping f : C C is called contractive with a contraction coefficient if there exists a constant ρ ( 0 , 1 ) such that
f ( x ) f ( y ) ρ x y , x , y C .
(1.6)
For finding an element of the set of fixed points of non-expansive mappings, Halpern [4] was the first to study the convergence of the scheme in 1967:
x n + 1 = α n + 1 u + ( 1 α n + 1 ) T ( x n ) .
(1.7)

Viscosity approximation methods are very important because they are applied to convex optimization, linear programming, monotone inclusions and elliptic differential equations. In a Hilbert space, many authors have studied fixed point problems for pseudo-contractive mappings by the viscosity approximation methods and obtained a series of good results (see [13, 518]).

In 2000, Moudafi [19] introduced viscosity approximation methods and proved the strong convergence of the following iterative algorithm in a Hilbert space under some suitable conditions:
x n + 1 = α n f ( x n ) + ( 1 α n ) T ( x n ) .
(1.8)

Moudafi [19] generalized Halpern’s theorems in the direction of viscosity approximations.

In 2008, Yao et al. [6] proposed the following modified Mann iterations for non-expansive mappings:
{ y n = β n x n + ( 1 β n ) T x n , x n + 1 = α n f ( x n ) + ( 1 α n ) y n , n 0 ,
(1.9)

and obtained strong convergence theorems for a common fixed point of non-expansive mappings.

Recently, Zegeye [20] introduced the following algorithm:
x n + 1 = α n f ( x n ) + ( 1 α n ) T r n F r n x n ,
(1.10)

where T r n , F r n are non-expansive mappings, and obtained a strong convergence theorem but still in a Hilbert space.

On the other hand, for obtaining strong convergence theorems for a family of finite non-expansive mappings, Takahashi [12] defined the following mapping W n :
{ U n , 1 = α n , 1 T 1 + ( 1 α n , 1 ) I , U n , 2 = α n , 2 T 2 U n , 1 + ( 1 α n , 2 ) I , W n : = U n , m = α n , m T m U n , m 1 + ( 1 α n , m ) I ,
(1.11)

where { T i , i = 1 , 2 , , m } are non-expansive mappings, and F ( W n ) = i = 1 m F ( T i ) .

Our concern now is the following: Is it possible to construct a new sequence in Banach spaces which converges strongly to a common element of fixed points of a finite family of pseudo-contractive mappings?

In this paper, motivated and inspired by the above results, we introduce a new iteration scheme in Banach spaces which converges strongly to a common element of the set of fixed points of continuous pseudo-contractive mappings more general than non-expansive mappings. This provides affirmative answer to the above concern. Our theorems extend and unify most of the results that have been proposed for this class of nonlinear mappings.

2 Preliminaries

Let E be a real Banach space with dual E , C be a closed convex subset of E. Let S = { x E : x = 1 } denote the unit sphere of E. The space E is said to have a Gâteaux differentiable norm if the limit lim t 0 x + t y x t exists for each x , y S and in this case E is said to be smooth. E is said to be uniformly Gâteaux differentiable if for each y S , the limit above is uniformly attained for x S .

In the proof of our main results, we also need the following definitions and results.

Let μ be a continuous linear functional on l satisfying μ = 1 = μ ( 1 ) . Then we know that μ is a mean on N if and only if
inf { a n ; n N } μ ( a ) sup { a n ; n N } , a = ( a 1 , a 2 , ) l .
(2.1)

According to time and circumstances, we use μ n ( a n ) instead of μ ( a ) . A mean μ on N is called a Banach limit if μ n ( a n ) = μ n ( a n + 1 ) for every a = ( a 1 , a 2 , ) l .

Define a map φ : E R by φ ( y ) = μ n x n y 2 , { x n } E is an arbitrary bounded sequence, then φ ( y ) is convex and continuous, and φ ( y ) as y . If E is reflexive, there exists z C such that φ ( z ) = inf y C φ ( y ) (see [21]). So the set
C min = { z C ; φ ( z ) = inf y C φ ( y ) } .
(2.2)

Clearly, C min is a closed convex subset of E.

In the sequel, we shall use the following lemmas.

Lemma 2.1 [7, 22]

Let C be a nonempty closed convex subset of a Banach space E with a uniformly Gâteaux differentiable norm. Let { x n } be a bounded sequence of E, and let μ n be a Banach limit and z C . Then
μ n x n z 2 = min y C μ n x n y 2
if and only if
μ n y z , J ( x n z ) 0 , y C .

Lemma 2.2 [6, 7]

Let α be a real number and ( x 0 , x 1 , ) l for all Banach limits satisfying μ n x n α . If lim sup n ( x n + 1 x n ) 0 , then lim sup n x n α .

Lemma 2.3 [8]

Let { a n } be a sequence of nonnegative real numbers satisfying the following relation:
a n + 1 ( 1 θ n ) a n + σ n , n 0 ,
where { θ n } is a sequence in ( 0 , 1 ) and { σ n } is a real sequence such that
  1. (i)

    n = 0 θ n = ;

     
  2. (ii)

    lim sup n σ n θ n 0 or n = 0 σ n < .

     

Then lim n a n = 0 .

Lemma 2.4 [10]

Let { x n } and { z n } be bounded sequences in a Banach space, and let { β 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 , n 0 ,
and
lim n ( z n + 1 z n x n + 1 x n ) 0 .

Then lim n z n x n = 0 .

Lemma 2.5 [23]

Let E be a real Banach space with dual E , J : E 2 E be the generalized duality pairing, then, x , y E ,
x + y 2 x 2 + 2 y , j ( x + y ) , j ( x + y ) J ( x + y ) .

Moreover, by a similar argument as in the proof of Lemmas 3.1 and 3.2 of [24], we get the following lemmas.

Lemma 2.6 Let C be a nonempty closed convex subset of a uniformly smooth strictly convex real Banach space E. Let T : C E be a continuous pseudo-contractive mapping. Then, for r > 0 and x E , there exists z C such that
j ( y z ) , T z 1 r j ( y z ) , ( 1 + r ) z x 0 , y C .

Proof Let x C and r > 0 . Let A : = I T , clearly A is a continuous accretive mapping. Thus, by a similar argument as in [24], the lemma holds. □

Lemma 2.7 Let C be a nonempty closed convex subset of a uniformly smooth strictly convex real Banach space E. Let T : C E be a continuous pseudo-contractive mapping, define the mapping T r as follows: x E , r ( 0 , )
T r ( x ) = { z C : j ( y z ) , T z 1 r j ( y z ) , ( 1 + r ) z x 0 , y C } .
Then the following hold:
  1. (i)

    T r is single-valued;

     
  2. (ii)

    T r is a non-expansive mapping;

     
  3. (iii)

    F ( T r ) = F ( T ) ;

     
  4. (iv)

    F ( T ) is closed and convex.

     

Proof Let A : = I T , we note that A is a continuous accretive mapping and that j ( y z ) , T z 1 r j ( y z ) , ( 1 + r ) z x 0 is equivalent to j ( y z ) , A z + 1 r j ( y z ) , z x 0 . Thus, by a similar argument as in [24], the conclusions of (i)-(iv) hold. □

3 Main results

Let C be a nonempty, closed and convex subset of a smoothly, strictly convex and reflexive real Banach space E with dual E . Let { T i : C C , i = 1 , 2 , , m } be a finite family of continuous pseudo-contractive mappings. For the rest of this article, T i r n x and W n are defined as follows: for x E , r n ( 0 , ) ,
T i r n ( x ) : = { z C : j ( y z ) , T i z 1 r n j ( y z ) , ( 1 + r n ) z x 0 , y C } ,
(3.1)
{ U n , 1 = α n , 1 T 1 r n + ( 1 α n , 1 ) I , U n , 2 = α n , 2 T 2 r n U n , 1 + ( 1 α n , 2 ) I , W n : = U n , m = α n , m T m r n U n , m 1 + ( 1 α n , m ) I .
(3.2)

We know from Lemma 2.7 and Takahashi [12] that T i r n and W n are firmly non-expansive mappings and F ( W n ) = i = 1 m F ( T i r n ) = i = 1 m F ( T i ) . Denote F : = F ( W n ) .

Theorem 3.1 Let C be a nonempty closed convex subset of a uniformly smooth strictly convex real Banach space E. Let { T i : C C , i = 1 , 2 , , m } be a finite continuous pseudo-contractive mapping, for each bounded sequence x n and for each Banach limit μ n , C min is defined as (2.2) satisfying F C min . Let f : C C be a contraction with a contraction coefficient ρ ( 0 , 1 ) . The mappings T i r n and W n are defined as (3.1) and (3.2), respectively. Let { x n } be a sequence generated by x 0 C :
{ y n = λ n x n + ( 1 λ n ) W n x n , x n + 1 = α n f ( x n ) + β n x n + γ n y n ,
(3.3)
where λ n [ 0 , 1 ] , { α n } , { β n } , { γ n } are sequences of nonnegative real numbers in [ 0 , 1 ] and
  1. (i)

    α n + β n + γ n = 1 , n 0 ;

     
  2. (ii)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (iii)

    0 < lim inf n λ n lim sup n λ n < 1 ;

     
  4. (iv)

    lim n ( α n , i α n 1 , i ) = 0 ; lim n | r n + 1 r n | = 0 .

     

Then the sequence { x n } converges strongly to a common fixed point of { T i : C C , i = 1 , 2 , , m } .

Proof First we prove that { x n } is bounded. Take p F C min , because W n is non-expansive, then we have that
y n p λ n x n p + ( 1 λ n ) W n x n W n p x n p .
(3.4)
For n 0 , because f is contractive, we have from (3.4) that
x n + 1 p = α n ( f ( x n ) p ) + β n ( x n p ) + γ n ( y n p ) α n f ( x n ) f ( p ) + α n f ( p ) p + β n x n p + γ n y n p ρ α n x n p + α n f ( p ) p + ( 1 α n ) x n p [ 1 ( 1 ρ ) α n ] x n p + α n f ( p ) p max { x 0 p , f ( p ) p 1 ρ } .

Therefore, { x n } is bounded. Consequently, we get that { W n x n } and { y n } , { f ( x n ) } are bounded.

Next, we show that x n + 1 x n 0 . Let x n + 1 = β n x n + ( 1 β n ) z n . Hence we have that
z n + 1 z n = α n + 1 1 β n + 1 ( f ( x n + 1 ) f ( x n ) ) + ( α n + 1 1 β n + 1 α n 1 β n ) f ( x n ) + γ n + 1 1 β n + 1 ( y n + 1 y n ) + ( γ n + 1 1 β n + 1 γ n 1 β n ) y n .
(3.5)
Because y n = λ n x n + ( 1 λ n ) W n x n , so we have that
y n + 1 y n λ n + 1 x n + 1 x n + ( 1 λ n + 1 ) W n + 1 x n + 1 W n x n + | λ n + 1 λ n | x n W n x n x n + 1 x n + ( 1 λ n + 1 ) W n + 1 x n W n x n + | λ n + 1 λ n | x n W n x n x n + 1 x n + W n + 1 x n W n x n + | λ n + 1 λ n | x n W n x n .
(3.6)
Because T i r n and U n , m are non-expansive mappings, we have from (3.2) that
W n + 1 x n W n x n = α n + 1 , m T m r n + 1 U n + 1 , m 1 x n + ( α n , m α n + 1 , m ) x n α n , m T m r n U n , m 1 x n | α n + 1 , m α n , m | { x n + T m r n U n , m 1 x n } + α n + 1 , m T m r n + 1 U n + 1 , m 1 x n T m r n U n , m 1 x n 2 M | α n + 1 , m α n , m | + α n + 1 , m T m r n + 1 U n + 1 , m 1 x n T m r n U n , m 1 x n 2 M | α n + 1 , m α n , m | + T m r n + 1 U n + 1 , m 1 x n T m r n U n , m 1 x n ,
(3.7)

where M = max { x n , sup 0 i m 2 T m i , r n U n , m ( i + 1 ) x n } .

Let u n = T m r n v n , u n + 1 = T m r n + 1 v n + 1 , v n = U n , m 1 x n , v n + 1 = U n + 1 , m 1 x n , by the definition of mapping T i r n , we have that
j ( y u n ) , T m u n 1 r n j ( y u n ) , ( 1 + r n ) u n v n 0 , y C ,
(3.8)
j ( y u n + 1 ) , T m u n + 1 1 r n + 1 j ( y u n + 1 ) , ( 1 + r n + 1 ) u n + 1 v n + 1 0 , y C .
(3.9)
Let y : = u n + 1 in (3.8), and let y : = u n in (3.9), we have that
j ( u n + 1 u n ) , T m u n 1 r n j ( u n + 1 u n ) , ( 1 + r n ) u n v n 0 ,
(3.10)
j ( u n u n + 1 ) , T m u n + 1 1 r n + 1 j ( u n u n + 1 ) , ( 1 + r n + 1 ) u n + 1 v n + 1 0 .
(3.11)
Adding (3.10) and (3.11), and because T m is pseudo-contractive, we have that
j ( u n + 1 u n ) , u n v n r n u n + 1 v n + 1 r n + 1 0 .
Therefore we have
j ( u n + 1 u n ) , u n v n r n ( u n + 1 v n + 1 ) r n + 1 + u n + 1 u n + 1 0 .
Without loss of generality, let b be a real number such that r n > b > 0 , n N , hence we have that
u n + 1 u n v n + 1 v n + 1 b | r n + 1 r n | M 1 ,
(3.12)

where M 1 = sup 2 i m { T i , r n U n , i 1 x n + U n , i 1 x n } .

Since v n = U n , m 1 x n , v n + 1 = U n + 1 , m 1 x n , so we have that
v n + 1 v n = α n + 1 , m 1 T m 1 r n + 1 U n + 1 , m 2 x n + ( α n , m 1 α n + 1 , m 1 ) x n α n , m 1 T m 1 r n U n , m 2 x n | α n + 1 , m 1 α n , m 1 | { x n + T m 1 r n U n , m 2 x n } + α n + 1 , m 1 T m 1 r n + 1 U n + 1 , m 2 x n T m 1 r n U n , m 2 x n 2 M | α n + 1 , m 1 α n , m 1 | + α n + 1 , m 1 T m 1 r n + 1 U n + 1 , m 2 x n T m 1 r n U n , m 2 x n .
(3.13)
By the definition of T i r n , repeating steps from (3.8) to (3.12), we have that
T m 1 r n + 1 U n + 1 , m 2 x n T m 1 r n U n , m 2 x n U n + 1 , m 2 x n U n , m 2 x n + 1 b | r n + 1 r n | M 1 .
(3.14)
Consequently, we have from (3.12) and (3.13), (3.14) that
u n + 1 u n 2 M | α n + 1 , m 1 α n , m 1 | + α n + 1 , m 1 { U n + 1 , m 2 x n U n , m 2 x n + 1 b | r n + 1 r n | M 1 } + 1 b | r n + 1 r n | M 1 2 M | α n + 1 , m 1 α n , m 1 | + U n + 1 , m 2 x n U n , m 2 x n + 2 b | r n + 1 r n | M 1 2 M i = 2 m 1 | α n + 1 , i α n , i | + m 1 b | r n + 1 r n | M 1 + U n + 1 , 1 x n U n , 1 x n .
(3.15)
From (3.2) we have that
U n + 1 , 1 x n U n , 1 x n = ( α n , 1 α n + 1 , 1 ) x n + α n + 1 , 1 T 1 r n + 1 x n α n , 1 T 1 r n x n 2 M | α n + 1 , 1 α n , 1 | + T 1 r n + 1 x n T 1 r n x n .
(3.16)
By the definition of T i r n , repeating steps from (3.8) to (3.12), we have that
T 1 r n + 1 x n T 1 r n x n | r n + 1 r n | b M 2 ,
(3.17)
where M 2 = max { M 1 , sup { T 1 r n x n + x n } } . Substituting (3.17) into (3.16), (3.16) into (3.15), (3.15) into (3.7), we have that
W n + 1 x n W n x n 2 M i = 1 m | α n + 1 , i α n , i | + m b | r n + 1 r n | M 2 .
(3.18)
Hence we have from (3.5)-(3.7) and (3.18) that
z n + 1 z n x n + 1 x n ( ρ 1 ) α n + 1 1 β n + 1 x n + 1 x n + γ n + 1 1 β n + 1 ( 2 M i = 1 N | α n + 1 , i α n , i | + m b | r n + 1 r n | M 2 ) + | α n + 1 1 β n + 1 α n 1 β n | { f ( x n ) + y n } + γ n + 1 1 β n + 1 | λ n + 1 λ n | x n W n x n .
Notice conditions (ii) and (iii), (iv), we have that
lim sup n ( z n + 1 z n x n + 1 x n ) = 0 .
Hence we have from Lemma 2.4 that
lim sup n z n x n = 0 .
(3.19)
Therefore we have that
x n + 1 x n = | 1 β n | z n x n 0 .
(3.20)
Finally we show that { x n } converges strongly to p F C min . Because μ n x n p 2 = inf y C μ n x n y 2 , we have from Lemma 2.1 that
μ n f ( p ) p , J ( x n p ) 0 .
(3.21)
Due to the norm-weak uniform continuity of the duality mapping J, it follows from (3.20) that
lim n ( f ( p ) p , J ( x n + 1 p ) f ( p ) p , J ( x n p ) ) = 0 .
Hence, the sequence { f ( p ) p , J ( x n p ) } satisfies the conditions of Lemma 2.2. As a result, we must have
lim sup n f ( p ) p , J ( x n + 1 p ) 0 .
(3.22)
On the other hand, since f is contractive with a contraction coefficient ρ ( 0 , 1 ) , we have from (3.3), (3.4) and Lemma 2.5 that
x n + 1 p 2 = α n ( f ( x n ) p ) + β n ( x n p ) + γ n ( y n p ) 2 β n ( x n p ) + γ n ( y n p ) 2 + 2 α n f ( x n ) p , J ( x n + 1 p ) ( 1 α n ) 2 x n p 2 + 2 α n f ( x n ) f ( p ) , J ( x n + 1 p ) + 2 α n f ( p ) p , J ( x n + 1 p ) ( 1 α n ) 2 x n p 2 + 2 ρ α n x n p x n + 1 p + 2 α n f ( p ) p , J ( x n + 1 p ) ( 1 α n ) 2 x n p 2 + ρ α n [ x n p 2 + x n + 1 p 2 ] + 2 α n f ( p ) p , J ( x n + 1 p ) ,
that is,
x n + 1 p 2 [ 1 2 ( 1 ρ ) α n 1 ρ α n ] x n p 2 + 2 α n 1 ρ α n f ( p ) p , J ( x n + 1 p ) + α n 2 1 ρ α n x n p 2 .
(3.23)

Let θ n = 2 ( 1 ρ ) α n 1 ρ α n , σ n = 2 α n 1 ρ α n f ( p ) p , J ( x n + 1 p ) + α n 2 1 ρ α n x n p 2 . Since { x n } is bounded, according to Lemma 2.3 and formula (3.23), we have that lim n x n p = 0 , i.e., the sequence { x n } converges strongly to a common fixed point of T i : C C , i = 1 , 2 , , m . □

Theorem 3.2 Let C be a nonempty closed convex subset of a uniformly smooth strictly convex real Banach space E. Let { T i : C C , i = 1 , 2 , , m } be a finite family of continuous pseudo-contractive mappings, for each bounded sequence x n and for each Banach limit μ n , C min is defined as (2.2) satisfying F C min , f : C C is a contraction with a contraction coefficient ρ ( 0 , 1 ) . The mappings T i r n and W n are defined as (3.1) and (3.2), respectively. Let { x n } be a sequence generated by x 0 C
{ y n = λ n x n + ( 1 λ n ) W n x n , x n + 1 = α n f ( x n ) + β n x n + γ n y n ,
(3.24)
where λ n [ 0 , 1 ] , { α n } , { β n } , { γ n } are sequences of nonnegative real numbers in [ 0 , 1 ] and
  1. (i)

    α n + β n + γ n = 1 , n 0 ;

     
  2. (ii)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (iii)

    lim n λ n = 1 ;

     
  4. (iv)

    lim n ( α n , i α n 1 , i ) = 0 ; lim n | r n + 1 r n | = 0 .

     

Then the sequence { x n } converges strongly to a common fixed point of { T i : C C , i = 1 , 2 , , m } .

Proof Take p F C min , from (3.24) we can obtain
x n + 1 x n = α n f ( x n ) + β n x n + γ n y n p α n f ( x n ) x n + γ n ( 1 λ n ) W n x n x n .

Notice the boundedness of the sequences { x n } and { W n x n } . According to conditions (ii) and (iii), we have lim n x n + 1 x n = 0 . Similar to Theorem 3.1, we can obtain the result. □

If in Theorem 3.1 and Theorem 3.2 we let f : u C be a constant mapping, we have the following corollary.

Corollary 3.3 Let C be a nonempty closed convex subset of a uniformly smooth strictly convex real Banach space E. Let { T i : C C , i = 1 , 2 , , m } be a finite family of continuous pseudo-contractive mappings, for each bounded sequence x n and for each Banach limit μ n , C min is defined as (2.2) satisfying F C min . The mappings T i r n and W n are defined as (3.1) and (3.2), respectively. Let { x n } be a sequence generated by x 0 C
{ y n = λ n x n + ( 1 λ n ) W n x n , x n + 1 = α n u + β n x n + γ n y n ,
(3.25)
where λ n [ 0 , 1 ] , { α n } , { β n } , { γ n } are the sequences of nonnegative real numbers in [ 0 , 1 ] and
  1. (i)

    α n + β n + γ n = 1 , n 0 ;

     
  2. (ii)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (iii)

    0 < lim inf n λ n lim sup n λ n < 1 or lim n λ n = 1 ;

     
  4. (iv)

    lim n ( α n , i α n 1 , i ) = 0 ; lim n | r n + 1 r n | = 0 .

     

Then the sequence { x n } converges strongly to a common fixed point of { T i : C C , i = 1 , 2 , , m } .

Theorem 3.4 Let C be a nonempty closed convex subset of a uniformly smooth strictly convex real Banach space E. Let T : C C be a continuous pseudo-contractive mapping for each bounded sequence x n and for each Banach limit μ n , C min be defined as (2.2) satisfying F ( T ) C min , f : C C be a contraction with a contraction coefficient ρ ( 0 , 1 ) . Mapping T r n is defined as follows: x C , r n ( 0 , )
T r n ( x ) = { z C : j ( y z ) , T z 1 r n j ( y z ) , ( 1 + r n ) z x 0 , y C } .
Let { x n } be a sequence generated by x 0 C
{ y n = λ n x n + ( 1 λ n ) T r n x n , x n + 1 = α n f ( x n ) + β n x n + γ n y n ,
(3.26)
where λ n [ 0 , 1 ] and { α n } , { β n } , { γ n } are the sequences of nonnegative real numbers in [ 0 , 1 ] and
  1. (i)

    α n + β n + γ n = 1 , n 0 ;

     
  2. (ii)

    lim n α n = 0 , n = 1 α n = ;

     
  3. (iii)

    0 < lim inf n λ n lim sup n λ n < 1 or lim n λ n = 1 ;

     
  4. (iv)

    lim n | r n + 1 r n | = 0 .

     

Then the sequence x n converges strongly to a fixed point of T.

Proof Putting α n , i = 1 in (3.2), we have W n = T r , n ; from Lemma 2.4 and Theorems 3.1 and 3.2, we can obtain the result. □

Declarations

Acknowledgements

Article is supported by the National Science Foundation of China (11001287) and Natural Science Foundation Project of Chongqing (CSTC, 2012jjA00039) and Science and Technology Research Project of Chongqing Municipal Education Commission (KJ130712, KJ130731).

Authors’ Affiliations

(1)
College of Mathematics and Statistics, Chongqing Technology and Business University

References

  1. Chidume CE, Mutangadura SA: An example of the Mann iteration method for Lipschitz pseudocontractions. Proc. Am. Math. Soc. 2001, 129: 2359–2363. 10.1090/S0002-9939-01-06009-9MathSciNetView ArticleGoogle Scholar
  2. Ishikawa S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5MathSciNetView ArticleGoogle Scholar
  3. Zhou HY, Wei L, Cho YJ: Strong convergence theorems on an iterative method for a family of finite nonexpansive mappings in reflexive Banach spaces. Appl. Math. Comput. 2006, 173: 196–212. 10.1016/j.amc.2005.02.049MathSciNetView ArticleGoogle Scholar
  4. Halpern B: Fixed points of nonexpanding maps. Bull. Am. Math. Soc. 1967, 73: 957–961. 10.1090/S0002-9904-1967-11864-0View ArticleGoogle Scholar
  5. Yao Y: A general iterative method for a finite family of nonexpansive mappings. Nonlinear Anal. 2007, 66: 2676–2687. 10.1016/j.na.2006.03.047MathSciNetView ArticleGoogle Scholar
  6. Yao Y, Chen R, Yao JC: Strong convergence and certain conditions for modified Mann iteration. Nonlinear Anal. 2008, 68: 1687–1693. 10.1016/j.na.2007.01.009MathSciNetView ArticleGoogle Scholar
  7. Chang SS, Joseph Lee HW, Chan CK: On Reich’s strong convergence theorem for asymptotically nonexpansive mappings in Banach spaces. Nonlinear Anal. 2007, 66: 2364–2374. 10.1016/j.na.2006.03.025MathSciNetView ArticleGoogle Scholar
  8. Xu HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl. 2004, 298: 279–291. 10.1016/j.jmaa.2004.04.059MathSciNetView ArticleGoogle Scholar
  9. Song Y: A new sufficient condition for the strong convergence of Halpern type iterations. Appl. Math. Comput. 2008, 198: 721–728. 10.1016/j.amc.2007.09.010MathSciNetView ArticleGoogle Scholar
  10. Suzuki T: Strong convergence of Krasnoselskii and Mann’s type sequences for one-parameter nonexpansive semigroups without Bochner integrals. J. Math. Anal. Appl. 2005, 305: 227–239. 10.1016/j.jmaa.2004.11.017MathSciNetView ArticleGoogle Scholar
  11. Suzuki T: Strong convergence of Krasnoselskii and Mann’s type sequences for one-parameter non-expansive semigroups without Bochner integrals. J. Math. Anal. Appl. 2005, 305: 227–239. 10.1016/j.jmaa.2004.11.017MathSciNetView ArticleGoogle Scholar
  12. Atsushiba S, Takahashi W: Strong convergence theorems for a finite family of non-expansive mappings and applications. Indian J. Math. 1999, 41: 435–453.MathSciNetGoogle Scholar
  13. Xu HK: An iterative approach to quadratic optimization. J. Optim. Theory Appl. 2003, 116: 659–678. 10.1023/A:1023073621589MathSciNetView ArticleGoogle Scholar
  14. Lou J, Zhang L, He Z: Viscosity approximation methods for asymptotically nonexpansive mappings. Appl. Math. Comput. 2008, 203: 171–177. 10.1016/j.amc.2008.04.018MathSciNetView ArticleGoogle Scholar
  15. Ceng LC, Xu HK, Yao JC: The viscosity approximation method for asymptotically nonexpansive mappings in Banach spaces. Nonlinear Anal. 2008, 69: 1402–1412. 10.1016/j.na.2007.06.040MathSciNetView ArticleGoogle Scholar
  16. Song Y, Chen R: Strong convergence theorems on an iterative method for a family of finite non-expansive mappings. Appl. Math. Comput. 2006, 180: 275–287. 10.1016/j.amc.2005.12.013MathSciNetView ArticleGoogle Scholar
  17. Zegeye H, Shahzad N: Strong convergence for monotone mappings and relatively weak nonexpansive mappings. Nonlinear Anal. 2009, 70: 2707–2716. 10.1016/j.na.2008.03.058MathSciNetView ArticleGoogle Scholar
  18. Wen DJ, Deng L: Approximate methods and theorems of common fixed-points for a finite family of nonexpansive mappings. Acta Math. Sci. 2012,32(3):540–546.MathSciNetGoogle Scholar
  19. Moudifi A: Viscosity approximation methods for fixed point problems. J. Math. Anal. Appl. 2000, 241: 46–55. 10.1006/jmaa.1999.6615MathSciNetView ArticleGoogle Scholar
  20. Zegeye H, Shahzad N: Strong convergence of an iterative method for pseudo-contractive and monotone mappings. J. Glob. Optim. 2012, 54: 173–184. 10.1007/s10898-011-9755-5MathSciNetView ArticleGoogle Scholar
  21. Takahashi W: Non-linear Functional Analysis-Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama; 2000.Google Scholar
  22. Takahashi W, Toyoda M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 2003, 118: 417–428. 10.1023/A:1025407607560MathSciNetView ArticleGoogle Scholar
  23. Plubtieng S, Punpaeng R: Fixed-point solutions of variational inequalities for nonexpansive semigroups in Hilbert spaces. Math. Comput. Model. 2008, 48: 279–286. 10.1016/j.mcm.2007.10.002MathSciNetView ArticleGoogle Scholar
  24. Zegeye H: An iterative approximation method for a common fixed point of two pseudocontractive mappings. ISRN Math. Anal. 2011. 10.5402/2011/621901Google Scholar

Copyright

© Tang; licensee Springer. 2014

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.