$L^p(\mathbb{R}^2)$ bounds for geometric maximal operators associated to homothecy invariant convex bases

TL;DR

This paper characterizes the boundedness of geometric maximal operators associated with homothecy invariant convex bases in , showing they are either bounded on all L^p spaces for p > 1 or unbounded for all p .

Contribution

It establishes a dichotomy for the boundedness of these maximal operators, linking geometric properties of convex bases to their analytical behavior on L^p spaces.

Findings

Maximal operator is either bounded on all L^p for p > 1 or unbounded for all p .

Any homothecy invariant convex density basis in  differentiates L^p for all p > 1.

The result provides a complete characterization of boundedness for these geometric maximal operators.

Abstract

Let $\mathcal{B}$ be a nonempty homothecy invariant collection of convex sets of positive finite measure in $\mathbb{R}^2$. Let $M_\mathcal{B}$ be the geometric maximal operator defined by $$M_\mathcal{B}f(x) = \sup_{x \in R \in \mathcal{B}}\frac{1}{|R|}\int_R |f|\;.$$ We show that either $M_\mathcal{B}$ is bounded on $L^p(\mathbb{R}^2)$ for every $1 < p \leq \infty$ or that $M_\mathcal{B}$ is unbounded on $L^p(\mathbb{R}^2)$ for every $1 \leq p < \infty$. As a corollary, we have that any density basis that is a homothecy invariant collection of convex sets in $\mathbb{R}^2$ must differentiate $L^p(\mathbb{R}^2)$ for every $1 < p \leq \infty$.