Sur les coefficients d'une série de Fourier. (Q565555)

Ein einfaches Biespiel einer stetigen Funktion beschränkter Schvan\-kung, deren \textit{Fourier}koeffizienten nicht \(o(\dfrac {1}{n})\) sind. Es sei im System der Basis 3 mit geeigneter Numerierung \[ \alpha _{\nu }=(0,\varepsilon _1\varepsilon _2\dots \varepsilon _n1)\pi, \quad \beta _{\nu }=(0,\varepsilon _1\varepsilon _2\cdots \varepsilon _n2)\pi, \quad \varepsilon =0 \quad \text{oder} \quad 2, \quad n\geqq 1, \] gesetzt, so daß\ die Intervalle \(I_{\nu }=(\alpha _{\nu },\beta _{\nu })\) die bekannte \textit{Cantor}sche Konstruktion einer perfekten Menge \(P\) des Maßes 0 im Intervalle \((0,\pi )\) ergeben. \(f(x)\) sei als gerade Funktion der Periode \(2\pi \) durch \[ f(x)=0,\frac {\varepsilon _1}{2}\frac {\varepsilon _2}{2} \cdots \frac {\varepsilon _n}{2} \quad \text{in} \quad I_{\nu } \] und stetig in \(P\) erklärt. Dann ist \(f(x)\) eine stetige Funktion beschränkter Schwan\-kung. Für den \textit{Fourier}koeffizienten \(a_{3^k}\) gilt aber \[ a_{3^k}=\frac {a_1}{3^k}. \] (Vgl. \textit{F. Riesz}, 1918; F. d. M. 46, 452 (JFM 46.0452.*). )