Volume 2012, Issue 1 563438
Research Article
Open Access

On the Convergence of Iterative Processes for Generalized Strongly Asymptotically ϕ-Pseudocontractive Mappings in Banach Spaces

Vittorio Colao

Corresponding Author

Vittorio Colao

Dipartimento di Matematica, Universitá della Calabria, 87036 Arcavacata di Rende (CS), Italy unical.it

Search for more papers by this author
First published: 30 November 2011
Citations: 3
Academic Editor: Yonghong Yao

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) = {fX* : 〈x, f〉 = ∥x2 = ∥f2} for all xX, 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 : KK is said to be asymptotically nonexpansive if for each x, yK

()
where {kn} n ⊂ [1, ) is a sequence of real numbers converging to 1.

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 : BB is defined as

()
where {ai} i ⊂ (0,1) is such that , it satisfies.
()

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

()
where φ : ++ is a strictly increasing function such that φ(0) = 0.

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.

Since an operator A is a strongly accretive operator if and only if (IA) is a strongly pseudocontractive mapping (i.e., 〈(IA)x − (IA)y,   j(xy)〉≤kxy2,  k < 1), taking in to account Definition 1.3, it is natural to study the class of φ-pseudocontractive mappings, that is, the maps such that
()
where φ : ++ is a strictly increasing function such that φ(0) = 0. Of course, the set of fixed points for these mappings contains, at most, only one point.

Recently, has been also studied the following class of maps.

Definition 1.4. A mapping T is a generalized ϕ-strongly pseudocontractive mapping if

()
where ϕ : ++ is a strictly increasing function such that ϕ(0) = 0.

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, KX and {kn} n ⊂ [1, ). A mapping T : KK is said to be asymptotically pseudocontractive with the sequence {kn} n if and only if lim nkn = 1, and for all n and all x, yK, there exists j(xy) ∈ J(xy) such that

()
where J is the normalized duality mapping.

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 AH closed and convex; L > 0; T : AA 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βnb for all n, some ϵ > 0 and some ; x1A; for all n, define

()
then {xn} n converges strongly to some fixed point of T.

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 : KK is said to be a generalized asymptotically ϕ-strongly pseudocontraction if

()
where {kn} n ⊂ [1, ) is converging to one and ϕ : [0, )→[0, ) is strictly increasing and such that ϕ(0) = 0.

One can note that
  • (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.

We will briefly introduce some of the results in the same line of ours. In 2001, [11] Chidume and Osilike proved the strong convergence of the iterative method
()
where ,  Sx = xTx + f (T a ϕ-strongly accretive operator), and fX, to a solution of the equation Tx = f.
In 2003, Chidume and Zegeye [12] studied the following iterative method:
()
where T is a Lipschitzian pseudocontractive map with fixed points. The authors proved the strong convergence of the method to a fixed point of T under suitable hypotheses on the control sequences (θn) n, (λn) n.
Taking in to account Chidume and Zegeye [12] and Chang [13], we introduce the modified Mann and Ishikawa iterative processes as follows: for any given x0X, the sequence {xn} n is defined by
()
where {αn} n, {γn} n, {βn} n, and {δn} n are four sequences in (0,1) satisfying the conditions αn + γn ≤ 1 and βn + δn ≤ 1 for all n ≥ 0.
In particular, if βn = δn = 0 for all n ≥ 0, we can define a sequence {zn} n by
()
which is called the modified Mann iteration sequence.
We also introduce an implicit iterative process as follows:
()
where {αn} n, {γn} n are two real sequences in [0,1] satisfying αn + γn ≤ 1 and αnkn < 1 for all n ≥ 1, is a sequence in X, and is an initial point.
The algorithm is well defined. Indeed, if T is a asymptotically strongly ϕ-pseudocontraction, one can observe that, for every fixed n, the mapping Sn defined by Snx : = (1 − αnγn)zn−1 + αnTnx + γwn is such that
()
that is, Sn is a strongly pseudocontraction, for every fixed n, then (see Theorem  13.1 in [14]) there exists a unique fixed point of Sn for each n.

These kind of iterative processes (also called by Chang iterative processes with errors) have been developed in [1518], 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

()
satisfies lim t→0ρX(t)/t = 0.

Lemma 2.2 (see [22].)Let X be a Banach space, and let be the normalized duality mapping, then for any x, yX, 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

()
Suppose that there exists an integer N1 > 0 such that
()
then lim nan = 0.

Proof. The proof is the same as in [21], but we substitute (an+1en) with |an+1en|, in (2.4).

Lemma 2.4 (see [23].)Let {sn} n, {cn} n+, {an} n ⊂ (0,1), and {bn} n be sequences such that

()
for all n ≥ 0. Assume that ∑n | cn | < , then the following results hold:
  • (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

()
Setting αn≔2bnk/(1 + 2bnk) and βncn/(1 + 2bnk) and by the hypotheses of Lemma 2.3, we get αn → 0 as n, ∑nαn = , and limsup nβn/αn = 0. That is, we reobtain Lemma 2.4 in the case of cn = 0.

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 : XX 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)

    ,

and the sequences {un},{vn},{wn} are bounded in X, then for any initial point z0, x0X, the following two assertions are equivalent:
  • (i)

    the modified Ishikawa iteration sequence with errors (1.14) converges to x*;

  • (ii)

    the modified Mann iteration sequence with errors (1.15) converges to x*.

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

()
By Lemma 2.2, we have
()
where σn = ∥j(zn+1xn+1) − j(znyn)∥. Using (1.14) and (1.15), we have
()
In view of the uniformly continuity of j, we obtain that σn → 0 as n. Furthermore, it follows from the definition of {yn} that for all n ≥ 0
()
()
so
()
Therefore, we have
()
where en = (βn + δn)M + 2(αn + γn)M. By (H1), we have that en → 0 as n. If ∥zn+1xn+1∥−en ≤ 0 for an infinite number of indices, we can extract a subsequence such that . For this subsequence, , as k.

In this case, we can prove that ∥znxn∥→0, that is, the thesis.

Firstly, we note that substituting (3.4) into (3.2), we have

()
where .

Moreover, we observe that

()
Thus, for every fixed ϵ > 0, there exists j1 such that for all j > j1
()
Since {αn} n, {(kn − 1)} n, {(βn + δn)} n, {σn} n, and {γn} n are null sequences (and in particular γn = o(αn)), for the previous fixed ϵ > 0, there exists an index N such that, for all nN,
()
for all n > N.

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

()
Thus, . Since ϕ is strictly increasing, .

From (3.8), we obtain that

()
One can note that
()
hence
()
In the same manner,
()
Thus,
()
So we have , which contradicts . By the same idea, we can prove that and then, by inductive step, , for all i. This is enough to ensure that ∥znxn∥→0.

If there are only finite indices for which ∥zn+1xn+1∥−en ≤ 0, then definitively ∥zn+1xn+1∥−en ≥ 0. By the strict increasing function ϕ, we have definitively

()
Again substituting (3.4) and (3.18) into (3.2) and simplifying, we have
()
Suppose that . It follows from lim nσn = 0, lim nen = 0, lim nkn = 1, and the hypothesis that we have, and cn = o(bn), en → 0 as n. By virtue of Lemma 2.3, we obtain that lim nan = 0. Hence, lim nznxn∥ = 0.

Theorem 3.2. Let X be a uniformly smooth Banach space, and let T : XX 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)

    ,

