Oscillation of ergodic averages and other stochastic processes

Sovanlal Mondal, Joe Rosenblatt, Máté Wierdl

Published 2024-04-17Version 1

For an ergodic map $T$ and a non-constant, real-valued $f \in L^1$, the ergodic averages $\mathbb{A}_N f(x) = \frac{1} {N} \sum_{n=1}^N f(T^n x)$ converge a.e., but the convergence is never monotone. Depending on particular properties of the function $f$, the averages $\mathbb{A}_N f(x)$ may or may not actually oscillate around the mean value infinitely often a.e. We will prove that a.e. oscillation around the mean is the generic behavior. That is, for a fixed ergodic $T$, the generic non-constant $f\in L^1$ has the averages $\mathbb{A}_N f(x)$ oscillating around the mean infinitely often for almost every $x$. We also consider oscillation for other stochastic processes like subsequences of the ergodic averages, convolution operators, weighted averages, uniform distribution and martingales. We will show that in general, in these settings oscillation around the limit infinitely often persists as the generic behavior.