A New Composite General Iterative Scheme for Nonexpansive Semigroups in Banach Spaces
Abstract
We introduce a new general composite iterative scheme for finding a common fixed point of nonexpansive semigroups in the framework of Banach spaces which admit a weakly continuous duality mapping. A strong convergence theorem of the purposed iterative approximation method is established under some certain control conditions. Our results improve and extend announced by many others.
1. Introduction
- (i)
T(0)x = x for all x ∈ C;
- (ii)
T(s + t) = T(s)∘T(t) for all s, t ∈ ℝ+;
- (iii)
for each x ∈ C the mapping t ↦ T(t)x is continuous;
- (iv)
∥T(t)x − T(t)y∥≤∥x − y∥ for all x, y ∈ C and t ∈ ℝ+.
We denote by F(𝒮) the set of all common fixed points of 𝒮, that is, . We know that F(𝒮) is nonempty if C is bounded; see [2]. Recall that a self-mapping f : C → C is a contraction if there exists a constant α ∈ (0,1) such that ∥f(x) − f(y)∥≤α∥x − y∥ for each x, y ∈ C. As in [3], we use the notation ∏C to denote the collection of all contractions on C, that is, ∏C = {f : C → C a contraction}. Note that each f ∈ ∏C has a unique fixed point in C.
In this paper, motivated by Yao et al. [10], Sunthrayuth, and Kumam [12] and Kumam and Wattanawitoon [13] we introduce a new general iterative algorithm (3.23) for finding a common point of the set of solution of some variational inequality for nonexpansive semigroups in Banach spaces which admit a weakly continuous duality mapping and then proved the strong convergence theorem generated by the proposed iterative scheme. The results presented in this paper improve and extend some others from Hilbert spaces to Banach spaces and some others as special cases.
2. Preliminaries
Throughout this paper, we write xn⇀x (resp., xn⇀*x) to indicate that the sequence {xn} weakly (resp., weak*) converges to x; as usual xn → x will symbolize strong convergence; also, a mapping I denote the identity mapping. Let X be a real Banach space, and let X* be its dual space. Let U = {x ∈ X : ∥x∥ = 1}. A Banach space X is said to be uniformly convex if, for each ϵ ∈ (0,2], there exists a δ > 0 such that for each x, y ∈ U, ∥x − y∥≥ϵ implies ∥x + y∥/2 ≤ 1 − δ. It is known that a uniformly convex Banach space is reflexive and strictly convex (see also [15]). A Banach space is said to be smooth if the limit lim t→0∥x + ty∥−∥x∥/t exists for each x, y ∈ U. It is also said to be uniformly smooth if the limit is attained uniformly for x, y ∈ U.
Browder [16] initiated the study of certain classes of nonlinear operators by means of the duality mapping Jφ. Following Browder [16], we say that Banach space X has a weakly continuous duality mapping if there exists a gauge function φ for which the duality mapping Jφ(x) is single-valued and continuous from the weak topology to the weak* topology; that is, for each {xn} with xn⇀x, the sequence {J(xn)} converges weakly* to Jφ(x). It is known that lp has a weakly continuous duality mapping with a gauge function φ(t) = tp−1 for all 1 < p < ∞. Set , for all t ≥ 0; then Jφ(x) = ∂Φ(∥x∥), where ∂ denotes the subdifferential in the sense of convex analysis (recall that the subdifferential of the convex function ϕ : X → ℝ at x ∈ X is the set ∂ϕ(x) = {x* ∈ X; ϕ(y) ≥ ϕ(x)+〈x*, y − x〉, for all y ∈ X}).
The first part of the next lemma is an immediate consequence of the subdifferential inequality and the proof of the second part can be found in [18].
Lemma 2.1 (see [18].)Assume that a Banach space X has a weakly continuous duality mapping Jφ with gauge φ.
- (i)
For all x, y ∈ X, the following inequality holds:
(2.4)In particular, for all x, y ∈ X,
- (ii)
Assume that a sequence {xn} in X converges weakly to a point x ∈ X. Then the following identity holds:
Lemma 2.2 (see [17].)Assume that a Banach space X has a weakly continuous duality mapping Jφ with gauge φ. Let A be a strongly positive linear bounded operator on X with a coefficient and 0 < ρ ≤ φ(1)∥A∥−1. Then .
Lemma 2.3 (see [11].)Let C be a closed convex subset of a uniformly convex Banach space X and let 𝒮 = {T(t) : t ∈ ℝ+} be a nonexpansive semigroup on C such that F(𝒮) ≠ ∅. Then, for each r > 0 and h ≥ 0,
Lemma 2.4 (see [19].)Assume that {an} is a sequence of nonnegative real numbers such that
- (i)
;
- (ii)
limsup n→∞(δn/μn) ≤ 0 or .
3. Main Results
Remark 3.1. We note that space lp has a weakly continuous duality mapping with a gauge function φ(t) = tp−1 for all 1 < p < ∞. This shows that φ is invariant on [0,1].
Lemma 3.2. Let X be a uniformly convex Banach space which admits a weakly continuous duality mapping Jφ with gauge φ such that φ is invariant on [0,1], and let C be a nonempty closed convex subset of X such that C ± C ⊂ C. Let 𝒮 = {T(t) : t ∈ ℝ+} be a nonexpansive semigroup from C into itself such that F(𝒮) ≠ ∅, let f be a contraction mapping with a coefficient α ∈ (0,1), let A be a strongly positive linear bounded operator with a coefficient such that , and let t ∈ (0,1) such that t ≤ φ(1)∥A∥−1 which satisfies t → 0. Then the net {xt} defined by (3.3) with {λt} 0<t<1 is a positive real divergent sequence, converges strongly as t → 0 to a common fixed point x*, in which x* ∈ F(𝒮), and is the unique solution of the variational inequality:
Proof. Firstly, we show the uniqueness of a solution of the variational inequality (3.4). Suppose that are solutions of (3.4); then
Next, we show that {xt} is bounded. Indeed, for each p ∈ F(𝒮), we have
Next, we show that ∥xt − T(h)xt∥→0 as t → 0. We note that
It follows that , for all z ∈ C. From (3.12), we have
Next, we show that solves the variational inequality (3.4), for each x ∈ F(𝒮). From (3.3), we derive that
Theorem 3.3. Let X be a uniformly convex Banach space which admits a weakly continuous duality mapping Jφ with the gauge function φ such that φ is invariant in [0,1], and let C be a nonempty closed convex subset of X such that C ± C ⊂ C. Let 𝒮 = {T(t) : t ∈ ℝ+} be a nonexpansive semigroup from C into itself such that F(𝒮) ≠ ∅, let f be a contraction mapping with a coefficient α ∈ (0,1), and let A be a strongly positive linear bounded operator with a coefficient such that . Let be the sequences in (0,1) and let be a positive real divergent sequence. Assume that the following conditions hold:
- (C1)
lim n→∞ α_n = 0 and ,
- (C2)
lim n→∞γn = 0,
- (C3)
βn = o(αn),
Proof. From the condition (C1), we may assume, with no loss of generality, that αn ≤ φ(1)∥A∥−1 for each n ≥ 0. From Lemma 2.2, we have .
Firstly, we show that {xn} is bounded. Let p ∈ F(𝒮); we get
Next, we show that lim n→∞∥xn − T(h)xn∥ = 0, for all h ≥ 0. From (3.23), we note that
It follows that H(z) = H(x) + Φ(∥z − x∥), for all z ∈ C.
From (3.31), we have
This implies that T(h)x = x; that is, x ∈ F(𝒮).
Since the duality map Jφ is single-valued and weakly continuous, we get that
Put and δn∶ = αn[〈γf(x*) − Ax*, Jφ(yn − x*)〉+(βn/αn)M]. Then (3.41) reduces to formula Φ(∥xn+1 − x*∥)≤(1 − μn)Φ(∥xn − x*∥) + δn. By conditions (C1) and (C3) and noting (3.38), it is easy to see that and . Applying Lemma 2.4, we obtain Φ(∥xn − x*∥) → 0 as n → ∞ this implies that xn → x* as n → ∞. This completes the proof.
Taking γn = 0 in (3.23), we can get the following corollary easily.
Corollary 3.4. Let X be a uniformly convex Banach space which admits a weakly continuous duality mapping Jφ with the gauge function φ such that φ invariant in [0,1], C be a nonempty closed convex subset of X such that C ± C ⊂ C. Let 𝒮 = {T(t) : t ∈ ℝ+} be a nonexpansive semigroup from C into itself such that F(𝒮) ≠ ∅, f be a contraction mapping with a coefficient α ∈ (0,1) and A be a strongly positive linear bounded operator with a coefficient such that . Let be the sequences in (0,1) and be a positive real divergent sequence. Assume the following conditions are hold:
- (C1)
lim n→∞αn = 0 and ;
- (C2)
βn = o(αn).
A strong mean convergence theorem for nonexpansive mapping was first established by Baillon [20] and it was generalized to that for nonlinear semigroups by Reich et al. [21–23]. It is clear that Theorem 3.3 are valid for nonexpansive mappings. Thus, we have the following mean ergodic theorem of viscosity iteration process for nonexpansive mappings in Hilbert spaces.
Corollary 3.5. Let H be a real Hilbert space, and letC be a nonempty closed convex subset of H such that C ± C ⊂ C. Let T be a nonexpansive mapping from C into itself such that F(T) ≠ ∅, f be a contraction mapping with a coefficient α ∈ (0,1), and let A be a strongly positive linear bounded operator with a coefficient such that . Let be the sequences in (0,1) and let be a positive real divergent sequence. Assume that the following conditions are hold:
- (C1)
lim n→∞αn = 0 and ;
- (C2)
lim n→∞γn = 0;
- (C3)
βn = o(αn).
Acknowledgments
The authors are grateful for the reviewers for the careful reading of the paper and for the suggestions which improved the quality of this work. They would like to thank the National Research University Project of Thailand′s Office of the Higher Education Commission for financial support under NRU-CSEC project no. 54000267.