# Stable Iteration Procedures in Metric Spaces which Generalize a Picard-Type Iteration

- M De la Sen
^{1}Email author

**2010**:953091

**DOI: **10.1155/2010/953091

© M. De la Sen. 2010

**Received: **25 March 2010

**Accepted: **11 July 2010

**Published: **27 July 2010

## Abstract

This paper investigates the stability of iteration procedures defined by continuous functions acting on self-maps in continuous metric spaces. Some of the obtained results extend the contraction principle to the use of altering-distance functions and extended altering-distance functions, the last ones being piecewise continuous. The conditions for the maps to be contractive for the achievement of stability of the iteration process can be relaxed to the fulfilment of being large contractions or to be subject to altering-distance functions or extended altering functions.

## 1. Introduction

Banach contraction principle is a very basic and useful result of Mathematical Analysis [1–7]. Basic applications of this principle are related to stability of both continuous-time and discrete-time dynamic systems [4, 8], including the case of high-complexity models for dynamic systems consisting of functional differential equations by the presence of delays [4, 9]. Several generalizations of the contraction principle are investigated in [2] by proving that the result still holds if altering-distance functions [1] are replaced with a difference of two continuous monotone nondecreasing real functions which take zero values only at the origin. The so-called -times reasonable expansive mappings and the associated existence of unique fixed points are investigated in [7]. The so-called Halpern's iteration [10] and several of its extensions in the context of fixed-point theory have been investigated in [11–13]. Further extended viscosity iteration schemes with nonexpansive mappings based on the above one have been investigated in [9, 10, 12–18], while proving the common existence of unique fixed points for the related schemes and the strong convergence of the iterations to those points for any arbitrary initial conditions. The stability of Picard iteration has been investigated exhaustively (see, e.g., [5, 19–22]). The Picard and approximate Picard methods have been also used in classical papers for proving the existence and uniqueness of solutions in many differential equations including those of Sobolev type (see, e.g., [23]).

This paper presents some generalizations of results concerning the stability of iterations in the sense that the iteration scheme subject to error sequences converges asymptotically to its nominal fixed point provided that the iteration error converges asymptotically to zero. Several generalizations are discussed in the framework of stability of iteration schemes in complete metric spaces including:

(a)the use of altering-distance functions (Definition 1.1) [1, 2], and the so-called then defined extended altering functions (Definition 2.1 in Section 2) where the continuous altering functions are allowed to be piecewise continuous;

(b)the use of iteration schemes which are based on continuous functions which modify the Picard iteration scheme [5, 6];

(c)the removal of the common hypothesis in the context of -stability that the set of fixed points of the iteration scheme is nonempty by guaranteeing that this is in fact true under contractive mappings, large contractions, or altering- and extended altering-distance functions, [1–4, 6].

Definition 1.1 (see [1] (*altering-distance function*)).

A monotone nondecreasing function , with , if and only if , is said to be an altering-distance function.

for some monotone nondecreasing function satisfying . Those results are directly extended to monotone nondecreasing piecewise continuous functions being continuous at "0" after a preliminary "ad hoc" definition in the subsequent section.

## 2. Fixed Point Properties Related to Altering- and Extended Altering-Distance Functions

Since but continuous at it can possess bounded isolated discontinuities on and it is necessary to reflect this fact in the notation as follows. The left (resp., right) limit of at is simply denoted by , instead of using the more cumbersome classical notation (resp., by instead of using the more cumbersome ). Since is an extended altering-distance function, then continuous at , . If is continuous at a given , then . If is has a discontinuity point (of second class), then , with .

Definition 2.1 (extended altering-distance function).

A monotone nondecreasing function being continuous at "0", with , if and only if , is said to be an extended altering-distance function.

Theorem 2.2.

Let be a complete metric space and be a self-mapping on . Then, the following properties hold.

(i)Assume that is an altering-distance function such that , for all for some real constant . Then has a unique fixed point [1].

(ii)Assume that is an extended altering-distance function such that and , for all for some real function

for all for some monotone nondecreasing function satisfying for all and , if and only if , then has a unique fixed point.

Proof.

Thus, there is a unique which is in , the set of fixed points of , that is, , for all . Since is a complete metric space and the sequence with is a Cauchy sequence, for all then . It holds trivially that all the above proof also holds for special case and some monotone nondecreasing function satisfying (i.e., is a weak contraction) as may be proven [3] (see also [24]). Property (ii) has been fully proven.

