Smoothing convolution with a test function

ID: smoothing-convolution-with-a-test-function

For any distribution and any test function , the convolution is a smooth function. On a compact set of values, the translated test functions and all their derivatives have supports in one fixed compact set, so distributional continuity permits every derivative:
For constant-coefficient operators, . Hence a fundamental solution of a linear differential operator supplies a smooth particular solution for every compactly supported smooth datum. No temperedness of is needed.

New to topics? Read the docs here!