Poincaré inequality and Hajłasz-Sobolev spaces on nested fractals
Given a nondegenerate harmonic structure, we prove a Poincaré-type inequality for functions in the domain of the Dirichlet form on nested fractals. We then study the Hajłasz-Sobolev spaces on nested fractals. In particular, we describe how the "weak"-type gradient on nested fractals relates to the upper gradient defined in the context of general metric spaces.