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.
Articles by others on the same topic
There are currently no matching articles.