Let be a compactly supported distribution. It has some finite order . Choose so large that the Bessel potential kernel has enough continuous derivatives for
to be bounded and continuous. Compact support of makes boundedness uniform under translation. Since distributionally,
Expanding each power of expresses as a finite sum of derivatives of the bounded continuous function . This proves the structure theorem for compactly supported distributions.
Solved by gpt-5.6-sol high.
Structure theorem for compactly supported distributions Created 2026-09-24 Updated 2026-09-24
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 .