Skip to main content

Strong and weak convergence theorems for an infinite family of nonexpansive mappings and applications

Abstract

In this paper, let E be a reflexive and strictly convex Banach space which either is uniformly smooth or has a weakly continuous duality map. We consider the hybrid viscosity approximation method for finding a common fixed point of an infinite family of nonexpansive mappings in E. We prove the strong convergence of this method to a common fixed point of the infinite family of nonexpansive mappings, which solves a variational inequality on their common fixed point set. We also give a weak convergence theorem for the hybrid viscosity approximation method involving an infinite family of nonexpansive mappings in a Hilbert space.

MSC:47H17, 47H09, 47H10, 47H05.

1 Introduction

Let C be a nonempty closed convex subset of a (real) Banach space E, and let T:CC be a nonlinear mapping. Denote by F(T) the set of fixed points of T i.e.F(T)={xC:Tx=x}. Recall that T is nonexpansive if

TxTyxy,x,yC.

A self-mapping f:CC is said to be a contraction on C if there exists a constant α in (0,1) such that

f ( x ) f ( y ) αxy,x,yC.

As in [1], we use the notation Π C to denote the collection of all contractions on C i.e.

Π C ={f:CCis a contraction}.

Note that each f in Π C has a unique fixed point in C.

One classical way to study a nonexpansive mapping T:CC is to use contractions to approximate T[24]. More precisely, for each t in (0,1) we define a contraction T t :CC by

T t x=tu+(1t)Tx,xC,

where u in C is an arbitrary but fixed point. Banach’s contraction mapping principle guarantees that T t has a unique fixed point x t in C. It is unclear, in general, how x t behaves as t 0 + , even if T has a fixed point. However, in the case E=H a Hilbert space and T having a fixed point, Browder [2] proved that x t converges strongly to a fixed point of T. Reich [3] extends Browder’s result and proves that if E is a uniformly smooth Banach space, then x t converges strongly to a fixed point of T and the limit defines the (unique) sunny nonexpansive retraction uQ(u) from C onto F(T). Xu [4] proved that Browder’s results hold in reflexive Banach spaces with weakly continuous duality mappings. See Section 2 for definitions and notations.

Recall that the original Mann’s iterative process was introduced in [5] in 1953. Let T:CC be a map of a closed and convex subset C of a Hilbert space. The original Mann’s iterative process generates a sequence { x n } in the following manner:

