An expansion related to \textit{Stirling}'s formula, derived by the method of steepest descents. (Q1471041)

Die sog. Methode der Sattelpunkte (\textit{Debye}, Math. Ann. 67, 535, F. d. M. 40, 510 (JFM 40.0510.*), 1909; Münch. Ber. 1910, F. d. M. 41, 530 (JFM 41.0530.*); \textit{Brillouin}, d. Bd. S. 539) wird hier angewendet, um asymptotische Entwicklungen von \(\frac{1}{\Gamma(z+1)}\), bzw. von \(\Gamma(z+1)\) für große Werte von \(z\) zu gewinnen. Zunächst wird mit elementaren Hilfsmitteln das Restglied einer Formel von \textit{Forsyth} und einer anderen von \textit{Pearson} abgeschätzt. Beide Formeln geben \(\log\Gamma(x+1)\) für große reelle und ganzzahlige \(x\) an. Dann wird das eigentliche Problem, ausgehend von der \textit{Hankel}schen Integraldarstellung (Math. Ann. 1. 467, 1869), behandelt. Es ergibt sich zunächst \[ \frac{1}{\Gamma(z+1)}=\frac{e^z}{\pi z^z}\int_0^\pi e^{- zF(\theta)z}d\theta, \] wobei \(F(\theta)=\log\frac{\theta}{\sin\theta}- \theta\text{ctg}\theta+1\) ist. Eine ausführliche Diskussion der Abbildung \(\tau=F(\theta)\) im Komplexen führt zu dem Ergebnis, daß\ eine asymptotische Entwicklung von der Form \[ \frac{1}{\Gamma(z+1)}\sim\frac{e^z}{\pi z^{z+\frac 12}}\sum_{n=0}^\infty \frac{a_n\Gamma(n+\frac 32)}{z^n} \] möglich ist, deren Gültigkeit sich auf den Bereich \(| \arg z| \leqq\pi-\delta\;(\delta>0)\) erstreckt. Die Koeffizienten \(a_n\) sind hierbei durch die Entwicklung \[ \theta=\tau^{\frac 12}\sum_{n=0}^\infty a_n\tau^n \] definiert. Sie lassen sich etwa mit Hilfe der \textit{Lagrange}schen Reihe ermitteln.