Symbol Theory of Microlocal Operators

Abstract

Let u(x, x')dx' be an arbitrary microlocal operator. We define the symbol function û(x, ξ of u(x, x')dx', and give a characterization of such symbol functions. Symbol formulae for adjoint operators and for composite operators are given.