An application of proof mining to nonlinear iterations

详细信息    查看全文

• 作者：Lauren牛iu Leu艧tean ^{Laurentiu.Leustean@imar.ro" class="auth_mail}
• 关键词：03F10 ; 03F60 ; 47H09 ; 47J25
• 刊名：Annals of Pure and Applied Logic
• 出版年：September 2014
• 年：2014
• 卷：165
• 期：9
• 页码：1484-1500
• 全文大小：355 K

文摘

In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated with nonexpansive self-mappings of convex subsets of a class of uniformly convex geodesic spaces. Moreover, we show that these results are guaranteed by a combination of logical metatheorems for classical and semi-intuitionistic systems.