Falling and rising factorials

The first few falling factorials are as follows:

\begin{alignat}{2}

(x)_0 & &&= 1 \\

(x)_1 & &&= x \\

(x)_2 &= x(x-1) &&= x^2-x \\

(x)_3 &= x(x-1)(x-2) &&= x^3-3x^2+2x \\

(x)_4 &= x(x-1)(x-2)(x-3) &&= x^4-6x^3+11x^2-6x

\end{alignat}

The first few rising factorials are as follows:

\begin{alignat}{2}

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

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

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

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

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

\end{alignat}

The coefficients that appear in the expansions are Stirling numbers of the first kind (see below).

When the variable $x$ is a positive integer, the number $(x)\_n$ is equal to the number of k-permutation, that is, the number of ways of choosing an ordered list of length {{mvar|n}} consisting of distinct elements drawn from a collection of size $x$. For example, $(8)\_3\; =\; 8\backslash times7\backslash times6\; =\; 336$ is the number of different podiums—assignments of gold, silver, and bronze medals—possible in an eight-person race. On the other hand, $x^\{(n)\}$ is "the number of ways to arrange $n$ flags on $x$ flagpoles",

{{cite book

|first=William |last=Feller

|title=An Introduction to Probability Theory and Its Applications

|volume=1 |at=Ch. 2

}}

where all flags must be used and each flagpole can have any number of flags. Equivalently, this is the number of ways to partition a set of size $n$ (the flags) into $x$ distinguishable parts (the poles), with a linear order on the elements assigned to each part (the order of the flags on a given pole).

The rising and falling factorials are simply related to one another:

\begin{alignat}{2}

{(x)}_n &= {(x-n+1)}^{(n)} &&= (-1)^n (-x)^{(n)},\\

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

\end{alignat}

Falling and rising factorials of integers are directly related to the ordinary factorial:

\begin{align}

n! &= 1^{(n)} = (n)_n,\\[6pt]

(m)_n &= \frac{m!}{(m-n)!},\\[6pt]

m^{(n)} &= \frac{(m+n-1)!}{(m-1)!}.

\end{align}

Rising factorials of half integers are directly related to the double factorial:

\begin{align}

\left[\frac{1}{2}\right]^{(n)} = \frac{(2n-1)!!}{2^n},\quad

\left[\frac{2m+1}{2}\right]^{(n)} = \frac{(2(n+m)-1)!!}{2^n(2m-1)!!}.

\end{align}

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

\begin{align}

\frac{(x)_n}{n!} &= \binom{x}{n},\\[6pt]

\frac{x^{(n)}}{n!} &= \binom{x+n-1}{n}.

\end{align}

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

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 falling factorial can be extended to real values of $x$ using the gamma function provided $x$ and $x+n$ are real numbers that are not negative integers:

(x)_n = \frac{\Gamma(x+1)}{\Gamma(x-n+1)}\ ,

and so can the rising factorial:

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

Falling factorials appear in multiple differentiation of simple power functions:

\left(\frac{\mathrm{d}}{\mathrm{d}x}\right)^n x^a = (a)_n \cdot x^{a-n}.

The rising factorial is also integral to the definition of the hypergeometric function: The hypergeometric function is defined for by the power series

{}_2F_1(a,b;c;z) = \sum_{n=0}^\infty \frac{a^{(n)} b^{(n)}}{c^{(n)}} \frac{z^n}{n!}

provided that $c\; \backslash neq\; 0,\; -1,\; -2,\; \backslash ldots$. Note, however, that the hypergeometric function literature typically uses the notation $(a)\_n$ for rising factorials.

Falling and rising factorials are closely related to Stirling numbers. Indeed, expanding the product reveals Stirling numbers of the first kind$$$$

\begin{align}

(x)_n & = \sum_{k=0}^n s(n,k) x^k \\

&= \sum_{k=0}^n \begin{bmatrix}n \\ k \end{bmatrix} (-1)^{n-k}x^k \\

x^{(n)} & = \sum_{k=0}^n \begin{bmatrix} n \\ k \end{bmatrix} x^k \\

\end{align}

And the inverse relations uses Stirling numbers of the second kind$$$$

\begin{align}

x^n & = \sum_{k=0}^{n} \begin{Bmatrix} n \\ k \end{Bmatrix} (x)_{k} \\

& = \sum_{k=0}^n \begin{Bmatrix} n \\ k \end{Bmatrix} (-1)^{n-k} x^{(k)} .

\end{align}

