Integral representations of isotropic semiclassical functions and applications (Q2120168)

The present article is a natural follow up of the authors previous article [Lett. Math. Phys. 106, No. 12, 1695--1728 (2016; Zbl 1362.58014)], where it is presented a semiclassical account of \textit{L. Boutet de Monvel} classical papers: [Commun. Pure Appl. Math. 27, 585--639 (1974; Zbl 0294.35020)] and [\textit{L. Boutet de Monvel} and \textit{J. Sjöstrand}, Astérisque 34--35, 123--164 (1976; Zbl 0344.32010)]. In the above quoted article, the authors introduced a class of semiclassical functions of isotropic type, and, among other things, a generalization of oscillatory functions of Lagrangian type that are stable under the action of semiclassical pseudo-differential operators and covariant under the action of semiclassical Fourier integral operators ( FIO, for short ). These functions have shown to play a major role in semiclassical and micro-local analysis, for motivation related to those Boutet de Monvel papers, see also the fundamental monograph [\textit{L. Boutet de Monvel} and \textit{V. Guillemin}, The spectral theory of Toeplitz operators. Princeton, NJ: Princeton University Press (1981; Zbl 0469.47021)], that has played an important role in the theory of geometric quantization and in several other areas. Here, in the context of real smooth category rather than in the complex category, the authors exhibit, and explore, the nature of those isotropic functions of their previous paper, by obtaining oscillatory integral expressions for them. They then, by making use of these integral expressions, prove that the corresponding classes of isotropic functions are invariant under the action of arbitrary FIO. The simplest examples of isotropic states are the coherent states, introduced by the authors in their previous paper quoted above. The authors prove further that every oscillatory function of isotropic type can be expressed as a superposition of coherent states and, conversely, that certain superpositions of coherent states yield isotropic functions. The paper concludes with a concise description of some applications, among them, a computation of the propagation of isotropic states.