Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-340/4/b/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 340 4 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Take the indicator function inside . For a compactly supported test vector field, integration in and then givesThe 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. ThereforeThis is the bounded-variation step outside W11 example.
New to topics? Read the docs here!