"W"("U")，考虑两种情况：
"k" < "n"/"p".这时"u" ∈ "L"("U")，其中有估计常数C只依赖于"k", "p", "n"和U。
"k" > "n"/"p".这里u属于Hölder空间，更精确的：其中有估计常数C只依赖于"k", "p", "n", "γ"和U。
formula_26情形.如果formula_27，则u是有界平均振动函数且有对于某个常数C只依赖于n。这个估计是庞加莱不等式的推论。