Gårding inequality

Gårding inequality
Name	Gårding inequality
Field	Partial differential equations
Introduced	1953
Introduced by	Lars Gårding
Related to	Lax–Milgram theorem, Calderón–Zygmund theory, Sobolev spaces

Gårding inequality The Gårding inequality is a foundational estimate in the theory of Partial differential equations and Functional analysis, providing coercivity-type lower bounds for broad classes of Elliptic partial differential equation operators on Sobolev spaces and connecting to spectral theory, the Lax–Milgram theorem, and Fredholm theory. It underpins existence and regularity results used in constructions involving the Laplace operator, the Dirichlet problem, and the Neumann boundary condition in settings influenced by contributions from Laurent Schwartz, Jean Leray, and Stefan Bergman. The inequality has played a central role in developments associated with the Courant–Hilbert tradition, the Calderón–Zygmund theory lineage, and the functional-analytic framework advanced by John von Neumann and Marshall Stone.

Introduction

The inequality provides an estimate for a second-order formally self-adjoint or non-self-adjoint Differential operator P with principal symbol related to ellipticity, giving a lower bound of the form Re⟨Pu,u⟩ ≥ c||u||^2_{H^m} − C||u||^2_{H^{m−1}} for u in an appropriate Sobolev space; such bounds are instrumental for applying the Lax–Milgram theorem or constructing parametrices in the spirit of Lars Hörmander and Atle Selberg. The concept is tightly connected to notions developed by Agmon, Douglis–Nirenberg, and John Nash in treating regularity and is used alongside tools from Fourier analysis, Microlocal analysis, and the Spectral theorem tradition stemming from David Hilbert.

Statement of the Inequality

Let P be a linear pseudodifferential or differential operator of order m with principal part satisfying an ellipticity condition on a domain in ℝ^n; then there exist constants c>0 and C≥0 such that for all u in C_c^∞(Ω) one has Re⟨Pu,u⟩ ≥ c||u||^2_{H^{m/2}(Ω)} − C||u||^2_{H^{m/2−1}(Ω)}. This formulation, framed by Lars Gårding and refined by Lars Hörmander and Mikio Sato, is compatible with coercivity statements used in the Fredholm alternative and complements estimates such as the Poincaré inequality and the Sobolev embedding theorem as treated by Elias Stein and Louis Nirenberg.

Proofs and Techniques

Standard proofs combine symbol calculus from Pseudodifferential operator theory, multiplier methods inspired by Marcel Riesz, and energy estimates in the vein of Sergiu Klainerman and James Serrin. Techniques employ microlocal decomposition introduced by Lars Hörmander and parametrix constructions related to work of Bernard Malgrange and Joseph Kohn, together with functional-analytic inputs from the Riesz representation theorem lineage and the Lax–Milgram theorem as used by Peter Lax and Elliott H. Lieb. Alternative proofs use Fourier transform methods developed by Salomon Bochner and Norbert Wiener and interpolation results linked to J. L. Lions and E. M. Stein.

Applications

The Gårding inequality is applied to establish existence for boundary-value problems such as the Dirichlet problem and the Neumann problem for elliptic operators, to prove regularity in Elliptic regularity theory central to work by Agmon, Douglis, Nirenberg, and John Nash, and to derive spectral gap estimates in contexts studied by Israel Gelfand and Mark Krein. It appears in proofs of well-posedness for linearizations arising in variational problems influenced by David Hilbert and Richard Courant, and it supports index computations in frameworks associated with Atiyah–Singer index theorem collaborators such as Michael Atiyah and Isadore Singer.

Generalizations and Related Results

Generalizations include sharp Gårding inequalities for pseudodifferential operators by Lars Hörmander and extensions to non-elliptic settings explored by Grigori Eskin and Victor Ivrii, as well as semiclassical versions used by André Martínez and Alexander Melin. Related statements encompass the Fefferman–Phong inequality, the Calderón–Zygmund estimates of Alberto Calderón and Antoni Zygmund, and coercivity results in the style of Lions–Magenes for boundary-value problems studied by Jacques-Louis Lions and Enrico Magenes.

Historical Context and Attribution

The inequality bears the name of Lars Gårding, who introduced the original estimate in the early 1950s, building on prior techniques from the Hilbert space methods of Frigyes Riesz and the symbolic machinery emerging from Japanese school contributors such as Mikio Sato. Subsequent refinements by Lars Hörmander, Agmon, and J. J. Kohn integrated the inequality into the modern pseudodifferential and microlocal frameworks associated with the Institute for Advanced Study and mathematical communities in Stockholm, Uppsala, and Paris.

Category:Partial differential equations