Zeros of integrals along trajectories of ergodic systems (Q1069553)

The author gives a new proof of the recurrence property formulated for dynamical systems with continuous time. Namely, let \(T^ t\), \(t\geq 0\), be an ergodic semigroup of endomorphisms of the space \(M\) with normalized measure \(\mu\), let the map \((x,t)\to T^ tx\) be measurable and let \(f: M\to \mathbb R\) be \(\mu\)-integrable and \(\int_{M}f\, d\mu =0\). Then for almost all \(x\in M\) and for any \(\varepsilon >0,\) \(m\{t>0:\quad | \int^{t}_{0}f(T^ sx)\,ds| \leq \varepsilon \}=\infty,\)where \(m\) is the Lebesgue measure. It is shown besides that for almost all trajectories the integral along them has an infinite sequence of zeros increasing to \(\infty\).