# Convergence theorems for fixed points of uniformly continuous Φ-pseudo-contractive-type operator

- Charles E Chidume
^{1}Email author, - Ngalla Djitté
^{1, 2}and - Jeremiah N Ezeora
^{1, 3}

**2013**:321

https://doi.org/10.1186/1687-1812-2013-321

© Chidume et al.; licensee Springer. 2013

**Received: **2 June 2013

**Accepted: **18 October 2013

**Published: **25 November 2013

## Abstract

Let *E* be a real normed linear space, let *K* be a nonempty convex subset of *E*, and let $T:K\to E$ be a uniformly continuous Φ-pseudo-contractive-type mapping. It is proved that both the Mann-type and Ishikawa-type iteration schemes converge strongly to the unique fixed point of *T*, without requiring that the sequences associated with the schemes be bounded. Our theorems are significant improvements on the results of Chang *et al.* (Iterative methods for nonlinear operators in Banach spaces, 2002), those of Gu (Northeast Math. J. 17(3):340-346, 2001), and those of a host of other authors.

**MSC:**47H06, 47H09, 47J05, 47J25.

### Keywords

strongly pseudo-contraction maps strongly*ϕ*-accretive maps uniformly continuous maps generalized Φ-accretive maps generalized Φ-quasi-accretive maps

## 1 Introduction

*E*be a real normed linear space. A mapping $J:E\to {2}^{{E}^{\ast}}$ defined by

*E*and those of ${E}^{\ast}$, is called the normalized duality map on

*E*. If ${E}^{\ast}$ is strictly convex, then

*J*is single-valued (see,

*e.g.*, [1] or [2]). An operator $A:D(A)\subseteq E\to E$ is called

*strongly accretive*if there exists some $k>0$ such that for each $x,y\in D(A)$, there exists $j(x-y)\in J(x-y)$ such that

*A*is said to be

*strongly*

*ϕ-accretive*if there exists a strictly increasing function $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ with $\varphi (0)=0$ such that for any $x,y\in D(A)$, there exists $j(x-y)\in J(x-y)$ satisfying

*A*is called

*generalized*Φ

*-accretive*if there exists a strictly increasing function $\mathrm{\Phi}:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ with $\mathrm{\Phi}(0)=0$ such that for any $x,y\in D(A)$, there exists $j(x-y)\in J(x-y)$ satisfying

It is well known that the class of generalized Φ-accretive mappings includes the class of strongly *ϕ*-accretive operators as a special case (one sets $\mathrm{\Phi}(s)=s\varphi (s)$ for all $s\in [0,\mathrm{\infty})$).

*A*is called

*strongly quasi-accretive*if there exists $k\in (0,1)$ such that for all $x\in D(A)$, ${x}^{\ast}\in N(A)$, there exists $j(x-{x}^{\ast})\in J(x-{x}^{\ast})$ satisfying

*A*is called

*strongly*

*ϕ-quasi-accretive*if there exists a strictly increasing function $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ with $\varphi (0)=0$ such that for all $x\in D(A)$, ${x}^{\ast}\in N(A)$, there exists $j(x-{x}^{\ast})\in J(x-{x}^{\ast})$ satisfying

*A*is called

*generalized*Φ

*-quasi-accretive*if there exists a strictly increasing function $\mathrm{\Phi}:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ with $\mathrm{\Phi}(0)=0$ such that for all $x\in E$, ${x}^{\ast}\in N(A)$, there exists $j(x-{x}^{\ast})\in J(x-{x}^{\ast})$ satisfying

*strongly pseudo-contractive*if for all $x,y\in E$, the following inequality holds:

for *all* $r>0$ and *some* $t>1$. If $t=1$ in inequality (1.7), then *T* is called *pseudo-contractive*. The relation between the class of accretive-type mappings and those of *pseudo-contractive type* is contained in the following proposition.

**Proposition 1.1** *A mapping* $T:E\to E$ *is strongly pseudo*-*contractive if and only if* $(I-T)$ *is strongly accretive*, *and is strongly* *ϕ*-*pseudo*-*contractive if and only if* $(I-T)$ *is strongly* *ϕ*-*accretive*. *The mapping* *T* *is generalized* Φ-*pseudo*-*contractive if and only if* $(I-T)$ *is generalized* Φ-*accretive*.