{ x 1 C chosen arbitrarily , x n + 1 = ( 1 α n ) x n + α n T x n , n 1 ,
(1.1)

where the sequence { α n } lies in the interval (0,1). If T is a nonexpansive mapping with a fixed point and the control sequence { α n } is chosen so that n = 0 α n (1 α n )=+, then the sequence { x n } generated by original Mann’s iterative process (1.1) converges weakly to a fixed point of T (this is also valid in a uniformly convex Banach space with a Frechet differentiable norm [6]). In an infinite-dimensional Hilbert space, the original Mann’s iterative process guarantees only the weak convergence. Therefore, many authors try to modify the original Mann’s iterative process to ensure the strong convergence for nonexpansive mappings (see [3, 713] and the references therein).

Kim and Xu [14] proposed the following simpler modification of the original Mann’s iterative process: Let C be a nonempty closed convex subset of a Banach space E and T:CC a nonexpansive mapping such that F(T). For an arbitrary x 0 in C, define { x n } in the following way:

{ y n = α n x n + ( 1 α n ) T x n , x n + 1 = β n u + ( 1 β n ) y n , n 0 ,
(1.2)

where u in C is an arbitrary but fixed element in C, and { α n } and { β n } are two sequences in (0,1). The modified Mann’s Iteration scheme (1.2) is a convex combination of a particular point u in C and the original Mann’s iterative process (1.1). There is no additional projection involved in iteration scheme (1.2). They proved a strong convergence theorem for the iteration scheme (1.2) under some control conditions on the parameters α n ’s and β n ’s.

Recently, Yao, Chen and Yao [12] combined the viscosity approximation method [1] and the modified Mann’s iteration scheme [14] to develop the following hybrid viscosity approximation method. Let C be a nonempty closed convex subset of a Banach space E, let T:CC a nonexpansive mapping such that F(T), and let f Π C . For any arbitrary but fixed point x 0 in C, define { x n } in the following way:

{ y n = α n x n + ( 1 α n ) T x n , x n + 1 = β n f ( x n ) + ( 1 β n ) y n , n 0 ,
(1.3)

where { α n } and { β n } are two sequences in (0,1). They proved under certain different control conditions on the sequences { α n } and { β n } that { x n } converges strongly to a fixed point of T. Their result extends and improves the main results in Kim and Xu [14].

Under the assumption that no parameter sequence converges to zero, Ceng and Yao [15] proved the strong convergence of the sequence { x n } generated by (1.3) to a fixed point of T, which solves a variational inequality on F(T).

Theorem 1.1 (See [15], Theorem 3.1])

Let C be a nonempty closed convex subset of a uniformly smooth Banach space E. LetT:CCbe a nonexpansive mapping withF(T), and letf Π C with a contractive constant α in(0,1). Given sequences{ α n }and{ β n }in[0,1]such that the following control conditions are satisfied:

(C1) 0 β n 1α, n n 0 for some integer n 0 1, and n = 0 β n =+;

(C2) 0< lim inf n α n lim sup n α n <1;

(C3) lim n ( β n + 1 1 ( 1 β n + 1 ) α n + 1 β n 1 ( 1 β n ) α n )=0.

For an arbitrary x 0 in C, let{ x n }be defined by (1.3). Then,

x n converges strongly to some Q ( f ) in F ( T ) β n ( f ( x n ) x n ) 0.

In this case, Q(f)F(T)solves the variational inequality

( I f ) Q ( f ) , J ( Q ( f ) p ) 0,f Π C ,pF(T).

On the other hand, a similar problem concerning a family of nonexpansive mappings has also been considered by many authors. The well-known convex feasibility problem reduces to finding a common fixed point of a family of nonexpansive mappings; see, e.g., [16, 17]. The problem of finding an optimal point that minimizes a given cost function over the common fixed point set of a family of nonexpansive mappings is of wide interdisciplinary interest and practical importance; see, e.g., [1820]. In particular, a simple algorithm solving the problem of minimizing a quadratic function over the common fixed point set of a family of nonexpansive mappings is of extreme value in many applications including set theoretic signal estimation; see, e.g., [20, 21].

Let T 1 , T 2 , be nonexpansive mappings of a nonempty closed and convex subset C of a Banach space E into itself. Let λ 1 , λ 2 , be real numbers in [0,1]. Qin, Cho, Kang and Kang [22] considered the nonexpansive mapping W n defined by

{ U n , n + 1 = I , U n , n = λ n T n U n , n + 1 + ( 1 λ n ) I , U n , n 1 = λ n 1 T n 1 U n , n + ( 1 λ n 1 ) I , U n , k = λ k T k U n , k + 1 + ( 1 λ k ) I , U n , k 1 = λ k 1 T k 1 U n , k + ( 1 λ k 1 ) I , U n , 2 = λ 2 T 2 U n , 3 + ( 1 λ 2 ) I , W n = U n , 1 = λ 1 T 1 U n , 2 + ( 1 λ 1 ) I , n 1 .
(1.4)

Motivated by [7, 8, 11, 12, 14, 23], they proposed the following iterative algorithm:

{ x 0 = x C chosen arbitrarily , y n = α n x n + ( 1 α n ) W n x n , x n + 1 = β n u + ( 1 β n ) y n , n 0 ,
(1.5)

where u in C is a given point. They proved

Theorem 1.2 (See [22], Theorem 2.1 and its proof])

Let C be a nonempty closed convex subset of a reflexive and strictly convex Banach space E with a weakly continuous duality map J φ with gauge φ. Let T i be a nonexpansive mapping from C into itself fori=1,2,. Assume thatF= i = 1 F( T i ). GivenuCand given sequences{ α n }, { β n }and{ λ n }in(0,1)satisfying

  1. (i)

    lim n β n =0 and n = 0 β n =+;

  2. (ii)

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

  3. (iii)

    0< λ n b<1, n1 for some b in (0,1).

Then the sequence{ x n }defined by (1.5) converges strongly to some pointQ(u)in F. Here, Q:CFthus defined is the unique sunny nonexpansive retraction of Reich type from C onto F, that is, Q(u)Fsolves the variational inequality

Q ( u ) u , J φ ( Q ( u ) p ) 0,uC,pF.

In this paper, let E be a reflexive and strictly convex Banach space which either is uniformly smooth or has a weakly continuous duality map J φ with gauge φ. Combining two iterative methods (1.3) and (1.5), we give the following hybrid viscosity approximation scheme. Let C be a nonempty closed convex subset of E, let T i :CC be a nonexpansive mapping for each i=1,2, , such that F= n = 1 F( T n ), and let f Π C . Define { x n } in the following way:

{ x 0 = x C chosen arbitrarily , y n = α n x n + ( 1 α n ) W n x n , x n + 1 = β n f ( x n ) + ( 1 β n ) y n , n 0 ,
(1.6)

where W n is defined by (1.4), { λ n } is a sequence in (0,1), and { α n } and { β n } are two sequences in [0,1]. It is proved under some appropriate control conditions on the sequences { λ n }{ α n } and { β n } that { x n } converges strongly to a common fixed point Q(f) of the infinite family of nonexpansive mappings T 1 , T 2 , , which solves a variational inequality on F= n = 1 F( T n ). Such a result includes Theorem 1.2 as a special case. Furthermore, we also give a weak convergence theorem for the hybrid viscosity approximation method (1.6) involving an infinite family of nonexpansive mappings T 1 , T 2 , in a Hilbert space H. The results presented in this paper can be viewed as supplements, improvements and extensions of some known results in the literature, e.g., [1, 7, 8, 1115, 2224].

2 Preliminaries

Let E be a (real) Banach space with the Banach dual space E in pairing ,. We write x n x to indicate that the sequence { x n } converges weakly to x, and x n x to indicate that { x n } converges strongly to x. The unit sphere of E is denoted by U={xE:x=1}.

The norm of E is said to be Gateaux differentiable (and E is said to be smooth) if

lim t 0 + x + t y x t
(2.1)

exists for every x,y in U. Recall that if E is reflexive, then E is smooth if and only if E is strictly convex, i.e., for every distinct x , y in E of norm one, there holds x + y /2<1. The norm of E is said to be uniformly Frechet differentiable (and E is said to be uniformly smooth) if the limit in (2.1) is attained uniformly for (x,y) in U×U. Every uniformly smooth Banach space E is reflexive and smooth.

The normalized duality mapping J from E into the family of nonempty (by Hahn-Banach theorem) weak* compact subsets of E is defined by

J(x)= { x E : x , x = x 2 = x 2 } ,xE.

If E is smooth then J is single-valued and norm-to-weak continuous. It is also well known that if E is uniformly smooth, then J is uniformly norm-to-norm continuous on bounded subsets of E.

In order to establish new strong and weak convergence theorems for hybrid viscosity approximation method (1.6), we need the following lemmas. The first lemma is a very well-known (subdifferential) inequality; see, e.g., [25].

Lemma 2.1 ([25])

Let E be a real Banach space and J the normalized duality map on E. Then, for any givenx,yin E, the following inequality holds:

x + y 2 x 2 +2 y , j ( x + y ) ,j(x+y)J(x+y).

Lemma 2.2 ([26], Lemma 2])

Let{ x n }and{ y n }be bounded sequences in a Banach space E, and let{ β n }be a sequence in[0,1]such that0< lim inf n β n lim sup n β n <1. Suppose x n + 1 =(1 β n ) y n + β n x n for all integersn0and lim sup n ( y n + 1 y n x n + 1 x n )0. Then, lim n y n x n =0.

Lemma 2.3 ([27])

Let { s n } be a sequence of nonnegative real numbers satisfying the condition

s n + 1 (1 μ n ) s n + μ n ν n ,n1,

where{ μ n }, { ν n }are sequences of real numbers such that

  1. (i)

    { μ n }[0,1] and n = 1 μ n =+, or equivalently,

    n = 1 (1 μ n ):= lim n k = 1 n (1 μ k )=0;
  2. (ii)

    lim sup n ν n 0, or n = 1 μ n ν n is convergent.

Then, lim n s n =0.

Recall that, if DC are nonempty subsets of a Banach space E such that C is nonempty, closed and convex, then a mapping Q:CD is sunny[28] provided Q(x+t(xQ(x)))=Q(x) for all x in C and t0 whenever x+t(xQ(x))C. A sunny nonexpansive retraction is a sunny retraction, which is also nonexpansive. Sunny nonexpansive retractions play an important role; see, e.g., [1, 22]. They are characterized as follows [28]: if E is a smooth Banach space, then Q:CD is a sunny nonexpansive retraction if and only if there holds the inequality

x Q x , J ( y Q x ) 0,xC,yD.

Lemma 2.4 ([1], Theorem 4.1])

Let E be a uniformly smooth Banach space, C be a nonempty closed convex subset of E, T:CCbe a nonexpansive mapping withF(T), andf Π C . Then{ x t }defined by

x t =tf( x t )+(1t)T x t ,t(0,1),

converges strongly to a point inF(T). DefineQ: Π C F(T)by

Q(f):= lim t 0 + x t .

Then, Q(f)solves the variational inequality

( I f ) Q ( f ) , J ( Q ( f ) p ) 0,pF(T).

In particular, iff=uCis a constant, then the mapuQ(u)is reduced to the sunny nonexpansive retraction of Reich type from C ontoF(T), i.e.,

Q ( u ) u , J ( Q ( u ) p ) 0,pF(T).

Recall that a gauge is a continuous strictly increasing function φ:[0,)[0,) such that φ(0)=0 and φ(t) as t. Associated to gauge φ is the duality map J φ :E 2 E defined by

J φ (x)= { x E : x , x = x φ ( x ) , x = φ ( x ) } ,xE.

Following Browder [29], we say that a Banach space E has a weakly continuous duality map if there exists gauge φ for which the duality map J φ is single-valued and weak-to-weak sequentially continuous. It is known that l p has a weakly continuous duality map with gauge φ(t)= t p 1 for all 1<p<+. Set

Φ(t)= 0 t φ(τ)dτ,t0.

Then

J φ (x)=Φ ( x ) ,xE,

where denotes the subdifferential in the sense of convex analysis; see [25, 30] for more details.

The first part of the following lemma is an immediate consequence of the subdifferential inequality, and the proof of the second part can be found in [31].

Lemma 2.5 Assume that E has a weakly continuous duality map J φ with gauge φ.

  1. (i)

    For all x,yE, there holds the inequality

    Φ ( x + y ) Φ ( x ) + y , J φ ( x + y ) .
  2. (ii)

    Assume a sequence { x n } in E is weakly convergent to a point x. Then there holds the identity

    lim sup n Φ ( x n y ) = lim sup n Φ ( x n x ) +Φ ( y x ) ,yE.

Xu [4] showed that, if E is a reflexive Banach space and has a weakly continuous duality map J φ with gauge φ, then there is a sunny nonexpansive retraction from C onto F(T). Further this result is extended to the following general case.

Lemma 2.6 ([32], Theorem 3.1 and its proof])

Let E be a reflexive Banach space and have a weakly continuous duality map J φ with gauge φ, let C be a nonempty closed convex subset of E, letT:CCbe a nonexpansive mapping withF(T), and letf Π C . Then{ x t }defined by

x t =tf( x t )+(1t)T x t ,t(0,1),

converges strongly to a point inF(T)ast 0 + . DefineQ: Π C F(T)by

Q(f):= lim t 0 + x t .

Then, Q(f)solves the variational inequality

( I f ) Q ( f ) , J φ ( Q ( f ) p ) 0,pF(T).

In particular, iff=uCis a constant, then the mapuQ(u)is reduced to the sunny nonexpansive retraction of Reich type from C ontoF(T), i.e.,

Q ( u ) u , J φ ( Q ( u ) p ) 0,pF(T).

Recall that E satisfies Opial’s property [33] provided, for each sequence { x n } in E, the condition x n x implies

lim sup n x n x< lim sup n x n y,yE,yx.

It is known in [33] that each l p (1p<+) enjoys this property, while L p does not unless p=2. It is known in [34] that every separable Banach space can be equivalently renormed so that it satisfies Opial’s property. We denote by ω w ( x n ) the weak ω-limit set of { x n }i.e.

ω w ( x n )= { x ¯ E : x n i x ¯ for some subsequence { x n i } of { x n } } .
(2.2)

Finally, recall that in a Hilbert space H, there holds the following equality

λ x + ( 1 λ ) y 2 =λ x 2 +(1λ) y 2 λ(1λ) x y 2 ,x,yH,λ[0,1].
(2.3)

See, e.g., Takahashi [35].

We will also use the following elementary lemmas in the sequel.

Lemma 2.7 ([36])

Let{ a n }and{ b n }be the sequences of nonnegative real numbers such that n = 0 b n <and a n + 1 a n + b n for alln0. Then lim n a n exists.

Lemma 2.8 (Demiclosedness Principle [25, 30])

Assume that T is a nonexpansive self-mapping of a nonempty closed convex subset C of a Hilbert space H. If T has a fixed point, thenITis demiclosed. That is, whenever x n xin C and(IT) x n yin H, it follows that(IT)x=y. Here, I is the identity operator of H.

3 Main results

Lemma 3.1 ([24])

Let C be a nonempty closed convex subset of a strictly convex Banach space E. Let T 1 , T 2 ,be nonexpansive mappings from C into itself such that n = 1 F( T n )and let λ 1 , λ 2 ,be real numbers such that0< λ n b<1for alln1. Then, for every x in C andk1, the limit lim n U n , k xexists.

Using Lemma 3.1, one can define the mapping W from C into itself as follows.

Wx= lim n W n x= lim n U n , 1 x,xC.
(3.1)

Such a mapping W is called the W-mapping generated by T 1 , T 2 , and λ 1 , λ 2 , . Throughout this paper, we always assume that 0< λ n b<1 for some real constant b and for all n1.

Lemma 3.2 ([24])

Let C be a nonempty closed convex subset of a strictly convex Banach space E. Let T 1 , T 2 ,be nonexpansive mappings of C into itself such that n = 1 F( T n )and let λ 1 , λ 2 ,be real numbers such that0< λ n b<1for anyn1. Then, F(W)= n = 1 F( T n ).

Here comes the main result of this paper.

Theorem 3.3 Let C be a nonempty closed convex subset of a reflexive and strictly convex Banach space E. Assume, in addition, E either is uniformly smooth or has a weakly continuous duality map J φ with gauge φ. Let T i :CCbe a nonexpansive mapping for eachi=1,2,such thatF= i = 1 F( T i ), andf Π C with contractive constant α in(0,1). Given sequences{ α n }, { β n }and{ λ n }in[0,1], the following conditions are satisfied:

(C1) 0 β n 1α, n n 0 for some n 0 1, and n = 0 β n =+;

(C2) 0< lim inf n α n lim sup n α n <1;

(C3) lim n ( β n + 1 1 ( 1 β n + 1 ) α n + 1 β n 1 ( 1 β n ) α n )=0;

(C4) 0< λ n b<1, n1for some constant b in(0,1).

For an arbitrary x 0 C, let{ x n }be generated by

{ y n = α n x n + ( 1 α n ) W n x n , x n + 1 = β n f ( x n ) + ( 1 β n ) y n , n 0 .
(3.2)

Then,

x n converges strongly to some point Q ( f ) in F β n ( f ( x n ) x n ) 0 .

In this case,

  1. (i)

    if E is uniformly smooth, then Q(f)F solves the variational inequality

    ( I f ) Q ( f ) , J ( Q ( f ) p ) 0,f Π C ,pF;
  2. (ii)

    if E has a weakly continuous duality map J φ with gauge φ, then Q(f)F solves the variational inequality

    ( I f ) Q ( f ) , J φ ( Q ( f ) p ) 0,f Π C ,pF.

Proof First, let us show that { x n } is bounded. Indeed, taking an element p in F= i = 1 F( T i ) arbitrarily, we obtain that p= W n p for all n0. It follows from the nonexpansivity of W n that

y n p α n x n p+(1 α n ) W n x n p x n p.

Observe that

x n + 1 p = β n ( f ( x n ) p ) + ( 1 β n ) ( y n p ) β n ( f ( x n ) f ( p ) + f ( p ) p ) + ( 1 β n ) y n p β n ( α x n p + f ( p ) p ) + ( 1 β n ) x n p = ( 1 ( 1 α ) β n ) x n p + β n f ( p ) p max { x n p , f ( p ) p 1 α } .

By simple induction, we have

x n pmax { x 0 p , f ( p ) p 1 α } .

Hence { x n } is bounded, and so are the sequences { y n }, { W n x n } and {f( x n )}.

Suppose that x n Q(f)F as n. Then Q(f)= W n Q(f) for all n0. From (3.2) it follows that

y n Q ( f ) α n x n Q ( f ) + ( 1 α n ) W n x n Q ( f ) α n x n Q ( f ) + ( 1 α n ) x n Q ( f ) = x n Q ( f ) 0 ( n ) ,

that is, y n Q(f). Again from (3.2) we obtain that

β n ( f ( x n ) x n ) = x n + 1 x n ( 1 β n ) ( y n x n ) x n + 1 x n + ( 1 β n ) y n x n 0 .

Conversely, suppose that β n (f( x n ) x n )0 (n). Put

γ n =(1 β n ) α n ,n0.

Then, it follows from (C1) and (C2) that

α n γ n =(1 β n ) α n ( 1 ( 1 α ) ) α n =α α n ,n n 0 ,

and hence

0< lim inf n γ n lim sup n γ n <1.
(3.3)

Define z n by

x n + 1 = γ n x n +(1 γ n ) z n .
(3.4)

Observe that

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 f ( x n + 1 ) + ( 1 β n + 1 ) y n + 1 γ n + 1 x n + 1 1 γ n + 1 β n f ( x n ) + ( 1 β n ) y n γ n x n 1 γ n = ( β n + 1 f ( x n + 1 ) 1 γ n + 1 β n f ( x n ) 1 γ n ) ( 1 β n ) [ α n x n + ( 1 α n ) W n x n ] γ n x n 1 γ n + ( 1 β n + 1 ) [ α n + 1 x n + 1 + ( 1 α n + 1 ) W n + 1 x n + 1 ] γ n + 1 x n + 1 1 γ n + 1 = ( β n + 1 f ( x n + 1 ) 1 γ n + 1 β n f ( x n ) 1 γ n ) + ( 1 β n + 1 ) ( 1 α n + 1 ) W n + 1 x n + 1 1 γ n + 1 ( 1 β n ) ( 1 α n ) W n x n 1 γ n = ( β n + 1 f ( x n + 1 ) 1 γ n + 1 β n f ( x n ) 1 γ n ) + ( W n + 1 x n + 1 W n x n ) β n + 1 1 γ n + 1 W n + 1 x n + 1 + β n 1 γ n W n x n = ( β n + 1 1 γ n + 1 β n 1 γ n ) f ( x n + 1 ) + β n 1 γ n ( f ( x n + 1 ) f ( x n ) ) + ( W n + 1 x n + 1 W n x n ) ( β n + 1 1 γ n + 1 β n 1 γ n ) W n + 1 x n + 1 ( W n + 1 x n + 1 W n x n ) β n 1 γ n = ( β n + 1 1 γ n + 1 β n 1 γ n ) ( f ( x n + 1 ) W n + 1 x n + 1 ) + β n 1 γ n ( f ( x n + 1 ) f ( x n ) ) + 1 γ n β n 1 γ n ( W n + 1 x n + 1 W n x n ) .

It follows that

z n + 1 z n | β n + 1 1 γ n + 1 β n 1 γ n | f ( x n + 1 ) W n + 1 x n + 1 + β n 1 γ n f ( x n + 1 ) f ( x n ) + 1 γ n β n 1 γ n W n + 1 x n + 1 W n x n | β n + 1 1 γ n + 1 β n 1 γ n | ( f ( x n + 1 ) + W n + 1 x n + 1 ) + α β n 1 γ n x n + 1 x n + 1 γ n β n 1 γ n ( W n + 1 x n + 1 W n + 1 x n + W n + 1 x n W n x n ) | β n + 1 1 γ n + 1 β n 1 γ n | ( f ( x n + 1 ) + W n + 1 x n + 1 ) + α β n 1 γ n x n + 1 x n + 1 γ n β n 1 γ n ( x n + 1 x n + W n + 1 x n W n x n ) x n + 1 x n + | β n + 1 1 γ n + 1 β n 1 γ n | ( f ( x n + 1 ) + W n + 1 x n + 1 ) + W n + 1 x n W n x n .
(3.5)

Since T i and U n , i are nonexpansive, from (1.4) we have

W n + 1 x n W n x n = λ 1 T 1 U n + 1 , 2 x n λ 1 T 1 U n , 2 x n λ 1 U n + 1 , 2 x n U n , 2 x n = λ 1 λ 2 T 2 U n + 1 , 3 x n λ 2 T 2 U n , 3 x n λ 1 λ 2 U n + 1 , 3 x n U n , 3 x n λ 1 λ 2 λ n U n + 1 , n + 1 x n U n , n + 1 x n = λ 1 λ 2 λ n + 1 T n + 1 x n x n .
(3.6)

Since { x n } is a bounded sequence and all T n are nonexpansive with a common fixed point p, there is M 1 0 such that

T n + 1 x n x n T n + 1 x n T n + 1 p+p x n M 1 ,n0.

Substituting (3.6) into (3.5), we have

z n + 1 z n x n + 1 x n | β n + 1 1 γ n + 1 β n 1 γ n | ( f ( x n + 1 ) + W n + 1 x n + 1 ) + M 1 i = 1 n + 1 λ i .

From conditions (C3), (C4) and the boundedness of {f( x n )} and { W n x n }, it follows that

lim sup n ( z n + 1 z n x n + 1 x n ) 0.

Hence by Lemma 2.2 we have

lim n z n x n =0.

It follows from (3.3) and (3.4) that

lim n x n + 1 x n = lim n (1 γ n ) z n x n =0.

From (3.2), we have

x n + 1 x n = β n ( f ( x n ) x n ) +(1 β n )( y n x n ).

This implies that

α y n x n ( 1 β n ) y n x n = x n + 1 x n β n ( f ( x n ) x n ) x n + 1 x n + β n ( f ( x n ) x n ) .

Since x n + 1 x n 0 and β n (f( x n ) x n )0, we get

lim n y n x n =0.
(3.7)

Observe that

y n x n =(1 α n )( W n x n x n ).
(3.8)

It follows from (C2), (3.7) and (3.8) that

lim n x n W n x n =0.

Also, note that

W x n x n W x n W n x n + W n x n x n .

From [37], Remark 2.2] (see also [38], Remark 3.1]), we have

