The Powers Sums, Bernoulli Numbers, Bernoulli Polynomials Rethinked

Show more

1. Introduction

The problem of calculating the sums of the m^{th} powers of n first integers

(1.1)

is investigated from antiquity by mathematicians around the world.

We learn for examples in the thesis of Coen [1] as so as in Edwards [2] that at the beginning of the 11^{th} century ibn al-Haytham had developed the formulae

$\sum n}=\frac{{n}^{2}}{2}+\frac{n}{2$, $\sum {n}^{2}}=\frac{{n}^{3}}{3}+\frac{{n}^{2}}{2}+\frac{n}{6$, $\sum {n}^{3}}=\frac{{n}^{4}}{4}+\frac{{n}^{3}}{2}-\frac{{n}^{2}}{4$ (1.2)

In 15^{th} century his successors had found

(1.3)

About two centuries quietly passed until the day in 1631 when Faulhaber [3] published at Ulm the prodigious results for sums of odd powers from $\sum n}\text{\hspace{0.05em}$ until $\sum n}{\text{\hspace{0.05em}}}^{17$ in term of powers of $\sum n}\text{\hspace{0.05em}$ . One may find more details on the works of Faulhaber in the reference [4] .

After Faulhaber, in 1636 French mathematicians Fermat utilizing the figurate numbers and in 1656 Pascal utilizing results of arithmetic triangle, found also recurrence formulae for calculating $\sum n}{\text{\hspace{0.05em}}}^{m$ from lower-order sums [5] .

Then in 1713 in his posthumous Ars conjectandi, Jacob Bernoulli [6] , mentioning Faulhaber, published the lists of ten first $\sum n}{\text{\hspace{0.05em}}}^{m$ . It is plausible that from this list he observed that $\sum n}{\text{\hspace{0.05em}}}^{m$ may be written in terms of the numbers ${B}_{k}$ which are the same for all m

(1.4)

This famous conjectured formula of Bernoulli was proven in 1755 based on the calculus of finite difference by Euler [7] , a researcher working with the Bernoulli brothers at Zurich. As informed by Raugh [8] , Euler had followed de Moivre in given ${B}_{k}$ the denomination Bernoulli numbers, introduced the Bernoulli polynomials in 1738 via the generating function

(1.5)

Returning to the Faulhaber conjecture saying that ${S}_{m}\left(n\right)$ is a polynomial in ${S}_{1}\left(n\right)$ for all m

(1.6)

we know that Jacobi [9] has the merit of giving the right proof for this conjecture and moreover calculating the first six Faulhaber coefficients ${A}_{j}^{\left(m\right)}$ although he did not get a formula for obtaining all of them. Another merit of Jacobi consists in pioneering the use of the derivative with respect to n when observing that

(1.7)

$\frac{\text{d}}{\text{d}n}{\displaystyle \sum {n}^{m}}={B}_{m}\left(n\right)=m{\displaystyle \sum {n}^{m-1}}+{B}_{m}$ (1.8)

Long years passed until Edwards [10] showed how to obtain the Faulhaber coefficients by matrix inversion and Knuth [4] by identification of coefficients of odd powers of n in Bernoulli formula with those in Faulhaber conjecture. Nevertheless the methods of Edwards and Knuth are not easy to apply.

Following Coen, we know the existence of the work Bernoulli numbers: bibliography (1713-1990) of Dilcher [11] which contained 1956 references by 839 authors!

Concerning the more general problem of powers sums on arithmetic progressions

(1.9)

we remark the recent formula given by Dattoli, Cesarano, Lorenzutta [12] in term of Bernoulli polynomials

(1.10)

and the formula of Chen, Fu, Zhang [13] in term of sums of powers of ${S}_{1}\left(z,n\right)$

(1.11)

which are not easy to apply.

After these authors we have proposed a method leading to the formula [14]

(1.12)

where $Z=z\left(z-1\right)$ and ${\stackrel{^}{S}}_{m}\left(Z\right)\equiv {S}_{m}\left(z\right)$ .

The Faulhaber formula is thus obtained but we see that the method for obtaining it is cumbersome and the practice calculations of ${\stackrel{^}{S}}_{m}\left(Z\right)\equiv {S}_{m}\left(z\right)$ for obtaining the Faulhaber coefficients fastidious.

Rethinking the problem, we observe that an arithmetic progression is a matter of translation, that there is a somehow symmetry between $n,z$ and ${S}_{1}\left(n\right),Z$ and ${\partial}_{n},{\partial}_{z}$ so that finally we found a more concise method for resolving the problem and theoretically and practically that we will expose in the following paragraphs.

2. Representation of a Power Sums and Bernoulli Polynomials by Differential Operators

Let

(2.1)

be the powers sums on an arithmetic progression and

(2.2)

the powers sums of the first integers.

We may utilize the shift or translation operator

(2.3)

to get the differential representation

(2.4)

which gives directly the relations

(2.5)

(2.6)

and the generating function

(2.7)

Because (2.4) is valid for all integers n it is also valid for all real and complex values so that we may write

(2.8)

Defining now the set of polynomials ${B}_{m}\left(z\right)$ by the differential representation

(2.9)

we see that ${B}_{m}\left(z\right)$ verify

(2.10)

(2.11)

and have the generating function

(2.12)

allowing the identification of them with Bernoulli polynomials defined by Euler [7] and giving the first of them

${B}_{0}\left(z\right)=1$, ${B}_{1}\left(z\right)=z-\frac{1}{2}$ . (2.13)

The Bernoulli polynomials are linked to powers sums according to formulae (2.5), (2.8), (2.9) by the relations

(2.14)

(2.15)

which lead to the followed beautiful formula where the second member does not depend on n

(2.16)

Besides it leads also to the formula

(2.17)

which jointed with (2.15) gives rise to the historic Jacobi conjectured formula [9]

(2.18)

From (2.18) we see that ${B}_{m}\left(0\right)$ are identifiable with Bernoulli numbers ${B}_{m}$ .

3. The Powers Sums

1) Powers sums in terms of Bernoulli polynomials and powers of n

