A fundamental solution of the operator \({\mathcal L}'_\alpha\) on the Heisenberg group \({\mathbb{H}}^ n\) (Q810256)

The left-invariant differential operator \({\mathcal L}'_{\alpha}\) on the Heisenberg group \({\mathbb{H}}\) treated in this note is \({\mathcal L}'_{\alpha}=-{1\over2}\sum^{n}_{1}a_ j(Z_ j\bar Z_ j+\bar Z_ jZ_ j)+i\alpha T,\) where \(a_ j's\) are real positive and \(T=\partial /\partial t\), \(Z_ j=\partial /\partial z_ j+i\bar z_ j\partial /\partial t\), \(z_ j=x_ j+iy_ j\), \(j=1,...,n\). The authors construct a fundamental solution to \({\mathcal L}'_{\alpha}\) if \(\alpha\) is admissible, i.e. either Im \(\alpha\neq 0\) or Im \(\alpha\) \(=0\) and \(| \alpha | \neq \sum^{n}_{1}m_ ja_ j\), where the \(m_ j\) are arbitrary positive odd integers. Thus they have proved a conjecture of \textit{G. B. Folland} and \textit{E. M. Stein} [Commun. Pure Appl. Math. 27, 429-522 (1974; Zbl 0293.35012)]. Some results on regularity and local solvability are presented.