Pochhammer symbol

Pochhammer symbol

In mathematics, 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 below. 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 xn.[1]

In this article the Pochhammer symbol (x)n is used to represent the falling factorial (sometimes called the "descending factorial",[2] "falling sequential product", "lower factorial"):

(x)_{n}=x(x-1)(x-2)\cdots(x-n+1)

In this article the symbol x(n) is used for the rising factorial (sometimes called the "Pochhammer function", "Pochhammer polynomial", "ascending factorial",[2] "rising sequential product" or "upper factorial"):

x^{(n)}=x(x+1)(x+2)\cdots(x+n-1).

These conventions are used in combinatorics (Olver 1999, p. 101). However in the theory of special functions (in particular the hypergeometric function) the Pochhammer symbol (x)n is used to represent the rising factorial.

When x is a non-negative integer, then (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 xPn 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.

Contents

Properties

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

\frac{x^{(n)}}{n!} = {x+n-1 \choose n} \quad\mbox{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.

This is a special case of the fact that the rising and falling factorials are related as follows:

( − x)(n) = ( − 1)n(x)n.

The rising and falling factorials are well defined in any 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 complex 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}.

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 of calculus. In this formula and in many other places, the falling factorial (x)k in the calculus of finite differences plays the role of xk in differential calculus. Note for instance the similarity of

\Delta (x)_{k} = k\ (x)_{k-1},

to

D x^k = k\ x^{k-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:

(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).

Connection coefficients

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.

Alternate notations

A new notation was introduced by Ronald L. Graham, Donald E. Knuth and Oren Patashnik in their book Concrete Mathematics. They define,[3] for the rising factorial:

x^{\overline{m}}=\overbrace{x(x+1)\ldots(x+m-1)}^{m~\mathrm{factors}}\qquad\mbox{for integer }m\ge0,

and for the falling factorial:

x^{\underline{m}}=\overbrace{x(x-1)\ldots(x-m+1)}^{m~\mathrm{factors}}\qquad\mbox{for integer }m\ge0;

they also 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(xn), xPn, Px,n, or xPn. (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. [1]

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.

See also

Notes

  1. ^ a b 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.
  2. ^ a b 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.)
  3. ^ Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1988) Concrete Mathematics, Addison-Wesley, Reading MA. ISBN 0-201-14236-8, pp. 47,48

References

  • Olver, Peter J. (1999), Classical Invariant Theory, Cambridge University Press, ISBN 0521558212 .

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Pochhammer-Symbol — Das Pochhammer Symbol ist eine spezielle Funktion, die in der Kombinatorik und in der Theorie der hypergeometrischen Funktionen verwendet wird. Der Name geht auf Leo August Pochhammer zurück. Notation Für das Symbol, das diese Funktion… …   Deutsch Wikipedia

  • Q-Pochhammer symbol — In mathematics, in the area of combinatorics, a q Pochhammer symbol, also called a q shifted factorial, is a q analog of the common Pochhammer symbol. It is defined as :(a;q) n = prod {k=0}^{n 1} (1 aq^k)=(1 a)(1 aq)(1 aq^2)cdots(1 aq^{n 1}).The… …   Wikipedia

  • Generalized Pochhammer symbol — In mathematics, the generalized Pochhammer symbol of parameter alpha>0 and partition kappa=(kappa 1,kappa 2,ldots,kappa m) generalizes the classical Pochhammer symbol and is defined as:(a)^{(alpha )} kappa=prod {i=1}^m prod {j=1}^{kappa i}left(a… …   Wikipedia

  • Pochhammer — ist der Name folgender Personen: Konrad Pochhammer (1873–1923), deutscher Mediziner und Hochschullehrer Leo August Pochhammer (1841–1920), deutscher Mathematiker Siehe auch: Pochhammer Symbol, spezielle Funktion, die in der Kombinatorik und in… …   Deutsch Wikipedia

  • Pochhammer k-symbol — In the mathematical theory of special functions, the Pochhammer k symbol and the k gamma function, introduced by Rafael Díaz and Eddy Pariguan [cite web date=2006 05 23 url=http://arxiv.org/abs/math/0405596v2 first=Rafael last=Díaz coauthors=Eddy …   Wikipedia

  • Mathematisches Symbol — Die Notation in der mathematischen Symbolschrift erfolgt in der Mathematik (z. B. in Formeln oder Gleichungen) unter der Verwendung von Symbolen. Beispielsweise wird die Addition von zwei Zahlen durch das Zeichen + dargestellt. Mehr über die… …   Deutsch Wikipedia

  • Leo August Pochhammer — (25 August 1841 ndash; 24 March 1920) was a Prussian mathematician, known for his work on special functions. He introduced the Pochhammer symbol, now generally used for expressing hypergeometric functions in a compact notation.ee also*Generalized …   Wikipedia

  • Symbole de Pochhammer — En mathématiques, le symbole de Pochhammer noté ou préférablement est utilisé en théorie des fonctions spéciales pour représenter la factorielle croissante : et est parfois utilisée en combinatoire pour représenter la factorielle… …   Wikipédia en Français

  • Símbolo q-Pochhammer — En matemáticas, en el área de combinatoria, el símbolo q Pochhmammer es el q análogo del más conocido símbolo de Pochhammer. Se define de la siguiente manera: El símbolo q Pochhmammer es el más importante ladrillo en la construcción de los q… …   Wikipedia Español

  • Leo August Pochhammer — (* 25. August 1841 in Stendal; † 24. März 1920 in Kiel) war ein deutscher Mathematiker und Namensgeber für das Pochhammer Symbol. Leben Pochhammer wuchs in Berlin auf und studierte von 1859 bis 1863 Mathematik und Physik an der Friedrich Wilhelms …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”