Open Access

Some convergence results for modified SP-iteration scheme in hyperbolic spaces

Fixed Point Theory and Applications20142014:133

https://doi.org/10.1186/1687-1812-2014-133

Received: 14 January 2014

Accepted: 16 May 2014

Published: 2 June 2014

Abstract

In this paper, we prove some strong and Δ-convergence theorems for a modified SP-iteration scheme for total asymptotically nonexpansive mappings in hyperbolic spaces by employing recent technical results of Khan et al. (Fixed Point Theory Appl. 2012:54, 2012). The results presented here extend and improve some well-known results in the current literature.

MSC:47H09, 47H10.

Keywords

hyperbolic space fixed point total asymptotically nonexpansive mapping modified SP-iteration scheme strong convergence Δ-convergence

1 Introduction and preliminaries

Iterative schemes play a key role in approximating fixed points of nonlinear mappings. Structural properties of the underlying space, such as strict convexity and uniform convexity, are very much needed for the development of iterative fixed point theory in it. Hyperbolic spaces are general in nature and inherit rich geometrical structure suitable to obtain new results in topology, graph theory, multi-valued analysis and metric fixed point theory.

Kohlenbach [1] introduced the hyperbolic spaces, defined below, which play a significant role in many branches of mathematics.

A hyperbolic space ( X , d , W ) is a metric space ( X , d ) together with a mapping W : X × X × [ 0 , 1 ] X satisfying

(W1) d ( z , W ( x , y , λ ) ) ( 1 λ ) d ( z , x ) + λ d ( z , y ) ,

(W2) d ( W ( x , y , λ 1 ) , W ( x , y , λ 2 ) ) = | λ 1 λ 2 | d ( x , y ) ,

(W3) W ( x , y , λ ) = W ( y , x , ( 1 λ ) ) ,

(W4) d ( W ( x , z , λ ) , W ( y , w , λ ) ) ( 1 λ ) d ( x , y ) + λ d ( z , w )

for all x , y , z , w X and λ , λ 1 , λ 2 [ 0 , 1 ] .

A subset K of a hyperbolic space X is convex if W ( x , y , λ ) K for all x , y K and λ [ 0 , 1 ] . If a space satisfies only (W1), it coincides with the convex metric space introduced by Takahashi [2]. The concept of hyperbolic spaces in [1] is more restrictive than the hyperbolic type introduced by Goebel et al. [3] since (W1)-(W3) together are equivalent to ( X , d , W ) being a space of hyperbolic type in [3]. Also it is slightly more general than the hyperbolic space defined by Reich et al. [4]. The class of hyperbolic spaces in [1] contains all normed linear spaces and convex subsets thereof, -trees, the Hilbert ball with the hyperbolic metric (see [5]), Cartesian products of Hilbert balls, Hadamard manifolds and CAT(0) spaces (see [6]) as special cases. Recently, the concept of p-uniformly convexity has been defined by Naor et al. [7] and its nonlinear version for p = 2 in hyperbolic spaces was studied by Khan [8]. Any CAT(0) space is 2-uniformly convex (see [9]).

The following example accentuates the importance of hyperbolic spaces.

Let B H be an open unit ball in a complex Hilbert space ( H , ) w.r.t. the metric (also known as the Kobayashi distance)
k B H ( x , y ) = arg tanh ( 1 σ ( x , y ) ) 1 2 ,
where
σ ( x , y ) = ( 1 x 2 ) ( 1 y 2 ) | 1 x , y | 2 for all  x , y B H .

Then ( B H , k B H , W ) is a hyperbolic space where W ( x , y , λ ) defines a unique point z in a unique geodesic segment [ x , y ] for all x , y B H . For more on hyperbolic spaces and a detailed treatment of examples, we refer the readers to [1].

