Falling and rising factorials

In mathematics, the falling factorial (sometimes called the descending factorial,^[1] falling sequential product, or lower factorial) is defined as

(x)_{n}\ =\ x^{\underline {n}}\ =\ x(x{-}1)(x{-}2)\cdots (x{-}n{+}1)\ =\ \prod _{k=1}^{n}(x{-}k{+}1)\ =\ \prod _{k=0}^{n-1}(x{-}k).

The rising factorial (sometimes called the Pochhammer function, Pochhammer polynomial, ascending factorial,^[1] rising sequential product, or upper factorial) is defined as

x^{(n)}\ =\ x^{\overline {n}}\ =\ x(x{+}1)(x{+}2)\cdots (x{+}n{-}1)\ =\ \prod _{k=1}^{n}(x{+}k{-}1)\ =\ \prod _{k=0}^{n-1}(x{+}k).

The value of each is taken to be 1 (an empty product) when n = 0. These symbols are collectively called factorial powers.^[2]

The Pochhammer symbol introduced by Leo August Pochhammer is the notation $(x) n$ , where $n$ is a non-negative integer. Depending on the context the Pochhammer symbol may represent either the rising factorial or the falling factorial as defined above. Care needs to be taken to check which interpretation is being used in any particular article. Pochhammer himself actually used $(x) n$ with yet another meaning, namely to denote the binomial coefficient ${\tbinom {x}{n}}$ .^[3]

In this article the symbol $(x) n$ is used to represent the falling factorial and the symbol $x (n)$ is used for the rising factorial. These conventions are used in combinatorics,^[4] although Knuth's underline/overline notations $x^{\underline {n}},x^{\overline {n}}$ are increasingly popular.^[5]^[6] In the theory of special functions (in particular the hypergeometric function) the Pochhammer symbol $(x) n$ is used to represent the rising factorial.^[7] A useful list of formulas for manipulating the rising factorial in this last notation is given in (Slater 1966, Appendix I).

When $x$ is a positive integer, $(x) n$ gives the number of $n$ -permutations of an $x$ -element set, or equivalently the number of injective functions from a set of size $n$ to a set of size $x$ . However, for these meanings other notations like $x P n$ and P(x,n) are commonly used. The Pochhammer symbol serves mostly for more algebraic uses, for instance when $x$ is an indeterminate, in which case $(x) n$ designates a particular polynomial of degree $n$ in $x$ . Feller^[8] describes $(x) n$ as "the number of ways to arrange n flags on x flagpoles".

Examples

The first few rising factorials are as follows:

x^{(0)}=x^{\overline {0}}=1

x^{(1)}=x^{\overline {1}}=x

x^{(2)}=x^{\overline {2}}=x(x+1)=x^{2}+x

x^{(3)}=x^{\overline {3}}=x(x+1)(x+2)=x^{3}+3x^{2}+2x

x^{(4)}=x^{\overline {4}}=x(x+1)(x+2)(x+3)=x^{4}+6x^{3}+11x^{2}+6x

The first few falling factorials are as follows:

(x)_{0}=x^{\underline {0}}=1

(x)_{1}=x^{\underline {1}}=x

(x)_{2}=x^{\underline {2}}=x(x-1)=x^{2}-x

(x)_{3}=x^{\underline {3}}=x(x-1)(x-2)=x^{3}-3x^{2}+2x

(x)_{4}=x^{\underline {4}}=x(x-1)(x-2)(x-3)=x^{4}-6x^{3}+11x^{2}-6x

The coefficients that appear in the expansions are Stirling numbers of the first kind.

Properties

The rising and falling factorials can be used to express a binomial coefficient:

{\frac {x^{(n)}}{n!}}={x+n-1 \choose n}\quad {\text{and}}\quad {\frac {(x)_{n}}{n!}}={x \choose n}.

Thus many identities on binomial coefficients carry over to the falling and rising factorials.

A rising factorial can be expressed as a falling factorial that starts from the other end,

x^{(n)}=(x+n-1)_{n},

or as a falling factorial with opposite argument,

x^{(n)}=(-1)^{n}(-x)_{n}.

