Lipschitz 伪压缩映射的 Ishikawa 迭代的定量结果
泛函分析
2016-08-23 v1 逻辑
摘要
我们计算了 Hilbert 空间中紧凸子集上 Lipschitz 伪压缩自映射的 Ishikawa 迭代的均匀亚稳态收敛速率。这一提取是证明挖掘计划的一个实例，该计划旨在应用数理逻辑工具来提取数学证明中隐藏的定量内容。我们通过应用 Kohlenbach、第一作者和 Nicolae 为获得度量空间紧子集中广义 Fejér 单调序列强收敛结果的定量版本而开发的方法，证明了我们的主要结果。
引用
@article{arxiv.1608.05969,
title = {Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions},
author = {Laurentiu Leustean and Vlad Radu and Andrei Sipos},
journal= {arXiv preprint arXiv:1608.05969},
year = {2016}
}