Open Access

An approximation method for common fixed points of a finite family of asymptotic pointwise nonexpansive mappings

Fixed Point Theory and Applications20122012:108

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

Received: 17 March 2012

Accepted: 20 June 2012

Published: 2 July 2012

Abstract

In this article, we consider an iterative scheme to approximate a common fixed point for a finite family of asymptotic pointwise nonexpansive mappings. We obtain weak and strong convergence theorems of the proposed iteration in uniformly convex Banach spaces. The related results for complete CAT(0) spaces are also included.

MSC:47H09, 47H10.

Keywords

common fixed point asymptotic pointwise nonexpansive mapping weak convergence strong convergence Banach space CAT(0) space

1 Introduction

It is well known that many of the most important nonlinear problems of applied mathematics reduce to solving a given equation which in turn may be reduced to finding the fixed points of a certain operator. It is important not only to know the fixed points exist, but also to be able to construct that fixed points. Lau is a great mathematician who has published many good papers concerning to the existence and the approximation of fixed points for various types of mappings (see, e.g., [111]).

The existence of fixed points for nonexpansive mappings was studied independently by three authors in 1965 (see Browder [12], Göhde [13], and Kirk [14]). Since then the iteration methods for approximating fixed points of nonexpansive mappings has rapidly been developed and many of papers have appeared (see, e.g., [1521]). One of the popular classes of generalized nonexpansive mappings is the class of asymptotically nonexpansive mappings which was introduced by Goebel and Kirk [22] in 1972. Later on, Kirk and Xu [23] introduced the concept of asymptotic pointwise nonexpansive mappings which generalizes the concept of asymptotically nonexpansive mappings and proved the existence of fixed points for such maps in a uniformly convex Banach space. In 2011, Kozlowski [24] defined an iterative sequence for an asymptotic pointwise nonexpansive mapping T on a convex subset C of a Banach space X by x 1 C and
(1)
where { t k } and { s k } are sequences in [ 0 , 1 ] and { n k } is an increasing sequence of natural numbers. He proved, under some suitable assumptions, that the sequence { x k } defined by (1) converges weakly to a fixed point of T where X is a uniformly convex Banach space which satisfies the Opial condition and { x k } converges strongly to a fixed point of T provided T r is a compact mapping for some r N . Recently, Pasom and Panyanak [25] extended Kozlowski’s results to a finite family of asymptotic pointwise nonexpansive mappings T 1 , , T m . Precisely, they proved weak and strong convergence theorems of the iterative process defined by
(2)
where { t i k } k = 1 are sequences in [ 0 , 1 ] for all i = 1 , 2 , , m , and { n k } be an increasing sequence of natural numbers. On the other hand, Kettapun et al.[26] studied the iterative process defined by
(3)

where T 1 , , T m are asymptotically quasi-nonexpansive mappings on C.

In this article, motivated by the results mentioned above, we obtain weak and strong convergence theorems of the iterative process defined by
(4)

where T 1 , , T m are asymptotic pointwise nonexpansive mappings on C, { t i k } k = 1 are sequences in [ 0 , 1 ] for all i = 1 , 2 , , m , and { n k } be an increasing sequence of natural numbers.

2 Preliminaries and lemmas

Let C be a nonempty subset of a metric space ( X , d ) and T be a mapping on C. A point x in C is called a fixed point of T if x = T x . We shall denote by F ( T ) the set of fixed points of T. The mapping T : C C is said to be
  1. (i)

    nonexpansive if d ( T x , T y ) ( x , y ) for all x , y C ,

     
  2. (ii)
    asymptotically nonexpansive if there is a sequence { k n } of positive numbers with the property lim n k n = 1 and such that
    d ( T n x , T n y ) k n d ( x , y ) , for all x , y C and n 1 ,
     
  3. (iii)
    asymptotically quasi-nonexpansive if there is a sequence { k n } of positive numbers with the property lim n k n = 1 and such that
    d ( T n x , p ) k n d ( x , p ) , for all x C , p F ( T ) and n 1 ,
     
  4. (iv)
    asymptotic pointwise nonexpansive if there exists a sequence of functions α n : C [ 0 , ) such that lim sup n α n ( x ) 1 and
    d ( T n x , T n y ) α n ( x ) d ( x , y ) , for all x , y C and n 1 .
     
The following implications hold.
T is nonexpansive T is asymptotically nonexpansive T is asymptotically quasi-nonexpansive T is asymptotic pointwise nonexpansive

The existence of fixed points for asymptotic pointwise nonexpansive mappings in uniformly convex Banach spaces was proved by Kirk and Xu [23] as the following result.

