Sobolev gradient vanishes on a zero set

ID: sobolev-gradient-vanishes-on-a-zero-set

For a Sobolev space function, almost every line parallel to a coordinate axis gives an absolutely continuous restriction. An absolutely continuous function has derivative zero almost everywhere on each of its level sets. Slicing and Fubini's theorem give the assertion in higher dimension. If , apply it to and then to each component of its gradient to get almost everywhere on . This supplies the contact differentiation used in noncontact of ROF level boundaries.

New to topics? Read the docs here!