of Theorem 3.1 and such that αnkn < 1, for every n.

Suppose moreover that the sequences {wn}, are bounded in X, then for any initial point , the following two assertions are equivalent:

  • (i)

    the modified Mann iteration sequence with errors (1.15) converges to the fixed point x*,

  • (ii)

    the implicit iteration sequence with errors (1.16) converges to the fixed point x*.

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

()
By the iteration schemes (1.15) and (1.16), we have
()
where . By (1.15), we get
()
It follows from (H1) that as n, which implies that σn → 0 as n. Moreover, for all n ≥ 0,
()
Again by the boundedness of all components, we have that
()
and so
()
Hence, we have that , where en = 3(αn + γn)M. Note that en → 0 as n. As in proof of Theorem 3.1, we distinguish two cases:
  • (i)

    the set of indices for which contains infinite terms;

  • (ii)

    the set of indices for which contains finite terms.

In the first case, (i) we can extract a subsequence such that , as k. Substituting (3.23) in (3.21), we have that
()
where . Again by (3.23), for every ϵ > 0, there exists an index l such that if j > l,
()
By hypotheses on the control sequence, with the same ϵ > 0, there exists an index N such that definitively
()
So take n* > max  {nl, N} with n* = nj for a certain j.

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

()
so . In consequence of this, .

In (3.26), we note that

()
so
()
hence in (3.26) remains
()
as in Theorem 3.1. This is a contradiction. By the same idea, and using the inductive hypothesis, we obtain that , for every i ≥ 0. This ensures that . In the second case (ii), definitively, , then from the strictly increasing function ϕ, we have
()
Substituting (3.33) and (3.23) into (3.21) and simplifying, we have
()
By virtue of Lemma 2.3, we obtain that .

Theorem 3.3. Let X be a uniformly smooth Banach space, and let T : XX 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)

    , .

and the sequence {wn} n is bounded on X, then for any initial point z0X, the sequence {zn} n strongly converges to x*.

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

()
where μn : = 〈Tnznx*, j(zn+1x*) − j(znx*)〉. Let
()
We have
()
so we can observe that
  • (1)

    μn → 0 as n. Indeed from the inequality

    ()
    and since j is norm to norm uniformly continuous, then j(∥zn+1x*∥) − j(∥znx*∥) → 0, as n,

  • (2)

    inf n(∥znx*∥) = 0. Indeed, if we supposed that σ≔inf n(∥znx*∥) > 0, by the monotonicity of ϕ,

    ()
    Thus, by (1) and by the hypotheses on αn and kn, the value −αn[ϕ(∥znx*∥) − 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(∥znx*∥) = 0.

Then, there exists a subsequence of {zn} n that strongly converges to x*. This implies that for every ϵ > 0, there exists an index nk(ϵ) such that, for all jnk(ϵ), .

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

()
So, fixing ϵ > 0, let with n* = nj for a certain nj. We will prove, by induction, that for every i. Let i = 1. If not, it results that . Thus,
()
that is, . By the strict increasing of ϕ, .

By (3.37), it results that

()
We can note that
()
so
()
Moreover, , so it results that
()
This is a contradiction. Thus, .

In the same manner, by induction, one obtains that, for every i ≥ 1, . So ∥znx*∥→0.

Corollary 3.4. Let X be a uniformly smooth Banach space, and let T : XX 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)

    ,

and the sequences {un} n, {vn} n, {wn} n, and {wn} n are bounded in X. Then for any initial point x0, z0, z0X, the following two assertions are equivalent and true:
  • (i)

    the modified Ishikawa iteration sequence with errors (1.14) converges to the fixed point x*;

  • (ii)

    the modified Mann iteration sequence with errors (1.15) converges to the fixed point x*;

  • (iii)

    the implicit iteration sequence with errors (1.16) converges to the fixed point x*.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.