Solyanik estimates in harmonic analysis

Abstract

Let $\mathcal{B}$ denote a collection of open bounded sets in $\mathbb{R}^n$, and define the associated maximal operator $M_{\mathcal{B}}$ by $$ M_{\mathcal{B}}f(x) := \sup_{x \in R \in \mathcal{B}} \frac{1}{|R|}\int_R |f|. $$ The sharp Tauberian constant of $M_{\mathcal{B}}$ associated to $α$, denoted by $C_{\mathcal{B}}(α)$, is defined as $$ C_{\mathcal{B}}(α) := \sup_{E :\, 0 < |E| < \infty}\frac{1}{|E|}\big|\big\{x \in \mathbb{R}^n:\, M_{\mathcal{B}}χ_E (x) > α\big\}\big|.$$ Motivated by previous work of A. A. Solyanik, we show that if $M_{\mathcal{B}}$ is the uncentered Hardy-Littlewood maximal operator associated to balls, the estimate $$ \lim_{α\rightarrow 1^-}C_{\mathcal{B}}(α) = 1 $$ holds. Similar results for iterated maximal functions are obtained, and open problems in the field of Solyanik estimates are also discussed.