Abstract:Denote by $\Sigma n^m$ the sum of the $m$-th powers of the first $n$ positive integers $1^m+2^m+\ldots +n^m$. Similarly let $\Sigma^r n^m$ be the $r$-fold sum of the $m$-th powers of the first $n$ positive integers, defined such that $\Sigma^0 n^{m}=n^m$, and then recursively by $\Sigma^{r+1} n^{m}=\Sigma^{r} 1^{m}+\Sigma^{r} 2^{m}+\ldots + \Sigma^{r} n^{m}$. During the early 17th-century, polynomial expressions for the sums $\Sigma^r n^m$ and their factorisation and polynomial basis representation properties were examined by Johann Faulhaber, who published some remarkable theorems relating to these $r$-fold sums in his Academia Algebrae (1631). In this paper we consider families of polynomials related to the Fibonacci and Lucas polynomials which naturally lend themselves to representing sums and differences of integer powers, as well as $\Sigma^r n^m$. Using summations over polynomial basis representations for monomials we generalise this sum for any polynomial $q(x)\in\mathbb{Q}[x]$, encountering some interesting coefficient families in the process. Other results include using our polynomial expressions to state some theorems of Fermat, where in particular, we obtain an explicit expression for the quotient in Fermat's Little Theorem. In the final two sections we examine these sums in the context of the three pairs of Stirling number varieties and binomial decompositions. We also derive an expression for $\Sigma n^m$ in terms of the Stirling numbers and Pochhammer symbols, leading to a seemingly new relation between the Stirling numbers and the Bernoulli numbers.

Polynomials whose coefficients are generalized Leonardo numbers

SOME RESULTS ON THE Q-Analogues OF THE INCOMPLETE FIBONACCI AND LUCAS POLYNOMIALS

On Fibonacci Polynomial Expressions for Sums of $m$th Powers, their implications for Faulhaber's Formula and some Theorems of Fermat

The p-Frobenius and p-Sylvester numbers for Fibonacci and Lucas triplets

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Binomial Coefficients, Catalan Numbers and Lucas Quotients

On the Lucas Property of Linear Recurrent Sequences

Lucas-type Congruences for Cyclotomic $\Psi$-Coefficients

Irreducibility of generalized Fibonacci polynomials

On the Liouville function at polynomial arguments

Lattice Paths and Branched Continued Fractions: An Infinite Sequence of Generalizations of the Stieltjes–Rogers and Thron–Rogers Polynomials, with Coefficientwise Hankel-Total Positivity

Polynomials with real zeros and Polya frequency sequences

Some identities of the generalized bi-periodic Fibonacci and Lucas polynomials

On some coefficients of the Artin–Hasse series modulo a prime

Extensions of the Bloch-Pólya Theorem on the number of real zeros of polynomials (II)

The Newman algorithm for constructing polynomials with restricted coefficients and many real roots

Multiplicative relations between coefficients of logarithmic derivatives of $\mathbb{F}_q$-linear functions and applications

Some notes on a Fibonacci-Lucas identity

On the zeros of reciprocal Littlewood polynomials

\(q\)-Analogue of the Generalized Fibonacci and Lucas Polynomials

A note on generalized Fibonacci sequences