The falling and rising factorials are related to one another through the Lah numbers $L(n,\; k)\; =\; \backslash binom\{n-1\}\{k-1\}\; \backslash frac\{n!\}\{k!\}$:

{{cite web |title=Introduction to the factorials and binomials |url=http://functions.wolfram.com/GammaBetaErf/Factorial/introductions/FactorialBinomials/05/ |website=Wolfram Functions Site}}

\begin{align}

x^{(n)} & = \sum_{k=0}^n L(n,k) (x)_k \\

(x)_n & = \sum_{k=0}^n L(n,k) (-1)^{n-k} x^{(k)}

\end{align}

Since the falling factorials are a basis for the polynomial ring, one can express the product of two of them as a linear combination of falling factorials:{{cite journal|last1=Rosas|first1=Mercedes H.|year= 2002|title=Specializations of MacMahon symmetric functions and the polynomial algebra |volume=246|number=1–3|journal=Discrete Math.|doi=10.1016/S0012-365X(01)00263-1|pages=285–293|hdl=11441/41678 |hdl-access=free}}

(x)_m (x)_n = \sum_{k=0}^m \binom{m}{k} \binom{n}{k} k! \cdot (x)_{m+n-k} \ .

The coefficients $\backslash tbinom\{m\}\{k\}\; \backslash tbinom\{n\}\{k\}\; k!$ are called connection coefficients, and have a combinatorial interpretation as the number of ways to identify (or "glue together") {{mvar|k}} elements each from a set of size {{mvar|m}} and a set of size {{mvar|n}}.

There is also a connection formula for the ratio of two rising factorials given by

\frac{x^{(n)}}{x^{(i)}} = (x+i)^{(n-i)} ,\quad \text{for }n \geq i .

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

{{cite book

|first1=Ronald L. |last1=Graham |author1-link=Ronald L. Graham

|first2=Donald E. |last2=Knuth |author2-link=Donald E. Knuth

|first3=Oren |last3=Patashnik |author3-link=Oren Patashnik

|name-list-style=amp

|year=1988

|title=Concrete Mathematics

|publisher=Addison-Wesley

|place=Reading, MA

|isbn=0-201-14236-8

|pages=47, 48, 52

}}

{{rp|style=ama|p= 52}}

\begin{align}

(x)_{m+n} & = (x)_m (x-m)_n = (x)_n (x-n)_m \\[6pt]

x^{(m+n)} & = x^{(m)} (x+m)^{(n)} = x^{(n)} (x+n)^{(m)} \\[6pt]

x^{(-n)} & = \frac{\Gamma(x-n)}{\Gamma(x)} = \frac{(x-n-1)!}{(x-1)!} = \frac{1}{(x-n)^{(n)}} = \frac{1}{(x-1)_n} = \frac{1}{(x-1)(x-2) \cdots (x-n)} \\[6pt]

(x)_{-n} & = \frac{\Gamma(x+1)}{\Gamma(x+n+1)} = \frac{x!}{(x+n)!} = \frac{1}{(x+n)_n} = \frac{1}{(x+1)^{(n)}} = \frac{1}{(x+1)(x+2) \cdots (x+n)}

\end{align}

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

\begin{align}

(x)_{k+mn} &= x^{(k)} m^{mn} \prod_{j=0}^{m-1} \left(\frac{x-k-j}{m}\right)_{n}\,,& \text{for } m &\in \mathbb{N} \\[6pt]

x^{(k+mn)} &= x^{(k)} m^{mn} \prod_{j=0}^{m-1} \left(\frac{x+k+j}{m}\right)^{(n)},& \text{for } m &\in \mathbb{N} \\[6pt]

(ax+b)^{(n)} &= x^n \prod_{j=0}^{n-1} \left(a+\frac{b+j}{x}\right),& \text{for } x &\in \mathbb{Z}^+ \\[6pt]

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

\end{align}

The falling factorial occurs in a formula which represents polynomials using the forward difference operator $\backslash \; \backslash operatorname\backslash Delta\; f(x)\; ~\; \backslash stackrel\{\backslash mathrm\{def\}\}\{=\}\; ~\; f(x\{+\}1)\; -\; f(x)\backslash \; ,$ which in form is an exact analogue to Taylor's theorem: Compare the series expansion from umbral calculus

:$$\backslash qquad$$

f(t) = \sum_{n=0}^\infty\ \frac{ 1 }{\ n! }\operatorname{\Delta}_x^n f(x)\bigg\vert_{x = 0}\ (t)_n \qquad

with the corresponding series from differential calculus

:$$\backslash qquad$$

f(t) = \sum_{n=0}^\infty\ \frac{ 1 }{\ n! } \left[\frac{\ \operatorname{d} }{ \operatorname{d} x }\right]^n f(x)\ \bigg\vert_{x = 0} \ t^n

~.

In this formula and in many other places, the falling factorial $\backslash \; (x)\_n\backslash$ in the calculus of finite differences plays the role of $\backslash \; x^n\backslash$ in differential calculus. For another example, note the similarity of $~\; \backslash operatorname\backslash Delta\; (x)\_n\; =\; n\backslash \; (x)\_\{n-1\}\; ~$ to $~\; \backslash frac\{\backslash \; \backslash operatorname\{d\}\; \}\{\; \backslash operatorname\{d\}\; x\; \}\backslash \; x^n\; =\; n\backslash \; x^\{n-1\}\; ~.$

A corresponding relation holds for the rising factorial and the backward difference operator.

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. Falling and rising factorials are Sheffer sequences of binomial type, as shown by the relations:

\ \begin{align}

(a + b)_n &= \sum_{j=0}^n\ \binom{n}{j}\ (a)_{n-j}\ (b)_{j}\ \\[6pt]

(a + b)^{(n)} &= \sum_{j=0}^n\ \binom{n}{j}\ a^{(n-j)}\ b^{(j)}\

\end{align}\

where the coefficients are the same as those in the binomial theorem.

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

$$\backslash \; \backslash sum\_\{n=0\}^\backslash infty\backslash \; (x)\_n\backslash \; \backslash frac\{~\; t^n\backslash \; \}\{\backslash \; n!\; \}\backslash \; =\backslash \; \backslash left(\backslash \; 1\; +\; t\backslash \; \backslash right)^x\backslash \; ,$$

since

$$\backslash \; \backslash operatorname\backslash Delta\_x\; \backslash left(\backslash \; 1\; +\; t\backslash \; \backslash right)^x\backslash \; =\backslash \; t\; \backslash cdot\; \backslash left(\backslash \; 1\; +\; t\backslash \; \backslash right)^x\; ~.$$

An alternative notation for the rising factorial

x^\overline{m} \equiv (x)_{+m} \equiv (x)_m = \overbrace{x(x+1)\ldots(x+m-1)}^{m \text{ factors}} \quad \text{for integer } m\ge0

and for the falling factorial

x^\underline{m} \equiv (x)_{-m} = \overbrace{x(x-1)\ldots(x-m+1)}^{m \text{ factors}} \quad \text{for integer } m \ge 0

goes back to A. Capelli (1893) and L. Toscano (1939), respectively. Graham, Knuth, and Patashnik{{rp|style=ama|pp= 47, 48}}

propose to pronounce these expressions as "$x$ to the $m$ rising" and "$x$ to the $m$ falling", respectively.

An alternative notation for the rising factorial $x^\{(n)\}$ is the less common $(x)\_n^+$. When $(x)\_n^+$ is used to denote the rising factorial, the notation $(x)\_n^-$ is typically used for the ordinary falling factorial, to avoid confusion.

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

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

(x)_{n,f,t} := \prod_{k=0}^{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 {{mvar|x}} in the expansions of {{math|(x)_n,f,t}} and then by the next corresponding triangular recurrence relation:

\begin{align}

\left[\begin{matrix} n \\ k \end{matrix} \right]_{f,t} & = \left[x^{k-1}\right] (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{align}

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 {{mvar|f}}-harmonic numbers,{{cite journal

| last = Schmidt | first = Maxie D.

| arxiv = 1611.04708v2

| issue = 2

| journal = Journal of Integer Sequences

| mr = 3779776

| article-number = 18.2.7

| title = Combinatorial identities for generalized Stirling numbers expanding {{mvar|f}}-factorial functions and the {{mvar|f}}-harmonic numbers

| volume = 21

| year = 2018}}

F_n^{(r)}(t) := \sum_{k \leq n} \frac{ t^k }{ f(k)^r }\,.

• Pochhammer k-symbol
• Vandermonde identity

{{notelist}}

{{reflist|25em}}

• {{MathWorld |title=Pochhammer Symbol |urlname=PochhammerSymbol}}

{{DEFAULTSORT:Pochhammer Symbol}}

Category:Gamma and related functions

Category:Factorial and binomial topics

Category:Finite differences

Category:Operations on numbers