Functions from Sobolev and Besov spaces with maximal Hausdorff dimension of the exceptional Lebesgue set (Q267598)

Let \(H^\alpha_p (\mathbb R^n)\), \(1<p<\infty\), \(0<\alpha <n/p\) be the (fractional) Sobolev spaces. If \(f\in H^\alpha_p (\mathbb R^n)\) then any \(x\in \mathbb R^n\) is a Lebesgue point with exception of a set \(\Lambda (f)\) of Lebesgue measure zero. Let \(\dim_H \Lambda (f)\) be the Hausdorff dimension of \(\Lambda (f)\) and \(\mathrm{Cap}_{\beta,r} \big( \Lambda (f) \big)\) the usual capacity. Then \(\mathrm{Cap}_{\alpha,p} \big( \Lambda (f) \big) =0\) and \(\dim_H \big(\Lambda (f) \big) \leq n-\alpha p\). It is the main aim of the paper to prove that there is a function \(f_0 \in H^\alpha_p (\mathbb R^n)\) such that \[ \dim_H \big( \Lambda (f_0) \big) = n - \alpha p\quad\text{and}\quad\mathrm{Cap}_{\beta, r} \big( \Lambda (f_0) \big)>0 \] for any choice \(\beta>0\) and \(r>1\) with \(\beta r>\alpha p\). This assertion is generalized to the Besov spaces \(B^\alpha_{p,q} (\mathbb R^n)\) with \(0<q<\infty\).