Concerning gamma function expansions. (Q2596397)

Es handelt sich um \(\varGamma\)-Produkte der Gestalt \[ \varOmega(z)=\frac{\varGamma(z+a_1)\varGamma(z+a_2)}{\varGamma(z+b_1)\varGamma (z+b_2)}. \] Wie sofort zu sehen, gilt eine asymptotische Entwicklung \[ \begin{gathered} z^p\varOmega(z)\sim 1+\frac{d_1}z +\frac{d_2}{z^2} +\cdots \\ (z\to\infty\quad \text{in}\quad | \mathop{\text{arc}} z | < \pi \delta;\quad p = b_1+b_2 - a_1 - a_2), \end{gathered} \] die auch in eine asymptotische Fakultätenreihe umgeformt werden kann: \[ 1+\frac{c_1}{z+1} +\frac{c_2}{(z+1)(z+2)} +\cdots. \] Zur Berechnung der \(c_\nu\) für \(p = 0\) wird zunächst mit Hilfe einer Differenzengleichung eine Rekursionsformel für die \(d_n\) gewonnen; die \(c_\nu\) ergeben sich dann durch Einsetzen der (für \(\Re z > 0\) konvergenten) Entwicklung \(z^{-n} =\displaystyle\sum\limits_{\nu=n}^\infty\dfrac{\delta_{n\nu}}{(z+1)\ldots (z+\nu)} \). (Irrtümlich wird zunächst behauptet, diese Reihe konvergiere für alle \(z \neq - 1,\, - 2,\,\ldots\), dann wird aber zu beweisen versucht, daß dies für \(| z | > M > 1\), \(z\neq0,\,-1,\, - 2,\,\ldots\) der Fall sei. Indes ist beides nicht richtig, wie schon der Fall \(n = 1\) zeigt: Für \(\Re z > 0\) ist \(\dfrac1z = \displaystyle\sum\limits_{\nu=1}^\infty \dfrac{(\nu-1)!}{(z+1)\ldots(z+\nu)}\), dagegen ist beispielsweise für jedes negative, nicht ganzzahlige \(z\) die Reihe divergent, da für \(\nu\to\infty\) das allgemeine Glied \(\sim \dfrac{\varGamma(z+1)}{\nu^{z+1}}\) wird. Auch sonst enthält die Note Unstimmigkeiten.)