Local stability of ergodic averages

DOI10.1090/S0002-9947-09-04814-4zbMATH Open1187.37010arXiv0706.1512MaRDI QIDQ3402200FDOQ3402200

Authors: Jeremy Avigad, Philipp Gerhardy, Henry Towsner 

Publication date: 2 February 2010

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: The mean ergodic theorem is equivalent to the assertion that for every function K and every epsilon, there is an n with the property that the ergodic averages A_m f are stable to within epsilon on the interval [n,K(n)]. We show that even though it is not generally possible to compute a bound on the rate of convergence of a sequence of ergodic averages, one can give explicit bounds on n in terms of K and || f || / epsilon. This tells us how far one has to search to find an n so that the ergodic averages are "locally stable" on a large interval. We use these bounds to obtain a similarly explicit version of the pointwise ergodic theorem, and show that our bounds are qualitatively different from ones that can be obtained using upcrossing inequalities due to Bishop and Ivanov. Finally, we explain how our positive results can be viewed as an application of a body of general proof-theoretic methods falling under the heading of "proof mining."

Full work available at URL: https://arxiv.org/abs/0706.1512

Recommendations

• Uncomputably noisy ergodic limits
• Estimates of the rate of convergence in the von Neumann and Birkhoff ergodic theorems
• Computability of convergence rates in the ergodic theorem for Martin-Löf random points
• A quantitative multiparameter mean ergodic theorem
• A quantitative mean ergodic theorem for uniformly convex Banach spaces

zbMATH Keywords

mean ergodic theoremergodic averagenonexpansive linear operatorproof mining.

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Ergodic theorems, spectral theory, Markov operators (37A30) Constructive and recursive analysis (03F60)

Cites Work

• Title not available (Why is that?)
• Ergodic theorems. With a supplement by Antoine Brunel
• Handbook of proof theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some logical metatheorems with applications in functional analysis
• On the speed of convergence in the ergodic theorem
• Oscillation in ergodic theory
• Title not available (Why is that?)
• Upcrossing inequalities for stationary sequences and applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Elimination of Skolem functions for monotone formulas in analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• The rate of convergence in ergodic theorems
• On the Interpretation of Non-Finitist Proofs--Part I
• Title not available (Why is that?)
• Fundamental notions of analysis in subsystems of second-order arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fluctuations of ergodic averages
• An upcrossing inequality with applications
• The pointwise ergodic theorem in subsystems of second-order arithmetic
• Counting in Ergodic Theory
• Title not available (Why is that?)
• A Constructive Ergodic Theorem
• A constructive view on ergodic theorems

Cited In (38)

• Fluctuations, effective learnability and metastability in analysis
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• A quantitative nonlinear strong ergodic theorem for Hilbert spaces
• Effective metastability of Halpern iterates in \(CAT(0)\) spaces
• Nonstandard convergence gives bounds on jumps
• Statistical properties of dynamical systems -- Simulation and abstract computation
• Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces
• Effective metastability for a method of alternating resolvents
• Bounds for a nonlinear ergodic theorem for Banach spaces
• On stability of probability laws with respect to small violations of algorithmic randomness
• Quantitative ergodic theorems for weakly integrable functions
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• A functional interpretation for nonstandard arithmetic
• Local stability of the free additive convolution
• Norm convergence of nilpotent ergodic averages
• A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
• The metamathematics of ergodic theory
• A quantitative multiparameter mean ergodic theorem
• Effective results on nonlinear ergodic averages in \(\text{CAT}(\kappa)\) spaces
• On the computational content of convergence proofs via Banach limits
• Computable Measure Theory and Algorithmic Randomness
• Norm convergence of multiple ergodic averages on amenable groups
• Tight space-noise tradeoffs in computing the ergodic measure
• Gödel functional interpretation and weak compactness
• Uncomputably noisy ergodic limits
• Computability of convergence rates in the ergodic theorem for Martin-Löf random points
• Realizing semicomputable simplices by computable dynamical systems
• Localized Birkhoff average in beta dynamical systems
• A computational study of a class of recursive inequalities
• Algorithmic tests and randomness with respect to a class of measures
• A quantitative mean ergodic theorem for uniformly convex Banach spaces
• Measure theory and higher order arithmetic
• Quantitative results for Halpern iterations of nonexpansive mappings
• Ergodic theory and visualization. I. mesochronic plots for visualization of ergodic partition and invariant sets
• Schnorr randomness and the Lebesgue differentiation theorem
• Oscillation and the mean ergodic theorem for uniformly convex Banach spaces
• The local \(C^1\)-density of stable ergodicity
• Effective metastability for modified Halpern iterations in CAT(0) spaces

This page was built for publication: Local stability of ergodic averages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3402200)