BV translation estimate
ID: bv-translation-estimate
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.
New to topics? Read the docs here!