On linear sets of fractional dimensions. III: Sets of points of non-differentiability of absolutely continuous functions and of divergence of Fejér sums. (Q2617049)

Es sei \(E\) eine linear meßbare Menge des Intervalls \((0,1)\) und \(F\) ihr Komplement. Der Streuungsexponent \(r\) von \(E\) und \(F\) ist folgendermaßen erklärt: \(r\) ist die kleinste Zahl, so daß zu jedem vorgegebenen Zahlenpaar \(\varepsilon >0\) und \(r'>r\) zwei Paare offener Mengen \(I_1,I'_1\) bzw. \(I_2,I'_2\) existieren, mit \[ \begin{gathered} E\prec I_1,\quad F\times I_1\prec I'_1, \quad \sum _{I'_1}l^{r'}<\varepsilon ;\\ F\prec I_2,\quad F\times I_2\prec I'_2, \quad \sum _{I'_2}l^{r'}<\varepsilon. \end{gathered} \] Die \(l\) bezeichnen zu \(I'_1\) bzw. \(I'_2\) gehörige Intervalle. Bewiesen wird, daß die (\textit{Hausdorff}sche) Dimension derjenigen Punkte von \(E\), die nicht die Dichte 0 oder 1 haben, höchstens gleich \(r\) ist. Diese Abschätzung ist die bestmögliche. Es sei ferner \(f(x)\) eine in \((0,1)\) meßbare Funktion. Der Streuungsexponent \(r_0\) von \(f\) ist die kleinste Zahl, so daß für jedes \(r>r_0\) diejenigen Zahlen \(a\) überall dicht liegen, für welche die Mengen \(E\{f(x)>a\}\) einen Streuungsexponenten \(<r\) haben. Bewiesen wird, daß die Dimension derjenigen Punkte aus \((0,1)\), für die \(\int _0^xf(t)\,dt\) nicht differenzierbar ist, höchstens gleich \(r_0\) ist. Hieraus folgt ferner, daß die Divergenzmenge der \textit{Fejér}schen Mittel der \textit{Fourier}reihe einer beschränkten Funktion \(f(x)\) höchstens von der Dimension \(r_0\) ist.