English

Individual ergodic theorems for infinite measure

Functional Analysis 2019-07-11 v1

Abstract

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

Keywords

Cite

@article{arxiv.1907.04678,
  title  = {Individual ergodic theorems for infinite measure},
  author = {Vladimir Chilin and Dogan Comez and Semyon Litvinov},
  journal= {arXiv preprint arXiv:1907.04678},
  year   = {2019}
}

Comments

arXiv admin note: text overlap with arXiv:1612.05802

R2 v1 2026-06-23T10:17:25.063Z