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).
Similar content being viewed by others
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. [1], Phuengrattana and Suantai [2] and Khan [3]. Harder and Hicks [4, 5] revealed the importance of investigating the stability of various iteration procedures for various classes of nonlinear mappings. Harder [6] 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
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
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 [7].
If each \(\alpha_{n}=1\) in (1.2), we have the Picard iterative scheme (1.1).
Rhoades [8], 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 [2], Phuengrattana and Suantai defined the SP iterative scheme and proved that this scheme is equivalent to, and faster than, Mann [9], Ishikawa and Noor iterative schemes for increasing functions. Recently, Chugh and Kumar [10] 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 [11] introduced some multistep iterative schemes and proved some equivalence results. Akewe et al. [12] 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 [3] 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
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 [13] iterative schemes in the sense of Berinde [14] 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 [3], we prove the strong convergence of the Picard-Mann iterative scheme for a general class of operators in a real normed space.
Osilike [15] proved several stability results, which are generalizations and extensions of most of the results of Rhoades [16], using the following contractive definition: for each \(x,y \in X\), there exist \(a \in[0,1)\) and \(L\geq0\) such that
In 2003 Imoru and Olatinwo [17] 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 [18] 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
for \(\delta\in[0,1)\) and all \(x,y \in X\).
In a real normed linear space setting, (1.6) is the same as
for \(\delta\in[0,1)\) and all \(x,y \in X\).
In 2014 Chidume and Olaleru [19] 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 [19] 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 [20], Rhoades [21], Zamfirescu [22]).
Example 1.1
[19]
Let \(E=l_{\infty}\), \(K=\{x\in l_{\infty}:\|x\|\leq1\}\) and let
be defined by
Then
-
(i)
T is continuous and maps K into itself.
-
(ii)
\(Tp=p\) implies \(p=0\).
-
(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}$$
-
(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.
-
(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
We have
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
[23]
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
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
and
Substituting (2.3) in (2.2), we have
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 [7])
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
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 [7].
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 [18]. 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
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
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,
Using condition (3.1) we have
Substituting (3.3) in (3.2) we have
Substituting (3.5) in (3.4), since \(0<\alpha<\alpha_{n}\), we have
Then
Using Lemma 1.1 in (3.6) we have
Conversely, let \(\lim_{n \rightarrow\infty}z_{n} =p\). We show that \(\lim_{n\rightarrow\infty}\epsilon_{n}=0\) as follows:
Substituting (3.7) in (3.6) we have
Since \(\lim_{n\rightarrow\infty}\|z_{n}-p\|=0\), by our assumption
Therefore the Picard-Mann iterative scheme (1.3) is T-stable. □
Theorem 3.1 yields the following corollary.
Corollary 3.2
(Bosede and Rhoades [18])
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
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.
References
Hussain, N, Chugh, R, Kumar, V, Rafiq, A: On the rate of convergence of Kirk-type iterative schemes. J. Appl. Math. 2012, Article ID 526503 (2012)
Phuengrattana, W, Suantai, S: On the rate of convergence of Mann, Ishikawa, Noor and SP-iterations for continuous functions on an arbitrary interval. J. Comput. Appl. Math. 235(9), 3006-3014 (2011)
Khan, SH: A Picard-Mann hybrid iterative process. Fixed Point Theory Appl. 2013, 69 (2013)
Harder, AM, Hicks, TL: A stable iteration procedure for nonexpansive mappings. Math. Jpn. 33, 687-692 (1988)
Harder, AM, Hicks, TL: Stability results for fixed point iteration procedures. Math. Jpn. 33, 693-706 (1988)
Harder, AM: Fixed point theory and stability results for fixed point iteration procedures. Ph. D. thesis, University of Missouri-Rolla (1987)
Chidume, CE: Strong convergence and stability of Picard iteration sequences for a general class of contractive-type mappings. Fixed Point Theory Appl. 2014, 233 (2014)
Rhoades, BE: Fixed point iteration using infinite matrices. Trans. Am. Math. Soc. 196, 161-176 (1974)
Mann, WR: Mean value methods in iterations. Proc. Am. Math. Soc. 44, 506-510 (1953)
Chugh, R, Kumar, V: Strong convergence of SP iterative scheme for quasi-contractive operators. Int. J. Comput. Appl. 31(5), 21-27 (2011)
Rhoades, BE, Soltuz, SM: The equivalence between Mann-Ishikawa iterations and multi-step iteration. Nonlinear Anal. 58, 219-228 (2004)
Akewe, H, Okeke, GA, Olayiwola, A: Strong convergence and stability of Kirk-multistep-type iterative schemes for contractive-type operators. Fixed Point Theory Appl. 2014, 45 (2014)
Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147-150 (1974)
Berinde, V: Iterative Approximation of Fixed Points. Editura Efemeride, Baia Mare (2002)
Osilike, MO: Stability results for Ishikawa fixed point iteration procedure. Indian J. Pure Appl. Math. 26(10), 937-941 (1995)
Rhoades, BE: Fixed point theorems and stability results for fixed point iteration procedures. Indian J. Pure Appl. Math. 21, 1-9 (1990)
Imoru, CO, Olatinwo, MO: On the stability of Picard and Mann iteration. Carpath. J. Math. 19, 155-160 (2003)
Bosede, AO, Rhoades, BE: Stability of Picard and Mann iteration for a general class of functions. J. Adv. Math. Stud. 3(2), 1-3 (2010)
Chidume, CE, Olaleru, JO: Picard iteration process for a general class of contractive mappings. J. Niger. Math. Soc. 33, 19-23 (2014)
Bosede, AO: Noor iterations associated with Zamfirescu mappings in uniformly convex Banach spaces. Fasc. Math. 42, 29-38 (2009)
Rhoades, BE: A comparison of various definition of contractive mapping. Trans. Am. Math. Soc. 226, 257-290 (1977)
Zamfirescu, T: Fixed point theorems in metric spaces. Arch. Math. (Basel) 23, 292-298 (1972)
Berinde, V: On the stability of some fixed point procedures. Bul. Ştiinţ. - Univ. Baia Mare, Ser. B Fasc. Mat.-Inform. 18(1), 7-14 (2002)
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to this work. Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Akewe, H., Okeke, G.A. Convergence and stability theorems for the Picard-Mann hybrid iterative scheme for a general class of contractive-like operators. Fixed Point Theory Appl 2015, 66 (2015). https://doi.org/10.1186/s13663-015-0315-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0315-4