8
$\begingroup$

I am looking for a proof or a reference for the following two facts (which appear proofless in my notes from an ergodic theory course- they might be easy but i am no expert in ET):

Let $T$ be a continuous transformation on a compact metric space $X$, $\mu$ be an invariant measure for $T$. Let $(1/N)\sum^{N-1}_{j=0} f\circ T^j (x)$ denote the Birkhoff averages for a continuous function $f$.

1) [Birkhoff ergodic theorem for continuous functions] If T is uniquely ergodic then for every CONTINUOUS function $f$ the Birkhoff averages converge UNIFORMLY to the spatial average of $f$.

2) If the Birkhoff averages converge uniformly for every continuous function $f$ and $T$ has a dense orbit, then $T$ is uniquely ergodic.

Actually the statement I have for question 1 is even more interesting:

3) The following facts are equivalent:

a) $T$ is uniquely ergodic

b) For every $f$ continuous, Birkhoff averages converge to a constant $c(f)$ pointwise along a subsequence.

c) For every $f$ continuous, Birkhoff averages converge to a constant $c(f)$ uniformly.

$\endgroup$

4 Answers 4

10
$\begingroup$

This can be found in Walters' book An introduction to ergodic theory where it occurs as Theorem 6.19.

The proof is not terribly difficult and is in my opinion quite instructive. I will deal with (3). Firstly let us assume (c): if $\mu$ and $\nu$ are distinct invariant measures then we can choose a continuous function $f$ such that $\int f\,d\mu \neq \int f\,d\nu$. The integral of $\frac{1}{n}\sum_{i=0}^{n-1}f \circ T^i$ with respect to $\mu$ is $\int f\,d\mu$ for every $n \geq 1$, but this sequence of functions converges uniformly to $c(f)$ so the associated sequence of integrals with respect to $\mu$ converges to $c(f)$ also. The same holds for integrals with respect to $\nu$, so $\int f\,d\mu = c(f) = \int f\,d\nu$, a contradiction. We conclude that if (c) holds then there can be only one invariant measure, so (c) implies (a).

Suppose that (c) does not hold. Then there exist a continuous function $f$, two sequences $(x_k)$, $(y_k)$ of points in $X$, and sequences $(n_k)$, $(m_k)$ of natural numbers such that the averages $\frac{1}{n_k}\sum_{i=0}^{n_k-1}f(T^ix_k)$ and $\frac{1}{m_k}\sum_{i=0}^{m_k-1}f(T^iy_k)$ do not converge to the same value. By taking finer subsequences if necessary we can assume that they converge to distinct values (since both sequences are bounded by $|f|_\infty$). Let $\mu_k:=\frac{1}{n_k}\sum_{i=0}^{n_k-1} \delta_{T^ix_k}$ and $\nu_k:=\frac{1}{m_k}\sum_{i=0}^{m_k-1} \delta_{T^iy_k}$. By taking further subsequences if required suppose that these sequences of probability measures converge to limit probability measures $\mu$ and $\nu$ respectively. These limit measures are invariant (by a similar calculation to that in the most common proof of the Krylov-Bogolioubov theorem) and they are different because they assign different integrals to $f$, so (a) does not hold. Thus not-(c) implies not-(a) and therefore (a) implies (c). Clearly (c) implies (b) and the proof that (a) implies (b) is most similar to the proof that (a) implies (c).

I believe that the above result originates with John Oxtoby in the 1950s. There are some useful variations on this result which are considerably sharper and have essentially the same proof as the above. For example, the above argument can be easily adapted to show that if $f$ is an upper semi-continuous function such that $\int f\,d\mu \leq \lambda$ for every $T$-invariant measure $\mu$, then $\limsup_{n \to \infty} \sup_{x \in X}\frac{1}{n}\sum_{k=0}^{n-1}f(T^kx) \leq \lambda$. This result is usually attributed to Michel Hermann in the late seventies. More powerful versions of this argument treat the case of a subadditive family of functions $f_n$ rather than a sequence of Birkhoff sums: see the papers On growth rates of subadditive functions for semiflows by Sebastian Schreiber and Semi-uniform ergodic theorems and applications to forced systems by Sturman and Stark.

$\endgroup$
1
  • $\begingroup$ Thanks! just for completeness maybe the last sentence of the proof should read: Clearly (c) implies (b) and the proof that (b) implies (a) is most similar to the proof that (c) implies (a). $\endgroup$
    – user44316
    Dec 18, 2013 at 8:22
0
$\begingroup$

Alternatively a version of this theorem (and a proof) can be found in Einsiedler & Ward's Ergodic Theory: with a view towards Number Theory as Theorem 4.10 on p. 105:

Let $\mathcal{E}^T(X)$ be the set of extremal points of the set $\mathcal{M}^T(X)$ of $T$-invariant Borel probability measures on $X$, which we know by Kryloff-Bogoliouboff to be non-empty. As ergodic measures are precisely the extremal points of invariant measures, $\mathcal{E}$ stands both for extremal and ergodic.

Theorem: If $X$ is a compact metric space and $T\in C^0(X,X)$, then TFAE:

  1. $T$ is uniquely ergodic.
  2. $\vert \mathcal{E}^T(X)\vert=1$.
  3. $\forall f\in C^0(X,\Bbb{R}),\exists C_f\in\Bbb{R},\forall x\in X:\frac{1}{n}\sum_{k=0}^{n-1}f\circ T^n(x)\to C_f$.
  4. $\forall f\in C^0(X,\Bbb{R}),\exists C_f\in\Bbb{R}:\frac{1}{n}\sum_{k=0}^{n-1}f\circ T^n\stackrel{u.}{\to} C_f$.
    1. Holds in a dense set of $C^0(X,\Bbb{R})$.
$\endgroup$
0
$\begingroup$

In 1965 I have considered a related problem here.

$\endgroup$
0
$\begingroup$

See Katok & Hasselblatt, Introduction to modern theory of dynamical systems, Chapter 4, Section 1, Proposition 4.1.13 and 4.1.15.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.