Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-326/1/3/c/solution

The range of the Volterra integration operator is , using the representative of a Sobolev space element that is an absolutely continuous function. Indeed has weak derivative and zero initial trace; conversely the fundamental theorem of calculus reconstructs such a from its derivative. This range contains smooth compactly supported functions and is dense in .
The given step is in , and its value at the single midpoint is immaterial. It cannot be the image of an function: such an image is continuous, whereas no continuous representative agrees almost everywhere with zero on the left half and one on the right half. Its distributional derivative is a Dirac delta distribution, not an function. Thus
For a direct approximation, replace the jump by a linear ramp of width centered at . Each ramp starts at zero and has an derivative, so lies in the range, while its squared error is . Its derivative norm is , illustrating unstable differentiation.
The supplied SVD gives , or more simply . Since but , the Moore–Penrose inverse is discontinuous. Its domain is the dense, nonclosed range above, and there it is the weak derivative.

New to topics? Read the docs here!