Analysis of second order differential operators on Heisenberg groups. I (Q1177108)

Sei \(H_ n\) die \(2n-1\)-dimensionale Heisenberg-Gruppe, \({\mathfrak h}_ n\) die Heisenberg-Algebra und \(X_ 1,\dots,X_ n\), \(Y_ 1,\dots,Y_ n,U\) die Standard-Basis von \({\mathfrak h}_ n\) mit den nichttrivialen Lie-Produkten \([X_ i,Y_ i]=U\). Anstelle von \(X_ 1,\dots,X_ n\), \(Y_ 1,\dots,Y_ n\) schreibt man auch \(V_ 1,\dots,V_{2n}\). Die Elemente von \({\mathfrak h}_ n\) lassen sich gemäß der Standard-Basis mit den Paaren \((z,u)\in\mathbb{R}^{2m}\times\mathbb{R}\) identifizieren. Eine \(2n\)- reihige quadratische Matrix \(S\) gehört genau dann zur Lie-Algebra der symplektischen Gruppe \(Sp(n,\mathbb{R})\), wenn \(S^ tJ+JS=0\) gilt für \(J=\begin{pmatrix} 0 & I_ n\\ I_ n & 0\end{pmatrix}\). Einer solchen Matrix \(S\) läßt sich eine Derivation \(T\) von \({\mathfrak h}_ n\) assoziieren, definiert durch \([T(z,u)]:=(Sz,0)\). Sei nun \({\mathfrak g}:={\mathfrak h}_ n\times_ S(\mathbb{R} T)\) das entsprechende semidirekte Produkt und \(G\) die zugehörige einfach zusammenhängende Lie-Gruppe. Ist \(A=(a_{ij})\) die symmetrische Matrix \(SJ\), so gehört der Differentialoperator \(\square_ S:=\sum_{i,j} a_{ij}V_ iV_ j+2TU\) zum Zentrum \(Z(\mathfrak g)\) der universellen Einhüllenden \(U(\mathfrak g)\). Ist \(s\neq 0\), so wird \(Z(\mathfrak g)\) sogar von \(U\) und \(\square_ S\) erzeugt. Als biinvarianter Differentialoperator auf \(G\) besitzt \(\square_ S\) ein Fundamentallösung. Hier wird nun eine Fundamentallösung explizit angegeben, und zwar mittels einer Integralformel in Termen gewisser Einparameter-Gruppen unitärer Operatoren in \(L^ 2(\mathbb{R}^{2n})\), die in Zusammenhang stehen mit der von \textit{R. Howe} untersuchten Oszillator-Halbgruppe [Proc. Symp. Pure Math. 48, 61-132 (1988; Zbl 0687.47034)]. Die Autoren studieren auch das Cauchy-Problem \(\square_ S h=0\), \(h|_{H_ n}=f\) und erhalten für \(f\in L^ 2(H_ n)\) eine schwache Lösung \(h\), die mit Hilfe von Einparameter-Gruppen unitärer Operatoren in \(L^ 2(\mathbb{R}^{2n})\) gewonnen wird. Für \(f\in{\mathcal S}(H_ n)\) ist \(h\) eine starke Lösung. Der Differentialoperator \(\square_ S\) auf \(G\) steht in engem Zusammenhang mit den Differentialoperatoren der Form \(\sum_{i,j} a_{ij} V_ iV_ j+2\alpha U\), \(\alpha\in\mathbb{C}\), gelesen als Operatoren auf der Heisenberg-Gruppe \(H_ n\). Nun führen die für \(\square_ S\) gefundenen Resultate in vielen Fällen zu expliziten Fundamentallösungen dieser Operatoren. Eine systematische Behandlung dieser Operatoren mit vollständigen Antworten findet sich in einer späteren Arbeit der Autoren [Part II, J. Funct. Anal. (to appear)].