On quantitative versions of theorems due to F. E. Browder and R. Wittmann
From MaRDI portal
Publication:624339
DOI10.1016/j.aim.2010.10.002zbMath1223.03041OpenAlexW1975815352MaRDI QIDQ624339
Publication date: 9 February 2011
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.aim.2010.10.002
Fixed-point theorems (47H10) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Functionals in proof theory (03F10) Nonlinear ergodic theorems (47H25)
Related Items (40)
On the convergence rate of the Halpern-iteration ⋮ Bounds for a nonlinear ergodic theorem for Banach spaces ⋮ Revisiting jointly firmly nonexpansive families of mappings ⋮ Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration ⋮ Convergence of Halpern’s Iteration Method with Applications in Optimization ⋮ Abstract strongly convergent variants of the proximal point algorithm ⋮ On the computational content of convergence proofs via Banach limits ⋮ Effective metastability for modified Halpern iterations in CAT(0) spaces ⋮ Fluctuations, effective learnability and metastability in analysis ⋮ Optimal error bounds for non-expansive fixed-point iterations in normed spaces ⋮ A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM ⋮ Convergence analysis of the Halpern iteration with adaptive anchoring parameters ⋮ Quantitative results on Fejér monotone sequences ⋮ A quantitative nonlinear strong ergodic theorem for Hilbert spaces ⋮ Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces ⋮ On modified Halpern and Tikhonov-Mann iterations ⋮ Effective results on nonlinear ergodic averages in CAT spaces ⋮ Gödel functional interpretation and weak compactness ⋮ Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces ⋮ The finitary content of sunny nonexpansive retractions ⋮ Unnamed Item ⋮ Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Effective asymptotic regularity for one-parameter nonexpansive semigroups ⋮ A quantitative multiparameter mean ergodic theorem ⋮ Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness ⋮ Rate of Metastability for Bruck'S Iteration of Pseudocontractive Mappings in Hilbert Space ⋮ Effective results on compositions of nonexpansive mappings ⋮ On the asymptotic behavior of odd operators ⋮ A functional interpretation for nonstandard arithmetic ⋮ Effective metastability of Halpern iterates in \(CAT(0)\) spaces ⋮ Quantitative results on a Halpern-type proximal point algorithm ⋮ Metastability of the proximal point algorithm with multi-parameters ⋮ Quantitative translations for viscosity approximation methods in hyperbolic spaces ⋮ BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH ⋮ A Rate of Metastability for the Halpern Type Proximal Point Algorithm ⋮ A note on the monotone functional interpretation ⋮ On the removal of weak compactness arguments in proof mining ⋮ Quantitative results for Halpern iterations of nonexpansive mappings ⋮ On false Heine/Borel compactness principles in proof mining
Cites Work
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
- Approximation of fixed points of nonexpansive mappings
- On the speed of convergence in the ergodic theorem
- Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces
- On the computational content of the Bolzano-Weierstraß Principle
- A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Local stability of ergodic averages
- Shoenfield is Gödel after Krivine
- Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings
- A quantitative mean ergodic theorem for uniformly convex Banach spaces
- Nonlinear ergodic theorems
- Strong convergence theorems for nonexpansive nonself-mappings
- 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
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Fixed points of nonexpanding maps
- On the Interpretation of Non-Finitist Proofs--Part I
- On the interpretation of non-finitist proofs–Part II
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On quantitative versions of theorems due to F. E. Browder and R. Wittmann
