Note on the integration of trigonometric series. (Q565550)

Es sei \[ P(r,x)=\frac {1}{2}a_0+\sum \limits _{n=1}^{\infty } (a_n\cos nx + b_n\sin nx)r^n \] konvergent für \(| r| <1\); man setze \[ \underline P(x)=\underset {r\to 1-0} {\lim \inf }P(r,x),\qquad \overline P(x)=\underset {r\to 1-0} {\lim \sup }P(r,x); \] \(\underline P(x)\) und \(\overline P(x)\) seien beide \(L\)-integrierbar in \({<}a,b{>}\), und \(f(x)\) sie irgendeine Funktion mit \[ \underline P(x)\leqq f(x)\leqq \overline P(x) \qquad (a\leqq x\leqq b). \] Verf. beweist, daß\ jedes der drei folgenden Systeme von Bedingungen hinreichend dafür ist, daß\^^M \[ \int \limits _{x_1}^{x_2}f(x)dx= \left [ \frac {1}{2}a_0+ \sum \limits _{n=1}^{\infty }\frac {a_n\sin nx-b_n\cos nx}{n} \right ] _{x_1}^{x_2} \quad (a<x_1<x_2<b): \tag{A} \] \[ a_n=o(1),\qquad b_n=o(1), \tag{1} \] und \(\underline P(x),\overline P(x)\) sind endlich in \({<}a,b{>}\), ausgenommen die Punkte einer Menge \(E\), die keine perfekte Komponente enthält. \[ a_n=o(n),\quad b_n=o(n), \tag{2} \] und \(\underline P(x)\) und \(\overline P(x)\) sind endlich für alle Werte von \(x\) in \({<}a,b{>}\). \[ a_n=o(n), \quad b_n=o(n), \tag{3} \] und \(\underline P(x), \overline P(x)\) sind endlich in \({<}a,b{>}\), außer in den Punkten einer abzählbaren Menge \(E\), und in allen Punkten von \(E\) gilt \[ \lim \limits _{r\to 1} (1-r)P(r,x)=0. \] Fall (1) ist eine Verallgemeinerung eines Satzes von \textit{Hobson} (1927; F. d. M. 53, 261 (JFM 53.0261.*)). Wenn man in (2) und (3) \(L\)-Integroerbarkeit von \(\underline P(x)\) und \(\overline P(x)\) durch \textit{Denjoy}-Itegrierbarkeit ersetzt und gleichzeitig die Voraussetzung \(a_n=o(n),b_n=o(n)\) durch die Voraussetzung, daß\^^M \[ \sum \frac {a_n\cos nx + b_n\sin nx}{n^2} \tag{*} \] die \textit{Fourier}reihe einer stetigen Funktion sei, so bleiben die Bedingungen hinreichend für die Behauptung (A), wenn man die unendliche Reihe in (A) im \((C, 1)\)-Sinn deutet. Endlich verallgemeinert Verf. einem Satz von \textit{R. E. A. C. Paley} (1930; F. d. M. \(56_{\text{I}}\), 245), indem er folgenden Satz beweist: Wenn (*) die \textit{Fourier}reihe einer stetigen Funktion ist, und wenn \(\underline P(x)\), \(\overline P()x\) \textit{Denjoy}-integrierbar in \({<}0, 2{\pi }{>}\) und endlich ausgenommen in einer abzählbaren Menge \(E\) sind, und wenn schließlich fast überall \[ \underline P(x)\leqq 0\leqq \overline P(x) \] gilt, dann erhält man die Reihe \[ \sum (a_n\cos nx+b_n\sin nx) \] durch gliedweise Differentiation der \textit{Fourier-Denjoy}schen Reihe einer Funktion \newline \(\varPhi (x)\), die konstant ist in jedem der an \(E\) anstoßenden Intervalle.