Quelques théorèmes d'inversion relatifs aux intégrales et aux séries. I. (Q565377)

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.