Nonexpansiveness and Fractal Maps in Hilbert Spaces

Picard iteration is on the basis of a great number of numerical methods and applications of mathematics. However, it has been known since the 1950s that this method of fixed-point approximation may not converge in the case of nonexpansive mappings. In this paper, an extension of the concept of nonexpansiveness is presented in the first place. Unlike the classical case, the new maps may be discontinuous, adding an element of generality to the model. Some properties of the set of fixed points of the new maps are studied. Afterwards, two iterative methods of fixed-point approximation are analyzed, in the frameworks of b-metric and Hilbert spaces. In the latter case, it is proved that the symmetrically averaged iterative procedures perform well in the sense of convergence with the least number of operations at each step. As an application, the second part of the article is devoted to the study of fractal mappings on Hilbert spaces defined by means of nonexpansive operators. The paper considers fractal mappings coming from φ-contractions as well. In particular, the new operators are useful for the definition of an extension of the concept of α-fractal function, enlarging its scope to more abstract spaces and procedures. The fractal maps studied here have quasi-symmetry, in the sense that their graphs are composed of transformed copies of itself.