We investigate two density questions for Sobolev, Besov and Triebel–Lizorkin spaces on rough sets. Our main results, stated in the simplest Sobolev space setting, are that: (i) for an open set $\mathrm{\Omega }\subset {\mathbb{R}}^n$, $\mathcal{D}(\mathrm{\Omega })$ is dense in $\{u\in H^s({\mathbb{R}}^n):\mathrm{supp}u\subset \bar{\mathrm{\Omega }}\}$ whenever ∂Ω has zero Lebesgue measure and Ω is “thick” (in the sense of Triebel); and (ii) for a d-set $\mathrm{\Gamma }\subset {\mathbb{R}}^n$ ($0<d<n$), $\{u\in H^{s_1}({\mathbb{R}}^n):\mathrm{supp}u\subset \mathrm{\Gamma }\}$ is dense in $\{u\in H^{s_2}({\mathbb{R}}^n):\mathrm{supp}u\subset \mathrm{\Gamma }\}$ whenever $-\frac{n-d}{2}-m-1<s_2\le s_1<-\frac{n-d}{2}-m$ for some $m\in {\mathbb{N}}_0$. For (ii), we provide concrete examples, for any $m\in {\mathbb{N}}_0$, where density fails when $s_1$ and $s_2$ are on opposite sides of $-\frac{n-d}{2}-m$. The results (i) and (ii) are related in a number of ways, including via their connection to the question of whether $\{u\in H^s({\mathbb{R}}^n):\mathrm{supp}u\subset \mathrm{\Gamma }\}=\{0\}$ for a given closed set $\mathrm{\Gamma }\subset {\mathbb{R}}^n$ and $s\in \mathbb{R}$. They also both arise naturally in the study of boundary integral equation formulations of acoustic wave scattering by fractal screens. We additionally provide analogous results in the more general setting of Besov and Triebel–Lizorkin spaces.

我们在粗糙集上研究了Sobolev，Besov和Triebel-Lizorkin空间的两个密度问题。用最简单的Sobolev空间设置表示的主要结果是：（i）对于开放集$\mathrm{\Omega }\subset {\mathbb{[R}}^{ñ}$， $\mathcal{d}（\mathrm{\Omega }）$ 密集 $\{ü\in H^s（{\mathbb{[R}}^{ñ}）：\mathrm{支持}ü\subset \stackrel{〜}{\mathrm{\Omega }}\}$每当∂Ω的Lebesgue量度为零且Ω为“厚”时（按特里贝尔的意义）；和（ii）为一个d -set$\mathrm{\Gamma }\subset {\mathbb{[R}}^{ñ}$ （$0<d<ñ$）， $\{ü\in H^{s_{\mathrm{1个}}}（{\mathbb{[R}}^{ñ}）：\mathrm{支持}ü\subset \mathrm{\Gamma }\}$ 密集 $\{ü\in H^{s_{\mathrm{2个}}}（{\mathbb{[R}}^{ñ}）：\mathrm{支持}ü\subset \mathrm{\Gamma }\}$ 每当 $-\frac{ñ-d}{\mathrm{2个}}-米-\mathrm{1个}<s_{\mathrm{2个}}\le s_{\mathrm{1个}}<-\frac{ñ-d}{\mathrm{2个}}-米$ 对于一些 $米\in {\mathbb{ñ}}_0$。对于（ii），我们为任何$米\in {\mathbb{ñ}}_0$，当密度失败时 $s_{\mathrm{1个}}$ 和 $s_{\mathrm{2个}}$ 在两边 $-\frac{ñ-d}{\mathrm{2个}}-米$。结果（i）和（ii）以多种方式相关，包括通过它们与是否$\{ü\in H^s（{\mathbb{[R}}^{ñ}）：\mathrm{支持}ü\subset \mathrm{\Gamma }\}=\{0\}$ 对于给定的封闭集 $\mathrm{\Gamma }\subset {\mathbb{[R}}^{ñ}$ 和 $s\in \mathbb{[R}$。它们在分形屏对声波散射的边界积分方程公式的研究中也自然而然地出现了。此外，我们在更一般的Besov和Triebel–Lizorkin空间中提供了类似的结果。