**Proposition 1.2** *If* $F(T):=\{x\in E:Tx=x\}\ne \mathrm{\varnothing}$, *the mapping* *T* *is strongly hemi*-*contractive if and only if* $(I-T)$ *is strongly quasi*-*accretive*; *it is* *ϕ*-*hemi*-*contractive if and only if* $(I-T)$ *is strongly* *ϕ*-*quasi*-*accretive*; *and* *T* *is generalized* Φ-*hemi*-*contractive if and only if* $(I-T)$ *is generalized* Φ-*quasi*-*accretive*.

The class of generalized Φ-hemi-contractive mappings is the most general (among those defined above) for which *T* has a unique fixed point.

Numerous convergence results have been proved on iterative methods for approximating zeros of *Lipschitz* Φ-strongly accretive type (or fixed points of Φ-strongly pseudo-contractive type) nonlinear mappings and their stability (see, *e.g.*, Chang *et al.* [3], Chidume [4, 5], Chidume and Zegeye [6], Deng and Ding [7], Shahzad and Zegeye [8] and the references contained therein). Also, many authors have proved convergence theorems under the assumption that these operators have *bounded range* (see, *e.g.*, Browder and Petryshyn [9], Hirano and Huang [10] and the references contained therein).

Some of these results have been extended to *uniformly continuous* mappings. The most general results for uniformly continuous Φ-pseudo-contractive-type and *ϕ*-hemi-contractive-type mappings seem to be the following theorems (see also [2], Chapter 9).

**Theorem G1** ([11], Theorem 2.1)

*Let*

*E*

*be a real normed linear space*,

*let*

*K*

*be a nonempty subset of*

*E*,

*and let*$T:K\to E$

*be a uniformly continuous*Φ-

*pseudo*-

*contractive*-

*type operator*,

*i*.

*e*.,

*there exist*${x}^{\ast}\in K$

*and a strictly increasing function*$\mathrm{\Phi}:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$, $\mathrm{\Phi}(0)=0$

*such that for all*$x\in K$,

*there exists*$j(x-{x}^{\ast})\in J(x-{x}^{\ast})$

*satisfying*

*If*${y}^{\ast}\in K$

*is a fixed point of*

*T*,

*then*${y}^{\ast}={x}^{\ast}$,

*and so*

*T*

*has at most one fixed point in K*; (b)

*Suppose that there exists*${x}_{0}\in K$

*such that both the Ishikawa iterative sequence*$\{{x}_{n}\}$

*with error and the auxiliary sequence*$\{{y}_{n}\}$

*defined by*

*are contained in* *K*, *where* $\{{u}_{n}\}$, $\{{v}_{n}\}$ *are two sequences in* *E* *and* $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ *are two sequences in* $[0,1]$ *satisfying the following conditions*: (i) ${\alpha}_{n},{\beta}_{n}\to 0$ ($n\to \mathrm{\infty}$) *and* $\sum {\alpha}_{n}=\mathrm{\infty}$; (ii) $\parallel {u}_{n}\parallel =o({\alpha}_{n})$ *and* $\parallel {v}_{n}\parallel \to 0$ ($n\to \mathrm{\infty}$). *If* $\{{x}_{n}\}$ *is a bounded sequence in* *K*, *then* $\{{x}_{n}\}$ *converges strongly to* ${x}^{\ast}$. *In particular*, *if* ${y}^{\ast}$ *is a fixed point of* *T* *in* *K*, *then* $\{{x}_{n}\}$ *converges strongly to* ${y}^{\ast}$.

**Theorem G2** ([11], Theorem 2.2)

*Let* *E* *be a real normed linear space*, *let* *K* *be a nonempty subset of* *E* *such that* $K+K\subset K$. *Let* $T:K\to K$ *be a uniformly continuous* Φ-*pseudo*-*contractive*-*type operator*.

*Let* $\{{u}_{n}\}$, $\{{v}_{n}\}$, $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ *be as in Theorem * G1. *For any given* ${x}_{0}\in K$, *the Ishikawa iterative sequence* $\{{x}_{n}\}$ *with errors is defined as in Theorem * G1. (a) *If* ${y}^{\ast}\in K$ *is a fixed point of* *T*, *then* ${y}^{\ast}={x}^{\ast}$, *and so* *T* *has at most one fixed point in* *K*; (b) *If* $\{{x}_{n}\}$ *is a bounded sequence*, *then* $\{{x}_{n}\}$ *converges strongly to* ${x}^{\ast}$. *In particular*, *if* ${y}^{\ast}$ *is a fixed point of* *T* *in* *K*, *then* $\{{x}_{n}\}$ *converges strongly to* ${y}^{\ast}$.

