On the connection between certain linear differential and difference equations. (Q1542035)

Diese Arbeit knüpft unmittelbar an eine andere desselben Verfassers an ``Zur Theorie der Gammafunctionen'', die in Abschn. VII Cap. 2 D. besprochen wird (JFM 18.0441.01), indem der daselbst behauptete Zusammenhang gewisser mit der Gammafunction verwandter Transcendenten mit den Integralen linearer Differentialgleichungen aufgedeckt wird. Es wird zuerst der wichtige Satz bewiesen: Wenn \[ f(z) = \int_0^1 \varphi(x). x^{z-1} dx \] und \(\varphi(x)\) ein Integral der Differentialgleichung \[ (a_0 - b_0x) x^n y^{(n)} + (a_1 - b_1 x) x^{n-1} y^{(n-1)} + \cdots + (a_n - b_n x)y =0 \] ist, so befriedigt die durch das Integral definirte Function \(f(z)\) die lineare Differenzengleichung erster Ordnung \[ r_1(z) f(z+1) = r_0 (z)f(z) - R(z), \] wo \(r_0(z), r_1(z), R(z)\) ganze rationale Functionen bezeichnen. Dann wird gezeigt, dass unter den particulären Integralen der Differentialgleichung eines und zwar nur eines: \(\eta\) giebt, für welches die Gleichung \[ f(z) = \int_0^1 \eta x^{z-1} dx \] dieser Differenzengleichung genügt, und dass diese Function \(f(z)\) bis auf einen Factor identisch mit dem in der cirtirten Abhandlung untersuchten Quotienten ist, so dass die Gleichung besteht: \[ C . \int_{0}^{a} \eta x^{z-1} dx = a^z \frac{\varGamma (z-z_1) \varGamma (z-z_2) \dots \varGamma (z-z_n)}{\varGamma (z-z_1') \varGamma (z-z_2') \dots \varGamma (z-z_n')} \cdot \] Mit Hülfe dieser neuen Gleichung kann eine ganze Menge bestimmter Integrale auf die \(\varGamma\)-Function zurückgeführt werden; so kann man z. B. die Potenzen des Euler'schen Integrales erster Gattung in der Form eines bestimmten Integrales ausdrücken. Nachdem noch das Integral \(\int_a^{\infty} \eta x^{z-1} dx\) durch einen ähnlichen Quotienten von \(\varGamma\)-Functionen dargestellt worden, wird auf die Wichtigkeit dieser Fuctionen für Differentialgleichungen höherer Ordnung hingewiesen, indem gezeigt wird, wie man stets Functionen bilden kann, die der Differenzengleichung \[ r_0 (z) f(z) + r_1 (z) f(z+1) + \cdots + r_m(z) f(z+m) =R(z) \] genügen. Die \(r(z)\) sind hier bestimmte rationale ganze Functionen, während \(R(z)\) eine unbestimmte ganze rationale oder transcendente Function ist. Endlich wird noch ein Zusammenhang zwischen den Differenzengleichungen höherer Ordnung und den linearen Differentialgleichungen mit rationalen Coefficienten nachgewiesen.