Une généralisation de l'intégrale de \textit{Laplace-Abel}. (Q1504049)

Die Konstanten \(k_0,k_1,\dots,k_n,\dots\) mögen der \textit{Cauchy}schen Bedingung genügen, so daß die Reihe: \[ k_0+k_1x+k_2x^2+\cdots + k_nx^n+ \cdots \] in einem Kreise \(C\) konvergiert und einen eindeutigen Zweig \(FC(x)\) einer analytischen Funktion \(F(x)\) definiert. Dann wird durch das Integral von \textit{Laplace-Abel} \[ \int_0^\infty e^{-\omega} F_1(\omega x) d \omega, \] wo \(F_1(x)\) \textit{Abel}s erzeugende Funktion von \(F(x)\): \[ \sum_{n=0}^\infty k_n\;\frac{x^n}{n!} \] bedeutet, in dem Polygon der Summierbarkeit \(B^{{(1)}}\) der Zweig \(FC(x)\) dargestellt; nach \textit{Borel} konvergiert das Integral in dem ganzen Innern von \(B^{{(1)}}\), nach \textit{Phragmén} divergiert es in jedem Punkte außerhalb \(B^{{(1)}}\). \textit{Mittag-Leffler} hat mit Hülfe der konformen Abbildung dieses Integral verallgemeinert (F. d. M. 33, 403-407, 1902, JFM 33.0403.01) und so die Darstellung des Zweiges \(FC(x)\) in einem Bereiche gewonnen, der ausgedehnter ist als \(B^{(1)}\), und der dem durch die Konstanten \(k_0, k_1, \dots,k_n, \dots\) definierten Hauptstern \(A\) beliebig nahe kommt, wenn eine gewisse in den Ausdrücken vorkommende Konstante \(\alpha\) gegen Null konvergiert. Jetzt gibt er einen anderen Weg an, um das Integral von \textit{Laplace-Abel} zu verallgemeinern. An Stelle der erzeugenden Funktion \(F_1(x)\) von \textit{Abel} führt er eine allgemeinere Funktion ein: \[ F_\alpha(x)=k_0+ k_1\;\frac{x}{(\alpha \cdot 1)!} + k_2\;\frac{x^2}{(\alpha \cdot 2)!} + \cdots + k_n\;\frac{x^n}{(\alpha \cdot n)!} + \cdots, \] wo \[ (\alpha \cdot n)!= \varGamma(\alpha \cdot n +1) \] zu setzen ist, und zeigt, daß man alsdann hat: \[ FB^{(\alpha)}(x)=\int_0^\infty e^{-\omega^{\frac 1 \alpha}} F_\alpha(\omega x) d\omega^{\frac 1\alpha}, \] wo \(B^{(\alpha)}\) den Konvergenzstern des Integrales bezeichnet, d. h. einen Stern von der Beschaffenheit, daß für jeden Punkt innerhalb das Integral konvergiert, für jeden Punkt außerhalb divergiert. Dabei ist \[ \lim_{\alpha=0} B^{(\alpha)}=A. \]