On higher-codimensional boundary value problems (Q4336946)

Let \(M\) be a real analytic manifold and let \(N\) be a submanifold of \(M\) of codimension \(d.\) Let \(Y\subset X\) be a complexification of \(N\subset M,\) and consider \({\mathcal M},\) a coherent module over the sheaf of rings \({\mathcal D}_X\) of holomorphic differential operators on \(X\), and assume that \(Y\) is non-characteristic for \({\mathcal M}\). In this talk, the author shows how he can weaken the conditions on \({\mathcal M}\) for the vanishing of the local cohomologies of the hyperfunction solution complex: \[ H^j\mu_N\mathbb{R}{\mathcal H}_{{\mathcal D}_X}({\mathcal M},{\mathcal B}_M)\simeq 0, j<d, \] where \(\mu_N\) denotes the Sato microlocalization functor along \(N.\) Making use of the sheaf \(\mathbb{R}{\mathcal H}_{{\mathcal D}_X}({\mathcal M},{\mathcal C}_{N M})\) of bimicrofunction solutions, as a measure of obstruction to the extension of hyperfunction solutions, he gives a number of applications to microhyperbolic systems and to partially elliptic systems. For the entire collection see [Zbl 0859.00023].