An application of proof mining to nonlinear iterations
Logic
2014-03-06 v4 Functional Analysis
Abstract
In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated to 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.
Cite
@article{arxiv.1211.2991,
title = {An application of proof mining to nonlinear iterations},
author = {Laurentiu Leustean},
journal= {arXiv preprint arXiv:1211.2991},
year = {2014}
}
Comments
21 pages; typos corrected