$C_0^\infty(\overline \Omega)$ is dense in $H(\operatorname{div};\Omega)$

237 Views Asked by At

I've been looking for a while in different Functional Analysis books such as Luc Tartar, Jean Pierre Aubin and Brezis but couldn't find the proof of the density of $C_0^\infty(\overline \Omega)$ in $H(\operatorname{div};\Omega)$ when $\Omega$ is an open bounded subset of $\mathbb R^n$ with Lipschitz boundary $\Gamma:=\partial \Omega$. Can you recommend me a good source to check it?