Математическая энциклопедия
неравенство, имеющее вид:
где 
- комплексная функция с компактным (в G).носителем, 
- ограниченная область и
- интегральная квадратичная форма с непрерывными в 
комплексными коэффициентами 
. Достаточным условием справедливости Г. н. для любой функции 
является существование такой положительной постоянной 
, что
для любого 
и всех действительных векторов 
. Г. н. сформулировано и доказано Л. Гордингом 11].
Лит.:[1] Garding L., "Math, scand.", 1953, bd. 1, № 1, s. 55-72; [2] Иосида К., Функциональный анализ, пер. с англ., М., 1967. А. А. Дезин.