Theorem 2.2 might be linked to the concept of large contraction which is less restrictive than that of contraction. The related discussion follows.

Definition 2.3 (see [4] (*large contraction*)).

Let be a complete metric space. Then, the self-mapping on is said to be a large contraction, if , for all , and if for any given , such that , then there exist , such that .

It turns out that a contraction is also a large contraction with being independent of in Definition 2.3. The following result proves that the self-mapping on satisfying Theorem 2.2(ii) is a large contraction.

Proposition 2.4.

Let be a complete metric space and be a self-mapping on . If is a modified altering-distance function which satisfies the conditions of Theorem 2.2(ii), then is a large contraction.

Proof.

which are two contradictions. Thus, , for some and is a large contraction.

It is now proven that the sequence is uniformly bounded if Theorem 2.2(ii) holds.

Proposition 2.5.

Let be a complete metric space and be a self-mapping on . If is a modified altering-distance function which satisfies the conditions of Theorem 2.2(ii), then , for all and .

Proof.

which is a contradiction unless , as , as , since is continuous at and , if and only if But, if the subsequence has a zero limit as , then it is a bounded sequence. Thus, as is false and then , being unbounded fails so that the contradiction follows. The right-limit convergence leads to the same conclusion. As a result, there is no such that , is unbounded and the result is fully proven.

An alternative proof to that of Theorem 2.2(ii) related to the existence of a unique fixed point in , follows directly by using Theorem in [4] since is a large contraction and the sequence is uniformly bounded (Propositions 2.4 and 2.5).

Proposition 2.6.

Let be a complete metric space and be a large contraction. If is a modified altering-distance function which satisfies the conditions of Theorem 2.2(ii), then has a unique fixed point in .

Proof.

is a large contraction from Proposition 2.4, since it fulfils Theorem 2.2(ii). Also, , for all and from Proposition 2.5. Thus, from [4, Theorem ], has a unique fixed point in .

The following result is a direct consequence of Theorem 2.2, Propositions 2.4 and 2.5.

Proposition 2.7.

Let be a complete metric space and be a weak contraction on . Then, , for all and and has a unique fixed point on .

## 3. -Stability Related to a Class of Nonlinear Iterations Related to Distance and Altering-Distance Functions

for all ; , with and , provided that the set of fixed points is nonempty. If is identity, then the above property is stated as satisfying the property.

Theorem 3.1.

Assume that

(1) is a complete metric space, is a continuous mapping, and is a self-mapping on such that the set of fixed points of the iteration procedure , for all , is nonempty;

(2)the pair satisfies the property; that is, ; for all with and ;

(3) , for all .

Then, the iteration procedure , for all , is -stable and it possesses a unique fixed point.

Proof.

*f*is -stable. It is proven by contradiction that the fixed point of the iteration procedure , for all is unique. Assume that there exists . Then,

what is impossible if . Then, .

Theorem 3.1 is now extended by extending the property of the pair to that of the triple , where is an appropriate continuous function.

Theorem 3.2.

Assume that

(1) is a complete metric space, is a continuous mapping, and is a self-mapping on such that the set of fixed points of the iteration procedure , for all , is nonempty;

(2) is continuous, satisfies , possesses the subadditive property, and, furthermore, the triple satisfies the property defined by + for all with and ;

(3) , for all .

Then, the iteration procedure , for all is -stable and it possesses a unique fixed point.

Proof.

according to Hypothesis ( ) since and from Hypothesis ( ). Since is everywhere continuous and satisfies , then as . Also, as as . The remaining of the proof follows with the same arguments as in that of Theorem 3.1.

Theorem 3.3.

Assume that

(1) is a complete metric space, is a continuous mapping, and is a self-mapping on such that the set of fixed points of the iteration procedure , for all , is nonempty;

(2) and are both continuous and monotone nondecreasing while satisfying , and, furthermore, the quadruple satisfies the property: , for all ; and for all with and ;

(3) , for all .

Then, the iteration procedure , for all is -stable and it possesses a unique fixed point.

Proof.

