非扩张映射 Halpern 迭代的渐近正则性速率
泛函分析
2007-10-10 v1 逻辑
摘要
本文利用数学逻辑方法，特别是证明论技术，获得了非扩张映射 Halpern 迭代的新有效结果。我们给出了范数空间中非空凸集上非扩张自映射 Halpern 迭代的渐近正则性有效速率。本文是证明挖掘（proof mining）项目的又一案例研究，该项目致力于从（表面上）无效证明中提取有效的一致界。
引用
@article{arxiv.0710.1692,
title = {Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings},
author = {Laurentiu Leustean},
journal= {arXiv preprint arXiv:0710.1692},
year = {2007}
}
备注
in C.S. Calude, G. Stefanescu, and M. Zimand (eds.), Combinatorics and Related Areas. A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu