2
$\begingroup$

Let $T:X\to X$ be a continuous function on a compact metric space $X.$ Let $\mu$ be a $T$ invariant and ergodic probability measure on $X.$ Let $F:X\to X$ be a continuos transformation that commutes with $T.$

Define $F_{*}\mu(A)=\mu(F^{-1}A)$ for every Borel set $A.$

I am looking for an example in ergodic theory in which

$\frac{1}{N}\sum_{k=1}^NF_{*}^k\mu$ does not converge in the weak* topology as $N\to \infty.$

Pd: It is trivial to find examples in which $F_{*}^N\mu$ does not converge but $\frac{1}{N}\sum_{k=1}^NF_{*}^k\mu$ does.

$\endgroup$
2
  • $\begingroup$ You define the measure $T_*\mu$ by $(T_*\mu)(A):=\mu(T^{-1}A)$ for every Borel set $A$, but the measure $\mu$ is chosen to be $T$-invariant, so surely $T_*\mu$ (and indeed $\frac{1}{N}\sum_{k=1}^NT_*^k\mu$) is just $\mu$? $\endgroup$
    – Ian Morris
    Commented Jun 2, 2014 at 10:27
  • $\begingroup$ ups...I have written the missed letter of my original statement. $\endgroup$
    – user39115
    Commented Jun 2, 2014 at 10:40

1 Answer 1

2
$\begingroup$

Take $T$ to be the identity and $\mu$ the Dirac measure on a point $x \in X$. Obviously $\mu$ is $T$-invariant and $F$ commutes with $T$. Using well-known properties of the weak-* topology, the sequence of measures $\frac{1}{N}\sum_{k=1}^N F_*^k\mu$ converges if and only if for every continuous $f \colon X \to \mathbb{R}$, the sequence $\int f\,d\left(\frac{1}{N}\sum_{k=1}^NF_*^k\mu\right)=\frac{1}{N}\int \sum_{k=1}^N (f \circ F^k)d\mu = \frac{1}{N}\sum_{k=1}^N f(F^kx)$ converges. It is a simple exercise to construct examples where this convergence does not hold, for example if $F \colon X \to X$ is the 2-shift.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .