Affine Sobolev space ($\phi +W_0^{1,p}(\Omega )$)

For prescribed boundary data $\phi$, the affine Sobolev spaceconsists of the $W^{1,p}$ functions whose trace equals the trace of $\phi$. It is the natural admissible set for a variational Dirichlet problem.