Sur la représentation analytique d'une branche uniforme d'une fonction monogène (cinquième Note). (Q1501429): Difference between revisions

In der fünften Note gibt \textit{Mittag-Leffler} eine zusammenfassende Darstellung seiner Untersuchungen über die Verallgemeinerung des \textit{Laplace-Abel}schen Integrals, Untersuchungen, die er schon in seiner vierten Note begonnen hatte, und über die F. d. M. \textit{33}, 403, 408, 1902, JFM 33.0403.01, JFM 33.0408.01; \textit{34}, 434-435, 1903, JFM 34.0434.02; \textit{35}, 406, 448, 1904 , JFM 35.0406.01, JFM 35.0448.02 berichtet worden ist. Wenn die Konstanten \(k_0, k_1, \dots, k_n, \dots\) die Bedingung erfüllen, daß\ die obere Grenze der Grenzstellen der Zahlen \(\root n \of {k_n}\) endlich ist, so wird durch die Potenzreihe \[ (1) \qquad k_0 +k_1 x+k_2 x^2 + \cdots + k_n x^n +\cdots, \] die den Kreis \(C\) vom Halbmesser \(r\) um den Punkt \(x=0\) zum wahren Konvergenzkreis habe, eine analytische Funktion \(F(x)\) definiert. Bildet man aus (1) die Reihe: \[ (2) \qquad k_0 +k\;\frac x {1!} +k_2\;\frac {x^2}{2!} +\cdots + k^n\;\frac{x^n}{n!} +\cdots, \] so wird dadurch eine ganze transzendente Funktion \(\overline F(x)\) dargestellt, und das Integral von \textit{Abel-Laplace}: \[ (3) \qquad \int_0^\infty e^{-\omega} \overline F( \omega x) d \omega, \] erstreckt über alle positiven Werte von \(\omega\), hat nach \textit{Borel} und \textit{Phragmén} einen gewissen Stern \(B^{(1)}\) zum wahren Konvergenzstern, der dem zu den Konstanten \(k_n\) gehörigen Hauptsterne \(A\) eingeschrieben und dem Kreise \(C\) umgeschrieben ist. Für jeden Punkt im Innern von \(B^{(1)}\) gilt die Gleichung: \[ (4) \qquad FB^{(1)} (x) =\int_0^\infty e^{-\omega} F(\omega x) d \omega. \] Im das Integral von \textit{Laplace-Abel} zu verallgemeinern, hat \textit{Mittag-Leffler} als erzeugende Funktion statt \(\overline F(x)\) die Funktion: \[ (5) \qquad F_\alpha (x) =\sum_{k=0}^\infty k_n\;\frac{x^n}{\varGamma(\alpha n +1)} \] eingeführt; \(\alpha\) bedeutet eine positive Konstante. Er ist so zu dem Integral: \[ (6) \quad f(x) =\int_0^\infty e^{-\omega} F_\alpha (\omega^\alpha x) d \omega \] gelangt, das einen wahren Konvergenzstern \(B^{(\alpha)}\) besitzt, der dem Hauptsterne \(A\) eingeschrieben ist und, wenn \(\alpha\) gegen Null konvergiert, sich ihm unbeschränkt nähert. Im Innern von \(B^{(\alpha)}\) gilt überall die Gleichung: \[ (7) \qquad FB^{(\alpha)} (x) =f(x). \] Der Beweis gliedert sich in drei Teile. Es wird \textit{erstens} gezeigt, daß\ das Integral \(f(x)\), wenn das Integral \(f(x_0)\) konvergiert, in dem Bereiche \(\theta x_0\;(\theta_0 \leqq \theta \leqq 1)\), wo \(\theta_0\) eine positive Größe bedeutet, gleichmäßig konvergiert. \textit{Zweitens} ergibt sich, daß\ unter derselben Voraussetzung durch das Integral \(f(x)\) auf dem Vektor vom Punkte 0 nach dem Punkte \(x_0\) die Funktion \(F(x)\) und ihre Fortsetzung dargestellt wird, und es wird ein Stern \(B^{(\alpha)}\) gewonnen, indem man \(x_0\) alle Punkte im Innern des Sternes \(A\) durchlaufen läßt, für die die Bedingungen gelten: \[ R \left[ \left( \frac{x_0}x \right )^{\frac 1 \alpha} \right] >1, \quad \begin{cases} -\alpha\, \frac \pi 2 < \text{Arg}\, \frac {x_0}x < + \alpha \,\frac \pi 2, \text{ wenn } 0< \alpha< 2, \\ -\pi < \text{Arg} \,\frac{x_0} x < +\pi, \text{ wenn } \alpha \geqq 2 \text{ ist;}\end{cases} \] dabei bedeutet \(R(z)\) den reellen Teil von \(z\), Arg\,\(z\) das Argument \(\varphi\) von \(z= \varrho e^{i \varphi}\). \textit{Drittens} stellt sich heraus, daß\ \(f(x)\) für jeden in dem Innernvon \(B^{(\alpha)}\) enthaltenen Bereich gleichmäßig konvergiert. Bei dem dritten Teil des Beweises benutzt \textit{Mittag-Leffler} die von ihm eingeführte neue Transzendente \[ (8) \qquad E_\alpha (x) =\sum_{n=0}^\infty\;\frac{x^n}{\varGamma(\alpha n+1)}\,, \] über die auch S. 471-472 dieses Bandes berichtet wird. Das Integral von \textit{Laplace-Abel} läßt sich auch in den Ausdruck von \textit{Borel} umformen: \[ \lim_{\omega=\infty}\, e^{-\omega} \sum_{n=0}^\infty (k_0 +k_1 x +\cdots +k_n x^n) \frac{\omega^{n+1}}{(n+1)! }\,, \] der denselben Konvergenzstern \(B^{(\alpha)}\) hat, wie das Integral. Einen entsprechenden Ausdruck gibtes auch für beliebiges \(\alpha\), nämlich: \[ \lim_{\omega=\infty} \sum_{n=0}^\infty (k_0 +k_1 x +\cdots +k_n x^n) \times \int_0^{\omega^{\frac 1 \alpha}} e^{-\omega ^{\frac 1 \alpha}} \left\{ \frac{\omega^n}{\varGamma(\alpha n+1)} - \frac{\omega^{n+1}}{\varGamma(\alpha n+2)} \right\} d \omega^{\frac 1 \alpha}; \] er hat den Stern \(B^{(\alpha)}\) zum wahren Konvergenzbereich. \textit{Mittag-Leffler} erhält auch zwei andere Ausdrücke derselben Beschaffenheit, und zum Schluß\ werden noch andere Darstellungen von \(f(x)\) hergeleitet, bei denen die Bedingung fallen gelassen ist, daß\ dieser Stern wahrer Konvergenzstern sein soll.