This paper contains some new results on lower bounds for pseudo-differential operators whose symbols do not remain positive. Non-negativity of averages of the symbol on canonical images of the unit ball is sufficient to get a Gårding type inequality for Schrödinger operators with magnetic potential and one dimensional pseudo-differential operators.

We prove trace inequalities of type $\left|\right|u^{\text{'}}{\left|\right|}_{L^2}^2+{\sum }_{j\in \mathbb{Z}}{k}_j|u\left(a_j\right){|}^2{\ge \lambda \left|\right|u\left|\right|}_{L^2}^2$ where $u\in H^1\left(ℝ\right)$, under suitable hypotheses on the sequences ${a_j}_{j\in \mathbb{Z}}$ and ${k_j}_{j\in \mathbb{Z}}$, with the first sequence increasing and the second bounded.