Spreading of Lagrangian regularity on rational invariant tori (Q2517919)

The result presented in this paper can be regarded as refinement of the classical Hörmander's theorem of microlocal propagation of singularities along null bicharacteristics, in the case of a semiclassical pseudodifferential operator \(P\) of principal type [cf. \textit{A. Martinez}, An introduction to semiclassical and microlocal analysis. Universitext. New York. Springer (2002; Zbl 0994.35003)]. Namely, letting \(T\) be an invariant torus in the characteristic set \(\{p= \lambda\}\), with \(p\) principal symbol of \(P\), the author proves that Lagrange regularity propagates not only along bicharacteristics, but also in additional diffractive manifolds, filling in the interiors of small annular tubes of bicharacteristic.