Suppose $s∈(0,1)$, $D$ is an open set in $\mathbb{R}^d$. Define
$$
H^s=(1−\Delta)^{-s/2}L^2\left(\mathbb{R}^d\right), 
$$
$$
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?