A hyperbolic space ( X , d , W ) is said to be
  1. (i)

    strictly convex [2] if for any x , y X and λ [ 0 , 1 ] , there exists a unique element z X such that d ( z , x ) = λ d ( x , y ) and d ( z , y ) = ( 1 λ ) d ( x , y ) ;

     
  2. (ii)

    uniformly convex [10] if for all u , x , y X , r > 0 and ε ( 0 , 2 ] , there exists δ ( 0 , 1 ] such that d ( W ( x , y , 1 2 ) , u ) ( 1 δ ) r whenever d ( x , u ) r , d ( y , u ) r and d ( x , y ) ε r .

     

A mapping η : ( 0 , ) × ( 0 , 2 ] ( 0 , 1 ] providing such δ = η ( r , ε ) for given r > 0 and ε ( 0 , 2 ] is called modulus of uniform convexity. We call η monotone if it decreases with r (for a fixed ε). A uniformly convex hyperbolic space is strictly convex (see [11]).

Let K be a nonempty subset of a metric space ( X , d ) and T be a self-mapping on K. Denote by F ( T ) = { x K : T ( x ) = x } the set of fixed points of T and d ( x , F ( T ) ) = inf { d ( x , p ) : p F ( T ) } . A self-mapping T is said to be
  1. (1)

    nonexpansive if d ( T x , T y ) d ( x , y ) for all x , y K ;

     
  2. (2)

    asymptotically nonexpansive if there exists a sequence { k n } [ 1 , ) with k n 1 such that d ( T n x , T n y ) k n d ( x , y ) for all x , y K and n 1 ;

     
  3. (3)

    uniformly L-Lipschitzian if there exists a constant L > 0 such that d ( T n x , T n y ) L d ( x , y ) for all x , y K and n 1 ;

     
  4. (4)
    total asymptotically nonexpansive if there exist non-negative real sequences { μ n } , { v n } with μ n 0 , v 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 ) + v n ζ ( d ( x , y ) ) + μ n
     

for all x , y K and n 1 (see [[12], Definition 2.1]).

It follows from the above definitions that each nonexpansive mapping is an asymptotically nonexpansive mapping with k n = 1 , n 1 and that each asymptotically nonexpansive mapping is a total asymptotically nonexpansive mapping with v n = k n 1 , μ n = 0 , n 1 , ζ ( t ) = t , t 0 . Moreover, each asymptotically nonexpansive mapping is a uniformly L-Lipschitzian mapping with L = sup n N { k n } . However, the converse of these statements is not true, in general.

It has been shown that every total asymptotically nonexpansive mapping defined on a nonempty bounded closed convex subset of a complete uniformly convex hyperbolic space always has a fixed point (see [[13], Theorem 3.1]).

