On the sharp Garding inequality for operators with polynomially bounded and Gevrey regular symbols

In this paper, we analyze the Friedrichs part of an operator with polynomially bounded symbol. Namely, we derive a precise expression of its asymptotic expansion. In the case of symbols satisfying Gevrey estimates, we also estimate precisely the regularity of the terms in the asymptotic expansion. These results allow new and refined applications of the sharp Gårding inequality in the study of the Cauchy problem for p-evolution equations.