• Research
• Open Access

# Convergence and stability theorems for the Picard-Mann hybrid iterative scheme for a general class of contractive-like operators

Fixed Point Theory and Applications20152015:66

https://doi.org/10.1186/s13663-015-0315-4

• Received: 27 November 2014
• Accepted: 21 April 2015
• Published:

## Abstract

In this paper we use the general class of contractive-like operators introduced by Bosede and Rhoades (J. Adv. Math. Stud. 3(2):1-3, 2010) to prove strong convergence and stability results for Picard-Mann hybrid iterative schemes considered in a real normed linear space. We establish the strong convergence and stability of the Picard iterative scheme as a corollary. Our results generalize and improve a multitude of results in the literature, including the recent results of Chidume (Fixed Point Theory Appl. 2014:233, 2014).

## Keywords

• strong convergence result
• Picard-Mann hybrid iterative schemes
• contractive-like operators

• 47H09
• 47H10
• 54H25

## 1 Introduction and preliminary definitions

Fixed point iterative schemes are designed to be applied in solving equations arising in physical formulation but there is no systematic study of the numerical aspects of these iterative schemes. In computational mathematics, it is of vital interest to know which of the given iterative procedures converge faster to a desired solution, commonly known as the rate of convergence. Some of the notable authors whose research is in this direction are Hussain et al. , Phuengrattana and Suantai  and Khan . Harder and Hicks [4, 5] revealed the importance of investigating the stability of various iteration procedures for various classes of nonlinear mappings. Harder  established applications of stability results to first-order differential equations.

We will now consider some of these schemes, as they are relevant to this work.

Let $$(X,d)$$ be a metric space and $$T: X \rightarrow X$$ be a selfmap of X. Define $$F_{T}=\{p \in X: Tp=p\}$$ to be the set of fixed points of T. For $$x_{0} \in X$$, the sequence $$\{x_{n}\}_{n=1}^{\infty}$$ defined by
$$x_{n+1}=Tx_{n}, \quad n\geq0,$$
(1.1)
is called the Picard iterative scheme.
Let $$(E, \|\cdot\|)$$ be a real normed linear space and $$T: E \to E$$ be a selfmap of E. For $$x_{0} \in E$$, the sequence $$\{x_{n}\}_{n=0}^{\infty}$$, defined by
$$x_{n+1} = (1-\alpha_{n})x_{n} + \alpha_{n}Tx_{n},\quad n\geq0,$$
(1.2)
where $$\{\alpha_{n}\}_{n=0}^{\infty}$$, is a real sequence in $$[0,1]$$ such that $$\sum_{n=0}^{\infty}\alpha_{n}=\infty$$ is called the Mann iterative scheme .

If each $$\alpha_{n}=1$$ in (1.2), we have the Picard iterative scheme (1.1).

Rhoades , perhaps for the first time, used computer programs to compare the rate of convergence of Mann and Ishikawa iterative procedures. He illustrated the difference in the rate of convergence for increasing and decreasing functions through examples.

In , Phuengrattana and Suantai defined the SP iterative scheme and proved that this scheme is equivalent to, and faster than, Mann , Ishikawa and Noor iterative schemes for increasing functions. Recently, Chugh and Kumar  introduced the CR iterative scheme and proved some convergence results. In the light of the iterative schemes mentioned above, it is clear that the study of the rate of convergence of several iterative schemes has attracted the interest of several well-known mathematicians. Rhoades and Soltuz  introduced some multistep iterative schemes and proved some equivalence results. Akewe et al.  introduced the Kirk-multistep type iterative schemes and proved strong convergence and stability results, with some numerical examples to back up their work. These various results are worth emulating.

In 2013, Khan  gave a different perspective to iteration procedure. He introduced the following Picard-Mann hybrid iterative scheme for a single nonexpansive mapping T. For any initial point $$x_{0} \in E$$, the sequence $$\{x_{n}\}_{n=0}^{\infty}$$ is defined by
\begin{aligned} &x_{n+1}= Ty_{n}, \\ &y_{n}=(1-\alpha_{n})x_{n}+ \alpha_{n}Tx_{n}, \quad n\geq0, \end{aligned}
(1.3)
where $$\{\alpha_{n}\}_{n=0}^{\infty}$$ is a real sequence in $$[0,1]$$.

