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):=\underset{x\in R\in \mathcal{B}}{\sup }\frac{1}{|R|}{\int }_R|f|.$$ The sharp Tauberian constant of $M_{\mathcal{B}}$ associated to $\alpha$, denoted by $C_{\mathcal{B}}(\alpha )$, is defined as $$C_{\mathcal{B}}(\alpha ):=\underset{E:0<|E|<\infty }{\sup }\frac{1}{|E|}\left|\right\{x\in {\mathbb{R}}^n:M_{\mathcal{B}}{\chi }_E(x)>\alpha \left\}\right|.$$ 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 $$\underset{\alpha \to 1^{-}}{\lim }{C}_{\mathcal{B}}(\alpha )=1$$ holds. Similar results for iterated maximal functions are obtained, and open problems in the field of Solyanik estimates are also discussed.

arXiv comment17 pages, 2 figures, minor typos corrected, to appear in Springer Proceedings in Mathematics & Statistics