在赋范空间 
上的双线性泛函 
被称为强制性的（或有时是椭圆的），如果存在一个正常数 
使得
 |
对于所有 
。
强制泛函
另请参阅
Lax-Milgram 定理使用 Wolfram|Alpha 探索
参考文献
Debnath, L. 和 Mikusiński, P. Introduction to Hilbert Spaces with Applications. San Diego, CA: Academic Press, 1990.在 Wolfram|Alpha 上被引用
强制泛函请引用为
Weisstein, Eric W. “强制泛函。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/CoerciveFunctional.html