From the Equation (2.16) and the boundary condition ${S}_{m}\left(z,0\right)=0$ we get immediately the solution of (2.16)

$\begin{array}{c}{S}_{m}\left(z,n\right)=\frac{1}{{\partial}_{n}-{\partial}_{z}}{B}_{m}\left(z\right)\\ ={\displaystyle \underset{k=0}{\overset{m}{\sum}}{\partial}_{z}^{k}{\partial}_{n}^{-k}{B}_{m}\left(z\right)n}\end{array}$ (3.1)

which may be put under the algorithmic form very easy to remember

(3.2)

or taking into account (2.11)

$\begin{array}{c}{S}_{m}\left(z,n\right)={B}_{m}\left(z\right)n+\cdots +m\left(m-1\right)\cdots \left(m-k+1\right){B}_{m-k}\left(z\right)\frac{{n}^{k+1}}{\left(k+1\right)!}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\cdots +m!{B}_{0}\left(z\right)\frac{{n}^{m+1}}{\left(m+1\right)!}\end{array}$

Putting $z=0$ in (3.2) and replacing ${B}_{m-k}\left(0\right)$ with ${B}_{m-k}$ we recognize the famous Bernoulli formula [6]

(3.3)

2) The Faulhaber formula on powers sums

In ${S}_{m}\left(z,n\right)$ instead of utilizing z and n for arguments let us utilize

$Z=z\left(z-1\right)$ and $\lambda ={S}_{1}\left(z,n\right)=\left(z-\frac{1}{2}\right)n+\frac{{n}^{2}}{2}$ (3.4)

Because

(3.5)

we have

(3.6)

(3.7)

$\begin{array}{c}{\partial}_{n}-{\partial}_{z}\equiv {B}_{1}\left(z\right){\partial}_{\lambda}-2{B}_{1}\left(z\right){\partial}_{Z}\\ \equiv {B}_{1}\left(z\right)\left({\partial}_{\lambda}-2{\partial}_{Z}\right)\end{array}$ (3.8)

Equation (2.16) becomes

(3.9)

Happily from the definition of ${B}_{m}\left(z\right)$ by differential operators (2.9) we may write down

$\begin{array}{c}{B}_{m}\left(-z\right)=\frac{-{\partial}_{z}}{{\text{e}}^{-{\partial}_{z}}-1}{\left(-z\right)}^{m}\\ ={\text{e}}^{{\partial}_{z}}\frac{-{\partial}_{z}}{1-{\text{e}}^{{\partial}_{z}}}{\left(-z\right)}^{m}\\ ={(-)}^{m}{B}_{m}\left(z+1\right)\end{array}$ (3.10)

