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...

Let $A$ be a closed set of $M\simeq {\mathbb{R}}^n$, whose conormai cones $x+y_x^{*}\left(A\right)$, $x\in A$, have locally empty intersection. We first show in §1 that $\text{dist}\left(x,A\right)$, $x\in M\setminus A$ is a $C^1$ function. We then represent the n microfunctions of ${\mathcal{C}}_{A|X}$, $X\simeq {\mathbb{C}}^n$, using cohomology groups of ${\mathcal{O}}_X$ of degree 1. By the results of § 1-3, we are able to prove in §4 that the sections of ${\left.{\mathcal{C}}_{A|X}\right|}_{{\dot{\pi }}^{-1}\left(x_0\right)}$, $x_0\in \partial A$, satisfy the principle of the analytic continuation in the complex integral manifolds of ${\left\{H\left({\varphi }_i^C\right)\right\}}_{i=1,\mathrm{\dots },m}$, $\left\{{\varphi }_i\right\}$ being a base for the linear hull of ${\gamma }_{x_0}^{*}\left(A\right)$ in $T_{x_0}^{*}M$; in particular we get ${\left.{\mathrm{\Gamma }}_{A\times {}_{M}T{}^{*}{}_{M}X}\left({\mathcal{C}}_{A|X}\right)\right|}_{\partial A\times {}_M\dot{T}{}^{*}{}_{M}X}=0$. When $A$is a half space with $C^{\omega }$-boundary,...

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...