First, I give my motivation to ask this question. The generalised Neumann trace can be defined as
$$
{}\_{H^{-1/2}(\partial\Omega)}\langle\frac{\partial u}{\partial{\mathbf{n}}},v\rangle\_{H^{1/2}(\partial\Omega)}
={}\_{H^{-1}(\Omega)}\langle\Delta u,v\rangle\_{H^1(\Omega)}-\int\_{\Omega}\nabla u\cdot\nabla v.
$$
But this involves integral in the volume of $\Omega$ which is not really like a trace to me. In particular, if we substitute this definition to Green's representation formula, we obtain an identity of no use like $0=0.$


Then, I found a theorem in Girault-Raviart's book says $H(\mathrm{div},\Omega)$ always has normal trace in $H^{-1/2}(\partial\Omega)$ by smooth approximation. This is the first time I saw such smooth approximation result of **negative** order Sobolev spaces. I searched on the web and in books but I found only for $H^{-s}(\mathbb{R}^n)$ that $C\_c^\infty(\mathbb{R}^n)$ is dense. I can not find similar results on Lipschitz domains. It would be good to give me a reference.


Second, I also saw a result in McLean's book. That says, for any integer negative order Sobolev space $W^{-m,p}(\Omega)\ni f$ there is a representation
$$
f=\sum\_{|\alpha|\leq m}\partial^{\alpha}f\_{\alpha} \mbox{ with }f\_{\alpha}\in L^p{(\Omega)}.
$$
But he does not say about negative **real** order Sobolev spaces. I would like a reference on similar results on negative **real** order Sobolev spaces.



Negative real order Sobolev spaces: density and representation
I don't know the references. It's hard to find the references for such questions, as they are not often used by others. It is better to derive such results based on the well-known results.


For $1\leq p\leq\infty$, $W^{-m,p}(\Omega)$ is usually defined as the dual space of $W^{m,p'}\_0(\Omega)$, the completion of $C^\infty\_0(\Omega)$ in $W^{m,p'}(\Omega)$. Therefore, $W^{m,p'}\_0(\Omega)$ can be viewed as a closed subspace of $W^{m,p'}\_c({\mathbb R}^n)$. By the Hahn-Banach extension theorem, any continuous linear functional on $W^{m,p'}\_0(\Omega)$ admits an extension as a continuous linear functional on $W^{m,p'}\_c({\mathbb R}^n)$, which means that there exists a function $\widetilde u\in W^{-m,p}({\mathbb R}^n)$ such that $(\widetilde u,v)=(u,v)$ for all $v\in W^{m,p'}\_0(\Omega)$ and the given $u\in W^{-m,p'}(\Omega)$.
Since $\widetilde u=\sum\_{|\alpha|\leq m}\partial^\alpha u\_\alpha$ for some $u\_\alpha\in L^p({\mathbb R}^n)$, it follows that $u$ can also be represented by $u=\sum\_{|\alpha|\leq m}\partial^\alpha u\_\alpha$.


Negative real-valued Sobolev spaces also admit such representation. If $s\in(0,1)$ and $m$ is a nonnegative integer, then
$$
u\in H^{-m-s}(\Omega) \implies u=\sum\_{|\alpha|\leq m+1}\partial^\alpha u\_\alpha,
$$
where $u\_\alpha\in H^{1-s}(\Omega)$.


