# Ornstein-Chacon ergodic theorem

2010 Mathematics Subject Classification: Primary: 37A30 Secondary: 47A35 [MSN][ZBL]

Let $(W,\mu)$ be a space with a $\sigma$-finite measure and let $T$ be a positive linear operator on $L_1(W,\mu)$ with $L_1$-norm $\Vert T\Vert\leq1$. If $f,g\in L_1(W,\mu)$ and $g\geq0$ almost everywhere, then the limit

$$\lim_{n\to\infty}\frac{\sum_{k=0}^nT^kf(w)}{\sum_{k=0}^nT^kg(w)}$$

exists almost everywhere and is finite on that set where the denominator for sufficiently large $n$ differs from zero, i.e. where at least one of the numbers $T^kg(w)>0$.

This theorem was formulated and proved by D.S. Ornstein and R.V. Chacon [CO] (see also [H], [N]); its analogue for continuous time has since been obtained (see [AC]).

Among the direct corollaries of the Ornstein–Chacon ergodic theorem are the Birkhoff ergodic theorem and various of its previously proposed generalizations, but there are also a number of ergodic theorems which are independent of the Ornstein–Chacon ergodic theorem, which is itself subject to various generalizations (see [C], [T], as well as the bibliography under Operator ergodic theorem). Of all the generalizations of the Birkhoff theorem, the most frequently used is the Ornstein–Chacon ergodic theorem.

Sometimes the Ornstein–Chacon ergodic theorem, as well as other theorems which deal with the limit of the ratio between two time-dependent means are called "ratio ergodic theorems" .

How to Cite This Entry:
Ornstein–Chacon ergodic theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ornstein%E2%80%93Chacon_ergodic_theorem&oldid=22864