Strong differentiation conjecture for axis-parallel rectangles

Let ff be a function on R2\mathbb{R}^2, let B\mathcal{B} be a collection of open sets, and define

B2={RB:R is a rectangle in R2 whose sides are parallel to the coordinate axes}.\mathcal{B}_2=\{R\in\mathcal{B}:R\text{ is a rectangle in }\mathbb{R}^2\text{ whose sides are parallel to the coordinate axes}\}.

Define

M~Bf(x)=limr0supxRB,diamR<r1RRf.\widetilde{M}_{\mathcal{B}}f(x)=\lim_{r\to 0}\sup_{x\in R\in\mathcal{B},\,\operatorname{diam}R<r}\frac{1}{|R|}\int_R|f|.

Strong differentiation conjecture. If M~Bf(x)\widetilde{M}_{\mathcal{B}}f(x) is finite almost everywhere, then ff is strongly differentiable.

This would strengthen the theorem of Besicovitch by replacing the full strong maximal operator with its small-scale version. The source presents it as a future direction and gives no resolution.

Sources & referencesView supporting material

Primary source

Paul Hagelstein, Daniel Herden and Alexander Stokolos, “A theorem of Besicovitch and a generalization of the Birkhoff Ergodic Theorem”, arXiv:1910.09054 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.