Abstract and Applied Analysis
Volume 2003 (2003), Issue 8, Pages 449-477
doi:10.1155/S1085337503212021

Mann iterates of directionally nonexpansive mappings in hyperbolic spaces

Ulrich Kohlenbach1 and Leuştean Laurenţiu2

1Department of Computer Science, University of Aarhus, Ny Munkegade, Aarhus C DK-8000, Denmark
2National Institute for Research and Development in Informatics, 8-10 Maresal Al. Averescu Avenue, Sector 1, Bucharest 71316, Romania

Abstract

In a previous paper, the first author derived an explicit quantitative version of a theorem due to Borwein, Reich, and Shafrir on the asymptotic behaviour of Mann iterations of nonexpansive mappings of convex sets C in normed linear spaces. This quantitative version, which was obtained by a logical analysis of the ineffective proof given by Borwein, Reich, and Shafrir, could be used to obtain strong uniform bounds on the asymptotic regularity of such iterations in the case of bounded C and even weaker conditions. In this paper, we extend these results to hyperbolic spaces and directionally nonexpansive mappings. In particular, we obtain significantly stronger and more general forms of the main results of a recent paper by W. A. Kirk with explicit bounds. As a special feature of our approach, which is based on logical analysis instead of functional analysis, no functional analytic embeddings are needed to obtain our uniformity results which contain all previously known results of this kind as special cases.