- Research
- Open access
- Published:
Stability of k-step fixed point iterative methods for some Prešić type contractive mappings
Journal of Inequalities and Applications volume 2014, Article number: 149 (2014)
Abstract
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.
1 Introduction
Let be a metric space and a self-mapping. Denote by the set of fixed points of T. If is complete and T is a contraction, i.e., there exists a constant such that
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 .
When applying contraction mapping principle for solving concrete nonlinear problems, because of rounding errors, numerical approximations of functions, derivatives or integrals, discretization etc., instead of the theoretical sequence , defined by the given iterative method, we practically work with an approximate sequence , satisfying the following approximation bounds:
where the positive quantity can be interpreted as the ‘round-off error’ of ; see [1].
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 .
This question has been answered in the positive, in the case of contraction condition (1), by Ostrowski [2], who established the first stability result for a fixed point iteration procedure, by using the following estimate:
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ć [20] 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 [29], 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 [15] 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ć [20], which will be fundamental in establishing our stability results for k-step fixed point iterative methods in the present paper.
Theorem 1 (Prešić [20], 1965)
Let be a complete metric space, k a positive integer, , and a mapping satisfying
for all .
Then:
-
(1)
T has a unique fixed point , that is, there exists a unique such that ;
-
(2)
the sequence defined by
(4)
converges to , for any .
It is easy to see that, in the particular case , from Theorem 1 we get exactly the well-known Banach contraction mapping principle, while the k-step iterative method (4) reduces to Picard iteration:
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 [30] 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 [29].
An important generalization of Theorem 1 was proved by Rus [26], for operators T fulfilling the more general condition
for any , where satisfies certain appropriate conditions.
Another important generalization of Prešić’s result was recently obtained by Cirić and Prešić in [21], where, instead of (3) and its generalization (6), the following contraction condition is considered:
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 [23], which is more general than (7), (6) and (3).
3 Some useful lemmas
In order to obtain simple and short proofs for our main results in this paper we shall need some auxiliary lemmas. A proof of the following lemma can be found in [34]; see also [35].
Lemma 1 (Cauchy)
Let , be sequences of nonnegative numbers satisfying
Then
We note that by Lemma 1 we find that the second term in (2) converges to zero:
Lemma 2 Let k be a positive integer and , two sequences of nonnegative real numbers satisfying the inequality
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.
We first show that if the sequence is given by , and
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 .
Note that in the general case, the characteristic equation
has all its roots (not always real) in absolute value in the interval , by virtue of a consequence of the Rouché theorem, see [36], which reads as follows.
Let be a polynomial with complex coefficients such that . Then there are exactly n (counted with multiplicity) roots of absolute value less than R, where
Now, let’s come back to the inequality (8) with , and . Take formally in (8) to obtain
then multiply both sides of this inequality by and sum up all the inequalities obtained for to get
Now apply Lemma 1 to get the desired conclusion. □
Remark 1 Note that for , by Lemma 2 we obtain Theorem 2.1 in [37], 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 [17].
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.
Let be a metric space, a self-operator with and let be a fixed point iteration procedure of the general form
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, [3])
Let be an arbitrary sequence in X and set
We shall say that the fixed point iteration procedure (10) is T-stable or stable with respect to T if
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 [9] introduced the concept of almost stability, while Berinde [12] introduced the concept of summable almost stability, two notions which are presented in the following.
Definition 2 (Osilike, [9])
Let be a metric space, a self-operator with and let be a fixed point iteration procedure given by (10), supposed to converge to a fixed point p of T. Let be an arbitrary sequence in X and let be defined by (11). We shall say that the fixed point iteration procedure (10) is almost T-stable or almost stable with respect to T if
Definition 3 (Berinde, [13])
Let be a metric space, a self-operator with and let be a fixed point iteration procedure given by (10), supposed to converge to a fixed point p of T. Let be an arbitrary sequence in X and let be defined by (11). We shall say that the fixed point iteration procedure (10) is summable almost T-stable or summable almost stable with respect to T if
It is clear from Definitions 1-3 that:
-
(1)
any stable iteration procedure is almost stable;
-
(2)
any summable almost stable procedure is almost stable,
but the reverses of these assertions are not generally true; see Example 1 in [13]. 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.
Definition 4 Let be a metric space, k a positive integer, a mapping with and let be a k-step fixed point iteration procedure of the general form
which converges to a fixed point p of T. Let be an arbitrary sequence in X and set
We shall say that the fixed point iteration procedure (15) is T-stable or stable with respect to T if
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 ([23], Theorem 2).
Theorem 2 Let be a complete metric space, k a positive integer, a constant such that and a mapping satisfying the following contractive type condition:
for any .
Then:
-
(1)
T has a unique fixed point , that is, there exists a unique such that ;
-
(2)
The sequence with and
(19)
converges to ;
-
(3)
The k-step iteration given by (19) is T-stable.
Proof Items (1) and (2) follow by Theorem 2 in [23]. Now let be an arbitrary sequence in X and denote
First, by triangle inequality, we have
In view of the contractive condition (18), we have
If we denote , then by the above inequality we get
On the other hand, for any j we have, by the triangle inequality,
Similarly to the way we obtained (22), we get for any ,
where, by hypothesis, .
Since is a fixed point of T, by taking and in (24) we have
Now, by (23) we get
that is,
Now, by (21), (22), and (25) we find that the sequence of non-negative real numbers satisfies the recurrence inequality
where . It is a simple task to show that
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).
Denote .
Theorem 3 Let be a metric space, k a positive integer and a mapping with the property that for which there exist , satisfying
for all and some . Then the k-step iteration defined by (4) is T-stable.
Proof Let be an arbitrary sequence in X and denote
By triangle inequality, we have
and by (27) we obtain
which together with (28) yields
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.
Theorem 4 Let be a metric space, k a positive integer and a mapping with the property that and for which there exist , and a constant such that
for all . Then the k-step iteration defined by (4) is T-stable.
Proof Let be an arbitrary sequence in X and denote
If then by triangle inequality we get (28) and by taking , …, and in (30) we obtain
since . The rest of the proof follows similarly to the proof of Theorem 2. □
5 Examples and concluding remarks
Example 1 ([23], Example 1)
Let with the usual metric and be defined by
Then, see the detailed proof in [23], 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 [23].
Example 2 Let with the usual metric and be defined by
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).
Assume condition (18) does hold and take , and . We get
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 .
Then T does not satisfy (3), (18), (27), and (30), and the orbits of under T behave chaotic; see Figure 1.
Indeed, assume that (3) holds, i.e.,
and take , to get the contradiction . For the same values of x and y, (18) and (30) are not satisfied. Now, assume that (27) holds for , i.e.,
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 [43].
References
Jachymski JR: An extension of A. Ostrowski’s theorem on the round-off stability of iterations. Aequ. Math. 1997,53(3):242–253.
Ostrowski AM: The round-off stability of iterations. Z. Angew. Math. Mech. 1967, 47: 77–81. 10.1002/zamm.19670470202
Harder AM, Hicks TL: A stable iteration procedure for nonexpansive mappings. Math. Jpn. 1988,33(5):687–692.
Harder AM, Hicks TL: Stability results for fixed point iteration procedures. Math. Jpn. 1988,33(5):693–706.
Rhoades BE: Fixed point theorems and stability results for fixed point iteration procedures. Indian J. Pure Appl. Math. 1990,21(1):1–9.
Rhoades BE: Some fixed point iteration procedures. Int. J. Math. Math. Sci. 1991,14(1):1–16. 10.1155/S0161171291000017
Rhoades BE: Fixed point theorems and stability results for fixed point iteration procedures. II. Indian J. Pure Appl. Math. 1993,24(11):691–703.
Osilike MO: Stability results for fixed point iteration procedures. J. Niger. Math. Soc. 1995/1996, 14/15: 17–29.
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.6075
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.
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-2
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.
Berinde V: Summable almost stability of fixed point iteration procedures. Carpath. J. Math. 2003,19(2):81–88.
Imoru C, Olatinwo MO: On the stability of Picard and Mann iteration processes. Carpath. J. Math. 2003,19(2):155–160.
Berinde V: Iterative Approximation of Fixed Points. Springer, Berlin; 2007.
Qing Y, Rhoades BE: T -stability of Picard iteration in metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 418971
Olatinwo MO: Some stability results in complete metric space. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 2009, 48: 83–92.
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.
Rus IA: Properties of the solutions of those equations for which Krasnoselskii iteration converges. Carpath. J. Math. 2012,28(2):329–336.
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.
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.
Păcurar M: Iterative Methods for Fixed Point Approximation. Risoprint, Cluj-Napoca; 2010.
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.
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.
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.
Rus IA:An iterative method for the solution of the equation . Rev. Anal. Numér. Théor. Approx. 1981,10(1):95–100.
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.
Berinde V, Păcurar M: Two elementary applications of some Prešić type fixed point theorems. Creative Math. Inform. 2011,20(1):32–42.
Chen Y-Z: A Prešić type contractive condition and its applications. Nonlinear Anal. 2009, 71: e2012-e2017. 10.1016/j.na.2009.03.006
Păvăloiu I: Rezolvarea ecuaţiilor prin interpolare. Editura Dacia, Cluj-Napoca; 1981.
Păvăloiu I, Pop N: Interpolare şi aplicaţii. Risoprint, Cluj-Napoca; 2005.
Berinde V, Păcurar M: O metodă de tip punct fix pentru rezolvarea sistemelor ciclice. Gaz. Mat., Ser. B 2011,116(3):113–123.
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.
Berinde V: A note on a difference inequality used in the iterative approximation of fixed points. Creative Math. Inform. 2009,18(1):6–9.
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.
Wikipedia: Properties of polynomial roots. http://en.wikipedia.org/wiki/Properties_of_polynomial_roots
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.
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.
Choban MM: Fixed points for mappings defined on pseudometric spaces. Creative Math. Inform. 2013,22(2):173–184.
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.
Păcurar M: Common fixed points for almost Prešić type operators. Carpath. J. Math. 2012,28(1):117–126.
Popa V: On some fixed point theorems for implicit almost contractive mappings. Carpath. J. Math. 2013,29(2):223–229.
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.
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Berinde, V., Păcurar, M. Stability of k-step fixed point iterative methods for some Prešić type contractive mappings. J Inequal Appl 2014, 149 (2014). https://doi.org/10.1186/1029-242X-2014-149
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-149