Sobolev space
この定義からソボレフ空間には自然なノルム