The symbol of a function of a pseudo-differential operator
We give an explicit formula for the symbol of a function of an operator. Given a pseudo-differential operator on with symbol and a smooth function , we obtain the symbol of in terms of . As an application, Bohr-Sommerfeld quantization rules are explicitly calculated at order 4 in .