On the Laguerre calculus of left-invariant convolution (pseudo-differential) operators on the Heisenberg group
We introduce the notion of pseudo-differential operators defined at a point and we establish a canonical one-to-one correspondence between such an operator and its symbol. We also prove the invertibility theorem for special type operators.