 Affine Sobolev space

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.