If $f$ is a distribution, we choose test functions from $C^\infty_c(\mathbb R^n)$. My question is,
- Is there a reason that we want test function to be smooth?
- Why do we want the function to have a compact support? Can't we have replace the condition to be $f \in L^1(\mathbb R^n)$ (or $L^p$)?
Thank you in advance.
By having smooth test functions we can define derivatives of distributions of all orders: $$\langle u^{(k)}, \phi \rangle = (-1)^k \langle u, \phi^{(k)} \rangle.$$
By having test functions with compact support we can