lim n W x n W n x n =0.

It follows

lim n W x n x n =0.
(3.9)

In terms of (3.1) and Lemma 3.2, W:CC is a nonexpansive mapping such that F(W)=F. In the following, we discuss two cases.

  1. (i)

    Firstly, suppose that E is uniformly smooth. Let x t be the unique fixed point of the contraction mapping T t given by

    T t x=tf(x)+(1t)Wx,t(0,1).

By Lemma 2.4, we can define

Q(f):= lim t 0 + x t ,

and Q(f)F(W)=F solves the variational inequality

( I f ) Q ( f ) , J ( Q ( f ) p ) 0,pF.

Let us show that

lim sup n f ( z ) z , J ( x n z ) 0,
(3.10)

where z=Q(f). Note that

x t x n =t ( f ( x t ) x n ) +(1t)(W x t x n ).

Applying Lemma 2.1 we derive

x t x n 2 ( 1 t ) 2 W x t x n 2 + 2 t f ( x t ) x n , J ( x t x n ) ( 1 t ) 2 ( W x t W x n + W x n x n ) 2 + 2 t f ( x t ) x t , J ( x t x n ) + 2 t x t x n 2 ( 1 t ) 2 x t x n 2 + a n ( t ) + 2 t f ( x t ) x t , J ( x t x n ) + 2 t x t x n 2 ,

