 For any test function formula_147, consider the function

It can be readily shown that this defines a smooth function of "x", which moreover has compact support.The convolution of "S" and "T" is defined by

This generalizes the classical notion of convolution of functions and is compatible with differentiation in the following sense