Über Laplacesche Integrale, deren Wachstum von iteriertem Exponentialcharakter ist. (Q2609258)

Es handelt sich um \textit{Laplace}-Integrale \[ I(x) =\frac1x{\int\limits_{0}^{\infty}}e^{-\frac tx}A(t)\,dt, \] für die \[ \log A(t)\sim\frac t{\log_n t}\;\text{ bei }\;t\to\infty \tag{1} \] bzw. \[ \log_{n+1}I(x)\sim x\;\text{ bei }\;x\to\infty \tag{2} \] ist. Diese sind bisher noch nicht behandelt worden (vgl. dazu aber \textit{G. Faber}, S. B. math.-nat. Abt. Bayer. Akad. Wiss. München 1922, 285-304; F. d. M. 49, 211 (JFM 49.0211.*)). Dabei soll \(\log_nx\) den \(n\)-mal iterierten Logarithmus und weiter unten \(e_n(x)\) die \(n\)-mal iterierte Exponontialfunktion, \(e_n'(x)\) deren Ableitung bedeuten. Der verhältnismäßig einfache direkte Satz lautet: Aus (1) folgt (2). Der Umkehr\-satz, daß auch (1) aus (2) folgt, falls geeignete Zusatzbedingungen erfüllt sind, wird als (elementarer) \(O\)-Umkehrsatz unter der Voraussetzung bewiesen, daß \(A (t)\) positiv ist und nicht abnimmt. Der Satz lautet dann genauer: Das positive \(A (t)\) sei nicht ab\-nehmend, und das Integral \(I(x)\) konvergiere für jedes endliche \(x\). Aus (2) folgt dann \[ \vartheta\log_n\eta\cdot e_n'(\vartheta\log\eta)<\log A(\eta)<\lambda \frac\eta{\log_n\eta} \] mit \(1>\vartheta\to1\) und \(1<\lambda\to1\) für \(\eta\to\infty\). Die Beweismethode ist im Grunde die von \textit{G. H. Hardy} und \textit{S. Ramanujan} (Proc. London math. Soc. (2) 16 (1916), 112-132; F. d. M. 46, 198 (JFM 46.0198.*)). Die angegebenen Grenzen können, wie im Falle \(n=1\) durch ein Beispiel gezeigt wird, nicht verbessert werden. Im letzten Paragraphen wird eine Anwendung auf Probleme der partitio nume\-rorum gegeben: Die \textit{Knopp-Schur}schen Sätze (Math. Z. 24 (1925), 559-574; Schr. Königsberger gel. Ges., naturw. Abt. 2 (1925), 45-74; F. d. M. 51, 145 (JFM 51.0145.*)-146) lassen sich vermöge des bewiesenen Umkehrsatzes auf den Fall ausdehnen, daß die Anzahlfunktion \(L (z)\) (vgl. das \textit{zweite} der genannten Referate) an Stelle der dortigen Bedingung (*) die Bedingung \[ \log L(z)\sim\frac z{\log_nz}\qquad (\text{bei }z\to+\infty) \] erfüllt. (III 6, IV 8 B.)