On Eulerian integrals and some other uniform functions. (Q1545286): Difference between revisions

Gemäss der Prym'schen Zerlegung \(\varGamma(a) = P(a)+Q(a)\) wird zuerst \[ Q(a)=\int_1^\infty e^{-x}x^{a-1}dx \] untersucht und eine obere Grenze bestimmt. Das Folgende handelt von der Function \[ G(a)=\frac{1}{\varGamma(a)} = \frac{1}{2\pi i} \int e^zz^{-a}dz, \] ausgehend von dem letztem Ausdruck, in welchem Heine dieselbe darstellt, und zwar wird der Punkt \(z\) auf der reellen Axe von \(-\infty\) bis \(-\eta\), dann im Kreise um den Nullpunkt, dann zurück von \(-\eta\) bis \(-\infty\) geführt. Dies Integral wird bei Entwickelung nach Potenzen von \(a\) zur approximativen Berechnung der Coefficienten sehr hoher Potenzen gebraucht. Nach Entwickelung unter dem Integralzeichen, wird das allgemeine Glied in seine Elemente zerlegt, von denen das eine Logarithmen, das andre Sinus enthält. Das erstere wächst zu einem Maximum und nimmt dann beständig ab. Das letztere ist das Integral einer Function mit alternirenden Vorzeichen und wird in die durch die Zeichenwechsel begrenzten Teile zerlegt. Die nähere Untersuchung ergiebt eine obere Grenze für beide reellen Elemente, letztere sehr klein gegen erstere. Die genaue Coefficientenbestimmung wendet den Ausdruck an: \[ G(a)=n^{-a}a(1+a)\left( 1+\frac a2\right) \left( 1+\frac a3\right) \cdots \left( 1+\frac an \right), \] welcher entwickelt giebt: \[ G(a)=a(1+a)\sum_{k=0}^{k=\infty} \frac{(-a\text{ log }n)^k}{k!} \sum_{k=0}^{k=n} A_ka^k, \] wo \(A_0 = 1\) und jedes folgende \(A\) durch die vorhergehenden gefunden wird, so dass die Reihe \[ \frac{G(a)}{a(1+a)} = \sum_{k=0}^{k=\infty} A_k'a_k \] hervorgeht, wo \[ A_k'=\sum_{i=k}^{i=k} A_{k-i} \frac{(-\text{ log }n)^i}{i!} \] ist. Die \(A\) sind die Combinationssummen von \(\frac 12,\frac 13,\cdots \frac 1n\), hier bezeichnet \(1, S_1, S_2,\dots\) Setzt man nun \( C= -S_1+\text{ log }n\), und ist \( C' = -\varGamma'(1)\), so wird \(C = 1-C'\). Schreibt man demgemäss \(-C+\text{ log }n\) für \(S_1\) in den Ausdrücken von \(A_1', A_2'\), etc., so müssen dieselben, sofern sie endlich sind, unabhängig von log \(n\) sein, und man kann log \(n\) darin Null setzen. Jetzt erhält man \(A_k'\) aus \(A_k\) durch blosse Substitution von \(-C\) für \(S_1\). Ferner wird \(\varGamma(x)\) in der Form entwickelt \[ x(x+1)\varGamma(x)=\varGamma(x+2)=\sum_{n=0}^{n=\infty} B_nx^n, \] wo \[ B_0=1;\;\; B_{n+1}=c_n+c_{n-1} + (-1)^n \sum_{k=0}^{k=\infty} \frac{(-1)^k(k+2)^{-n-2}}{k!} \] ist, und die \(C\) die Coefficienten der Reihe für \(P(x+2)\) bedeuten. Danach wird eine von Hermite mitgeteilte Entwickelungsform von \(\varGamma(x)\) erwähnt, welche auf Teilung des Integralintervalls 0 bis \(\infty\) in Einheiten beruht. Weiter werden Reihenformen der \(G\) in der Form \[ F_1(x)=G(x+1)+G(x+2)+\cdots, \] \[ F_{n+1}(x)=F_n(x)+F_n(x+1)+\cdots \] gebildet und ihre Entwickelung nach Potenzen von \(x\) ermittelt. Zum Schluss sind die Tafeln der auf 16 Stellen berechneten für die genannten und andere Integralfunctionen aufgestellt.