erlaubt die Abschätzung von Sobolew-Normen durch (streng) elliptische (Pseudo-)Differentialoperatoren und ermöglicht damit Regularitätsaussagen über elliptische Operatoren.

Ist T ein streng elliptischer Operator der Ordnung m, d. h. gilt für sein Hauptsymbol \[\begin{matrix} \operatorname{Re}\,{{T}_{m}}\left( x,\,\xi \right)\,\ge C\left| \xi {{|}^{m\,}} \right\rangle 0 & \left( m\,\text{gerade} \right), \\ \end{matrix}\] so gilt die folgende Gårding-Ungleichung: \[\|u\|_{m/2}^{2}\le C\left( \operatorname{Re}\mathop{\int }^{}Pu\cdot \bar{u}+\|u{{\|}^{2}} \right)\] für eine geeignete positive Konstante C und u ∈ C^∞. Hierbei bezeichne || · || die gewöhnliche L²-Norm und || · ||_s die Sobolew-s-Norm.

Allgemeiner gilt noch folgendes: Ist T ein elliptischer (Pseudo-)Differentialoperator der Ordnung m > 0, d. h. ein Operator, dessen Hauptsymbol T_m(x, ξ) außer für ξ = 0 invertierbar ist, so gibt es für alle s eine positive Konstante C_s mit \[\|u{{\|}_{s+l}}\le {{C}_{s}}\left( \|u{{\|}_{s}}+\|Tu{{\|}_{s}} \right)\] für alle u ∈ C^∞.

Mit Hilfe der Garding-Ungleichung beweist man etwa den Regularitätssatz für elliptische Operatoren: Ist T ein elliptischer Operator der Ordnung m, definiert auf einer offenen Menge G, und gilt Tu = f, wobei f im Sobolew-Raum H^s(K) für alle K kompakt in G und u eine temperierte Distribution sein möge, so folgt, daß u ∈ H^s+m(K) für alle K ⊂⊂ G. Insbesondere sind damit die Eigenfunktionen elliptischer Operatoren stets glatt.