where

a n (t)=W x n x n ( 2 x t x n + W x n x n ) 0 ( due to ( 3.9 ) ) .

The last inequality implies

x t f ( x t ) , J ( x t x n ) t 2 x t x n 2 + 1 2 t a n (t).

It follows that

lim sup n x t f ( x t ) , J ( x t x n ) M t 2 ,
(3.11)

where M>0 is a constant such that M x t x n 2 for all n0 and small enough t in (0,1). Taking the limsup as t 0 + in (3.11) and noticing the fact that the two limits are interchangeable due to the fact that the duality map J is uniformly norm-to-norm continuous on any bounded subset of E, we obtain (3.10).

Now, let us show that x n z as n. Indeed, observe

x n + 1 z = β n ( f ( x n ) z ) + ( 1 β n ) ( y n z ) = β n ( f ( x n ) z ) + ( 1 β n ) ( 1 α n ) ( W n x n z ) + ( 1 β n ) α n ( x n z ) .

Then, utilizing Lemma 2.1 we get

x n + 1 z 2 ( 1 β n ) α n ( x n z ) + ( 1 β n ) ( 1 α n ) ( W n x n z ) 2 + 2 β n f ( x n ) z , J ( x n + 1 z ) [ ( 1 β n ) α n x n z + ( 1 β n ) ( 1 α n ) x n z ] 2 + 2 β n f ( x n ) f ( z ) , J ( x n + 1 z ) + 2 β n f ( z ) z , J ( x n + 1 z ) ( 1 β n ) 2 x n z 2 + 2 α β n x n z x n + 1 z + 2 β n f ( z ) z , J ( x n + 1 z ) ( 1 β n ) 2 x n z 2 + α β n ( x n z 2 + x n + 1 z 2 ) + 2 β n f ( z ) z , J ( x n + 1 z ) .

