Multifractal analysis of the divergence of Fourier series
A famous theorem of Carleson says that, given any function $f\in L^p(\TT)$, p∈(1,+∞), its Fourier series (Snf(x)) converges for almost every x∈T. Beside this property, the series may diverge at some point, without exceeding O(n1/p). We define the divergence index at x as the infimum of the positive real numbers β such that Snf(x)=O(nβ) and we are interested in the size of the exceptional sets Eβ, namely the sets of x∈T with divergence index equal to β. We show that quasi-all functions in $L^p(\TT)$ have a multifractal behavior with respect to this definition. Precisely, for quasi-all functions in Lp(T), for all β∈[0,1/p], Eβ has Hausdorff dimension equal to 1−βp. We also investigate the same problem in C(T), replacing polynomial divergence by logarithmic divergence. In this context, the results that we get on the size of the exceptional sets are rather surprizing.