Assume that $M=\mathbb{R}^n$ is Riemannian manifold with $G=\mathbb{Z}^n$-isometric action s.t. $G\cdot o$ is the set of integer points where $o$ is origin. Here $\exp_x\ tv$ is a unit speed geodesic starting at $x$ Assume that there is no conjugate point on $M$(I do not know that this condition is indispensable. At any rate we assume this). Hence $M$ has no cut point.
On unit tangent bundle $UT\mathbb{R}^n$, define $$ D(x,v) =
\lim_{t\rightarrow \infty} \ \frac{\exp_x\ tv – o}{t}$$
problem : Prove that for a.e. $(x,v)\in UT\mathbb{R}^n$, $D$ is defined.
Proof : In the paper, it is stated that this can be proved by Birkhoff Ergodic theorem :
When $T : X\rightarrow X$ is a map on probability space $X$ i.e. $\mu(X)=1$ and it is ergodic i.e.
-
measure preserving and
-
$T^{-1}(E)=E$ implies $\mu (E)=0$ or $1$,
then for any $ f :
\rightarrow \mathbb{R}$, $$ \frac{1}{n} \sum_{j=1}^n
\ f\circ T^j (x)\rightarrow \int_X\ fd\mu $$
From John B's answer, we know that $$T (x,v)=(\exp_x\ v,\frac{d}{dt}\bigg|_{t=1}\exp_x\ tv)$$ from $UT\mathbb{R}^n$ to itself, and $f :UT\mathbb{R}^n\rightarrow \mathbb{R}^n,\ f(x,v)=\exp_x\ v-x$ is a function.
Since $T$ is a measure-preserving (cf Geodesic flow), so $UT\mathbb{R}^n$ has a canonical volume form but it has infinite volume.
Hence how can we apply this theorem to our problem ?
Best Answer
The measure on the unit tangent bundle need not be ergodic, but you don't need that for Birkhoff's ergodic theorem (actually only the measure on the base is important in this example). Just take $$f(o,v)=\exp_ov-o\quad\text{and}\quad T(o,v)=(\exp_ov,v). $$ Then $$ \frac{1}{m} \sum_{j=0}^{m-1}f(T^j (x))=\frac{\exp_o(mv) - o}{m}, $$ which implies the result in your problem for almost all $(o,v)$.