论文部分内容阅读
Pseudo-differential operators with operator-valued symbols for Weyl trasforms 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.