ここでポアンカレ不等式とは、"u" ∈ "w"1,"p"(ω; r)に対し(ω は上記のものと同じ仮定を満たすとする)に対し