Boundedness of the dyadic maximal function on graded Lie groups

Abstract

Abstract Let $1 \lt p\leq \infty$ and let $n\geq 2.$ It was proved independently by Calderón, Coifman and Weiss that the dyadic maximal function $$ \mathcal{M}^{d\sigma}_Df(x)=\sup_{j\in\mathbb{Z}}\left|\smallint\limits_{\mathbb{S}^{n-1}}f(x-2^jy)d\sigma(y)\right| \\[4pt] $$ is a bounded operator on $L^p(\mathbb{R}^n)$, where $d\sigma(y)$ is the surface measure on $\mathbb{S}^{n-1}.$ In this paper we prove an analogue of this result on arbitrary graded Lie groups. More precisely, to any finite Borel measure $d\sigma$ with compact support on a graded Lie group $G,$ we associate the corresponding dyadic maximal function $\mathcal{M}_D^{d\sigma}$ using the homogeneous structure of the group. Then, we prove a criterion in terms of the order (at zero and at infinity) of the group Fourier transform $\widehat{d\sigma}$ of $d\sigma$ with respect to a fixed Rockland operator $\mathcal{R}$ on G that assures the boundedness of $\mathcal{M}_D^{d\sigma}$ on $L^p(G)$ for all $1 \lt p\leq \infty.$