Zero-boundary Sobolev space
= Zero-boundary Sobolev space
{title2=$H_0^1(U)$}
The zero-boundary Sobolev space $H_0^1(U)$ is the closure of the <space of test functions> $C_c^\infty(U)$ in $H^1(U)$. Under standard regularity assumptions its elements have zero boundary trace.