- Research Article
- Open Access
On -Stability of Picard Iteration in Cone Metric Spaces
© The Author(s). 2009
- Received: 28 March 2009
- Accepted: 19 October 2009
- Published: 28 October 2009
The aim of this work is to investigate the -stability of Picard's iteration procedures in cone metric spaces and give an application.
- Positive Integer
- Continuous Function
- Differential Geometry
- Normed Space
- Normal Cone
Let be a real Banach space. A nonempty convex closed subset is called a cone in if it satisfies the following:
(i) is closed, nonempty, and ,
(ii) , and imply that
(iii) and imply that
The space can be partially ordered by the cone ; by defining, if and only if . Also, we write if int , where int denotes the interior of .
A cone is called normal if there exists a constant such that implies .
In the following we always suppose that is a real Banach space, is a cone in , and is the partial ordering with respect to .
Definition 1.1 (see ).
Let be a nonempty set. Assume that the mapping satisfies the following:
(i) for all and if and only if ,
(ii) for all ,
(iii) for all .
Then is called a cone metric on , and is called a cone metric space.
Let be a map for which there exist real numbers satisfying . Then is called a Zamfirescu operator if, for each pair , satisfies at least one of the following conditions:
for all , where max , with . For normed spaces see .
Lemma 1.3 (see ).
where for all and as Then
where for all and for some positive integer number . If as Then
where and as Then
and then by Remark 1.4?? Therefore
Let be a cone metric space, and a self-map of . Let be a point of , and assume that is an iteration procedure, involving , which yields a sequence of points from .
Definition 2.1 (see ).
The iteration procedure is said to be -stable with respect to if converges to a fixed point of and whenever is a sequence in with we have
In practice, such a sequence could arise in the following way. Let be a point in . Set . Let . Now . Because of rounding or discretization in the function , a new value approximately equal to might be obtained instead of the true value of . Then to approximate , the value is computed to yield , an approximation of . This computation is continued to obtain an approximate sequence of .
One of the most popular iteration procedures for approximating a fixed point of is Picard's iteration defined by . If the conditions of Definition 2.1 hold for then we will say that Picard's iteration is -stable.
Recently Qing and Rhoades  established a result for the -stability of Picard's iteration in metric spaces. Here we are going to generalize their result to cone metric spaces and present an application.
for each and in addition, whenever is a sequence with as , then Picard's iteration is -stable.
if we put and in Lemma 1.5, then we have
Let be a cone metric space, a normal cone, and with If there exists a number such that for each then Picard's iteration is -stable.
Let be a cone metric space, a normal cone, and is a Zamfirescu operator with and whenever is a sequence with as , then Picard's iteration is -stable.
Definition 2.5 (see ).
Let be a cone metric space. A map is called a quasicontraction if for some constant and for every there exists such that
If is a quasicontraction with , then is a Zamfirescu operator and so satisfies (2.1).
Put so The other cases are similarly proved. Therefore is a Zamfirescu operator.
Let be a nonempty complete cone metric space, be a normal cone, and a quasicontraction and self map of with some Then Picard's iteration is -stable.
Hence we have or where or and or Therefore by (2.7), by Now by Lemma 1.5 we have
Let with for and let be a self map of defined by where
(a) is a continuous function,
(b)the partial derivative of with respect to exists and for some
(c)for every real number one has for every
Let be a normal cone and the complete cone metric space defined by where Then,
(i)Picard's iteration is -stable if ,
(ii)Picard's iteration fails to be -stable if and
We have being a continuous quasicontraction map with so by Theorem 2.7, Picard's iteration is -stable.
as But and is not a fixed point for Therefore Picard's iteration is not -stable.
Let and Therefore and satisfy the hypothesis of Theorem 3.1 where has property (i) and has property (ii). So the self maps of defined by and have unique fixed points but Picard's iteration is -stable for but not -stable for
- Huang L-G, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. Journal of Mathematical Analysis and Applications 2007,332(2):1468–1476. 10.1016/j.jmaa.2005.03.087MathSciNetView ArticleMATHGoogle Scholar
- Zhiqun X: Remarks of equivalence among Picard, Mann, and Ishikawa iterations in normed spaces. Fixed Point Theory and Applications 2007, 2007:-5.Google Scholar
- Vasilev FP: Numerical Methodes for Solving Extremal Problems. 2nd edition. Nauka, Moscow, Russian; 1988:550.Google Scholar
- Harder AM, Hicks TL: Stability results for fixed point iteration procedures. Mathematica Japonica 1988,33(5):693–706.MathSciNetMATHGoogle Scholar
- Qing Y, Rhoades BE: -stability of Picard iteration in metric spaces. Fixed Point Theory and Applications 2008, 2008:-4.Google Scholar
- Ilic D, Rakocevic V: Quasi-contraction on a cone metric space. Applied Mathematics Letters 2009,22(5):728–731. 10.1016/j.aml.2008.08.011MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.