A phase function is a real smooth function on , positively homogeneous of degree one in , with . The symbol class
consists of smooth amplitudes satisfying, on each compact ,
To define the oscillatory integral, insert a cutoff equal to one near zero and set
Repeated integration by parts with an operator satisfying makes the integral absolutely convergent after enough iterations and shows that the limit defines a distribution.