Structure theorem for compactly supported distributions (source code)

= Structure theorem for compactly supported distributions

Every compactly supported distribution is a finite sum of distributional derivatives of bounded continuous functions. One proof convolves it with a sufficiently high-order <Bessel potential> and then applies a power of $1-\Delta$.