arXiv2020
We provide an abstract estimate of the form \[ \|f-f_{Q,μ}\|_{X \left(Q,\frac{\mathrm{d} μ}{Y(Q)}\right)}\leq c(μ,Y)ψ(X)\|f\|_{\mathrm{BMO}(\mathrm{d}μ)} \] for all cubes $Q$ in $\mathbb{R}^n$ and every function $f\in \mathrm{BMO}(\mathrm{d}μ)$, where $μ$ is a doubling measure in $\mathbb{R}^n$, $Y$ is some positive functional defined on cubes, $\|\cdot \|_{X \left(Q,\frac{\mathrm{d} w}{w(Q)}\right)}$ is a sufficiently good quasi-norm and $c(μ,Y)$ and $ψ(X)$ are positive constants depending on $μ$ and $Y$, and $X$, respectively. That abstract scheme allows us to recover the sharp estimate \[ \|f-f_{Q,μ}\|_{L^p \left(Q,\frac{\mathrm{d} μ(x)}{μ(Q)}\right)}\leq c(μ)p\|f\|_{\mathrm{BMO}(\mathrm{d}μ)}, \qquad p\geq1 \] for every cube $Q$ and every $f\in \mathrm{BMO}(\mathrm{d}μ)$, which is known to be equivalent to the John-Nirenberg inequality, and also enables us to obtain quantitative counterparts when $L^p$ is replaced by suitable strong and weak Orlicz spaces and $L^{p(\cdot)}$ spaces. Besides the aforementioned results we also generalize Theorem 1.2 in [OPRRR20] to the setting of doubling measures and obtain a new characterization of Muckenhoupt's $A_\infty$ weights.