Asymptotic behavior of averaged and firmly nonexpansive mappings in geodesic spaces

We further study averaged and firmly nonexpansive mappings in the setting of geodesic spaces with a main focus on the asymptotic behavior of their Picard iterates. We use methods of proof mining to obtain an explicit quantitative version of a generalization to geodesic spaces of result on the asymptotic behavior of Picard iterates for firmly nonexpansive mappings proved by Reich and Shafrir. From this result we obtain effective uniform bounds on the asymptotic regularity for firmly nonexpansive mappings. Besides this, we derive effective rates of asymptotic regularity for sequences generated by two algorithms used in the study of the convex feasibility problem in a nonlinear setting.