MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The local Sobolev space,defined as $W^{k,p}_{loc}(\Omega)$, is the space such that for any $u \in W^{k,p}_{loc}(\Omega)$ and any compact $V\subset \Omega$, $u \in W^{k,p}(V)$. I am just wondering if for any $u\in W^{k,p}_{loc}(\Omega)$, there exists ${u_n}\in C^\infty(\Omega)$, such that $u_n \rightarrow u$ in $W^{k,p}(V)$ for any compact $V\subset \Omega$. ($C^\infty(\Omega)$ is dense in $W^{k,p}(\Omega)$, I am just wondering if this is also true for $W^{k,p}_{loc}(\Omega)$)

share|cite|improve this question

The standard mollifier construction should still hold in this space. Let $\phi_n$ be standard mollifiers, $\operatorname{supp}{\phi_n} \subset B_{\frac{1}{n}}(0), f \in W^{k, p}_{loc}(\Omega)$. Then $f * \phi_n$ converges to $f$ in any $W^{k, p}_{loc}(K)$ (by the standard argument on $K \backslash B_{\frac{1}{n}}(\partial K)$ and everywhere since this strip around the boundary shrinks to measure 0 and $f * \phi_n$ is bounded independently of n).

share|cite|improve this answer

The answer is yes for $V\subset\Omega$, for which $\bar V\subset\Omega$.

Let $U_1\subset \bar{U}_1 \subset U_2 \subset \bar U_2\subset \cdots\subset U_n\subset\bar U_n\subset \cdots\subset \Omega$, where $\bar U_n$ compact, for all $n$, and $\bigcup U_n=\Omega$. Clearly, every such $V$ there exists an $n$, such that $\bar V\subset U_n$. Such sequence of domains can be readily obtained, i.e., $U_n=B(0,n)\cap \{x\in\Omega: \mathrm{dist}(x,\partial\Omega)<1/n\}$.

Now fixing a $u\in W_{\mathrm{loc}}^{k,p}(\Omega)$ and a $n_0\in \mathbb N$, we can find a sequence $\{\varphi_{n_0,n}\}_{n\in\mathbb N}\subset C^\infty(\Omega)$, using for example mollifiers, converging to $u|_{U_{n_0}}$ in the norm of $W^{k,p}(U_{n_0})$. The desired sequence is then obtained using a standard diagonal argument.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.