Measurable Riemannian geometry on the Sierpinski gasket: the Kusuoka measure and the Gaussian heat kernel estimate

We study the standard Dirichlet form and its energy measure,called the Kusuoka measure, on the Sierpinski gasket as aprototype of “measurable Riemannian geometry”. The shortest pathmetric on the harmonic Sierpinski gasket is shown to be thegeodesic distance associated with the “measurable Riemannianstructure”. The Kusuoka measure is shown to have the volumedoubling property with respect to the Euclidean distance and alsoto the geodesic distance. Li–Yau type Gaussian off-diagonal heatkernel estimate is established for the heat kernel associated withthe Kusuoka measure.