0x6741b852

Let \(f_\varepsilon\) be the mollification of some \(f\in L^1_{\text{loc}}(\Omega)\). Then \(f_\varepsilon\in C^{\infty}(\Omega_\varepsilon)\).

If we differentiate \(f_\varepsilon\) the derivative is applied to the smooth mollifier \(\eta_\varepsilon\).