It follows that, for all n n 0 , we have

x n + 1 z 2 1 ( 2 α ) β n + β n 2 1 α β n x n z 2 + 2 β n 1 α β n f ( z ) z , J ( x n + 1 z ) ( 1 ( 1 α ) β n 1 α β n ) x n z 2 + 2 β n 1 α β n f ( z ) z , J ( x n + 1 z ) ,

due to (C1). For every n n 0 , put

μ n = ( 1 α ) β n 1 α β n

and

ν n = 2 1 α f ( z ) z , J ( x n + 1 z ) .

Since 0<1α β n 1, we have μ n (1α) β n . Now, we have

x n + 1 z 2 (1 μ n ) x n z 2 + μ n ν n ,n n 0 .
(3.12)

It is readily seen from (C1) and (3.10) that

n = 0 μ n =+and lim sup n ν n 0.

Therefore, applying Lemma 2.3 to (3.12), we conclude that x n z as n.

  1. (ii)

    Secondly, suppose that E has a weakly continuous duality map J φ with gauge φ. Let x t be the unique fixed point of the contraction mapping T t given by

    T t x=tf(x)+(1t)Wx,t(0,1).

By Lemma 2.6, we can define Q(f):= lim t 0 + x t , and Q(f)F(W)=F solves the variational inequality

( I f ) Q ( f ) , J φ ( Q ( f ) p ) 0,pF.
(3.13)

Let us show that

lim sup n f ( z ) z , J φ ( x n z ) 0,
(3.14)

where z=Q(f). We take a subsequence { x n k } of { x n } such that

lim sup n f ( z ) z , J φ ( x n z ) = lim k f ( z ) z , J φ ( x n k z ) .
(3.15)

Since E is reflexive and { x n } is bounded, we may further assume that x n k x ¯ for some x ¯ in C. Since J φ is weakly continuous, utilizing Lemma 2.5, we have

lim sup k Φ ( x n k x ) = lim sup k Φ ( x n k x ¯ ) +Φ ( x x ¯ ) ,xE.

Put

Γ(x)= lim sup k Φ ( x n k x ) ,xE.

It follows that

Γ(x)=Γ( x ¯ )+Φ ( x x ¯ ) ,xE.

From (3.9), we have

