Marcinkiewicz multipliers on the Heisenberg group (Q4953121)

In this article the author establishes an analogue of the multi-parameter Marcinkiewicz multiplier theorem on the \((2n +1)\)-dimensional Heisenberg group \(\mathbb{H}^n\). The classical Marcinkiewicz multiplier theorem states that under the assumption \[ \sup|\left(\xi_1\partial_{\xi_1}\right)^{\alpha_1}\cdots \left(\xi_d\partial_{\xi_d}\right)^{\alpha_d}m\left (\xi_1,\dots,\xi_d\right)|\leq C \] for all \(\alpha_1 +\cdots + \alpha_d\leq d,\) the multiplier \(m(i\partial_{x_1},\dots, i\partial_{x_d})\) is bounded on \(L^p(\mathbb{R}^d)\) for every \(1<p<\infty.\) Replacing \(i\partial_{x_j}\) by the sub-Laplacian \(\mathcal{L}_j\) or a vector field \(-iT\) on the center of the group, the author proves that \(m(\mathcal{L}_1,\dots,\mathcal{L}_n, -iT)\) is bounded on \(L^p(\mathbb{H}^n)\) for every \(1<p<\infty\) under the Hörmander-type condition \[ \|m \|_{L^2_{\alpha,\beta, sloc}}\leq C\quad\text{with}\quad \alpha>1,\;\beta>1/2. \] The theorem is an extension to the polyradial invariant commutative algebra of \(\mathbb{H}^n\) of the results of Müller, Stein and Ricci that give a sharp condition of the \(L^p\) boundedness for \(m(\mathcal{L}, -iT)\) in which \(\{\mathcal{L} = \sum_{j=1}^n\mathcal{L}_j,iT\}\) forms a radial invariant commutative algebra of a nilpotent group.