The origin of Garding's inequality was an effort to solve Dirichlet's problem for linear elliptic operators of high even order.Let $$P(x,D)= \sum a_{\alpha}(x)D^{\alpha}$$ with principal part $$P_{2m}(D)= \sum_{\alpha=2m} a_{\alpha}(x)D^{\alpha}$$ have the property that $$ReP_{2m}(x,\xi)\geq c\xi^{2m}$$ for some $c>0$.It is further assumed that the coefficients $a_{\alpha}(x)$ have continious and bounded derivatives.Under this circumstances,one have for all $\epsilon>0$,$u\in C_{0}^{m}$,$$Re(Pu,u)\geq (c\epsilon)\u\^{m,2}b_{\epsilon}\u\^{2}$$. The original Garding's inequality seems to have been used for the first time by Leray in his 1954 lectures for an existence proof for Cauchy's problem for strongly hyperbolic systems.It was used again by Garding(1956) for a proof of the same result using only functional analysis. There is a sharp form of this inequality due to Hormander which says that if the symbol $P(x,\xi)\in S^{2m}$,$ReP(x,\xi) \geq 0$. Then $$Re(P(x,D)u,u)\geqb\u\_{m\frac{1}{2}}^{2}$$. A much more precise statement in the scalar case is known as the FeffermanPhong inequality. Here my first question is what's the application of the sharp Garding's inequality? I once saw that Fefferman had wrote a paper named "sharp Garding's inequality and the uncertainty principle". I'm really surprised to see that this two inequalities can have connections.so i become more interested in inequalities with lower bounds.Can anyone list some inequalities appeared in PDE or other banches of math with a lower bound?Maybe some of them can have interesting links.

Let us start with a short review of the socalled G{\aa}rding's inequality. Let $a\in S^m$ be nonnegative. Then with $a^w$ standing for the Weyl quantization of the Hamiltonian $a$, $$ (1)\quad m=1\quad \exists C,\ a^w +C\ge 0. $$ $$ (2)\quad m=2\quad \exists C,\ a^w +C\ge 0. $$ $$ (3)m=2, a_j,j=1,2\ \text{homogeneous degree $j$}. \quad\text{If }a_2\ge 0\quad a_{1}+\frac12trace_+(a_2'')\ge 0,$$ $$\text{then}\quad a_2^w+a_1^w+C\ge 0. $$ Of course (2) is (much) stronger than (1), but (1) is true for systems, that is symbols valued in symmetric matrices and even infinitedimensional selfadjoint operators in a Hilbert space. (2) is the FeffermanPhong inequality is true only for (nonnegative) scalar symbols. (3) is essentially Melin inequality ($trace_+(a_2'')$ is a symplectic invariant of the Hessian). The third inequality is closely related to the uncertainty principle since, $$ \Delta_{\mathbb R^d}+\frac{\vert x\vert^2}{4}\frac d2\ge 0 $$ is a consequence of (3): the symbol $\vert \xi\vert^2+{\vert x\vert^2}/{4}\frac d2$ takes nonpositive values but the associated operator is nevertheless nonnegative. Heuristically you could say that the set of nonpositivity of the symbol is symplectically small and thus unimportant. Another example is Hardy's inequality for $d\ge 3$ $$ \Delta_{\mathbb R^d}\frac{(d2)^2}{4}\frac{1}{\vert x\vert^2}\ge 0. $$ Here the set $S_{}$ of nonpositivity of the symbol has infinite volume, but is still symplectically small in the sense that no canonical image of the unit cube can be embedded in $S_$. Summingup a (secondorder) nonnegative symbol gives rise to a semibounded (from below) operator, but an operator can be semibounded from below with a symbol taking negative values. The important matter is to check the symplectic relevance of the set $S_{}$ where the symbol is negative. Of course, this is linked to the uncertainty principle. 


Daniel Tataru obtained sharp and strong results (with restricted regularity of the coefficients of the operator)about Garding and FeffermanPhong inequalities whith the use of the FBI (FourierBrosIagolnitzer) transform without any suplementary condition on the principal and subprincipal symbols (trace+ condition). Notice that the condition of positivity is on the principal symbol for Garding inequality but it is on the complete symbol for the FeffermanPhong inequality. There is also a refinement of Melin inequality (see Mohamed, "Etude spectrale d'operateurs hypoelliptiques a caracteristiques multiples I et II") whith a genralization of the trace+ condition. Also there is some generalizations of the MelinHormander inequality obtained by the italian school (Parenti, Parmeggiani). 

