Convolution of a tempered distribution with a Schwartz function
ID: convolution-of-a-tempered-distribution-with-a-schwartz-function
For and , define . Translations are smooth in the Schwartz space, so every derivative is . The finite-seminorm continuity estimate for implies for one . Thus the result is a smooth function defining a tempered distribution, but it need not be a Schwartz function: when . If both factors are radial, testing the rotation action on the translated shows that the convolution is radial.
New to topics? Read the docs here!