  In this paper we establish explicit lower bounds for pseudodifferential
operators with a radial symbol. The proofs use classical Weyl calculus
techniques and some useful, if not celebrated, properties of the Laguerre
polynomials.
