On the computational content of convergence proofs via Banach limits

DOI10.1098/rsta.2011.0329zbMath1329.03094OpenAlexW2136263207WikidataQ51353343 ScholiaQ51353343MaRDI QIDQ2941598

Ulrich Kohlenbach, Laurenţiu Leuştean

Publication date: 21 August 2015

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.2011.0329

zbMATH Keywords

metastabilitycomputable analysisBanach limitsproof mininguniformly smooth Banach spacesHalpern iterations

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Constructive functional analysis (46S30)

Related Items

Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces ⋮ The foundations of computation, physics and mentality: the Turing legacy ⋮ Effective metastability for modified Halpern iterations in CAT(0) spaces ⋮ Fluctuations, effective learnability and metastability in analysis ⋮ Rates of Convergence and Metastability for Chidume’s Algorithm for the Approximation of Zeros of Accretive Operators in Banach Spaces ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ Rates of convergence for iterative solutions of equations involving set-valued accretive operators ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic ⋮ Effective results on nonlinear ergodic averages in CAT spaces ⋮ Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces ⋮ The finitary content of sunny nonexpansive retractions ⋮ Addendum to: ``Effective metastability of Halpern iterates in CAT(0) spaces ⋮ An application of proof mining to nonlinear iterations ⋮ Effective metastability of Halpern iterates in \(CAT(0)\) spaces ⋮ PROOF MINING IN L^p SPACES ⋮ Quantitative translations for viscosity approximation methods in hyperbolic spaces ⋮ On the removal of weak compactness arguments in proof mining ⋮ Quantitative results for Halpern iterations of nonexpansive mappings

Cites Work

• Unnamed Item
• Unnamed Item
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Halpern's iteration in CAT(0) spaces
• Approximating fixed points of holomorphic mappings in the Hilbert ball
• Strong convergence theorems for resolvents of accretive operators in Banach spaces
• Approximation of fixed points of nonexpansive mappings
• Strongly uniform bounds from semi-constructive proofs
• Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces
• Alan Turing and the Foundations of Computable Analysis
• Local stability of ergodic averages
• A quantitative mean ergodic theorem for uniformly convex Banach spaces
• Logical aspects of rates of convergence in metric spaces
• Some logical metatheorems with applications in functional analysis
• Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces
• Norm convergence of multiple ergodic averages for commuting transformations
• General logical metatheorems for functional analysis
• Fixed points of nonexpanding maps
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II