Continuous weak gradient gives a C1 representative

ID: continuous-weak-gradient-gives-a-c1-representative

If a locally integrable function has weak derivatives represented by a continuous vector field , it has a representative with . The assertion is local, so work on a ball compactly contained in the domain and regularize using a mollifier. The regularizations satisfy the segment identity . Averaging over a smaller ball in fixes the additive constant through local convergence. The gradients converge uniformly on compact sets, so the averaged identity gives local uniform convergence to . Passing to the limit on each segment then gives . Continuity of proves that is continuously differentiable.

New to topics? Read the docs here!