Past exam of the mathematics course of the University of Cambridge / 2019 / ii / Paper 4 / 23H / c / Solution

The zero-boundary Sobolev space isHere $H^1(\Omega )$ consists of the $L^2$ functions whose first weak derivatives also belong to $L^2$, with normOn a sufficiently regular domain, the closure condition is equivalent to having zero boundary trace.