Applications of the theory of Hardy spaces to harmonic analysis on the Heisenberg group (Q796027)

Using the atomic definition of \(H^ p\) spaces on the \((2n+1)\)- dimensional Heisenberg group \(H_ n\) it is shown that if \(f\in H^ p (0<p<1)\) and 1\(\leq s\leq \infty\) then \[ (1)\quad \sum^{\infty}_{- \infty}2^{-j(2n+2)(1/p-1/s)}\| f*\phi_{2^{_ j}}\|_ s\leq C\| f\|_{H^ p} \] where \(\phi_ r(t,z)=r^{- (2n+2)}\phi(t/r^ 2,z/r)\), and \(\phi\) is a Schwartz function. If \(p=1\) then the same result applies under the condition \(s>1\). For a particular choice of \(\phi\) (one such that the (non-commutative) Fourier transform is known) and for \(s=2\) this leads, via the Plancherel formula, to an analogue of Hardy's inequality for \(H^ p(H_ n)\). A more restrictive result is obtained for \(L^ p\) spaces with \(1<p<2\), which in turn leads to an analogue of Paley's theorem. This result differs markedly from Hausdorff-Young phenomena in that it gives an estimate for the size of \(\hat f(\lambda)\) which does not involve fractional powers of the operator \({\hat \phi}\)(\(\lambda)\). The formula (1) and the atomic decomposition are also applied to obtain sufficient conditions for a tempered distribution k to be a convolution operator from \(H^ q\) to \(L^ p\) where \(0<q\leq 1\) and 1\(\leq p\leq \infty\) (\(p\neq q)\). When \(q<1\) and \(p=2\) we are able to convert these conditions into a Fourier multiplier theorem.