On the relations that exist between the arithmetic triangle of Pascal and the Bernoulli numbers. (Q1556018)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the relations that exist between the arithmetic triangle of Pascal and the Bernoulli numbers.
scientific article

    Statements

    On the relations that exist between the arithmetic triangle of Pascal and the Bernoulli numbers. (English)
    0 references
    1876
    0 references
    Setzt man \[ f(x + 1) - f(x) = A_{0} x^{n} + A_{1} x^{n-1} + \cdots + A_{n} \] \[ S_{n} = 1^{n} + 2^{n} + \cdots + (x - 1)^{n}, \] so erhält man, indem man für \(x\) der Reihe nach \(1,2 \ldots x - 1\) substituirt und addirt, die symbolische Formel \[ f(x) - f(1) = f(S + 1) - f(S), \] worin rechts nach der Entwickelung \(S^{n}\) durch \(S_{n}\) und \(S_{0}\) durch \(x-1\) zu ersetzen ist. Es gilt ferner die symbolische Formel \[ n S_{n - 1} = (x+B)^{n} - B^{n}, \] wo die \(B\) bis auf eine leichte Modification des Index die Bernoulli'schen Zahlen bezeichnen. Indem man in derselben \(x+1\) für \(x\) setzt und abzieht, ergiebt sich \[ nx^{n-1} = (x + B + 1)^{n} - (x+B)^{n} \] und hieraus \[ f'(x) = f(x + B + 1) - f(x + B) = \varDelta_{x} f(x + B, y) \] und durch Ausdehnung auf mehrere Argumente \[ \frac{d^2 f(xy)}{dx dy} = \varDelta_{xy}^{2} f(x + B, y + B'), \] \[ \frac{d^3 f(xyz)}{dx dy dz} = \varDelta_{x,y,z}^{3} f(x+ B, y + B', z + B'') \quad \text{u. s. f.} \] Hierdurch sind Relationen zwischen den Bernoulli'schen Zahlen selbst, ferner zwischen den Producten derselben zu je zweien, dreien u. s. f. gegeben. Die Euler'schen Zahlen geben zu ähnlichen Entwickelungen Anlass. Ist \[ P_{n} = 2(2^n - 1)B_{n} \] und \[ \sigma_{n} = 1^{n} - 2^{n} + 3^{n} - \cdots + (2x - 1)^{n}, \] dann erhält man die symbolischen Formel \[ 2n \sigma_{n-1} = P^n (2x + P)^{n}\; (P_{0} = 0). \] Für eine Primzahl \(p\) gilt die Congruenz \[ n P_{n+p+1} \equiv (n-1) P_{n} (\text{mod.}p). \] In der zweiten Note wird gezeigt, wie auf Grundlage obiger Formeln (JFM 08.0143.01) die \(B\) in Gestalt von Determinanten gegeben werden können, deren Elemente aus den figurirten Zahlen gebildet sind.
    0 references
    0 references
    Pascal triangle
    0 references
    Bernoulli numbers
    0 references
    0 references