Theorem 2.1 Let C be a nonempty bounded closed and convex subset of a uniformly convex Banach space X. Then every asymptotic pointwise nonexpansive mapping T : C C has a fixed point. Moreover, F ( T ) is closed and convex.

For common fixed points of a family of commuting mappings, Pasom and Panyanak [27] obtained the following result.

Theorem 2.2 Let C be a nonempty bounded closed convex subset of a uniformly convex Banach space X. Then every commuting family S of asymptotic pointwise nonexpansive mappings on C has a nonempty closed convex common fixed point set.

Let C be a nonempty subset of a metric space ( X , d ) . We shall denote by T ( C ) the class of all asymptotic pointwise nonexpansive mappings from C into C. Let T 1 , , T m T ( C ) , without loss of generality, we can assume that there exists a sequence of mappings α n : C [ 0 , ) such that for all x , y C , i = 1 , , m , and n N ,
d ( T i n x , T i n y ) α n ( x ) d ( x , y ) and lim sup n α n ( x ) 1 .
(5)
Let a n ( x ) = max { α n ( x ) , 1 } . Again, without loss of generality, we can assume that
d ( T i n x , T i n y ) a n ( x ) d ( x , y ) , lim n a n ( x ) = 1 and a n ( x ) 1 ,
(6)

for all x , y C , i = 1 , , m , and n N . We define b n ( x ) = a n ( x ) 1 , then for each x C we have lim n b n ( x ) = 0 .

Definition 2.3[24]

Define T r ( C ) as a class of all T T ( C ) such that
(7)
(8)
Let C be a nonempty subset of a Banach space X and T 1 , , T m T r ( C ) . Let { t i k } k = 1 ( 0 , 1 ) be bounded away from 0 and 1 for all i = 1 , 2 , , m and { n k } be an increasing sequence of natural numbers. Let x 1 C and define a sequence { x k } in C as
(9)

We say that the sequence { x k } in (9) is well defined if lim sup k a n k ( x k ) = 1 . As in [24], we observe that lim k a k ( x ) = 1 for every x C . Hence, we can always choose a subsequence { a n k } which makes { x k } well defined.

Definition 2.4 A strictly increasing sequence { n k } N is called quasi-periodic if the sequence { n k + 1 n k } is bounded, or equivalently if there exists a number p N such that any block of p consecutive natural numbers must contain a term of the sequence { n k } . The smallest of such numbers p will be called a quasi-period of { n k } .

Recall that a mapping T : C C is called semi-compact if for any sequence { x n } in C such that
lim n d ( x n , T x n ) = 0 ,

there exists a subsequence { x n j } of { x n } and q C such that lim j x n j = q . A family of mapping { T i : i = 1 , 2 , , m } on C is said to satisfy Condition ( A ) if there exists a nondecreasing function f : [ 0 , ) [ 0 , ) with f ( 0 ) = 0 and f ( r ) > 0 for all r > 0 such that d ( x , T j x ) f ( dist ( x , F ) ) , for some j = 1 , , m for all x C , where dist ( x , F ) = inf { d ( x , p ) : p F = i = 1 m F ( T i ) } .

Lemma 2.5[28], Lemma 2.2]

Let { s n } and { u n } be sequences of nonnegative real numbers satisfy:
s n + 1 ( 1 + u n ) s n , for all n N , and n = 1 u n < .

Then (i) lim n s n exists (ii) if lim inf n s n = 0 , then lim n s n = 0 .

Lemma 2.6[29], Lemma 1]

Suppose { r k } is a bounded sequence of real numbers and { d k , l } is a doubly index sequence of real numbers which satisfy
lim sup k lim sup l d k , l 0 , and r k + l r k + d k , l

for each k , l N . Then lim k r k = a for some a R .

Lemma 2.7[30, 31]

Let X be a uniformly convex Banach space and let { t n } be a sequence in [ a , b ] for some a , b ( 0 , 1 ) . Suppose that { u n } and { v n } are sequences in X such that
lim sup n u n r , lim sup n v n r , and lim n t n u n + ( 1 t n ) v n = r ,

for some r 0 . Then lim n u n v n = 0 .

Lemma 2.8[24], Lemma 3.1]

Let C be a nonempty closed convex subset of a uniformly convex Banach space X and let T T r ( C ) . If lim n x n T x n = 0 then for any m N , lim n x n T m x n = 0 .

Lemma 2.9[24], Theorem 3.1]

Let X be a uniformly convex Banach space with the Opial property and let C be a nonempty closed convex subset of X. Let T T r ( C ) and let ω X , { x n } X be such that weak- lim n x n = ω and lim n x n T x n = 0 . Then ω F ( T ) .

3 Results in Banach spaces

3.1 Results for bounded domains

