Convergence of Krasnoselskii-Mann iterations of nonexpansive operators (Q5931737)

This article deals with nonexpansive operators in hyperbolic metric spaces. A metric space \((X,\rho)\) is called hyperbolic if (a) \(X\) contains a family \(M\) of metric lines such that for each pair of \(x,y\in X\), \(x\neq y\) there is a unique metric line in \(M\) which passes through \(x\) and \(y\); metric line, by definition, is the image of a metric embedding \(c:\mathbb{R}\to X\) with the property \(\rho(c(s),c(t))= |s- t|\) \((s,t\in\mathbb{R})\), and (b) \(\rho({1\over 2} x\oplus{1\over 2} y,{1\over 2} w\oplus{1\over 2} z)\leq{1\over 2}(\rho(x, w)+ \rho(y,z))\) \((x,y,z,w\in X)\) (\((1- t)x\oplus ty\) is defined as a point \(z\) for which \(\rho(x,z)= t\rho(x,y)\) and \(\rho(z,y)= (1- t)\rho(x,y)\); such a point exists due to (a)). The main results of the article are three theorems in which it is proved that a generic nonexpansive operator \(A\) on a closed and convex (but not necessarily bounded) subset of a hyperbolic space has a unique fixed point which attracts the Krasnosel'skii-Mann iterations of \(A\).