We use techniques of proof mining to extract computable and uniform rates of metastability (in the sense of Tao) for iterations of continuous functions on the unit interval, firstly (following earlier work of Gaspar) out of convergence proofs due to Franks, Marzec, Rhoades and Hillam and then out of an argument due to Borwein and Borwein that pertains only to Lipschitz functions.

中文翻译：

---

单位间隔上的迭代的亚稳率

我们使用证明挖掘技术为单位间隔上的连续函数迭代提取可计算且统一的亚稳态速率（在Tao的意义上），首先（遵循Gaspar的早期工作）是由于Franks，Marzec，Rhoades提出的收敛性证明和希拉姆（Hillam），然后又退出了由于鲍尔文（Borwein）和鲍尔文（Borwein）而引起的论点，后者仅与Lipschitz函数有关。