Research | Open | Published:

# Fixed point theorems and Δ-convergence theorems for generalized hybrid mappings on CAT(0) spaces

## Abstract

In this paper, we introduce generalized hybrid mapping on CAT(0) spaces. The class of generalized hybrid mappings contains the class of nonexpansive mappings, nonspreading mappings, and hybrid mappings. We study the fixed point theorems of generalized hybrid mappings on CAT(0) spaces. We also consider some iteration processes for generalized hybrid mappings on CAT(0) spaces, and our results generalize some results of fixed point theorems on CAT(0) spaces and Hilbert spaces.

## 1 Introduction

Fixed point theory in CAT(0) spaces was first studied by Kirk [1, 2]. He showed that every nonexpansive (single-valued) mapping defined on a bounded closed convex subset of a complete CAT(0) space always has a fixed point. Since then, the fixed point theory for single-valued and multivalued mappings in CAT(0) spaces has been rapidly developed, and many papers have appeared (e.g., see [36] and related references.)

Let (X, d) be a metric space. A geodesic path joining x X to y X (or, more briefly, a geodesic from x to y) is a map c from a closed interval [0, ] R to X such that c(0) = x, c() = y, and d(c(t), c(t′)) = |t - t′| for all t, t [0, ]. In particular, c is an isometry and d(x, y) = . The image α of c is called a geodesic (or metric) segment joining x and y. When it is unique, this geodesic is denoted by [x, y]. The space (X, d) is said to be a geodesic space if every two points of X are joined by a geodesic, and X is said to be uniquely geodesic if there is exactly one geodesic joining x and y for each x, y X. A subset Y X is said to be convex if Y includes every geodesic segment joining any two of its points.

