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