Sur une propriété de séries trigonométriques. (Q1465638)

Es werde gesetzt \[ \begin{aligned} (1)\quad f(\vartheta)& = \sum (a_n \cos n\vartheta +b_n \sin n\vartheta),\\ (2)\quad \varphi(\vartheta)& =\sum \frac{-b_n\cos n\vartheta +a_n\sin n\vartheta}{n},\\ (3)\quad F(\vartheta)& =\sum \frac{-a_n\cos n\vartheta- b_n\sin n\vartheta}{n^2},\end{aligned} \] und es sei (1) überall konvergent, also (2) fast überall, (3) überall. Nach Riemann besitzt dann \(F(\vartheta)\) überall eine verallgemeinerte zweite Ableitung \(= f (\vartheta).\) Verf. unterwirft \(F(\vartheta)\) statt dessen zwei sukzessiven Derivationen. Die \textit{erste Note} enthält zu einem Fatouschen Satze, wonach aus der Konvergenz von (2) die Existenz von \(F'(\vartheta)\) nebst \(F'(\vartheta) = \varphi (\vartheta)\) folgt die Umkehrung (man vgl. dazu Hardy und Littlewood, Sur la convergence des séries de Fourier et des séries de Taylor, C. R. 165, 1047; F. d. M. 46, 413 (JFM 46.0413.*), 1916-18), hauptsächlich aber eine hinreichende Bedingung für die Existenz von \(F'(\vartheta).\) In der \textit{zweiten Note} ergeben sich daraus folgende interessante Resultate: a) Die Menge \(E\) der Nichtexistenz- oder Unstetigkeitspunkte von \(F'(\vartheta)\) ist nirgends dicht, b) Ein neuer Beweis (ohne Integrationstheorie) für den Fatouschen Satz \(m(E) = 0.\) c) Die Menge der Punkte, wo \(\varphi'(\vartheta)\) existiert und \(= f (\vartheta),\) ist überall dicht. d) Fast überall besitzt \(\varphi (\vartheta)\) eine ``approximative'' Ableitung \(= f (\vartheta).\) Zum Schluß\ werden einige Resultate für beliebige Funktionen \(F(\vartheta),\) die überall eine zweite verallgemeinerte Ableitung besitzen, formuliert.