On Hobson's convergence theorem for Denjoy integrals. (Q1439410)

\textit{Hobson} hat den Grenzwert eines Integrals von dem Typus \[ \int_a^b f(x^\prime ) \varPhi (x^\prime,x,n)\, dx^\prime \] untersucht, wenn \(n\) unendlich groß wird (Proceedings L.M. S. (2) 6 (1908), 349-395; F. d. M. 39, 476 (JFM 39.0476.*)-477). Verf. kommt zu allgemeineren Sätzen, indem er voraussetzt, daß die Funktion \(f (x^\prime)\) im Sinne von \textit{Denjoy} integrierbar ist. Die so gefundenen Sätze werden zu Untersuchungen über gewisse \textit{Fourier}sche Reihen verwendet. Jede Funktion \(f (x)\), die nach \textit{Denjoy} integrierbar ist, besitzt die beiden folgenden Eigenschaften: 1. Ist \(f (x)\) nach \textit{Denjoy} integrierbar im Intervalle \((a, b)\), und ist \(\varepsilon\) gegeben, so gibt es eine streckenweise konstante Funktion \(\psi(x)\) derart, daß für \(a \leqq \alpha \leqq \beta \leqq b\) \[ \left| \int_\alpha^\beta (f - \psi ) \, dx \right|< \varepsilon. \] 2. Ist \(\varphi (x)\) von beschränkter Variation im Intervall \((a, b)\) und \(f (x)\) nach \textit{Denjoy } integrierbar, so ist \[ \left| \int_a^b f (x) \varphi (x) \, dx \right|\leqq KM, \] wobei \(M\) die obere Schranke von \(\left| \int\limits_a^x f (x) ) \, dx \right| \) für \(a \leqq x \leqq b\) und \[ K = |\varphi (b)| + \int_a^b | d \varphi (x) | \] ist. Es werden nun mittels dieser Eigenschaften einige Sätze abgeleitet, von denen der für die \textit{Fourier}schen Reihen wichtige hervorgehoben sei: Die Funktion \(F (t, n)\) erfülle folgende Bedingungen: (1)\( \qquad\) für \(t> 0\) sei \(\lim\limits_{n \to \infty} F(t, n) = 0\); (2) \(\qquad\) für \(\alpha > 0\) sei \(\lim\limits_{n \to \infty} \int\limits_0^\alpha F (t, n)\, dt = \tfrac 12\); (3) \(\qquad\) \(\int\limits_0^1 |F(t, n)|\, dt \leqq K\), unabhängig von \(n\); (4) \(\qquad\) \(\int\limits_1^\infty |dF(t, n)| \leqq K\), unabhängig von \(n\); (5) es sei \(A(\varepsilon)\) eine von n unabhängige Funktion einer gegebenen Größe \(\varepsilon\) derart, daß \(\int\limits_A^\infty |dF (t, n)| \leqq \varepsilon\) ist; (6) \(\qquad\) \(\int\limits_0^1 |d\{t \cdot F (t, n)\} | \leqq K\), unabhängig von n. Es sei nun \(f (x)\) eine nach \textit{Denjoy} integrierbare Funktion mit der Periode \(2\pi \), und man bilde \[ \varphi (t)=f(x+t)+f(x-t)-2f(x). \] Dann ist \[ \int_0^\infty \varphi (t) F (t, n)\, dt=0 \] für jeden Wert \(x\), für den \[ \lim_{t \to 0} \frac 1t \int_0^t \varphi (t) \, dt = 0 \] ist, und daher fast überall. Hieraus folgt dann: Wenn die Funktion \(f (x)\) im Intervall \((-\pi, \pi)\) nach \textit{Denjoy} integrierbar ist, so kann man sie in eine \textit{Fourier}sche Reihe entwickeln in jedem Punkt \(x\), für den \[ \lim_{t \to 0} \frac 1t \int_0^t \varphi (t) \, dt = 0 \] ist, also fast überall. (IV 3 D.)