arXiv2020
On the Sierpinski gasket $\mathcal{SG}$, we consider Sobolev spaces $L^2_σ(\mathcal{SG})$ associated with the standard Laplacian $Δ$ with order $σ\geq 0$. When $σ\in\mathbb{Z}^+$, $L^2_σ(\mathcal{SG})$ consists of functions equipped with $L^2$ norms of the function itself and its Laplacians up to $σ$ order; when $σ\notin \mathbb{Z}^+$, we fill up the gaps between integer orders by using complex interpolation. Let $L^2_{σ, D}(\mathcal{SG})=(I-Δ_D)^{-σ}L^2(\mathcal{SG})$ where $Δ_D$ is the Dirichlet Laplacian associated with $Δ$. Let $\{p_n\}_{n\geq 0}$ be a collection of countably many points located along one of the symmetrical axes of $\mathcal{SG}$. We make a full characterization of the trace spaces of $L^2_σ(\mathcal{SG})$ and $L^2_{σ,D}(\mathcal{SG})$ to $\{p_n\}_{n\geq 0}$. Using this, we get a full description of the relationship between $L^2_σ(\mathcal{SG})$ and $L^2_{σ,D}(\mathcal{SG})$ for $σ\geq 0$. The result indicates that when $σ-\frac{\log 3}{2\log5}\in \mathbb{Z}^+$, $L^2_{σ, D}(\mathcal{SG})$ is not closed in $L^2_σ(\mathcal{SG})$ and has an infinite codimension. Otherwise, $L^2_{σ, D}(\mathcal{SG})$ is closed in $L^2_σ(\mathcal{SG})$ with a finite codimension. Similar result holds for the Neumann case. Another consequence of the trace result is that the Sobolev spaces $L^2_σ(\mathcal{SG})$ are stable under complex interpolation for $σ\geq 0$ although they are defined by piecewise interpolation between integer orders.