Estimates for singular convolution operators on the Heisenberg group (Q792566)

Let \(H^ n\) denote the \((2n+1)\)-dimensional Heisenberg group with coordinates \((z,t)\in {\mathbb{C}}^ n\times {\mathbb{R}}\). Let L(z) be a distribution on \({\mathbb{C}}^ n\), homogeneous of degree -2n, which is smooth away from the origin. Let \(L_{\epsilon}(z)=L(z)\) if \(| z|>\epsilon\) and 0 otherwise. The authors study convolution on \(H^ n\) by the distributions \(K(z,t)=L(z)\delta(t)\) and \(K_{\epsilon}(z,t)=L_{\epsilon}(z)\delta(t).\) The main result is their following theorem. Theorem 1.1: The operators \(f\mapsto f*K\) and \(f\mapsto f*K_{\epsilon}\) of \(C_ 0^{\infty}(H^ n)\) into \(C^{\infty}(H^ n)\) extend to bounded operators on \(L^ p(H^ n)\) for \(1<p<\infty\), with norms independent of \(\epsilon\). Theorem 1.1 was announced in [the authors, Bull. Am. Math. Soc. 6, 99-103 (1982; Zbl 0483.43005)]. For the case \(p=2\) generalizations to homogeneous simply connected nilpotent Lie groups can be found as Theorem 6.1 of \textit{D. Müller} [Invent. Math. 73, 467-490 (1983; Zbl 0521.43009)].