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?

  • $\begingroup$ What precisely do you mean by $H( $ div ; $\Omega)$? $\endgroup$ – Memeboy Inc. Aug 27 '18 at 15:48
  • $\begingroup$ $H(\operatorname{div};\Omega) := \{ v \in [L^2(\Omega)]^n \mid \operatorname{div} v \in L^2(\Omega) \}$. $\endgroup$ – Gonzalo Benavides Aug 27 '18 at 15:50
  • $\begingroup$ $n$ is the dimension of the space. I mean, $\Omega \subset \mathbb R^n$. $\endgroup$ – Gonzalo Benavides Aug 27 '18 at 15:50
  • $\begingroup$ Are you sure you don't mean $C^{\infty}(\overline{\Omega})$? I don't think $C_{0}^{\infty}(\overline{\Omega})$ is dense in $H(div;\Omega)$. See here for why: math.stackexchange.com/questions/201586/… $\endgroup$ – Wraith1995 Aug 27 '18 at 18:02
  • $\begingroup$ Absolutely sure. Notice that we are talking about $\overline \Omega$ and not about $\Omega$. $\endgroup$ – Gonzalo Benavides Aug 27 '18 at 18:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.