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.
Articles by others on the same topic
There are currently no matching articles.