Trace results on domains with self-similar fractal boundaries (Q930851)

The authors deals with trace theorems for a family of ramified bidimensional domains \(\Omega \) with a self-similar fractal boundary \(\Gamma ^{\infty}\). The fractal boundary \(\Gamma ^{\infty }\) is supplied with a probability measure \(\mu \) called the self-similar measure. Emphasis is put on the case when the domain is not an \(\varepsilon-\delta \) domain and the fractal is not post-critically finite, for which classical results cannot be used. It is proved that the trace of a function in \(H^{1}(\Omega)\) belongs to \(L_\mu ^p\) for all real numbers \(p\geq 1\). A counter example shows that the trace of a function in \(H^{1}(\Omega)\) may not belong to \(\text{BMO}(\mu)\) (and therefore may not belong to \(L_\mu^\infty)\). Finally, it is proved that the traces of the functions in \(H^{1}(\Omega)\) belong to \(H^s(\Gamma^\infty)\) for all real numbers \(s\) such that \(0\leq s<d_H/4\), where \(d_H\) is the Hausdorff dimension of \(\Gamma^\infty\). Examples of functions whose traces do not belong to \(H^s(\Gamma^\infty)\) for all \(s>d_H/4\) are supplied. There is an important contrast with the case when \(\Gamma^\infty\) is post-critically finite, for which the functions in \(H^{1}(\Omega)\) have their traces in \(H^s(\Gamma ^{\infty })\) for all \(s\) such that \(0\leq s <d_H/2\).