A descriptive definition of Cesàro-Perron integrals.

DOI10.1112/PLMS/S2-47.1.212MaRDI QIDQ2585259zbMATH OpenOpenAlexFDO

Authors W. L. C. Sargent

Publication date 1941

Published in Proceedings of the London Mathematical Society. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/plms/s2-47.1.212

Review text

In der Arbeit wird für reelle Funktionen \textit{einer} reellen Veränderlichen ein, als spezielles Cesàro-Denjoy-Integral der Ordnung \(\lambda\)(\(\lambda=1\), 2,\dots), kurz \(G_\lambda\)-\(D\)-Integral, bezeichneter Integralbegriff (durch eine ``deskriptive Definition) eingeführt und gezeigt, daß er mit dem des Cesàro-Perron-Integrals der Ordnung \(\lambda\), kurz \(C_\lambda\)-\(P\)-Integral (vgl. \textit{I. C. Burkill}, Proc. London math. Soc. (2) 39 (1935), 541-552; F. d. M. \(61_{\text{II}}\), 239), identisch ist. Im Zusammenhang damit werden Eigenschaften des \(C_\lambda\)-\(D\)-Integrals bewiesen. -- Definitionen: 1. \(F(x)\) heißt \(AC^*(C_\lambda)\) über \(\mathfrak E\), wenn \(F (x)\) \(C_{\lambda-1}\)-\(D\)-integrabel ist in einem \(\mathfrak E\) enthaltenden Intervall und wenn zu jedem \(\varepsilon>0\) ein \(\delta(\varepsilon)>0\) gehört mit \[ {\sum\limits_{\nu=1}^{n}}\operatornamewithlimits{sup}\limits_{a_\nu<x<b_\nu} |C_\lambda(F;a_\nu,x)-F(a_\nu)|<\varepsilon\text{\;und\;} {\sum\limits_{\nu=1}^{n}}\operatornamewithlimits{sup}\limits_{a_\nu<x<b_\nu} |C_\lambda(F;b_\nu,x)-F(b_\nu)|<\varepsilon \] für alle Systeme von endlich vielen Intervallen \((a_\nu, b_\nu)\), die paarweise keine inneren Punkte gemeinsam haben, deren Endpunkte in \(\mathfrak E\) liegen und für die \({\sum\limits_{\nu=1}^{n}}(b_\nu-a_\nu)\leqq\delta(\varepsilon)\); dabei ist \(C_\lambda(F;a,b)=\lambda(b-a)^{-\lambda}(C_{\lambda-1}-P){\int\limits_{a}^{b}} (b-t)^{\lambda-1}F(t)\,dt\); 2. \(F(x)\) heißt \(ACG^*(C_\lambda)\) über \(\mathfrak E\), wenn \(F (x)\) \(C_\lambda\)-stetig ist in \(\mathfrak E\) und wenn \(\mathfrak E\) darstellbar ist als Summe abzählbar vieler Mengen, über deren jeder \(F(x)\) \(AC^*(C_\lambda)\) ist; hierbei heißt \(F(x)\) \(C_\lambda\)-stetig in \(x_0\), wenn \(C_\lambda-{\lim\limits_{x\to x_0}}F(x)={\lim\limits_{x\to x_0}}C_\lambda(F;x_0,x)= F(x_0)\); 3. Existiert \(C_\lambda(F;\xi,\xi+h)\) für hinreichend kleine \(|h|\), existiert ferner \[ {\lim\limits_{h\to0}}\big(C_\lambda(F;\xi, \xi + h)-f (\xi)\big):h/(\lambda + 1), \] so wird dieser Limes als \(C_\lambda\)-Ableitung \(C_\lambda DF(\xi)\) von \(F (x)\) in \(\xi\) bezeichnet; 4. \(f(x)\) heißt \(C_\lambda\)-\(D\)-integrabel in \((a, b)\), wenn eine über \([a, b]\) \(ACG^*(C_\lambda)\) Funktion \(F (x)\) existiert mit \(C_\lambda DF(x) = f(x)\) fast überall in \((a,b)\). 5. Das \(C_0\)-\(D\)-Integral sei identisch mit dem \(C_0\)-\(P\)-Integral oder also mit dem speziellen Denjoy-Integral. -Damit ist das \(C_\lambda\)-\(D\)-Integral mittels Induktion erklärt.

This page was built for publication: A descriptive definition of Cesàro-Perron integrals.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2585259)