Let $L_D(\mathbb{R}^n)^n$ be the set of square integrable functions which are the weak derivative of a locally square integrable function. That is $$L_D(\mathbb{R}^n)^n=\{Du\colon u\in H^1_{loc}(\mathbb{R}^n), Du\in L^2(\mathbb{R}^n)^n\}.$$ For $n>2$ it can be shown that $C_c(\mathbb{R}^n)^n\cap L_D(\mathbb{R}^n)^n$ is dense in $L_D(\mathbb{R}^n)^n$. Is this also true for $n=2$?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is true even for n=1. Consider the Fourier transform of functions u which have $Du\in L_D^n$. For such functions we have $$\int k^2\hat u(k)^2\,dk<\infty.$$ The norm associated with this integral corresponds to the norm in $L_D^n$. In this norm, we can approximate $\hat u$ by a test function; first cut off near zero and infinity and then apply a mollifier. Transforming back, we find that gradients of functions in ${\cal S}$ are dense in $L_D^n$. It is easy to get from there to compact support. 

