Symbolic calculus and the transposes of bilinear pseudodifferential operators

A symbolic calculus for the transposes of a class of bilinear pseudodifferential operators is developed. The calculus is used to obtain boundedness results on products of Lebesgue spaces. A larger class of pseudodifferential operators that does not admit a calculus is also considered. Such a class is the bilinear analog of the so-called exotic class of linear pseudodifferential operators and fail to produce bounded operators on products of Lebesgue spaces. Nevertheless, the operators are shown to be bounded on products of Sobolev spaces with positive smoothness, generalizing the Leibniz rule estimates for products of functions.