Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-326/3/c/solution

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, define
The two supports are disjoint and inside . Each bump has maximum , so , while and . This attains the upper bound, proving
Equivalently, its distributional derivative is , with total variation two. This is total variation of an interval indicator.

New to topics? Read the docs here!