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

From MaRDI portal





scientific article
Language Label Description Also known as
English
On Hobson's convergence theorem for Denjoy integrals.
scientific article

    Statements

    On Hobson's convergence theorem for Denjoy integrals. (English)
    0 references
    0 references
    1929
    0 references
    \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.)
    0 references

    Identifiers