Skip to main content

Strong and Δ-convergence for mixed type total asymptotically nonexpansive mappings in CAT(0) spaces

Abstract

It is our purpose in this paper first to introduce the class of total asymptotically nonexpansive nonself mappings and to prove the demiclosed principle for such mappings in CAT(0) spaces. Then, a new mixed Agarwal-O’Regan-Sahu type iterative scheme for approximating a common fixed point of two total asymptotically nonexpansive mappings and two total asymptotically nonexpansive nonself mappings is constructed. Under suitable conditions, some strong convergence theorems and Δ-convergence theorems are proved in a CAT(0) space. Our results improve and extend the corresponding results of Agarwal, O’Regan and Sahu (J. Nonlinear Convex Anal. 8(1):61-79, 2007), Guo et al. (Fixed Point Theory Appl. 2012:224, 2012. doi:10.1186/1687-1812-2012-224), Sahin et al. (Fixed Point Theory Appl. 2013:12, 2013. doi:10.1186/1687-1812-2013-12), Chang et al. (Appl. Math. Comput. 219:2611-2617, 2012), Khan and Abbas (Comput. Math. Appl. 61:109-116, 2011), Khan et al. (Nonlinear Anal. 74:783-791, 2011), Xu (Nonlinear Anal., Theory Methods Appl. 16(12):1139-1146, 1991), Chidume et al. (J. Math. Anal. Appl. 280:364-374, 2003) and others.

MSC:47J05, 47H09, 49J25.

1 Introduction and preliminaries

Let (X,d) be a metric space and x,yX with d(x,y)=l. A geodesic path from x to y is an isometry c:[0,l]X such that c(0)=x and c(l)=y. The image of a geodesic path is called a geodesic segment. A metric space X is a (uniquely) geodesic space if every two points of X are joined by only one geodesic segment. A geodesic triangle Δ( x 1 , x 2 , x 3 ) in a geodesic space X consists of three points x 1 , x 2 , x 3 of X and three geodesic segments joining each pair of vertices. A comparison triangle of a geodesic triangle Δ( x 1 , x 2 , x 3 ) is the triangle Δ ¯ ( x 1 , x 2 , x 3 ):=Δ( x 1 ¯ , x 2 ¯ , x 3 ¯ ) in the Euclidean space R 2 such that

d( x i , x j )= d R 2 ( x i ¯ , x j ¯ ),i,j=1,2,3.

A geodesic space X is a CAT(0) space if for each geodesic triangle Δ( x 1 , x 2 , x 3 ) in X and its comparison triangle Δ ¯ :=Δ( x 1 ¯ , x 2 ¯ , x 3 ¯ ) in R 2 , the CAT(0) inequality

d(x,y) d R 2 ( x ¯ , y ¯ )
(1.1)

is satisfied for all x,yΔ and x ¯ , y ¯ Δ ¯ .

The initials of the term ‘CAT’ are in honor of Cartan, Alexanderov and Toponogov. A CAT(0) space is a generalization of the Hadamard manifold, which is a simply connected, complete Riemannian manifold such that the sectional curvature is nonpositive. A thorough discussion of these spaces and their important role in various branches of mathematics are given in [1].

In this paper, we write (1t)xty for the unique point z in the geodesic segment joining from x to y such that

d(z,x)=td(x,y),d(z,y)=(1t)d(x,y).
(1.2)

We also denote by [x,y] the geodesic segment joining from x to y, that is, [x,y]={(1t)xty:t[0,1]}.

A subset C of a CAT(0) space is convex if [x,y]C for all x,yC. For elementary facts about CAT(0) spaces, we refer the readers to [1] or [2].

The following lemma plays an important role in our paper.

Lemma 1.1 [2]

A geodesic space X is a CAT(0) space if and only if the following inequality holds:

d 2 ( ( 1 t ) x t y , z ) (1t) d 2 (x,z)+t d 2 (y,z)t(1t) d 2 (x,y)
(1.3)

for all x,y,zX and all t[0,1]. In particular, if x, y, z are points in a CAT(0) space and t[0,1], then

d ( ( 1 t ) x t y , z ) (1t)d(x,z)+td(y,z).
(1.4)

Let (X,d) be a metric space, and let C be a nonempty subset of X. Recall that C is said to be a retract of X if there exists a continuous map P:XC such that Px=x, xC. A map P:XC is said to be a retraction if P 2 =P. If P is a retraction, then Py=y for all y in the range of P.

A mapping T:CC is said to be nonexpansive if

d(Tx,Ty)d(x,y),x,yC.

T:CC is said to be asymptotically nonexpansive if there is a sequence { k n }[1,) with k n 1 such that

d ( T n x , T n y ) k n d(x,y),n1,x,yC.

T:CX is said to be an asymptotically nonexpansive nonself mapping if there is a sequence { k n }[1,) with k n 1 such that

d ( T ( P T ) n 1 x , T ( P T ) n 1 y ) k n d(x,y),n1,x,yC,

where P is a nonexpansive retraction of X onto C.

T:CC is said to be uniformly L-Lipschitzian if there exists a constant L>0 such that

d ( T n x , T n y ) Ld(x,y),n1,x,yC.
(1.5)

Definition 1.2 A self-mapping T:CC is said to be ({ μ n },{ ν n },ζ)-total asymptotically nonexpansive if there exist nonnegative sequences { μ n }, { ν n } with μ n 0, ν n 0 and a strictly increasing continuous function ζ:[0,)[0,) with ζ(0)=0 such that

d ( T n x , T n y ) d(x,y)+ ν n ζ ( d ( x , y ) ) + μ n ,n1,x,yC.
(1.6)

Definition 1.3 T:CX is said to be a ({ μ n },{ ν n },ζ)-total asymptotically nonexpansive nonself mapping if there exist nonnegative sequences { μ n }, { ν n } with μ n 0, ν n 0 and a strictly increasing continuous function ζ:[0,)[0,) with ζ(0)=0 such that

