On generalised Tauberian theorems. (Q2590885)

Die Arbeit stellt sich, ähnlich wie diejenige von \textit{V. Garten} und \textit{K. Knopp} [Math. Z. 42, 365--388 (1937; JFM 63.0168.03)], die Aufgabe, Ungleichungen zwischen den Häufungsgrenzen einer Funktion \(s(t)\) bzw. ihrer \(C_1\)-Mittel und denjenigen einer allgemeineren Transformation von \(s(t)\) aufzustellen. Dabei ist \(s(t)\) in \(\langle 0, \infty )\) definiert und in jedem endlichen Teilintervall von beschränkter Schwankung. Die Transformation soll von der Wienerschen Art sein, d. h. \[ F(\sigma )=\sigma \int_0^\infty \varphi (\sigma t) s(t)\,dt; \] hierin ist \(\varphi (t)\) quasimonoton (d. h. schließlich monoton und davor von beschränkter Schwankung) und differenzierbar in \(\langle 0, \infty )\) und so beschaffen, daß \(\int_0^\infty \varphi(t)\,dt=1\) ist, und daß die Integrale \[ \int_0 \frac{1-\psi(t)}{t}\,dt \quad\text{und }\int^\infty \frac{\psi(t)}{t}\,dt,\quad \biggl(\psi(t)=\int_y^\infty \varphi(t)\,dt\biggr), \] konvergent sind. Dann wird bewiesen: Ist \(\varliminf s(t) \ge 0\), \((t\to\infty)\), so ist \[ \varlimsup_{\omega \to\infty}\frac{1}{\omega }\int_0^\omega s(t)\,dt\le \frac{1}{\gamma \varphi (\gamma )}\varlimsup_{\sigma \to+0} F(\sigma). \] Dabei ist \(\gamma \) folgendermaßen bestimmt: Es sei \(\nu \ge 0\) der kleinste Wert, für den \(\varphi (t)\le \varphi (\nu )\) ist in \(t\ge \nu \), und nun \(t\varphi (t)\) maximal für \(t=\gamma \ge \nu \). Für \(\varphi (t)=e^{-t}\) sowie \(\varphi (t)=k(1-t)^{k-1}\), \((k > 1)\), in \(\langle 0, 1\rangle\) und \(\varphi (t)=0\) in \(t > 1\) ergeben sich so die einfachsten Sätze von Garten und Knopp. 2) Ist \(s(t)\) differenzierbar und \[ \begin{matrix} \varlimsup \\ \varliminf\end{matrix} ts'(t) \begin{matrix} \le \beta,\\ \ge -\alpha,\end{matrix} \quad (0\le \alpha, \beta <+\infty) \] so ist für jedes \(\delta >0\) \[ \varlimsup_{\omega \to\infty }s(\omega )\le \varlimsup_{\sigma \to+0} F(\sigma)+\alpha \int_\delta^\infty \frac{\psi(t)}{t}\,dt+\beta \int_0^\delta \frac{1-\psi(t)}{t}\,dt \] und ähnlich für den \(\varliminf\). Ist die eine der Größen \(\alpha \), \(\beta \) gleich 0, die andere endlich, so folgt speziell \[ \begin{matrix} \varlimsup\\ \varliminf\end{matrix} s(\omega )=\begin{matrix} \varlimsup\\ \varliminf\end{matrix} F(\sigma )\quad\text{und also } \underset{\omega \to\infty }{\text{osz}} s(\omega )= \underset{\sigma \to 0}{\text{osz}}F(\sigma ). \] Die letzte Beziehung wird endlich auch noch unter der ``einseitigen'' Voraussetzung \(\varliminf\,ts'(t)\ge 0\) bewiesen. Aus diesem Satz 3 wird schließlich ein neuer Beweis eines in ähnlicher Richtung liegenden Satzes von \textit{V. Ramaswami} [Proc. Lond. Math. Soc. 41, 408--417 (1936; JFM 62.0224.02), Satz 2] abgeleitet, von dem die folgende Anwendung auf Dirichletsche Reihen gemacht wird: Wenn \(F(t)=\sum a_\nu e^{-\lambda _\nu t}\), \((0<\lambda _1<\cdots<\lambda _n\to+\infty )\), für \(t > 0\) konvergiert und für \(t\to+0\) beschränkt bleibt, und wenn \[ \varliminf_{n\to\infty }\min_{\lambda_n\le \lambda_\nu \le (1+\delta )\lambda_n} \sum a_\nu \to 0\text{ für }\delta \to 0, \] so ist \[ \underset{n\to\infty }{\text{osz}}(s_n)=\underset{n\to 0}{\text{osz}}F(t),\quad(s_n=a_1+\dots +a_n). \]