Mean ergodic theorems in Lr(μ) and Hr(T), 0<r<1
Let T be the Koopman operator of a measure preserving transformation θ of a probability space (X,Σ,μ). We study the convergence properties of the averages Mnf:=n1∑k=0n−1Tkf when f∈Lr(μ), 0<r<1. We prove that if ∫∣Mnf∣rdμ→0, then f∈(I−T)Lr, and show that the converse fails whenever θ is ergodic aperiodic. When θ is invertible ergodic aperiodic, we show that for 0<r<1 there exists fr∈(I−T)Lr for which Mnfr does not converge a.e. (although ∫∣Mnf∣rdμ→0). We further establish that for 1≤p<r1, there is a dense Gδ subset F⊂Lp(X,μ) such that limsupnnr∣Tnh∣=∞ a.e. for any h∈F.