Polynomials Calculating Sums Of Powers Of Arithmetic Progressions

The polynomials calculating sums of powers of arithmetic progressions are polynomials in a variable that depend both on the particular arithmetic progression constituting the basis of the summed powers and on the constant exponent, non-negative integer, chosen. Their degree always exceeds the constant exponent by one unit and have the property that when the polynomial variable coincides with the number of summed addends, the result of the polynomial function also coincides with that of the sum.

The problem therefore consists in finding $S_^m(n)$i.e. polynomials as a function of $n$ calculating sums of $n$ addends:
:$\sum_^(h+kd)^m = h^m + (h+d)^m + \cdots + (h+(n-1)d)^m,$
with $m$ and $n$ integers positive, $h$ first term of an arithmetic progression and $d \ne 0$ the common difference. The two parameters can be not only integers but also rational, real and even complex.

History

Ancient period

The history of the problem begins in antiquity and coincides with that of some of its special cases. The case $m = 1,$ coincides with that of the calculation of the arithmetic series, the sum of the first $n$ values of an arithmetic progression. This problem is quite simple but the case already known by the Pythagorean school for its connection with triangular numbers is historically interesting:
:$1+2+\dots+n=\fracn^2+\fracn,$ Polynomial $S_^1(n)$ calculating the sum of the first $n$ natural numbers.
For $m> 1,$ the first cases encountered in the history of mathematics are:
:$1+3+\dots+2n-1=n^2,$ Polynomial $S_^1(n)$ calculating the sum of the first $n$ successive odds forming a square. A property probably well known by the Pythagoreans themselves who, in constructing their figured numbers, had to add each time a gnomon consisting of an odd number of points to obtain the next perfect square.
:$1^2+2^2+\ldots+n^2=\fracn^3+\fracn^2+\fracn,$ Polynomial $S_^2(n)$ calculating the sum of the squares of the successive integers. Property that we find demonstrated in Spirals, a work of Archimedes;
:$1^3+2^3+\ldots+n^3=\fracn^4+\fracn^3+\fracn^2,$ Polynomial $S_^3(n)$ calculating the sum of the cubes of the successive integers. Corollary of a theorem of Nicomachus of Gerasa...
L'insieme $S_^m(n)$ of the cases, to which the two preceding polynomials belong, constitutes the classical problem of powers of successive integers.

Middle period

Over time, many other mathematicians became interested in the problem and made various contributions to its solution. These include Aryabhata, Al-Karaji, Ibn al-Haytham, Thomas Harriot, Johann Faulhaber, Pierre de Fermat and Blaise Pascal who recursively solved the problem of the sum of powers of successive integers by considering an identity that allowed to obtain a polynomial of degree $m + 1$ already knowing the previous ones.

In 1713 the family of Jacob Bernoulli posthumously publishes his '' Artis Conjectandi where the first 10 polynomials of this infinite series appear together with a general formula dependent on particular numbers that were soon named after him. The formula was instead attributed to Johann Faulhaber for his worthy contributions recognized by Bernoulli himself.
It was also immediately clear that the polynomials $S_^m(n)$ calcolating the sum of $n$ powers of successive integers starting from zero were very similar to those starting from one. This is because it is evident that $S_^m(n)-S_^m(n)=n^m$and that therefore polynomials of degree $m+1$ of the form $\fracn^+\fracn^m+ \cdots$ subtracted the monomial difference $n^m$ they become $\fracn^-\fracn^m+ \cdots$.

However, a proof of Faulhaber's formula was missing, which was given more than a century later by Carl G. Jacobi who benefited from the progress of mathematical analysis using the development in infinite series of an exponential function generating Bernoulli numbers.

Modern period

In 1982 A.W.F. Edwards publishes an article in which he shows that Pascal's identity can be expressed by means of triangular matrices containing the Pascal's triangle deprived of 'last element of each line:

:$\begin n\\ n^2\\ n^3\\ n^4\\ n^5\\ \end=\begin 1 &0 &0 &0 &0\\ 1&2&0 &0 &0 \\ 1&3&3&0 &0 \\ 1&4&6&4 &0 \\ 1&5&10&10&5 \end\begin n\\ \sum_^ k^1\\ \sum_^ k^2\\ \sum_^ k^3\\ \sum_^ k^4\\ \end$

The example is limited by the choice of a fifth order matrix but is easily extendable to higher orders. The equation can be written as: $\vec=A\vec$ and multiplying the two sides of the equation to the left by $A^$ , inverse of the matrix A, we obtain $A^\vec=\vec$ which allows to arrive directly at the polynomial coefficients without directly using the Bernoulli numbers. Other authors after Edwards dealing with various aspects of the power sum problem take the matrix path and studying aspects of the problem in their articles useful tools such as the Vandermonde vector. Other researchers continue to explore through the traditional analytic route and generalize the problem of the sum of successive integers to any geometric progression

The coefficients of the polynomials $S^m_$ are found through recursive formulas and in other ways that are interesting for number theory as the expression of the result of the sum as a function of Bernoulli polynomials or the formulas involving the Stirling numbers and the r-Whitney numbers of the first and second kind
Finally, Edwards' matrix approach was also generalized to any arithmetic progressions

