The wave front set of the Wigner distribution and instantaneous frequency

Paolo Boggiatto, Alessandro Oliaro, Patrik Wahlberg

We prove a formula expressing the gradient of the phase function of a function $f:{\mathbb{R}}^d\mapsto \mathbb{C}$ as a normalized first frequency moment of the Wigner distribution…