Let $P$ be a linear partial differential operator with analytic coefficients. We assume that $P$ is of the form “sum of squares”, satisfying Hörmander’s bracket condition. Let $q$ be a characteristic point for $P$. We assume that $q$ lies on a symplectic Poisson stratum of codimension two. General results of Okaji show that $P$ is analytic hypoelliptic at $q$. Hence Okaji has established the validity of Treves’ conjecture in the codimension two case. Our goal here is to give a simple, self-contained proof of...

Algebras of ultradifferentiable generalized functions satisfying some regularity assumptions are introduced. We give a microlocal analysis within these algebras related to the affine regularity type and the ultradifferentiability property. As a particular case we obtain new algebras of Gevrey generalized functions.

Several situations of physical importance may be modelled by linear quantum fields propagating in fixed spacetime-dependent classical background fields. For example, the quantum Dirac field in a strong and/or time-dependent external electromagnetic field accounts for the creation of electron-positron pairs out of the vacuum. Also, the theory of linear quantum fields propagating on a given background curved spacetime is the appropriate framework for the derivation of black-hole evaporation (Hawking...