$L^p-L^q$ estimates for the circular maximal operators on Heisenberg radial functions

TL;DR

This paper extends $L^p-L^q$ estimates for the local circular maximal operator on Heisenberg radial functions, providing a broader range of boundedness and a simpler proof for existing results.

Contribution

It generalizes previous $L^p$ boundedness results to $L^p-L^q$ estimates for a local maximal operator on Heisenberg radial functions, covering an optimal range of exponents.

Findings

Established $L^p-L^q$ estimates for the local maximal operator on Heisenberg radial functions.

Provided a simpler proof of existing $L^p$ boundedness results.

Extended the range of exponents for which boundedness holds.

Abstract

$L^p$ boundedness of the circular maximal function $\mathcal M_{\mathbb{H}^1}$ on the Heisenberg group $\mathbb{H}^1$ has received considerable attentions. While the problem still remains open, $L^p$ boundedness of $\mathcal M_{\mathbb{H}^1}$ on Heisenberg radial functions was recently shown for $p>2$ by Beltran, Guo, Hickman, and Seeger [2]. In this paper we extend their result considering the local maximal operator $M_{\mathbb{H}^1}$ which is defined by taking supremum over $1<t<2$. We prove $L^p-L^q$ estimates for $M_{\mathbb{H}^1}$ on Heisenberg radial functions on the optimal range of $p,q$ modulo the borderline cases. Our argument also provides a simpler proof of the aforementioned result due to Beltran et al.