We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.DS

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Dynamical Systems

Title: Oscillation and the mean ergodic theorem

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.
Subjects: Dynamical Systems (math.DS); Functional Analysis (math.FA); Logic (math.LO)
MSC classes: 37A30, 03F60
Cite as: arXiv:1203.4124 [math.DS]
  (or arXiv:1203.4124v1 [math.DS] for this version)

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.