The asymptotic expansion of generalized hypergeometric functions. (Q1441179)

Es werden die durch Reihen der Form \[ \begin{aligned} _p{\mathfrak F}_q \{z\}&=_p{\mathfrak F}_q \left\{ \begin{matrix} \alpha_1,\alpha_2,\dots,\alpha_p; & \varrho_1,\varrho_2,\ldots,\varrho_q \\ \beta_1,\beta_2,\dots,\beta_p; & \sigma_1,\sigma_2,\dots,\sigma_q \end{matrix}; z \right\} \\ &=\sum_{n=0}^\infty \frac{\Gamma(\alpha_1+n \beta_1) \cdots \Gamma(\alpha_p+n \beta_p)}{\Gamma(\varrho_1+n \sigma_1)\dots \Gamma(\varrho_q+n \sigma_q)} \frac{z^n}{n!} \end{aligned} \] \[ (\beta_r,\sigma_r \quad \text{positiv reell}, \;\sum \sigma_r-\sum \beta_r+1=\kappa>0 \;\text{rational}, \] \[ \alpha_r+n \beta_r \neq \text{negative ganze Zahl für alle}\;n=0,1,2,\dots) \] erklärten ganzen Funktionen für \(| z|\to \infty\) asymptotisch dargestellt. Im einfachsten Falle \(k = 1\); \(|\text{arc}z|<\frac \pi 2\) erhält man eine Entwicklung der Form \(e^{cz}z^\vartheta {\mathfrak P} \left( \frac 1z \right)\), wo \(c,\vartheta\) Konstante, \(\mathfrak P\) eine (formale) Potenzreihe bedeutet. Beim Übergang (1) zu anderen Sektoren und (2) zu beliebigem \(k\) hat man (1) noch Reihen \(\left( \frac 1z \right)^{\frac{\alpha_r}{\beta_r}} {\mathfrak P} \left( \frac{1}{z^{\beta_r}} \right)\) -- wo in Ausnahmefällen statt der Potenzen in \(\mathfrak P\) auch Produkte solcher mit Polynomen in \(\log z\) treten -- hinzuzunehmen, (2) oben \(z\) durch \(z^{\frac 1k}\) zu ersetzen. Es können Übergangsgeraden zwischen einzelnen Sektoren auftreten, auf denen die Exponentialfunktion beschränkt oder \(=o(| z|^{-N})\) für jedes positive \(N\) ist, so daß\ längs dieser Richtung das Wachstum durch eine Potenz von \(| z|\) gemessen werden kann. Die Methode ist die der Residuenbetrachtung an Integralen von ähnlichem Bau wie die \textit{Barnes}schen (vgl. z. B. \textit{Whittaker-Watson}, Modern Analysis, 1920; p. 343).