2021 年 64 巻 2 号 p. 189-198
The essential support of the symbol of a semiclassical pseudodifferential operator is characterized by semiclassical wavefront sets of distributions. The proof employs a coherent state whose center in phase space is dependent on Planck's constant.