No label defined (Q4239178)

Let \(M=M'\times M''\) be a product of two real analytic manifolds and \(X=X'\times X''\) a complexification. Let \({\mathcal D}_X\) (resp. \({\mathcal D}_{X'}) \) be the sheaf of holomorphic differential operators on \(X\) (resp. \(X')\), \({\mathcal B}_M\) the sheaf of Sato's hyperfunctions and \({\mathcal C}_M\) the sheaf of Sato's microfunctions. The authors show: for \(E\), \(Q\in {\mathcal D}_{X'}\), \(E\) elliptic and \(Q\) hyperbolic with constant coefficients, \(P:=E.Q\) + lower order terms (from \({\mathcal D}_X)\), (i) \(P:{\mathcal B}_M \to{\mathcal B}_M\) is surjective; (ii) \(P:{\mathcal C}_M \to{\mathcal C}_M\) is surjective at any \(p\in\dot T^*_MX\). The proof makes use of the theory of bimicrologicalization. In the last section, some boundary value problems for certain systems are studied.