For a smooth function, integrate its directional derivative along each segment of length and then integrate in space. This gives the displayed bound with . Smooth BV approximation and sequential lower semicontinuity give the same inequality for general functions in the BV space. Averaging it over a mollifier proves the BV mollification error estimate.
For a nonnegative normalized mollifier supported in the radius- ball, integrate the BV translation estimate with weight . The full-space derivative variation controls the full-space error. Replacing it by variation on a smaller domain is invalid without a support condition: a nonconstant bump outside that domain has zero derivative measure inside but a nonzero mollification error.

Articles by others on the same topic (0)

There are currently no matching articles.