The asymptotic expansion of integral functions defined by Taylor series. (Q2586728)

Es handelt sich um Funktionen, die durch Potenzreihen \[ f(x)={\sum\limits_{n=0}^{\infty}}c_nx^n\quad\text{mit}\quad c_n =\frac{\varPhi(n)}{\varGamma(\varkappa n+\beta)} \] definiert sind; hier sind \(\varkappa\) und \(\beta\) reelle oder komplexe Konstanten mit \(\Re(\varkappa) > 0\) und \(\varPhi(t)\) ist eine Funktion, die gewissen insbesondere ihr asymptotisches Verhalten betreffen\-den, von Fall zu Fall verschiedenen Bedingungen unterworfen ist. (Vgl. unten (*); diese Bedingungen sind insbesondere immer erfüllt, wenn \(\varPhi(t)\) rechts von einer gewissen Ge\-raden \(\Re(\varkappa t) = \text{const}\) eine asymptotische Entwicklung nach fallenden (nicht notwendig ganzzahligen) Potenzen von \(t\) zuläßt.) Es sind drei Fälle zu unterscheiden: (1) \(\Re\left(\dfrac{1}{\varkappa}\right)<\dfrac12\), (2) \(\Re\left(\dfrac{1}{\varkappa}\right)=\dfrac12\), (3) \(\Re\left(\dfrac{1}{\varkappa}\right)>\dfrac12\). Im Fall (1) gibt es ``exponentiell große'' Entwick\-lungen für die ganze Ebene, das sind solche, die, grob gesprochen, ein Wachstum von der Stärke einer Exponentialfunktion \(e^{x^\lambda}\) kennzeichnen, im Fall (2) gilt eine solche Ent\-wicklung im Innern der längs einer logarithmischen Spirale (bei reellem \(\varkappa\) längs der negativen reellen Achse) aufgeschnittenen Ebene, im Fall (3) in einem von zwei logarith\-mischen Spiralen begrenzten Gebiet, während in der restlichen Ebene eine ``rein algebraische'' Entwicklung besteht, das heißt eine solche, die ein Wachstum nach Art eines Polynoms kennzeichnet. In den Fällen (2) und (3) gelten die betreffenden Ent\-wicklungen gleichmäßig in Teilgebieten, die nicht bis an die Ränder der genannten Ge\-biete heranreichen. Die danach bestehenden Lücken werden ausgefüllt, indem für die Umgebungen der Ränder ``gemischte'' Entwicklungen angegeben werden, die sich aus den vorgenannten Typen additiv zusammensetzen. Die Ergebnisse werden eingehend mit solchen von \textit{Watson} verglichen, die denen des Verf. am nächsten kommen (Trans. Cambridge philos. Soc. 22 (1913), 15-37; F. d. M. 44, 476 (JFM 44.0476.*)). Neu sind insbesondere die gemischten Entwicklungen. Zahlreiche spezielle Funktionen ordnen sich dem Typus des Verf. unter, so z. B. die Mittag-Lefflerschen \(E_\alpha\)-Funktionen. Die Methode zur Gewinnung beispielsweise der exponentiell großen Entwicklungen besteht zunächst in einer Zurückführung auf den Fall \(\varkappa=1\) durch eine von Watson herrührende Transformation (loc. cit.). Die genaue Voraussetzung über \(\varPhi(t)\), nämlich die Gültigkeit der asymptotischen Beziehung \[ \frac{\varPhi(t)}{\varGamma(\varkappa t+\beta)}={\sum\limits_{m=1}^{M}} \frac{\varkappa A_m}{\varGamma(\varkappa t+\alpha_m)}+ O\left(\dfrac{1}{\varGamma(\varkappa t+\alpha_{M+1})}\right) \tag{*} \] für ein gewisses \(M\) und konstante \(A_m\), \(\alpha_m\) mit \[ \Re(\alpha_{1})\leqq\Re(\alpha_{2})\leqq\cdots\leqq\Re(\alpha_{M})<\Re(\alpha_{M+1}), \] erlaubt ferner eine Zerlegung der noch zu untersuchenden Funktion (abgesehen von einem unbedeutenden Restglied) in \(M\) Funktionen des Typus \[ S(\tau,x)={\sum\limits_{n=0}^{\infty}}\frac{x^n}{\varGamma(n+\tau)} \] und eine (von dem Restglied in (*) herrührende) Funktion \[ F_1(x)={\sum\limits_{n=0}^{\infty}} \frac{\psi_1(n)x^n}{\varGamma(n+\alpha_{M+1})} \] mit beschränktem \(\psi_1(t)\). Es bleibt also das asymptotische Verhalten dieser beiden Funk\-tionen zu untersuchen, was natürlich durch Darstellung mittels Residuenintegralen und deren Abschätzung geschieht. Weiterführungen und Anwendungen, insbesondere auf Fragen der Nullstellen\-verteilung, werden in Aussicht gestellt.