IFS on a metric space with a graph structure and extensions of the Kelisky–Rivlin theorem

Abstract We develop the Hutchinson–Barnsley theory for finite families of mappings on a metric space endowed with a directed graph. In particular, our results subsume a classical theorem of J.E. Hutchinson [J.E. Hutchinson, Fractals and self-similarity, Indiana Univ. Math. J. 30 (1981) 713–747] on the existence of an invariant set for an iterated function system of Banach contractions, and a theorem of L. Mate [L. Mate, The Hutchinson–Barnsley theory for certain non-contraction mappings, Period. Math. Hungar. 27 (1993) 21–33] concerning finite families of locally uniformly contractions introduced by Edelstein. Also, they generalize recent fixed point theorems of A.C.M. Ran and M.C.B. Reurings [A.C.M. Ran, M.C.B. Reurings, A fixed point theorem in partially ordered sets and some applications to matrix equations, Proc. Amer. Math. Soc. 132 (2004) 1435–1443], J.J. Nieto and R. Rodriguez-Lopez [J.J. Nieto, R. Rodriguez-Lopez, Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations, Order 22 (2005) 223–239; J.J. Nieto, R. Rodriguez-Lopez, Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations, Acta Math. Sin. (Engl. Ser.) 23 (2007) 2205–2212], and A. Petrusel and I.A. Rus [A. Petrusel, I.A. Rus, Fixed point theorems in ordered L-spaces, Proc. Amer. Math. Soc. 134 (2006) 411–418] for contractive mappings on an ordered metric space. As an application, we obtain a theorem on the convergence of infinite products of linear operators on an arbitrary Banach space. This result yields new generalizations of the Kelisky–Rivlin theorem on iterates of the Bernstein operators on the space C [ 0 , 1 ] as well as its extensions given recently by H. Oruc and N. Tuncer [H. Oruc, N. Tuncer, On the convergence and iterates of q-Bernstein polynomials, J. Approx. Theory 117 (2002) 301–313], and H. Gonska and P. Piţul [H. Gonska, P. Piţul, Remarks on an article of J.P. King, Comment. Math. Univ. Carolin. 46 (2005) 645–652].

[1]  T. J. Rivlin,et al.  Iterates of Bernstein polynomials. , 1967 .

[2]  J. P. King.  Positive linear operators which preserve x2 , 2003 .

[3]  J. Matkowski.  Integrable solutions of functional equations , 1975 .

[4]  Richard J. Nowakowski,et al.  Fixed-edge theorem for graphs with loops , 1979, J. Graph Theory.

[5]  R. Daniel Mauldin,et al.  Hausdorff dimension in graph directed constructions , 1988 .

[6]  Chen Falai,et al.  Limit of iterates for bernstein polynomials defined on a triangle , 1993 .

[7]  Iterates of Bernstein operators, via contraction principle , 2004 .

[8]  Iterates of a class of discrete linear operators via contraction principle , 2003 .

[9]  Remarks on an article of J.P. King , 2005 .

[10]  Juan J. Nieto,et al.  Contractive Mapping Theorems in Partially Ordered Sets and Applications to Ordinary Differential Equations , 2005, Order.

[11]  Necibe Tuncer,et al.  On the Convergence and Iterates of q-Bernstein Polynomials , 2002, J. Approx. Theory.

[12]  Donal O'Regan,et al.  Fixed point theorems for generalized contractions in ordered metric spaces , 2008 .

[13]  Sofiya Ostrovska,et al.  q-Bernstein polynomials and their iterates , 2003, J. Approx. Theory.

[14]  Adrian Petruşel,et al.  Fixed point theorems in ordered L-spaces , 2005 .

[15]  Juan J. Nieto,et al.  Existence and Uniqueness of Fixed Point in Partially Ordered Sets and Applications to Ordinary Differential Equations , 2007 .

[16]  A. Ran,et al.  A fixed point theorem in partially ordered sets and some applications to matrix equations , 2003 .

[17]  Juan J. Nieto,et al.  Fixed point theorems in ordered abstract spaces , 2007 .

[18]  J. Jachymski,et al.  The Hutchinson-Barnsley theory for infinite iterated function systems , 2005, Bulletin of the Australian Mathematical Society.

[19]  The Hutchinson-Barnsley theory for certain non-contraction mappings , 1993 .

[20]  Ravi P. Agarwal,et al.  Generalized contractions in partially ordered metric spaces , 2008 .

[21]  William A. Kirk,et al.  Fixed point theorems in R-trees with applications to graph theory , 2006 .

[22]  G. A. Edgar,et al.  A fractal dimension estimate for a graph-directed IFS of non-similarities , 1998 .

[23]  G. A. Edgar.  Measure, Topology, and Fractal Geometry , 1990 .

[24]  Michael F. Barnsley,et al.  Fractals everywhere , 1988 .

[25]  F. G. Badía,et al.  On the Iterates of Some Bernstein-Type Operators , 1997 .

[26]  G. A. Edgar,et al.  A FRACTAL DIMENSION ESTIMATE FOR A GRAPH-DIRECTED ITERATED FUNCTION SYSTEMOF NON-SIMILARITIES , 1999 .

[27]  J. Jachymski,et al.  The contraction principle for mappings on a metric space with a graph , 2007 .

[28]  H. Wenz.  On the Limits of (Linear Combinations of) Iterates of Linear Operators , 1997 .

[29]  M. Edelstein,et al.  An extension of Banach’s contraction principle , 1961 .