Γ ( W x ¯ ) = lim sup k Φ ( x n k W x ¯ ) = lim sup k Φ ( W x n k W x ¯ ) lim sup k Φ ( x n k x ¯ ) = Γ ( x ¯ ) .
(3.16)

Furthermore, observe that

Γ(W x ¯ )=Γ( x ¯ )+Φ ( W x ¯ x ¯ ) .
(3.17)

Combining (3.16) with (3.17), we obtain

Φ ( W x ¯ x ¯ ) 0.

Hence W x ¯ = x ¯ and x ¯ F(W)=F (by Lemma 3.2). Thus, from (3.13) and (3.15), it is easy to see that

lim sup n f ( z ) z , J φ ( x n z ) = f ( z ) z , J φ ( x ¯ z ) 0.

Therefore, we deduce that (3.14) holds.

Now, let us show that x n z as n. Indeed, observe that

Φ ( y n z ) = Φ ( α n ( x n z ) + ( 1 α n ) ( W n x n z ) ) Φ ( α n x n z + ( 1 α n ) W n x n z ) Φ ( x n z ) .

Therefore, by applying Lemma 2.5, we have

Φ ( x n + 1 z ) = Φ ( β n ( f ( x n ) z ) + ( 1 β n ) ( y n z ) ) = Φ ( β n ( f ( x n ) f ( z ) + f ( z ) z ) + ( 1 β n ) ( y n z ) ) Φ ( ( 1 β n ) ( y n z ) + β n ( f ( x n ) f ( z ) ) ) + β n f ( z ) z , J φ ( x n + 1 z ) Φ ( ( 1 β n ) y n z + β n f ( x n ) f ( z ) ) + β n f ( z ) z , J φ ( x n + 1 z ) Φ ( ( 1 β n ) y n z + α β n x n z ) + β n f ( z ) z , J φ ( x n + 1 z ) ( 1 ( 1 α ) β n ) Φ ( x n z ) + β n f ( z ) z , J φ ( x n + 1 z ) .

Applying Lemma 2.3, we get

Φ ( x n z ) 0(n),

which implies that x n z0(n), i.e., x n z(n). This completes the proof. □

Corollary 3.4 The conclusion in Theorem 3.3 still holds, provided the conditions (C 1)-(C 4) are replaced by the following:

(D1) 0 β n 1α, n n 0 for some integer n 0 1;

(D2) lim n ( β n β n + 1 )=0and n = 0 β n =+;

(D3) lim n ( α n α n + 1 )=0and0< lim inf n α n lim sup n α n <1;

(D4) 0< λ n b<1, n1for some b in(0,1).

Proof Observe that

β n + 1 1 ( 1 β n + 1 ) α n + 1 β n 1 ( 1 β n ) α n = ( β n + 1 β n ) β n + 1 α n + β n α n + 1 + β n + 1 β n α n β n β n + 1 α n + 1 ( 1 ( 1 β n + 1 ) α n + 1 ) ( 1 ( 1 β n ) α n ) = ( β n + 1 β n ) β n + 1 ( α n α n + 1 ) α n + 1 ( β n + 1 β n ) + β n β n + 1 ( α n α n + 1 ) ( 1 ( 1 β n + 1 ) α n + 1 ) ( 1 ( 1 β n ) α n ) = ( β n + 1 β n ) ( 1 α n + 1 ) β n + 1 ( α n α n + 1 ) ( 1 β n ) ( 1 ( 1 β n + 1 ) α n + 1 ) ( 1 ( 1 β n ) α n ) .

Since lim n ( β n β n + 1 )=0 and lim n ( α n α n + 1 )=0, it follows that

lim n ( β n + 1 1 ( 1 β n + 1 ) α n + 1 β n 1 ( 1 β n ) α n ) =0.

Consequently, all conditions of Theorem 3.3 are satisfied. So, utilizing Theorem 3.3, we obtain the desired result. □

Corollary 3.5 Let C be a nonempty closed convex subset of a reflexive and strictly convex Banach space E. Assume, in addition, E either is uniformly smooth or has a weakly continuous duality map J φ with gauge φ. Let T i :CCbe a nonexpansive mapping for eachi=1,2,such thatF= i = 1 F( T i ), and letf Π C with contractive constant α in(0,1). Given sequences{ α n }, { β n }and{ λ n }in[0,1], the following conditions are satisfied:

(E1) lim n β n =0and n = 0 β n =+;

(E2) 0< lim inf n α n lim sup n α n <1;

(E3) 0< λ n b<1,n1for someb(0,1).

Then. for an arbitrary but fixed x 0 in C, the sequence{ x n }defined by (3.2) converges strongly to a common fixed pointQ(f)in F. Moreover,

  1. (i)

    if E is uniformly smooth, then Q(f)F solves the variational inequality

    ( I f ) Q ( f ) , J ( Q ( f ) p ) 0,f Π C ,pF;
  2. (ii)

    if E has a weakly continuous duality map J φ with gauge φ, then Q(f)F solves the variational inequality

    ( I f ) Q ( f ) , J φ ( Q ( f ) p ) 0,f Π C ,pF.

Proof Repeating the arguments in the proof of Theorem 3.3, we know that { x n } is bounded, and so are the sequences { y n }, { W n x n } and {f( x n )}. Since lim n β n =0, it is easy to see that there hold the following:

  1. (i)

    β n (f( x n ) x n )0 (n);

  2. (ii)

    0 β n 1α, n n 0 for some integer n 0 1;

  3. (iii)

    lim n ( β n + 1 1 ( 1 β n + 1 ) α n + 1 β n 1 ( 1 β n ) α n )=0.

Therefore, all conditions of Theorem 3.3 are satisfied. So, utilizing Theorem 3.3, we obtain the desired result. □

To end this paper, we give a weak convergence theorem for hybrid viscosity approximation method (3.2) involving an infinite family of nonexpansive mappings T 1 , T 2 , in a Hilbert space H.

Theorem 3.6 Let C be a nonempty closed convex subset of a Hilbert space H. Let T i :CCbe a nonexpansive mapping for eachi=1,2,such thatF= i = 1 F( T i )andf Π C . Given sequences{ α n }, { β n }and{ λ n }in[0,1], the following conditions are satisfied:

(F1) n = 0 β n <+;

(F2) 0< lim inf n α n lim sup n α n <1;

(F3) 0< λ n b<1, n1for someb(0,1).

Then, for an arbitrary but fixed x 0 in C, the sequence{ x n }defined by (3.2) converges weakly to a common fixed point of the infinite family of nonexpansive mappings T 1 , T 2 ,.

