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!