Implicit Ishikawa Approximation Methods for Nonexpansive Semigroups in CAT(0) Spaces
Abstract
This paper is devoted to the convergence of the implicit Ishikawa iteration processes for approximating a common fixed point of nonexpansive semigroup in CAT(0) spaces. We obtain the Δ-convergence results of the implicit Ishikawa iteration sequences for a family of nonexpansive mappings in CAT(0) spaces. Under certain and different conditions, we also get the strong convergence theorems of implicit Ishikawa iteration sequences for nonexpansive semigroups in the CAT(0) spaces. The results presented in this paper extend and generalize some previous results.
1. Introduction
- (1)
T(s + t)x = T(s)(T(t)x) for all x ∈ K and s, t ≥ 0;
- (2)
T(t) : K → K is nonexpansive for each t ≥ 0;
- (3)
for each x ∈ K, the mapping T(·)x from ℝ+ to K is continuous.
A geodesic from x to y in X is a mapping Ψ from a closed interval [0, l] ⊂ ℝ to X such that Ψ(0) = x, Ψ(l) = y, and d(Ψ(t), Ψ(t′)) = |t − t′| for all t, t′ ∈ [0, l]. In particular, Ψ is an isometry and d(x, y) = l. The image Θ of Ψ is called a geodesic (or metric) segment joining x and y. The space (X, d) is said to be a geodesic space if any 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 any x, y ∈ X, which is denoted by [x, y] and is called the segment joining x and y. A subset K of a geodesic space X is said to be convex if for any x, y ∈ K, [x, y] ⊂ K.
A geodesic triangle Δ(x1, x2, x3) in a geodesic metric space (X, d) consists of three points x1, x2, x3 in X (the vertices of Δ) and 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 all i, j ∈ {1,2, 3}. It is known that such a triangle always exists (see [3]). A geodesic space is said to be a CAT(0) space if all geodesic triangles of appropriate size satisfy the following comparison axiom (CA).
2. Definitions and Lemmas
- (i)
r({xn}) = inf {r(x, xn) : x ∈ X} is called the asymptotic radius of {xn};
- (ii)
rK({xn}) = inf {r(x, xn) : x ∈ K} is called the asymptotic radius of {xn} with respect to K;
- (iii)
the set A({xn}) = {x ∈ X : r(x, {xn}) = r({xn})} is called the asymptotic center of {xn};
- (iv)
the set AK({xn}) = {x ∈ K : r(x, {xn}) = rK({xn})} is called the asymptotic center of {xn} with respect to K.
Definition 1 (see [12], [26].)A sequence {xn} in a CAT(0) space X is said to be Δ-convergent to a point x in X, if x is the unique asymptotic center of for all subsequences . In this case, we write Δ-lim n→∞xn = x, and x is called the Δ-limit of {xn}.
For the sake of convenience, we restate the following lemmas that shall be used.
Lemma 2 (see [10].)Let (X, d) be a CAT(0) space. Then,
Lemma 3 (see [10].)Let (X, d) be a CAT(0) space. Then,
Lemma 4 (see [10].)Let K be a closed convex subset of a complete CAT(0) space and T : K → K be a nonexpansive mapping. Suppose that {xn} is a bounded sequence in K such that lim n→∞d(xn, Txn) = 0 and {d(xn, p)} converges for all p ∈ F(T). Then, , where the union is taken over all subsequences of {xn}. Moreover, ωw(xn) consists of exactly one point.
Lemma 5 (see [6].)Let {zn} and {wn} be bounded sequences in a CAT(0) space X. Let {αn} be a sequence in [0,1] such that 0 < liminf n→∞αn ≤ limsup n→∞αn < 1. Define zn+1 = αnzn ⊕ (1 − αn)wn for all n ∈ ℕ and suppose that
3. Main Results
It is necessary for us to show that the implicit Ishikawa iteration sequences generated by schemes (10) and (11) are well defined, before providing the main results of this present paper.
Lemma 6. Let K be a nonempty, closed, and convex subset of a complete CAT(0) space X and Tn : K → K be nonexpansive mappings. Suppose that {αn}⊂(0,1] and {θn}⊂[0,1] are given parameter sequences. Then, the sequence {xn} generated by the implicit Ishikawa iteration process (10) is well defined.
Proof. For each n ∈ ℕ and any given u ∈ K, define a mapping Sn+1 : K → K by
We need the following lemma for our main results. The analogs of [6, Lemma 3.1] and [27, Lemma 2.2] are given in what follows. We sketch the proof here for the convenience of the reader.
Lemma 7. Let K be a nonempty, closed, and convex subset of a complete CAT(0) space X and Tn : K → K be nonexpansive mappings. Let {αn}⊂(0,1] and {θn}⊂[0,1] be given sequences such that 0 < liminf n→∞αn ≤ limsup n→∞αn < 1. Suppose that {xn} generated by (10) is bounded and either
Proof. First, we show that the boundedness of {xn} implies the boundedness of {Tnxn}. If {xn} is bounded, then set
Next, we prove the conclusion of Lemma 7. If lim n→∞d(Tn+1xn+1, Tnxn+1) = 0, then we have
As a direct consequence of Lemma 7, the following lemma is immediate.
Lemma 8. Let K be a nonempty, closed, and convex subset of a complete CAT(0) space X and Tn : K → K be nonexpansive mappings. Let {αn}⊂(0,1] and {θn}⊂[0,1] be given sequences such that 0 < liminf n→∞αn ≤ limsup n→∞αn < 1. Suppose that {xn} generated by (10) is bounded and
We now present our main results in this paper. The following theorem discusses the Δ-convergence of the implicit Ishikawa iteration sequence (10) for a family of nonexpansive mappings in CAT(0) spaces.
Theorem 9. Let K be a nonempty, closed, and convex subset of a complete CAT(0) space X and Tn : K → K be uniformly asymptotically regular and nonexpansive mappings such that . Let {αn}⊂(0,1] and {θn}⊂[0,1] be given sequences such that 0 < liminf n→∞αn ≤ limsup n→∞αn < 1. Then, the sequence {xn} generated by (10) is well defined. Suppose that either
Proof. By Lemma 6, we know that the sequence {xn} generated by (10) is well defined. For any , from (10) and Lemma 2, we have
It follows from (10) and (21) that for sufficiently large n ∈ ℕ,
We prove that for each i ∈ ℕ, lim n→∞d(xn+1, Tixn+1) = 0. Since
Since {d(xn, p)} converges for any , an application of Lemma 4 yields that ωw(xn) consists of exactly one point and is contained in F(Ti), for all i ∈ ℕ. This shows that {xn} Δ-converges to some point in . This completes the proof.
In the special case where θn ≡ 0, from Theorem 9, we have the following corollary.
Corollary 10 (see [6], Theorem 3.4.)Let K be a nonempty, closed, and convex subset of a complete CAT(0) space X and Tn : K → K be uniformly asymptotically regular and nonexpansive mappings such that . Let {αn}⊂(0,1] be a given sequence of real numbers such that 0 < liminf n→∞αn ≤ limsup n→∞αn < 1. Let {xn} be a sequence defined by
Remark 11. Theorem 9 extends and improves [6, Theorem 3.4] from the explicit Mann iteration schemes to the implicit Ishikawa iteration schemes.
By Lemma 8 and Theorem 9, the following theorem holds trivially.
Theorem 12. Let K be a nonempty, closed, and convex subset of a complete CAT(0) space X and Tn : K → K be uniformly asymptotically regular and nonexpansive mappings such that . Let {αn}⊂(0,1] and {θn}⊂[0,1] be given sequences such that 0 < liminf n→∞αn ≤ limsup n→∞αn < 1. Then, the sequence {xn} generated by (10) is well defined. Suppose that
Finally, we study the strong convergence of the implicit Ishikawa iteration sequence (11) for nonexpansive semigroups in CAT(0) spaces, under various and appropriate conditions.
Theorem 13. Let C be a compact convex subset of a complete CAT(0) space and Γ = {T(t) : t ∈ ℝ+} be a nonexpansive semigroup on C. Let {αn}⊂(0,1] and {θn}⊂[0,1] be given sequences of real numbers such that 0 < liminf n→∞αn ≤ limsup n→∞αn < 1. Then, the sequence {xn} generated by the implicit Ishikawa iteration process (11) is well defined. Suppose that {tn} is a sequence in ℝ+ such that
Proof. It is known that F(Γ) is nonempty (see [1, 2, 28]). From Lemma 6, we know that the sequence {xn} generated by (11) is well defined. Then, we show that
Similar to the proof of [6, Theorem 3.5], it is easy to see that there exists a subsequence which converges to x*, where x* is a common fixed point in F(Γ). Since x* is a cluster of {xn}, we have liminf n→∞d(xn, x*) = 0. It follows from (11) and (30) that lim n→∞d(xn, x*) exists. Hence, we obtain lim n→∞d(xn, x*) = 0, which completes the proof.
Remark 14. The proof of Theorem 13 is an analog of [6, Theorem 3.5]. If αn ≡ λ ∈ (0,1) and θn ≡ 0, then Theorem 13 reduces to [6, Theorem 3.5]. Therefore, Theorem 13 extends and generalizes [6, Theorem 3.5] from the explicit Mann iteration processes to the implicit Ishikawa iteration processes.
We prove another strong convergence theorem which differs from Theorem 13.
Theorem 15. Let C be a compact convex subset of a complete CAT(0) space and Γ = {T(t) : t ∈ ℝ+} be a nonexpansive semigroup on C. Let {αn}⊂(0,1] and {θn}⊂[0,1] be given sequences. Then, the sequence {xn} generated by the implicit Ishikawa iteration process (11) is well defined. Moreover, if
Proof. It is known that F(Γ) is nonempty (see [1, 2, 28]). From Lemma 6, we know that {xn} generated by (11) is well defined.
Claim 1. If {rn} is a sequence of nonnegative real numbers such that lim n→∞rn = 0, then
Claim 2. Consider that lim n→∞d(xn+1, T(t)xn+1) = 0. Since C is a compact convex subset of X, there exists a subsequence such that as j → ∞. It follows from (11) and Lemma 2 that
Remark 16. If X is a Banach space, the notation “βx ⊕ (1 − β)y” with β ∈ [0,1] is replaced by “βx + (1 − β)y” and θn ≡ 1, then Theorem 15 reduces to [19, Theorem 2.3]. Therefore, Theorem 15 extends and generalizes [19, Theorem 2.3] from the implicit Mann iteration processes in the Banach spaces to the implicit Ishikawa iteration processes in CAT(0) spaces.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (11101069 and 11026063) and the Open Fund (PLN1104 and PLN1102) of State Key Laboratory of Oil and Gas Reservoir Geology and Exploitation (Southwest Petroleum University).