Recall that a subset C of a metric space ( X , d ) is said to be bounded if
diam ( C ) : = sup { d ( x , y ) : x , y C } < .
Lemma 3.1 Let C be a nonempty closed convex subset of a Banach space X and T 1 , , T m T r ( C ) . Let { t i k } k = 1 [ 0 , 1 ] and { n k } N be such that { x k } in (9) is well defined. Assume that F : = i = 1 m F ( T i ) . Then for each p F , there are sequences of nonnegative real numbers { γ k } and { δ k } (depending on p) such that k = 1 γ k < , k = 1 δ k < and the following statements hold:
  1. (i)

    T i n k y ( i 1 ) k p ( 1 + γ k ) y ( i 1 ) k p , for all i = 1 , , m ;

     
  2. (ii)

    y i k p ( 1 + γ k ) i x k p , for all i = 1 , , m 1 ;

     
  3. (iii)

    x k + 1 p ( 1 + δ k ) x k p ;

     
  4. (iv)

    if C is bounded, then lim k x k p exists.

     
Proof Let p F and γ k = b n k ( p ) for all k N . Then k = 1 γ k < .
  1. (i)
    For i = 1 , 2 , , m , we have
    T i n k y ( i 1 ) k p ( 1 + γ k ) y ( i 1 ) k p .
     
  2. (ii)
    By (9), we obtain
    y 1 k p = ( 1 t 1 k ) ( x k p ) + t 1 k ( T 1 n k x k p ) ( 1 t 1 k ) x k p + t 1 k T 1 n k x k p ( 1 t 1 k ) x k p + t 1 k ( 1 + γ k ) x k p ( 1 + γ k ) x k p .
     
We assume that y j k p ( 1 + γ k ) j x k p holds for some j = 1 , , m 2 . From part (i), we have
y ( j + 1 ) k p = ( 1 t ( j + 1 ) k ) ( y j k p ) + t ( j + 1 ) k ( T j + 1 n k y j k p ) ( 1 t ( j + 1 ) k ) y j k p + t ( j + 1 ) k T j + 1 n k y j k p ( 1 t ( j + 1 ) k ) y j k p + t ( j + 1 ) k ( 1 + γ k ) y j k p ( 1 + γ k ) y j k p ( 1 + γ k ) ( 1 + γ k ) j x k p = ( 1 + γ k ) j + 1 x k p .
By mathematical induction, we obtain
y i k p ( 1 + γ k ) i x k p , for all i = 1 , , m 1 .
  1. (iii)
    By part (ii), we get
    x k + 1 p = ( 1 t m k ) ( y ( m 1 ) k p ) + t m k ( T m n k y ( m 1 ) k p ) ( 1 t m k ) y ( m 1 ) k p + t m k T m n k y ( m 1 ) k p ( 1 t m k ) y ( m 1 ) k p + t m k ( 1 + γ k ) y ( m 1 ) k p ( 1 + γ k ) y ( m 1 ) k p ( 1 + γ k ) ( 1 + γ k ) m 1 x k p ( 1 + γ k ) m x k p ( 1 + δ k ) x k p ,
     
where δ k = ( m 1 ) γ k + ( m 2 ) γ k 2 + + ( m m ) γ k m . Since k = 1 γ k < , then k = 1 δ k < .
  1. (iv)
    By part (iii), we have x k + 1 p x k p + diam ( C ) δ k for all k N . Thus, for each l N ,
    x k + l p x k p + diam ( C ) i = k k + l 1 δ i .
     

Since i = 1 δ i < , lim sup k lim sup l i = k k + l 1 δ i = 0 . The conclusion follows from Lemma 2.6 by letting r k = x k p and d k , l = diam ( C ) i = k k + l 1 δ i . □

