A remark on certain overdetermined systems of partial differential equations (Q801214)

P(D) sei ein linearer Differentialoperator mit konstanten Koeffizienten und \(d_ j\geq 1\) \((j=1,...,n)\) rationale Zahlen, \(d=(d_ 1,...,d_ n)\). \(\Omega \subset {\mathbb{R}}^ n\) sei offen und \(\Gamma^ d(\Omega)\) ein Gevrey-Raum. \[ Q(D,D_ t)=\sum_{<d,\alpha >+h\leq m}c_{\alpha,h}D^{\alpha}D^ h_ t,\quad D_ t=-i\partial_ t \] sei ein (d,1) hypoelliptischer Differentialoperator mit konstanten Koeffizienten. Dann sind folgende Aussagen äquivalent: \((i)\quad P(D)\Gamma^ d(\Omega)=\Gamma^ d(\Omega),\) (ii) für jedes w mit \(Q(D,D_ t)w=0\) in V existiert eine Lösung des Systems \(P(D)v=w,\quad Q(D,D_ t)v=0\) in einer offenen Umgebung von \(\Omega\) im \({\mathbb{R}}^{n+1}\). Eine solche Beziehung zwischen der Surjektivität von P(D) und der Lösbarkeit des Systems für den Spezialfall \(Q(D,D_ t)=\sum^{n}_{j=1}(D^ 2_ j+D^ 2_ t)\) gab Verf. im Fall \(d=1\) bereits in einer früheren Arbeit.