Microlocal Projector for Complete Flow
In this note we generalize the construction of microlocal projector to the sublevel set of autonomous function with complete Hamiltonian flow under some mild conditions. Furthermore, we mention that the condition of being complete is optimal, by providing a non-example that violates the projector property.