On the pointwise domination of a function by its maximal function

DOI10.1007/S00013-018-1214-9MaRDI QIDQ1660100zbMATH OpenOpenAlexFDO

Authors J. M. Aldaz

Publication date 23 August 2018

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.02033

zbMATH Keywords

maximal function metric measure space upper density

Mathematics Subject Classification ID

Maximal functions, Littlewood-Paley theory (42B25)

Abstract: We show that under rather general circumstances, the almost everywhere pointwise inequality

| f | (x) l e M f (x)

is equivalent to a weak form of the Lebesgue density theorem, for totally bounded closed sets. We derive both positive and negative results from this characterization.

Review text

The author studies when the pointwise inequality \[ |f(x)|\le Mf(x) \tag{1} \] is satisfied for \(\mu\)-a.e.~\(x\). Here \(M\) is the centered Hardy-Littlewood maximal operator with respect to the measure \(\mu\) in the metric measure space \((X,d,\mu)\), that is \[ M f(x)=\sup_{\overline{B}}\frac{1}{\mu(\overline{B})}\int_{\overline{B}}f(y)\text{d}\mu(y), \] where the supremum is taken over all closed balls \(\overline{B}=\overline{B}(x,r)=\{y\in X; d(x,y)\le r\}\) such that \(\mu(\overline{B})>0\). It is shown that inequality \((1)\) is equivalent, under quite general assumptions, to the condition \[ \limsup_{r\downarrow0}\frac{1}{\mu(B(x,r))} \int_{B(x,r)}\mathbf{1}_F(y)\text{d}\mu(y) =\mathbf{1}_F(x) \] for all closed and totally bounded sets \(F\subset\operatorname{supp}\mu\) and a.e.~\(x\in X\) (here \(B(x,r)=\{y\in X; d(x,y)<r\}\)).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: On the pointwise domination of a function by its maximal function

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