The following iteration process is a translation of the SP-iteration scheme introduced in [14] from Banach spaces to hyperbolic spaces. The SP-iteration is equivalent to Mann, Ishikawa, Noor iterations and converges faster than the others for the class of continuous and non-decreasing functions (see [14]).
{ x 1 K , z n = W ( x n , T n x n , γ n ) , y n = W ( z n , T n z n , β n ) , x n + 1 = W ( y n , T n y n , α n ) , n 1 ,
(1.1)

where K is a nonempty, closed and convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity and T : K K is a uniformly L-Lipschitzian and total asymptotically nonexpansive mapping.

Inspired and motivated by Khan et al. [15], Khan [16], Fukhar-ud-din and Khan [17], Wan [18], Zhao et al. [19] and Zhao et al. [20], we prove some strong and -convergence theorems of the modified SP-iteration process for approximating a fixed point of total asymptotically nonexpansive mappings in hyperbolic spaces. The results presented in the paper extend and improve some recent results given in [14, 21].

The concept of -convergence in a metric space was introduced by Lim [22] and its analogue in CAT(0) spaces was investigated by Dhompongsa and Panyanak [23]. In order to define the concept of -convergence in the general setup of hyperbolic spaces, we first collect some basic concepts.

Let { x n } be a bounded sequence in a hyperbolic space X. For x X , we define a continuous functional r ( , { x n } ) : X [ 0 , ) by
r ( x , { x n } ) = lim sup n d ( x , x n ) .
The asymptotic radius ρ = r ( { x n } ) of { x n } is given by
ρ = inf { r ( x , { x n } ) : x X } .
The asymptotic center of { x n } with respect to a subset K of X is defined as follows:
A K ( { x n } ) = { x X : r ( x , { x n } ) r ( y , { x n } ) , y K } .

This is the set of minimizer of the functional r ( , { x n } ) . If the asymptotic center is taken with respect to X, then it is simply denoted by A ( { x n } ) .

Recall that a sequence { x n } in 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 as -limit of { x n } .

It is known that uniformly convex Banach spaces and even CAT(0) spaces enjoy the property that ‘bounded sequences have unique asymptotic centers with respect to closed convex subsets.’ The following lemma is due to Leustean [24] and ensures that this property also holds in a complete uniformly convex hyperbolic space.

Lemma 1 [[24], Proposition 3.3]

Let ( X , d , W ) be a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity η. Then every bounded sequence { x n } in X has a unique asymptotic center with respect to any nonempty closed convex subset K of X.

In the sequel, we shall need the following results.

Lemma 2 [[15], Lemma 2.5]

Let ( X , d , W ) be a uniformly convex hyperbolic space with monotone modulus of uniform convexity η. Let x X and { α n } be a sequence in [ a , b ] for some a , b ( 0 , 1 ) . If { x n } and { y n } are sequences in X such that
lim sup n d ( x n , x ) r , lim sup n d ( y n , x ) r , lim n d ( W ( x n , y n , α n ) , x ) = r
for some r 0 , then
lim n d ( x n , y n ) = 0 .

Lemma 3 [[15], Lemma 2.6]

Let K be a nonempty closed convex subset of a uniformly convex hyperbolic space and let { x n } be a bounded sequence in K such that A ( { x n } ) = { y } and r ( { x n } ) = ρ . If { y m } is another sequence in K such that lim m r ( y m , { x n } ) = ρ , then lim m y m = y .

Lemma 4 [[25], Lemma 2]

Let { a n } , { b n } and { δ n } be sequences of non-negative real numbers such that
a n + 1 ( 1 + δ n ) a n + b n , n 1 .

If n = 1 δ n < and n = 1 b n < , then lim n a n exists.

2 Main results

We begin with Δ-convergence of the modified SP-iterative sequence { x n } defined by (1.1) for total asymptotically nonexpansive mappings in hyperbolic spaces.

Theorem 1 Let K be a nonempty, closed and convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η. Let T : K K be a uniformly L-Lipschitzian and total asymptotically nonexpansive mapping with F ( T ) . If the following conditions are satisfied:
  1. (i)

    n = 1 v n < and n = 1 μ n < ;

     
  2. (ii)

    there exist constants a , b ( 0 , 1 ) such that { α n } , { β n } , { γ n } [ a , b ] ;

     
  3. (iii)

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

     

then the sequence { x n } defined by (1.1), Δ-converges to a fixed point of T.

Proof We divide our proof into three steps.

Step 1. First we prove that the following limits exist:
lim n d ( x n , p ) for each  p F ( T ) and lim n d ( x n , F ( T ) ) .
(2.1)
Since T is a total asymptotically nonexpansive mapping, by condition (iii), we get
d ( z n , p ) = d ( W ( x n , T n x n , γ n ) , p ) ( 1 γ n ) d ( x n , p ) + γ n d ( T n x n , p ) ( 1 γ n ) d ( x n , p ) + γ n { d ( x n , p ) + v n ζ ( d ( x n , p ) ) + μ n } = d ( x n , p ) + γ n v n ζ ( d ( x n , p ) ) + γ n μ n ( 1 + γ n v n M ) d ( x n , p ) + γ n μ n
(2.2)
and
d ( y n , p ) = d ( W ( z n , T n z n , β n ) , p ) ( 1 β n ) d ( z n , p ) + β n d ( T n z n , p ) ( 1 β n ) d ( z n , p ) + β n { d ( z n , p ) + v n ζ ( d ( z n , p ) ) + μ n } ( 1 + β n v n M ) d ( z n , p ) + β n μ n .
(2.3)
Substituting (2.2) into (2.3) and simplifying it, we have
d ( y n , p ) ( 1 + β n v n M ) { ( 1 + γ n v n M ) d ( x n , p ) + γ n μ n } + β n μ n ( 1 + v n M ( β n + γ n + β n γ n v n M ) ) d ( x n , p ) + μ n ( β n + γ n + β n γ n v n M ) .
(2.4)
Similarly, we obtain
d ( x n + 1 , p ) ( 1 + α n v n M ) d ( y n , p ) + α n μ n .
(2.5)
Combining (2.4) and (2.5), we have
d ( x n + 1 , p ) ( 1 + σ n ) d ( x n , p ) + ξ n , n 1  and  p F ( T ) ,
(2.6)
and so
d ( x n + 1 , F ( T ) ) ( 1 + σ n ) d ( x n , F ( T ) ) + ξ n , n 1 ,
where σ n = v n M ( α n + β n + γ n + v n M ( α n β n + β n γ n + α n γ n + α n β n γ n v n M ) ) and ξ n = α n + β n + γ n + v n M ( α n β n + β n γ n + α n γ n + α n β n γ n v n M ) . By virtue of condition (i),
n = 1 σ n < and n = 1 ξ n < .

By Lemma 4, lim n d ( x n , F ( T ) ) and lim n d ( x n , p ) exist for each p F ( T ) .

Step 2. Next we prove that lim n d ( x n , T x n ) = 0 .

In fact, it follows from (2.1) that lim n d ( x n , p ) exists for each given p F ( T ) . We may assume that lim n d ( x n , p ) = r . The case r = 0 is trivial. Next, we deal with the case r > 0 . Taking lim sup on both sides in inequality (2.4), we have
lim sup n d ( y n , p ) r .
(2.7)
Since
d ( T n y n , p ) d ( y n , p ) + v n ζ ( d ( y n , p ) ) + μ n ( 1 + v n M ) d ( y n , p ) + μ n , n 1 ,
we have
lim sup n d ( T n y n , p ) r .
(2.8)
In addition,
lim n d ( x n + 1 , p ) = lim n d ( W ( y n , T n y n , α n ) , p ) = r .
(2.9)
With the help of (2.7)-(2.9) and Lemma 2, we have
lim n d ( y n , T n y n ) = 0 .
(2.10)
On the other hand, since
d ( x n + 1 , p ) d ( x n + 1 , T n y n ) + d ( T n y n , p ) ( 1 α n ) d ( y n , T n y n ) + ( 1 + v n M ) d ( y n , p ) + μ n ,
we have lim inf n d ( y n , p ) r . Combined with (2.7), it yields that lim n d ( y n , p ) = r . This implies that
lim n d ( W ( z n , T n z n , β n ) , p ) = r .
(2.11)
Taking lim sup on both sides in inequality (2.2), we have
lim sup n d ( z n , p ) r .
(2.12)
Since
d ( T n z n , p ) d ( z n , p ) + v n ζ ( d ( z n , p ) ) + μ n ( 1 + v n M ) d ( z n , p ) + μ n , n 1 ,
we have
lim sup n d ( T n z n , p ) r .
(2.13)
With the help of (2.11)-(2.13) and Lemma 2, we have
lim n d ( z n , T n z n ) = 0 .
(2.14)
By the same method, we can also prove that
lim n d ( x n , T n x n ) = 0 .
(2.15)
By (2.10), we get
d ( x n + 1 , y n ) d ( W ( y n , T n y n , α n ) , y n ) α n d ( y n , T n y n ) 0 as  n .
In a similar way, we have
d ( y n , z n ) β n d ( z n , T n z n ) 0 as  n
and
d ( z n , x n ) α n d ( x n , T n x n ) 0 as  n .
It follows that
d ( x n + 1 , x n ) d ( x n + 1 , y n ) + d ( y n , z n ) + d ( z n , x n ) 0 as  n .
(2.16)
Since T is uniformly L-Lipschitzian, therefore we obtain
d ( x n , T x n ) d ( x n , x n + 1 ) + d ( x n + 1 , T n + 1 x n + 1 ) + d ( T n + 1 x n + 1 , T n + 1 x n ) + d ( T n + 1 x n , T x n ) ( 1 + L ) d ( x n + 1 , x n ) + d ( x n + 1 , T n + 1 x n + 1 ) + L d ( T n x n , x n ) .
Hence, (2.15) and (2.16) imply that
lim n d ( x n , T x n ) = 0 .
(2.17)

Step 3. Now we prove that the sequence { x n } -converges to a fixed point of T.

In fact, for each p F ( T ) , lim n d ( x n , p ) exists. This implies that the sequence { x n } is bounded. Hence by virtue of Lemma 1, { x n } has a unique asymptotic center A K ( { x n } ) = { x } . Let { u n } be any subsequence of { x n } such that A K ( { u n } ) = { u } . Then, by (2.17), we have
lim n d ( u n , T u n ) = 0 .
(2.18)
We claim that u F ( T ) . In fact, we define a sequence { z m } in K by z m = T m u . So, we calculate
d ( z m , u n ) d ( T m u , T m u n ) + d ( T m u n , T m 1 u n ) + + d ( T u n , u n ) d ( u , u n ) + v n ζ ( d ( u , u n ) ) + μ n + i = 1 m d ( T i u n , T i 1 u n ) ( 1 + v n M ) d ( u , u n ) + μ n + i = 1 m d ( T i u n , T i 1 u n ) .
(2.19)
Since T is uniformly L-Lipschitzian, from (2.19), we have
d ( z m , u n ) ( 1 + v n M ) d ( u , u n ) + μ n + m L d ( T u n , u n ) .
Taking lim sup on both sides of the above estimate and using (2.18), we have
r ( z m , { u n } ) = lim sup n d ( z m , u n ) lim sup n d ( u , u n ) = r ( u , { u n } ) .
This implies that | r ( z m , { u n } ) r ( u , { u n } ) | 0 as m . It follows from Lemma 3 that lim m T m u = u . Utilizing the uniform continuity of T, we have that
T u = T ( lim m T m u ) = lim m T m + 1 u = u .
Hence u F ( T ) . Moreover, lim n d ( x n , u ) exists by (2.1). Suppose that x u . By the uniqueness of asymptotic centers, we have
lim sup n d ( u n , u ) < lim sup n d ( u n , x ) lim sup n d ( x n , x ) < lim sup n d ( x n , u ) = lim sup n d ( u n , u )

a contradiction. Hence x = u . Since { u n } is an arbitrary subsequence of { x n } , therefore A ( { u n } ) = { u } for all subsequences { u n } of { x n } , that is, { x n } -converges to x F ( T ) . The proof is completed. □

We now discuss the strong convergence of the modified SP-iteration for total asymptotically nonexpansive mappings in hyperbolic spaces.

Theorem 2 Let K, X, T and { x n } be the same as in Theorem 1. Suppose that conditions (i)-(iii) in Theorem 1 are satisfied. Then { x n } converges strongly to some p F ( T ) if and only if lim inf n d ( x n , F ( T ) ) = 0 .

Proof If { x n } converges to p F ( T ) , then lim n d ( x n , p ) = 0 . Since 0 d ( x n , F ( T ) ) d ( x n , p ) , we have lim inf n d ( x n , F ( T ) ) = 0 .

Conversely, suppose that lim inf n d ( x n , F ( T ) ) = 0 . It follows from (2.1) that lim n d ( x n , F ( T ) ) exists. Thus by hypothesis lim n d ( x n , F ( T ) ) = 0 .

Next, we show that { x n } is a Cauchy sequence. In fact, it follows from (2.6) that for any p F ( T ) ,
d ( x n + 1 , p ) ( 1 + σ n ) d ( x n , p ) + ξ n , n 1 ,
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 ( p , x n ) ( 1 + σ n + m 1 ) d ( x n + m 1 , p ) + ξ n + m 1 + d ( x n , p ) .
Since for each x 0 , 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 + N ) d ( x n , p ) + N i = n n + m 1 ξ i ,
where N = e i = 1 σ i < . Therefore we have
d ( x n + m , x n ) ( 1 + N ) d ( x n , F ( T ) ) + N i = n n + m 1 ξ i 0 as  n , m .