which jointed with (2.10) leads to the important properties

$$ (3.11)

(3.12)

(3.13)

As an polynomial of order 2k having ${z}_{0},{z}_{1}$ for roots may be put by identification of coefficients under the form of a homogeneous polynomial of order k in $\left(z-{z}_{0}\right)\left(z-{z}_{1}\right)$ we obtain the important property:

${B}_{1}^{-1}\left(z\right){B}_{2k+1}\left(z\right)$ is a homogeneous polynomial of order k in $Z=z\left(z-1\right)$ $k>0$ (3.14)

By the way we notify that because ${S}_{2k+1}\left(n\right)=0$ for $n=0,1$ it is also a homogeneous polynomial of order $\left(k+1\right)$ in $u=n\left(n-1\right)$ as conjectured Faulhaber and proven somehow by Jacobi.

Moreover the calculations of the quoted polynomials in Z or in u may be done thank to the hereinafter Table 3.

Jointed (3.14) with the formula came from the Jacobi formula (2.18)

(3.15)

we may define a polynomial ${\stackrel{^}{S}}_{k}\left(Z\right)$ of order k depending on Z such that

(3.16)

(3.17)

The definition of ${\stackrel{^}{S}}_{k}\left(Z\right)$ by (3.16) differs a little in index with its definition in [15] .

Thank to these considerations we get the solution of (3.9) corresponding to the boundary condition ${S}_{m}\left(z,0\right)=0$ under the form

$\begin{array}{c}{S}_{2k+1}\left(z,n\right)={\left({\partial}_{\lambda}-2{\partial}_{Z}\right)}^{-1}2{{\stackrel{^}{S}}^{\prime}}_{k+1}\left(Z\right)\\ ={\displaystyle \underset{j=0}{\overset{k}{\sum}}{\partial}_{Z}^{j+1}{\stackrel{^}{S}}_{k+1}\left(Z\right){\partial}_{2\lambda}^{-j}\left(2\lambda \right)}\end{array}$ (3.18)

or under the algorithmic form

(3.19)

where we see that the Faulhaber coefficients are successive derivations beginning from the first one of the power sums on integers writing under the form ${\stackrel{^}{S}}_{k+1}\left(Z\right)\equiv {S}_{2k+1}\left(z\right)$ .

Curiously by replacing z with n and consequently Z with $u=n\left(n-1\right)$ in the definition ${\stackrel{^}{S}}_{k+1}\left(Z\right)\equiv {S}_{2k+1}\left(z\right)$ we get the very important and very interesting formula linking the Faulhaber powers sums on integers and on arithmetic progressions

(3.20)

For examples

(3.21)

(3.22)

4. Obtaining Practically Bernoulli Numbers, Bernoulli Functions and Powers Sums

4.1. Calculations of Bernoulli Numbers

For calculating ${B}_{m}$ we remark that from

${B}_{m}\left(z+y\right)={\text{e}}^{z{\partial}_{y}}{B}_{m}\left(y\right)={B}_{m}\left(y\right)+\cdots +\frac{1}{k!}{z}^{k}{B}_{m}^{\left(k\right)}\left(y\right)+\cdots +{z}^{m}{B}_{0}(y)$

(4.1)

and (2.10) we get the recursion relation

(4.2)

which may be written under the matrix form

$\left|\begin{array}{cccccc}1& & & & \cdots & \\ 1& 2& & & \cdots & \\ 1& 3& 3& & \cdots & \\ 1& 4& 6& 4& \cdots & \\ \vdots & \vdots & \ddots & \ddots & \ddots & \\ \left(\begin{array}{c}m+1\\ 0\end{array}\right)& \left(\begin{array}{c}m+1\\ 1\end{array}\right)& & & \cdots & \left(\begin{array}{c}m+1\\ m\end{array}\right)\end{array}\right|\left|\begin{array}{c}{B}_{0}\\ {B}_{1}\\ {B}_{2}\\ {B}_{3}\\ \vdots \\ {B}_{m}\end{array}\right|=\left|\begin{array}{c}1\\ 0\\ 0\\ 0\\ \vdots \\ 0\end{array}\right|$ (4.3)

This matrix equation may be resolved by doing by hand or by program linear combinations over lines from the second one in order to replace them with lines each containing only some non-zero rational numbers.

