A new method for differentiation with arbitrary indices. (Q5915045)

Die von Liouville entwickelte Theorie zur Differentiation mit beliebigem Index beruht auf der Formel \[ \frac{d^m e^{ax}}{dx^m} = a^m e^{ax}, \] so dass eine gegebene Function um differentiirt zu werden, eigentlich zuerst in eine Reihe nach Potenzen von \(e^x\) entwickelt werden muss. Hier ist dann nicht nur auf die Convergenz der Reihe Rücksicht zu nehmen, wodurch eine Beschränkung der Allgemeinheit der Resultate eintreten kann, sondern es tritt auch die Analogie mit dem gewöhnlichen Differentiations- und Integrationsprocess nicht immer so deutlich hervor, wie es zu wünschen wäre. Diese Uebelstände meint der Verfasser zu beseitigen, indem er von der Differentiation der Potenzfunction ausgeht, und von dieser zu den anderen Functionen übergeht. Um die allgemeine Differentialformel der Potenzen aufstellen zu können, macht er zuerst eine Erweiterung des Begriffs der \(\varGamma\)-Function, so dass dieselbe auch noch für negative Argumente Gültigkeit behält. Durch \(f(a)\) bezeichnet er eine Function, die für alle positive Argumente mit \(\varGamma(a)\) zusammenfällt, und für welche übrigens die fundamentale Gleichung \[ \frac{\gamma(a)}{\gamma(a\pm k')} = \frac{(a-1)(a-2)}{(a\pm k'- 1)(a\pm k'-2)} , \] wo \(k'\) eine beliebige ganze Zahl bedeutet, gelten soll. Mittelst dieser Function lässt sich dann die folgende Formel aufstellen: \[ \frac{d^m Cx^n}{dx^m} = C\cdot \frac{\gamma(1+n)}{\gamma(1+n-m)} x^{n-m}, \] oder wenn diese, für \(n=-(1+n')\) und \(m\gtrless s'-n'\), wo n' und s' ganze Zahlen bezeichnen, unbrauchbar wird, \[ \frac{d^m Cx^n}{dx^m} = \frac{(-1)^{n'} C}{1\cdot 2\ldots n'\cdot \gamma(- n'-m)} \cdot x^{-(1+n')-m} l\cdot x. \] Nebst einigen anderen ähnlichen Differentiationsformeln enthält die Abhandlung Untersuchungen über die complementäre Function, die den Resultaten beigefügt werden muss, um diese vollständig zu machen.