ソボレフ空間
That is, the Sobolev space formula_32 is defined as