**Theorem CCZ1** ([3], Theorem 7.2.1)

*Let*

*E*

*be a real normed linear space*,

*let*

*K*

*be a nonempty convex subset of*

*E*

*such that*$K+K\subset K$,

*and let*$T:K\to K$

*be a uniformly continuous and*

*ϕ*-

*hemi*-

*contractive mapping*.

*Let*$\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$

*be two real sequences in*$(0,1)$

*satisfying the following conditions*: (i) ${\alpha}_{n},{\beta}_{n}\to 0$ ($n\to \mathrm{\infty}$); (ii) $\sum {\alpha}_{n}=\mathrm{\infty}$.

*Assume that*$\{{u}_{n}\}$, $\{{v}_{n}\}$

*are two sequences in*

*K*

*satisfying the following conditions*: ${u}_{n}={u}_{n}^{{}^{\prime}}+{u}_{n}^{{}^{\u2033}}$

*for any sequences*$\{{u}_{n}^{{}^{\prime}}\}$, $\{{u}_{n}^{{}^{\u2033}}\}$

*in*

*K*

*with*$\sum \parallel {u}_{n}^{{}^{\prime}}\parallel <\mathrm{\infty}$; $\parallel {u}_{n}^{{}^{\u2033}}\parallel =o({\alpha}_{n})$

*and*$\parallel {v}_{n}\parallel \to 0$

*as*$n\to \mathrm{\infty}$.

*Define the Ishikawa iterative sequence with mixed errors in*

*K*

*by*

*If* $\{T{y}_{n}\}$ *is bounded*, *then the sequence* $\{{x}_{n}\}$ *converges strongly to the unique fixed point of T*.

**Theorem CCZ2** ([3], Theorem 7.2.2)

*Let*

*E*

*be a real normed linear space*,

*and let*$T:E\to E$

*be a uniformly continuous and strongly*

*ϕ*-

*quasi*-

*accretive mapping*.

*Let*$\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$

*be two real sequences in*$(0,1)$

*satisfying the following conditions*:

*Let*$\{{u}_{n}\}$, $\{{v}_{n}\}$

*be as in Theorem*CCZ1.

*Define a mapping*$S:E\to E$

*by*$Sx:=x-Tx$

*for each*$x\in E$.

*For an arbitrary*${x}_{0}\in E$,

*define the Ishikawa iterative sequence*$\{{x}_{n}\}$

*with mixed errors by*

*If* $\{S{y}_{n}\}$ *is bounded*, *then the sequence* $\{{x}_{n}\}$ *converges strongly to the unique fixed point of* *T*.

**Remark 1.3** Theorems G1, G2, CCZ1 and CCZ2 are important generalizations of several results. We observe that the class of mappings considered in Theorems CCZ1 and CCZ2 is a *proper subclass* of the class of mappings studied in Theorems G1 and G2 in which $\mathrm{\Phi}(s)=s\varphi (s)$. However, the requirement that $\{{x}_{n}\}$ be bounded imposed in Theorems G1 and G2 is stronger than the requirement that $\{T{y}_{n}\}$ or $\{S{y}_{n}\}$ be bounded imposed in Theorems CCZ1 and CCZ2, respectively.

In Theorems G1 and G2 of [11], convergence of $\{{x}_{n}\}$ under other conditions of the theorems is guaranteed if the sequence $\{{x}_{n}\}$ is bounded.

**Remark 1.4** Similarly, the sequence $\{{x}_{n}\}$ defined in Theorem CCZ1 is guaranteed to converge if $\{T{y}_{n}\}$ is bounded. Finally, the sequence $\{{x}_{n}\}$ defined in CCZ2 is guaranteed to converge if $\{S{y}_{n}\}$ is bounded. The requirements that $\{{x}_{n}\}$, $\{T{y}_{n}\}$ and $\{S{y}_{n}\}$ be bounded before convergence in these theorems is guaranteed is a huge constraint in any possible application of these theorems. The verifications that these sequences are bounded are, in general, very difficult.