The rising and falling factorials are well defined in any unital ring, and therefore x can be taken to be, for example, a complex number, including negative integers, or a polynomial with complex coefficients, or any complex-valued function.

The rising factorial can be extended to real values of $n$ using the Gamma function provided $x$ and $x + n$ are real numbers that are not negative integers:

x^{(n)}={\frac {\Gamma (x+n)}{\Gamma (x)}},

and so can the falling factorial:

(x)_{n}={\frac {\Gamma (x+1)}{\Gamma (x-n+1)}}.

If $D$ denotes differentiation with respect to $x$ , one has

D^{n}(x^{a})=(a)_{n}\,\,x^{a-n}.

The Pochhammer symbol is also integral to the definition of the hypergeometric function: The hypergeometric function is defined for |z| < 1 by the power series

\,_{2}F_{1}(a,b;c;z)=\sum _{n=0}^{\infty }{a^{(n)}b^{(n)} \over c^{(n)}}\,{z^{n} \over n!}

provided that c does not equal 0, −1, −2, ... . Note, however, that the hypergeometric function literature uses the notation ${(a)}_{n}$ for rising factorials.

Relation to umbral calculus

The falling factorial occurs in a formula which represents polynomials using the forward difference operator $Δ$ and which is formally similar to Taylor's theorem:

f(x)\ =\ \sum _{n=0}^{\infty }{\frac {\Delta ^{n}\!f(0)}{n!}}\,(x)_{n}.

In this formula and in many other places, the falling factorial $(x) n$ in the calculus of finite differences plays the role of $x n$ in differential calculus. Note for instance the similarity of $\Delta (x)_{n}=n(x)_{n-1}$ to $Dx^{n}=nx^{n-1}$ .

A similar result holds for the rising factorial.

The study of analogies of this type is known as umbral calculus. A general theory covering such relations, including the falling and rising factorial functions, is given by the theory of polynomial sequences of binomial type and Sheffer sequences. Rising and falling factorials are Sheffer sequences of binomial type, as shown by the relations:

(a+b)^{(n)}=\sum _{j=0}^{n}{n \choose j}(a)^{(n-j)}(b)^{(j)}

(a+b)_{n}=\sum _{j=0}^{n}{n \choose j}(a)_{n-j}(b)_{j}

where the coefficients are the same as the ones in the expansion of a power of a binomial (Chu–Vandermonde identity).

Similarly, the generating function of Pochhammer polynomials then amounts to the umbral exponential,

\sum _{n=0}^{\infty }(x)_{n}~{\frac {t^{n}}{n!}}=(1+t)^{x}~,

as Δ(1 + t)^x = t(1 + t )^x.

Connection coefficients and identities

The falling and rising factorials are related to one another through the Lah numbers and through sums for integral powers of a variable $x$ involving the Stirling numbers of the second kind in the following forms where ${\binom {r}{k}}=r^{\underline {k}}/k!$ :^[9]

{\begin{aligned}x^{\underline {n}}&=\sum _{k=1}^{n}{\binom {n-1}{k-1}}{\frac {n!}{k!}}\times (x)_{k}\\&=(-1)^{n}(-x)_{n}=(x-n+1)_{n}={\frac {1}{(x+1)^{\overline {-n}}}}\\(x)_{n}&=\sum _{k=0}^{n}{\binom {n}{k}}(n-1)^{\underline {n-k}}\times x^{\underline {k}}\\&=(-1)^{n}(-x)^{\underline {n}}=(x+n-1)^{\underline {n}}={\frac {1}{(x-1)^{\underline {-n}}}}\\&={\binom {-x}{n}}(-1)^{n}n!\\&={\binom {x+n-1}{n}}n!\\x^{n}&=\sum _{k=0}^{n}\left\{{\begin{matrix}n\\n-k\end{matrix}}\right\}x^{\underline {n-k}}\\&=\sum _{k=0}^{n}\left\{{\begin{matrix}n\\k\end{matrix}}\right\}(-1)^{n-k}(x)_{k}.\end{aligned}}

Since the falling factorials are a basis for the polynomial ring, we can re-express the product of two of them as a linear combination of falling factorials:

