On the \(C^{\infty}\)-singularities of regular holonomic distributions (Q806136): Difference between revisions

The analytic and \({\mathcal C}^{\infty}\) wave-front sets of a distribution which is a solution of a regular holonomic differential system are shown to coincide. This is used to solve a problem of Hörmander on hyperbolic operators. More generally, comparison theorems for solutions of a regular holonomic system of microdifferential equations in various spaces of microfunctions are given, as a simple extension of a result of Kashiwara.