PSEUDO-DIFFERENTIAL OPERATORS FOR WEYL TRANSFORMS

Pseudo-differential operators with operator-valued symbols for Weyl transforms are introduced. We give suitable conditions on the symbols for which these operators are in the trace class and give a trace formula for them.