He showed that the hybrid scheme (Picard-Mann scheme (1.3)) converges faster than all of Picard (1.1), Mann (1.2) and Ishikawa  iterative schemes in the sense of Berinde  for contractions. He also proved the strong convergence and weak convergence theorems with the help of his iterative process (1.3) for the class of nonexpansive mappings in general Banach spaces and applied it to obtain results in uniformly convex Banach spaces.

Motivated by the work of Khan , we prove the strong convergence of the Picard-Mann iterative scheme for a general class of operators in a real normed space.

Osilike  proved several stability results, which are generalizations and extensions of most of the results of Rhoades , using the following contractive definition: for each $$x,y \in X$$, there exist $$a \in[0,1)$$ and $$L\geq0$$ such that
$$d(Tx,Ty)\leq a d(x,y)+ L d(x,Tx).$$
(1.4)
In 2003 Imoru and Olatinwo  proved some stability results using the following general contractive definition:
• for each $$x,y \in X$$, there exist $$\delta\in[0,1)$$ and a monotone increasing function $$\varphi: R^{+} \rightarrow R^{+}$$ with $$\varphi(0)=0$$ such that
$$d(Tx,Ty)\leq\delta d(x,y)+ \varphi\bigl(d(x,Tx)\bigr).$$
(1.5)
In a recent paper Bosede and Rhoades  made an assumption implied by (1.4) and the one which renders all generalizations of the form (1.5) pointless. That is if $$x=p$$ (is a fixed point) then (1.4) becomes
$$d(p,Ty)\leq\delta d(p,y)$$
(1.6)
for $$\delta\in[0,1)$$ and all $$x,y \in X$$.
In a real normed linear space setting, (1.6) is the same as
$$\|p-Ty\|\leq\delta\|p-y\|$$
(1.7)
for $$\delta\in[0,1)$$ and all $$x,y \in X$$.

In 2014 Chidume and Olaleru  gave several examples to show that the class of mappings satisfying (1.7) is more general than that of (1.5) and (1.4), provided the fixed point exists. The authors  proved that every contraction map with a fixed point satisfies inequality (1.7) in the following example.

Several well-known mathematicians have established some interesting fixed points results for certain classes of nonlinear mappings (see, e.g. Bosede , Rhoades , Zamfirescu ).

### Example 1.1



Let $$E=l_{\infty}$$, $$K=\{x\in l_{\infty}:\|x\|\leq1\}$$ and let
$$T:K\to K$$
be defined by
$$Tx=\frac{9}{10} \bigl(0,x_{1}^{2},x_{2}^{2},x_{3}^{2}, \ldots \bigr) \quad\mbox{for } x=(x_{1},x_{2},x_{3},\ldots)\in K.$$
Then
1. (i)

T is continuous and maps K into itself.

2. (ii)

$$Tp=p$$ implies $$p=0$$.

3. (iii)
\begin{aligned} \|Tx-p\|_{\infty} =&\frac{9}{10}\bigl\| \bigl(0,x_{1}^{2},x_{2}^{2},x_{3}^{2}, \ldots\bigr)\bigr\| _{\infty}\\ \leq&\frac{9}{10}\bigl\| (0,x_{1},x_{2},x_{3}, \ldots)\bigr\| _{\infty}\\ =&\frac{9}{10}\|x-p\|_{\infty}\quad\forall x\in K\ (\mbox{since } p=0). \end{aligned}

4. (iv)

T is not a contraction map. To see this, let $$x=(\frac {3}{4},\frac{3}{4},\frac{3}{4},\ldots)$$ and $$y=(\frac{1}{2},\frac {1}{2},\frac{1}{2},\ldots)$$.

Clearly, $$x,y\in K$$, $$\|x-y\|_{\infty}=\frac{1}{4}$$, and $$\|Tx-Ty\| _{\infty}=\frac{45}{160}$$.

Suppose there exists $$a\in[0,1)$$ such that $$\|Tx-Ty\|_{\infty}\leq a\| x-y\|_{\infty}$$, $$\forall x,y\in K$$, we must then have that
$$\|Tx-Ty\|_{\infty}=\frac{45}{160}\leq\frac{a}{4}=\|x-y \|_{\infty}$$
for the above choices of x and y. But then this implies that $$a\geq \frac{180}{160}>1$$. So, T is not a contraction map.

5. (v)

It is clear that every contraction map with a fixed point satisfies inequality (1.7). This completes our example.

We now give the following example.

### Example 1.2

