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!