On the computational content of convergence proofs via Banach limits
From MaRDI portal
Publication:2941598
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
metastabilitycomputable analysisBanach limitsproof mininguniformly smooth Banach spacesHalpern iterations
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 Lp 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