Characterization of Besov spaces on nested fractals by piecewise harmonic functions (Q415185)

Let \(\Gamma\) be a compact \(d\)-set in \(\mathbb R^n\) furnished with the related Hausdorff measure \(\mu\) where \(0<d<n\). Then the Besov spaces \(B^s_{p,q} (\Gamma, \mu)\) with \(s>0\), \(1<p<\infty\), \(0<q<\infty\) can be defined as traces of the Besov spaces \(B^{s+ \frac{n-d}{p}}_{p,q} (\mathbb R^n)\) on \(\Gamma\). It is the main aim of this paper to characterize the spaces \(B^s_{p,q} (\Gamma, \mu)\) and in particular \(B^s_p (\Gamma, \mu) = B^s_{p,p} (\Gamma, \mu)\) for small \(s>0\) in terms of intrinsic atoms (Theorem 3.5) and in particular by representations in terms of piecewise harmonic functions (Theorems 5.1 and 5.2) extending the Faber-Schauder basis from intervals to (self-similar, nested) \(d\)-sets \(\Gamma\).