Total variation of an interval indicator
ID: total-variation-of-an-interval-indicator
For strictly inside a one-dimensional domain, the indicator has distributional derivative , hence . Directly from the test-function definition, , and two disjoint normalized smooth bump functions attain the bound. Values at the endpoints themselves do not change the function.
New to topics? Read the docs here!