Weighted Solyanik estimates for the strong maximal function

From MaRDI portal




Abstract: Let mathsfMmathsfS denote the strong maximal operator on mathbbRn and let w be a non-negative, locally integrable function. For alphain(0,1) we define the weighted sharp Tauberian constant mathsfCmathsfS associated with mathsfMmathsfS by mathsf C_{mathsf S} (alpha):= sup_{substack {Esubset mathbb R^n \ 0<w(E)<+infty}}frac{1}{w(E)}w({xinmathbb R^n:, mathsf M_{mathsf S}(mathbf{1}_E)(x)>alpha}). We show that limalphao1mathsfCmathsfS(alpha)=1 if and only if winAinfty, that is if and only if w is a strong Muckenhoupt weight. This is quantified by the estimate mathsfCmathsfS(alpha)1lesssimn(1alpha)(cn[w]Ainfty)1 as alphao1, where c>0 is a numerical constant; this estimate is sharp in the sense that the exponent 1/(cn[w]Ainfty) can not be improved in terms of [w]Ainfty. As corollaries, we obtain a sharp reverse H"older inequality for strong Muckenhoupt weights in mathbbRn as well as a quantitative imbedding of Ainfty into Ap. We also consider the strong maximal operator on mathbbRn associated with the weight w and denoted by mathsfMmathsfSw. In this case the corresponding sharp Tauberian constant mathsfCmathsfSw is defined by mathsf C_{mathsf S} ^w alpha) := sup_{substack {Esubset mathbb R^n \ 0<w(E)<+infty}}frac{1}{w(E)}w({xinmathbb R^n:, mathsf M_{mathsf S} ^w (mathbf{1}_E)(x)>alpha}). We show that there exists some constant cw,n>0 depending only on w and the dimension n such that mathsfCmathsfSw(alpha)1lesssimw,n(1alpha)cw,n as alphao1 whenever winAinfty is a strong Muckenhoupt weight.









This page was built for publication: Weighted Solyanik estimates for the strong maximal function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1704358)