Individual ergodic theorems for infinite measure

Abstract

Given a $σ$-finite infinite measure space $(Ω,μ)$, it is shown that any Dunford-Schwartz operator $T:\,\mathcal L^1(Ω)\to\mathcal L^1(Ω)$ can be uniquely extended to the space $\mathcal L^1(Ω)+\mathcal L^\infty(Ω)$. This allows to find the largest subspace $\mathcal R_μ$ of $\mathcal L^1(Ω)+\mathcal L^\infty(Ω)$ such that the ergodic averages $\frac1n\sum\limits_{k=0}^{n-1}T^k(f)$ converge almost uniformly (in Egorov's sense) for every $f\in\mathcal R_μ$ and every Dunford-Schwartz operator $T$. Utilizing this result, almost uniform convergence of the averages $\frac1n\sum\limits_{k=0}^{n-1}β_kT^k(f)$ for every $f\in\mathcal R_μ$, any Dunford-Schwartz operator $T$ and any bounded Besicovitch sequence $\{β_k\}$ is established. Further, given a measure preserving transformation $τ:Ω\toΩ$, Assani's extension of Bourgain's Return Times theorem to $σ$-finite measure is employed to show that for each $f\in\mathcal R_μ$ there exists a set $Ω_f\subsetΩ$ such that $μ(Ω\setminusΩ_f)=0$ and the averages $\frac1n\sum\limits_{k=0}^{n-1}β_kf(τ^kω)$ converge for all $ω\inΩ_f$ and any bounded Besicovitch sequence $\{β_k\}$. Applications to fully symmetric subspaces $E\subset\mathcal R_μ$ are given.