Current browse context:
math.FA
Change to browse by:
References & Citations
Mathematics > Functional Analysis
Title: The finitary content of sunny nonexpansive retractions
(Submitted on 12 Dec 2018 (v1), revised 11 Nov 2019 (this version, v3), latest version 16 Jan 2020 (v4))
Abstract: We use techniques of proof mining to extract a uniform rate of metastability (in the sense of Tao) for the strong convergence of approximants to fixed points of uniformly continuous pseudocontractive mappings in Banach spaces which are uniformly convex and uniformly smooth, i.e. a slightly restricted form of the classical result of Reich. This is made possible by the existence of a modulus of uniqueness specific to uniformly convex Banach spaces and by the arithmetization of the use of the limit superior. The metastable convergence can thus be proved in a system which has the same provably total functions as first-order arithmetic and therefore one may interpret the resulting proof in G\"odel's system $T$ of higher-type functionals. The witness so obtained is then majorized (in the sense of Howard) in order to produce the final bound, which is shown to be definable in the subsystem $T_1$. This piece of information is further used to obtain rates of metastability to results which were previously only analyzed from the point of view of proof mining in the context of Hilbert spaces, i.e. the convergence of the iterative schemas of Halpern and Bruck.
Submission history
From: Andrei Sipoş [view email][v1] Wed, 12 Dec 2018 13:54:13 GMT (38kb)
[v2] Wed, 16 Jan 2019 16:12:12 GMT (39kb)
[v3] Mon, 11 Nov 2019 10:40:01 GMT (44kb)
[v4] Thu, 16 Jan 2020 09:43:45 GMT (44kb)
Link back to: arXiv, form interface, contact.