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 i.e. polynomials as a function of calculating sums of addends:
with [1] and integers positive, first term of an arithmetic progression and 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 coincides with that of the calculation of the arithmetic series, the sum of the first 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:
- Polynomial calculating the sum of the first natural numbers.
For the first cases encountered in the history of mathematics are:
- Polynomial calculating the sum of the first 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.
- Polynomial calculating the sum of the squares of the successive integers. Property that we find demonstrated in Spirals, a work of Archimedes;[2]
- Polynomial calculating the sum of the cubes of the successive integers. Corollary of a theorem of Nicomachus of Gerasa...[2]
L'insieme 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 already knowing the previous ones.[2]
In 1713 the family of Jacob Bernoulli posthumously publishes his Artis Conjectandi [3] 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[4] for his worthy contributions recognized by Bernoulli himself. It was also immediately clear that the polynomials calcolating the sum of powers of successive integers starting from zero were very similar to those starting from one. This is because it is evident that and that therefore polynomials of degree of the form [3] subtracted the monomial difference they become .
However, a proof of Faulhaber's formula was missing, which was given more than a century later by Carl G. Jacobi[5] 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 [6] 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:
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: and multiplying the two sides of the equation to the left by , inverse of the matrix A, we obtain 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 [9] and studying aspects of the problem in their articles useful tools such as the Vandermonde vector.[10] Other researchers continue to explore through the traditional analytic route [11] and generalize the problem of the sum of successive integers to any geometric progression[12][13]
The coefficients of the polynomials 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 [14] Finally, Edwards' matrix approach was also generalized to any arithmetic progressions [15]
Solution by matrix method
The general problem has recently been solved [15] 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 and which determine the arithmetic progression and a positive integer we find polynomials corresponding to the following sums of powers:
with the polynomial coefficients elements of the row of the triangular matrix of order .
Here is the solving formula in the particular case which gives the polynomials of a given arithmetic progression with exponents from 0 to 3:
The equation that can be easily extended to different values of m (non-negative integers) is summarized and generalized as follows:
or also by placing with
Here is the rigorous definition of the matrices and the Vandermonde vector:
for it results therefore
Matrix A is that of Edwards [8] 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 on the other hand are the monomials of the power development for .
is the neutral element of the row by column product so that the general equation in this case becomes:
that is the one discovered by Edwards [8]
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 after having ascertained the following identity [15]
Sum of powers of successive odd numbers
We use the previous formula to solve the problem of adding powers of successive odds:.[16] The odds correspond to the arithmetic progression with the first element and as reason We set m = 4 to find the first five polynomials calculating sums of powers of odd. Calculated we obtain:
We have therefore
At this point the general equation for and the damage done product:
using the last line () we get then
and using the other rows:
Sum of successive integers starting with 1
Chosen and calculated and T(1,1) which corresponds to Pascal's triangle:
Sum of successive integers starting with 0
Chosen and calculated and T(0,1) unit matrix:
Progression -1,3,7,11,15 ...
Chosen again , calculated , exploited the result of the previous paragraph and the associative property:
Generalization of Faulhaber's formula
The matrix can be expressed as a function of the Bernoulli polynomials in the following way[17][18]
which for becomes
from which the generalized Faulhaber formula is derived:
and also the well-known special cases:
where the Bernoulli polynomials calculated in 0 are the Bernoulli numbers and those calculated in 1 are its variant with changed of sign.[19]
Being for the property of translation of Bernoulli's polynomials, the generalized Faulhaber formula can become:
very widespread, unlike the other, in the literature.[14] Hence also the two special cases:
References
- is admissible only when is not calculated or if is set.
- Beery, Janet (2009). "Sum of powers of positive integers". MMA Mathematical Association of America. doi:10.4169/loci003284.
- Bernoulli, Jacob (1713). "Summae potestatum". Artis conjectandi. Internet Archive. p. 97.
- Johann Faulhaber (1631). Academia Algebrae - Darinnen die miraculosische Inventiones zu den höchsten Cossen weiters continuirt und profitiert werden. (online copy at Google Books)
- Jacobi, Carl (1834). "De usu legitimo formulae summatoriae Maclaurinianae". Journal für die reine und angewandte Mathematik. Vol. 12. pp. 263–72.
- Edwards, Anthony William Fairbank (1982). "Sums of powers of integers: A little of the History". The mathematical Gazette vol.66 N.435.
{{cite journal}}
: Cite journal requires|journal=
(help) - The first element of the vector of the sums is and not because of the first addend, the indeterminate form , which should otherwise be assigned a value of 1
- Edwards, A.W.F. (1987). Pascal's Arithmetical Triangle: The Story of a Mathematical Idea. Charles Griffin & C. p. 84. ISBN 0-8018-6946-3.
- Kalman, Dan (1988). "Sums of Powers by matrix method". Semantic scholar. S2CID 2656552.
- Helmes, Gottfried (2006). "Accessing Bernoulli-Numbers by Matrix-Operations" (PDF). Uni-Kassel.de.
- Howard, F.T (1994). "Sums of powers of integers via generating functions". CiteSeerX 10.1.1.376.4044.
{{cite journal}}
: Cite journal requires|journal=
(help) - Lang, Wolfdieter (2017). "On Sums of Powers of Arithmetic Progressions, and Generalized Stirling, Eulerian and Bernoulli numbers". arXiv:1707.04451.
{{cite journal}}
: Cite journal requires|journal=
(help) - Tan Si, Do (2017). "Obtaining Easily Sums of Powers on Arithmetic Progressions and Properties of Bernoulli Polynomials by Operator Calculus". Applied Physics Research. Canadian Center of Science and Education. 9. ISSN 1916-9639.
- Bazsó, András; Mező, István (2015). "On the coefficients of power sums of arithmetic progressions". Journal of Number Theory. 153: 117–123. doi:10.1016/j.jnt.2015.01.019. S2CID 119140210.
- Pietrocola, Giorgio (2021). "Matrici binomiali per insiemi di polinomi calcolanti somme di potenze" [Binomial matrices for sets of polynomials calculating power sums]. Archimede (in Italian). 4: 202–216. ISSN 0390-5543.
- Guo, Songbai; Shen, Youjien (2013). "On Sums of Powers of Odd Integers". doi:10.3770/j.issn:2095-2651.2013.06.003.
{{cite journal}}
: Cite journal requires|journal=
(help) - Pietrocola, Giorgio (2019). "Didattica delle matrici applicata al classico problema della somma di potenze di interi successivi" [Matrix didactics applied to the classic problem of the sum of powers of successive integers] (PDF) (in Italian). 6° Simposio Mat^Nat APAV Fascino e bellezza della matematica. p. 22.
- Pietrocola, Giorgio (2022). "Matrici binomiali per insiemi di polinomi calcolanti somme di potenze con basi in p. a." [Binomial matrices for sets of polynomials calculating power sums with bases in arithmetic progression]. MatematicaMente (in Italian). No. 298, 299. ISSN 2037-6367.
- "A164555, Sequence of numerators in the variant of Bernoulli numbers with ". OEIS. OEIS Encyclopedia of sequences of integers.