CAT（0）-空间的二次渐近正则性
A quadratic rate of asymptotic regularity for CAT(0)-spaces
摘要：
本文在CAT（0）-空间中得到了非扩张映象的Krasnoselski-Mann迭代的渐近正则性速度的二次界，而以前的结果只保证了指数界.我们使用的方法是扩展到更一般的设置一致凸双曲空间的一个定量版本的加强Groetsch的定理得到的Kohlenbach使用的方法从数理逻辑（所谓的"证明挖掘“）。
英文摘要：
In this paper we obtain a quadratic bound on the rate of asymptotic regularity for the Krasnoselski-Mann iterations of nonexpansive mappings in CAT(0)-spaces, whereas previous results guarantee only exponential bounds. The method we use is to extend to the more general setting of uniformly convex hyperbolic spaces a quantitative version of a strengthening of Groetsch's theorem obtained by Kohlenbach using methods from mathematical logic (so-called ``proof mining'').
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