Let $$E= l_{\infty}$$, $$B := \{x \in l_{\infty}: \|x\| \leq1\}$$ and let $$T: E\rightarrow B \subseteq E$$ be defined by $$Tx = \frac{11}{12}(0, x_{1}^{2}, x_{2}^{2}, x_{3}^{2},\ldots)$$ if $$\|x\|_{\infty}\leq 1$$, $$Tx = \frac{11}{12\|x\|_{\infty}^{2}}(0, x_{1}^{2}, x_{2}^{2}, x_{3}^{2},\ldots)$$ if $$\|x\| _{\infty}> 1$$ for $$x= (x_{1}, x_{2}, x_{3},\ldots) \in l_{\infty}$$. Then $$Tp=p$$ if and only if $$p=0$$. We compute as follows:
• $$\|Tx-p\|_{\infty}= \frac{11}{12}\|(0, x_{1}^{2}, x_{2}^{2}, x_{3}^{2},\ldots)\|_{\infty}$$ if $$\|x\|_{\infty}\leq1$$,

• $$\|Tx-p\|_{\infty}= \frac{11}{12\|x\|_{\infty}^{2}}\|(0, x_{1}^{2}, x_{2}^{2}, x_{3}^{2},\ldots)\|_{\infty}$$ if $$\|x\|_{\infty}> 1$$, so that

• $$\|Tx-p\|_{\infty}= \frac{11}{12}\|x\|_{\infty}^{2} \leq\frac{11}{12}\|x\| _{\infty}$$ if $$\|x\|_{\infty}\leq1$$,

• $$\|Tx-p\|_{\infty}= \frac{11}{12}.1$$ if $$\|x\|_{\infty}> 1$$.

Hence, we obtain that $$\|Tx-p\|_{\infty}= \frac{11}{12}\|x-p\|_{\infty}$$ for every $$x \in l_{\infty}$$, $$p=0$$.

Hence, T satisfies contractive condition (1.7). But the map T is not a contraction. To see this, take $$x=(\frac{3}{4}, \frac{3}{4}, \frac {3}{4},\ldots)$$; $$y=(\frac{1}{2}, \frac{1}{2}, \frac{1}{2},\ldots)$$. Then $$\|x-y\|_{\infty}= \frac{1}{4}$$; $$\|Tx-Ty\|_{\infty}=\frac{11}{12}\|(0, \frac{5}{16}, \frac{5}{16},\ldots)\|_{\infty}= \frac{55}{192}$$.

Suppose there exists $$a \in[0, 1)$$ such that $$\|Tx-Ty\|_{\infty}\leq a\| x-y\|_{\infty}$$ for every $$x,y \in E$$, then we must have $$\frac {55}{192}\leq\frac{a}{4}$$, which yields that $$a\geq\frac {220}{192}>1$$, a contradiction. So, T is not a contraction map.

### Example 1.3

Let $$E=[0,1]$$. Define $$T:[0,1]\to[0,1]$$ by $$Tx=\frac {x}{2}$$, where $$[0,1]$$ has the usual metric. Then T satisfies inequality (1.7) and $$F(T)=[0,1]$$.

We shall show that the Picard-Mann hybrid iterative scheme (1.3) is T-stable.

Now, let $$p=0$$. Take $$\alpha_{n}=\frac{1}{2}$$, $$y_{n}=\frac{1}{n}$$ for each $$n\geq1$$.

Then $$\lim_{n\to\infty}y_{n}=0$$.

We see that
\begin{aligned} \epsilon_{n} =&|y_{n+1}-Ty_{n}| \\ =&\biggl|y_{n+1}-\frac{y_{n}}{2}\biggl| \\ =&\biggl|y_{n+1}-\frac{1-\alpha_{n}}{2}y_{n}-\frac{\alpha_{n}}{2}\biggl( \frac{y_{n}}{2}\biggr)\biggr| \\ =&\biggl|\frac{1}{n+1}-\frac{1}{4n}-\frac{1}{8n}\biggr|. \end{aligned}
We have
$$\lim_{n\to\infty}\epsilon_{n}=0.$$
Hence the Picard-Mann hybrid iterative scheme (1.3) is T-stable.

We shall need the following lemma in proving our result.

### Lemma 1.1



Let δ be a real number satisfying $$0\leq\delta< 1$$ and $$\{\epsilon_{n}\}^{\infty}_{n=0}$$ be a sequence of positive numbers such that $$\lim_{n \rightarrow\infty }\epsilon_{n}=0$$. Then, for any sequence of positive numbers $$\{u_{n}\} ^{\infty}_{n=0}$$ satisfying $$u_{n+1}\leq\delta u_{n} + \epsilon_{n}$$, $$n=0,1,2,\ldots$$ , we have $$\lim_{n \rightarrow\infty} u_{n}=0$$.