(x)_{m}(x)_{n}=\sum _{k=0}^{m}{m \choose k}{n \choose k}k!\,(x)_{m+n-k}.

The coefficients of the (x)_m+n−k, called connection coefficients, have a combinatorial interpretation as the number of ways to identify (or glue together) $k$ elements each from a set of size $m$ and a set of size $n$ . We also have a connection formula for the ratio of two Pochhammer symbols given by

{\frac {(x)_{n}}{(x)_{i}}}=(x+i)_{n-i},\ n\geq i.

Additionally, we can expand generalized exponent laws and negative rising and falling powers through the following identities:

{\begin{aligned}x^{\underline {m+n}}&=x^{\underline {m}}(x-m)^{\underline {n}}\\(x)_{m+n}&=(x)_{m}(x+m)_{n}\\(x)_{-n}&={\frac {1}{(x-n)_{n}}}={\frac {1}{(x-1)^{\underline {n}}}}\\x^{\underline {-n}}&={\frac {1}{(x+1)_{n}}}={\frac {1}{n!{\binom {x+n}{n}}}}={\frac {1}{(x+1)(x+2)\cdots (x+n)}}.\end{aligned}}

Finally, duplication and multiplication formulas for the rising factorials provide the next relations:

(x)_{k+mn}=(x)_{k}m^{mn}\prod _{j=0}^{m-1}\left({\frac {x+j+k}{m}}\right)_{n},\ m\in \mathbb {N}

(ax+b)_{n}=x^{n}\prod _{k=0}^{x-1}\left(a+{\frac {b+k}{x}}\right)_{n/x},\ x\in \mathbb {Z} ^{+}

(2x)_{2n}=2^{2n}(x)_{n}\left(x+{\frac {1}{2}}\right)_{n}.

Alternate notations

An alternate notation for the rising factorial

x^{\overline {m}}=\overbrace {x(x+1)\ldots (x+m-1)} ^{m{\text{ factors}}}\qquad {\text{for integer }}m\geq 0,

and for the falling factorial

x^{\underline {m}}=\overbrace {x(x-1)\ldots (x-m+1)} ^{m{\text{ factors}}}\qquad {\text{for integer }}m\geq 0;

goes back to A. Capelli (1893) and L. Toscano (1939), respectively.^[10] Graham, Knuth and Patashnik^[11] propose to pronounce these expressions as " $x$ to the $m$ rising" and " $x$ to the $m$ falling", respectively.

Other notations for the falling factorial include $P (x, n)$ , $x P n$ , $P x, n$ , or $x P n$ . (See permutation and combination.)

An alternate notation for the rising factorial $x (n)$ is the less common $(x) + n$ . When the notation $(x) + n$ is used for the rising factorial, the notation $(x) - n$ is typically used for the ordinary falling factorial to avoid confusion.^[3]

Generalizations

The Pochhammer symbol has a generalized version called the generalized Pochhammer symbol, used in multivariate analysis. There is also a q-analogue, the q-Pochhammer symbol.

A generalization of the falling factorial in which a function is evaluated on a descending arithmetic sequence of integers and the values are multiplied is:

[f(x)]^{k/-h}=f(x)\cdot f(x-h)\cdot f(x-2h)\cdots f(x-(k-1)h),

where $- h$ is the decrement and $k$ is the number of factors. The corresponding generalization of the rising factorial is

[f(x)]^{k/h}=f(x)\cdot f(x+h)\cdot f(x+2h)\cdots f(x+(k-1)h).

This notation unifies the rising and falling factorials, which are [x]^k/1 and [x]^k/−1, respectively.

For any fixed arithmetic function $f:\mathbb {N} \rightarrow \mathbb {C}$ and symbolic parameters $x,t$ , related generalized factorial products of the form

(x)_{n,f,t}:=\prod _{k=1}^{n-1}\left(x+{\frac {f(k)}{t^{k}}}\right)

may be studied from the point of view of the classes of generalized Stirling numbers of the first kind defined by the following coefficients of the powers of $x$ in the expansions of $(x)_{n,f,t}$ and then by the next corresponding triangular recurrence relation:

