Sobolev space
That is, the Sobolev space formula_32 is defined as