Since and are both continuous and monotone nondecreasing then Hypothesis ( ) implies that , for all and ; for all with and which is Hypothesis ( ) of Theorem 3.1. Furthermore, from the continuity of everywhere within its definition domain and its property . Thus, the proof follows as in Theorem 3.1 since Hypothesis ( ) to ( ) of this theorem hold.

The following direct particular result of Theorems 3.1 to 3.3 follows.

Corollary 3.4.

Theorems 3.1, 3.2, and 3.3 hold "mutatis-mutandis" stated for the function being the identity mapping on and .

Corollary 3.4 referred to Theorem 3.1 was first proven in [5]. It is now of interest the removal of the condition of the set of fixed points to be nonempty by guaranteeing that is in fact nonempty consisting of a unique element under extra contractive properties of the pair . The following result holds.

Theorem 3.5.

The following two properties hold.

(ii)Consider the iteration process , for all and . If satisfies the property while the pair is a -contraction (i.e., a contractive mapping with constant , then for some , and, furthermore,

- (i)Equation (3.7) follows from the property leading to(3.11)

- (ii)Equation (3.9) follows from the property leading to(3.15)

*f*, ) is -contractive. Then,

again with the use of the property.

Theorem 3.5(ii) allows directly extending Theorem 3.1 as follows by removing the requirement of the set of fixed points to be nonempty with a unique element since this is guaranteed by the Banach contractive mapping principle.

Theorem 3.6.

Then, the iteration procedure , for all is -stable with being its unique fixed point, that is, .

A direct particular case of Theorem 3.5 applies directly to the case of *f* being the identity map on
via Theorem 3.5(i).

Corollary 3.7.

with being any fixed point; that is, and some real constants , , and , and, furthermore, , for all . Then, the Picard iteration procedure , for all , is -stable with being its unique fixed point, that is, .

Theorems 3.5 and 3.6 and Corollary 3.7 are directly extendable to the case that the pair is a large contraction. Also, Theorem 3.6 and Corollary 3.7 can be extended directly for the use of distance functions or extended altering-distance functions as follows.

Theorem 3.8.

Assume that

(1) is a complete metric space, is a continuous mapping on , and is a self-mapping on ;

(2) is an extended altering-distance function (Definition 2.1) satisfying the conditions of Theorem 2.2(ii) with some monotone nondecreasing function satisfying , for all , and , if and only if ;

for all , and with real constants and ;

(4) , for all .

Then, the iteration procedure , for all , is -stable with being its unique fixed point, that is, .

Corollary 3.9.

Assume that Assumptions ( ) and ( ) of Theorem 3.8 hold, and, furthermore,

(1) is an altering-distance function satisfying the conditions of Theorem 2.2(i), for all , satisfying , if and only if ;

for all , and with real constants and ;

(3) , for all .

Then, the iteration procedure , for all is -stable with being its unique fixed point, that is, .

## Declarations

### Acknowledgments

The author is very grateful to the Spanish Ministry of Education for its partial support of this work through Grant DPI2009-07197. He is also grateful to the Basque Government for its support through Grants IT378-10, SAIOTEK S-PE08UN15, and SAIOTEK SPE07UN04.

## Authors’ Affiliations

## References

