Solution

ID: past-exam-of-the-distribution-theory-course-of-the-university-of-oxford/2023/2/a/i/solution

Convergence in the space of test functions means that all supports lie in one compact set and for every integer . An eventual common compact support is equivalent, since finitely many initial supports can be added to .
Write the standard mollifier as , where is nonnegative, supported in , and has integral one. For , the convolution has support in the fixed compact set . The given convolution derivative identity yields
Each is uniformly continuous; more explicitly, the mean value theorem bounds the absolute value by , uniformly in . Thus
If in the space of test functions and is a common compact support, then , where is its Lebesgue measure.
The mollifiers themselves have no limit in the L1 space. If in that norm, then for each the integral of on is zero, because vanishes there for . Hence almost everywhere. This contradicts . Therefore .

New to topics? Read the docs here!