Classical microlocal analysis in the space of hyperfunctions

The book develops "Classical Microlocal Analysis" in the spaces of hyperfunctions and microfunctions, which makes it possible to apply the methods in the distribution category to the studies on partial differential equations in the hyperfunction category. Here "Classical Microlocal Analysis" means that it does not use "Algebraic Analysis." The main tool in the text is, in some sense, integration by parts. The studies on microlocal uniqueness, analytic hypoellipticity and local solvability are reduced to the problems to derive energy estimates (or a priori estimates). The author assumes basic understanding of theory of pseudodifferential operators in the distribution category.