Quelques théorèmes d'inversion relatifs aux intégrales et aux séries. I. (Q565377)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quelques théorèmes d'inversion relatifs aux intégrales et aux séries. I. |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quelques théorèmes d'inversion relatifs aux intégrales et aux séries. I. |
scientific article |
Statements
Quelques théorèmes d'inversion relatifs aux intégrales et aux séries. I. (English)
0 references
1932
0 references
Es handelt sich um die Frage, wann bei einem in \(<0,\infty )\) stetigen \(f(x)\) aus \[ F(x)=\int \limits _{0}^{x} f(t)dt\to s \quad \text{folgt, daß\;} \qquad (2) \quad f(x)\to 0 \tag{1} \] strebt für \(x\to \infty \). Einfache Beispiele zeigen, daß\ (2) nicht aus (1) zu folgen braucht. Ist aber \(f(x)\) monoton, speziell \(f'(x)\) vorhanden und von festem Vorzeichen, so folgt (2) aus (1). Es genügt aber schon (was weniger auf der Hand liegt), daß\ \(f'(x)\) einseitig beschränkt ist. Allgemeiner gilt sogar: Aus (1) folgt (2), falls es Konstante \(c\) und \(M\) gibt, so daß\ \(cf(x)+f'(x)\leqq M\) bleibt. (Hierin ist ein wichtiger Hilfssatz von \textit{Landay}-Neuere Ergebnisse der Funktionentheorie (1929, F. d. M. \(55_{\text{I}}\), 171), S. 58,enthalten) Diese Sätze verallgemeinert Verf. erheblich und beweist für eine monoton gegen \(+\infty \) wachsende stetige Belegungsfunktion \(a(t)\): I. Aus \[ \int \limits _{0}^{x}f(t)dt\to s \quad \text{folgt} \qquad (2) \quad f(x)\to 0 \tag \(1'\) \] für \(x\to \infty \), falls \(f(x)\) die folgende Bedingung erfült: Ist \(s_{\eta }\) so beschaffen, daß\^^M \[ a(x_{\eta })-a(x)=\eta \quad (>0) \] ist, und bezeichnet \(\mu (x)\) das Maximum von \(f(x')-f(x)\) in \(x\leqq x'\leqq x_{\eta }\), so soll \[ \underset {x\to \infty } {\lim \sup } \mu (x) \leqq \omega (\eta {)} 0 \] gelten. -Auf die Stetigkeit von \(a(t)\) kann hier sogar verzichtet werden. Man hat dazunur dem \(x\) einen Wert \(X\) zuzuordnen, für den \(a(X)-a(x)>a>0\) bleibt, und zu fordern, daß\ für \(x\leqq x' \leqq X\) die Beziechung \[ f(x')-f(x)\leqq \omega (x) \to 0 \] für \(x\to \infty \) gelte. In dieser allgemeineren Formulierung enthält der Satz auch den entsprechenden für unendliche Reihen: II. Es sei \(\sum \limits _{0}^{\infty } d_{\nu }\) eine divergente Reihe mit positiven \(d_{\nu }\to 0\). Aus \(\sum \limits _{0}^{\infty }a_{\nu }d_{\nu } =s\) folgt dann \(a_n\to 0\), falls die (sonst beliebigen) \(a_{\nu }\) die folgende Bedingung erfüllen: Bezeichnet man bei gegebenem \(\varepsilon _0\) mit \(N=N(\varepsilon,n)\) die größte ganze Zahl, für die \(\sum \limits _{n}^{N}d_{\nu }\leqq \varepsilon \) bleibt, und mit \(\mu (n)\) das Maximum von \(a_{n'}-a_n\) für \(n\leqq n'\leqq N\), so soll \[ \underset {n\to \infty } {\lim \sup }\mu (n) \leqq \omega (\varepsilon {)} 0 \] gelten.
0 references