It is our purpose in this paper to prove that, under the hypotheses of these theorems, the requirements that $\{{x}_{n}\}$, $\{T{y}_{n}\}$ and $\{S{y}_{n}\}$ be bounded can be dispensed with. *In fact, we prove that these sequences are necessarily bounded*. We achieve this by using the lemma recently proved by Chidume and Chidume [12].

## 2 Preliminaries

In the sequel, we shall make use of the following results.

**Lemma 2.1**

*Let*

*E*

*be a real normed linear space*,

*and let*$J:E\to {2}^{{E}^{\ast}}$

*be the normalized duality map*.

*Then*,

*for any*$x,y\in E$,

*there exists*$j(x+y)\in J(x+y)$

*such that the following inequality holds*:

**Lemma 2.2** (Chidume and Chidume, [12])

*Let*

*X*

*and*

*Y*

*be real normed linear spaces*,

*and let*$T:X\to Y$

*be uniformly continuous*.

*For arbitrary*$r>0$

*and fixed*${x}^{\ast}\in X$,

*let*

*Then* $T(B({x}^{\ast},r))$ *is bounded*.

Since this lemma is new and is yet to be published, we reproduce its short proof here.

*Proof*By uniform continuity of

*T*and by taking $\u03f5=1$, there exists $\delta >0$ such that for all $x,y\in X$,

For $r>0$, let $z\in B({x}^{\ast},r)$ be arbitrary. Choose ${n}_{0}\in \mathbb{N}$ fixed such that $r<{n}_{0}\delta $.

*T*, $\parallel T{z}_{k+1}-T{z}_{k}\parallel <1$. Furthermore,

Hence, $T(B({x}^{\ast},r))$ is bounded. □

## 3 Main result

**Theorem 3.1** *Let* *E* *be a real normed linear space*, *let* *K* *be a nonempty subset of* *E*, *and let* $T:K\to E$ *be a uniformly continuous* Φ-*pseudo*-*contractive*-*type operator*. *Suppose that* ${\{{x}_{n}\}}_{n=0}^{\mathrm{\infty}}$ *is as defined in Theorem * G1, *then there exists* ${\gamma}_{0}>0$ *such that if* ${\alpha}_{n},{\beta}_{n},\frac{\parallel {u}_{n}\parallel}{{\alpha}_{n}}\le {\gamma}_{0}$ $\mathrm{\forall}n\ge 0$, *then* $\{{x}_{n}\}$ *is bounded*.

*Proof*We have

Then from (1.8) we obtain that $\parallel {x}_{0}-{x}^{\ast}\parallel \le {\mathrm{\Phi}}^{-1}({a}_{0})$.

By uniform continuity of *T*, there exists $\delta =\delta ({\u03f5}_{0})>0$ such that $\parallel x-y\parallel <\delta \Rightarrow \parallel Tx-Ty\parallel <{\u03f5}_{0}$.

**Claim** $\parallel {x}_{n}-{x}^{\ast}\parallel \le 2{\mathrm{\Phi}}^{-1}({a}_{0})$ $\mathrm{\forall}n\ge 0$.

The proof of this claim is by induction. Clearly it holds for $n=0$. Assume it holds for some $n\ge 0$, *i.e.*, $\parallel {x}_{n}-{x}^{\ast}\parallel \le 2{\mathrm{\Phi}}^{-1}({a}_{0})$. We prove that $\parallel {x}_{n+1}-{x}^{\ast}\parallel \le 2{\mathrm{\Phi}}^{-1}({a}_{0})$. Suppose this is not the case. Then $\parallel {x}_{n+1}-{x}^{\ast}\parallel >2{\mathrm{\Phi}}^{-1}({a}_{0})$. This implies that $\mathrm{\Phi}(\parallel {x}_{n+1}-{x}^{\ast}\parallel )>\mathrm{\Phi}(2{\mathrm{\Phi}}^{-1}({a}_{0}))$.

Hence, $\parallel {x}_{n+1}-{x}^{\ast}\parallel <\parallel {x}_{n}-{x}^{\ast}\parallel \le 2{\mathrm{\Phi}}^{-1}({a}_{0})$, a contradiction. So, $\{{x}_{n}\}$ is bounded. □

