\(L^p\)-estimates for singular integrals and maximal operators associated with flat curves on the Heisenberg group (Q1857110)

Let \({\mathbb H}^1\) be the three-dimensional Heisenberg group identified with \({\mathbb R}^2\times {\mathbb R}\). The group multiplication is defined by \[ (x_1,x_2,x_3)\cdot(y_1,y_2,y_3)=(x_1+y_1,x_2+y_2, x_3+y_3+2(x_1y_2-x_2y_1)) \] and the inverse is given by \((x_1,x_2,x_3)^{-1}=(-x_1,-x_2,-x_3)\). Let \[ \Gamma_\alpha(x_1,x_2,x_3,t)=(x_1,x_2,x_3)\cdot(t,\gamma(t), \alpha t\gamma(t))^{-1} \] for each \(\alpha\in{\mathbb R}^1\). Here \(\gamma: {\mathbb R}^+\to {\mathbb R}^+\) is a convex function with \(\gamma(0)=0\). Moreover, let \(K\) be a Calderón-Zygmund kernel in \({\mathbb R}\), which means that \(K\in C^1(\mathbb R\setminus\{0\})\) is homogeneous of degree \(-1\) and \(K(1)+K(-1)=0\). Then, the singular Radon transform \({\mathcal H}_{\Gamma_\alpha}\) in \(C_0^\infty\) is defined by \[ {\mathcal H}_{\Gamma_\alpha}f(x)=\text{p.v.}\int_{|t|<r}f(\Gamma_\alpha(x,t))K(t) dt, \] and the corresponding maximal operator is defined by \[ {\mathcal M}_{\Gamma_\alpha}f(x)=\sup_{R>0}\frac 1r\left|\int_{|t|<r} f(\Gamma_\alpha(x,t)) dt\right|. \] Let \(\gamma\) be extended as an even or odd curve in \({\mathbb R}^1\). Suppose that \(\gamma'\) has bounded doubling time, which means that there exists a constant \(D>1\) such that \(\gamma'(Dt)\geq 2\gamma'(t)\) for all \(t>0\). The author then proves that \({\mathcal H}_{\Gamma_\alpha}\) is bounded on \(L^p({\mathbb H}^1)\) for \(1<p<\infty\), and \({\mathcal M}_{\Gamma_\alpha}\) is bounded on \(L^p({\mathbb H}^1)\) for \(1<p\leq\infty\). The proof of the author is based on angular Littlewood-Paley decompositions in the Heisenberg group. To this end, the author gives an analogue of the multiparameter Marcinkiewicz multiplier theorem of \textit{J. Marcinkiewicz} [Stud. Math. 8, 78-91 (1939; Zbl 0020.35403)].