Solution

ID: past-exam-of-the-distribution-theory-course-of-the-university-of-oxford/2023/2/b/i/solution

Put . Then
The theorem on differentiation of an indefinite Lebesgue integral makes this an absolutely continuous function on , with
Both and belong to the L1 space: for example, . The ordinary derivative of an absolutely continuous function is its weak derivative, as integration by parts against a test function shows. Therefore , the indicated Sobolev space.

New to topics? Read the docs here!