{\begin{aligned}\left[{\begin{matrix}n\\k\end{matrix}}\right]_{f,t}&=[x^{k-1}](x)_{n,f,t}\\&=f(n-1)t^{1-n}\left[{\begin{matrix}n-1\\k\end{matrix}}\right]_{f,t}+\left[{\begin{matrix}n-1\\k-1\end{matrix}}\right]_{f,t}+\delta _{n,0}\delta _{k,0}.\end{aligned}}

These coefficients satisfy a number of analogous properties to those for the Stirling numbers of the first kind as well as recurrence relations and functional equations related to the f-harmonic numbers, $F_{n}^{(r)}(t):=\sum _{k\leq n}t^{k}/f(k)^{r}$ .^[12]

Notes

1 2 Steffensen, J. F., Interpolation (2nd ed.), Dover Publications, p. 8, ISBN 0-486-45009-0 (A reprint of the 1950 edition by Chelsea Publishing Co.)
↑ Knuth, The Art of Computer Programming, Vol. 1, 3rd ed., p. 50.
1 2 Knuth, Donald E. (1992), "Two notes on notation", American Mathematical Monthly, 99 (5): 403–422, arXiv:math/9205211, doi:10.2307/2325085, JSTOR 2325085 . The remark about the Pochhammer symbol is on page 414.
↑ Olver 1999, p. 101
↑ Knuth, The Art of Computer Programming, Vol. 1, 3rd ed., p. 50.
↑ Harris, Hirst, Mossinghoff, Combinatorics and Graph Theory, Springer (2008), Ch. 2
↑ so is the case in Abramowitz and Stegun's "Handbook of Mathematical Functions", P. 256
↑ William Feller, An Introduction to Probability Theory and Its Applications, Vol. 1, Ch. 2
↑ "Introduction to the factorials and binomials". Wolfram Functions Site.
↑ According to Knuth, The Art of Computer Programming, Vol. 1, 3rd ed., p. 50.
↑ Ronald L. Graham, Donald E. Knuth and Oren Patashnik in their book Concrete Mathematics (1988), Addison-Wesley, Reading MA. ISBN 0-201-14236-8, pp. 47,48
↑ Combinatorial Identities for Generalized Stirling Numbers Expanding f-Factorial Functions and the f-Harmonic Numbers (2016).

References

Olver, Peter J. (1999), Classical Invariant Theory, Cambridge University Press, ISBN 0-521-55821-2, MR 1694364
Slater, Lucy J. (1966), Generalized Hypergeometric Functions, Cambridge University Press, MR 0201688

External links

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[Steffensen-1] 1 2 Steffensen, J. F., Interpolation (2nd ed.), Dover Publications, p. 8, ISBN 0-486-45009-0 (A reprint of the 1950 edition by Chelsea Publishing Co.)

[2] Knuth, The Art of Computer Programming, Vol. 1, 3rd ed., p. 50.

[Knuth-3] 1 2 Knuth, Donald E. (1992), "Two notes on notation", American Mathematical Monthly, 99 (5): 403–422, arXiv:math/9205211, doi:10.2307/2325085, JSTOR 2325085 . The remark about the Pochhammer symbol is on page 414.

[4] Olver 1999, p. 101

[5] Knuth, The Art of Computer Programming, Vol. 1, 3rd ed., p. 50.

[6] Harris, Hirst, Mossinghoff, Combinatorics and Graph Theory, Springer (2008), Ch. 2

[7] so is the case in Abramowitz and Stegun's "Handbook of Mathematical Functions", P. 256

[8] William Feller, An Introduction to Probability Theory and Its Applications, Vol. 1, Ch. 2

[9] "Introduction to the factorials and binomials". Wolfram Functions Site.

[10] According to Knuth, The Art of Computer Programming, Vol. 1, 3rd ed., p. 50.

[11] Ronald L. Graham, Donald E. Knuth and Oren Patashnik in their book Concrete Mathematics (1988), Addison-Wesley, Reading MA. ISBN 0-201-14236-8, pp. 47,48

[12] Combinatorial Identities for Generalized Stirling Numbers Expanding f-Factorial Functions and the f-Harmonic Numbers (2016).