×

Rectangular differentiation of integrals of Besov functions. (English) Zbl 1035.42013

We recall that a differentiation basis \({\mathcal A}\) is a collection of open bounded sets in \(\mathbb{R}^n\) such that for each \(x\in\mathbb{R}^n\) there is a sequence \(\{A_j\}\subset{\mathcal A}\) with \(x\in A_j\) for every \(j\) and diameter of \(A_j\) tending to \(0\) as \(j\to\infty\). A differentiation basis \({\mathcal A}\) is said to differentiate the integral of a locally integrable function \(f\) defined in \(\mathbb{R}^n\) if the limit relation \[ {1\over| A|} \int_A f(y)\,dy\to f(x)\quad\text{as}\quad \text{diam}(A)\to 0,\;x\in A\in{\mathcal A} \] holds for almost every \(x\in \mathbb{R}^n\), where \(| A|\) is the Lebesgue measure of the set \(A\). If \({\mathcal A}\) differentiates the integral of every function of a given class, one says that \({\mathcal A}\) differentiates that class.
The authors consider the basis \({\mathcal B}\) of all arbitrarily oriented rectangular parallelepipeds in \(\mathbb{R}^n\) with diameter less than 1. They prove that
(i) \({\mathcal B}\) differentiates the Besov space \(B^{\alpha,1}_p(\mathbb{R}^n)\) if \(1\leq p<\infty\) and \(\alpha\geq (n-1)/p\);
(ii) \({\mathcal B}\) does not differentiate \(B^{\alpha,1}_p(\mathbb{R}^n)\) if \(1\leq p< n\) and \(0<\alpha< (n/p)-1\).
They prove similar results also for \(B^{\alpha,q}_p(\mathbb{R}^n)\), \(q> 1\).

MSC:

42B25 Maximal functions, Littlewood-Paley theory
28A15 Abstract differentiation theory, differentiation of set functions
46E35 Sobolev spaces and other spaces of “smooth” functions, embedding theorems, trace theorems
42B35 Function spaces arising in harmonic analysis
PDFBibTeX XMLCite
Full Text: DOI