Trace results on domains with self-similar fractal boundaries

This work deals with trace theorems for a family of ramified bidimensional domains Ω with a self-similar fractal boundary Γ^∞. The fractal boundary Γ^∞ is supplied with a probability measure μ called the self-similar measure. Emphasis is put on the case when the domain is not a −δ domain and the fractal is not post-critically finite, for which classical results cannot be used. It is proven that the trace of a function in H¹(Ω) belongs to for all real numbers p1. A counterexample shows that the trace of a function in H¹(Ω) may not belong to BMO(μ) (and therefore may not belong to ). Finally, it is proven that the traces of the functions in H¹(Ω) belong to H^s(Γ^∞) for all real numbers s such that 0s<d_H/4, where d_H is the Hausdorff dimension of Γ^∞. Examples of functions whose traces do not belong to H^s(Γ^∞) for all s>d_H/4 are supplied.There is an important contrast with the case when Γ^∞ is post-critically finite, for which the functions in H¹(Ω) have their traces in H^s(Γ^∞) for all s such that 0s<d_H/2.