Pseudo-differential operators on fractals and other metric measure spaces

We define and study pseudo-differential operators on a class of fractals that include the post-critically finite self-similar sets and Sierpinski carpets. Using the sub-Gaussian estimates of the heat operator we prove that our operators have kernels that decay and, in the constant coefficient case, are smooth off the diagonal. Our analysis can be extended to products of fractals. While our results are applicable to a larger class of metric measure spaces with Laplacian, we use them to study elliptic, hypoelliptic, and quasi-elliptic operators on p.c.f. fractals, answering a few open questions posed in a series of recent papers. We extend our class of operators to include the so called Hormander hypoelliptic operators and we initiate the study of wavefront sets and microlocal analysis on p.c.f. fractals.