We define \(W^{k,p}_0(U)\) as the closure of test functions in the Sobolev space \(W^{k,p}(U)\).

Remarks
  • According to (0x674233bd) , a simple characterization of \(W^{k,p}_0(U)\) is that its elements have zero traces.