Fallende und steigende Faktorielle

Die fallende bzw. steigende Faktorielle (fallende bzw. steigende Fakultät) bezeichnet in der Mathematik eine Funktion ähnlich der Exponentiation, bei der jedoch die Faktoren schrittweise fallen bzw. steigen, d. h., um Eins reduziert bzw. erhöht werden.

Definition

Für natürliche Zahlen $n$ und $k$ mit $n\ge k\ge 0$ wird die $k$-te fallende bzw. steigende Faktorielle (fallende bzw. steigende Fakultät) als $n^{\underset{\_}{k}}$ bzw. $n^{\bar{k}}$ notiert und ist wie folgt definiert:

$n^{\underset{\_}{k}}:=\prod _{j=1}^k(n-j+1)=n(n-1)(n-2)\cdots (n-k+1)=\frac{n!}{(n-k)!}$

$n^{\bar{k}}:=\prod _{j=1}^k(n+j-1)=n(n+1)(n+2)\cdots (n+k-1)=\frac{(n+k-1)!}{(n-1)!}$

Man liest die Terme als „$n$ hoch $k$ fallend“ bzw. „$n$ hoch $k$ steigend“.

In manchen Lehrbüchern wird auch $(n{)}_k$ bzw. $n^{(k)}$ verwendet.

Kombinatorische Interpretation

Im Urnenmodell lässt sich die fallende Faktorielle als die Anzahl der Möglichkeiten interpretieren, aus einer Urne mit $n$ verschiedenen Kugeln $k$ Kugeln zu entnehmen, ohne Zurücklegen, mit Beachtung der Reihenfolge. Für die erste Kugel gibt es $n$ Kandidaten, für die zweite $n-1$ … und schließlich für die letzte Kugel noch $n-k+1$. Für die Gesamtauswahl gibt es daher $n(n-1)\cdots (n-k+1)=n^{\underset{\_}{k}}$ Möglichkeiten.

Allgemein ist $n^{\underset{\_}{k}}$ die Anzahl der $k$-Permutationen einer $n$-Menge oder alternativ die Anzahl injektiver Abbildungen einer $k$-Menge in eine $n$-Menge.

Verallgemeinerung

Die Definition erfolgt analog für eine komplexe Zahl $x$ und eine natürliche Zahl $k$:

$x^{\underset{\_}{k}}:=x(x-1)(x-2)\cdots (x-k+1)$

$x^{\bar{k}}:=x(x+1)(x+2)\cdots (x+k-1)$

Man kann $x^{\underset{\_}{k}}$ und $x^{\bar{k}}$ dann als komplexe Polynome in $x$ auffassen.

Für $x\in ℂ$ stimmt die steigende Faktorielle $x^{\bar{k}}$ mit dem Pochhammer-Symbol $(x,k)$ überein.

Eigenschaften

Rechenregeln

Es gelten folgende Rechenregeln:

$x^{\underset{\_}{1}}=x^{\bar{1}}=x$

$x^{\underset{\_}{0}}=x^{\bar{0}}=1$

$(-x{)}^{\bar{k}}=(-1{)}^k{x}^{\underset{\_}{k}}$

$x^{\underset{\_}{k}}=(-x{)}^{\bar{k}}=0$  für $0\le x<k$ und $x\in \mathbb{Z}$

Beziehungen zu anderen bekannten Zahlen

Mithilfe der fallenden Faktoriellen lassen sich die Binomialkoeffizienten allgemein definieren:

$(\genfrac{}{}{0ex}{}{x}{k}):=\frac{1}{k!}{x}^{\underset{\_}{k}}$

Es gelten außerdem folgende Gleichungen, wobei $\left[\genfrac{}{}{0ex}{}{n}{k}\right]$ und $\left\{\genfrac{}{}{0ex}{}{n}{k}\right\}$ die (vorzeichenlosen) Stirling-Zahlen erster und zweiter Art bezeichnen:

$x^k=\sum _{j=-\mathrm{\infty }}^{\mathrm{\infty }}\left\{\genfrac{}{}{0ex}{}{k}{j}\right\}\cdot x^{\underset{\_}{j}}$

$x^k=\sum _{j=-\mathrm{\infty }}^{\mathrm{\infty }}(-1{)}^{k-j}\left\{\genfrac{}{}{0ex}{}{k}{j}\right\}\cdot x^{\bar{j}}$

$x^{\bar{k}}=\sum _{j=-\mathrm{\infty }}^{\mathrm{\infty }}\left[\genfrac{}{}{0ex}{}{k}{j}\right]\cdot x^j$

$x^{\underset{\_}{k}}=\sum _{j=-\mathrm{\infty }}^{\mathrm{\infty }}(-1{)}^{k-j}\left[\genfrac{}{}{0ex}{}{k}{j}\right]\cdot x^j$

Vorkommen in der Analysis

$\frac{{\mathrm{d}}^j}{\mathrm{d}{x}^j}{x}^k=k^{\underset{\_}{j}}{x}^{k-j}$

Literatur

• Martin Aigner: Diskrete Mathematik. Vieweg+Teubner, Wiesbaden 2009, ISBN 978-3-8348-0084-8.
• Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger: Elemente der diskreten Mathematik. Zahlen und Zählen, Graphen und Verbände. De Gruyter, Berlin 2013, ISBN 978-3-11-027767-8.
• Ronald L. Graham, Donald E. Knuth, Oren Patashnik: Concrete mathematics. A foundation for computer science. Second edition. Addison-Wesley, 1994, ISBN 978-0-201-55802-9.