A quantitative nonlinear strong ergodic theorem for Hilbert spaces
The paper is a contribution to the program of `proof mining', which aims to extract effective information hidden in mathematical proofs by applying methods from proof theory.NEWLINENEWLINEThe author gives a quantitative version of a strong nonlinear ergodic theorem due to \textit{R. Wittman} [Proc. Am. Math. Soc. 108, No. 3, 781--788 (1990; Zbl 0705.47053)]. Applying proof-theoretic techniques, he extracts a highly uniform primitive recursive rate of metastability in the sense of \textit{T. Tao} [Ergodic Theory Dyn. Syst. 28, No. 2, 657--688 (2008; Zbl 1181.37004)]. The existence of such a rate is guaranteed by logical metatheorems proved by \textit{P. Gerhardy} and \textit{U. Kohlenbach} [Trans. Am. Math. Soc. 360, No. 5, 2615--2660 (2008; Zbl 1130.03036)].
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
- Nonlinear mean ergodic theorems
- scientific article; zbMATH DE number 1974523
- A quantitative mean ergodic theorem for uniformly convex Banach spaces
- A quantitative mean ergodic theorem for uniformly convex Banach spaces
- A simple proof of the mean ergodic theorem for nonlinear contractions in Banach spaces
- A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
- An example concerning fixed points
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Approximation of fixed points of nonexpansive mappings
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
- Ergodic theorems for nonexpansive curves defined on general semigroups in a Hilbert space
- Fixed points of nonexpanding maps
- General logical metatheorems for functional analysis
- scientific article; zbMATH DE number 956475 (Why is no real title available?)
- scientific article; zbMATH DE number 3481293 (Why is no real title available?)
- scientific article; zbMATH DE number 3535187 (Why is no real title available?)
- Local stability of ergodic averages
- Mean Ergodic Theorems for Nonlinear Operators
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Nonlinear ergodic theorems
- Nonlinear ergodic theorems and weak convergence theorems
- Nonlinear ergodic theorems for nonexpansive mappings in Hilbert spaces
- Nonlinear mean ergodic theorems
- Norm convergence of multiple ergodic averages for commuting transformations
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- On the asymptotic behavior of odd operators
- Some logical metatheorems with applications in functional analysis
- Structure and randomness. Pages from year one of a mathematical blog
- Subadditive mean ergodic theorems
- A quantitative multiparameter mean ergodic theorem
- Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces
- Effective results on nonlinear ergodic averages in \(\text{CAT}(\kappa)\) spaces
- On the logical analysis of proofs based on nonseparable Hilbert space theory
- A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
- scientific article; zbMATH DE number 3846263 (Why is no real title available?)
- A quantitative mean ergodic theorem for uniformly convex Banach spaces
- Fluctuations, effective learnability and metastability in analysis
- scientific article; zbMATH DE number 1974523 (Why is no real title available?)
- scientific article; zbMATH DE number 2196507 (Why is no real title available?)
- On the asymptotic behavior of odd operators
- Bounds for a nonlinear ergodic theorem for Banach spaces
- Nonlinear ergodic theorems of Dirichlet's type in Hilbert spaces
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- On the extraction of computational content from noneffective convergence proofs in analysis
- Effective rates for nonlinear ergodic averages
- A functional interpretation for nonstandard arithmetic
This page was built for publication: A quantitative nonlinear strong ergodic theorem for Hilbert spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q413215)
