Sobolev space inclusion

Question

Let $U$ be a bounded open domain in $\mathbb{R}^n$. If $W_0^{k,p}(U)$ is the completion of $C_c^{\infty}(U)$, the space of smooth and compactly supported functions on $U$, with respect to the $W^{k,p}(U)$ norm, does the inclusion $$W^{k_2,p}(U)\cap W_0^{k_1,p}(U)\subset W_0^{\max\{k_1,k_2\},p}(U)$$ hold?

Answer 1

No, this is not true in general. To see this, consider the one-dimensional case $U = (0,1) $. Then, if $k_2 > k_1$, $$ W^{k_2, p} \cap W_0^{k_1, p} = \{ f \in W^{k_2, p} \,:\, \partial^\alpha f (x)=0 \text { for } |\alpha| \leq k_1 - 1\text { and } x \in \{0,1\} \} $$ is not a subset of $$ W_0^{k_2,p} = \{ f \in W^{k_2, p} \,:\, \partial^\alpha f (x)=0 \text { for } |\alpha| \leq k_2 - 1 \text { and } x \in \{0,1\} \}, $$ as can already be seen by considering suitable polynomials.