Continuity of conditional expectation in Orlicz spaces
A. Hosseini, Y. Estaremi
TL;DR
This work addresses the continuity of conditional expectation in Orlicz spaces by extending $L^{p}$-space convergence results to the broader setting of Orlicz spaces $L^{\varphi}$ under the $\Delta_2$ condition. It introduces and analyzes three notions of convergence for sequences of $\sigma$-subalgebras: $\mu$-convergence, $\perp$-convergence, and their combination $\mu\perp$-convergence, establishing precise links to the $L^{\varphi}$-convergence of conditional expectations $E(f|\mathcal{A}_n)$. The main contributions are necessary and sufficient conditions for $L^{\varphi}$-convergence of conditional expectations under each convergence notion, including equivalences that connect algebraic convergence with analytic convergence in $L^{\varphi}$, and a structured analysis of the associated limit algebras $\underline{\mathcal{A}},\mathcal{A}_{\mu},\mathcal{A}_{\perp},\overline{\mathcal{A}}$. The results broaden martingale-convergence-type theorems to Orlicz spaces and provide a framework for analyzing conditional expectations in nonlinear growth contexts, with illustrative examples using dyadic partitions.
Abstract
The continuity of conditional expectation on Orlicz spaces is investigated. Indeed, we provide some necessary and sufficient conditions on a sequence $\{\mathcal{A}_n\}_{n\in\mathbb{N}}$ of $σ$-subalgebras for $L^{\varphi}$-convergence of the related conditional expectations. Our results generalize similar results in $L^p$-spaces.
