On a theorem of Plessner. (Q5971853): Difference between revisions

Das Quadrat der Funktion \(f(x)\) sei integrierbar in \((-\pi, +\pi)\), und \(a_n\), \(b_n\) seien die \textit{Fourier}koeffizienten von \(f(x)\). \textit{Plessner} hat gezeigt (Journ. f. Math. 155 (1925), 15-26; F. d. M. 51, 220 (JFM 51.0220.*)), daß \[ \sum_{n=2}^\infty (a_n \cos\, nx + b_n \sin\, nx) (\log n)^{-\tfrac 12} \tag{1} \] fast überall in \((-\pi, +\pi)\) konvergent ist. Die Menge dieser Konvergenzpunkte sei \(E(Pl, f)\). Weiter sei \(E(F, f)\) die Menge der Punkte \(x\) in \((-\pi, +\pi)\), wo \[ \varphi (t) = f(x + t) + f(x -t) - 2f(x) \to 0, \;\text{ falls } \;t \to 0. \tag{2} \] \(E (L, f)\) sei die Menge der Punkte \(x\) in \((-\pi, +\pi)\), wo \[ \int\limits_0^t |\varphi(\tau)|\, d\tau = o(t), \;\text{ falls } \;t \to 0. \tag{3} \] (Es ist also \(E(F, f)\) in \(E (L, f)\) enthalten.) Verf. zeigt: I. Nicht immer ist \(E(F, f)\) in \(E(Pl, f)\) enthalten. Genauer: Es gibt eine Funktion \(f(x)\) und einen Punkt \(x\), wo (2) gilt, aber (1) nicht konvergiert. Dies wird geleistet durch das \textit{Lebesgue}sche Beispiel einer stetigen Funktion mit einer nicht überall konvergenten \textit{Fourier}reihe. II. Nicht immer ist \(E(Pl, f)\) in \(E(L, f)\) enthalten. Genauer: Es gibt eine Funktion \(f(x)\) und einen Punkt \(x\), wo (1) konvergent ist, aber (3) nicht gilt. Dies wird geleistet durch die Funktion: \[ \begin{matrix} \l \\ f(x) = \dfrac{x}{\left(x - \dfrac 1n\right) n \log n} \;\text{ für } \dfrac{1}{n^3} \leqq \left|x - \dfrac 1n\right| \leqq \dfrac{1}{n^2} \qquad (n = 3, 4, \dots); \\ f(x) = 0 \;\text{ in den übrigen Punkten von } \;(0, \pi); \\ f(x) = f(-x) \;\text{ für } \;-\pi \leqq x \leqq 0, \end{matrix} \] und den Punkt \(x = 0\).