d ( T ( P T ) n 1 x , T ( P T ) n 1 y ) d(x,y)+ ν n ζ ( d ( x , y ) ) + μ n ,n1,x,yC,
(1.7)

where P is a nonexpansive retraction of X onto C.

Definition 1.4 A nonself mapping T:CX is said to be uniformly L-Lipschitzian if there exists a constant L>0 such that

d ( T ( P T ) n 1 x , T ( P T ) n 1 y ) Ld(x,y),n1,x,yC,
(1.8)

where P is a nonexpansive retraction of X onto C.

Remark 1.5 From the definitions, it is to know that each nonexpansive mapping is an asymptotically nonexpansive mapping with a sequence { k n =1}, and each asymptotically nonexpansive mapping is a ({ μ n },{ ν n },ζ)-total asymptotically nonexpansive mapping with μ n =0, ν n = k n 1, n1 and ζ(t)=t, t0.

In 1976, Lim [3] introduced the concept of Δ-convergence in a general metric space. In 2008, Kirk and Panyanak [4] specialized Lim’s concept to CAT(0) spaces and proved that it is very similar to the weak convergence in a Banach space setting.

Fixed point theory in a CAT(0) space was first studied by Kirk (see [5, 6]). He showed that every nonexpansive mapping defined on a bounded closed convex subset of a complete CAT(0) space always has a fixed point. Since then the existence problem of fixed point and the Δ-convergence problem of iterative sequences to a fixed point for nonexpansive mappings, asymptotically nonexpansive mappings in a CAT(0) space have been rapidly developed and many papers have appeared (see, e.g., [726]).

The purpose of this paper is first to introduce the class of total asymptotically nonexpansive nonself mappings and to prove the demiclosed principle for such mappings in CAT(0) spaces. Then, a new mixed Agarwal-O’Regan-Sahu type iterative scheme [27] for approximating a common fixed point of two total asymptotically nonexpansive mappings and two total asymptotically nonexpansive nonself mappings is constructed. Under suitable conditions, some strong convergence theorems and Δ-convergence theorems are proved in a CAT(0) space. Our results extend and improve the corresponding results of Agarwal, O’Regan and Sahu [27], Guo et al. [28], Sahin [26], Chang et al. [24], Khan and Abbas [22], Khan et al. [23], Chidume et al. [29], Xu [30], Chang et al. [31] and many other recent results.

2 Demiclosed principle for total asymptotically nonexpansive nonself mappings

Let { x n } be a bounded sequence in a CAT(0) space X. For xX, 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 } .
(2.1)

The asymptotic radius r C ({ x n }) of { x n } with respect to CX is given by

r C ( { x n } ) =inf { r ( x , { x n } ) : x C } .
(2.2)

The asymptotic center A({ x n }) of { x n } is the set

A ( { x n } ) = { x X : r ( x , { x n } ) = r ( { x n } ) } .
(2.3)

And the asymptotic center A C ({ x n }) of { x n } with respect to CX is the set

A C ( { x n } ) = { x C : r ( x , { x n } ) = r C ( { x n } ) } .
(2.4)

Proposition 2.1 [7]

Let X be a complete CAT(0) space, let { x n } be a bounded sequence in X and let C be a closed convex subset of X. Then

  1. (1)

    there exists a unique point uC such that

    r ( u , { x n } ) = inf x C r ( x , { x n } ) ;
  2. (2)

    A({ x n }) and A C ({ x n }) both are singleton.

Definition 2.2 [3, 4]

Let X be a CAT(0) space. A sequence { x n } in X is said to Δ-converge to pX if p is the unique asymptotic center of { u n } for each subsequence { u n } of { x n }. In this case, we write Δ lim n x n =p and call p the Δ-limit of { x n }.

Lemma 2.3

  1. (1)

    Let X be a complete CAT(0) space, let C be a closed convex subset of X. If { x n } is a bounded sequence in C, then the asymptotic center of { x n } is in C [8];

  2. (2)

    Every bounded sequence in a complete CAT(0) space always has a Δ-convergent subsequence [4].

Remark 2.4 Let X be a CAT(0) space and let C be a closed convex subset of X. Let { x n } be a bounded sequence in C. In what follows, we denote it by

{ x n }wΦ(w)= inf x C Φ(x),
(2.5)

where Φ(x):= lim sup n d( x n ,x).

Now we give a connection between the ‘’ convergence and Δ-convergence.

Proposition 2.5 Let X be a CAT(0) space, let C be a closed convex subset of X and let { x n } be a bounded sequence in C. Then Δ lim n x n =p implies that { x n }p.

Proof In fact, if Δ lim n x n =p, then it follows from Lemma 2.3 that pC. Since A({ x n })={p}, we have r({ x n })=r(p,{ x n }). This implies that Φ(p)= inf y C Φ(y), i.e., { x n }p. The desired conclusion is obtained. □

It is well known that one of the fundamental and celebrated results in the theory of nonexpansive mappings is Browder’s demiclosed principle [32] which states that if X is a uniformly convex Banach space, C is a nonempty closed convex subset of X, and T:CX is a nonexpansive mapping, then IT is demiclosed at 0, i.e., for any sequence { x n } in C if x n x weakly and (IT) x n 0, then x=Tx.

Later, Xu [30] and Chang et al. [31] proved the demiclosed principle for asymptotically nonexpansive mappings in a uniformly convex Banach space. In 2003, Chidume et al. [29] proved the demiclosed principle for asymptotically nonexpansive nonself mappings in uniformly convex Banach spaces.

In this section, by using the convergence ‘’ defined by (2.5), we prove the demiclosed principle for total asymptotically nonexpansive nonself mappings in CAT(0) spaces, which extends the results of Xu [30], Chang et al. [31] and Chidume et al. [29] to CAT(0) spaces.

