On the second microlocalization along isotropic submanifolds (Q1320652)

The author's summary: ``Around 1985, Lebeau developed the theory of the theory of the second microlocalisation along isotropic submanifolds, and defined the ``\(\Gamma\)-analytic microfunction'' that had the unique continuation properties along bicharacteristic leaves. In this paper the author gives an explicit representation using the boundary values of holomorphic functions as \textit{Y. Okada} and \textit{N. Tose} did [see J. Math. Pures Appl., IX. Ser. 70, No. 4, 427-453 (1991; Zbl 0771.35003)] in the case of regular involutive submanifolds. The author proves that ``\(\Gamma\)-analytic microfunctions'' form a strictly wider subclass of the micro-functions than that of microfunctions with holomorphic parameters. The author proves other results, too. Note that the author's methods of proof are completely different from Lebeau's.