For instance for calculating successively we may utilize the matrix equation

Matrix equation for calculating ${B}_{m}$ .

= (4.4)

We remark that the last line of this matrix has replaced the line Some results are

${B}_{0}=1$, ${B}_{0}+2{B}_{1}=0$, ${B}_{1}+3{B}_{2}=0$, $-{B}_{2}+7{B}_{6}=0$

4.2. Calculations of Bernoulli Polynomials

For calculating Bernoulli polynomials, we remark that (2.11) and the Jacobi formula (2.18) give rise to the relations

(4.5)

(4.6)

which, knowing, permits the easy calculations of all the Bernoulli polynomials and the powers sums on integers from the set of Bernoulli numbers as we may see hereafter in Table 1.

4.3. Calculations of Powers Sums as Polynomials in n

For calculating ${S}_{m}\left(z,n\right)$ we utilize the algorithmic formula (3.2) and get the results shown in Table 2.

4.4. Calculations of Faulhaber Powers Sums

Practically for transforming ${S}_{2k+1}\left(z\right)$ into ${\stackrel{^}{S}}_{k+1}\left(Z\right)$ from which one obtains the Faulhaber coefficients let us remark that

(4.7)

so that we may replace the first term ${z}^{2k+2}$ of ${S}_{2k+1}\left(z\right)$ with ${Z}^{k+1}$ minus a polynomial in z. The polynomial in z so obtained must begin with a term in ${z}^{2k}$ and not ${z}^{2k+1}$ so that we may continue to replace in it ${z}^{2k}$ with a term in ${Z}^{k}$

Table 1. Obtaining ${B}_{m}\left(z\right)$, ${S}_{m}\left(n\right)$ from ${B}_{m}$ .

$\begin{array}{l}\underset{\_}{\stackrel{\xaf}{{B}_{m}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}{B}_{m}(z)=m{\displaystyle {\int}_{0}^{z}{B}_{m-1}(z)}+{B}_{m}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}{S}_{m}(n)={\displaystyle {\int}_{0}^{n}{B}_{m}(n)}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}}\text{\hspace{1em}}}\text{\hspace{1em}}\\ {B}_{0}=1\text{}\text{}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}{B}_{0}(z)=1\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}{S}_{0}(n)=\frac{n}{1}\\ {B}_{1}=-\frac{1}{2}\text{\hspace{1em}}\text{\hspace{0.17em}}{B}_{1}(z)=z-\frac{1}{2}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}{S}_{1}(n)=\frac{{n}^{2}}{2}-\frac{n}{2}\\ {B}_{2}=\frac{1}{6}\text{\hspace{1em}}\text{\hspace{1em}}{B}_{2}(z)={z}^{2}-z+\frac{1}{6}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}{S}_{2}(n)=\frac{{n}^{3}}{3}-\frac{{n}^{2}}{2}+\frac{n}{6}\text{\hspace{1em}}\text{\hspace{1em}}\\ {B}_{3}=0\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}{B}_{3}(z)={z}^{3}-\frac{3{z}^{2}}{2}+\frac{z}{2}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}{S}_{3}(n)=\frac{{n}^{4}}{4}-\frac{{n}^{3}}{2}+\frac{{n}^{2}}{4}\text{\hspace{1em}}\\ {B}_{4}=\frac{-1}{30}\text{\hspace{1em}}\text{\hspace{0.17em}}{B}_{4}(z)={z}^{4}-2{z}^{3}+{z}^{2}-\frac{1}{30}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{0.17em}}{S}_{4}(n)=\frac{{n}^{5}}{5}-\frac{{n}^{4}}{2}+\frac{{n}^{3}}{3}-\frac{n}{30}\\ {B}_{5}=0\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{1em}}{B}_{5}(z)={z}^{5}-\frac{5}{2}{z}^{4}+\frac{5}{3}{z}^{3}-\frac{z}{6}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{S}_{5}(n)=\frac{{n}^{6}}{6}-\frac{{n}^{5}}{2}+\frac{5{n}^{4}}{12}-\frac{{n}^{2}}{12}\text{\hspace{1em}}\\ {B}_{6}=\frac{1}{42}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{B}_{6}(z)={z}^{6}-3{z}^{5}+\frac{5}{2}{z}^{4}-\frac{{z}^{2}}{2}+\frac{1}{42}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{\hspace{0.17em}}{S}_{6}(n)=\frac{{n}^{7}}{7}-\frac{{n}^{6}}{2}+\frac{{n}^{5}}{12}-\frac{{n}^{3}}{36}+\frac{n}{42}\text{\hspace{1em}}\\ \underset{\_}{{B}_{7}=0\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{B}_{7}(z)={z}^{7}-\frac{7}{2}{z}^{6}+\frac{7}{2}{z}^{5}-\frac{7}{6}{z}^{3}+\frac{1}{42}z\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{S}_{7}(n)=\frac{{n}^{8}}{8}-\frac{{n}^{7}}{2}+\frac{7{n}^{6}}{12}-\frac{7{n}^{4}}{24}+\frac{{n}^{2}}{84}}\end{array}$

