Remarks on Semiclassical Wavefront Set

Abstract

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.