**Corollary 3.2** (Theorem G1 ([11], Theorem 2.1))

*Let*

*E*

*be a real normed linear space*,

*let*

*K*

*be a nonempty subset of*

*E*,

*and let*$T:K\to E$

*be a uniformly continuous*Φ-

*pseudo*-

*contractive*-

*type operator*,

*i*.

*e*.,

*there exist*${x}^{\ast}\in K$

*and a strictly increasing function*$\mathrm{\Phi}:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$, $\mathrm{\Phi}(0)=0$

*such that for all*$x\in K$,

*there exists*$j(x-{x}^{\ast})\in J(x-{x}^{\ast})$

*satisfying*

*If*${y}^{\ast}\in K$

*is a fixed point of*

*T*,

*then*${y}^{\ast}={x}^{\ast}$,

*and so*

*T*

*has at most one fixed point in*

*K*; (b)

*Suppose that there exists*${x}_{0}\in K$

*such that both the Ishikawa iterative sequence*$\{{x}_{n}\}$

*with error and the auxiliary sequence*$\{{y}_{n}\}$,

*defined by*

*are contained in* *K*, *where* $\{{u}_{n}\}$, $\{{v}_{n}\}$ *are two sequences in* *E* *and* $\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$ *are two sequences in* $[0,1]$ *satisfying the following conditions*: (i) ${\alpha}_{n},{\beta}_{n}\to 0$ ($n\to \mathrm{\infty}$) *and* $\sum {\alpha}_{n}=\mathrm{\infty}$; (ii) $\parallel {u}_{n}\parallel =o({\alpha}_{n})$ *and* $\parallel {v}_{n}\parallel \to 0$ ($n\to \mathrm{\infty}$). *Then there exists* ${\gamma}_{0}>0$ *such that if* ${\alpha}_{n},{\beta}_{n},\frac{\parallel {u}_{n}\parallel}{{\alpha}_{n}}\le {\gamma}_{0}$ $\mathrm{\forall}n\ge 0$, $\{{x}_{n}\}$ *converges strongly to* ${x}^{\ast}$. *In particular*, *if* ${y}^{\ast}$ *is a fixed point of* *T* *in* *K*, *then* $\{{x}_{n}\}$ *converges strongly to* ${y}^{\ast}$.

*Proof* Observe that Corollary 3.2 is the same as Theorem G1 without boundedness assumption on the sequence $\{{x}_{n}\}$ but with the assumption that there exists ${\gamma}_{0}>0$ such that ${\alpha}_{n},{\beta}_{n},\frac{\parallel {u}_{n}\parallel}{{\alpha}_{n}}\le {\gamma}_{0}$ $\mathrm{\forall}n\ge 0$ made in Corollary 3.2. The proof that $\{{x}_{n}\}$ is bounded follows from Theorem 3.1. The rest of the proof of convergence is as in Theorem G1. This completes the proof. □

**Theorem 3.3** *Let* *E* *be a real normed linear space*, *let* *K* *be a nonempty convex subset of* *E* *such that* $K+K\subset K$, *and let* $T:K\to K$ *be a uniformly continuous and* *ϕ*-*hemi*-*contractive mapping*. *Suppose that* ${\{{x}_{n}\}}_{n=0}^{\mathrm{\infty}}$ *is as defined in Theorem * CCZ1 [3], *then there exists* ${\gamma}_{0}>0$ *such that if* ${\alpha}_{n},{\beta}_{n},\frac{\parallel {u}_{n}\parallel}{{\alpha}_{n}}\le {\gamma}_{0}$ $\mathrm{\forall}n\ge 0$, $\{T{y}_{n}\}$ *is bounded*.

*Proof* The boundedness of $\{{x}_{n}\}$ in Theorem 3.3 follows as in Theorem 3.1. Since $\{{x}_{n}\}$ is bounded, by Lemma 2.2 and the uniform continuity of *T*, $\{T{x}_{n}\}$ is bounded. This with the boundedness of $\{{v}_{n}\}$ implies, from the relation ${y}_{n}:=(1-{\beta}_{n}){x}_{n}+{\beta}_{n}T{x}_{n}+{c}_{n}{V}_{n}$, that $\{{y}_{n}\}$ is bounded. Again, by the uniform continuity of *T* and Lemma 2.2, $\{T{y}_{n}\}$ is bounded. □