Lemma 3.2 Let C be a nonempty bounded closed convex subset of a uniformly convex Banach space X and T 1 , , T m T r ( C ) . Let { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (9) is well defined. Assume that F : = i = 1 m F ( T i ) . Then
  1. (i)

    lim k y ( i 1 ) k T i n k y ( i 1 ) k = 0 , for all i = 1 , 2 , , m ;

     
  2. (ii)

    lim k x k T i n k y ( i 1 ) k = 0 , for all i = 1 , 2 , , m ;

     
  3. (iii)

    If the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic, then lim k x k T i x k = 0 , for all i = 1 , 2 , , m .

     
Proof (i) Let p F , then by Lemma 3.1(iv) we have lim k x k p exists. Let
lim k x k p = c .
(10)
By (10) and Lemma 3.1(ii), we get that
lim sup k y i k p c , for all i = 1 , , m 1 .
(11)
Note that
x k + 1 p ( 1 t m k ) y ( m 1 ) k p + t m k T m n k y ( m 1 ) k p ( 1 t m k ) y ( m 1 ) k p + t m k ( 1 + γ k ) y ( m 1 ) k p ( 1 + γ k ) y ( m 1 ) k p = ( 1 + γ k ) ( 1 t ( m 1 ) k ) ( y ( m 2 ) k p ) + t ( m 1 ) k ( T m 1 n k y ( m 2 ) k p ) ( 1 + γ k ) ( ( 1 t ( m 1 ) k ) y ( m 2 ) k p + t ( m 1 ) k ( 1 + r k ) y ( m 2 ) k p ) ( 1 + γ k ) 2 y ( m 2 ) k p ( 1 + γ k ) m i y i k p ,
for all i = 1 , , m 1 . So that
c lim inf k y i k p , for all i = 1 , , m 1 .
(12)
From (11) and (12), we have
lim k y i k p = c , for all i = 1 , 2 , , m 1 .
(13)
That is,
lim k ( 1 t i k ) ( y ( i 1 ) k p ) + t i k ( T i n k y ( i 1 ) k p ) = c , for all i = 1 , 2 , , m 1 .
(14)
By Lemma 3.1(i) and (13), we get that
lim sup k T i n k y ( i 1 ) k p c , for all j = 1 , 2 , , m 1 .
(15)
By (11), (14), (15), and Lemma 2.7, we obtain
lim k y ( i 1 ) k T i n k y ( i 1 ) k = 0 , for all i = 1 , 2 , , m 1 .
(16)
For the case i = m , by Lemma 3.1(i), we have
T m n k y ( m 1 ) k p ( 1 + γ k ) y ( m 1 ) k p .
This implies by (13) that
lim sup k T m n k y ( m 1 ) k p c .
(17)
Moreover,
lim k ( 1 t m k ) ( y ( m 1 ) k p ) + t m k ( T m n k y ( m 1 ) k p ) = lim k x k + 1 p = c .
Again, by Lemma 2.7, we get that
lim k y ( m 1 ) k T m n k y ( m 1 ) k = 0 .
(18)
Thus, (16) and (18) imply that
lim k y ( i 1 ) k T i n k y ( i 1 ) k = 0 , for all i = 1 , , m .
(19)
  1. (ii)
    From (9), we have
    y i k y ( i 1 ) k = t i k T i n k y ( i 1 ) k y ( i 1 ) k , for all i = 1 , , m 1 .
     
By (19), we obtain
lim k y i k y ( i 1 ) k = 0 , for i = 1 , , m 1 .
(20)
From
x k y i k x k y 1 k + y 1 k y 2 k + + y ( i 1 ) k y i k , for all i = 1 , , m 1 ,
it follows by (20) that
lim k x k y i k = 0 , for all i = 1 , , m 1 .
(21)
From
x k T i n k y ( i 1 ) k x k y ( i 1 ) k + y ( i 1 ) k T i n k y ( i 1 ) k ,
it implies by (19) and (21) that
lim k x k T i n k y ( i 1 ) k = 0 , for all i = 1 , 2 , , m .
(22)
(iii) For i = 1 , from (ii) we have
lim k T 1 n k x k x k = 0 .
(23)
If i = 2 , 3 , , m , then
T i n k x k x k T i n k x k T i n k y ( i 1 ) k + T i n k y ( i 1 ) k x k a n k ( x k ) x k y ( i 1 ) k + T i n k y ( i 1 ) k x k .
By (21), (22), and lim sup k a n k ( x k ) = 1 , we get
lim sup k T i n k x k x k = 0 for all i = 2 , 3 , , m .
(24)
By (23) and (24), we have
lim k T i n k x k x k = 0 for all i = 1 , 2 , , m .
(25)
From (9), we have
x k + 1 x k ( 1 t m k ) y ( m 1 ) k x k + t m k T m n k y ( m 1 ) k x k ( 1 t m k ) y ( m 1 ) k x k + t m k ( T m n k y ( m 1 ) k y ( m 1 ) k + y ( m 1 ) k x k ) = y ( m 1 ) k x k + t m k T m n k y ( m 1 ) k y ( m 1 ) k .
From (19) and (21),
lim k x k + 1 x k = 0 .
(26)

The proof of the remaining part is identical to the proof of [25], Lemma 4.8(iii)] upon replacing d ( , ) with . □

By using Lemma 3.1 and the argument in the proof of [26], Theorem 3.2], we can obtain the following result.

Lemma 3.3 Let C be a nonempty bounded closed convex subset of a Banach space X and T 1 , , T m T r ( C ) . Let { t i k } k = 1 [ 0 , 1 ] and { n k } N be such that { x k } in (9) is well defined. Assume that F : = i = 1 m F ( T i ) . Then { x k } converges strongly to a point in F if and only if lim inf k dist ( x k , F ) = 0 .

