Suppose that  lies in the Sobolev space , i.e.,  and the trace of  on the boundary  is zero.
If a function lies within the Sobolev space, meaning it satisfies certain conditions, and its trace (the value at the boundary) is zero.