Table 2. Obtaining ${S}_{m}\left(z,n\right)$ from ${B}_{m}\left(z\right)$ .

$\begin{array}{l}\underset{\_}{\stackrel{\xaf}{{B}_{m}(z)\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{S}_{m}(z,n)={B}_{m}(z)n+{B}_{m}\text{'}(z)\frac{{n}^{2}}{2!}+\mathrm{...}+{B}_{m}{}^{(m)}(z)\frac{{n}^{m+1}}{(m+1)!}\text{\hspace{1em}}}}\\ {B}_{0}(z)=1\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.17em}}{S}_{0}(z,n)=n\\ {B}_{1}(z)=z-\frac{1}{2}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{S}_{1}(z,n)=(z-\frac{1}{2})n+\frac{{n}^{2}}{2!}\\ {B}_{2}(z)={z}^{2}-z+\frac{1}{6}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{S}_{2}(z,n)=({z}^{2}-z+\frac{1}{6})n+(2z-1)\frac{{n}^{2}}{2!}+2\frac{{n}^{3}}{3!}\\ {B}_{3}(z)={z}^{3}-\frac{3{z}^{2}}{2}+\frac{z}{2}\text{\hspace{1em}}\text{\hspace{0.17em}}{S}_{3}(z,n)=({z}^{3}-\frac{3{z}^{2}}{2}+\frac{z}{2})n+(3{z}^{2}-3z+\frac{1}{2})\frac{{n}^{2}}{2!}\\ \underset{\_}{\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+(6z-3)\frac{{n}^{3}}{3!}+6\frac{{n}^{4}}{4!}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{1em}}}\end{array}$

minus a polynomial in z. The operations continue so on until finish.

By this operation we observe that we may omit all odd powers terms in $z$ before and during the transformation of ${S}_{2k+1}\left(z\right)$ into ${\stackrel{^}{S}}_{k+1}\left(Z\right)$ for $k>0$ . From these remarks we may establish Table 3 of transformation.

This algorithm for obtaining ${\stackrel{^}{S}}_{k+1}\left(Z\right)$ gives rise astonishingly to the easy calculation of the Faulhaber formula for ${S}_{2k+1}\left(z,n\right)$ .

As examples we have

・ ${S}_{1}\left(z\right)=\frac{{z}^{2}}{2}-\frac{z}{2}\to {S}_{1}^{-}\left(z\right)=\frac{{z}^{2}}{2}\to {\stackrel{^}{S}}_{1}\left(Z\right)=\frac{Z}{2}$

(4.8)

・ ${S}_{3}\left(n\right)=\frac{{n}^{4}}{4}-\frac{{n}^{3}}{2}+\frac{{n}^{2}}{4}\to {S}_{3}^{-}\left(z\right)=\frac{{z}^{4}}{4}\to {\stackrel{^}{S}}_{2}\left(Z\right)=\frac{1}{4}{Z}^{2}$

Table 3. Change of in change of into.

${S}_{3}\left(z,n\right)=\frac{Z}{2}\frac{2\lambda}{1!}+\frac{1}{2}\frac{4{\lambda}^{2}}{2!}=Z\lambda +{\lambda}^{2}$ (4.9)

・ ${S}_{5}\left(n\right)=\frac{{n}^{6}}{6}-\frac{{n}^{5}}{2}+\frac{5{n}^{4}}{12}-\frac{{n}^{2}}{12}\to {S}_{5}^{-}\left(z\right)=\frac{{z}^{6}}{6}+\frac{5{z}^{4}}{12}$

${\stackrel{^}{S}}_{3}\left(Z\right)=\frac{1}{6}{Z}^{3}-\frac{1}{12}{Z}^{2}$

${S}_{5}\left(n\right)=\frac{1}{6}{u}^{3}-\frac{1}{12}{u}^{2}$

$\begin{array}{c}{S}_{5}\left(z,n\right)={{\stackrel{^}{S}}^{\prime}}_{3}\left(Z\right)\frac{2\lambda}{1!}+{{\stackrel{^}{S}}^{\u2033}}_{3}\left(Z\right)\frac{4{\lambda}^{2}}{2!}+{{\stackrel{^}{S}}^{\u2034}}_{3}\left(Z\right)\frac{8{\lambda}^{3}}{3!}\\ =\left({Z}^{2}-\frac{Z}{3}\right)\lambda +\left(Z-\frac{1}{6}\right)2{\lambda}^{2}+\frac{4}{3}{\lambda}^{3}\end{array}$ (4.10)

・ ${B}_{7}\left(z\right)={z}^{7}-\frac{7}{2}{z}^{6}+\frac{7}{2}{z}^{5}-\frac{7}{6}{z}^{3}+\frac{1}{42}z$

${S}_{7}\left(n\right)=\frac{{n}^{8}}{8}-\frac{{n}^{7}}{2}+\frac{7{n}^{6}}{12}-\frac{7{n}^{4}}{24}+\frac{{n}^{2}}{84}\to {S}_{7}^{-}\left(z\right)=\frac{{z}^{8}}{8}+\frac{7{z}^{6}}{12}-\frac{7{z}^{4}}{24}$

$\begin{array}{c}{\stackrel{^}{S}}_{4}\left(Z\right)=\frac{1}{8}\left({Z}^{4}-6{Z}^{3}+17{Z}^{2}\right)+\frac{7}{12}\left({Z}^{3}-3{Z}^{2}\right)-\frac{7}{24}{Z}^{2}\\ =\frac{1}{8}{Z}^{4}-\frac{1}{6}{Z}^{3}+\frac{1}{12}{Z}^{2}\end{array}$

${S}_{7}\left(n\right)=\frac{1}{8}{u}^{4}-\frac{1}{6}{u}^{3}+\frac{1}{12}{u}^{2}$

${S}_{7}\left(z,n\right)={{\stackrel{^}{S}}^{\prime}}_{4}\left(Z\right)\frac{2\lambda}{1!}+{{\stackrel{^}{S}}^{\u2033}}_{4}\left(Z\right)\frac{4{\lambda}^{2}}{2!}+\left(3Z-1\right)\frac{8{\lambda}^{3}}{3!}+3\frac{16{\lambda}^{4}}{4!}$ (4.11)

5. Formula for Even Powers Sums ${S}_{2k}\left(z,n\right)$

By derivation of ${S}_{2k+1}\left(z,n\right)$ with respect to z and remarking that

${\partial}_{z}Z=2z-1$, ${\partial}_{z}\lambda =n$ (5.1)

we obtain the formulae giving ${S}_{2k}\left(z,n\right)$ in function of $Z,\lambda ,z,n$

$\left(2k+1\right){S}_{2k}\left(z,n\right)={\partial}_{z}{S}_{2k+1}\left(z,n\right)=2\left({B}_{1}\left(z\right){\partial}_{Z}+n{\partial}_{2\lambda}\right){S}_{2k+1}\left(z\right)$ (5.2)

$=2\left({B}_{1}\left(z\right){\partial}_{Z}+n{\partial}_{2\lambda}\right){\displaystyle \underset{j=1}{\overset{k+1}{\sum}}{S}_{k+1}^{\left(j\right)}\left(Z\right)\frac{{\left(2\lambda \right)}^{j}}{j!}}$ (5.3)

$\begin{array}{l}=2{B}_{1}\left(z\right)\left({S}_{k+1}^{\left(2\right)}\left(Z\right)\frac{{\left(2\lambda \right)}^{1}}{1!}+{S}_{k+1}^{\left(3\right)}\left(Z\right)\frac{{\left(2\lambda \right)}^{2}}{2!}+\cdots \right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}+2n\left({S}_{k+1}^{\left(1\right)}\left(Z\right)\frac{{\left(2\lambda \right)}^{0}}{0!}+{S}_{k+1}^{\left(2\right)}\left(Z\right)\frac{{\left(2\lambda \right)}^{1}}{1!}+\cdots \right)\end{array}$ (5.4)

For examples

・ ${\stackrel{^}{S}}_{2}\left(Z\right)=\frac{1}{4}{Z}^{2}$, ${{\stackrel{^}{S}}^{\prime}}_{2}\left(Z\right)=\frac{1}{2}Z$, ${{\stackrel{^}{S}}^{\u2033}}_{2}\left(Z\right)=\frac{1}{2}$

$\begin{array}{c}3{S}_{2}\left(z,n\right)=2{B}_{1}\left(z\right){{S}^{\u2033}}_{2}\left(Z\right)2\lambda +2n{{S}^{\prime}}_{2}\left(Z\right)+2n{{S}^{\u2033}}_{2}\left(Z\right)2\lambda \\ =\left(2z-1\right)\lambda +\left(Z+2\lambda \right)n\end{array}$ (5.5)

・ ${\stackrel{^}{S}}_{3}\left(Z\right)=\frac{{Z}^{3}}{6}-\frac{{Z}^{2}}{12},\text{\hspace{0.17em}}{{\stackrel{^}{S}}^{\prime}}_{3}\left(Z\right)=\frac{{Z}^{2}}{2}-\frac{Z}{6},\text{\hspace{0.17em}}{{\stackrel{^}{S}}^{\u2033}}_{3}\left(Z\right)=Z-\frac{1}{6},\text{\hspace{0.17em}}{{\stackrel{^}{S}}^{\u2034}}_{3}\left(Z\right)=1$

$5{S}_{4}\left(z,n\right)=2{B}_{1}\left(z\right)\left({{\stackrel{^}{S}}^{\u2033}}_{3}\left(Z\right)2\lambda +2{\lambda}^{2}\right)+2n\left({{\stackrel{^}{S}}^{\prime}}_{3}\left(Z\right)+{{\stackrel{^}{S}}^{\u2033}}_{3}\left(Z\right)2\lambda +2{\lambda}^{2}\right)$ (5.6)

6. Remarks and Conclusions

The main particularity of this work consists in obtaining ${S}_{m}\left(z,n\right)$ as the transform of $\text{\hspace{0.05em}}{z}^{m}\text{\hspace{0.05em}}$ by a differential operator, as so as the Bernoulli polynomial ${B}_{m}\left(z\right)$ , from which we deduce the new formula $\left({\partial}_{n}-{\partial}_{z}\right){S}_{m}\left(z,n\right)={B}_{m}\left(z\right)$ and get immediately ${S}_{m}\left(z,n\right)$ as polynomials in n. From which we get also the property saying that ${B}_{1}^{-1}\left(z\right){B}_{2k+1}\left(z\right)$ is a homogeneous polynomial of order k in $Z=z\left(z-1\right)$ .

The second particularity consists in performing the change of arguments from z into $Z=z\left(z-1\right)$ and n into $\lambda ={S}_{1}\left(z,n\right)$ in order to get the relation $\left({\partial}_{n}-{\partial}_{z}\right)={B}_{1}\left(z\right)\left({\partial}_{2\lambda}-{\partial}_{Z}\right)$ which gives rise to the Faulhaber formula of ${S}_{m}\left(z,n\right)$ . From this formula we see that the Faulhaber coefficients are successive derivatives of the function ${\stackrel{^}{S}}_{k+1}\left(Z\right)\equiv {S}_{2k+1}\left(z\right)$ where ${S}_{2k+1}\left(n\right)$ are powers sums on integers.

The relation ${\stackrel{^}{S}}_{k+1}\left(Z\right)\equiv {S}_{2k+1}\left(z\right)$ leads also to the Faulhaber formula ${S}_{2k+1}\left(n\right)\equiv {\stackrel{^}{S}}_{k+1}\left(u\right)$ where $u=n\left(n-1\right)$ .

The third particularity of this work is proposing a method for obtaining easily the Bernoulli numbers ${B}_{m}$ from a matrix equation, then of

${B}_{m}\left(z\right)=m{\displaystyle {\int}_{0}^{z}{B}_{m-1}\left(z\right)}+{B}_{m}$

${S}_{m}\left(z\right)={\displaystyle {\int}_{0}^{z}{B}_{m}(z)}$

${S}_{m}\left(z,n\right)={B}_{m}\left(z\right)n+{B}_{m}^{\left(1\right)}\left(z\right)\frac{{n}^{2}}{2!}+\cdots $

${S}_{2k+1}\left(z,n\right)={{\stackrel{^}{S}}^{\prime}}_{k+1}\left(Z\right)\frac{{\left(2\lambda \right)}^{1}}{1!}+{\stackrel{^}{S}}^{\left(2\right)}{}_{k+1}\left(Z\right)\frac{{\left(2\lambda \right)}^{2}}{2!}+\cdots $ .

${S}_{2k+1}\left(n\right)={\stackrel{^}{S}}_{k+1}(u)$

As conclusion we think that the calculations of powers sums are greatly facilitated by the utilization of derivation operators ${\partial}_{z},{\partial}_{n}$ and the translation operator $\mathrm{exp}\left(a{\partial}_{z}\right)$ , parts of Operator Calculus.

Operator calculus, which is very different from Heaviside operational calculus, is thus merited to be known and introduced into Mathematical Analysis. Moreover it just had a solid foundation and many interesting applications for instance in the domains of Special functions, Differential equations, Fourier, Laplace and other transforms, quantum mechanics [14] .

Acknowledgements

The author acknowledges the reviewer for comments leading to the clear proof of the important formula (3.14). The author also acknowledges Mrs. Beverly GUO for her perseverance in the refinement of the article representation.

He reiterates his gratitude toward his adorable wife for all the cares she devoted for him during the long months he performed this work.

References

[1] Coen, L.E.S. (1996) Sums of Powers and the Bernoulli Numbers. Master’s Thesis, Eastern Illinois University, Charleston, IL.

https://thekeep.eiu.edu/theses/1896/

[2] Edwards, A.W.F. (1982) Sums of Powers of Integers: A Little of the History, The Mathematical Gazette, 66, 22-28.

https://www.jstor.org/stable/3617302

[3] Faulhaber, J. (1631) Academia Algebrae, Augspurg, Call Number QA154.8 F3 1631a f MATH at Stanford University Libraries. Johann Ulrich Schonigs, Augspurg.

[4] Knuth, D.E. (1993) Johann Faulhaber and Sums of Powers. Mathematics of Computation, 61, 277-294.

https://doi.org/10.1090/S0025-5718-1993-1197512-7

[5] Beardon, A.F. (1996) Sums of Powers of Integers. The American Mathematical Monthly, 103, 201-213.

https://doi.org/10.1080/00029890.1996.12004725

[6] Bernoulli, J. (1713) Ars Conjectandi, Was Published Posthumously in Euler L. (1738).

[7] Euler, L. (1738) Methodus generalis summandi progressiones. In: Commentarii academiae scientiarum Petropolitanae 6, 1738, 68-97.

[8] Raugh, M. (2014) The Bernoulli Summation Formula: A Pretty Natural Derivation. A Presentation for Los Angeles City College at The High School Math Contest.

http://www.mikeraugh.org/

[9] Jacobi, C.G.J. (1834) De usu legitimo formulae summatoriae Maclaurinianae. Journal für die Reine und Angewandte Mathematik, 1834, 263-272.

https://doi.org/10.1515/crll.1834.12.263

[10] Edwards, A.W.F. (1986) A Quick Route to Sums of Powers. The American Mathematical Monthly, 93, 451-455.

https://doi.org/10.1080/00029890.1986.11971850

[11] Dilcher, K., Shula, L. and Slavutskii, I. (1991) Bernoulli Numbers Bibliography (1713-1990). Queen’s Papers in Pure and Applied Mathematics, No. 87.

[12] Dattoli, G., Cesarano, C. and Lorenzutta, S. (2002) Bernoulli Numbers and Polynomials from a More General Point of View. Rendiconti di Matematica, 22, 193-202.

[13] Chen, W.Y.C., Fu, A.M. and Zhang, I.F. (2009) Faulhaber’s Theorem on Power Sums. Discrete Mathematics, 309, 2974-2981.

https://doi.org/10.1016/j.disc.2008.07.027

[14] Do, T.S. (2016) Operator Calculus. Lambert Academic Publishing, Sarrbrücken, Germany.

[15] Do, T.S. (2018) The Faulhaber Problem on Sums of Powers on Arithmetic Progressions Resolved. Applied Physics Research, 10, 5-20.

https://doi.org/10.5539/apr.v10n2p5