Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-340/4/b/solution

Take the indicator function inside . For a compactly supported test vector field, integration in and then gives
The vertical derivative term integrates to zero. The absolute pairing is at most one, and test vector fields with along all but arbitrarily short endpoint pieces approach one. Thus . More explicitly, the distributional derivative is , where is Hausdorff measure along the segment. Also .
A Sobolev space function in has each weak derivative represented by an density with respect to planar Lebesgue measure. The nonzero segment measure here is singular with respect to that measure, so this requirement fails. Equivalently, the Sobolev fundamental theorem of calculus on lines would require an absolutely continuous representative on almost every horizontal slice, whereas each slice has a jump. Therefore
This is the bounded-variation step outside W11 example.

New to topics? Read the docs here!