## 2 Main results

### Theorem 2.1

Let $$(E, \|\cdot\|)$$ be a real normed linear space and $$T:E\rightarrow E$$ be a map with a fixed point p satisfying the condition
$$\|Tx-p\| \leq\delta\|x-p\|$$
(2.1)
for each $$x,y\in E$$, $$0\leq\delta<1$$. For arbitrary $$x_{1} \in E$$, let $$\{x_{n}\}^{\infty}_{n=0}$$ be the Picard-Mann hybrid iterative scheme defined by (1.3), where $$\{\alpha_{n}\}^{\infty}_{n=0}$$ is a real sequence in $$[0,1]$$. Then $$\{x_{n}\}^{\infty}_{n=0}$$ converges strongly to p.

### Proof

In view of (2.1) and (1.3) we have
\begin{aligned} \|x_{n+1}-p\| =& \|Ty_{n}-Tp\| \\ \leq& \delta\|y_{n}-p\|, \end{aligned}
(2.2)
and
\begin{aligned} \|y_{n}-p\| \leq&(1-\alpha_{n}) \|x_{n}-p\|+\alpha_{n} \|Tx_{n}-Tp\| \\ \leq&(1-\alpha_{n})\|x_{n}-p\|+\alpha_{n} \delta \|x_{n}-p\|. \end{aligned}
(2.3)
Substituting (2.3) in (2.2), we have
$$\|x_{n+1}-p\|\leq \delta\bigl[1-\alpha_{n}(1- \delta)\bigr]\|x_{n}-p\|.$$
(2.4)
Using the fact that $$0\leq\delta<1$$, $$\alpha_{n} \in[0, 1)$$ and $$\sum^{\infty}_{n=0}\alpha_{n}=\infty$$, we have from Lemma 1.1 that $$\lim_{n \rightarrow\infty}\|x_{n+1}-p\| =0$$; that is, $$\{x_{n}\}^{\infty}_{n=0}$$ converges strongly to p. This ends the proof. □

Theorem 2.1 leads to the following corollary.

### Corollary 2.2

(Chidume )

Let $$(E, \|\cdot\|)$$ be a real normed linear space and $$T:E\rightarrow E$$ be a map with a fixed point p satisfying the contractive condition
$$\|Tx-p\| \leq\delta\|x-p\|$$
(2.5)
for each $$x,y\in E$$, $$0\leq\delta<1$$. For an arbitrary $$x_{1} \in E$$, let $$\{x_{n}\}^{\infty}_{n=0}$$ be the Picard iterative scheme defined by (1.1). Then (1.1) converges strongly to p.

### Remark 2.1

Theorem 2.1 generalizes several results in the literature by considering a larger class of contractive-type operators, including the results of Chidume .

## 3 Stability results for the Picard-Mann iterative schemes in real normed spaces

In this section we prove stability results for the Picard-Mann iterative schemes defined by (1.3) for a general class of contractive-like operators introduced by Bosede and Rhoades . The stability of Picard iterative schemes follows as a corollary. The theorem is stated as follows.

### Theorem 3.1

Let $$(E, \|\cdot\|)$$ be a real normed linear space and $$T:E\rightarrow E$$ be a map with a fixed point p satisfying the condition
$$\|Tx-p\| \leq\delta\|x-p\|$$
(3.1)
for each $$x,y\in E$$, $$0\leq\delta<1$$. For arbitrary $$x_{1} \in E$$, let $$\{x_{n}\}^{\infty}_{n=0}$$ be the Picard-Mann hybrid iterative scheme defined by (1.3). Then the Picard-Mann hybrid iterative scheme is T-stable.

### Proof

From Theorem 2.1, the sequence $$\{x_{n}\}$$, defined by (1.3), converges to p.

Let $$\{z_{n}\}^{\infty}_{n=0}$$, $$\{u_{n}\}^{\infty}_{n=0}$$ be real sequences in E.

Let $$\epsilon_{n} =\|z_{n+1}-Tu_{n}\|$$, $$n=0,1,2,\ldots$$ , where
\begin{aligned} &z_{n+1}= Tu_{n}, \\ &u_{n}=(1-\alpha_{n})z_{n}+ \alpha_{n}Tz_{n}, \quad n\geq0 \end{aligned}
and let $$\lim_{n\rightarrow\infty}\epsilon_{n}=0$$.

