Traces and extensions of certain weighted Sobolev spaces on $\mathbb{R}^n$ and Besov functions on Ahlfors regular compact subsets of $\mathbb{R}^n$
The focus of this paper is on Ahlfors $Q$-regular compact sets $E\subset\mathbb{R}^n$ such that, for each $Q-2<α\le 0$, the weighted measure $μ_α$ given by integrating the density $ω(x)=\text{dist}(x, E)^α$ yields a Muckenhoupt $\mathcal{A}_p$-weight in a ball $B$ containing $E$. For such sets $E$ we show the existence of a bounded linear trace operator acting from $W^{1,p}(B,μ_α)$ to $B^θ_{p,p}(E, \mathcal{H}^Q\vert_E)$ when $0<θ<1-\tfrac{α+n-Q}{p}$, and the existence of a bounded linear extension operator from $B^θ_{p,p}(E, \mathcal{H}^Q\vert_E)$ to $W^{1,p}(B, μ_α)$ when $1-\tfrac{α+n-Q}{p}\le θ<1$. We illustrate these results with $E$ as the Sierpiński carpet, the Sierpiński gasket, and the von Koch snowflake.