关的常数C，使得对索伯列夫空间formula_4 中所有的函数u，都有：formula_5其中的formula_6 指的是L空间之中的范数，是函数u在定义域formula_1 上的平均值，而formula_9指的是区域formula_1的勒贝格测度。
推广.在其他的索伯列夫空间上也有与庞加莱不等式类似的结果。比如说，定义空间H(T)是单位环面T上的L空间中傅里叶变换û满足的函数u所构成的空间，那么存在一个常数C，使得对于每个H(T)中的函数u，如果它在单位环面T的某