Then we shall prove that $$\lim_{n\rightarrow\infty} z_{n}=p$$ for mappings satisfying condition (3.1).

That is,
\begin{aligned} \|z_{n+1}-p\| \leq&\| z_{n+1}-Tu_{n} \| +\|Tu_{n}-Tp\| \\ \leq& \epsilon_{n}+\|Tu_{n}-Tp\|. \end{aligned}
(3.2)
Using condition (3.1) we have
$$\|Tu_{n}-Tp\| \leq \delta\|u_{n}-p\|.$$
(3.3)
Substituting (3.3) in (3.2) we have
\begin{aligned}& \begin{aligned}[b] \|z_{n+1}-p\| \leq \epsilon_{n}+\delta \|u_{n}-p\|, \end{aligned} \end{aligned}
(3.4)
\begin{aligned}& \begin{aligned}[b] \|u_{n}-p\|&=\bigl\| (1-\alpha_{n})z_{n}+ \alpha_{n}Tz_{n}-(1-\alpha_{n}+\alpha_{n})p \bigr\| \\ &\leq(1-\alpha_{n})\|z_{n}-p\| +\alpha_{n} \|Tz_{n}-p\| \\ &\leq\bigl[ 1-(1-\delta)\alpha_{n}\bigr]\|z_{n}-p\|. \end{aligned} \end{aligned}
(3.5)
Substituting (3.5) in (3.4), since $$0<\alpha<\alpha_{n}$$, we have
\begin{aligned} \|z_{n+1}-p\| \leq \delta\bigl[ 1-(1-\delta)\alpha_{n}\bigr] \|z_{n}-p\|+\epsilon_{n}. \end{aligned}
Then
$$\|z_{n+1}-p\|\leq \delta\bigl[1-(1-\delta)\alpha\bigr] \|z_{n}-p\|+\epsilon _{n}.$$
(3.6)
Using Lemma 1.1 in (3.6) we have
\begin{aligned} \lim_{n \rightarrow\infty}z_{n} =p. \end{aligned}
Conversely, let $$\lim_{n \rightarrow\infty}z_{n} =p$$. We show that $$\lim_{n\rightarrow\infty}\epsilon_{n}=0$$ as follows:
\begin{aligned} \epsilon_{n} =&\|z_{n+1}-Tu_{n}\| \\ \leq&\|z_{n+1}-p\|+\|Tp-Tu_{n}\| \\ \leq&\|z_{n+1}-p\|+\delta\|u_{n}-p\|. \end{aligned}
(3.7)
Substituting (3.7) in (3.6) we have
\begin{aligned} \epsilon_{n} \leq&\|z_{n+1}-p\|+\delta\bigl[(1- \alpha_{n})\|z_{n}-p\|+\alpha_{n}\| Tz-p\|\bigr] \\ \leq&\|z_{n+1}-p\|+\delta\bigl[1-(1-\delta)\alpha_{n}\bigr] \|z_{n}-p\| \\ \leq&\|z_{n+1}-p\|+\delta\bigl[1-(1-a)\alpha\bigr]\|z_{n}-p \|. \end{aligned}
(3.8)
Since $$\lim_{n\rightarrow\infty}\|z_{n}-p\|=0$$, by our assumption
$$\lim_{n\rightarrow\infty}\epsilon_{n}=0.$$
Therefore the Picard-Mann iterative scheme (1.3) is T-stable. □

Theorem 3.1 yields the following corollary.

### Corollary 3.2

(Bosede and Rhoades )

Let $$(E, \|\cdot\|)$$ be a real normed linear space and $$T:E\rightarrow E$$ be a map with a fixed point p satisfying the condition
\begin{aligned} \|Tx-p\| \leq\delta\|x-p\| \end{aligned}
(3.9)
for each $$x,y\in E$$, $$0\leq\delta<1$$. For arbitrary $$x_{1} \in E$$, let $$\{x_{n}\}^{\infty}_{n=0}$$ be the Picard iterative scheme defined by (1.1) converging to p. Then the Picard iterative scheme defined by (1.1) is T-stable.

## Declarations

### Acknowledgements

The authors wish to thank the anonymous referees for their suggestions and corrections which led to the improvement of this paper. The second author is grateful to the Covenant University Centre for Research and Development (CUCRID) for supporting his research. 