Sobolevの小技

Wk,2の元であることを示す
fの任意回の微分が二乗可積分であることを示せばよい。

このとき嬉しい特典としてfがなめらかであることが分かる。

これはSobolev不等式から従う。