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.

A Family of Sums Containing Factorials

Sums or Products of Double Factorials in Lucas Sequences

Factorization Theorems for Relatively Prime Divisor Sums, GCD Sums and Generalized Ramanujan Sums

A sum up method for solving summations of the form $\sum_{k=n_0}^{n} A_{n,k}$ and rising and falling factorial transforms

Combinatorial Identities Concerning Binomial Quotients

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

A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

Sums of triangular numbers and sums of squares

A variety of Euler’s sum of powers conjecture

Sums of powers of integers and the sequence A304330

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

On sums of powers of natural numbers

Some Diophantine equations involving arithmetic functions and Bhargava factorials

Universal Sums of Three Quadratic Polynomials

On various combinatorial sums and related identities

Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions

$λ$-factorials of $n$

Finite sequences of integers expressible as sums of two squares

Extensions of MacMahon's sums of divisors

On sums involving divisor function, Euler's totient function, and floor function

1-Supertransitive Subfactors with Index at Most 61/5