Faulhaber's Formula - Alternate Expression

Alternate Expression

Due to the relationship between the Riemann zeta function and Bernoulli numbers, and the observations below, an arguably more natural expression in terms of B1=1/2 is

The older expression given earlier follows from this one as a result of the (somewhat coincidental) fact that when the sum Sp(n) is extended to negative integers using the property Sp(n−1)=Sp(n)−np, we have

\begin{align}
S_p(-n) & = S_p(-1)-\sum_{k=1}^{n-1}(-k)^p=S_p(-1)-\left(\sum_{k=1}^n(-k)^p-(-n)^p\right) \\
& = S_p(-1)-(-1)^p\left(\sum_{k=1}^nk^p-n^p\right).
\end{align}

Since Sp(−1)=Sp(0)−0p, it is 0 for p>0, but is indeterminate when p=0. S0(n)=n, however, so the convention is that Sp(−1) is the negated Kronecker delta, giving

The subtraction of np (when it is not cancelled by the delta for p=0) changes the sign of B1 (it is the coefficient of np), giving

in terms of B1=−1/2, which is essentially the same as the conventional expression given earlier.

The use of this expression at n=−1 also gives

for a recurrence relation giving the B1=−1/2 sequence.

Read more about this topic:  Faulhaber's Formula

Famous quotes containing the words alternate and/or expression:

    It might become a wheel spoked red and white
    In alternate stripes converging at a point
    Of flame on the line, with a second wheel below,
    Just rising, accompanying, arranged to cross,
    Through weltering illuminations, humps
    Of billows, downward, toward the drift-fire shore.
    Wallace Stevens (1879–1955)

    The novel is the highest form of human expression so far attained. Why? Because it is so incapable of the absolute.
    —D.H. (David Herbert)