Theorem 2.6 (Demiclosed principle for total asymptotically nonexpansive nonself mappings in CAT(0) spaces)

Let C be a nonempty closed and convex subset of a complete CAT(0) space X, and let T:CX be a uniformly L-Lipschitzian and ({ μ n },{ ν n },ζ)-total asymptotically nonexpansive nonself mapping. Let { x n } be a bounded sequence in C such that { x n }p defined by (2.5) and lim n d( x n ,T x n )=0. Then Tp=p.

Proof By the definition and Proposition 2.1, { x n }p if and only if A C ({ x n })={p}. By Lemma 2.3, we have A({ x n })={p}.

Since lim n d( x n ,T x n )=0, by induction we can prove that

lim n d ( x n , T ( P T ) m 1 x n ) =0for each m1.
(2.6)

In fact, it is obvious that the conclusion is true for m=1. Suppose the conclusion holds for m1, now we prove that the conclusion is also true for m+1.

Indeed, since x n C, we have x n =P x n . In addition, since T is uniformly L-Lipschitzian, we have

d ( x n , T ( P T ) m x n ) d ( x n , T ( P T ) m 1 x n ) + d ( T ( P T ) m 1 x n , T ( P T ) m x n ) d ( x n , T ( P T ) m 1 x n ) + L d ( x n , P T x n ) = d ( x n , T ( P T ) m 1 x n ) + L d ( P x n , P T x n ) d ( x n , T ( P T ) m 1 x n ) + L d ( x n , T x n ) 0 ( as  n ) .

Equation (2.6) is proved. Hence for each xX and m1, we have

Φ(x):= lim sup n d( x n ,x)= lim sup n d ( T ( P T ) m 1 ( x n ) , x ) .
(2.7)

In (2.7), taking x=T ( P T ) m 1 p, m1, we have

Φ ( T ( P T ) m 1 p ) = lim sup n d ( T ( P T ) m 1 x n , T ( P T ) m 1 p ) lim sup n { d ( x n , p ) + ν m ζ ( d ( x n , p ) ) + μ m } .

Letting m and taking superior limit on both sides, we get that

lim sup m Φ ( T ( P T ) m 1 p ) Φ(p).
(2.8)

Furthermore, for any n,m1, it follows from inequality (1.3) with t= 1 2 that

(2.9)

Letting n and taking superior limit on both sides of the above inequality, for any m1, we get

Φ ( p T ( P T ) m 1 ( p ) 2 ) 2 1 2 Φ ( p ) 2 + 1 2 Φ ( T ( P T ) m 1 ( p ) ) 2 1 4 d 2 ( p , T ( P T ) m 1 ( p ) ) .
(2.10)

Since A({ x n })={p}, for any m1, we have

Φ ( p ) 2 Φ ( p T ( P T ) m 1 ( p ) 2 ) 2 1 2 Φ ( p ) 2 + 1 2 Φ ( T ( P T ) m 1 ( p ) ) 2 1 4 d 2 ( p , T ( P T ) m 1 ( p ) ) .
(2.11)

This implies that

d 2 ( p , T ( P T ) m 1 ( p ) ) 2Φ ( T ( P T ) m 1 ( p ) ) 2 2Φ ( p ) 2 .
(2.12)

From (2.8) and (2.12), we have lim m d(p,T ( P T ) m 1 p)=0. Hence we have

d ( T p , p ) d ( T p , T ( P T ) m p ) + d ( T ( P T ) m p , p ) L d ( p , ( P T ) m p ) + d ( T ( P T ) m p , p ) = L d ( P p , ( P T ) ( P T ) m 1 p ) + d ( T ( P T ) m p , p ) L d ( p , T ( P T ) m 1 p ) + d ( T ( P T ) m p , p ) 0 ( as  m ) ,

i.e., p=Tp as desired. □

The following theorem can be obtained from Theorem 2.6 immediately which is a generalization of Kirk et al. [[4], Proposition 3.7], Xu [30], Chang et al. [31] and Chidume et al. [[29], Theorem 3.4].

Theorem 2.7 Let C be a closed and convex subset of a complete CAT(0) space X. Let T be a mapping satisfying one of the following conditions:

  1. (1)

    T:CC is an asymptotically nonexpansive mapping with a sequence { k n }[1,), k n 1;

  2. (2)

    T:CX is an asymptotically nonexpansive nonself mapping with a sequence { k n }[1,), k n 1;

  3. (3)

    T:CC is a ({ ν n },{ μ n },ζ)-total asymptotically nonexpansive mapping.

Let { x n } be a bounded sequence in C such that lim n d( x n ,T x n )=0 and Δ lim n x n =p. Then Tp=p.

3 Δ-convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces

In this section we prove some Δ-convergence theorems for the mixed Agarwal-O’Regan-Sahu type iterative scheme [27]

