Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 326 3 c Solution Created 2026-10-03 Updated 2026-10-05
Use the interior-domain definition of total variation seminorm on a domain, so there is no boundary-extension term at . For any admissible scalar test function ,Thus .
Choose . From the supplied smooth bump function, defineThe two supports are disjoint and inside . Each bump has maximum , so , while and . This attains the upper bound, provingEquivalently, its distributional derivative is , with total variation two. This is total variation of an interval indicator.