Généralisation et conséquences d'un théorème de Roy-Lindelöf. (Q1440646)

Es handelt sich um das folgende Problem: Gegeben ist eine Reihe \[ (1)\quad F(x)=\sum_0^\infty \varphi(n) x^n. \] Es sollen Eigenschaften der durch sie erklärten Funktion \(F(x)\) aus solchen von hergeleitet werden. Bei \textit{E. Lindelöf}, der das Kap. V seines ``Calcul des Résidus'' (1905; F. d. M. 36, 468) diesem Problem und seinen Anwendungen gewidmet hat, findet man auf p. 109 ein im wesentlichen von \textit{Le Roy} stammendes Theorem. Dieses wird hier verallgemeinert, indem statt Konvergenz eine gewisse verallgemeinerte \textit{Borel}-Summierung benutzt wird. Eine Reihe \(\sum_0^\infty a_n\) an heiß\ t hierbei \(E_\delta\)-summierbar \((\delta>0)\), wenn alle Reihen \[ (2)\quad u_p(x)=\sum_{n=0}^\infty \frac{a_{n+p}x^n}{\Gamma(1+\delta n)} \;(p0,1,\dots) \] positive Konvergenzradien haben, die Funktionen \(u_p(x)\) so ins Unendliche fortsetzbar sind, daß\ sie auf der reellen positiven Achse keine Singularitäten haben, und wenn schließlich alle Integrale \[ (3)\quad I_p=\int_0^\infty e^{-\xi^{\frac 1\delta}} u_p(\xi) d(\xi^{\frac 1\delta}) \] absolut konvergieren. Man setzt \(I_0\) als \(E_\delta\)-Summe von \(\sum_0^\infty a_n\). Die Verallgemeinerung des \textit{Le Roy-Lindelöf}schen Theorems lautet: Es seien \(0<\delta<2\), \(0<\vartheta<\pi-\frac{\delta \pi}{2}\) gegeben. Genügt dann \(\varphi(z)\) den folgenden Voraussetzungen: (a) \(\varphi(z)\) ist für \(\Re(z) \geqq \alpha\) (\(\alpha\) nicht ganz) regulär. (b) \(\overline{\lim_{0<t \to \infty}} \log \frac{|\varphi(\beta \pm it)|}{t} \geqq \vartheta\) für \(\beta \geqq \alpha\). (c) Es gibt ein \(A>0\), so daß \[ |\varphi(\alpha+re^{i \varphi})| \leqq e^{Ar} |\Gamma(1+\delta re^{i \psi})| \;\text{für}\;|\psi|<\frac \pi 2, \] so ist die Reihe (1) \(E_\delta\)-summierbar für den Winkelraum \[ \vartheta+\frac{\delta \pi}{2}<\text{arg }x<2\pi- \left( \vartheta+\frac{\delta \pi}{2} \right) \] und ihre Summe \(F(x)\) in \[ \vartheta<\text{arg }x<2\pi-\vartheta \] regulär. Überdies strebt \[ | x^{-\alpha}F(x)| \;\text{bzw.}\;\left| x^{-\alpha} \left\{ F(x)+\sum_1^k \frac{\varphi(-n)}{x^n} \right\} \right|, \] wenn \(\alpha>-1\) bzw.\(-k>\alpha>-(k+1)\) ist, mit \(\frac 1x\) gegen 0 und zwar gleichmäßig in jedem Winkelraum \[ \vartheta+\varepsilon<\text{arg }x<2\pi(\vartheta+\varepsilon) \;(\varepsilon>0). \] Es wird ferner eine Art Umkehrung dieses Satzes bewiesen die ein \textit{Carlson} herrührende Umkehrung des \textit{Roy-Lindelöf}schen Satzes analog verallgemeinert. Endlich werden als Anwendungen Sätze gegeben,die für in \(\Re(z)>\alpha\) reguläre Funktionen \(\varphi(z)\), die (c) und für \(\beta>\alpha\) (b) genügen, aus Wachstumsbeschränkungen der \(\varphi(n)\) solche für \(\varphi(z)\) selbst herleiten.