Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces

被引:0
|
作者
Kohlenbach, U. [1 ]
Leustean, L. [1 ,2 ]
机构
[1] Tech Univ Darmstadt, Dept Math, D-64289 Darmstadt, Germany
[2] Romanian Acad, Inst Math Simion Stoilow, Bucharest, Romania
关键词
Proof mining; functionals of finite type; metric fixed point theory; asymptotically non-expansive mappings; uniformly convex hyperbolic spaces; CAT(0)-spaces; Krasnosel'skii-Mann iterations; LOGICAL METATHEOREMS; FIXED-POINTS; ITERATIONS; CONVERGENCE; SEQUENCES;
D O I
暂无
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
This paper provides a fixed point theorem for asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces as well as new effective results on the Krasnosel'skii-Mann iterations of such mappings. The latter were found using methods from logic and the paper continues a case study in the general program of extracting effective data from prima-facie ineffective proofs in the fixed point theory of such mappings.
引用
收藏
页码:71 / 92
页数:22
相关论文
共 50 条