A pseudodifferential operator is an operator represented locally by a Fourier integral
 |
where the symbol 
satisfies prescribed estimates in 
and 
.
A differential operator is the special case
in which the symbol is a polynomial in 
.
Allowing more general symbols provides parametrices for elliptic differential operators
and supports the study of propagation of singularities.