Solution by matrix method

The general problem has recently been solved through the use of binomial matrices easily constructible knowing the binomial coefficients and the Pascal's triangle.
It is shown that, having chosen the parameters $h$ and $d$ which determine the arithmetic progression and a positive integer $m,$ we find $m + 1$ polynomials corresponding to the following sums of powers:
$S_^=c_1n+c_2n^2+\ldots+c_n^,\qquad \textr=1,2,\ldots,m+1,$
with the polynomial coefficients elements of the row $r$ of the triangular matrix $G(h,d) = T(h,d)A^$ of order $m +1$.

Here is the solving formula in the particular case $m = 3$ which gives the polynomials of a given arithmetic progression with exponents from 0 to 3:
:$\begin S_^0(n)\\ S_^1(n)\\ S_^2(n)\\ S_^3(n)\\ \end= \begin 1& 0& 0& 0\\ 1& 2& 0& 0\\ 1& 3& 3& 0\\ 1& 4& 6& 4\\ \end^ \begin n\\ n^2\\ n^3\\ n^4\\ \end$

The equation that can be easily extended to different values of m (non-negative integers) is summarized and generalized as follows:

$\vec _(n)=T(h,d)A^n\vec (n)$ or also by placing with $G(h,d)=T(h,d)A^$

$\vec _(n)=G(h,d)n\vec (n)$

Here is the rigorous definition of the matrices and the Vandermonde vector:
\begin
&= \begin
0, &\text c>r, \\
\dbinom, &\textc\leq r,
\end
\\ ex (h,d) &= \begin
0, &\text c>r, \\
\dbinomh^d^ & \text c\leq r.
\end
\\ ex vec(n)r&= \begin1, &\text r=1, \\
n^&\text r>1.
\end
\end
for $m=3$ it results therefore
$n\vec(n)=n\begin 1\\ n\\ n^2\\ n^3\\ \end=\begin n\\ n^2\\ n^3\\ n^4\\ \end\quad \text\quad\vec_(n)=\begin S_^0(n)\\ S_^1(n)\\ S_^2(n)\\ S_^3(n)\\ \end=\sum_^\vec(h+kd)$

Matrix A is that of Edwards already seen, a lower triangular matrix that reproduces, in the non-null elements, the triangle of Pascal deprived of the last element of each row. The elements of $T(h,d)$ on the other hand are the monomials of the power development $(h+d)^,$ for $r=1, \ldots, m + 1 .$.

$T(0,1)$ is the neutral element of the row by column product so that the general equation in this case becomes:

$\vec_(n)= A^n\vec(n)$ that is the one discovered by Edwards

To arrive from this particular case to prove the general one, it is sufficient to multiply on the left the two members of the equation by the matrix $T(h,d)$ after having ascertained the following identity $T(h,d)\vec(n) = V(h + dn)$

Sum of powers of successive odd numbers

We use the previous formula to solve the problem of adding powers of successive odds:. The odds correspond to the arithmetic progression with the first element $h = 1$ and as reason $d = 2.$ We set m = 4 to find the first five polynomials calculating sums of powers of odd. Calculated $T(1,2)$ we obtain:
$T(1,2)=\begin 1& 0& 0& 0& 0\\ 1& 2& 0& 0& 0 \\ 1& 4& 4& 0& 0\\ 1& 6& 12& 8& 0 \\ 1& 8& 24& 32& 16 \\ \end \quad A=\begin 1& 0& 0& 0& 0\\ 1& 2& 0& 0& 0\\ 1& 3& 3& 0& 0\\ 1& 4& 6& 4& 0\\ 1& 5& 10& 10& 5 \\ \end \quad A^=\begin 1 &0 &0 &0 &0\\ -\frac&\frac&0 &0 &0 \\ \frac&-\frac&\frac &0 &0\\ 0&\frac&-\frac&\frac &0\\ -\frac&0&\frac&-\frac&\frac\\ \end$

We have therefore
$G(1,2)=T(1,2)A^=\begin 1 &0 &0 &0 &0\\ 0&1&0 &0 &0 \\ -\frac&0&\frac &0 &0 \\ 0&-1&0&2 &0 \\ \frac&0&-\frac&0&\frac \end.$

At this point the general equation $\vec_(n)=G(1,2)n\vec(n)$ for $m = 4$ and the damage done product:
$\begin \sum_^ (1+2k)^0\\ \sum_^ (1+2k)^1\\ \sum_^ (1+2k)^2\\ \sum_^ (1+2k)^3\\ \sum_^ (1+2k)^4\\ \end=\begin 1 &0 &0 &0 &0\\ 0&1&0 &0 &0 \\ -\frac&0&\frac &0 &0 \\ 0&-1&0&2 &0 \\ \frac&0&-\frac&0&\frac \end\begin n\\ n^2\\ n^3\\ n^4\\ n^5\\ \end=\begin n\\ n^2\\ -\fracn+\fracn^3\\ -n^2+2n^4\\ \fracn-\fracn^3+\fracn^5\\ \end.$
using the last line ($r=5$) we get then
$_^4=\fracn-\fracn^3+\fracn^5$
and using the other rows:
$_^3=-n^2+2n^4;\quad _^2=-\fracn+\fracn^3;\quad _^1=n^2;\quad _^0=n.$

