Let $\Omega \subseteq \mathbb{R}^M$ be a measurable subset of positive measure. R. A. Adams and J. Fournier in their article have proven that if $\Omega$ satisfies the so-called weak cone property, then the Sobolev space $W^{n,p}(\Omega)$ norm \begin{equation} \lVert f \rVert_{W^{n,p}(\Omega)} = \sum_{\alpha \colon \lvert \alpha \rvert \le n } \lVert D^\alpha f \rVert_{ L^p(\Omega)} \end{equation} can be bounded by only considering the extreme terms, i.e. that there exists $C > 0$ such that: \begin{equation} \forall f \in W^{n,p}(\Omega) \qquad \lVert f \rVert_{W^{n,p}(\Omega)} \le C \left( \lVert f \rVert_{L^{p}(\Omega)} + \sum_{\alpha \colon \lvert \alpha \rvert = n } \lVert D^\alpha f \rVert_{ L^p(\Omega)}\right). \end{equation}

There are spaces for which this bound does not hold. Indeed, let $I_k = (k - 2^{-k}, k + 2^{-k} )$ for $k \in \mathbb{N}$ and let us consider a space $\Omega = \bigcup_{k =1}^\infty I_k$. We can notice that $\lvert \Omega \rvert = 1$. Let us consider a sequence of functions $f_K$ defined by the formulas: \begin{equation} f_K(x) = \sum_{k=1}^K 2^k(x-k) 1_{I_k}. \end{equation} Then we have that $f_K \in W^{n,p}(\Omega)$ for all $n \in \mathbb{N}$ and $p \in [1, \infty)$. Since $\lvert f_K \rvert \le 1$, this means that $\lVert f_K \rVert_{L^p(\Omega)} \le 1$. We also have that $\lVert D f \rVert_{L^p(\Omega)} = K^{\frac{1}{p}}$ and $\lVert D^m f \rVert_{L^p(\Omega)} = 0$ for $m > 1$.

Therefore, we see that the left-hand side of the previously mentioned bounded diverges to $\infty$, when $K \to \infty$. while the right-hand side (assuming the existence of appropriate $C$), remains bounded.

Set $\Omega$ has a rather property that it does not satisfy the measure density condition, i.e. that there exists a constant $L>0$ such that for all $x \in \Omega$ and all balls $B(x, r)$ with $r \le 1$ we have: \begin{equation} \lvert \Omega \cap B(x,r) \rvert \ge Lr^M, \end{equation} where in our case we have $M=1$.

## Question:

I would like to know whether there are domains $\Omega$ such that they do not satisfy the measure density condition, but they do allow for the mentioned bounding of the Sobolev norm. In other words, whether the measure density condition is a necessary condition for the bounding to occur.