Observations on two notes of M. A. Genocchi concerning the expansion of the function \(\log\Gamma(x)\). (Q1559997)

1. Die Note des Herrn de Tilly (JFM 05.0167.01) hat ihren Ausgangspunkt in einer Formel des H. Genocchi (Bull. de Belg. XX. \(2^{\text{me}}\) p. 395) nämlich: \[ u(x+1)-u(x)= lx- \overset {n-1} {\underset {1} {\mathbf S}} (-1)^1 \beta_{i-1} X_i-R_n(x), \] wo \[ u(x)= \bigl(\nu- {\textstyle \frac12} \bigr) lx-x; \quad x_i= \frac{1\cdot 2\cdot 3\cdot i}{x(x+1)\cdots (x+i)}, \] \[ R_n(x)= (-1)^n \int_0^1 \frac{\alpha(\alpha-1)\cdots (\alpha-n+1)} {x(x+1)\cdots (x+n+1)} \frac{\alpha-\frac12} {x+\alpha} d\alpha, \] \[ \beta_n= \int_0^1 \frac{\alpha(\alpha-1)\cdots (\alpha- n)} {1\cdot 2\cdots(n+1)} \bigl( \alpha-{\textstyle \frac12} \bigr) d\alpha. \] Indem man dem \(x\) die Werthe \(1,2\cdots (\nu-1)\) giebt und die Resultate addirt, erhält man, wenn man die Symmetrie gegen \(X_0= \frac1x\) setzt: \[ \begin{aligned} l\Gamma(x)&= u(x)+ A(x,n)+ B(x,n)+ C(n),\\ A(x,n)&= {\overset {n-1} {\underset {1} {\mathbf S}}} (-1)^i \beta_iX_i,\\ B(x,n) &=- {\overset {x-y} {\underset {1} {\mathbf S}}}. \end{aligned} \] Dies ist eine Constante. Man findet also \[ \begin{aligned} A(\infty,\infty) &= 0, \quad B(\infty,\infty), \quad C(\infty)= l\sqrt{2\pi}\\ A(\infty,n) &= 0, \quad B(x,\infty).\end{aligned} \] Indem man in \(l\Gamma x\) \(n\) allein unendlich macht, findet man die unendliche Reihe von Binet. Andernfalls hat man diese Reihe mit einem Rest, der in bestimmten Integralen ausgedrückt ist. Entwickelt man diese Integrale in Reihen, so findet man die Entwickelung von Gudermann. (Siehe das vorstehende Referat, JFM 05.0163.02). 2. Der Bericht von H. Gilbert (JFM 05.0167.02) enthält eine historische Notiz über die Formeln von Gauss und Legendre für die Entwickelung von \(l\Gamma x\), über die von Stirling, Cauchy und Féaux, von Gudermann, Binet (deren es zwei giebt) und von Kummer. Herr Genocchi giebt dazu im \(2^{\text{ten}}\) Theil seiner Note (JFM 05.0167.03) Berichtigungen und Vervollständigungen. Die Formel von Gauss ist implicite enthalten in einer Formel von Euler, die von Cauchy und Féaux gehört in Wirklichkeit Binet; Plana hat vor Binet die Function \(\Pi(x)\) mit Hülfe eines bestimmten Integrals ausgedrückt. Binet hat nicht, wie H. Gilbert sagt, die Frage über die Convergenz der nach ihm benannten Reihe vernachlässigt. Herr Genocchi giebt dann eine Analyse seiner zahlreichen Arbeiten über die Function \(\Gamma\), die mehrere der später von andern Mathematikern gefundenen Resultate enthalten, und giebt den Inhalt der Untersuchungen von Weierstrass und Hankel über diesen Gegenstand. 3. Der erste Theil der Note des Herrn Genocchi (JFM 05.0167.03), der Bericht des Herrn Tilly (JFM 05.0167.01) und die Bemerkungen von Herrn Gilbert enthalten eine Discussion über 2 frührere Noten des Herrn Genocchi, wo es sich darum handelt zu wissen, ob diese Schriften einen allgemeinen Beweis der Formel von Binet enthalten oder nicht. Diese Frage ohne gründliches Studium der Arbeiten selbst zu entscheiden ist schwierig. Wie dem auch sei, in der letzten, deren Titel oben gegeben ist, weist Herrn Genocchi alle Einwürfe zurück, indem er in einfacher und strenger Weise die Convergenze der Reihe \(\Sigma(-1)^i \beta_iX_i\) durch die der Reihe \(\Sigma(-1)^{i-1} \beta_{i-1}X_i\), welche immer grösser ist, zeigt. In seinen Bemerkungen erkennt Herr Hilbert die Priorität Genochhi's für den Beweis der Formel von Stirling an, die er in seiner grossen Arbeit gegeben hat.