Stability of k-step fixed point iterative methods for some Prešić type contractive mappings
© Berinde and Păcurar; licensee Springer. 2014
Received: 7 December 2013
Accepted: 28 March 2014
Published: 11 April 2014
We introduce the concept of stability of a k-step fixed point iterative method , , and study the stability of this equation for mappings satisfying some Prešić type contraction conditions. Our results naturally extend various stability results of fixed point iterative methods in literature, from contractive self-mappings to Prešić type contractive mappings . Illustrative examples of both stable and unstable fixed point iterations are also presented.
MSC:47H09, 47H10, 54H25.
then, by the well-known Banach contraction mapping principle, we know that and that, for any , the Picard iteration, that is, the sequence defined by , , converges to p, as .
where the positive quantity can be interpreted as the ‘round-off error’ of ; see .
Under these circumstances, the problem of the numerical stability of Picard iteration is whether the approximate sequence still converges to the fixed point p of T, provided that or .
from which easily follows that , provided .
In 1988, Harder and Hicks [3, 4] introduced the notion of stability for a general fixed point iteration procedure and started a systematic study of this concept, thus obtaining various stability results for Picard iteration that extended Ostrowski’s theorem to mappings satisfying more general contractive conditions and also established some stability results for other fixed point iteration procedures (Mann iteration, Ishikawa iteration, Kirk iteration) in the class of Banach contractions, Zamfirescu operators etc.
Further, some authors, see [1, 5–17], continued the study of the stability of Picard and some other fixed point iterations for various general classes of contractive self-mappings T. Very recently, Rus [18, 19] introduced some alternative concepts of stability for fixed point iterative methods.
On the other hand, the contraction mapping principle has been extended by Prešić  to mappings satisfying a contractive condition that include (1) in the particular case . Some other Prešić type fixed point theorems have been obtained in [21–26], in the case T satisfies more general contractive type conditions, while in [27, 28], and , some applications to nonlinear cyclic systems of equations and difference equations are obtained.
As for the k-step fixed point iterative methods associated to Prešić type contractive conditions do not exist corresponding stability results, yet, the main aim of this paper is to fill this gap and to introduce an appropriate concept of stability and then establish some stability results. The relationship of our notion of stability to other existing concepts of stability, mainly drawn from the theory of difference equations, is also discussed.
The stability results we shall obtain in this way are extremely general. They unify, extend, generalize, enrich, and complement a multitude of related results from recent literature. Illustrative examples of both stable and unstable fixed point iterative sequences are given.
The paper is organized as follows: in Section 2 we summarize some fixed point theorems for mappings satisfying Prešić type contractive conditions, in Section 3 we present the basic concepts and results concerning the stability of fixed point iteration procedures associated to self-mappings that satisfy explicit contractive conditions. In Section 4, the main stability results of this paper are presented. In Section 5, we end this paper by presenting three detailed examples of stable (Examples 1 and 2) and unstable (Example 3) fixed point iterations.
2 Fixed point theorems for Prešić type mappings
All the stability results mentioned in the previous section were basically established in connection with a corresponding fixed point theorem: Banach, Kannan, Chatterjea, Zamfirescu etc.; see for example  for more details.
We start by presenting one of the most interesting generalizations of Banach’s contraction mapping principle for mappings , obtained in 1965 by Prešić , which will be fundamental in establishing our stability results for k-step fixed point iterative methods in the present paper.
Theorem 1 (Prešić , 1965)
for all .
T has a unique fixed point , that is, there exists a unique such that ;
- (2)the sequence defined by(4)
converges to , for any .
Theorem 1 and other similar results, like the ones in [21, 23, 24, 26], have important applications in the iterative solution of nonlinear equations, see  and [28, 31, 32], as well as in the study of global asymptotic stability of the equilibrium for nonlinear difference equations; see the very recent paper .
for any , where satisfies certain appropriate conditions.
for any , where .
Other general Prešić type fixed point results have been very recently obtained by the second author in [22, 23, 25, 33] based on the contractive condition (18), studied in , which is more general than (7), (6) and (3).
3 Some useful lemmas
Lemma 1 (Cauchy)
where and . If , then .
Proof For simplicity, we prove lemma for , when we denote and . All arguments used below work unchanged in the general case, too.
then the series converges.
Indeed, the characteristic equation corresponding to the linear difference equation (9) has two distinct real roots, , since, if we denote , we have , .
Hence, , where , are two constants, and so the convergence of follows by the convergence of the geometric progression series , with .
has all its roots (not always real) in absolute value in the interval , by virtue of a consequence of the Rouché theorem, see , which reads as follows.
Now apply Lemma 1 to get the desired conclusion. □
Remark 1 Note that for , by Lemma 2 we obtain Theorem 2.1 in , a result which is fundamental for obtaining short proofs of stability theorems for one step fixed point iterative methods that has been used in [12, 13, 15], and .
4 Stability of k-step fixed point iteration procedures
We first recall some concepts of stability for 1-step fixed point iteration procedures, before we consider the stability of a k-step fixed point iteration procedure.
where is given, which converges to a fixed point p of T (for example, in the case of Picard iteration we have ).
Definition 1 (Harder and Hicks, )
As Picard iteration and other fixed point iteration procedures are not stable with respect to some classes of contractive operators, various weak stability concepts have also been introduced; see [9, 11, 12, 15]. For example Osilike  introduced the concept of almost stability, while Berinde  introduced the concept of summable almost stability, two notions which are presented in the following.
Definition 2 (Osilike, )
Definition 3 (Berinde, )
any stable iteration procedure is almost stable;
any summable almost stable procedure is almost stable,
but the reverses of these assertions are not generally true; see Example 1 in . Moreover, in general, the class of stable iteration procedures is independent of the class of summable almost stable procedures.
We introduce now the concept of stability for a k-step fixed point iteration procedure.
Remark 2 For , by Definition 4 we get exactly Definition 1.
The main result of this paper is the following theorem, which establish a stability result that corresponds to the fixed point theorem for Prešić-Kannan contractive mappings (, Theorem 2).
for any .
T has a unique fixed point , that is, there exists a unique such that ;
- (2)The sequence with and(19)
The k-step iteration given by (19) is T-stable.
where, by hypothesis, .
since , by hypothesis.
Now, assume . By applying Lemma 2 with and , by virtue of (26), we conclude that as , that is, the k-step iteration defined by (19) is T-stable. □
A similar stability result can be obtained for mappings T satisfying a more general contractive condition than (18).
for all and some . Then the k-step iteration defined by (4) is T-stable.
and the rest of the proof is similar to that of Theorem 2. □
Remark 3 It is clear by the proof of Theorem 2 that if T satisfies (18) then T also satisfies (27), but the reverse is not true, as shown by Example 2.
Another general stability result is given by the next theorem.
for all . Then the k-step iteration defined by (4) is T-stable.
since . The rest of the proof follows similarly to the proof of Theorem 2. □
5 Examples and concluding remarks
Example 1 (, Example 1)
Then, see the detailed proof in , T satisfies (18) but does not satisfy (3), (6) and (7). Hence by Theorem 2 it follows that the k-step fixed point iteration (19) is T-stable.
To show that (18) holds, while (3), (6), (7) do not hold; see the detailed proof in .
It is easy to check that T satisfies condition (3) (with , ), condition (6) (with ), condition (7) (with ) and condition (27) (with , ) but does not satisfy (18).
a contradiction, since, by hypothesis, . Hence by Theorem 3 or Theorem 4 (but not by Theorem 2) it follows that the k-step fixed point iteration (19) is T-stable.
The next example illustrates unstable fixed point iterations, in the case neither (18) nor (27) is satisfied.
Example 3 Consider the case (in order to graph the orbits), with the Euclidean norm and let be given by , for all .
and take , to get the contradiction .
Note that for we obtain a convergent (and constant) sequence, , , while for as close as possible to 0.5 but different of 0.5 we have always unstable orbits .
Similar approaches to those in the present paper can be done for mappings defined on product spaces but adapted from the ones in the usual case; see the recent related fixed point results [38–42], and .
The authors research was supported by the Grant PN-II-RU-TE-2011-3-239 of the Romanian Ministry of Education and Research. The first author was also supported by the Grant PN-II-ID-PCE-2011-3-0087 of the Romanian Ministry of Education and Research.
- Jachymski JR: An extension of A. Ostrowski’s theorem on the round-off stability of iterations. Aequ. Math. 1997,53(3):242–253.MATHMathSciNetView ArticleGoogle Scholar
- Ostrowski AM: The round-off stability of iterations. Z. Angew. Math. Mech. 1967, 47: 77–81. 10.1002/zamm.19670470202MATHMathSciNetView ArticleGoogle Scholar
- Harder AM, Hicks TL: A stable iteration procedure for nonexpansive mappings. Math. Jpn. 1988,33(5):687–692.MATHMathSciNetGoogle Scholar
- Harder AM, Hicks TL: Stability results for fixed point iteration procedures. Math. Jpn. 1988,33(5):693–706.MATHMathSciNetGoogle Scholar
- Rhoades BE: Fixed point theorems and stability results for fixed point iteration procedures. Indian J. Pure Appl. Math. 1990,21(1):1–9.MATHMathSciNetGoogle Scholar
- Rhoades BE: Some fixed point iteration procedures. Int. J. Math. Math. Sci. 1991,14(1):1–16. 10.1155/S0161171291000017MATHMathSciNetView ArticleGoogle Scholar
- Rhoades BE: Fixed point theorems and stability results for fixed point iteration procedures. II. Indian J. Pure Appl. Math. 1993,24(11):691–703.MATHMathSciNetGoogle Scholar
- Osilike MO: Stability results for fixed point iteration procedures. J. Niger. Math. Soc. 1995/1996, 14/15: 17–29.MathSciNetGoogle Scholar
- Osilike MO: Stability of the Mann and Ishikawa iteration procedures for ϕ -strong pseudocontractions and nonlinear equations of the ϕ -strongly accretive type. J. Math. Anal. Appl. 1998,227(2):319–334. 10.1006/jmaa.1998.6075MATHMathSciNetView ArticleGoogle Scholar
- Osilike MO, Udomene A: Short proofs of stability results for fixed point iteration procedures for a class of contractive-type mappings. Indian J. Pure Appl. Math. 1999,30(12):1229–1234.MATHMathSciNetGoogle Scholar
- Zhou HY, Chang S-S, Cho YJ: Weak stability of the Ishikawa iteration procedures for ϕ -hemicontractions and accretive operators. Appl. Math. Lett. 2001,14(8):949–954. 10.1016/S0893-9659(01)00070-2MATHMathSciNetView ArticleGoogle Scholar
- Berinde V: On the stability of fixed point iteration procedures. Bul. Ştiinţ. - Univ. Baia Mare, Ser. B Fasc. Mat.-Inform. 2002,18(1):7–12.MATHMathSciNetGoogle Scholar
- Berinde V: Summable almost stability of fixed point iteration procedures. Carpath. J. Math. 2003,19(2):81–88.MATHMathSciNetGoogle Scholar
- Imoru C, Olatinwo MO: On the stability of Picard and Mann iteration processes. Carpath. J. Math. 2003,19(2):155–160.MATHMathSciNetGoogle Scholar
- Berinde V: Iterative Approximation of Fixed Points. Springer, Berlin; 2007.MATHGoogle Scholar
- Qing Y, Rhoades BE: T -stability of Picard iteration in metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 418971Google Scholar
- Olatinwo MO: Some stability results in complete metric space. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 2009, 48: 83–92.MATHMathSciNetGoogle Scholar
- Rus IA: An abstract point of view on iterative approximation of fixed points: impact on the theory of fixed point equations. Fixed Point Theory 2012,13(1):179–192.MATHMathSciNetGoogle Scholar
- Rus IA: Properties of the solutions of those equations for which Krasnoselskii iteration converges. Carpath. J. Math. 2012,28(2):329–336.MATHMathSciNetGoogle Scholar
- Prešić SB: Sur une classe d’inéquations aux différences finites et sur la convergence de certaines suites. Publ. Inst. Math. (Belgr.) 1965,5(19):75–78.Google Scholar
- Cirić LB, Prešić SB: On Prešić type generalization of the Banach contraction mapping principle. Acta Math. Univ. Comen. 2007,76(2):143–147.MATHGoogle Scholar
- Păcurar M: Iterative Methods for Fixed Point Approximation. Risoprint, Cluj-Napoca; 2010.Google Scholar
- Păcurar M: A multi-step iterative method for approximating fixed points of Prešić-Kannan operators. Acta Math. Univ. Comen. 2010,79(1):77–88.MATHGoogle Scholar
- Păcurar M: Approximating common fixed points of Prešić-Kannan type operators by a multi-step iterative method. An. Univ. “Ovidius” Constanţa, Ser. Mat. 2009,17(1):153–168.Google Scholar
- Păcurar M: Fixed points of almost Prešić operators by a k -step iterative method. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 2011, 57: 199–210.MATHGoogle Scholar
- Rus IA:An iterative method for the solution of the equation . Rev. Anal. Numér. Théor. Approx. 1981,10(1):95–100.MATHMathSciNetGoogle Scholar
- Berinde V, Păcurar M: An iterative method for approximating fixed points of Prešić nonexpansive mappings. Rev. Anal. Numér. Théor. Approx. 2009,38(2):144–153.MATHMathSciNetGoogle Scholar
- Berinde V, Păcurar M: Two elementary applications of some Prešić type fixed point theorems. Creative Math. Inform. 2011,20(1):32–42.Google Scholar
- Chen Y-Z: A Prešić type contractive condition and its applications. Nonlinear Anal. 2009, 71: e2012-e2017. 10.1016/j.na.2009.03.006MATHView ArticleGoogle Scholar
- Păvăloiu I: Rezolvarea ecuaţiilor prin interpolare. Editura Dacia, Cluj-Napoca; 1981.Google Scholar
- Păvăloiu I, Pop N: Interpolare şi aplicaţii. Risoprint, Cluj-Napoca; 2005.MATHGoogle Scholar
- Berinde V, Păcurar M: O metodă de tip punct fix pentru rezolvarea sistemelor ciclice. Gaz. Mat., Ser. B 2011,116(3):113–123.Google Scholar
- Păcurar M: A multi-step iterative method for approximating common fixed points of Prešić-Rus type operators on metric spaces. Stud. Univ. Babeş–Bolyai, Math. 2010,55(1):149–162.MATHGoogle Scholar
- Berinde V: A note on a difference inequality used in the iterative approximation of fixed points. Creative Math. Inform. 2009,18(1):6–9.MATHMathSciNetGoogle Scholar
- Rus IA, Şerban MA: Some generalizations of a Cauchy lemma and applications. In Topics in Mathematics, Computer Science and Philosophy. Edited by: Cobzas S. Cluj University Press, Cluj-Napoca; 2008:173–181.Google Scholar
- Wikipedia: Properties of polynomial roots. http://en.wikipedia.org/wiki/Properties_of_polynomial_rootsGoogle Scholar
- Berinde V: On a family of first order difference inequalities used in the iterative approximation of fixed points. Creative Math. Inform. 2009,18(2):110–122.MATHMathSciNetGoogle Scholar
- Berinde V: Convergence theorems for fixed point iterative methods defined as admissible perturbations of a nonlinear operator. Carpath. J. Math. 2013,29(1):9–18.MATHMathSciNetGoogle Scholar
- Choban MM: Fixed points for mappings defined on pseudometric spaces. Creative Math. Inform. 2013,22(2):173–184.MATHMathSciNetGoogle Scholar
- Harjani J, Sabetghadam F, Sadarangani K: Fixed point theorems for cyclic weak contractions in partially ordered sets endowed with a complete metric. Carpath. J. Math. 2013,29(2):179–186.MATHMathSciNetGoogle Scholar
- Păcurar M: Common fixed points for almost Prešić type operators. Carpath. J. Math. 2012,28(1):117–126.MATHGoogle Scholar
- Popa V: On some fixed point theorems for implicit almost contractive mappings. Carpath. J. Math. 2013,29(2):223–229.MATHGoogle Scholar
- Rus IA, Şerban M-A: Basic problems of the metric fixed point theory and the relevance of a metric fixed point theorem. Carpath. J. Math. 2013,29(2):239–258.MATHGoogle Scholar
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 credited.