Some Convergence Theorems for Contractive Type Mappings in CAT(0) Spaces
Abstract
We establish theorems of strong convergence, for the Ishikawa-type (or two step; cf. Ishikawa, 1974) iteration scheme, to a fixed point of a uniformly L-Lipschitzian asymptotically demicontractive mapping and a uniformly L-Lipschitzian hemicontractive mapping in CAT(0) space. Moreover, we will propose some open problems.
1. Introduction
Example 1 (see [2].)Let X = {(x1, x2) ∈ ℝ2 : x1 > 0, x2 > 0}, for all x = (x1, x2), y = (y1, y2) ∈ X, and λ ∈ [0,1]. We define a mapping W : X × X × [0,1] → X by
A metric space X is a CAT(0) space (the term is due to Gromov [3] and it is an acronym for E. Cartan, A. D. Aleksandrov, and V. A. Toponogov) if it is geodesically connected and if every geodesic triangle in X is at least as “thin” as its comparison triangle in the Euclidean plane (see, e.g., [4], page 159). It is well known that any complete, simply connected Riemannian manifold nonpositive sectional curvature is a CAT(0) space. The precise definition is given below. For a thorough discussion of these spaces and of the fundamental role they play in various branches of mathematics, see Bridson and Haefliger [4] or Burago et al. [5].
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 mapping c from a closed interval [0, l] ⊂ ℝ to X such that c(0) = x, c(l) = y, and d(c(t), c(t′)) = |t − t′|, for all t, t′ ∈ [0, l]. In particular, c is an isometry and d(x, y) = l. 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) is a geodesic metric space (X, d) that consists of three points x1, x2, x3 ∈ X (the vertices of Δ) and is a geodesic segment between each pair of vertices (the edges of Δ). A comparison triangle for the geodesic triangle Δ(x1, x2, x3) in (X, d) is a triangle in ℝ2 such that for i, j ∈ {1,2, 3}. Such a triangle always exists (see, [4]).
A geodesic metric space is said to be a CAT(0) space if all geodesic triangles of appropriate size satisfy the following CAT(0) comparison axiom.
Definition 2. Let C be a nonempty subset of a metric space (X, d). Let F(T) denote the fixed point set of T. Let F(T) ≠ ∅.
- (1)
A mapping T : C → C is said to be k-strict asymptotically pseudocontractive with sequence {an} if lim n→∞an = 1 for some constant k, 0 ≤ k < 1 and
() -
for all x, y ∈ C, n ∈ ℕ.
-
If k = 0, then T is said to be asymptotically nonexpansive with sequence {an}, that is,
() - (2)
A mapping T : C → C is said to be asymptotically demicontractive with sequence {an} if lim n→∞an = 1 for some constant k, 0 ≤ k < 1, and
() -
for all x ∈ C, n ∈ ℕ.
-
If k = 0, then T is said to be asymptotically quasi-nonexpansive with sequence {an}, that is,
() - (3)
A mapping T : C → C is said to be asymptotically pseudocontractive with sequence {an} if lim n→∞an = 1 and
() -
for all x, y ∈ C, n ∈ ℕ.
- (4)
A mapping T : C → C is said to be asymptotically hemicontractive with sequence {an} if lim n→∞an = 1 and
() -
for all x ∈ C, n ∈ ℕ.
- (5)
A mapping T : C → C is said to be uniformly L-Lipschitzian if for some constant L > 0,
() -
for all n ∈ ℕ.
Liu [10] has proved the convergence of Mann and Ishikawa iterative sequence for uniformly L-Lipschitzian asymptotically demicontractive and hemicontractive mappings in Hilbert space (cf. [11]). The existence of (common) fixed points of one mapping (or two mappings or family of mappings) is not known in many situations. So the approximation of fixed points of one or more nonexpansive, asymptotically nonexpansive, or asymptotically quasi-nonexpansive mappings by various iterations have been extensively studied in Banach spaces, convex metric spaces, CAT(0) spaces, and so on (see, [2, 6, 8, 9, 12–27]).
In this paper, we establish theorems of strong convergence for the Ishikawa-type (or two step, cf. [28]) iteration scheme to a fixed point of a uniformly L-Lipschitzian asymptotically demicontractive mapping and a uniformly L-Lipschitzian asymptotically hemicontractive mapping in CAT(0) space. Moreover, we will propose some open problems.
2. Preliminaries
We introduce the following iteration process.
Let C be a nonempty convex subset of a CAT(0) space (X, d) and let T : C → C be a given mapping. Let x1 ∈ C be a given point.
Algorithm 3. The sequences {xn} and {yn} defined by the iterative process
If βn ≡ 0, then Algorithm 3 reduces to the following
Algorithm 4. The sequence {xn} defined by the iterative process
Lemma 5 (see [10].)Let sequences {an}, {bn} satisfy that
3. Convergence Theorems
Lemma 6. Let (X, d) be a CAT(0) space and let C be a nonempty convex subset of X. Let T : C → C be an uniformly L-Lipschitzian mapping and let {αn}, {βn} be sequence in [0,1]. Define the iteration scheme {xn} as Algorithm 3. Then
Proof. Let Cn = d(xn, Tnxn). We have
Theorem 7. Let (X, d) be a complete CAT(0) space, let C be a nonempty bounded closed convex subset of X, and let T : C → C be a completely continuous and uniformly L-Lipschitzian and asymptotically demicontractive with sequence {an}, an ∈ [1, ∞), , ε ≤ αn ≤ 1 − k − ε, for all n ∈ ℕ and some ε > 0. Given x0 ∈ C, define the iteration scheme {xn} by
Proof. Since T is a completely continuous mapping in a bounded closed convex subset C of complete metric space, from Schauder′s theorem, F(T) is nonempty. It follows from (CN*) inequality that
Corollary 8. Let (X, d) be a complete CAT(0) space, let C be a nonempty bounded closed convex subset of X, and let T : C → C be a completely continuous and uniformly L-Lipschitzian and k-strict asymptotically pseudocontractive with sequence {an}, an ∈ [1, ∞), , and ε ≤ αn ≤ 1 − k − ε, for all n ∈ ℕ and some ε > 0. Given x0 ∈ C, define the iteration scheme {xn} by
Proof. By Definition 2, T is k-strict asymptotically pseudocontractive; then T must be asymptotically demicontractive. Therefore, Corollary 8 can be proved by using Theorem 7.
Lemma 9. Let (X, d) be a CAT(0) space and let C be a nonempty convex subset of X. Let T : C → C be an uniformly L-Lipschitzian and asymptotically hemicontractive with sequence {an}⊂[1, ∞), for all n ∈ ℕ, and F(T) is nonempty. Define the iteration scheme {xn} as follows:
Proof. It follows from (CN*) inequality that
Lemma 10. Let (X, d) be a CAT(0) space and let C be a nonempty bounded convex subset of X. Let T : C → C be a uniformly L-Lipschitzian and asymptotically hemicontractive with sequence {an}⊂[1, ∞), for all n ∈ ℕ and . Let F(T) be nonempty. Given x1 ∈ C, define the iteration scheme {xn} by
Proof. First, we will prove lim n→∞d(xn, Tnxn) = 0. From Lemma 9 and 0 ≤ αn ≤ βn, we have
Let D = 1 − 2b − L2b2 > 0. Since lim n→∞an = 1, there exists N ∈ ℕ such that
Theorem 11. Let (X, d) be a complete CAT(0) space, let C be a nonempty bounded closed convex subset of X, and let T : C → C be a completely continuous and uniformly L-Lipschitzian and asymptotically hemicontractive with sequence {an}⊂[1, ∞) satisfying , for all n ∈ ℕ. Given x1 ∈ C, define the iterative scheme {xn} by
Proof. Since T is a completely continuous mapping in a bounded closed convex subset C of complete metric space, from Schauder′s theorem, F(T) is nonempty. Since T is completely continuous, there exist a convergent subset of {Txn}. Let
Corollary 12. Let (X, d) be a complete CAT(0) space, let C be a nonempty bounded closed convex subset of X, and let T : C → C be a completely continuous and uniformly L-Lipschitzian and asymptotically pseudocontractive with sequence {an}⊂[1, ∞) satisfying , for all n ∈ ℕ. Given x1 ∈ C, define the iterative scheme {xn} by
4. Some Remarks and Open Problems
It is easy to see that if a semigroup S is left (resp., right) amenable, then the semigroup S′ = S ∪ {e}, where es′ = s′e = s′ for all s′ ∈ S is also left (resp., right) amenable and conversely.
A semigroup S is called left reversible if any two right ideals of S have nonvoid intersection, that is, aS∩bS ≠ ∅ for a, b ∈ S. In this case, (S, ⪯) is a directed system when the binary relation “⪯” on S is defined by a⪯b if and only if {a} ∪ aS⊇{b} ∪ bS for a, b ∈ S. It is easy to see that t⪯ts for all t, s ∈ S. Further, if t⪯s, then pt⪯ps for all p ∈ S. The class of left reversible semigroup includes all groups and commutative semigroups. If a semigroup S is left amenable, then S is left reversible. But the converse is not true ([31, 37–41]).
Open Problem 1. It will be interesting to obtain a generalization of both Theorems 7 and 11 to commutative, amenable, and reversible semigroups as in the case of Hilbert spaces or some Banach spaces (cf. [8, 30, 32, 42–45]).
For a real number κ, a CAT(κ) space is defined by a geodesic metric space whose geodesic triangle is sufficiently thinner than the corresponding triangle in a model space with curvature κ.
For κ = 0, the 2-dimensional model space is the Euclidean space ℝ2 with the metric induced from the Euclidean norm. For κ > 0, is the 2-dimensional sphere whose metric is length of a minimal great arc joining each two points. For κ < 0, is the 2-dimensional hyperbolic space with the metric defined by a usual hyperbolic distance. For more details about the properties of CAT(κ) spaces, see [4, 46–48].
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The author would like to thank Professor A. T.-M Lau and Professor J. K. Kim for their helpful suggestions. Also, special thanks are due to the referees for their deep insight which improved the presentation of this paper. This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (2012R1A1A4A01010526).