Proof Take an arbitrary p in F= i = 1 F( T i ). Repeating the arguments in the proof of Theorem 3.3, we know that { x n } is bounded, and so are the sequences { y n }, { W n x n } and {f( x n )}.

It follows from (2.3) that

x n + 1 p 2 ( 1 β n ) y n p 2 + β n f ( x n ) p 2 y n p 2 + β n f ( x n ) p 2 = α n ( x n p ) + ( 1 α n ) ( W n x n p ) 2 + β n f ( x n ) p 2 = α n x n p 2 + ( 1 α n ) W n x n p 2 α n ( 1 α n ) x n W n x n 2 + β n f ( x n ) p 2 α n x n p 2 + ( 1 α n ) x n p 2 α n ( 1 α n ) x n W n x n 2 + β n f ( x n ) p 2 = x n p 2 α n ( 1 α n ) x n W n x n 2 + β n f ( x n ) p 2 x n p 2 + β n f ( x n ) p 2 .
(3.18)

Since n = 0 β n <+ and {f( x n )} is bounded, we get n = 0 β n f ( x n ) p 2 <+. Utilizing Lemma 2.7, we conclude that lim n x n p exists. Furthermore, it follows from (3.18) that for all n0, we have

α n (1 α n ) x n W n x n 2 x n p 2 x n + 1 p 2 + β n f ( x n ) p 2 .
(3.19)

Since β n 0 and 0< lim inf n α n lim sup n α n <1, it follows from (3.19) that lim n x n W n x n =0. Also, observe that

W x n x n W x n W n x n + W n x n x n .

From [37], Remark 2.2] (see also [38], Remark 3.1]), we have

lim n W x n W n x n =0.

This implies immediately that

lim n W x n x n =0.

Now, let us show that ω w ( x n )F (see (2.2)). Indeed, let x ¯ ω w ( x n ). Then there exists a subsequence { x n i } of { x n } such that x n i x ¯ . Since (IW) x n 0, by Lemma 2.8, x ¯ F(W)=F.

Finally, let us show that ω w ( x n ) is a singleton. Indeed, let { x m j } be another subsequence of { x n } such that x m j x ˆ . Then x ˆ also lies in F. If x ¯ x ˆ , by Opial’s property of H, we reach the following contradiction:

lim n x n x ¯ = lim i x n i x ¯ < lim i x n i x ˆ = lim j x m j x ˆ < lim j x m j x ¯ = lim n x n x ¯ .

This implies that ω w ( x n ) is a singleton. Consequently, { x n } converges weakly to an element of F. □

Remark 3.7 As pointed out in [22], Remark 2.1], the mild conditions are imposed on the parameter sequence { λ n }, which are different from those in [8, 11, 18, 23]. Theorem 2.1 in [22] is a supplement to Remark 5 of Zhou, Wei and Cho [23] in reflexive Banach spaces. Moreover, it extends Theorem 1 in [14] from the case of a single nonexpansive mapping to that of an infinite family of nonexpansive mappings, and relaxes the restrictions imposed on the parameters in [14], Theorem 1]. Compared with Theorem 2.1 in [22] (i.e., Theorem 1.2), our Theorems 3.3 and 3.6 supplement, improve and extend them in the following aspects:

  1. (1)

    The hybrid viscosity approximation method (3.2) includes their modified Mann’s iterative process (1.5) as a special case.

  2. (2)

    We relax the restrictions imposed on the parameters in [22], Theorem 2.1]; for instance, there can be no parameter sequence convergent to zero in our Theorem 3.3.

  3. (3)

    In Theorem 3.3, the problem of finding a common fixed point of an infinite family of nonexpansive mappings is also considered in the framework of uniformly smooth Banach space.

  4. (4)

    In order to show the strong convergence of the hybrid viscosity approximation method (3.2), we use the techniques very different from those in the proof of [22], Theorem 2.1]; for instance, we use Theorem 4.1 in [1] and Theorem 3.1 in [32].

  5. (5)

    Theorem 3.3 shows that the hybrid viscosity approximation method (3.2) converges strongly to a common fixed point of an infinite family of nonexpansive mappings, which solves a variational inequality on their common fixed point set.

  6. (6)

    In Theorem 3.6, the conditions imposed on { α n } and { β n } are very different from those in [22], Theorem 2.1].

  7. (7)

    In the proof of Theorem 3.6, we use the techniques very different from those in the proof of [22], Theorem 2.1]; for instance, we use Opial’s property of Hilbert space and Tan and Xu’s lemma in [36].

