Range of the Volterra integration operator
ID: range-of-the-volterra-integration-operator
For on the Hilbert space , every image has a weak derivative and zero trace at zero. Conversely every such Sobolev space element is this integral of its weak derivative. The range is dense because it contains smooth functions supported in , but it is not closed: a step function can be approximated in by continuous ramps and is not itself in . The Moore–Penrose inverse of an operator has this range as its domain and differentiates there.
New to topics? Read the docs here!