Theorem 3.4 Let X be a uniformly convex Banach space with the Opial property and C be a nonempty bounded closed convex subset of X. Let T 1 , , T m T r ( C ) be such that F : = i = 1 m F ( T i ) . { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (9) is well defined. If the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic, then the sequence { x k } converges weakly to a common fixed point of the family { T i : i = 1 , , m } .

Proof We have by Lemma 3.1 that lim n x k p exists for every p F . We shall prove that { x k } has a unique weak subsequential limit in F. For this, we suppose that there are subsequences { x k l } and { x k j } of { x k } which converge weakly to u and v, respectively. By Lemma 3.2(iii), lim k T i x k x k = 0 for all i = 1 , , m . It follows from Lemma 2.9 that u , v F ( T i ) for all i = 1 , , m . That is u , v F . Finally, we prove that u = v . Suppose not, then by the Opial property we get that
lim k x k u = lim l x k l u < lim l x k l v = lim k x k v = lim j x k j v < lim j x k j u = lim k x k u .

This is a contradiction. Therefore, the proof is complete. □

Theorem 3.5 Let X be a uniformly convex Banach space and C be a nonempty bounded closed convex subset of X. Let T 1 , , T m T r ( C ) be such that T i l is semi-compact for some i { 1 , , m } and l N . { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (9) is well defined. Suppose that F : = i = 1 m F ( T i ) and the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic. Then { x k } converges strongly to a common fixed point of the family { T i : i = 1 , 2 , , m } .

Proof By Lemma 3.2, we have
lim k x k T i x k = 0 , for all i = 1 , , m .
(27)
Let i { 1 , , m } be such that T i l is semi-compact. Thus, by Lemma 2.8,
lim k x k T i l x k = 0 .
We can also find a subsequence { x n j } of { x k } such that lim j x k j = q C . Hence, from (27), we have
q T i q = lim j x k j T i x k j = 0 , for all i = 1 , , m .

Thus q F . Therefore, { x k j } converges strongly to q F . But since lim k x k q exists, { x k } must itself converges to q. This completes the proof. □

Theorem 3.6 Let X be a uniformly convex Banach space and C be a nonempty bounded closed convex subset of X. Let { T 1 , , T m } T r ( C ) be satisfy Condition ( A ). Let { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (9) is well defined. Suppose that F : = i = 1 m F ( T i ) and the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic. Then { x k } converges strongly to a common fixed point of the family { T i : i = 1 , 2 , , m } .

Proof By Lemma 3.2, lim k x k T i x k = 0 , for all i = 1 , 2 , , m . By using Condition ( A ), there exists a nondecreasing function f : [ 0 , ) [ 0 , ) with f ( 0 ) = 0 , f ( r ) > 0 for r ( 0 , ) such that
lim k f ( dist ( x k , F ) ) lim k x k T j x k = 0 for some j = 1 , , m .

This implies that lim k dist ( x k , F ) = 0 . The conclusion follows from Lemma 3.3. □

3.2 Results for unbounded domains

To relax the boundedness of the domains we have to add some condition on the sequence { b n k } .

Lemma 3.7 Let C be a nonempty closed convex subset of a Banach space X and T 1 , , T m T r ( C ) be such that F : = i = 1 m F ( T i ) . Let { t i k } k = 1 [ 0 , 1 ] and { n k } N be such that { x k } in (9) is well defined. Assume that k = 1 sup x C b n k ( x ) < . Then for p F , we have lim k x k p exists.

Proof Similar to the proof of Lemma 3.1, we can show that x k + 1 p ( 1 + η k ) x k p for all k N , where η k = ( m 1 ) s k + ( m 2 ) s k 2 + + ( m m ) s k m and s k = sup x C b n k ( x ) . By assumption, we have k = 1 s k i < for all i = 1 , , m . It follows that k = 1 η k < . By Lemma 2.5, we get that lim k x k p exists. □

By using Lemma 3.7 and the argument in Section 3.1 we can obtain the following results.

Lemma 3.8 Let C be a nonempty closed convex subset of a Banach space X and T 1 , , T m T r ( C ) be such that F : = i = 1 m F ( T i ) . Let { t i k } k = 1 [ 0 , 1 ] and { n k } N be such that { x k } in (9) is well defined. Assume that k = 1 sup x C b n k ( x ) < . Then
  1. (i)

    lim k y ( i 1 ) k T i n k y ( i 1 ) k = 0 , for all i = 1 , 2 , , m ;

     
  2. (ii)

    lim k x k T i n k y ( i 1 ) k = 0 , for all i = 1 , 2 , , m ;

     
  3. (iii)

    If the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic, then lim k x k T i x k = 0 , for all i = 1 , 2 , , m .

     

Lemma 3.9 Let C be a nonempty closed convex subset of a Banach space X and T 1 , , T m T r ( C ) be such that F : = i = 1 m F ( T i ) . Let { t i k } k = 1 [ 0 , 1 ] and { n k } N be such that { x k } in (9) is well defined. Assume that k = 1 sup x C b n k ( x ) < . Then { x k } converges strongly to a point in F if and only if lim inf k dist ( x k , F ) = 0 .

Theorem 3.10 Let X be a uniformly convex Banach space with the Opial property and C be a nonempty closed convex subset of X. Let T 1 , , T m T r ( C ) be such that F : = i = 1 m F ( T i ) . { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (9) is well defined. Assume that k = 1 sup x C b n k ( x ) < and the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic. Then the sequence { x k } converges weakly to a common fixed point of the family { T i : i = 1 , , m } .

Theorem 3.11 Let X be a uniformly convex Banach space and C be a nonempty closed convex subset of X. Let T 1 , , T m T r ( C ) be such that T i l is semi-compact for some i { 1 , , m } and l N , { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (9) is well defined. Suppose that k = 1 sup x C b n k ( x ) < , F : = i = 1 m F ( T i ) and the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic. Then { x k } converges strongly to a common fixed point of the family { T i : i = 1 , 2 , , m } .

Theorem 3.12 Let X be a uniformly convex Banach space and C be a nonempty closed convex subset of X. Let { T 1 , , T m } T r ( C ) be satisfy Condition ( A ). Let { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (9) is well defined. Suppose that k = 1 sup x C b n k ( x ) < , F : = i = 1 m F ( T i ) and the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic. Then { x k } converges strongly to a common fixed point of the family { T i : i = 1 , 2 , , m } .

4 Results in CAT(0) spaces

A metric space X is a CAT(0) space if it is geodesically connected, and if every geodesic triangle in X is at least as thin as its comparison triangle in the Euclidean plane. It is well known that any complete, simply connected Riemannian manifold having nonpositive sectional curvature is a CAT(0) space. Other examples include Pre-Hilbert spaces (see [32]), R -trees (see [33]), Euclidean buildings (see [34]), the complex Hilbert ball with a hyperbolic metric (see [35]), and many others. For a thorough discussion of these spaces and of the fundamental role they play in geometry, we refer the reader to Bridson and Haefliger [32].

Let x , y X , by Lemma 2.1(iv) of [36] for each t [ 0 , 1 ] , there exists a unique point z [ x , y ] such that
d ( x , z ) = t d ( x , y ) and d ( y , z ) = ( 1 t ) d ( x , y ) .
(28)

From now on, we will use the notation ( 1 t ) x t y for the unique point z satisfying (28).

Let { x n } be a bounded sequence in a metric space ( X , d ) . For x X , we set
r ( x , { x n } ) = lim sup n d ( x , x n ) .
The asymptotic radius r ( { x n } ) of { x n } is given by
r ( { x n } ) = inf { r ( x , { x n } ) : x X } ,
and the asymptotic center A ( { x n } ) of { x n } is the set
A ( { x n } ) = { x X : r ( x , { x n } ) = r ( { x n } ) } .

It is known from Proposition 7 of [37] that in a CAT(0) space, A ( { x n } ) consists of exactly one point. We now give the definition of Δ-convergence.

Definition 4.1[38, 39]

A sequence { x n } in a metric space X is said to Δ-converge to x X if x is the unique asymptotic center of { u n } for every subsequence { u n } of { x n } . In this case we write Δ lim n x n = x and call x the Δ-limit of { x n } .

Let C be a nonempty closed convex subset of a CAT(0) space X and fix x 1 C . Define a sequence { x k } in C as
(29)

where T 1 , , T m T ( C ) , { t i k } k = 1 are sequences in [ 0 , 1 ] for all i = 1 , 2 , , m , and { n k } be an increasing sequence of natural numbers.

By using the argument in Section 3 together with the results in [25, 36, 40, 41], we can also obtain the analogous results for CAT(0) spaces.

Theorem 4.2 Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let T 1 , , T m T r ( C ) be such that F : = i = 1 m F ( T i ) , { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (29) is well defined. Suppose that either C is bounded or k = 1 sup x C b n k ( x ) < . If the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic, then the sequence { x k } Δ-converges to a common fixed point of the family { T i : i = 1 , , m } .

Theorem 4.3 Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let T 1 , , T m T r ( C ) be such that F : = i = 1 m F ( T i ) and T i l is semi-compact for some i { 1 , , m } and l N . Let { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (29) is well defined. Suppose that either C is bounded or k = 1 sup x C b n k ( x ) < . If the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic, then { x k } converges strongly to a common fixed point of the family { T i : i = 1 , 2 , , m } .

Theorem 4.4 Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let { T 1 , , T m } T r ( C ) be satisfy Condition ( A ) and F : = i = 1 m F ( T i ) . Let { t i k } k = 1 [ a , b ] ( 0 , 1 ) and { n k } N be such that { x k } in (29) is well defined. Suppose that either C is bounded or k = 1 sup x C b n k ( x ) < . If the set J = { k N : n k + 1 = 1 + n k } is quasi-periodic, then { x k } converges strongly to a common fixed point of the family { T i : i = 1 , 2 , , m } .

Declarations

Acknowledgements

This article is dedicated to Professor Anthony To-Ming Lau for celebrating his great achievements in the development of fixed point theory and applications. It was supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand. Bancha Nanjaras also thanks the Graduate School of Chiang Mai University, Thailand.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science, Chaing Mai University
(2)
Centre of Excellence in Mathematics, CHE

References

  1. Lau AT: Approximation of fixed points for amenable semigroups of nonexpansive mappings and strongly regular nets. In Nonlinear Analysis and Convex Analysis. Yokohama Publisher, Yokohama; 2010:179–188.Google Scholar
  2. Lau AT: Compactifications and fixed point properties. Fixed Point Theory Appl. 2004, 5: 53–58.Google Scholar
  3. Lau AT: Normal structure and common fixed point properties for semigroups of nonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2010., 2010:Google Scholar
  4. Lau, AT: Weak* fixed point property for dual Banach spaces associated to locally compact groups. Nonlinear Analysis Convex Analysis (Japanese). Kyoto, Japan (2000)Google Scholar
  5. Lau AT, Leinert M: Fixed point property and the Fourier algebra of a locally compact group. Trans. Am. Math. Soc. 2008, 360: 6389–6402. 10.1090/S0002-9947-08-04622-9MathSciNetView ArticleGoogle Scholar
  6. Lau AT, Mah PF: Fixed point property for Banach algebras associated to locally compact groups. J. Funct. Anal. 2010, 258: 357–372. 10.1016/j.jfa.2009.07.011MathSciNetView ArticleGoogle Scholar
  7. Lau AT, Mah PF, Ülger A: Fixed point property and normal structure for Banach spaces associated to locally compact groups. Proc. Am. Math. Soc. 1997, 125: 2021–2027. 10.1090/S0002-9939-97-03773-8View ArticleGoogle Scholar
  8. Lau AT, Miyake H, Takahashi W: Approximation of fixed points for amenable semigroups of nonexpansive mappings in Banach spaces. Nonlinear Anal. 2007, 67: 1211–1225. 10.1016/j.na.2006.07.008MathSciNetView ArticleGoogle Scholar
  9. Lau AT, Takahashi W: Fixed point and non-linear ergodic theorems for semigroups of nonlinear mappings. In Handbook of Metric Fixed Point Theory. Kluwer Academic, Dordrecht; 2001:517–555.View ArticleGoogle Scholar
  10. Lau AT, Takahashi W: Fixed point properties for semigroup of nonexpansive mappings on Fréchet spaces. Nonlinear Anal. 2009, 70: 3837–3841. 10.1016/j.na.2008.07.041MathSciNetView ArticleGoogle Scholar
  11. Lau AT, Zhang Y: Fixed point properties of semigroups of non-expansive mappings. J. Funct. Anal. 2008, 254: 2534–2554. 10.1016/j.jfa.2008.02.006MathSciNetView ArticleGoogle Scholar
  12. Browder FE: Nonexpansive nonlinear operators in a Banach space. Proc. Natl. Acad. Sci. USA 1965, 54: 1041–1044. 10.1073/pnas.54.4.1041MathSciNetView ArticleGoogle Scholar
  13. Göhde D: Zum Prinzip der Kontraktiven Abbildung. Math. Nachr. 1965, 30: 251–258. 10.1002/mana.19650300312MathSciNetView ArticleGoogle Scholar
  14. Kirk WA: A fixed point theorem for mappings which do not increase distance. Am. Math. Mon. 1965, 72: 1004–1006. 10.2307/2313345MathSciNetView ArticleGoogle Scholar
  15. 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
  16. Rhoades BE: Comments on two fixed point iteration methods. J. Math. Anal. Appl. 1976, 56: 741–750. 10.1016/0022-247X(76)90038-XMathSciNetView ArticleGoogle Scholar
  17. Franks RL, Marzec RP: A theorem on mean value iterations. Proc. Am. Math. Soc. 1971, 30: 324–326. 10.1090/S0002-9939-1971-0280656-9MathSciNetView ArticleGoogle Scholar
  18. 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.1309MathSciNetView ArticleGoogle Scholar
  19. Ghosh MK, Debnath L: Convergence of Ishikawa iterates of quasi-nonexpansive mappings. J. Math. Anal. Appl. 1997, 207: 96–103. 10.1006/jmaa.1997.5268MathSciNetView ArticleGoogle Scholar
  20. 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
  21. Chidume CE, Shahzad N: Strong convergence of an implicit iteration process for a finite family of nonexpansive mappings. Nonlinear Anal. 2005, 62: 1149–1156. 10.1016/j.na.2005.05.002MathSciNetView ArticleGoogle Scholar
  22. Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972, 35: 171–174. 10.1090/S0002-9939-1972-0298500-3MathSciNetView ArticleGoogle Scholar
  23. Kirk WA, Xu HK: Asymptotic pointwise contractions. Nonlinear Anal. 2008, 69: 4706–4712. 10.1016/j.na.2007.11.023MathSciNetView ArticleGoogle Scholar
  24. Kozlowski WM: Fixed point iteration processes for asymptotic pointwise nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 2011, 377: 43–52. 10.1016/j.jmaa.2010.10.026MathSciNetView ArticleGoogle Scholar
  25. Pasom P, Panyanak B: Common fixed points for asymptotic pointwise nonexpansive mappings in metric and Banach spaces. J. Appl. Math. 2012., 2012:Google Scholar
  26. Kettapun A, Kananthai A, Suantai S: A new approximation method for common fixed points of a finite family of asymptotically quasi-nonexpansive mappings in Banach spaces. Comput. Math. Appl. 2010, 60: 1430–1439. 10.1016/j.camwa.2010.06.025MathSciNetView ArticleGoogle Scholar
  27. Pasom, P, Panyanak, B: Common fixed points for asymptotic pointwise nonexpansive mappings. Fixed Point Theory (in press)Google Scholar
  28. Sun Z-H: Strong convergence of an implicit iteration process for a finite family of asymptotically quasi-nonexpansive mappings. J. Math. Anal. Appl. 2003, 286: 351–358. 10.1016/S0022-247X(03)00537-7MathSciNetView ArticleGoogle Scholar
  29. Bruck RE, Kuczumow T, Reich S: Convergence of iterates of asymptotically nonexpansive mappings in Banach spaces with the uniform Opial property. Collect. Math. 1993, 65: 169–179.MathSciNetGoogle Scholar
  30. Schu J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 1991, 43: 153–159. 10.1017/S0004972700028884MathSciNetView ArticleGoogle Scholar
  31. Zeidler E: Nonlinear Functional Analysis and Its Applications I, Fixed Points Theorems. Springer, New York; 1986.View ArticleGoogle Scholar
  32. Bridson M, Haefliger A: Metric Spaces of Non-Positive Curvature. Springer, Berlin; 1999.View ArticleGoogle Scholar
  33. Kirk WA:Fixed point theorems in CAT(0) spaces and R -trees. Fixed Point Theory Appl. 2004, 2004: 309–316.MathSciNetView ArticleGoogle Scholar
  34. Brown KS: Buildings. Springer, New York; 1989.View ArticleGoogle Scholar
  35. Goebel K, Reich S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York; 1984.Google Scholar
  36. Dhompongsa S, Panyanak B: On Δ-convergence theorems in CAT(0) spaces. Comput. Math. Appl. 2008, 56: 2572–2579. 10.1016/j.camwa.2008.05.036MathSciNetView ArticleGoogle Scholar
  37. Dhompongsa S, Kirk WA, Sims B: Fixed points of uniformly Lipschitzian mappings. Nonlinear Anal. 2006, 65: 762–772. 10.1016/j.na.2005.09.044MathSciNetView ArticleGoogle Scholar
  38. Lim TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 1976, 60: 179–182. 10.1090/S0002-9939-1976-0423139-XView ArticleGoogle Scholar
  39. Kirk WA, Panyanak B: A concept of convergence in geodesic spaces. Nonlinear Anal. 2008, 68: 3689–3696. 10.1016/j.na.2007.04.011MathSciNetView ArticleGoogle Scholar
  40. Hussain N, Khamsi MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal. 2009, 71: 4423–4429. 10.1016/j.na.2009.02.126MathSciNetView ArticleGoogle Scholar
  41. Khamsi MA, Khan AR: Inequalities in metric spaces with applications. Nonlinear Anal. 2011, 74: 4036–4045. 10.1016/j.na.2011.03.034MathSciNetView ArticleGoogle Scholar

Copyright

© Nanjaras and Panyanak; licensee Springer 2012

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