阿瑟·米尔格拉姆命名。这定理可用来借弱形式求解偏微分方程，因此主要用作有限元法的理论基础。
叙述.设那么存在唯一的formula_12，使得对所有formula_13都有formula_14：而且如果formula_16是对称的，那么formula_17是formula_1中唯一的元素，使得以下泛函取最小值formula_19，formula_20对所有formula_13，即：
证明.
一般情形.套用里斯表示定理到连续线性型上