Sum of successive integers starting with 1

Chosen $m=3$ and calculated $A^$ and T(1,1) which corresponds to Pascal's triangle:
$\begin S_^0(n)\\ S_^1(n)\\ S_^2(n)\\ S_^3(n)\\ \end= \begin 1 &0 &0 &0 \\ +\frac&\frac&0 &0 \\ \frac&+\frac&\frac &0\\ 0&\frac&+\frac&\frac \end \begin n\\ n^2\\ n^3\\ n^4\\ \end= \begin n\\ +\fracn+\fracn^2\\ \fracn+\fracn^2+\fracn^3\\ \fracn^2+\fracn^3+\fracn^4 \end$

Sum of successive integers starting with 0

Chosen $m=3$ and calculated $A^$ and T(0,1) unit matrix:
$\begin S_^0(n)\\ S_^1(n)\\ S_^2(n)\\ S_^3(n)\\ \end= \begin 1 &0 &0 &0 \\ -\frac&\frac&0 &0 \\ \frac&-\frac&\frac &0\\ 0&\frac&-\frac&\frac \end \begin n\\ n^2\\ n^3\\ n^4\\ \end= \begin n\\ -\fracn+\fracn^2\\ \fracn-\fracn^2+\fracn^3\\ \fracn^2-\fracn^3+\fracn^4 \end$

Progression -1,3,7,11,15 ...

Chosen again $m=3$, calculated $T(-1,4)$, exploited the result of the previous paragraph and the associative property:
$\begin S_^0(n)\\ S_^1(n)\\ S_^2(n)\\ S_^3(n)\\ \end= \begin 1 &0 &0 &0 \\ -1&4&0 &0 \\ 1&-8&16 &0\\ -1&12&-48&64 \end \begin n\\ -\fracn+\fracn^2\\ \fracn-\fracn^2+\fracn^3\\ \fracn^2-\fracn^3+\fracn^4 \end= \begin n\\ -3n+2n^2\\ \fracn-12n^2+\fracn^3\\ -15n+46n^2-48n^3+64n^4 \end$

Generalization of Faulhaber's formula

The matrix $G(h,d)$ can be expressed as a function of the Bernoulli polynomials in the following way
(h,d) = \begin
0, &\textc>r, \\
\frac\binomB_ \left(\frac\right), &\textc\leq r,
\end

which for $m=5$ becomes $G(h,d)=\begin \frac\binomB_0(\frac)& 0& 0& 0& 0& 0\\ \frac\binomB_1(\frac)& \frac\binomB_0(\frac)& 0& 0& 0& 0\\ \frac\binomB_2(\frac)& \frac\binomB_1(\frac)& \frac\binomB_0(\frac)& 0& 0& 0\\ \frac\binomB_3(\frac)& \frac\binomB_2(\frac)& \frac\binomB_1(\frac)& \frac\binomB_0(\frac)& 0& 0\\ \frac\binomB_4(\frac)& \frac\binomB_3(\frac)& \frac\binomB_2(\frac)& \frac\binomB_1(\frac)& \frac\binomB_0(\frac)& 0\\ \frac\binomB_5(\frac)& \frac\binomB_4(\frac)&\frac\binomB_3(\frac)& \frac\binomB_2(\frac)&\frac\binomB_1(\frac)& \frac\binomB_0(\frac)\\ \end$
from which the generalized Faulhaber formula is derived:
$S_^(n)=\frac \sum_^\binomB_ \left(\frac\right)n^$
and also the well-known special cases:
$\begin S_^(n)&=\frac\sum_^\binomB_(0)n^ \\ S_^(n)&=\frac\sum_^\binomB_(1)n^ \end$
where the Bernoulli polynomials calculated in 0 are the Bernoulli numbers and those calculated in 1 are its variant with $B_1$ changed of sign.

Being $B_m\left(\frac+n\right) = \sum_^ \binomB_\left(\frac\right) n^$ for the property of translation of Bernoulli's polynomials, the generalized Faulhaber formula can become:
$\sum_^(h+dk)^ = \frac \left(B_m\left(\frac+n\right) - B_\left( \frac\right)\right)$
very widespread, unlike the other, in the literature.
Hence also the two special cases:
$\begin S_^ &= \sum_^k^=\frac\bigg(B_r\left(n\right)-B_\left(0\right)\bigg)=\frac \\ S_^ &= \sum_^(1+k)^=\sum_^k^=\frac\bigg(B_r\left(1+n\right)-B_\left(1\right)\bigg)=\frac \end{align}$

References

See also

* Arithmetic progressions
* Faulhaber's formula
* Pascal's triangle
* Bernoulli polynomials

Polynomials