Sobolev space
satisfies the definition for being the weak derivative of formula_29 which then qualifies as being in the Sobolev space formula_30 (for any allowed formula_31, see definition below).