**Corollary 3.4** (Theorem CCZ1, [3])

*Let*

*E*

*be a real normed linear space*,

*let*

*K*

*be a nonempty convex subset of*

*E*

*such that*$K+K\subset K$,

*and let*$T:K\to K$

*be a uniformly continuous and*

*ϕ*-

*hemi*-

*contractive mapping*.

*Let*$\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$

*be two real sequences in*$(0,1)$

*satisfying the following conditions*: (i) ${\alpha}_{n},{\beta}_{n}\to 0$ ($n\to \mathrm{\infty}$); (ii) $\sum {\alpha}_{n}=\mathrm{\infty}$.

*Assume that*$\{{u}_{n}\}$, $\{{v}_{n}\}$

*are two sequences in*

*K*

*satisfying the following conditions*: ${u}_{n}={u}_{n}^{{}^{\prime}}+{u}_{n}^{{}^{\u2033}}$

*for any sequences*$\{{u}_{n}^{{}^{\prime}}\}$, $\{{u}_{n}^{{}^{\u2033}}\}$

*in*

*K*

*with*$\sum \parallel {u}_{n}^{{}^{\prime}}\parallel <\mathrm{\infty}$; $\parallel {u}_{n}^{{}^{\u2033}}\parallel =o({\alpha}_{n})$

*and*$\parallel {v}_{n}\parallel \to 0$

*as*$n\to \mathrm{\infty}$.

*Define the Ishikawa iterative sequence with mixed errors in*

*K*

*by*

*If* $\{T{y}_{n}\}$ *is bounded*, *then the sequence* $\{{x}_{n}\}$ *converges strongly to the unique fixed point of T*.

*Proof* Corollary 3.3 is the same as Theorem CCZ1 but without boundedness assumption on the sequence $\{T{y}_{n}\}$ but with the assumption that there exists ${\gamma}_{0}>0$ such that ${\alpha}_{n},{\beta}_{n},\frac{\parallel {u}_{n}\parallel}{{\alpha}_{n}}\le {\gamma}_{0}$ $\mathrm{\forall}n\ge 0$ made in Corollary 3.3. The proof that $\{T{y}_{n}\}$ is bounded follows from Theorem 3.3. The remaining proof of convergence is as in Theorem CCZ1. This completes the proof. □

**Theorem 3.5** *Let* *E* *be a real normed linear space*, *and* $T:E\to E$ *be a uniformly continuous and strongly* *ϕ*-*quasi*-*accretive mapping*. *Define a mapping* $S:E\to E$ *by* $Sx:=x-Tx$ *for each* $x\in E$. *Suppose that* $\{{x}_{n}\}$ *is as defined in Theorem * CCZ2 [3], *then there exists* ${\gamma}_{0}>0$ *such that if* ${\alpha}_{n},{\beta}_{n},\frac{\parallel {u}_{n}\parallel}{{\alpha}_{n}}\le {\gamma}_{0}$ $\mathrm{\forall}n\ge 0$, $\{S{y}_{n}\}$ *is bounded*.

*Proof* $S{y}_{n}:={y}_{n}-T{y}_{n}$. Using the boundedness of $\{{y}_{n}\}$ and $\{T{y}_{n}\}$, we have that $\{S{y}_{n}\}$ is bounded. □

**Corollary 3.6** (Theorem CCZ2, [3])

*Let*

*E*

*be a real normed linear space*,

*and let*$T:E\to E$

*be a uniformly continuous and strongly*

*ϕ*-

*quasi*-

*accretive mapping*.

*Let*$\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$

*be two real sequences in*$(0,1)$

*satisfying the following conditions*:

*Let*$\{{u}_{n}\}$, $\{{v}_{n}\}$

*be as in Theorem*CCZ1.

*Define a mapping*$S:E\to E$

*by*$Sx:=x-Tx$

*for each*$x\in E$.

*For an arbitrary*${x}_{0}\in E$,

*define the Ishikawa iterative sequence*$\{{x}_{n}\}$

*with mixed errors by*

*If* $\{S{y}_{n}\}$ *is bounded*, *then the sequence* $\{{x}_{n}\}$ *converges strongly to the unique fixed point of* *T*.

