Suppleness of some quotient spaces of microfunctions (Q5928666)

Authors's abstract: The theory of microfunctions which Sato introduced contributed very much to that of linear partial differential equations. He constructed a useful transformation of these equations by expanding the analytic singularities of a hyperfunction onto the cosphere bundle. We stick not only to the analytic singularities but also to some other singularities of some subclasses of hyperfunctions which \textit{H. Komatsu} [J. Fac. Sci. Univ. Tokyo, Sect. 1A Math. 20, 25-105 (1973; Zbl 0258.46039)], \textit{L. Hörmander} [Commun. Pure Appl. Math. 24, 671-704 (1971; Zbl 0226.35019)], \textit{A. Eida} [``On the microlocal decomposition of ultradistributions and ultradifferentiable functions'', preprint] and others have introduced. For this reason, in this paper we develop the theory of some quotient spaces of microfunctions. We state the suppleness of the sheaves of these functions which is important for the theory of microdifferential equations. Our investigations enable us to introduce the notations \(S S^\star\) and \(S S^{1/\star}\) for hyperfunctions.