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.

Articles by others on the same topic (0)

There are currently no matching articles.