Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces

DOI10.4171/JEMS/190zbMath1184.03057arXiv0707.1626MaRDI QIDQ845286

Ulrich Kohlenbach, Laurenţiu Leuştean

Publication date: 28 January 2010

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0707.1626

zbMATH Keywords

uniformly convex hyperbolic spaces; asymptotically nonexpansive mappings; CAT(0)-spaces; proof mining; functionals of finite type; metric fixed-point theory; Krasnosel'skiĭ-Mann iterations

Mathematics Subject Classification ID

47H10: Fixed-point theorems

47H09: Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc.

03F10: Functionals in proof theory

Related Items

A quantitative nonlinear strong ergodic theorem for Hilbert spaces, Fixed points, selections and common fixed points for nonexpansive-type mappings, Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces, Geodesic Ptolemy spaces and fixed points, On quantitative versions of theorems due to F. E. Browder and R. Wittmann, Mutually nearest and farthest points of sets and the drop theorem in geodesic spaces, Fixed point theorems and convergence theorems for Suzuki-generalized nonexpansive mappings in CAT(0) spaces, Fixed points of single- and set-valued mappings in uniformly convex metric spaces with no metric convexity, Common fixed points for multimaps in metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A quadratic rate of asymptotic regularity for CAT(0)-spaces
• Iteration processes for nonexpansive mappings
• Krasnoselski-Mann Iterations in Normed Spaces
• On asymptotically nonexpansive mappings in hyperconvex metric spaces
• Krasnoselskii's iteration process in hyperbolic space
• Some logical metatheorems with applications in functional analysis
• Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• A Fixed Point Theorem for Asymptotically Nonexpansive Mappings
• Uniformly Convex Spaces
• On the Interpretation of Non-Finitist Proofs--Part I