This shows that { x n } is a Cauchy sequence in K. Since K is a closed subset in a complete hyperbolic space X, it is complete. We can assume that { x n } converges strongly to some point p K . It is easy to prove that F ( T ) is a closed subset in K, so is F ( T ) . Since lim n d ( x n , F ( T ) ) = 0 , we obtain p F ( T ) . This completes the proof. □

Remark 1 In Theorem 2, the condition lim inf n d ( x n , F ( T ) ) = 0 may be replaced with lim sup n d ( x n , F ( T ) ) = 0 .

Example 1 Let be the real line with the usual norm | | and let K = [ 1 , 1 ] . Define two mappings T 1 , T 2 : K K by
T 1 ( x ) = { 2 sin x 2 if  x [ 0 , 1 ] , 2 sin x 2 if  x [ 1 , 0 ) ,
and
T 2 ( x ) = { x if  x [ 0 , 1 ] , x if  x [ 1 , 0 ) .
It is proved in [[26], Example 3.1] that both T 1 and T 2 are asymptotically nonexpansive mappings with k n = 1 , n 1 . Therefore they are total asymptotically nonexpansive mappings with v n = μ n = 0 , n 1 , ζ ( t ) = t , t 0 . Additionally, they are uniformly L-Lipschitzian mappings with L = 1 . Clearly, F ( T 1 ) = { 0 } and F ( T 2 ) = { x K ; 0 x 1 } . Set
α n = n 2 n + 1 , β n = n 3 n + 1 and γ n = n 4 n + 1 for all  n 1 .
(2.20)

Thus, the conditions of Theorem 1 are fulfilled. Therefore the results of Theorem 1 and Theorem 2 can be easily seen.

Example 2 Let be the real line with the usual norm | | and let K = [ 0 , ) . Define two mappings S 1 , S 2 : K K by S 1 ( x ) = sin x and S 2 ( x ) = x . It is proved in [[27], Example 1] that both S 1 and S 2 are total asymptotically nonexpansive mappings with v n = 1 n 2 , μ n = 1 n 3 , n 1 . Additionally, they are uniformly L-Lipschitzian mappings with L = 1 . Clearly, F ( S 1 ) = { 0 } and F ( S 2 ) = { x K ; 0 x < } . Let { α n } , { β n } and { γ n } be the same as in (2.20). Similarly, the conditions of Theorem 1 are satisfied. So, the results of Theorem 1 and Theorem 2 also can be received.

Recall that a mapping T from a subset K of a metric space ( X , d ) into itself is semi-compact if every bounded sequence { x n } K satisfying d ( x n , T x n ) 0 as n has a strongly convergent subsequence.

Senter and Dotson [[28], p.375] introduced the concept of condition (I) as follows.

A mapping T : K K with F ( T ) is said to satisfy condition (I) if there exists a non-decreasing function f : [ 0 , ) [ 0 , ) with f ( 0 ) = 0 and f ( r ) > 0 for all r ( 0 , ) such that
d ( x , T x ) f ( d ( x , F ( T ) ) ) for all  x K .

By using the above definitions, we obtain the following strong convergence theorems.

Theorem 3 Under the assumptions of Theorem 1, if T is semi-compact, then { x n } converges strongly to a fixed point of T.

Proof It follows from (2.1) that { x n } is a bounded sequence. Also, by (2.17), we have lim n d ( x n , T x n ) = 0 . Then, by the semi-compactness of T, there exists a subsequence { x n k } { x n } such that { x n k } converges strongly to some point p K . Moreover, by the uniform continuity of T, we have
d ( p , T p ) = lim k d ( x n k , T x n k ) = 0 .

This implies that p F ( T ) . Again, by (2.1), lim n d ( x n , p ) exists. Hence p is the strong limit of the sequence { x n } . As a result, { x n } converges strongly to a fixed point p of T. □

Theorem 4 Under the assumptions of Theorem 1, if T satisfies condition (I), then { x n } converges strongly to a fixed point of T.

Proof By virtue of (2.1), lim n d ( x n , F ( T ) ) exists. Further, by condition (I) and (2.17), we have
lim n f ( d ( x n , F ( T ) ) ) lim n d ( x n , T x n ) = 0 .

That is, lim n f ( d ( x n , F ( T ) ) ) = 0 . Since f is a non-decreasing function satisfying f ( 0 ) = 0 and f ( r ) > 0 for all r ( 0 , ) , it follows that lim n d ( x n , F ( T ) ) = 0 . Now Theorem 2 implies that { x n } converges strongly to a point p in F ( T ) . □

Remark 2 Theorems 1-4 contain the corresponding theorems proved for asymptotically nonexpansive mappings when v n = k n 1 , μ n = 0 , n 1 , ζ ( t ) = t , t 0 .

Declarations

Acknowledgements

The authors would like to thank the editor and referees for their careful reading and valuable comments and suggestions which led to the present form of the paper. This paper was supported by Sakarya University Scientific Research Foundation (Project number: 2013-02-00-003).

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Sciences and Arts, Sakarya University

References

  1. Kohlenbach U: Some logical metatheorems with applications in functional analysis. Trans. Am. Math. Soc. 2004, 357(1):89–128.View ArticleMathSciNetGoogle Scholar
  2. Takahashi W: A convexity in metric spaces and nonexpansive mappings. Kodai Math. Semin. Rep. 1970, 22: 142–149. 10.2996/kmj/1138846111View ArticleGoogle Scholar
  3. Goebel K, Kirk WA: Iteration processes for nonexpansive mappings. Contemp. Math. 21. In Topological Methods in Nonlinear Functional Analysis. Edited by: Singh SP, Thomeier S, Watson B. Am. Math. Soc., Providence; 1983:115–123.View ArticleGoogle Scholar
  4. Reich S, Shafrir I: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal., Theory Methods Appl. 1990, 15: 537–558. 10.1016/0362-546X(90)90058-OView ArticleMathSciNetGoogle Scholar
  5. Goebel K, Reich S: Uniform Convexity, Hyperbolic Geometry and Nonexpansive Mappings. Dekker, New York; 1984.Google Scholar
  6. Bridson M, Haefliger A: Metric Spaces of Non-Positive Curvature. Springer, Berlin; 1999.View ArticleGoogle Scholar
  7. Naor, A, Silberman, L: Poincaré inequalities, embeddings, and wild groups (2010) arXiv: 1005.4084v1 [math.GR]Google Scholar
  8. Khan AR: Common fixed point and solution of nonlinear functional equations. Fixed Point Theory Appl. 2013., 2013: Article ID 290 10.1186/1687-1812-2013-290Google Scholar
  9. Khamsi MA, Khan A: Inequalities in metric spaces with applications. Nonlinear Anal. 2011, 74: 4036–4045. 10.1016/j.na.2011.03.034View ArticleMathSciNetGoogle Scholar
  10. Shimizu T, Takahashi W: Fixed points of multivalued mappings in certain convex metric spaces. Topol. Methods Nonlinear Anal. 1996, 8: 197–203.MathSciNetGoogle Scholar
  11. Leustean L: A quadratic rate of asymptotic regularity for CAT(0)-spaces. J. Math. Anal. Appl. 2007, 325: 386–399. 10.1016/j.jmaa.2006.01.081View ArticleMathSciNetGoogle Scholar
  12. Chang SS, Wang L, Joesph 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.095View ArticleMathSciNetGoogle Scholar
  13. Fukhar-ud-din, H, Kalsoom, A, Khan, MAA: Existence and higher arity iteration for total asymptotically nonexpansivemappings in uniformly convex hyperbolic spaces (2013) arXiv: 1312.2418v2 [math.FA]Google Scholar
  14. Phuengrattana W, Suantai S: On the rate of convergence of Mann, Ishikawa, Noor and SP-iterations for continuous functions on an arbitrary interval. J. Comput. Appl. Math. 2011, 235: 3006–3014. 10.1016/j.cam.2010.12.022View ArticleMathSciNetGoogle Scholar
  15. Khan AR, Fukhar-ud-din H, Khan MAA: An implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 54 10.1186/1687-1812-2012-54Google Scholar
  16. Khan MAA: Convergence analysis of a multi-step iteration for a finite family of asymptotically quasi-nonexpansive mappings. J. Inequal. Appl. 2013., 2013: Article ID 423 10.1186/1029-242X-2013-423Google Scholar
  17. Fukhar-ud-din H, Khan MAA: Convergence analysis of a general iteration schema of nonlinear mappings in hyperbolic spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 238 10.1186/1687-1812-2013-238Google Scholar
  18. Wan LL: -Convergence for mixed-type total asymptotically nonexpansive mappings in hyperbolic spaces. J. Inequal. Appl. 2013., 2013: Article ID 553 10.1186/1029-242X-2013-553Google Scholar
  19. Zhao LC, Chang SS, Kim JK: Mixed type iteration for total asymptotically nonexpansive mappings in hyperbolic spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 353 10.1186/1687-1812-2013-353Google Scholar
  20. Zhao LC, Chang SS, Wang XR: Convergence theorems for total asymptotically nonexpansive mappings in hyperbolic spaces. J. Appl. Math. 2013., 2013: Article ID 689765Google Scholar
  21. Şahin A, Başarır M: On the strong and -convergence of SP-iteration on a CAT(0) space. J. Inequal. Appl. 2013., 2013: Article ID 311 10.1186/1029-242X-2013-311Google Scholar
  22. 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
  23. Dhompongsa S, Panyanak B: On -convergence theorems in CAT(0) spaces. Comput. Math. Appl. 2008, 56(10):2572–2579. 10.1016/j.camwa.2008.05.036View ArticleMathSciNetGoogle Scholar
  24. Leustean L: Nonexpansive iterations in uniformly convex W -hyperbolic spaces. Contemp. Math. 513. In Nonlinear Analysis and Optimization I: Nonlinear Analysis. Edited by: Leizarowitz A, Mordukhovich BS, Shafrir I, Zaslavski A. Am. Math. Soc., Providence; 2010:193–209.View ArticleGoogle Scholar
  25. Qihou L: Iterative sequences for asymptotically quasi-nonexpansive mappings with error member. J. Math. Anal. Appl. 2001, 259: 18–24. 10.1006/jmaa.2000.7353View ArticleMathSciNetGoogle Scholar
  26. Guo W, Cho YJ, Guo W: Convergence theorems for mixed type asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2012., 2012: Article ID 224 10.1186/1687-1812-2012-224Google Scholar
  27. Kzıltunç H, Yolaçan E: Strong convergence theorems for two total asymptotically nonexpansive nonself mappings in Banach spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 90 10.1186/1687-1812-2013-90Google Scholar
  28. Senter HF, Dotson WG: Approximating fixed points of nonexpansive mappings. Proc. Am. Math. Soc. 1974, 44: 375–380. 10.1090/S0002-9939-1974-0346608-8View ArticleMathSciNetGoogle Scholar

Copyright

© Şahin and Başarır; licensee Springer. 2014

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