Fourier-Stieltjes transforms and singular infinite convolutions. (Q2596099)

Die Fourier-Stieltjes-Koeffizienten einer in \(-\pi \leqq x \leqq \pi\) stetigen, monotonen Funktion \(F(x)\) sind \[ c_n=\frac{1}{2 \pi} \int\limits_{-\pi}^{+\pi} e^{-inx} \, d \, F(x). \] Ist \(F(x)\) absolut stetig, also \(F(x)=\int\limits^{x} f(y) \,dy\) und daher \[ c_n=\frac{1}{2 \pi} \int\limits_{-\pi}^{+\pi} e^{-inx} \, f(x) \,dx, \] so ist nach dem Riemann-Lebesgueschen Lemma \(c_n = o (1)\). Das Umgekehrte ist nicht richtig: Es gibt Funktionen \(F\), für die \(c_n = o (1)\) ist und die nicht absolut stetig, sondern ``singulär'' sind, d. h. stetig mit fast überall verschwindender Ableitung, aber \(F(x) \not\equiv \text{ const}\). Es sei nun die absolute Konstante \(\varkappa^*\) als Dedekindscher Schnitt so definiert: Für \(\varkappa < \varkappa^*\) gibt es singuläre monotone Funktionen \(F(x)\) mit \(c_n = o(n^{-\varkappa})\), für \(\varkappa > \varkappa^*\) dagegen nicht. Aus dem Obigen folgt \(\varkappa^* \geqq 0\). \textit{Littlewood} (Quart. J. Math. (Oxford Ser.) 7 (1936), 219-226; F.~d.~M. 62\(_{\text{I}}\), 286) zeigte \(\varkappa^* \neq 0\). Aus dem \textit{Riesz-Fischer}schen Satz folgt \(\varkappa^* \geqq \frac{1}{2}\). Die Verf. beweisen nun \(\varkappa^* = \frac{1}{2}\). (IV 8 B.)