On the Convergence of Iterative Processes for Generalized Strongly Asymptotically ϕ-Pseudocontractive Mappings in Banach Spaces
Abstract
We prove the equivalence and the strong convergence of iterative processes involving generalized strongly asymptotically ϕ-pseudocontractive mappings in uniformly smooth Banach spaces.
1. Introduction
Throughout this paper, we assume that X is a uniformly convex Banach space and X* is the dual space of X. Let J denote the normalized duality mapping form X into given by J(x) = {f ∈ X* : 〈x, f〉 = ∥x∥2 = ∥f∥2} for all x ∈ X, where 〈·, ·〉 denotes the generalized duality pairing. It is well known that if X is uniformly smooth, then J is single valued and is norm to norm uniformly continuous on any bounded subset of X. In the sequel, we will denote the single valued duality mapping by j.
In 1967, Browder [1] and Kato [2], independently, introduced accretive operators (see, for details, Chidume [3]). Their interest is connected with the existence of results in the theory of nonlinear equations of evolution in Banach spaces.
In 1972, Goebel and Kirk [4] introduced the class of asymptotically nonexpansive mappings as follows.
Definition 1.1. Let K be a subset of a Banach space X. A mapping T : K → K is said to be asymptotically nonexpansive if for each x, y ∈ K
This class is more general than the class of nonexpansive mappings as the following example clearly shows.
Example 1.2 (see [4].)If B is the unit ball of l2 and T : B → B is defined as
In 1974, Deimling [5], studying the zeros of accretive operators, introduced the class of φ-strongly accretive operators.
Definition 1.3. An operator A defined on a subset K of a Banach space X is said, φ-strongly accretive if
Note that in the special case in which φ(t) = kt, k ∈ (0,1), we obtain a strongly accretive operator.
Osilike [6], among the others, proved that Ax = x − (x/(x + 1)) in ℝ+ is φ-strongly accretive where φ(t) = (t2/(1 + t)) but not strongly accretive.
Recently, has been also studied the following class of maps.
Definition 1.4. A mapping T is a generalized ϕ-strongly pseudocontractive mapping if
Choosing ϕ(t) = φ(t)t, we obtain Definition 1.3. In [7], Xiang remarked that it is a open problem if every generalized ϕ-strongly pseudocontractive mapping is φ-pseudocontractive mapping. In the same paper, Xiang obtained a fixed-point theorem for continuous and generalized ϕ-strongly pseudocontractive mappings in the setting of the Banach spaces.
In 1991, Schu [8] introduced the class of asymptotically pseudocontractive mappings.
Definition 1.5 (see [8].)Let X be a normed space, K ⊂ X and {kn} n ⊂ [1, ∞). A mapping T : K → K is said to be asymptotically pseudocontractive with the sequence {kn} n if and only if lim n→∞kn = 1, and for all n ∈ ℕ and all x, y ∈ K, there exists j(x − y) ∈ J(x − y) such that
Obviously every asymptotically nonexpansive mapping is asymptotically pseudocontractive, but the converse is not valid; it is well known that T : [0,1]→[0,1] defined by is not Lipschitz but asymptotically pseudocontractive [9].
In [8], Schu proved the following.
Theorem 1.6 (see [8].)Let H be a Hilbert space and A ⊂ H closed and convex; L > 0; T : A → A completely continuous, uniformly L-Lipschitzian, and asymptotically pseudocontractive with sequence {kn} n ∈ [1, ∞); qn : = 2kn − 1 for all n ∈ ℕ; ; {αn} n, {βn} n ∈ [0,1]; ϵ ≤ αn ≤ βn ≤ b for all n ∈ ℕ, some ϵ > 0 and some ; x1 ∈ A; for all n ∈ ℕ, define
Until 2009, no results on fixed-point theorems for asymptotically pseudocontractive mappings have been proved. First, Zhou in [10] completed this lack in the setting of Hilbert spaces proving a fixed-point theorem for an asymptotically pseudocontractive mapping that is also uniformly L-Lipschitzian and uniformly asymptotically regular and that the set of fixed points of T is closed and convex. Moreover, Zhou proved the strong convergence of a CQ-iterative method involving this kind of mappings.
In this paper, our attention is on the class of the generalized strongly asymptotically ϕ-pseudocontraction defined as follows.
Definition 1.7. If X is a Banach space and K is a subset of X, a mapping T : K → K is said to be a generalized asymptotically ϕ-strongly pseudocontraction if
- (i)
if T has fixed points, then it is unique. In fact, if x, z are fixed points for T, then for every n ∈ ℕ,
()so passing n to +∞, it results that()Since ϕ : [0, ∞)→[0, ∞) is strictly increasing and ϕ(0) = 0, then x = z. - (ii)
the mapping Tx = x/(x + 1), where x ∈ [0,1], is generalized asymptotically strongly ϕ-pseudocontraction with kn = 1, for all n ∈ ℕ and ϕ(t) = s3/(1 + s). However, T is not strongly pseudocontractive; see [6].
We study the equivalence between three kinds of iterative methods involving the generalized asymptotically strongly ϕ-pseudocontractions.
Moreover, we prove that these methods are equivalent and strongly convergent to the unique fixed point of the generalized strongly asymptotically ϕ-pseudocontraction T, under suitable hypotheses.
These kind of iterative processes (also called by Chang iterative processes with errors) have been developed in [15–18], while equivalence theorem for Mann and Ishikawa methods has been studied, in [19, 20], among the others.
In [21], Huang established equivalences between convergence of the modified Mann iteration process with errors (1.15) and convergence of modified Ishikawa iteration process with errors (1.14) for strongly successively ϕ-pseudocontractive mappings in uniformly smooth Banach space.
In the next section, we prove that, in the setting of the uniformly smooth Banach space, if T is an asymptotically strongly ϕ-pseudocontraction, not only (1.14) and (1.15) are equivalent but also (1.16) is equivalent to the others. Moreover, we prove also that (1.14), (1.15), and (1.16) strongly converge to the unique fixed point of T, if it exists.
2. Preliminaries
We recall some definitions and conclusions.
Definition 2.1. X is said to be a uniformly smooth Banach space if the smooth module of X
Lemma 2.2 (see [22].)Let X be a Banach space, and let be the normalized duality mapping, then for any x, y ∈ X, one has
The next lemma is one of the main tools for our proofs.
Lemma 2.3 (see [21].)Let ϕ : [0, ∞) → [0, ∞) be a strictly increasing function with ϕ(0) = 0, and let {an} n, {bn} n, {cn} n, and {en} n be nonnegative real sequences such that
Lemma 2.4 (see [23].)Let {sn} n, {cn} n ⊂ ℝ+, {an} n ⊂ (0,1), and {bn} n ⊂ ℝ be sequences such that
- (1)
if bn ≤ βan (where β ≥ 0), then {sn} n is a bounded sequence;
- (2)
if one has ∑nan = ∞ and limsup nbn/an ≤ 0, then sn → 0 as n → ∞.
Remark 2.5. If in Lemma 2.3 choosing en = 0, for all n, ϕ(t) = kt2 (k < 1), then the inequality (2.4) becomes
3. Main Results
The ideas of the proofs of our main Theorems take in to account the papers of Chang and Chidume et al. [11, 13, 24].
Theorem 3.1. Let X be a uniformly smooth Banach space, and let T : X → X be generalized strongly asymptotically ϕ-pseudocontractive mapping with fixed point x* and bounded range.
Let {xn} and {zn} be the sequences defined by (1.14) and (1.15), respectively, where {αn},{γn},{βn},{δn}⊂[0,1] satisfy
- (H1)
lim n→∞ αn = lim n→∞ βn = lim n→∞ δn = 0 and γn = o(αn),
- (H2)
,
Proof. First of all, we note that by boundedness of the range of T, of the sequences {wn}, {un} and by Lemma 2.4, it results that {zn} and {xn} are bounded sequences. So, we can set
In this case, we can prove that ∥zn − xn∥→0, that is, the thesis.
Firstly, we note that substituting (3.4) into (3.2), we have
Moreover, we observe that
Take such that n* = nk for a certain k.
We prove, by induction, that , for every i ∈ ℕ. Let i = 1. Suppose that .
By (3.6), we have
From (3.8), we obtain that
If there are only finite indices for which ∥zn+1 − xn+1∥−en ≤ 0, then definitively ∥zn+1 − xn+1∥−en ≥ 0. By the strict increasing function ϕ, we have definitively
Theorem 3.2. Let X be a uniformly smooth Banach space, and let T : X → X be generalized strongly asymptotically ϕ-pseudocontractive mapping with fixed point x* and bounded range.
Let {zn} and be the sequences defined by (1.15) and (1.16), respectively, where {αn},{γn}⊂[0,1] are null sequences satisfying
- (H1)
lim n→∞ αn = 0 and γn = o(αn),
- (H2)
,
Suppose moreover that the sequences {wn}, are bounded in X, then for any initial point , the following two assertions are equivalent:
Proof. As in Theorem 3.1, by the boundedness of the range of T and by Lemma 2.4, one obtains that our schemes are bounded. We define
- (i)
the set of indices for which contains infinite terms;
- (ii)
the set of indices for which contains finite terms.
We can prove that as n → ∞ proving that, for every i ≥ 0, the result is .
Let i = 1. If we suppose that , it results that
In (3.26), we note that
Theorem 3.3. Let X be a uniformly smooth Banach space, and let T : X → X be generalized strongly asymptotically ϕ-pseudocontractive mapping with fixed point x* and bounded range.
Let {zn} n be the sequences defined by (1.15) where {αn} n, {γn} n ⊂ [0,1] satisfy
- (i)
lim n→∞ αn = lim n→∞ γn = 0,
- (ii)
, .
Proof. Firstly, we observe that, by the boundedness of the range of T, of the sequence {wn} n, and by Lemma 2.4, we have that {zn} n is bounded.
By Lemma 2.2, we observe that
- (1)
μn → 0 as n → ∞. Indeed from the inequality
()and since j is norm to norm uniformly continuous, then j(∥zn+1 − x*∥) − j(∥zn − x*∥) → 0, as n → ∞, - (2)
inf n(∥zn − x*∥) = 0. Indeed, if we supposed that σ≔inf n(∥zn − x*∥) > 0, by the monotonicity of ϕ,
()Thus, by (1) and by the hypotheses on αn and kn, the value −αn[ϕ(∥zn − x*∥) − 2μn − (αn + 2(kn − 1))M] is definitively negative. In this case, we conclude that there exists N > 0 such that for every n > N,()and so()In the same way we obtain that()By the hypotheses ∑nγn < ∞ and ∑nαn = ∞, the previous is a contradiction, and it follows that inf n(∥zn − x*∥) = 0.
Now, we will prove that the sequence {zn} n converges to x*. Since the sequences in (3.37) are null sequences and ∑nγn < ∞, but ∑nαn = ∞, then, for every ϵ > 0, there exists an index such that for all , it results that
By (3.37), it results that
In the same manner, by induction, one obtains that, for every i ≥ 1, . So ∥zn − x*∥→0.
Corollary 3.4. Let X be a uniformly smooth Banach space, and let T : X → X be generalized strongly asymptotically ϕ-pseudocontractive mapping with bounded range and fixed point x*. The sequences {xn} n, {zn} n, and are defined by (1.14), (1.15), and (1.16), respectively, where the sequences {αn} n, {βn} n, {γn} n, {δn} n ⊂ [0,1] satisfy
- (i)
lim n→∞ αn = lim n→∞ βn = lim n→∞ δn = 0,
- (ii)
,