A trace theorem for Dirichlet forms on fractals

We consider a trace theorem for self-similar Dirichlet forms on self-similar sets to self-similar subsets. In particular, we characterize the trace of the domains of Dirichlet forms on Sierpinski gaskets and Sierpinski carpets to their boundaries, where the boundaries are represented by triangles and squares that confine the gaskets and the carpets. As an application, we construct diffusion processes on a collection of fractals called fractal fields. These processes behave as an appropriate fractal diffusion within each fractal component of the field.