- Khan MS, Swaleh M, Sessa S:
**Fixed point theorems by altering distances between the points.***Bulletin of the Australian Mathematical Society*1984,**30**(1):1–9. 10.1017/S0004972700001659MathSciNetView ArticleMATHGoogle Scholar - Dutta PN, Choudhury BS:
**A generalisation of contraction principle in metric spaces.***Fixed Point Theory and Applications*2008,**2008:**-8.Google Scholar - Chidume CE, Zegeye H, Aneke SJ:
**Approximation of fixed points of weakly contractive nonself maps in Banach spaces.***Journal of Mathematical Analysis and Applications*2002,**270**(1):189–199. 10.1016/S0022-247X(02)00063-XMathSciNetView ArticleMATHGoogle Scholar - Burton TA:
*Stability by Fixed Point Theory for Functional Differential Equations*. Dover, Mineola, NY, USA; 2006:xiv+348.MATHGoogle Scholar - Qing Y, Rhoades BE: T
**-stability of Picard iteration in metric spaces.***Fixed Point Theory and Applications*2008,**2008:**-4.Google Scholar - Liu Q:
**A convergence theorem of the sequence of Ishikawa iterates for quasi-contractive mappings.***Journal of Mathematical Analysis and Applications*1990,**146**(2):301–305. 10.1016/0022-247X(90)90303-WMathSciNetView ArticleMATHGoogle Scholar - Chen C, Zhu C:
**Fixed point theorems for**n**times reasonable expansive mapping.***Fixed Point Theory and Applications*2008,**2008:**-6.Google Scholar - Mendel JM:
*Discrete Techniques of Parameter Estimation: The Equation Error Formulation*. Marcel Dekker, New York, NY, USA; 1973:xiv+385.Google Scholar - De la Sen M:
**About robust stability of dynamic systems with time delays through fixed point theory.***Fixed Point Theory and Applications*2008, -20.Google Scholar - Halpern B:
**Fixed points of nonexpanding maps.***Bulletin of the American Mathematical Society*1967,**73:**957–961. 10.1090/S0002-9904-1967-11864-0MathSciNetView ArticleMATHGoogle Scholar - Hu LG:
**Strong convergence of a modified Halpern's iteration for nonexpansive mappings.***Fixed Point Theory and Applications*2008, -9.Google Scholar - Saeidi S:
**Approximating common fixed points of Lipschitzian semigroup in smooth Banach spaces.***Fixed Point Theory and Applications*2008, -17.Google Scholar - Lions PL:
**Approximation de points fixes de contractions.***Comptes Rendus de l'Académie des sciences*1977,**284**(21):A1357-A1359.MathSciNetGoogle Scholar - Suzuki T:
**Strong convergence of Krasnoselskii and Mann's type sequences for one-parameter nonexpansive semigroups without Bochner integrals.***Journal of Mathematical Analysis and Applications*2005,**305**(1):227–239. 10.1016/j.jmaa.2004.11.017MathSciNetView ArticleMATHGoogle Scholar - Aleyner A, Reich S:
**An explicit construction of sunny nonexpansive retractions in Banach spaces.***Fixed Point Theory and Applications*2005,**2005**(3):295–305.MathSciNetView ArticleMATHGoogle Scholar - Xu HK:
**Viscosity approximation methods for nonexpansive mappings.***Journal of Mathematical Analysis and Applications*2004,**298**(1):279–291. 10.1016/j.jmaa.2004.04.059MathSciNetView ArticleMATHGoogle Scholar - Benavides TD, Acedo GL, Xu HK:
**Construction of sunny nonexpansive retractions in Banach spaces.***Bulletin of the Australian Mathematical Society*2002,**66**(1):9–16. 10.1017/S0004972700020621MathSciNetView ArticleMATHGoogle Scholar - Moudafi A:
**Viscosity approximation methods for fixed-points problems.***Journal of Mathematical Analysis and Applications*2000,**241**(1):46–55. 10.1006/jmaa.1999.6615MathSciNetView ArticleMATHGoogle Scholar - Popescu O:
**T- stability of Picard iteration in metric spaces.***Bulletin of the Transilvania University of Brasov, Series III*2009,**2**(51):211–214.MathSciNetMATHGoogle Scholar - Thorlund L:
**Fixed point iterations and global stability in economics.***Mathematics of Operations Research*1985,**10**(4):642–649. 10.1287/moor.10.4.642MathSciNetView ArticleMATHGoogle Scholar - Agarwal RP, O'Regan Donal, Sahu DR:
**Iterative construction of fixed points of nearly asymptotically nonexpansive mappings.***Journal of Nonlinear and Convex Analysis*2007,**8**(1):61–79.MathSciNetMATHGoogle Scholar - De la Sen M:
**Some combined relations between contractive mappings, Kannan mappings, reasonable expansive mappings, and**T**-stability.***Fixed Point Theory and Applications*2009,**2009:**-25.Google Scholar - Agarwal RP:
**Boundary value problems for second order differential equations of Sobolev type.***Computers & Mathematics with Applications*1988,**15**(2):107–118. 10.1016/0898-1221(88)90080-6MathSciNetView ArticleMATHGoogle Scholar - Lau ATM, Miyake H, Takahashi W:
**Approximation of fixed points for amenable semigroups of nonexpansive mappings in Banach spaces.***Nonlinear Analysis. Theory, Methods & Applications*2007,**67**(4):1211–1225. 10.1016/j.na.2006.07.008MathSciNetView ArticleMATHGoogle Scholar

## Copyright

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.