Weighted Solyanik Estimates for the Hardy-Littlewood maximal operator and embedding of $A_\infty$ into $A_p$

Abstract

Let $w$ denote a weight in $\mathbb{R}^n$ which belongs to the Muckenhoupt class $A_\infty$ and let $\mathsf{M}_w$ denote the uncentered Hardy-Littlewood maximal operator defined with respect to the measure $w(x)dx$. The \emph{sharp Tauberian constant} of $\mathsf M_w$ with respect to $α$, denoted by $\mathsf{C}_w (α)$, is defined by \[ \mathsf{C}_w (α) := \sup_{E:\, 0 < w(E) < \infty}w(E)^{-1}w\big(\big\{x \in \mathbb{R}^n:\, \mathsf{M}_w χ_E (x) > α\big\}\big). \] In this paper, we show that the Solyanik estimate \[ \lim_{α\rightarrow 1^-}\mathsf{C}_w(α) = 1 \] holds. Following the classical theme of weighted norm inequalities we also consider the sharp Tauberian constants defined with respect to the usual uncentered Hardy-Littlewood maximal operator $\mathsf M$ and a weight $w$: \[ \mathsf C ^w (α) := \sup_{E:\, 0 < w(E) < \infty} w(E)^{-1} w\big(\big\{x \in \mathbb R^n:\, \mathsf{M} χ_E (x) > α\big\}\big). \] We show that we have $\lim_{α\to 1^{-}}\mathsf{C}^w(α)=1$ if and only if $w\in A_\infty$. As a corollary of our methods we obtain a quantitative embedding of $A_\infty$ into $A_p$.