Current browse context:
math.DS
Change to browse by:
References & Citations
Mathematics > Dynamical Systems
Title: Oscillation and the mean ergodic theorem
(Submitted on 19 Mar 2012 (this version), latest version 26 Aug 2013 (v4))
Abstract: Let B be a uniformly convex Banach space, let T be a nonexpansive linear operator, and let A_n x denote the ergodic average (1/n) sum_{i<n} T^n x. A generalization of the mean ergodic theorem due to Garrett Birkhoff asserts that the sequence (A_n x) converges, which is equivalent to saying that for every epsilon > 0, the sequence has only finitely many fluctuations greater than epsilon. Drawing on calculations by Kohlenbach and Leustean, we provide a uniform bound on the number of fluctuations that depends only on rho := || x || / epsilon and a modulus, eta, of uniform convexity for B. Specifically, we show that the sequence of averages (A_n x) has O(rho^2 log rho * eta(1/(8 rho))^{-1})-many epsilon-fluctuations, and if B is a Hilbert space, the sequence has O(rho^3 log rho)-many epsilon-fluctuations. The proof is fully explicit, providing a remarkably uniform, quantitative, and constructive formulation of the mean ergodic theorem.
Submission history
From: Jeremy Avigad [view email][v1] Mon, 19 Mar 2012 14:55:40 GMT (8kb)
[v2] Wed, 17 Oct 2012 21:51:06 GMT (8kb)
[v3] Fri, 26 Apr 2013 16:54:07 GMT (17kb)
[v4] Mon, 26 Aug 2013 13:02:03 GMT (19kb)
Link back to: arXiv, form interface, contact.