Weighted \(L_p\)-inequalities for sharp-maximal functions (Q2455255)

The author introduces the sharp maximal operator of the form \[ \mathcal S_{\eta}f(x):=\sup_{B\owns x}\frac 1{\eta(t)}\frac1{\mu(B)}\int_B| f-P_Bf| \,d\mu, \] where \(B\) is a~ball in a~Hausdorff homogeneous space \(X\) endowed with regular Borel measure \(\mu\) and a quasimetric, \(P_B\) is a~given operator acting on \(L^ 1_{\mu,\text{loc}}(X)\), and \(\eta\) is a~given function on \([0,\infty)\). He then states several results concerning this operator, without proofs. For example, sufficient conditions are given on a measure \(\mu\) and an outer measure \(\nu\) and functions \(\eta\), \(\sigma\) in order that the inequalities of the form \[ \| \mathcal S_{\sigma}f\| _{L^ p_{\nu}(X)}\leq C \| \mathcal S_{\eta}f\| _{L^ p_{\mu}(X)} \] hold. Generalizations and applications are given, too, for example, to the case when \(X\) is \(\mathbb R^ n\) with the Lebesgue measure, endowed with the Euclidean metric. Then, with an appropriate definition of \(P_B\), the results cover those involving the Fefferman-Stein sharp maximal function. Further, applications to Sobolev-type spaces built on homogeneous spaces in the sense of Koskela and Hajłasz are given, and, finally, inequalities involving capacities are pointed out.