{ x 1 C , x n + 1 = P ( ( 1 α n ) S 1 n x n α n T 1 ( P T 1 ) n 1 y n ) , y n = P ( ( 1 β n ) S 2 n x n β n T 2 ( P T 2 ) n 1 x n ) , n1,
(3.1)

where C is a nonempty bounded closed and convex subset of a complete CAT(0) space X, P is a nonexpansive retraction of X onto C, T i :CX, i=1,2, is a uniformly L i -Lipschitzian and ({ ν n ( i ) },{ μ n ( i ) }, ζ ( i ) )-total asymptotically nonexpansive nonself mapping (defined by (1.7)), and S i :CC, i=1,2, is a uniformly L ˜ i -Lipschitzian and ({ ν ˜ n ( i ) },{ μ ˜ n ( i ) }, ζ ˜ ( i ) ) total asymptotically nonexpansive mapping (defined by (1.6)) such that the following conditions are satisfied:

  1. (1)

    n = 1 ν n ( i ) <, n = 1 μ n ( i ) <, n = 1 ν ˜ n ( i ) <, n = 1 μ ˜ n ( i ) <, i=1,2;

  2. (2)

    There exists a constant M >0 such that ζ ( i ) (r) M r, ζ ˜ ( i ) (r) M r, r0, i=1,2.

Remark 3.1 Without loss of generality, in the sequel, we can assume that S i :CC and T i :CX, i=1,2, both are uniformly L-Lipschitzian and ({ ν n },{ μ n },ζ)-total asymptotically nonexpansive mappings satisfying the conditions (1) and (2). In fact, letting ν n =max{ ν n ( i ) , ν ˜ n ( i ) ,i=1,2}, μ n =max{ μ n ( i ) , μ ˜ n ( i ) ,i=1,2}, L=max{ L i , L ˜ i ,i=1,2} and ζ=max{ ζ ( i ) , ζ ˜ ( i ) ,i=1,2}, then S i :CC and T i :CX, i=1,2, are the mappings satisfying the required conditions.

The following lemmas will be used to prove our main results.

Lemma 3.2 (Chang et al. [24])

Let X be a CAT(0) space, xX be a given point and { t n } be a sequence in [b,c] with b,c(0,1) and 0<b(1c) 1 2 . Let { x n } and { y n } be any sequences in X such that

lim sup n d ( x n , x ) r , lim sup n d ( y n , x ) r and lim n d ( ( 1 t n ) x n t n y n , x ) = r ,

for some r0. Then

lim n d( x n , y n )=0.
(3.2)

Lemma 3.3 Let { a n }, { λ n } and { c n } be the sequences of nonnegative numbers such that

a n + 1 (1+ λ n ) a n + c n ,n1.

If n = 1 λ n < and n = 1 c n <, then lim n a n exists. If there exists a subsequence { a n i }{ a n } such that a n i 0, then lim n a n =0.

Lemma 3.4 [2]

Let X be a complete CAT(0) space, { x n } be a bounded sequence in X with A({ x n })={p}, and { u n } be a subsequence of { x n } with A({ u n })={u} and the sequence {d( x n ,u)} converges, then p=u.

Now we are in a position to give the main results of this paper.

Theorem 3.5 Let C be a bounded closed and convex subset of a complete CAT(0) X. Let T i :CX, i=1,2, be a uniformly L-Lipschitzian and ({ ν n },{ μ n },ζ)-total asymptotically nonexpansive nonself mapping, and let S i :CC, i=1,2, be a uniformly L-Lipschitzian and ({ ν n },{ μ n },ζ)-total asymptotically nonexpansive mapping. If F:= i = 1 2 F( T i )F( S i ) and the following conditions are satisfied:

  1. (i)

    n = 1 ν n <; n = 1 μ n <;

  2. (ii)

    there exist constants a,b(0,1) with 0<b(1c) 1 2 such that { α n }[a,b];

  3. (iii)

    there exists a constant M >0 such that ζ(r) M r, r0;

  4. (iv)

    d(x, T i y)d( S i x, T i y) for all x,yC and i=1,2,

then the sequence { x n } defined by (3.1) Δ-converges to some point p F (a common fixed point of T i and S i , i=1,2).

Proof (I) First we prove that the following limits exist

lim n d( x n ,p)for each pFand lim n d( x n ,F).
(3.3)

In fact, since pF, p=Pp. In addition, since S i and T i , i=1,2, are total asymptotically nonexpansive mappings, by the condition (iii), we have

d ( y n , p ) = d ( P ( ( 1 β n ) S 2 n x n β n T 2 ( P T 2 ) n 1 x n ) , P p ) d ( ( 1 β n ) S 2 n x n β n T 2 ( P T 2 ) n 1 x n , p ) ( 1 β n ) d ( S 2 n x n , p ) + β n d ( T 2 ( P T 2 ) n 1 x n , p ) = ( 1 β n ) { d ( x n , p ) + ν n ζ ( d ( x n , p ) ) + μ n } + β n { d ( x n , p ) + ν n ζ ( d ( x n , p ) ) + μ n } = d ( x n , p ) + ν n ζ ( d ( x n , p ) ) + μ n ( 1 + ν n M ) d ( x n , p ) + μ n
(3.4)

and

d ( x n + 1 , p ) = d ( P ( ( 1 α n ) S 1 n x n α n T 1 ( P T 1 ) n 1 y n ) , P p ) d ( ( 1 α n ) S 1 n x n α n T 1 ( P T 1 ) n 1 y n , p ) ( 1 α n ) d ( S 1 n x n , p ) + α n d ( T 1 ( P T 1 ) n 1 y n , p ) = ( 1 α n ) { d ( x n , p ) + ν n ζ ( d ( x n , p ) ) + μ n } + α n { d ( y n , p ) + ν n ζ ( d ( y n , p ) ) + μ n } ( 1 α n ) { ( 1 + ν n M ) d ( x n , p ) + μ n } + α n { ( 1 + ν n M ) d ( y n , p ) + μ n } .
(3.5)

Substituting (3.4) into (3.5) and simplifying it, we have

d( x n + 1 ,p)(1+ σ n )d( x n ,p)+ ξ n ,n1 and pF,
(3.6)

and so

d( x n + 1 ,F)(1+ σ n )d( x n ,F)+ ξ n ,n1,
(3.7)

where σ n = ν n M (1+ α n (1+ ν n M )), ξ n =(1+ α n (1+ ν n M )) μ n . By virtue of the condition (i),

n = 1 σ n <and n = 1 ξ n <.
(3.8)

By Lemma 3.3 the limits lim n d( x n ,F) and lim n d( x n ,p) exist for each pF.

(II) Next we prove that

lim n d( x n , T i x n )=0, lim n d( x n , S i x n )=0,i=1,2.
(3.9)

In fact, it follows from (3.3) that for each given pF, lim n d( x n ,p) exists. Without loss of generality, we can assume that

lim n d( x n ,p)=r0.
(3.10)

From (3.4) we have

lim inf n d( y n ,p) lim sup n d( y n ,p) lim n { ( 1 + ν n M ) d ( x n , p ) + μ n } =r.
(3.11)

Since

d ( T 1 ( P T 1 ) n 1 y n , p ) = d ( T 1 ( P T 1 ) n 1 y n , T 1 ( P T 1 ) n 1 p ) d ( y n , p ) + ν n ζ ( d ( y n , p ) ) + μ n ( 1 + ν n M ) d ( y n , p ) + μ n , n 1 ,

and

d ( S 1 n x n , p ) d( x n ,p)+ ν n ζ ( d ( x n , p ) ) + μ n ( 1 + ν n M ) d( x n ,p)+ μ n ,n1,

then we have

lim sup n d ( T 1 ( P T 1 ) n 1 y n , p ) r
(3.12)

and

lim sup n d ( S 1 n x n , p ) r.
(3.13)

In addition, it follows from (3.6) that

d( x n + 1 ,p)d ( ( 1 α n ) S 1 n x n α n T 1 ( P T 1 ) n 1 y n , p ) (1+ σ n )d( x n ,p)+ ξ n .

This implies that

lim n d ( ( 1 α n ) S 1 n x n α n T 1 ( P T 1 ) n 1 y n , p ) =r.
(3.14)

From (3.12)-(3.14) and Lemma 3.2, one gets that

lim n d ( S 1 n x n , T 1 ( P T 1 ) n 1 y n ) =0.
(3.15)

By the same method, we can also prove that

lim n d ( S 2 n x n , T 2 ( P T 2 ) n 1 x n ) =0.
(3.16)

By virtue of the condition (iv), it follows from (3.15) and (3.16) that

lim n d ( x n , T 1 ( P T 1 ) n 1 y n ) lim n d ( S 1 n x n , T 1 ( P T 1 ) n 1 y n ) =0
(3.17)

and

lim n d ( x n , T 2 ( P T 2 ) n 1 x n ) lim n d ( S 2 n x n , T 2 ( P T 2 ) n 1 x n ) =0.
(3.18)

Since S 2 n x n C, S 2 n x n =P S 2 n x n . By (3.1) and (3.16) we have

d ( y n , S 2 n x n ) d ( ( 1 β n ) S 2 n x n β n T 2 ( P T 2 ) n 1 x n , S 2 n x n ) β n d ( T 2 ( P T 2 ) n 1 x n , S 2 n x n ) 0 ( as  n ) .
(3.19)

Observe that

d( x n , y n )d ( x n , T 2 ( P T 2 ) n 1 x n ) +d ( T 2 ( P T 2 ) n 1 x n , S 2 n x n ) +d ( S 2 n x n , y n ) .

From (3.18) and (3.19) we get

lim n d( x n , y n )=0.
(3.20)

This together with (3.17) implies that

d ( x n , T 1 ( P T 1 ) n 1 x n ) d ( x n , T 1 ( P T 1 ) n 1 y n ) + d ( T 1 ( P T 1 ) n 1 y n , T 1 ( P T 1 ) n 1 x n ) = d ( x n , T 1 ( P T 1 ) n 1 y n ) + d ( x n , y n ) + ν n ζ ( d ( x n , y n ) ) + μ n d ( x n , T 1 ( P T 1 ) n 1 y n ) + ( 1 + ν n M ) d ( x n , y n ) + μ n 0 .
(3.21)

On the other hand, by the condition (iv), d( x n , T 1 ( P T 1 ) n 1 x n )d( S 1 n x n , T 1 ( P T 1 ) n 1 x n ). Hence from (3.17) and (3.20), we have

d ( S 1 n x n , T 1 ( P T 1 ) n 1 x n ) d ( S 1 n x n , T 1 ( P T 1 ) n 1 y n ) + d ( T 1 ( P T 1 ) n 1 y n , T 1 ( P T 1 ) n 1 x n ) d ( S 1 n x n , T 1 ( P T 1 ) n 1 y n ) + L d ( y n , x n ) 0 ( as  n ) .
(3.22)

By the condition (iv), d( x n , T 1 ( P T 1 ) n 1 x n )d( S 1 n x n , T 1 ( P T 1 ) n 1 x n ). Hence from (3.22) we have that

d ( S 1 n x n , x n ) d ( S 1 n x n , T 1 ( P T 1 ) n 1 x n ) +d ( T 1 ( P T 1 ) n 1 x n , x n ) 0(as n).

This together with (3.17) shows that

d ( x n + 1 , x n ) d ( ( 1 α n ) S 1 n x n α n T 1 ( P T 1 ) n 1 y n , x n ) ( 1 α n ) d ( S 1 n x n , x n ) + α n d ( T 1 ( P T 1 ) n 1 y n , x n ) 0 ( as  n ) .
(3.23)

Hence from (3.18), (3.21) and (3.23), for each i=1,2, we have

d ( x n , T i x n ) d ( x n , x n + 1 ) + d ( x n + 1 , T i ( P T i ) n x n + 1 ) + d ( T i ( P T i ) n x n + 1 , T i ( P T i ) n x n ) + d ( T i ( P T i ) n x n , T i x n ) ( 1 + L ) d ( x n , x n + 1 ) + d ( x n + 1 , T i ( P T i ) n x n + 1 ) + L d ( ( P T i ) n x n , x n ) = ( 1 + L ) d ( x n , x n + 1 ) + d ( x n + 1 , T i ( P T i ) n x n + 1 ) + L d ( P T i ( P T i ) n 1 x n , P x n ) ( 1 + L ) d ( x n , x n + 1 ) + d ( x n + 1 , T i ( P T i ) n x n + 1 ) + L d ( T i ( P T i ) n 1 x n , x n ) 0 .
(3.24)

By virtue of the condition (iv), d( S i x n , T i ( P T i ) n 1 x n )d( S i n x n , T i ( P T i ) n 1 x n ). It follows from (3.18), (3.21) and (3.22) that

d ( x n , S i x n ) d ( x n , T i ( P T i ) n 1 x n ) + d ( S i x n , T i ( P T i ) n 1 x n ) d ( x n , T i ( P T i ) n 1 x n ) + d ( S i n x n , T i ( P T i ) n 1 x n ) 0 ( as  n ) .
(3.25)

Equation (3.9) is proved.

(III) Now we prove that

ω w ( x n ):= { u n } { x n } A ( { u n } ) F
(3.26)

and ω w ( x n ) consists of exactly one point.

In fact, let u ω w ( x n ), then there exists a subsequence { u n } of { x n } such that A({ u n })={u}. By Lemma 2.3, there exists a subsequence { v n } of { u n } such that Δ lim n v n =vC. In view of (3.9), lim n d( v n , T i v n )=0, lim n d( v n , S i v n )=0, i=1,2. It follows from Theorem 2.7 that vF. So, by (3.3), the limit lim n d( x n ,v) exists. By Lemma 3.4 u=v. This implies that ω w ( x n )F.

Next we prove that ω w ( x n ) consists of exactly one point. Let { u n } be a subsequence of { x n } with A({ u n })={u} and let A({ x n })={x}. Since u ω w ( x n )F, from (3.3) the limit lim n d( x n ,u) exists. In view of Lemma 3.4, x=u. The conclusion is proved.

(IV) Finally we prove { x n } Δ-converges to a point in .

In fact, it follows from (3.3) that {d( x n ,p)} is convergent for each pF. By (3.9) and (3.26), lim n d( x n , S i x n )=0, lim n d( x n , T i x n )=0, ω w ( x n )F and ω w ( x n ) consists of exactly one point. This shows that { x n } Δ-converges to a point of .

The conclusion of Theorem 3.5 is proved. □

Remark 3.6 (1) Now we give an example which satisfies the condition (iv) in Theorem 3.5.

Let C=[1,1] be a subset in . Define two mappings S 1 = S 2 =S, T 1 = T 2 =T:CC by

T(x)={ 2 sin x 2 , if  x [ 0 , 1 ] , 2 sin x 2 , if  x [ 1 , 0 ) ,

and

S(x)={ x , if  x [ 0 , 1 ] , x , if  x [ 1 , 0 ) .

It is proved in Guo [28] that both S and T are asymptotically nonexpansive mappings (therefore they are total asymptotically nonexpansive mappings) with F(T)F(S) and satisfy the condition (iv).

(2) Theorem 3.5 contains the main results of Sahin [26], Khan Abbas [22], Khan et al. [23] and Chang et al. [24] as its special cases. Theorem 3.5 also extends the main result of Guo et al. [28] from a Banach space to a CAT(0) space.

The following results can be obtained from Theorem 3.5 immediately.

Theorem 3.7 Let C, X and T i :CX, i=1,2 be the same as in Theorem 3.5. If F:= i = 1 2 F( T i ) and the following conditions are satisfied:

  1. (i)

    n = 1 ν n <; n = 1 μ n <;

  2. (ii)

    there exist constants a,b(0,1) with 0<b(1c) 1 2 such that { α n }[a,b].

  3. (iii)

    there exists a constant M >0 such that ζ(r) M r, r0;

then the sequence { x n } defined by

{ x 1 C , x n + 1 = P ( ( 1 α n ) x n α n T 1 ( P T 1 ) n 1 y n ) , y n = P ( ( 1 β n ) x n β n T 2 ( P T 2 ) n 1 x n ) , n1,
(3.27)

Δ-converges to a common fixed point of T 1 and T 2 .

Proof Take S i =I (the identity mapping on C) in Theorem 3.5 and note that in this case the condition (iv) in Theorem 3.5 is satisfied automatically. Hence the conclusion of Theorem 3.7 can be obtained from Theorem 3.5 immediately. □

Theorem 3.8 Let C and X be the same as in Theorem 3.5. Let T i :CC and S i :CC, i=1,2, be uniformly L-Lipschitzian and ({ ν n },{ μ n },ζ)-total asymptotically nonexpansive mappings. If F:= i = 1 2 F( T i )F( S i ) and the (i)-(iv) in Theorem 3.5 are satisfied, then the sequence { x n } defined by

{ x 1 C , x n + 1 = ( 1 α n ) S 1 n x n α n T 1 n y n , y n = ( 1 β n ) S 2 n x n β n T 2 n x n , n1,
(3.28)

Δ-converges to a common fixed point of T i and S i , i=1,2.

Proof Since T i , i=1,2, is a self-mapping from C to C, take P=I (the identity mapping on C), then T i ( P T i ) n 1 = T i n . The conclusion of Theorem 3.8 is obtained from Theorem 3.5. □

Remark 3.9 Theorem 3.8 improves and extends the main results of Agawal O’Regan Sahu [27] from a Banach space to a CAT(0) space. As well as it also extends and improves the main results in Sahin [26].

4 Strong convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces

Recall that a mapping T:CX is said to be demi-compact if for any sequence { x n } in C such that d( x n ,T x n )0 (as n), there exists a subsequence { x n i }{ x n } such that { x n i } converges strongly (i.e., in metric topology) to some point x C.

Theorem 4.1 Under the assumptions of Theorem 3.5, if one of S 1 , S 2 , T 1 and T 2 is demi-compact, then the sequence defined by (3.1) converges strongly (i.e., in metric topology) to a common fixed point pF.

Proof By virtue of (3.9): lim n d( x n , T i x n )=0, lim n d( x n , S i x n )=0, i=1,2 and one of S 1 , S 2 , T 1 and T 2 is demi-compact, there exists a subsequence { x n i }{ x n } such that { x n i } converges strongly to some point pC. Moreover, by the continuity of S 1 , S 2 , T 1 and T 2 , for each i=1,2, we have

d ( p , S i p ) = lim n d ( x n i , S i x n i ) = 0 , d ( p , T i p ) = lim n d ( x n i , T i x n i ) = 0 .

This implies that pF. Again by (3.3) the limit lim n d( x n ,p) exists. Hence we have lim n d( x n ,p)=0. This completes the proof of Theorem 4.1. □

Theorem 4.2 Under the assumptions of Theorem 3.5, if there exists a nondecreasing function f:[0,)[0,) with f(0)=0, f(r)>0, r>0 such that

f ( d ( x , F ) ) d(x, S 1 x)+d(x, S 2 x)+d(x, T 1 x)+d(x, T 2 x),xC,
(4.1)

then the sequence { x n } defined by (3.1) converges strongly (i.e., in metric topology) to a common fixed point p F.

Proof It follows from (3.9) that

lim n d( x n , T i x n )=0, lim n d( x n , S i x n )=0,i=1,2.

Therefore we have lim n f(d( x n ,F))=0. Since f is a nondecreasing function with f(0)=0 and f(r)>0, r>0, we have lim n d( x n ,F)=0. Next we prove that { x n } is a Cauchy sequence in C. In fact, it follows from (3.6) that for any pF

d( x n + 1 ,p)(1+ σ n )d( x n ,p)+ ξ n ,n1,

where n = 1 σ n < and n = 1 ξ n <. Hence for any positive integers n, m, we have

d ( x n + m , x n ) d ( x n + m , p ) + d ( x n , p ) ( 1 + σ n + m 1 ) d ( x n + m 1 , p ) + ξ n + m 1 + d ( x n , p ) .

Since for each x0, 1+x e x , we have

d ( x n + m , x n ) e σ n + m 1 d ( x n + m 1 , p ) + ξ n + m 1 + d ( x n , p ) e σ n + m 1 + σ n + m 2 d ( x n + m 2 , p ) + e σ n + m 1 ξ n + m 2 + ξ n + m 1 + d ( x n , p ) e i = n n + m 1 σ i d ( x n , p ) + e i = n + 1 n + m 1 σ i ξ n + e i = n + 2 n + m 2 σ i ξ n + 1 + + e σ n + m 1 ξ n + m 2 + ξ n + m 1 + d ( x n , p ) ( 1 + M ) d ( x n , p ) + M i = n n + m 1 ξ i ,

where M= e i = 1 σ i <. By (3.3) lim n d( x n ,F)=0. Therefore we have

d( x n + m , x n )(1+M)d( x n ,F)+M i = n n + m 1 ξ i 0(as n,m).

This shows that { x n } is a Cauchy sequence in C. Since C is a closed subset in a complete CAT(0) space X, it is complete. Without loss of generality, we can assume that { x n } converges strongly (i.e., in metric topology in X) to some point p C. It is easy to prove that F( T i ) and F( S i ), i=1,2 are closed subsets in C, so is . Since lim n d( x n ,F)=0, p F. This completes the proof of Theorem 4.2. □

References

  1. Bridson MR, Haefliger A Grundlehren der Mathematischen Wissenschaften 319. In Metric Spaces of Non-Positive Curvature. Springer, Berlin; 1999.

    Chapter  Google Scholar 

  2. Dhompongsa S, Panyanak B:On Δ-convergence theorems in CAT(0) spaces. Comput. Math. Appl. 2008, 56(10):2572–2579.

    MathSciNet  Article  Google Scholar 

  3. Lim TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 1976, 60: 179–182. 10.1090/S0002-9939-1976-0423139-X

    Article  Google Scholar 

  4. Kirk WA, Panyanak B: A concept of convergence in geodesic spaces. Nonlinear Anal., Theory Methods Appl. 2008, 68(12):3689–3696. 10.1016/j.na.2007.04.011

    MathSciNet  Article  Google Scholar 

  5. Kirk WA: Geodesic geometry and fixed point theory. Colecc. Abierta 64. In Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003). Univ. Sevilla Secr. Publ., Seville; 2003:195–225.

    Google Scholar 

  6. Kirk WA: Geodesic geometry and fixed point theory II. In International Conference on Fixed Point Theo. Appl.. Yokohama Publ., Yokohama; 2004:113–142.

    Google Scholar 

  7. Dhompongsa S, Kirk WA, Sims B: Fixed points of uniformly Lipschitzian mappings. Nonlinear Anal., Theory Methods Appl. 2006, 65(4):762–772. 10.1016/j.na.2005.09.044

    MathSciNet  Article  Google Scholar 

  8. Dhompongsa S, Kirk WA, Panyanak B: Nonexpansive set-valued mappings in metric and Banach spaces. J. Nonlinear Convex Anal. 2007, 8(1):35–45.

    MathSciNet  Google Scholar 

  9. Dhompongsa S, Fupinwong W, Kaewkhao A: Common fixed points of a nonexpansive semigroup and a convergence theorem for Mann iterations in geodesic metric spaces. Nonlinear Anal., Theory Methods Appl. 2009, 70(12):4268–4273. 10.1016/j.na.2008.09.012

    MathSciNet  Article  Google Scholar 

  10. Dhompongsa S, Kaewkhao A, Panyanak B:On Kirk’s strong convergence theorem for multivalued nonexpansive mappings on CAT(0) spaces. Nonlinear Anal. 2012, 75: 459–468. 10.1016/j.na.2011.08.046

    MathSciNet  Article  Google Scholar 

  11. Espinola R, Fernandez-Leon A:CAT(k)-spaces, weak convergence and fixed points. J. Math. Anal. Appl. 2009, 353(1):410–427. 10.1016/j.jmaa.2008.12.015

    MathSciNet  Article  Google Scholar 

  12. Laowang W, Panyanak B:Strong and Δ-convergence theorems for multivalued mappings in CAT(0) spaces. J. Inequal. Appl. 2009., 2009: Article ID 730132

    Google Scholar 

  13. Shahzad N:Invariant approximations in CAT(0) spaces. Nonlinear Anal., Theory Methods Appl. 2009, 70(12):4338–4340. 10.1016/j.na.2008.10.002

    MathSciNet  Article  Google Scholar 

  14. Nanjaras B, Panyanak B, Phuengrattana W:Fixed point theorems and convergence theorems for Suzuki-generalized nonexpansive mappings in CAT(0) spaces. Nonlinear Anal. Hybrid Syst. 2010, 4(1):25–31. 10.1016/j.nahs.2009.07.003

    MathSciNet  Article  Google Scholar 

  15. Laowang W, Panyanak B:Approximating fixed points of nonexpansive nonself mappings in CAT(0) spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 367274. doi:10.1155/2010/367274

    Google Scholar 

  16. Leustean L:A quadratic rate of asymptotic regularity for CAT(0)-spaces. J. Math. Anal. Appl. 2007, 325(1):386–399. 10.1016/j.jmaa.2006.01.081

    MathSciNet  Article  Google Scholar 

  17. Saejung S:Halpern’s iteration in CAT(0) spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 471781. doi:10.1155/2010/471781

    Google Scholar 

  18. Cho YJ, Ciric L, Wang SH:Convergence theorems for nonexpansive semigroups in CAT(0) spaces. Nonlinear Anal. 2011. doi:10.1016/j.na.2011.05.082

    Google Scholar 

  19. Abkar A, Eslamian M:Fixed point and convergence theorems for different classes of generalized nonexpansive mappings in CAT(0) spaces. Comput. Math. Appl. 2011. doi:10.1016/j.camwa.2011.12.075

    Google Scholar 

  20. Nanjaras B, Panyanak B:Demiclosed principle for asymptotically nonexpansive mappings in CAT(0) spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 268780. doi:10.1155/2010/268780

    Google Scholar 

  21. He JS, Fang DH, Lopez G, Li C:Mann’s algorithm for nonexpansive mappings in CAT(0) spaces. Nonlinear Anal. 2012, 75: 459–468. 10.1016/j.na.2011.08.046

    MathSciNet  Article  Google Scholar 

  22. Khan SH, Abbas M:Strong and Δ-convergence of some iterative schemes in CAT(0) spaces. Comput. Math. Appl. 2011, 61: 109–116.

    MathSciNet  Article  Google Scholar 

  23. Khan AR, Khamsi MA, Fukharuddin H:Strong convergence of a general iteration scheme in CAT(0) spaces. Nonlinear Anal. 2011, 74: 783–791. 10.1016/j.na.2010.09.029

    MathSciNet  Article  Google Scholar 

  24. Chang SS, Wang L, Joseph Lee HW, Chan CK, Yang L:Demiclosed principle and Δ-convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces. Appl. Math. Comput. 2012, 219: 2611–2617. 10.1016/j.amc.2012.08.095

    MathSciNet  Article  Google Scholar 

  25. Tang JF, Chang SS, Joseph Lee HW, Chan CK:Iterative algorithm and Δ-convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 965751. doi:10.1155/2012/965751

    Google Scholar 

  26. Sahin A, Basarir M: On the strong convergence of modified S -iteration process for asymptotically quasi-nonexpansive mappings in CAT(0) space. Fixed Point Theory Appl. 2013., 2013: Article ID 12. doi:10.1186/1687–1812–2013–12

    Google Scholar 

  27. Agarwal RP, O’Regan D, Sahu DR: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings. J. Nonlinear Convex Anal. 2007, 8(1):61–79.

    MathSciNet  Google Scholar 

  28. Guo WP, Cho YJ, Guo W: Convergence theorems for mixed type asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2012., 2012: Article ID 224. doi:10.1186/1687–1812–2012–224

    Google Scholar 

  29. Chidume CE, Ofoedu EU, Zegeye H: Strong and weak convergence theorems for asymptotically nonexpansive mappings. J. Math. Anal. Appl. 2003, 280: 364–374. 10.1016/S0022-247X(03)00061-1

    MathSciNet  Article  Google Scholar 

  30. Xu HK: Existence and convergence for fixed points of mappings of asymptotically nonexpansive type. Nonlinear Anal., Theory Methods Appl. 1991, 16(12):1139–1146. 10.1016/0362-546X(91)90201-B

    Article  Google Scholar 

  31. Chang SS, Cho YJ, Zhou H: Demi-closed principle and weak convergence problems for asymptotically nonexpansive mappings. J. Korean Math. Soc. 2001, 38: 1245–1260.

    MathSciNet  Google Scholar 

  32. Browder FE: Semicontractive and semiaccretive nonlinear mappings in Banach spaces. Bull. Am. Math. Soc. 1968, 74: 660–665. 10.1090/S0002-9904-1968-11983-4

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors would like to express their thanks to the referees for their helpful comments and suggestions. This work was supported by the Natural Science Foundation of Yunnan Province, Grant No. 2011FB074.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shih-sen Chang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Chang, Ss., Wang, L., Joseph Lee, H.W. et al. Strong and Δ-convergence for mixed type total asymptotically nonexpansive mappings in CAT(0) spaces. Fixed Point Theory Appl 2013, 122 (2013). https://doi.org/10.1186/1687-1812-2013-122

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2013-122

Keywords

  • total asymptotically nonexpansive mappings
  • total asymptotically nonexpansive nonself mappings
  • CAT(0) space
  • demiclosed principle
  • Δ-convergence
  • strong convergence
  • mixed Agarwal-O’Regan-Sahu type iterative scheme