Gårding inequality in large dimension

Abstract

We give a lower bound for a pseudodifferential operator in a large dimensional setting, with a nonnegative real-valued symbol. The lower bound is explicitly written as a function of the semiclassical parameter, and of parameters used for the estimations of some derivatives of the symbol, without any constant depending on the dimension. This is an analog, in large dimension, of the sharp Garding inequality.