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 und mit $n\geq k\geq 0$ wird die -te fallende bzw. steigende Faktorielle als $n^{\underline{k}}$ bzw. $n^{{\overline k}}$ (in manchen älteren Lehrbüchern auch (n)_k bzw. $n^{{(k)}}$ ) notiert und ist wie folgt definiert:

$n^{{\underline {k}}}:=n(n-1)(n-2)\cdots (n-k+1)={\frac {n!}{(n-k)!}}$

$n^{{\overline {k}}}:=n(n+1)(n+2)\cdots (n+k-1)={\frac {(n+k-1)!}{(n-1)!}}$

Kombinatorische Interpretation

Im Urnenmodell lässt sich die fallende Faktorielle als die Anzahl der Möglichkeiten interpretieren, aus einer Urne mit verschiedenen Kugeln Kugeln zu entnehmen, ohne Zurücklegen, mit Beachtung der Reihenfolge. Für die erste Kugel gibt es 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^{{\underline k}}$ Möglichkeiten.

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

Verallgemeinerung

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

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

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

Man kann $x^{{\underline {k}}}$ und $x^{{\overline k}}$ dann als komplexe Polynome in auffassen.

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

Eigenschaften

Rechenregeln

Es gelten folgende Rechenregeln:

$x^{{\underline 1}}=x^{{\overline 1}}=x$

$x^{{\underline 0}}=x^{{\overline 0}}=1$

$(-x)^{{\overline k}}=(-1)^{k}x^{{\underline k}}$

$x^{{\underline k}}=(-x)^{{\overline k}}=0$ für $0\leq x<k$

Beziehungen zu anderen bekannten Zahlen

Mithilfe der fallenden Faktoriellen lassen sich die Binomialkoeffizienten allgemein definieren:

${\binom xk}:={\frac 1{k!}}x^{{\underline k}}$

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

$\displaystyle x^{k}=\sum _{{j=-\infty }}^{\infty }\left\{\!{k \atop j}\!\right\}\cdot x^{{\underline j}}$

$\displaystyle x^{k}=\sum _{j=-\infty }^{\infty }(-1)^{k-j}\left\{{k \atop j}\right\}\cdot x^{\overline {j}}$

$\displaystyle x^{{\overline k}}=\sum _{{j=-\infty }}^{\infty }\left[{k \atop j}\right]\cdot x^{j}$

$\displaystyle x^{{\underline k}}=\sum _{{j=-\infty }}^{\infty }(-1)^{{k-j}}\left[{k \atop j}\right]\cdot x^{j}$

Vorkommen in der Analysis

${{\operatorname {d} ^{j}} \over \operatorname {d} \!x^{j}}x^{k}=k^{\underline {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.

Basierend auf einem Artikel in:

Wikipedia.de