a Department of Mathematics, Imperial College London, 180 Queen?s Gate, London SW7 2AZ, United Kingdom b Aalto University, Institute of Mathematics, P.O. Box 1100, FI-00076 Aalto, Finland
Abstract:
We establish the sharp Gårding inequality on compact Lie groups. The positivity condition is expressed in the non-commutative phase space in terms of the full matrix symbol, which is defined using the representations of the group. Applications are given to the L2 and Sobolev boundedness of pseudo-differential operators.