Suppose $s∈(0,1)$, $D$ is an open set in $\mathbb{R}^d$. Define $$ H^s=(1−\Delta)^{-s/2}L^2(\mathbb{R}^d), $$$$ H^s=(1−\Delta)^{-s/2}L^2\left(\mathbb{R}^d\right), $$ $$ H^s_D=\{f\in H^s:f=0 \ a.e.\ on\ D^c\}. $$$$ H^s_D=\left\{f\in H^s:f=0 \mbox{ a.e. on } D^c\right\}. $$ Q: Is $C^\infty_c(D)$ dense in $H^s_D$(with norm $\|\cdot\|_{H^s}$) for any open set $D$?
Is there any element reference?