Sobolev spaces and trace theorem on the Sierpinski gasket
On the Sierpinski gasket SG, we consider Sobolev spaces Lσ2(SG) associated with the standard Laplacian Δ with order σ≥0. When σ∈Z+, Lσ2(SG) consists of functions equipped with L2 norms of the function itself and its Laplacians up to σ order; when σ∈/Z+, we fill up the gaps between integer orders by using complex interpolation. Let Lσ,D2(SG)=(I−ΔD)−σL2(SG) where ΔD is the Dirichlet Laplacian associated with Δ. Let {pn}n≥0 be a collection of countably many points located along one of the symmetrical axes of SG. We make a full characterization of the trace spaces of Lσ2(SG) and Lσ,D2(SG) to {pn}n≥0. Using this, we get a full description of the relationship between Lσ2(SG) and Lσ,D2(SG) for σ≥0. The result indicates that when σ−2log5log3∈Z+, Lσ,D2(SG) is not closed in Lσ2(SG) and has an infinite codimension. Otherwise, Lσ,D2(SG) is closed in Lσ2(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(SG) are stable under complex interpolation for σ≥0 although they are defined by piecewise interpolation between integer orders.