Gives a lower bound for the inner product , where 
 is a linear elliptic real differential operator of order 
, and 
 has compact support.
Gårding's Inequality
Explore with Wolfram|Alpha
References
Knapp, A. W. "Group Representations and Harmonic Analysis, Part II." Not. Amer. Math. Soc. 43, 537-549, 1996.Referenced on Wolfram|Alpha
Gårding's InequalityCite this as:
Weisstein, Eric W. "Gårding's Inequality." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/GardingsInequality.html