Sobolev space
Ω はユークリッド空間 R"n" の有界部分集合で、その径は "d" とする。"u" : Ω → R はソボレフ空間 formula_1 に属するものとする（すなわち、"u" は "W""k","p"(Ω) に属し、そのトレースはゼロ）。このとき、次が成り立つ。