A quantitative nonlinear strong ergodic theorem for Hilbert spaces (Q413215)

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. The 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)].