A new formulation of local boundary value problem in the framework of hyperfunctions. II (Q1092318)

[For part I see ibid. 60, 283-286 (1984; Zbl 0576.35017).] The author studies micro-local boundary value problems for systems of linear partial differential equations with non-characteristic boundary and for single equations with regular singularities. He first shows that the boundary value homomorphism for hyperfunction solutions and that of F-mild hyperfunction solutions coincides for the non-characteristic case. He shows the existence of a boundary value homomorphism for microfunction solutions and announces a microlocal version of Holmgren's theorem for hyperfunction solutions.