A geodesic triangle Δ(x1, x2, x3) in a geodesic space (X, d) consists of three points x1, x2, and x3 in X (the vertices of Δ and a geodesic segment between each pair of vertices (the edge of Δ). A comparison triangle for geodesic triangle Δ (x1, x2, x3) in (X, d) is a triangle $Δ ¯ ( x 1 , x 2 , x 3 ) :=Δ ( x ̄ 1 , x ̄ 2 , x ̄ 3 )$ in the Euclidean plane $E 2$ such that $d E 2 ( x ̄ i , x ̄ j ) =d ( x i , x j )$ for i, j {1, 2, 3}.

A geodesic space is said to be a CAT(0) space if all geodesic triangles of appropriate size satisfy the following comparison axiom.

CAT(0): Let Δ be a geodesic triangle in X, and let $Δ ¯$ be a comparison triangle for Δ. Then, Δ is said to satisfy the CAT(0) inequality if for all x, y Δ and all comparison points $x ̄$, $ȳ∈ Δ ¯$, $d ( x , y ) ≤ d E 2 ( x ̄ , ȳ )$. 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 [7], R-trees [8], the complex Hilbert ball with a hyperbolic metric [9], and many others.

If x, y1, y2 are points in a CAT(0) space, and if y0 is the midpoint of the segment [y1, y2], then the CAT(0) inequality implies

$d 2 ( x , y 0 ) ≤ 1 2 d 2 ( x , y 1 ) + 1 2 d 2 ( x , y 2 ) - 1 4 d 2 ( y 1 , y 2 ) .$

This is the (CN) inequality of Bruhat and Tits [10]. In fact, a geodesic space is a CAT(0) space if and only if it satisfies the (CN) inequality ([[7], p. 163]).

In 2008, Dhompongsa and Panyanak [11] gave the following result, and the proof is similar to the proof of remark in [[12], p. 374].

Lemma 1.1. [11] Let X be a CAT(0) space. Then,

$d ( ( 1 - t ) x ⊕ t y , z ) ≤ ( 1 - t ) d ( x , z ) + t d ( y , z )$

for all x, y, z X and t [0, 1].

By the above lemma, we know that CAT(0) space is a convex metric space. Indeed, a metric space X with a convex structure if there exists a mapping W : X × X × [0, 1] → X such that

$d ( W ( x , y , t ) , z ) ≤ t d ( x , z ) + ( 1 - t ) d ( y , z )$

for all x, y, z X and t [0, 1] and call this space X a convex metric space [13]. Furthermore, Takahashi [13] has proved that

$d ( x , y ) = t d ( x , W ( x , y , t ) ) + ( 1 - t ) d ( y , W ( x , y , t ) )$

for all x, y, z X and t [0, 1] when X is a convex metric space with a convex structure. So, we also get the following result, and it is proved in [11].

Lemma 1.2. [11] Let X be a CAT(0) space, and x, y X. For each t [0, 1], there exists a unique point z [x, y] such that d(x, z) = td(x, y) and d(y, z) = (1 - t)d(x, y).

For convenience, from now on we will use the notation z = (1 - t)x ty. Therefore, we have:

Let C be a nonempty closed convex subset of a CAT(0) space (X, d). A mapping T : CC is called a nonexpansive mapping if d(Tx, Ty) ≤ d(x, y) for all x, y C. A point x C is called a fixed point of T if Tx = x. Let F(T) denote the set of fixed points of T.

Now, we introduce the following nonlinear mappings on CAT(0) spaces.

Definition 1.1. Let C be a nonempty closed convex subset of a CAT(0) space X. We say T : CX is a generalized hybrid mapping if there are functions a1, a2, a3, k1, k2 : C → [0, 1) such that

(P1) d2(Tx, Ty)

$≤ a 1 ( x ) d 2 ( x , y ) + a 2 ( x ) d 2 ( T x , y ) + a 3 ( x ) d 2 ( T y , x ) + k 1 ( x ) d 2 ( T x , x ) + k 2 ( x ) d 2 ( T y , y )$

for all x, y C;

(P2) a1(x) + a2(x) + a3(x) ≤ 1 for all x, y C;

(P3) 2k1(x) < 1 - a2(x) and k2(x) < 1 - a3(x) for all x C.

Remark 1.1. In Definition 1.1, if a1(x) = 1 and a2(x) = a3(x) = k1(x) = k2(x) = 0 for all x C, then T is a nonexpansive mapping.

In 2008, Kohsaka and Takahashi [14] introduced nonspreading mappings on Banach spaces. Let C be a nonempty closed convex subset of a real Hilbert space H. A mapping T : CC is said to be a nonspreading mapping if 2||Tx - Ty||2 ≤ ||Tx - y||2 + ||Ty - x||2 for all x, y C (for detail, refer to [15]).

In 2010, Takahashi [16] introduced hybrid mapping on Hilbert spaces. Let C be a nonempty closed convex subset of a real Hilbert space H. A mapping T : CC is said to be hybrid if 3||Tx - Ty||2 ≤ ||x - y||2 + ||Tx - y||2 + ||x - Ty||2 for all x, y C.

In 2011, Takahashi and Yao [17] also introduced two nonlinear mappings in Hilbert spaces. Let C be a nonempty closed convex subset of a real Hilbert space H. A mapping T : CC is said to be TJ-1 if 2||Tx - Ty||2 ≤ ||x - y||2 + ||Tx - y||2 for all x, y C. A mapping T : CC is said to be TJ-2 if 3||Tx - Ty||2 ≤ 2||Tx - y||2 + ||Ty - x||2 for all x, y C.

Now, we give the definitions of nonspreading mapping, TJ-1, TJ-2, hybrid mappings on CAT(0) spaces. In fact, these are special cases of generalized hybrid mapping on CAT(0) spaces.

Definition 1.2. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Then, T : CC is said to be a nonspreading mapping if 2d2(Tx, Ty) ≤ d2(Tx, y) + d2(Ty, x) for all x, y C.

Definition 1.3. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Then, T : CC is said to be hybrid if 3d2(Tx, Ty) ≤ d2(x, y)+d2(Tx, y)+d2(x, Ty) for all x, y C.

Definition 1.4. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Then, T : CC is said to be TJ-1 if 2d2(Tx, Ty) ≤ d2(x, y) + d2(Tx, y) for all x, y C.

Definition 1.5. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Then, T : CC is said to be TJ-2 if 3d2(Tx, Ty) ≤ 2d2(Tx, y) + d2(Ty, x) for all x, y C.

On the other hand, we observe that construction of approximating fixed points of nonlinear mappings is an important subject in the theory of nonlinear mappings and its applications in a number of applied areas. Let C be a nonempty closed convex subset of a real Hilbert space H, and let T, S : CC be two mappings.

In 1953, Mann [18] gave an iteration process:

$x n + 1 = α n x n + ( 1 - α n ) T x n , n ≥ 0 ,$

where the initial guess x0 is taken in C arbitrarily, and {α n } is a sequence in the interval [0, 1].

In 1974, Ishikawa [19] gave an iteration process which is defined recursively by

where {α n } and {β n } are sequences in the interval [0, 1].

In 1986, Das and Debata [20] studied a two mappings's iteration on the pattern of the Ishikawa iteration:

(1.1)

where {α n } and {β n } are sequences in the interval [0, 1].

In 2007, Agarwal et al. [21] introduced the following iterative process:

(1.2)

where the initial guess x0 is taken in C arbitrarily, and {α n } and {β n } are sequences in the interval [0, 1].

In 2011, Khan and Abbas [22] modified (1.1) and (1.2) for two nonexpansive mappings S and T in CAT(0) spaces as follows.

(1.3)

and

(1.4)

where the initial guess x0 is taken in C arbitrarily, and {α n } and {β n } are sequences in the interval [0, 1].

Let D be a nonempty closed convex subset of a complete CAT(0) space (X, d). For each x X, there exists a unique element y D such that $d ( x , y ) = min z ∈ D d ( x , z )$ [7]. In the sequel, let P D : XD be defined by

$P D ( x ) = y ⇔ d ( x , y ) = min z ∈ D d ( x , z ) .$

And we call P D the metric projection from the complete CAT(0) space X onto a nonempty closed convex subset D of X. Note that P D is a nonexpansive mapping [7].

Now, let C be a nonempty closed convex subset of a complete CAT(0) space X, let T, S : CX be two nonexpansive mappings, and we modified (1.3) and (1.4) as follows:

(1.5)

and

(1.6)

where the initial guess x0 is taken in C arbitrarily, and {α n } and {β n } are sequences in the interval [0, 1].

In this paper, we study the fixed point theorems of generalized hybrid mappings on CAT(0) spaces. Next, we also consider iteration process (1.5), (1.6), or Mann's type for generalized hybrid mappings on CAT(0) spaces, and our results improve or generalize recent results on fixed point theorems on CAT(0) spaces or Hilbert spaces.

## 2 Preliminaries

In this paper, we need the following definitions, notations, lemmas, and related results.

Lemma 2.1. [11] Let X be a CAT(0) space. Then,

$d 2 ( ( 1 - t ) x ⊕ t y , z ) ≤ ( 1 - t ) d 2 ( x , z ) + t d 2 ( y , z ) - t ( 1 - t ) d 2 ( x , y )$

for all t [0, 1] and x, y, z X.

Definition 2.1. Let {x n } be a bounded sequence in a CAT(0) space X, and let C be a subset of X. Now, we use the following notations:

1. (i)

$r ( x , { x n } ) : = lim sup n → ∞ d ( x , x n )$.

2. (ii)

$r ( { x n } ) := inf x ∈ X r ( x , { x n } )$.

3. (iii)

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

4. (iv)

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

5. (iv)

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

Note that x X is called an asymptotic center of {x n } if x A({x n }). It is known that in a CAT(0) space, A({x n }) consists of exactly one point [23].

Definition 2.2. [6] Let (X, d) be a CAT(0) space. A sequence {x n } in X is said to be Δ-convergent to x X if x is the unique asymptotic center of {u n } for every subsequence {u n } of {x n }. That is, A({u n }) = {x} for every subsequence {u n } of {x n }. In this case, we write and call x the Δ-limit of {x n }.

In 2008, Kirk and Panyanak [6] gave the following result for nonexpansive mappings on CAT(0) spaces.

Theorem 2.1. [6] Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : CC be a nonexpansive mapping. Let {x n } be a bounded sequence in C with and $lim n → ∞ d ( x n , T x n ) =0$. Then, x C and Tx = x.

Lemma 2.2. [6] Let (X, d) be a CAT(0) space. Then, every bounded sequence in X has a Δ-convergent subsequence.

Lemma 2.3. [24] Let C be a nonempty closed convex subset of a CAT(0) space X. If {x n } is a bounded sequence in C, then the asymptotic center A({x n }) of {x n } is in C.

Lemma 2.4. [11] Let C be a nonempty closed convex subset of a CAT(0) space (X, d).

Let {x n } be a bounded sequence in X with A({x n }) = {x}, and let {u n } be a subsequence of {x n } with A({u n }) = {u}. Suppose that $lim n → ∞ d ( x n , u )$ exists. Then, x = u.

Let {x n } be a bounded sequence in a CAT(0) space (X, d), and let C be a nonempty closed convex subset of X which contains {x n }. We denote the notation

where $Φ ( x ) := lim sup n → ∞ d ( x n , x )$. Then, we observe that

$A ( { x n } ) = { x ∈ X : Φ ( x ) = inf u ∈ X Φ ( u ) } , and A C ( { x n } ) = { x ∈ C : Φ ( x ) = inf u ∈ C Φ ( u ) } .$

Remark 2.1. Let {x n } be a bounded sequence in a CAT(0) space (X, d), and let C be a nonempty closed convex subset of X which contains {x n }. If x n w, then w C.

Proof. There exist $x ̄ ∈X$ and $ȳ∈C$ such that $A ( { x n } ) = { x ̄ }$ and $A C ( { x n } ) = { ȳ }$. By Lemma 2.3, $x ̄ =ȳ$. Hence,

$Φ ( ȳ ) = Φ ( x ̄ ) ≤ Φ ( w ) = inf x ∈ C Φ ( x ) = Φ ( ȳ ) .$

Hence, w A({x n }) and $w= x ̄ ∈C$.   □

Lemma 2.5. [25] Let C be a nonempty closed convex subset of a CAT(0) space (X, d), and let {x n } be a bounded sequence in C. If , then x n x.

Proposition 2.1. Let C be a nonempty closed convex subset of a complete CAT(0) space (X, d), and let T : CX be a generalized hybrid mapping with F(T) ≠ . Then, F(T) is a closed convex subset of C.

Proof. If {x n } is a sequence in F (T ) and $lim n → ∞ x n =x$. Then, we have:

$d 2 ( T x , x n ) ≤ d 2 ( x , x n ) + k 1 ( x ) 1 - a 2 ( x ) d 2 ( T x , x ) .$

This implies that

$( 1 - k 1 ( x ) 1 - a 2 ( x ) ) d 2 ( T x , x ) ≤ 0 .$

Then, Tx = x and F(T) is a closed set.

Next, we want to show that F(T) is a convex set. If x, y F(T) C and z [x, y], then there exists t [0, 1] such that z = tx (1 - t)y. Since C is convex, z C.

Furthermore,

$d 2 ( T z , z ) ≤ t d 2 ( T z , x ) + ( 1 - t ) d 2 ( T z , y ) - t ( 1 - t ) d 2 ( x , y ) ≤ t d 2 ( z , x ) + t k 1 ( z ) 1 - a 2 ( z ) d 2 ( T z , z ) + ( 1 - t ) d 2 ( z , y ) + ( 1 - t ) k 1 ( z ) 1 - a 2 ( z ) d 2 ( T z , z ) - t ( 1 - t ) d 2 ( x , y ) ≤ t ( 1 - t ) 2 d 2 ( x , y ) + k 1 ( z ) 1 - a 2 ( z ) d 2 ( T z , z ) + t 2 ( 1 - t ) d 2 ( x , y ) - t ( 1 - t ) d 2 ( x , y ) ≤ k 1 ( z ) 1 - a 2 ( z ) d 2 ( T z , z ) .$

Hence, Tz = z and F(T) is a convex set.   □

Remark 2.2. Let C be a nonempty closed convex subset of a complete CAT(0) space (X, d), and let T : CX be any one of nonspreading mapping, TJ-1 mapping, TJ-2 mapping, and hybrid mapping. If F(T) ≠ , then F(T) is a closed convex subset of C.

## 3 Fixed point theorems on complete CAT(0) spaces

The following theorem establishes a demiclosed principle for a generalized hybrid mapping on CAT(0) spaces.

Theorem 3.1. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : CX be a generalized hybrid mapping. Let {x n } be a bounded sequence in C with x n x and $lim n → ∞ d ( x n , T x n ) =0$. Then, x C and Tx = x.

Proof. Since x n x, we know that x C and $Φ ( x ) = inf u ∈ C Φ ( u )$, where $Φ ( u ) := lim sup n → ∞ d ( x n , u )$. Furthermore, we know that Φ(x) = inf{Φ (u) : u X}. Since T is a generalized hybrid,

$d 2 ( T x n , T x ) ≤ a 1 ( x ) d 2 ( x , x n ) + a 2 ( x ) d 2 ( T x , x n ) + a 3 ( x ) d 2 ( T x n , x ) + k 1 ( x ) d 2 ( T x , x ) + k 2 ( x ) d 2 ( T x n , x n ) ≤ a 1 ( x ) d 2 ( x , x n ) + a 2 ( x ) d ( T x , T x n ) + d ( T x n , x n ) 2 + a 3 ( x ) d ( T x n , x n ) + d ( x n , x ) 2 + k 1 ( x ) d 2 ( T x , x ) + k 2 ( x ) d 2 ( T x n , x n ) .$

Then, we have:

$lim sup n → ∞ d 2 ( T x n , T x ) ≤ lim sup n → ∞ d 2 ( x , x n ) + k 1 ( x ) ( 1 - a 2 ( x ) ) d 2 ( x , T x ) .$

This implies that

$limsup n → ∞ d 2 ( x n , T x ) ≤ limsup n → ∞ ( d ( x n , T x n ) + d ( T x n , T x ) ) 2 ≤ limsup n → ∞ d 2 ( T x n , T x ) ≤ limsup n → ∞ d 2 ( x , x n ) + k 1 ( x ) 1 - a 2 ( x ) d 2 ( x , T x ) .$

Besides, by (CN) inequality, we have:

$d 2 ( x n , 1 2 x ⊕ 1 2 T x ) ≤ 1 2 d 2 ( x n , x ) + 1 2 d 2 ( x n , T x ) - 1 4 d 2 ( x , T x ) .$

So,

$limsup n → ∞ d 2 ( x n , 1 2 x ⊕ 1 2 T x ) ≤ 1 2 limsup n → ∞ d 2 ( x n , x ) + 1 2 limsup n → ∞ d 2 ( x n , T x ) - 1 4 d 2 ( x , T x ) ≤ limsup n → ∞ d 2 ( x n , x ) + k 1 ( x ) 2 ( 1 - a 2 ( x ) ) d 2 ( x , T x ) - 1 4 d 2 ( x , T x ) .$

So,

$( 1 4 - k 1 ( x ) 2 ( 1 - a 2 ( x ) ) ) d 2 ( x , T x ) ≤ limsup n → ∞ d 2 ( x n , x ) - limsup n → ∞ d 2 ( x n , 1 2 x ⊕ 1 2 T x ) .$

That is,

$( 1 4 - k 1 ( x ) 2 ( 1 - a 2 ( x ) ) ) d 2 ( x , T x ) ≤ ( Φ ( x ) ) 2 - ( Φ ( 1 2 x ⊕ 1 2 T x ) ) 2 ≤ 0 .$

Therefore, Tx = x.   □

By Theorem 3.1 and Lemma 2.5, it is easy to get the conclusion.

Corollary 3.1. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : CX be a generalized hybrid mapping. Let {x n } be a bounded sequence in C with Δ-lim n x n = x and $lim n → ∞ d ( x n , T x n ) =0$. Then, Tx = x.

Theorem 3.1 generalizes Theorem 2.1 since the class of generalized hybrid mappings contains the class of nonexpansive mappings on CAT(0) spaces. Furthermore, we also get the following result.

Corollary 3.2. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : CX be any one of nonspreading mapping, TJ-1 mapping, TJ-2 mapping, and hybrid napping. Let {x n } be a bounded sequence in C with x n x and $lim n → ∞ d ( x n , T x n ) =0$. Then, Tx = x.

Corollary 3.3. [1417] Let C be a nonempty closed convex subset of a real Hilbert space H, and let T : CH be a any one of nonspreading mapping, hybrid mapping, TJ-1 mapping, and TJ-2 mapping. Let {x n } be a sequence in C with {x n } converges weakly to x C and $lim n → ∞ d ( x n , T x n ) =0$. Then, x C and Tx = x.

Proof. For each x, y H, let d(x, y) := ||x - y||. Clearly, a real Hilbert space H is a CAT(0) space, and C is a nonempty closed convex subset of a CAT(0) space H, and T is generalized hybrid. Since {x n } converges weakly to x, {x n } is a bounded sequence.

Since H is a real Hilbert space,

This implies that x n x. By Theorem 3.1, Tx = x and the proof is completed.   □

Theorem 3.2. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : CC be a generalized hybrid mapping with k1(x) = k2(x) = 0 for all x C. Then, the following conditions are equivalent:

1. (i)

{Tnx} is bounded for some x C;

2. (ii)

F(T) ≠ .

Proof. Suppose that {Tnx} is bounded for some x C. For each n , let x n := Tnx. Since {x n } is bounded, there exists $x ̄ ∈X$ such that $A ( { x n } ) = { x ̄ }$. By Lemma 2.3, $x ̄ ∈C$. Furthermore, we have:

$d 2 ( x n , T x ̄ ) ≤ a 1 ( x ̄ ) d 2 ( x ̄ , x n - 1 ) + a 2 ( x ̄ ) d 2 ( T x ̄ , x n - 1 ) + a 3 ( x ̄ ) d 2 ( x n , x ̄ ) .$

This implies that

$limsup n → ∞ d 2 ( x n , T x ̄ ) ≤ a 1 ( x ̄ ) limsup n → ∞ d 2 ( x ̄ , x n - 1 ) + a 2 ( x ̄ ) limsup n → ∞ d 2 ( T x ̄ , x n - 1 ) + a 3 ( x ̄ ) limsup n → ∞ d 2 ( x n , x ̄ ) ≤ ( a 1 ( x ̄ ) + a 3 ( x ̄ ) ) limsup n → ∞ d 2 ( x n , x ̄ ) + a 2 ( x ̄ ) limsup n → ∞ d 2 ( x n , T x ̄ ) .$

Then

$( Φ ( T x ¯ ) 2 = lim sup n → ∞ d 2 ( x n , T x ¯ ) ≤ lim sup n → ∞ d 2 ( x n , x ¯ ) = ( Φ ( x ¯ ) 2 .$

Since $A ( { x n } ) = { x ̄ }$, $T x ̄ = x ̄$. This shows that F(T) ≠ . It is easy to see that (ii) implies (i). □

By Theorem 3.2, it is easy to get the following results.

Corollary 3.4. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : CC be any one of nonspreading mapping, TJ-1 mapping, TJ-2 mapping, hybrid mapping, and nonexpansive mapping. Then, {Tnx} is bounded for some x C if and only if F(T) ≠ .

Corollary 3.5. [1, 2] Let C be a nonempty bounded closed convex subset of a complete CAT(0) space X, and let T : CC be a nonexpansive mapping. Then, F(T) ≠ .

Corollary 3.6. [1417, 26] Let C be a nonempty closed convex subset of a real Hilbert space H, and let T : CC be any one of nonspreading mapping, TJ-1 mapping, TJ- 2 mapping, hybrid mapping, and nonexpansive mapping. Then, {Tnx} is bounded for some x C if and only if F(T) ≠ .

## 4 Δ-convergent theorems

In the sequel, we need the following lemmas. By Lemmas 2.2-2.4 and Theorem 3.1, and following the similar argument as in the proof of Lemma 2.10 in [11], we have the following result.

Lemma 4.1. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : CX be a generalized hybrid mapping. If {x n } is a bounded sequence in C such that $lim n → ∞ d ( x n , T x n ) =0$ and {d(x n , v)} converges for all v F (T ), then ω w (x n ) F (T ), where ω w (x n ) := A({u n }) and {u n } is any subsequence of {x n }. Furthermore, ω w (x n ) consists of exactly one point.

Remark 4.1. The conclusion of Lemma 4.1 is still true if T : CX is any one of nonexpansive mapping, nonspreading mapping, TJ-1 mapping, TJ-2 mapping, and hybrid mapping.

Theorem 4.1. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let T : CX be a generalized hybrid mapping with F(T) ≠ . Let {α n } be a sequence in [0, 1]. Let {x n } be defined by

Assume $liminf n → ∞ α n [ ( 1 - α n ) - k 2 ( w ) 1 - a 3 ( w ) ] >0$ for all w F(T). Then, {x n } Δ-converges to a point of F(T).

Proof. Clearly, {x n } C. Take any w F (T ) and let w be fixed. Then,

$d 2 ( T x , w ) ≤ d 2 ( w , x ) + k 2 ( w ) 1 - a 3 ( w ) d 2 ( T x , x )$

for all x C. Hence, by Lemma 2.1,

$d 2 ( x n + 1 , w ) = d 2 ( P C ( ( 1 - α n ) x n ⊕ α n T x n ) , w ) ≤ d 2 ( ( 1 - α n ) x n ⊕ α n T x n , w ) ≤ ( 1 - α n ) d 2 ( x n , w ) + α n d 2 ( T x n , w ) - α n ( 1 - α n ) d 2 ( x n , T x n ) ≤ d 2 ( x n , w ) + α n [ k 2 ( w ) 1 - a 3 ( w ) - ( 1 - α n ) ] d 2 ( T x n , x n ) .$

By assumption, there exists δ > 0 and M such that

$α n [ ( 1 - α n ) - k 2 ( w ) 1 - a 3 ( w ) ] ≥ δ > 0$

for all nM. Without loss of generality, we may assume that

$α n [ ( 1 - α n ) - k 2 ( w ) 1 - a 3 ( w ) ] > 0$

for all n . Hence, {d(x n , w)} is decreasing, $lim n → ∞ d ( x n , w )$ exists, and {x n } is bounded.

Then

$lim n → ∞ α n [ ( 1 - α n ) - k 2 ( w ) 1 - a 3 ( w ) ] d 2 ( x n , T x n ) = 0 .$

This implies that $lim n → ∞ d ( x n , T x n ) =0$. By Lemma 4.1, there exists $x ̄ ∈C$ such that $ω w ( { x n } ) = { x ̄ } ⊆F ( T )$. So, $Δ- lim n x n = x ̄$ and the proof is completed.   □

Theorem 4.2. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let T : CX be a generalized hybrid mapping with F(T) . Let {α n } and {β n } be two sequences in [0, 1]. Let {x n } be defined as

Assume that:

1. (i)

k2(w) = 0 for all w F (T );

2. (ii)

$liminf n → ∞ α n ( 1 - α n ) >0$ and $liminf n → ∞ β n ( 1 - β n ) >0$.

Then {x n } Δ-converges to a point of F (T ).

Proof. Take any w F(T) and let w be fixed. Then, by (i), d(Tx, w) ≤ d(x, w) for all x C. By Lemma 2.1, we have:

$d 2 ( y n , w ) = d 2 ( P C ( ( 1 - β n ) x n ⊕ β n T x n ) , w ) ≤ d 2 ( ( 1 - β n ) x n ⊕ β n T x n , w ) ≤ ( 1 - β n ) d 2 ( x n , w ) + β n d 2 ( T x n , w ) - β n ( 1 - β n ) d ( x n , T x n ) ≤ d 2 ( x n , w ) - β n ( 1 - β n ) d ( x n , T x n ) ≤ d 2 ( x n , w ) .$

Hence,

$d 2 ( x n + 1 , w ) = d 2 ( P C ( ( 1 - α n ) T x n ⊕ α n T y n ) , w ) ≤ d 2 ( ( 1 - α n ) T x n ⊕ α n T y n , w ) ≤ ( 1 - α n ) d 2 ( T x n , w ) + α n d 2 ( T y n , w ) - α n ( 1 - α n ) d 2 ( T x n , T y n ) ≤ ( 1 - α n ) d 2 ( x n , w ) + α n d 2 ( y n , w ) - α n ( 1 - α n ) d 2 ( T x n , T y n ) ≤ d 2 ( x n , w ) - α n ( 1 - α n ) d 2 ( T x n , T y n ) ≤ d 2 ( x n , w ) .$

Hence, $lim n → ∞ d ( x n , w )$ exists, and {x n } and {y n } are bounded sequences. Besides, we know that

$lim n → ∞ α n ( 1 - α n ) d 2 ( T x n , T y n ) = 0 .$

This implies that $lim n → ∞ d ( T x n , T y n ) =0$. So,

$limsup n → ∞ d ( x n + 1 , T x n ) ≤ lim n → ∞ d ( T x n , T y n ) = 0 .$

And this implies that $lim n → ∞ d ( x n + 1 , T x n ) =0$. Furthermore, we also have:

$0 ≤ α n ( 1 - α n ) d 2 ( T x n , T y n ) ≤ d 2 ( x n , w ) - d 2 ( x n + 1 , w ) + α n [ d 2 ( y n , w ) - d 2 ( x n , w ) ] .$

So,

$α n ( 1 - α n ) [ d 2 ( x n , w ) - d 2 ( y n , w ) ] ≤ d 2 ( x n , w ) - d 2 ( x n + 1 , w )$

This implies that $lim n → ∞ ( d 2 ( y n , w ) - d 2 ( x n , w ) ) =0$. So,

$β n ( 1 - β n ) d 2 ( x n , T x n ) ≤ d 2 ( x n , w ) - d 2 ( y n , w ) .$

This implies that $lim n → ∞ d ( x n , T x n ) =0$. By Lemma 4.1, there exists $x ̄ ∈C$ such that $ω w ( { x n } ) = { x ̄ } ⊆F ( T )$. So, $Δ- lim n x n = x ̄$ and the proof is completed.   □

Remark 4.2. If 0 < a < b < 1 and {α n } is a sequence in [0, 1] with aα n b for all n , then $liminf n → ∞ α n ( 1 - α n ) ≥a ( 1 - b ) >0$. Furthermore, the class of generalized hybrid mappings contains the class of nonexpansive mappings in CAT(0) spaces. Hence, Theorem 4.2 generalizes Theorem 1 in [22].

Corollary 4.1. Let C be a nonempty closed convex subset of a real Hilbert space H. Let T : CX be any one of nonspreading mapping, nonexpansive mapping, hybrid mapping, TJ-1 mapping, and TJ-2 mapping. Let P C be the metric projection from H onto C. Suppose that F(T) ≠ . Let {α n } and {β n } be two sequences in [0, 1]. Let {x n } be defined as

Assume that $liminf n → ∞ α n ( 1 - α n ) >0$ and $liminf n → ∞ β n ( 1 - β n ) >0$. Then, {x n } converges weakly to a point x of F(T).

Proof. For each x, y H, let d(x, y) := ||x - y||. Clearly, H is a CAT(0) space, and C is a nonempty closed convex subset of H. Furthermore, tx (1 - t)y = tx + (1 - t)y for all x, y C and t [0, 1]. Since T is any one of nonspreading mapping, nonexpansive mapping, hybrid mapping, TJ-1 mapping, and TJ-2 mapping, k1(w) = k2(w) = 0 for all w F(T). By Theorem 4.2, {x n } is a bounded sequence, and {x n } Δ-converges to a point x of F(T).

Next, we want to show that {x n } converges to x. If ${ x n k }$ is a subsequence of {x n } and ${ x n k }$ converges weakly to u C, then $x n k ⇀u$ and $A ( { x n k } ) = { u }$. Since {x n } Δ-converges to x, u = x. Then, every weakly convergent subsequence of {x n } has the same limit. So, {x n } converges weakly to x, and the proof is completed.   □

Lemma 4.2. Let X be a CAT(0) space. Let {x n } and {y n } be two bounded sequences in X with $lim n → ∞ d ( x n , y n ) =0$. If $Δ- lim n x n =x$, then .

Proof. Since ??, we know that

$r ( { x n } ) = r ( x , { x n k } ) = limsup k → ∞ d ( x n k , x )$

for every subsequence ${ x n k }$ of {x n }. Now, take any subsequence ${ y n k }$ of {y n } and let ${ y n k }$ be fixed. Then, there exists y X such that $A ( { y n k } ) = { y }$. Hence,

$limsup n → ∞ d ( y n k , y ) ≤ limsup n → ∞ d ( y n k , x ) (1) ≤ limsup n → ∞ d ( y n k , x n k ) + limsup n → ∞ d ( x n k , x ) (2) = limsup n → ∞ d ( x n k , x ) (3) = r ( { x n } ) (4) ≤ limsup n → ∞ d ( x n k , y ) (5) ≤ limsup n → ∞ d ( x n k , y ) . (6) (7)$

So, $limsup n → ∞ d ( y n k , y ) = limsup n → ∞ d ( y n k , x )$. And this implies that $x∈A ( { y n k } )$. Since $A ( { y n k } ) = { y }$, x = y. So, $A ( { y n k } ) = { x }$ for every subsequence ${ y n k }$ of {y n }. Therefore, $Δ - lim n y n = x$.   □

Theorem 4.3. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let T, S : CX be two generalized hybrid mapping with F(T) ∩ F(S) ≠ . Let {α n } and {β n } be two sequences in [0, 1]. Let {x n } be defined as

Assume that:

1. (i)

$k 2 T ( w ) =0$ for all w F (T ) ∩ F (S);

2. (ii)

$liminf n → ∞ α n ( 1 - α n ) >0$ and $liminf n → ∞ β n [ ( 1 - β n ) - k 2 S ( w ) 1 - a 3 S ( w ) ] >0$.

Then, {x n } Δ-converges to a common fixed point of S and T.

Proof. Take any w F(T) ∩ F(S) and let w be fixed. Then, d(Tx, w) ≤ d(x, w) for all xC. By Lemma 2.1, we have:

$d 2 ( y n , w ) = d 2 ( P C ( ( 1 - β n ) x n ⊕ β n S x n ) , w ) ≤ d 2 ( ( 1 - β n ) x n ⊕ β n S x n , w ) ≤ ( 1 - β n ) d 2 ( x n , w ) + β n d 2 ( S x n , w ) - β n ( 1 - β n ) d 2 ( x n , S x n ) ≤ ( 1 - β n ) d 2 ( x n , w ) + β n [ d 2 ( x n , w ) + k 2 S ( w ) 1 - a 3 S ( w ) d 2 ( S x n , x n ) ] - β n ( 1 - β n ) d 2 ( x n , S x n ) ≤ d 2 ( x n , w ) - β n [ ( 1 - β n ) - k 2 S ( w ) 1 - a 3 S ( w ) ] d 2 ( S x n , x n ) .$

By (ii), there exists δ > 0 and M such that

$β n [ ( 1 - β n ) - k 2 S ( w ) 1 - a 3 S ( w ) ] ≥ δ > 0$

for all nM. Without loss of generality, we may assume that

$β n [ ( 1 - β n ) - k 2 S ( w ) 1 - a 3 S ( w ) ] > 0$

for all n . Hence, we know that d(y n , w) ≤ d(x n , w), and

$d 2 ( x n + 1 , w ) = d 2 ( P C ( ( 1 - α n ) x n ⊕ α n T y n ) , w ) ≤ d 2 ( ( 1 - α n ) x n ⊕ α n T y n , w ) ≤ ( 1 - α n ) d 2 ( x n , w ) + α n d 2 ( T y n , w ) - α n ( 1 - α n ) d 2 ( x n , T y n ) ≤ ( 1 - α n ) d 2 ( x n , w ) + α n d 2 ( y n , w ) - α n ( 1 - α n ) d 2 ( x n , T y n ) ≤ d 2 ( x n , w ) - α n ( 1 - α n ) d 2 ( x n , T y n ) ≤ d 2 ( x n , w ) .$

Hence, $lim n → ∞ d ( x n , w )$ exists, and {x n } and {y n } are bounded sequences. Besides, we know that

$lim n → ∞ α n ( 1 - α n ) d 2 ( x n , T y n ) =0.$

This implies that $lim n → ∞ d ( x n , T y n ) =0$. Furthermore, we also have:

$α n ( 1 - α n ) d 2 ( x n , T y n ) ≤ d 2 ( x n , w ) - d 2 ( x n + 1 , w ) + α n [ d 2 ( y n , w ) - d 2 ( x n , w ) ] .$

Then,

$α n [ d 2 ( x n , w ) - d 2 ( y n , w ) ] ≤ d 2 ( x n , w ) - d 2 ( x n + 1 , w ) .$

And this implies that $lim n → ∞ [ d 2 ( x n , w ) - d 2 ( y n , w ) ] =0$. Besides, we have:

$β n [ ( 1 - β n ) - k 2 S ( w ) 1 - a 3 S ( w ) ] d 2 ( x n , S x n ) ≤ d 2 ( x n , w ) - d 2 ( y n , w ) .$

This implies that $lim n → ∞ d ( x n , S x n ) =0$. Hence,

$limsup n → ∞ d ( y n , x n ) = limsup n → ∞ β n d ( x n , S x n ) ≤ limsup n → ∞ d ( x n , S x n ) = 0 .$

So, $lim n → ∞ d ( y n , x n ) =0$, and $lim n → ∞ d ( y n , T y n ) =0$. By Lemma 4.1, there exist $x ̄ ,ȳ∈C$ such that $ω w ( { x n } ) = { x ̄ } ⊆F ( S )$ and $ω w ( { y n } ) = { ȳ } ⊆F ( T )$. So, $Δ - lim n x n = x ̄$ and $Δ- lim n y n =ȳ$. By Lemma 4.2, $x ̄ =ȳ$.

Remark 4.3. Theorem 4.3 generalizes Theorem 4 in [22].

Following the same argument as in the proof of Corollary 4.1, we have the following result from Theorem 4.3.

Corollary 4.2. Let C be a nonempty closed convex subset of a real Hilbert space H. Let T, S : CX be any two of nonspreading mapping, hybrid mapping, TJ-1 mapping, TJ-2 mapping. Suppose that F(T) ∩ F(S) ≠ . Let {α n } and {β n } be two sequences in [0, 1]. Let P C be the metric projection from H onto C. Let {x n } be defined as

Assume that $liminf n → ∞ α n ( 1 - α n ) >0$ and$liminf n → ∞ β n [ ( 1 - β n ) - k 2 S ( w ) 1 - a 3 S ( w ) ] >0$. Then, {x n } Δ-converges to a common fixed point of S and T.

## References

1. 1.

Kirk WA: Geodesic geometry and fixed point theory. In Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003), of Colección Abierta. Volume 64. University of Seville, Secretary of Publications, Seville, Spain; 2003:195–225.

2. 2.

Kirk WA: Geodesic Geometry and Fixed Point Theory. II. In International Conference on Fixed Point Theory and Applications. Yokohama Publishers, Yokohama; 2004:113–142.

3. 3.

Dhompongsa S, Kaewkhao A, Panyanak B: Lim's theorems for multivalued mappings in CAT(0) spaces. J Math Anal Appl 2005, 312: 478–487. 10.1016/j.jmaa.2005.03.055

4. 4.

Chaoha P, Phonon A: A note on fixed point sets in CAT(0) spaces. J Math Anal Appl 2006, 320: 983–987. 10.1016/j.jmaa.2005.08.006

5. 5.

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.081

6. 6.

Kirk WA, Panyanak B: A concept of convergence in geodesic spaces. Nonlinear Anal 2008, 68: 3689–3696. 10.1016/j.na.2007.04.011

7. 7.

Bridson MR, Haefliger A: Metric Spaces of Non-Positive Curvature. In Fundamental Principles of Mathematical Sciences. Volume 319. Springer, Berlin; 1999.

8. 8.

Kirk WA: Fixed point theorems in CAT(0) spaces and R-trees. Fixed Point Theory Appl 2004, 2004: 309–316. 10.1155/S1687182004406081

9. 9.

Goebel K, Reich S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. In Monographs and Textbooks in Pure and Applied Mathematics. Volume 83. Marcel Dekker Inc., New York; 1984.

10. 10.

Bruhat F, Tits J: Groupes reductifs sur un corps local. I. Donnees radicielles valuees Inst Hautes Etudes Sci Publ Math 1972, 41: 5–251. 10.1007/BF02715544

11. 11.

Dhompongsa S, Panyanak B: On Δ-convergence theorems in CAT(0) spaces. Comput Math. Appl 2008, 56: 2572–2579. 10.1016/j.camwa.2008.05.036

12. 12.

Kirk WA: Krasnoselskii's iteration process in hyperbolic space. Numer Funct Anal Optim 1982, 4: 371–381. 10.1080/01630568208816123

13. 13.

Takahashi W: A convexity in metric space and nonexpansive mappings I. Kōdai Math Sem Rep 1970,22(2):142–149. 10.2996/kmj/1138846111

14. 14.

Kohsaka F, Takahashi W: Fixed point theorems for a class of nonlinear mappings related to maximal monotone operators in Banach spaces. Arch Math 2008, 91: 166–177. 10.1007/s00013-008-2545-8

15. 15.

Iemoto S, Takahashi W: Approximating common fixed points of nonexpansive mappings and nonspreading mappings in a Hilbert space. Nonlinear Anal 2009, 71: e2082-e2089. 10.1016/j.na.2009.03.064

16. 16.

Takahashi W: Fixed point theorems for new nonlinear mappings in a Hilbert spaces. J Nonlinear Convex Anal 2010, 11: 79–88.

17. 17.

Takahashi W, Yao JC: Fixed point theorems and ergodic theorems for nonlinear mappings in Hilbert spaces. Taiwan J Math 2011, 15: 457–472.

18. 18.

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

19. 19.

Ishikawa S: Fixed points by a new iteration method. Proc Am Math Soc 1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5

20. 20.

Das G, Debata JP: Fixed points of quasi-nonexpansive mappings. Indian J Pure Appl Math 1986, 17: 1263–1269.

21. 21.

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

22. 22.

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

23. 23.

Dhompongsa S, Kirk WA, Sims B: Fixed points of uniformly lipschitzian mappings. Nonlinear Anal 2006, 65: 762–772. 10.1016/j.na.2005.09.044

24. 24.

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

25. 25.

Nanjaras B, Panyanak B: Demiclosed principle for asymptotically nonexpansive mappings in CAT(0) spaces. Fixed Point Theory Appl 2010: article id 268780

26. 26.

Pazy A: Asymptotic behavior of contractions in Hilbert space. Israel J Math 1971, 9: 235–240. 10.1007/BF02771588

## Acknowledgements

The first and second authors wish to express their gratitude to the National Science Council of the Republic of China.

## Author information

Correspondence to Lai-Jiu Lin.

## Rights and permissions

Reprints and Permissions

• #### DOI

https://doi.org/10.1186/1687-1812-2011-49

### Keywords

• nonexpansive mapping
• fixed point
• generalized hybrid mapping
• CAT(0) spaces