References

  1. Xu HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl. 2004, 298: 279–291. 10.1016/j.jmaa.2004.04.059

    Article  MathSciNet  Google Scholar 

  2. Browder FE: Fixed point theorems for noncompact mappings in Hilbert space. Proc. Natl. Acad. Sci. USA 1965, 53: 1272–1276. 10.1073/pnas.53.6.1272

    Article  MathSciNet  Google Scholar 

  3. Reich S: Strong convergence theorems for resolvents of accretive operators in Banach spaces. J. Math. Anal. Appl. 1980, 75: 287–292. 10.1016/0022-247X(80)90323-6

    Article  MathSciNet  Google Scholar 

  4. Xu HK: Strong convergence of an iterative method for nonexpansive and accretive operators. J. Math. Anal. Appl. 2006, 314: 631–643. 10.1016/j.jmaa.2005.04.082

    Article  MathSciNet  Google Scholar 

  5. Mann WR: Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3

    Article  Google Scholar 

  6. Reich S: Weak convergence theorems for nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 1979, 67: 274–276. 10.1016/0022-247X(79)90024-6

    Article  MathSciNet  Google Scholar 

  7. Cho YJ, Kang SM, Qin XL: Approximation of common fixed points of an infinite family of nonexpansive mappings in Banach spaces. Comput. Math. Appl. 2008, 56: 2058–2064. 10.1016/j.camwa.2008.03.035

    Article  MathSciNet  Google Scholar 

  8. Chang SS: Viscosity approximation methods for a finite family of nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 2006, 323: 1402–1416. 10.1016/j.jmaa.2005.11.057

    Article  MathSciNet  Google Scholar 

  9. Nakajo K, Takahashi W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl. 2003, 279: 372–379. 10.1016/S0022-247X(02)00458-4

    Article  MathSciNet  Google Scholar 

  10. Qin XL, Su YF: Approximation of a zero point of accretive operator in Banach spaces. J. Math. Anal. Appl. 2007, 329: 415–424. 10.1016/j.jmaa.2006.06.067

    Article  MathSciNet  Google Scholar 

  11. Takahashi W, Tamura T, Toyoda M: Approximation of common fixed points of a family of finite nonexpansive mappings in Banach spaces. Sci. Math. Jpn. 2002, 56: 475–480.

    MathSciNet  Google Scholar 

  12. Yao YH, Chen RD, Yao JC: Strong convergence and certain control conditions for modified Mann iteration. Nonlinear Anal. 2008, 68: 1687–1693. 10.1016/j.na.2007.01.009

    Article  MathSciNet  Google Scholar 

  13. Yao YH, Yao JC, Zhou HY: Approximation methods for common fixed points of infinite countable family of nonexpansive mappings. Comput. Math. Appl. 2007, 53: 1380–1389. 10.1016/j.camwa.2006.10.021

    Article  MathSciNet  Google Scholar 

  14. Kim TH, Xu HK: Strong convergence of modified Mann iterations. Nonlinear Anal. 2005, 61: 51–60. 10.1016/j.na.2004.11.011

    Article  MathSciNet  Google Scholar 

  15. Ceng LC, Yao JC: Convergence and certain control conditions for hybrid viscosity approximation methods. Nonlinear Anal. 2010, 73: 2078–2087. 10.1016/j.na.2010.05.036

    Article  MathSciNet  Google Scholar 

  16. Bauschke HH, Borwein JM: On projection algorithms for solving convex feasibility problems. SIAM Rev. 1996, 38: 367–426. 10.1137/S0036144593251710

    Article  MathSciNet  Google Scholar 

  17. Combettes PL: The foundations of set theoretic estimation. Proc. IEEE 1993, 81: 182–208.

    Article  Google Scholar 

  18. Bauschke HH: The approximation of fixed points of compositions of nonexpansive mappings in Hilbert space. J. Math. Anal. Appl. 1996, 202: 150–159. 10.1006/jmaa.1996.0308

    Article  MathSciNet  Google Scholar 

  19. Deutsch F, Hundal H: The rate of convergence of Dykstra’s cyclic projection algorithm: the polyhedral case. Numer. Funct. Anal. Optim. 1994, 15: 537–565. 10.1080/01630569408816580

    Article  MathSciNet  Google Scholar 

  20. Youla DC: Mathematical theory of image restoration by the method of convex projections. In Image Recovery: Theory and Applications. Edited by: Stark H. Academic Press, Florida; 1987:29–77.

    Google Scholar 

  21. Iusem AN, De Pierro AR: On the convergence of Han’s method for convex programming with quadratic objective. Math. Program., Ser. B 1991, 52: 265–284. 10.1007/BF01582891

    Article  MathSciNet  Google Scholar 

  22. Qin XL, Cho YJ, Kang JI, Kang SM: Strong convergence theorems for an infinite family of nonexpansive mappings in Banach spaces. J. Comput. Appl. Math. 2009, 230: 121–127. 10.1016/j.cam.2008.10.058

    Article  MathSciNet  Google Scholar 

  23. 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.049

    Article  MathSciNet  Google Scholar 

  24. Shimoji K, Takahashi W: Strong convergence to common fixed points of infinite nonexpansive mappings and applications. Taiwan. J. Math. 2001, 5: 387–404.

    MathSciNet  Google Scholar 

  25. Takahashi W: Nonlinear Functional Analysis. Yokohama Publishers, Yokohama; 2000.

    Google Scholar 

  26. 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.017

    Article  MathSciNet  Google Scholar 

  27. Xu HK, Kim TH: Convergence of hybrid steepest-descent methods for variational inequalities. J. Optim. Theory Appl. 2003, 119(1):185–201.

    Article  MathSciNet  Google Scholar 

  28. Bruck RE: Nonexpansive projections on subsets of Banach spaces. Pac. J. Math. 1973, 47: 341–355.

    Article  MathSciNet  Google Scholar 

  29. Browder FE: Convergence theorems for sequences of nonlinear operators in Banach spaces. Math. Z. 1967, 100: 201–225. 10.1007/BF01109805

    Article  MathSciNet  Google Scholar 

  30. Goebel K, Kirk WA: Topics on Metric Fixed-Point Theory. Cambridge University Press, Cambridge; 1990.

    Book  Google Scholar 

  31. Lim TC, Xu HK: Fixed point theorems for asymptotically nonexpansive mappings. Nonlinear Anal. 1994, 22: 1345–1355. 10.1016/0362-546X(94)90116-3

    Article  MathSciNet  Google Scholar 

  32. Chen RD, Zhu ZC: Viscosity approximation of fixed points for nonexpansive and m -accretive operators. Fixed Point Theory Appl. 2006., 2006:

    Google Scholar 

  33. Opial Z: Weak convergence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 1967, 73: 591–597. 10.1090/S0002-9904-1967-11761-0

    Article  MathSciNet  Google Scholar 

  34. van Dulst D: Equivalent norms and the fixed point property for nonexpansive mappings. J. Lond. Math. Soc. 1982, 25: 139–144. 10.1112/jlms/s2-25.1.139

    Article  MathSciNet  Google Scholar 

  35. Takahashi W: Introduction to Nonlinear and Convex Analysis. Yokohama Publisher, Yokohama; 2009.

    Google Scholar 

  36. Tan KK, Xu HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 1993, 178: 301–308. 10.1006/jmaa.1993.1309

    Article  MathSciNet  Google Scholar 

  37. Ceng LC, Yao JC: Hybrid viscosity approximation schemes for equilibrium problems and fixed point problems of infinitely many nonexpansive mappings. Appl. Math. Comput. 2008, 198: 729–741. 10.1016/j.amc.2007.09.011

    Article  MathSciNet  Google Scholar 

  38. Yao YH, Liou YC, Yao JC: Convergence theorem for equilibrium problems and fixed point problems of infinite family of nonexpansive mappings. Fixed Point Theory Appl. 2007., 2007:

    Google Scholar 

Download references

Acknowledgement

LCC was partially supported by the National Science Foundation of China (11071169), Innovation Program of Shanghai Municipal Education Commission (09ZZ133) and Leading Academic Discipline Project of Shanghai Normal University (DZL707). NCW was partially supported by the grant NSC 99-2115-M-110-007-MY3. JC was partially supported by the grant NSC 99-2115-M-037-002-MY3.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to JC Yao.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and permissions

About this article

Cite this article

Ceng, L., Wong, N. & Yao, J. Strong and weak convergence theorems for an infinite family of nonexpansive mappings and applications. Fixed Point Theory Appl 2012, 117 (2012). https://doi.org/10.1186/1687-1812-2012-117

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2012-117

Keywords