falling factorial


For n, the rising and falling factorialsDlmfMathworldPlanetmath are nth degree polynomial described, respectively, by

xn¯ =x(x+1)(x+n-1)
xn¯ =x(x-1)(x-n+1)

The two types of polynomials are related by:

xn¯=(-1)n(-x)n¯.

The rising factorial is often written as (x)n, and referred to as the Pochhammer symbolDlmfMathworld (see hypergeometric series). Unfortunately, the falling factorial is also often denoted by (x)n, so great care must be taken when encountering this notation.

Notes.

Unfortunately, the notational conventions for the rising and falling factorials lack a common standard, and are plagued with a fundamental inconsistency. An examination of reference works and textbooks reveals two fundamental sources of notation: works in combinatoricsDlmfMathworld and works dealing with hypergeometric functionsDlmfDlmfDlmfMathworldPlanetmath.

Works of combinatorics [1,2,3] give greater focus to the falling factorial because of its role in defining the Stirling numbers. The symbol (x)n almost always denotes the falling factorial. The notation for the rising factorial varies widely; we find xn in [1] and (x)(n) in [3].

Works focusing on special functions [4,5] universally use (x)n to denote the rising factorial and use this symbol in the description of the various flavours of hypergeometric series. Watson [5] credits this notation to Pochhammer [6], and indeed the special functions literature eschews “falling factorial” in favour of “Pochhammer symbol”. Curiously, according to Knuth [7], Pochhammer himself used (x)n to denote the binomial coefficientDlmfDlmfMathworldPlanetmath (Note: I haven’t verified this.)

The notation featured in this entry is due to D. Knuth [7,8]. Given the fundamental inconsistency in the existing notations, it seems sensible to break with both traditions, and to adopt new and graphically suggestive notation for these two concepts. The traditional notation, especially in the hypergeometric camp, is so deeply entrenched that, realistically, one needs to be familiar with the traditional modes and to take care when encountering the symbol (x)n.

References

  1. 1.

    Comtet, Advanced combinatorics.

  2. 2.

    Jordan, Calculus of finite differences.

  3. 3.

    Riordan, Introduction to combinatorial analysis.

  4. 4.

    Erdélyi, et. al., Bateman manuscript project.

  5. 5.

    Watson, A treatise on the theory of Bessel functionsDlmfMathworldPlanetmathPlanetmath.

  6. 6.

    Pochhammer, “Ueber hypergeometrische Functionen nter Ordnung,” Journal für die reine und angewandte Mathematik 71 (1870), 316–352.

  7. 7.

    Knuth, “Two notes on notation” http://www-cs-faculty.stanford.edu/ knuth/papers/tnn.tex.gzdownload

  8. 8.

    Greene, Knuth, Mathematics for the analysis of algorithms.

Title falling factorial
Canonical name FallingFactorial
Date of creation 2013-03-22 12:23:58
Last modified on 2013-03-22 12:23:58
Owner rmilson (146)
Last modified by rmilson (146)
Numerical id 11
Author rmilson (146)
Entry type Definition
Classification msc 05A10
Defines rising factorial
Defines Pochhammer symbol