Sharp Garding inequality on compact Lie groups

In this paper the sharp Garding inequality is established on compact Lie groups. The positivity condition is expressed in the non-commutative phase space in terms of the full symbol, which is defined using the representations of the group. Applications are given to the $L^2$ and Sobolev boundedness of pseudo-differential operators.