The Fourier series expansions of functions defined on \(s\)-sets (Q1362876)

Let \(E\subset\mathbb{R}^n\) be a compact set such that \(0<{\mathcal H}^s(E)<\infty\), where \({\mathcal H}^s\) is the \(s\)-dimensional Hausdorff measure and \(s>0\). Let \(\Phi\) be an orthonormal system defined on \(E\) satisfying some conditions. The authors prove that for any \(f\in L^1(E,{\mathcal H}^s)\), the Fourier series of \(f\), with respect to \(\Phi\), is equal to \(s\), \({\mathcal H}^s\)-a.e.; and for any \(f\in L^p(E,{\mathcal H}^s)\), \(p\geq 1\), the partial sum of the Fourier series of \(f\) converges to \(f\) in \(L^p\)-norm. These results generalize that of Reyes who considered the case of self-similar sets.