Maximal operators on spaces BMO and BLO

TL;DR

This paper extends classical results on maximal functions, showing that certain maximal kernel-operators on measure spaces with a ball basis map BMO to BLO spaces under specific kernel conditions.

Contribution

It generalizes known boundedness results of maximal operators from Euclidean spaces to abstract measure spaces with a ball basis, including new kernel asymptotic conditions.

Findings

Maximal operators map BMO to BLO under certain kernel conditions.

Established boundedness of a class of maximal functions on measure spaces.

Provided inequalities estimating local oscillation of maximal functions.

Abstract

We consider maximal kernel-operators on abstract measure spaces $(X,\mu)$ equipped with a ball-basis. We prove that under certain asymptotic condition on the kernels those operators maps boundedly BMO(X) into BLO(X), generalizing the well-known results of Bennett-DeVore-Sharpley and Bennett for the Hardy-Littlewood maximal function. As a particular case of such an operator one can consider the maximal function \begin{equation} M_\phi f(x)=\sup_{r>0}\frac{1}{r^d}\int_{R^d}|f(t)|\phi\left(\frac{x-t}{r}\right)dt, \end{equation} and its non-tangential version. Here $\phi(x)\ge 0$ is a bounded spherical function on $R^d$, decreasing with respect to $|x|$ and satisfying the bound \begin{equation*} \int_{R^d}\phi (x)\log (2+|x|)dx<\infty. \end{equation*} We prove that if $f\in BMO(R^d)$ and $M_\phi(f)$ is not identically infinite, then $M_\phi(f)\in BLO(R^d)$. Our main result is an inequality, providing an estimation of certain local oscillation of the maximal function $M(f)$ by a local sharp function of $f$.