Johann Faulhaber and Sums of Powers

DOI10.2307/2152953MaRDI QIDQ3137467zbMATH OpenOpenAlexWikidataFDO

Authors Donald E. Knuth

Publication date 20 October 1994

Full work available at URL https://arxiv.org/abs/math/9207222

zbMATH Keywords

Johann Faulhaber\(r\)-fold summationcentral factorial powers

Mathematics Subject Classification ID

History of mathematics in the 17th century (01A45) Special sequences and polynomials (11B83) Recurrences (11B37) Asymptotic representations in the complex plane (30E15)

Abstract: Early 17th-century mathematical publications of Johann Faulhaber contain some remarkable theorems, such as the fact that the $r$-fold summation of $1^m,2^m,\mathrm{...},n^m$ is a polynomial in $n(n+r)$ when $m$ is a positive odd number. The present paper explores a computation-based approach by which Faulhaber may well have discovered such results, and solves a 360-year-old riddle that Faulhaber presented to his readers. It also shows that similar results hold when we express the sums in terms of central factorial powers instead of ordinary powers. Faulhaber's coefficients can moreover be generalized to factorial powers of noninteger exponents, obtaining asymptotic series for $1^{alpha}+2^{alpha}+\mathrm{...}+n^{alpha}$ in powers of $n^{-1}(n+1{)}^{-1}$.

Recommendations

• A Quick Route to Sums of Powers
• The generalization of Faulhaber's formula to sums of non-integral powers
• Sums of powers of integers—A review
• Faulhaber's theorem on power sums
• The Generalization of Faulhaber's Formula to Sums of Arbitrary Complex Powers

Cites work

• scientific article; zbMATH DE number 194009 (Why is no real title available?)
• scientific article; zbMATH DE number 3308309 (Why is no real title available?)
• A Quick Route to Sums of Powers
• Binomial determinants, paths, and hook length formulae

Cited in

(68)

• The origin of the Bernoulli numbers: mathematics in Basel and Edo in the early eighteenth century
• A Quick Route to Sums of Powers
• On the sum of powers of consecutive integers
• Faulhaber polynomials and reciprocal Bernoulli polynomials
• On the distributions of infinite server queues with batch arrivals
• On the Arithmetic Mean of the Square Roots of the First n Positive Integers
• Combinatorial aspects of poly-Bernoulli polynomials and poly-Euler numbers
• Euler polynomials, Bernoulli polynomials, and Lévy's stochastic area formula
• Abstraction-guided truncations for stationary distributions of Markov population models
• Geometrical aspects of the Lie algebra S-expansion procedure
• Sums of powers via matrices
• A simple derivation of Faulhaber's formula
• An identity in commutative rings with unity with applications to various sums of powers
• Johannes Kepler in Ulm revisited: new aspects of old known facts. A tribute in honor of Kepler's 450th birthday
• Pseudo-inverses of difference matrices and their application to sparse signal approximation
• Combinatorial interpretations of the \(q\)-Faulhaber and \(q\)-Salié coefficients
• Conjectures Involving a Generalization of the Sums of Powers of Integers
• A refinement of Faulhaber's theorem concerning sums of powers of natural numbers
• SUMS OF POWERS WITH Fk NUMBERS
• Proof of a congruence on sums of powers of \(q\)-binomial coefficients
• Faulhaber's theorem on power sums
• Harmonic sums and polylogarithms at non-positive multi-indices
• Sumas de potencias de números naturales
• A Simple Generalization of Nicomachus’ Identity
• New approach to twisted \(q\)-Bernoulli polynomials
• A generalized Faulhaber inequality, improved bracketing covers, and applications to discrepancy
• Convergence rates in precise asymptotics
• Riordan matrices in the reciprocation of quadratic polynomials
• An elementary proof of a generalization of Bernoulli's formula
• Level bounds for exceptional quantum subgroups in rank two
• Computational and implementational analysis of generating functions for higher order combinatorial numbers and polynomials attached to Dirichlet characters
• Faulhaber and Bernoulli polynomials and solitons
• The Frobenius problem, sums of powers of integers, and recurrences for the Bernoulli numbers
• Two-scale difference equations with a parameter and power sums related to digital sequences
• The generalization of Faulhaber's formula to sums of non-integral powers
• On (self-)reciprocal Appell polynomials: symmetry and Faulhaber-type polynomials
• Why the Faulhaber polynomials are sums of even or odd powers of \((n+1/2)\)
• Power sums of binomial coefficients
• Mean values of derivatives of \(L\)-functions in function fields. II.
• Bernoulli and Faulhaber
• Generalization of the power sum arising in the theory of integrable hierarchies
• Some notes on the \((q, t)\)-Stirling numbers
• Lower bounds for runtime complexity of term rewriting
• Fast algorithms of bath calculations in simulations of quantum system-bath dynamics
• On the sum of \(k\)-th powers in terms of earlier sums
• Multivariable Faulhaber-type formulas and Barnes zeta functions
• Power-sum denominators
• Subresultants revisited.
• The price of stability of weighted congestion games
• Explicit form of the Faulhaber polynomials
• The price of stability of weighted congestion games
• A \(q\)-analogue for sums of powers
• Computational aspects of ordered integer partitions with bounds
• Tight bounds on the mutual coherence of sensing matrices for Wigner d-functions on regular grids
• A reformulation technique to solve polynomial optimization problems with separable objective functions of bounded integer variables
• Shuffles of trees
• On some generalizations of sum of powers of natural numbers
• C-polynomials and LC-functions: towards a generalization of the Hurwitz zeta function
• Formulas involving sums of powers, special numbers and polynomials arising from \(p\)-adic integrals, trigonometric and generating functions
• On sums of powers of integers
• Faulhaber's Formula, Odd Bernoulli Numbers, and the Method of Partial Sums
• A treaty of symmetric function: an approach in deriving general formulation for sums of power for an arbitrary arithmetic progression. I
• The Strong Maximal Rank conjecture and higher rank Brill–Noether theory
• Nonparametric estimation of the multivariate Spearman's footrule: a further discussion
• Statistical static timing analysis via modern optimization lens. I: Histogram-based approach
• A note on polynomial expressions for sums of power of integers multiplied by exponential terms
• Penalization of Galton-Watson trees with marked vertices
• Analysis of (shifted) piecewise quadratic polynomial collocation for nonlocal diffusion model

This page was built for publication: Johann Faulhaber and Sums of Powers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3137467)