Sobolev space
によって定義される。分解を正確に定義し証明するには、ソボレフ空間上で問題を定式化することが必要である。そこでの考え方は、ソボレフ空間が二乗可積分函数の考え方と微分の考え方の双方に対して自然な設定をもたらすことであり、これを使いコンパクト台が必要であるという制限のいくつかを克服することができる。