*Proof* Corollary 3.5 is the same as Theorem CCZ2 without boundedness assumption on the sequence $\{S{y}_{n}\}$ but with the assumption that there exists ${\gamma}_{0}>0$ such that ${\alpha}_{n},{\beta}_{n},\frac{\parallel {u}_{n}\parallel}{{\alpha}_{n}}\le {\gamma}_{0}$ $\mathrm{\forall}n\ge 0$ made in Corollary 3.5. The proof that $\{S{y}_{n}\}$ is bounded follows from Theorem 3.5. The rest of the proof of convergence is as in Theorem CCZ2. This completes the proof. □

**Remark 3.7** Theorem 3.4 shows that Theorems G1 and G2 remain valid without the requirement that $\{{x}_{n}\}$ be bounded. Also, it shows that Theorems CCZ1 and CCZ2 remain valid without the requirement that $\{T{y}_{n}\}$ and $\{S{y}_{n}\}$ be bounded, respectively.

**Remark 3.8** Part of the aim of including *bounded* error terms in recursion formulas of Theorem 3.1 and Corollaries 3.4 and 3.6 is to illustrate the fact that if the theorems are proved without these error terms, then addition of bounded error terms in the recursion formulas leads to no generalization. The proof in the case with error terms is in general an unnecessary repetition of the proof using recursion formulas without error terms (see Chapter 9 of [2]).

**Prototype**An example of iteration parameters satisfying the conditions of our theorems is as follows:

## Declarations

### Acknowledgements

The third author’s research is supported by the Ebonyi State University, Abakaliki, Nigeria under the *ETF PhD Scholarship*.

## Authors’ Affiliations

## References

- Berinde V Lecture Notes in Mathematics 1912. In
*Iterative Approximation of Fixed Points*. Springer, Berlin; 2007.Google Scholar - Chidume C Lecture Notes in Mathematics 1965.
*Geometric Properties of Banach Spaces and Nonlinear Iterations*2009.Google Scholar - Chang SS, Cho YJ, Zhou H:
*Iterative Methods for Nonlinear Operators in Banach Spaces*. Nova Science Publishers, New York; 2002.MATHGoogle Scholar - Chidume CE: Iterative methods for nonlinear Lipschitz pseudo-contractive operators.
*J. Math. Anal. Appl.*2000, 251(1):84–92. 10.1006/jmaa.2000.7021MathSciNetView ArticleMATHGoogle Scholar - Chidume CE: Iterative approximation of fixed point of Lipschitz pseudo-contractive operators.
*Proc. Am. Math. Soc.*2001, 129(8):2245–2251. 10.1090/S0002-9939-01-06078-6MathSciNetView ArticleMATHGoogle Scholar - Chidume CE, Zegeye H: Approximate fixed point sequences and convergence theorems for Lipschitz pseudo-contractive maps.
*Proc. Am. Math. Soc.*2004, 132(3):831–840. 10.1090/S0002-9939-03-07101-6MathSciNetView ArticleMATHGoogle Scholar - Ding XP: Iterative approximation of Lipschitz strictly pseudocontractive mappings in uniformly smooth Banach spaces.
*Nonlinear Anal.*1995, 24(7):981–987. 10.1016/0362-546X(94)00115-XMathSciNetView ArticleMATHGoogle Scholar - Shazad N, Zegeye H: On stability for
*ϕ*-strongly pseudocontractive mappings.*Nonlinear Anal.*2006, 64(2):2619–2630.MathSciNetView ArticleMATHGoogle Scholar - Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert spaces.
*J. Math. Anal. Appl.*1967, 20: 197–228. 10.1016/0022-247X(67)90085-6MathSciNetView ArticleMATHGoogle Scholar - Hirano H, Huang Z: Convergence theorems for multi-valued Φ-hemicontractive operators and Φ-strongly accretive operators.
*Comput. Math. Appl.*2003, 46(10–11):1461–1471. 10.1016/S0898-1221(03)90183-0MathSciNetView ArticleMATHGoogle Scholar - Gu F: Convergence theorems for Φ-pseudo-contractive-type mappings in normed linear spaces.
*Northeast. Math. J.*2001, 17(3):340–346.MathSciNetMATHGoogle Scholar - Chidume, CE, Chidume, CO: A convergence theorem for zeros of generalized Φ-quasi-accretive mappings (to appear)Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.