On the Hausdorff dimension of continuous functions belonging to Hölder and Besov spaces on fractal \(d\)-sets (Q2428480)

The authors study the Hausdorff dimension of the graph of Besov functions defined on a \(d\)-set in \(\mathbb{R}^n\), where \( n\in\mathbb{N}^*\) and \(d\) can take any value between 0 and \(n\) in particular, \(d\) can be non-integral). A \(d\)-set \(K\) is a set satisfying for some measure \(\mu\) and for some fixed constants \(C\) and \(C'\) that \(Cr^d\leq \mu(B(x,r)) \leq C'r^d\), for every \(x\in K\) and \(r\) small enough. The article starts with a thorough study of Besov functions \(f\in B^s_{p,q}(K)\) supported by a \(d\)-set \(K\). In the article, it is proved that such functions are always the trace of a function \(\tilde f\in B^{s+\frac{n-d}{p}}_{p,q}(\mathbb{R}^n)\). Then the dimensions of the graphs \(\Gamma(f)\) are bounded from above: if \(f\) is a function belonging to \(C^s(K)\) or to \(B^s_{p,q}(K)\), then \(\dim \Gamma(f) \leq \min(d/s, d+1-s)\). The bound \(d/s\) holds when \(s<d\), and the other one when \(d\geq s\). These upper bounds are sharp: the authors construct a random multi-dimensional Weierstrass function \(W\) for which they prove that for almost every choice of parameters (the parameters are the phases in the Weierstrass functions), \(\dim \gamma(W) = \min(d/s, d+1-s)\). The proof of this fact is rather long, and inspired by the seminal proof of Hunt.