Remarks on Semiclassical Wavefront Set

Abstract

The essential support of the symbol of a semiclassical pseudodifferentail operator is characterized by semiclassical wavefront sets of distributions. The proof employs a coherent state whose center in the phase space is dependent on Plank's constant.