Function spaces on fractals

We construct function spaces, analogs of Hölder-Zygmund, Besov and Sobolev spaces, on a class of post-critically finite self-similar fractals in general, and the Sierpinski gasket in particular, based on the Laplacian and effective resistance metric of Kigami. This theory is unrelated to the usual embeddings of these fractals in Euclidean space, and so our spaces are distinct from the function spaces of Jonsson and Wallin, although there are some coincidences for small orders of smoothness. We show that the Laplacian acts as one would expect an elliptic pseudodifferential operator of order d+1 on a space of dimension d to act, where d is determined by the growth rate of the measure of metric balls. We establish some Sobolev embedding theorems and some results on complex interpolation on these spaces.